title: Modular Parametrizations of Neumann-Setzer Elliptic Curves

abstract: Suppose $p$ is a prime of the form $u^2+64$ for some integer $u$, which we take to be 3 mod 4. Then there are two Neumann--Setzer elliptic curves $E_0$ and $E_1$ of prime conductor $p$, and both have Mordell--Weil group $\Z/2\Z$. There is a surjective map $X_0(p)\xrightarrow{\pi} E_0$ that does not factor through any other elliptic curve (i.e., $\pi$ is optimal), where $X_0(p)$ is the modular curve of level $p$. Our main result is that the degree of $\pi$ is odd if and only if $u \con 3\pmod{8}$. We also prove the prime-conductor case of a conjecture of Glenn Stevens, namely that that if $E$ is an elliptic curve of prime conductor $p$ then the optimal quotient of $X_1(p)$ in the isogeny class of $E$ is the curve with minimal Faltings height. Finally we discuss some conjectures and data about modular degrees and orders of Shafarevich--Tate groups of Neumann--Setzer curves.


title: From graphs to tensegrity structures: Geometric and symbolic approaches

abstract: A form-finding problem for tensegrity structures is studied; given an abstract graph, we show an algorithm to provide a necessary condition for it to be the underlying graph of a tensegrity in $\mathbb{R}^d$ (typically $d=2,3$) with vertices in general position. Furthermore, for a certain class of graphs our algorithm allows to obtain necessary and sufficient conditions on the relative position of the vertices in order to underlie a tensegrity, for what we propose both a geometric and a symbolic approach.


title: Meta Math! The Quest for Omega

abstract: This book presents a personal account of the mathematics and metamathematics of the 20th century leading up to the discovery of the halting probability Omega. The emphasis is on history of ideas and philosophical implications.


title: Spectral order and isotonic differential operators of Laguerre-Polya type

abstract: The spectral order on $\bR^n$ induces a natural partial ordering on the manifold $\calH_{n}$ of monic hyperbolic polynomials of degree $n$. We show that all differential operators of Laguerre-P\'olya type preserve the spectral order. We also establish a global monotony property for infinite families of deformations of these operators parametrized by the space $\li$ of real bounded sequences. As a consequence, we deduce that the monoid $\calA'$ of linear operators that preserve averages of zero sets and hyperbolicity consists only of differential operators of Laguerre-P\'olya type which are both extensive and isotonic. In particular, these results imply that any hyperbolic polynomial is the global minimum of its $\calA'$-orbit and that Appell polynomials are characterized by a global minimum property with respect to the spectral order.


title: Harmonic, Monogenic and Hypermonogenic Functions on Some Conformally Flat Manifolds in $R^n$ arising from Special Arithmetic Groups of the Vahlen Group

abstract: This paper focuses on the development of harmonic and Clifford analysis techniques in the context of some conformally flat manifolds that arise from factoring out a simply-connected domain from $R^n$ by special arithmetic subgroups of the conformal group. Our discussion encompasses in particular the Hopf manifold $S^1 \times S^{n-1}$, conformally flat cylinders and tori and some conformally flat manifolds of genus $g \ge 2$, such as $k$-handled tori and polycylinders. This paper provides a continuation as well as an extension of our previous two papers \cite{KraRyan1,KraRyan2}. In particular, we introduce a Cauchy integral formula for hypermonogenic functions on cylinders, tori and on half of the Hopf manifold. These are solutions to the Dirac-Hodge equation with respect to the hyperbolic metric. We further develop generalizations of the Mittag-Leffler theorem and the Laurent expansion theorem for cylindrical and toroidal monogenic functions. The study of Hardy space decompositions on the Hopf manifold is also continued. Kerzman-Stein operators are introduced. Explicit formulas for the Szeg\"o kernel, the Bergman kernel and the Poisson kernel of half the Hopf manifold are given.


title: Topological properties of Hamiltonian circle actions

abstract: This paper studies Hamiltonian circle actions, i.e. circle subgroups of the group Ham(M,\om) of Hamiltonian symplectomorphisms of a closed symplectic manifold (M,\om). Our main tool is the Seidel representation of \pi_1(\Ham(M,\om)) in the units of the quantum homology ring. We show that if the weights of the action at the points at which the moment map is a maximum are sufficiently small then the circle represents a nonzero element of \pi_1(\Ham(M,\om)). Further, if the isotropy has order at most two and the circle contracts in \Ham(M,\om) then the homology of M is invariant under an involution. For example, the image of the normalized moment map is a symmetric interval [-a,a]. If the action is semifree (i.e. the isotropy weights are 0 or +/- 1) then we calculate the leading order term in the Seidel representation, an important technical tool in understanding the quantum cohomology of manifolds that admit semifree Hamiltonian circle actions. If the manifold is toric, we use our results about this representation to describe the basic multiplicative structure of the quantum cohomology ring of an arbitrary toric manifold. There are two important technical ingredients; one relates the equivariant cohomology of $M$ to the Morse flow of the moment map, and the other is a version of the localization principle for calculating Gromov--Witten invariants on symplectic manifolds with S^1-actions.


title: On the distribution of the order and index of g(mod p) over residue classes II

abstract: For a fixed rational number g different from -1,0,1 and integers a and d the set N_g(a,d) of primes p for which the order of g(mod p) is congruent to a(mod d) is considered. It is shown, assuming the Generalized Riemann Hypothesis (GRH), that this set has a natural density which can be computed in terms of degrees of certain Kummer extensions and Galois theoretic intersection coefficients. In case d is a power of an odd prime several properties of this density are established.


title: A survey of the topological properties of symplectomorphism groups

abstract: The special structures that arise in symplectic topology (particularly Gromov--Witten invariants and quantum homology) place as yet rather poorly understood restrictions on the topological properties of symplectomorphism groups. This article surveys some recent work by Abreu, Lalonde, McDuff, Polterovich and Seidel, concentrating particularly on the homotopy properties of the action of the group of Hamiltonian symplectomorphisms on the underlying manifold M. It sketches the proof that the evaluation map \pi_1(Ham(M))\to \pi_1(M) given by {\phi_t}\mapsto {\phi_t(x_0)} is trivial, as well as explaining similar vanishing results for the action of the homology of Ham(M) on the homology of M. Applications to Hamiltonian stability are discussed.


title: Homotopy groups of complements to ample divisors

abstract: We study the homotopy groups of complements to reducible divisors on non-singular projective varieties with ample components and isolated non normal crossings. We prove a vanishing theorem generalizing conditions for commutativity of the fundamental groups. The calculation of supports of non vanishing homotopy groups as modules over the fundamental group in terms of the geometry of the locus of non-normal crossings is discussed. We review previous work on the local study of isolated non-normal crossings and relate the motivic zeta function to the local polytopes of quasiadjunction. As an application, we obtain information about the support loci of homotopy groups of arrangements of hyperplanes


title: A quick and dirty irreducibility Test for Multivariate Polynomials over F_q

abstract: We provide some statistics about an irreducibility/reducibility test for multivariate polynomials over finite fields based on counting points. The test works best for polynomials in a large number of variables and can also be applied to black box polynomials.


title: Ranking patterns of the unfolding model and arrangements

abstract: In the unidimensional unfolding model, given m objects in general position there arise 1+m(m-1)/2 rankings. The set of rankings is called the ranking pattern of the m given objects. By changing these m objects, we can generate various ranking patterns. It is natural to ask how many ranking patterns can be generated and what is the probability of each ranking pattern when the objects are randomly chosen? These problems are studied by introducing a new type of arrangement called mid-hyperplane arrangement and by counting cells in its complement.


title: Conveniently Hoelder homomorphisms are smooth in the convenient sense

abstract: We show that every 'conveniently Hoelder' homomorphism between Lie groups in the sense of convenient differential calculus is smooth (in the convenient sense). In particular, every Lip^0 homomorphism is smooth.


title: Compactification of the isospectral varieties of nilpotent Toda lattices

abstract: The paper concerns a compactification of the isospectral varieties of nilpotent Toda lattices for real split simple Lie algebras. The compactification is obtained by taking the closure of unipotent group orbits in the flag manifolds. The unipotent group orbits are called the Peterson varieties and can be used in the complex case to describe the quantum cohomology of Grassmannian manifolds. We construct a chain complex based on a cell decomposition consisting of the subsystems of Toda lattices. Explicit formulae for the incidence numbers of the chain complex are found, and encoded in a graph containing an edge whenever an incidence number is non-zero. We then compute rational cohomology, and show that there are just three different patterns in the calculation of Betti numbers. Although these compactified varieties are singular, they resemble certain smooth Schubert varieties e.g. they both have a cell decomposition consiting of unipotent group orbits of the same dimensions. In particular, for the case of a Lie algebra of type $A$ the rational homology/cohomology obtained from the compactified isospectral variety of the nilpotent Toda lattice equals that of the corresponding Schubert variety.


title: Limit sets as examples in noncommutative geometry

abstract: The fundamental group of a hyperbolic manifold acts on the limit set, giving rise to a cross-product C^* algebra. We construct nontrivial K-cycles for the cross-product algebra, thereby extending some results of Connes and Sullivan to higher dimensions. We also show how the Patterson-Sullivan measure on the limit set can be interpreted as a center-valued KMS state.


title: Generalized Hadamard Product and the Derivatives of Spectral Functions

abstract: In this work we propose a generalization of the Hadamard product between two matrices to a tensor-valued, multi-linear product between k matrices for any $k \ge 1$. A multi-linear dual operator to the generalized Hadamard product is presented. It is a natural generalization of the Diag x operator, that maps a vector $x \in \R^n$ into the diagonal matrix with x on its main diagonal. Defining an action of the $n \times n$ orthogonal matrices on the space of k-dimensional tensors, we investigate its interactions with the generalized Hadamard product and its dual. The research is motivated, as illustrated throughout the paper, by the apparent suitability of this language to describe the higher-order derivatives of spectral functions and the tools needed to compute them. For more on the later we refer the reader to [14] and [15], where we use the language and properties developed here to study the higher-order derivatives of spectral functions.


title: Interactions Between the Generalized Hadamard Product and the Eigenvalues of Symmetric Matrices

abstract: In [8] a notion of generalized Hadamard product was introduced. We show that when certain kinds of tensors interact with the eigenvalues of symmetric matrices the resulting formulae can be nicely expressed using the generalized Hadamard product and two simple linear operations on the tensors. The Calculus-type rules developed here will be used in [9] to routinize, to a large extend, the differentiation of spectral functions. We include all the necessary definitions and results from [8] on the generalized Hadamard product to make the reading self-contained.


title: On the Higher-Order Derivatives of Spectral Functions: Two Special Cases

abstract: In this work we use the tensorial language developed in [8] and [9] to differentiate functions of eigenvalues of symmetric matrices. We describe the formulae for the k-th derivative of such functions in two cases. The first case concerns the derivatives of the composition of an arbitrary differentiable function with the eigenvalues at a matrix with distinct eigenvalues. The second development describes the derivatives of the composition of a separable symmetric function with the eigenvalues at an arbitrary symmetric matrix. In the concluding section we re-derive the formula for the Hessian of a general spectral function at an arbitrary point. Our approach leads to a shorter, streamlined derivation than the original in [6]. The language we use, based on the generalized Hadamard product, allows us to view the differentiation of spectral functions as a routine calculus-type procedure.


title: A Note on Absolute Derivations and Zeta Functions

abstract: This comment answers a question raised by Kurokawa, Ochiai and Wakayama whether a certain operator constructed using a notion of quantum non-commutativity of primes has eigenvalues related to the Riemann zeta zeros.


title: Cohomology of the moduli space of Hecke cycles

abstract: Let $X$ be a smooth projective curve of genus $g \ge 3$ and let $M_0$ be the moduli space of semistable bundles over $X$ of rank 2 with trivial determinant. Three different desingularizations of $M_0$ have been constructed by Seshadri \cite{Se1}, Narasimhan-Ramanan \cite{NR}, and Kirwan \cite{k5}. In this paper, we construct a birational morphism from Kirwan's desingularization to Narasimhan-Ramanan's, and prove that the Narasimhan-Ramanan's desingularization (called the moduli space of Hecke cycles) is the intermediate variety between Kirwan's and Seshadri's as was conjectured recently in \cite{KL}. As a by-product, we compute the cohomology of the moduli space of Hecke cycles.


title: Weak Bruhat order on the set of faces of the permutahedra

abstract: We extend the weak Bruhat order of a finite Coxeter group to the set of its coclasses, modulo parabolic standard subgroups. We use this order to describe associative algebra structures on the vector spaces spanned by the faces of permutahedra on one side, and on the vector space spanned by the planar rooted trees, on the other one.


title: An Invitation to the Generalized Saturation Conjecture

abstract: We report about some results, interesting examples, problems and conjectures revolving around the parabolic Kostant partition functions, the parabolic Kostka polynomials and ``saturation'' properties of several generalizations of the Littlewood--Richardson numbers.


title: Statistics on Wreath Products and Generalized Binomial-Stirling Numbers

abstract: Various statistics on wreath products are defined via canonical words, "colored" right to left minima and "colored" descents. It is shown that refined counts with respect to these statistics have nice recurrence formulas of binomial-Stirling type. These extended Stirling numbers determine (via matrix inversion) dual systems, which are also shown to have combinatorial realizations within the wreath product. The above setting also gives rise to MacMahon type equi-distribution theorem over subsets with prescribed statistics.


title: Equidistribution des sous-varietes de petite hauteur

abstract: In this paper, the equidistribution theorem of Szpiro-Ullmo-Zhang about sequences of small points in an abelian variety is extended to the case of sequences of higher dimensional subvarieties. A quantitative version of this result is also given.


title: Compositions of random transpositions

abstract: Let $Y=(y_1,y_2,...)$, $y_1\ge y_2\ge...$, be the list of sizes of the cycles in the composition of $c n$ transpositions on the set $\{1,2,...,n\}$. We prove that if $c>1/2$ is constant and $n\to\infty$, the distribution of $f(c)Y/n$ converges to PD(1), the Poisson-Dirichlet distribution with paramenter 1, where the function $f$ is known explicitly. A new proof is presented of the theorem by Diaconis, Mayer-Wolf, Zeitouni and Zerner stating that the PD(1) measure is the unique invariant measure for the uniform coagulation-fragmentation process.


title: In polytopes, small balls about some vertex minimize perimeter

abstract: In (the surface of) a convex polytope P^n in R^n+1, for small prescribed volume, geodesic balls about some vertex minimize perimeter. This revision corrects a mistake in the mass bound argument in the proof of Theorem 3.8.


title: Factorization of a class of Toeplitz + hankel operators and the A_p-condition

abstract: Let $M(\phi)=T(\phi)+H(\phi)$ be the Toeplitz plus Hankel operator acting on $H^p(\T)$ with generating function $\phi\in L^\iy(\T)$. In a previous paper we proved that $M(\phi)$ is invertible if and only if $\phi$ admits a factorization $\phi(t)=\phi_{-}(t)\phi_{0}(t)$ such that $\phi_{-}$ and $\phi_{0}$ and their inverses belong to certain function spaces and such that a further condition formulated in terms of $\phi_{-}$ and $\phi_{0}$ is satisfied. In this paper we prove that this additional condition is equivalent to the Hunt-Muckenhoupt-Wheeden condition (or, $A_{p}$-condition) for a certain function $\sigma$ defined on $[-1,1]$, which is given in terms of $\phi_{0}$. As an application, a necessary and sufficient criteria for the invertibility of $M(\phi)$ with piecewise continuous functions $\phi$ is proved directly. Fredholm criteria are obtained as well.


title: Einstein Metrics, Four-Manifolds, and Differential Topology

abstract: This article presents a new and more elementary proof of the main Seiberg-Witten-based obstruction to the existence of Einstein metrics on smooth compact 4-manifolds. It also introduces a new smooth manifold invariant which conveniently encapsulates those aspects of Seiberg-Witten theory most relevant to the study of Riemannian variational problems on 4-manifolds.


title: Rozansky-Witten invariants of hyperk\"ahler manifolds

abstract: We investigate invariants of compact hyperk{\"a}hler manifolds introduced by Rozansky and Witten: they associate an invariant to each graph homology class. It is obtained by using the graph to perform contractions on a power of the curvature tensor and then integrating the resulting scalar-valued function over the manifold, arriving at a number. For certain graph homology classes, the invariants we get are Chern numbers, and in fact all characteristic numbers arise in this way. We use relations in graph homology to study and compare these hyperk{\"a}hler manifold invariants. For example, we show that the norm of the Riemann curvature can be expressed in terms of the volume and characteristic numbers of the hyperk{\"a}hler manifold. We also investigate the question of whether the Rozansky-Witten invariants give us something more general than characteristic numbers. Finally, we introduce a generalization of these invariants which incorporates holomorphic vector bundles into the construction.


title: The set of semidualizing complexes is a nontrivial metric space

abstract: We show that the set $\s(R)$ of shift-isomorphism classes of semidualizing complexes over a local ring $R$ admits a nontrivial metric. We investigate the interplay between the metric and several algebraic operations. Motivated by the dagger duality isometry, we prove the following: If $K,L$ are homologically bounded below and degreewise finite $R$-complexes such that $K\lotimes_R K\lotimes_R L$ is semidualizing, then $K$ is shift-isomorphic to $R$. In investigating the existence of nontrivial open balls in $\s(R)$, we prove that $\s(R)$ contains elements that are not comparable in the reflexivity ordering if and only if it contains at least three distinct elements.


title: Abelian fibred holomorphic symplectic manifolds

abstract: We study holomorphic symplectic manifolds which are fibred by abelian varieties. This structure is a higher dimensional analogue of an elliptic fibration on a K3 surface. We investigate when a holomorphic symplectic manifold is fibred in this way, and are led to several natural conjectures. We then study the geometry of these fibrations. The expectation is that this point of view will prove useful in understanding holomorphic symplectic manifolds, and possibly lead to a classification.


title: Hurwitz Spaces and Moduli Spaces as Ball Quotients via Pull-back

abstract: We define hypergeometric functions using intersection homology valued in a local system. Topology is emphasized; analysis enters only once, via the Hodge decomposition. By a pull-back procedure we construct special subsets S_{pi}, derived from Hurwitz spaces, of Deligne-Mostow moduli spaces DM(n,mu). Certain DM(n,mu) are known to be ball quotients, uniformized by hypergeometric functions valued in a complex ball (i.e., complex hyperbolic space). We give sufficient conditions for S_{pi} to be a subball quotient. Analyzing the simplest examples in detail, we describe ball quotient structures attached to some moduli spaces of inhomogeneous binary forms. This recovers in particular the structure on the moduli space of rational elliptic surfaces given by Heckman and Looijenga. We make use of a natural partial ordering on the Deligne-Mostow examples (which gives an easy way to see that the original list of Mostow, eventually corrected by Thurston, is in error), and so highlight two key examples, which we call the Gaussian and Eisenstein ancestral examples.


title: Braid monodromy factorization for a non-prime $K3$ surface branch curve

abstract: This paper is the second in a series. The first one describes pillow degenerations of a $K3$ surface with genus $g$. In this paper we study the $(2,2)$-pillow degeneration of a non-prime $K3$ surface and the braid monodromy of the branch curve of the surface with respect to a generic projection onto $\C\P^2$. In future papers we study the fundamental group of the complement of the branch curve and the fundamental group of the Galois cover of the surface with respect to this generic projection.


title: Derived equivalence of holomorphic symplectic manifolds

abstract: We use twisted Fourier-Mukai transforms to study the relation between an abelian fibration on a holomorphic symplectic manifold and its dual fibration. Our reasoning leads to an equivalence between the derived category of coherent sheaves on one space and the derived category of twisted sheaves on the other space.


title: Darboux Polynomials and First Integrals of Natural Polynomial Hamiltonian Systems

abstract: We show that for a natural polynomial Hamiltonian system the existence of a single Darboux polynomial (a partial polynomial first integral) is equivalent to the existence of an additional first integral functionally independent with the Hamiltonian function. Moreover, we show that, in a case when the degree of potential is odd, the system does not admit any proper Darboux polynomial, i.e., the only Darboux polynomials are first integrals.


title: Differential Galois Approach to the Non-integrability of the Heavy Top Problem

abstract: We study integrability of the Euler-Poisson equations describing the motion of a rigid body with one fixed point in a constant gravity field. Using the Morales-Ramis theory and tools of differential algebra we prove that a symmetric heavy top is integrable only in the classical cases of Euler, Lagrange, and Kovalevskaya and is partially integrable only in the Goryachev-Chaplygin case. Our proof is alternative to that given by Ziglin ({\em Funktsional. Anal. i Prilozhen.}, 17(1):8--23, 1983; {\em Funktsional. Anal. i Prilozhen.}, 31(1):3--11, 95, 1997).


title: Stochastic stability at the boundary of expanding maps

abstract: We consider endomorphisms of a compact manifold which are expanding except for a finite number of points and prove the existence and uniqueness of a physical measure and its stochastical stability. We also characterize the zero-noise limit measures for a model of the intermittent map and obtain stochastic stability for some values of the parameter. The physical measures are obtained as zero-noise limits which are shown to satisfy Pesin?s Entropy Formula.


title: Equivariant cohomology of real flag manifolds

abstract: Let $P=G/K$ be a semisimple non-compact Riemannian symmetric space, where $G=I_0(P)$ and $K=G_p$ is the stabilizer of $p\in P$. Let $X$ be an orbit of the (isotropy) representation of $K$ on $T_p(P)$ ($X$ is called a real flag manifold). Let $K_0\subset K$ be the stabilizer of a maximal flat, totally geodesic submanifold of $P$ which contains $p$. We show that if all the simple root multiplicities of $G/K$ are at least 2 then $K_0$ is connected and the action of $K_0$ on $X$ is equivariantly formal. In the case when the multiplicities are equal and at least 2, we will give a purely geometric proof of a formula of Hsiang, Palais and Terng concerning $H^*(X)$. In particular, this gives a conceptually new proof of Borel's formula for the cohomology ring of an adjoint orbit of a compact Lie group.


title: Subdominant matroid ultrametrics

abstract: Given a matroid M on the ground set E, the Bergman fan B(M), or space of M-ultrametrics, is a polyhedral complex in R^E which arises in several different areas, such as tropical algebraic geometry, dynamical systems, and phylogenetics. Motivated by the phylogenetic situation, we study the following problem: Given a point w in R^E, we wish to find an M-ultrametric which is closest to it in the l_infty metric. The solution to this problem follows easily from the existence of the subdominant M-ultrametric: a componentwise maximum M-ultrametric which is componentwise smaller than w. A procedure for computing it is given, which brings together the points of view of matroid theory and tropical geometry. When the matroid in question is the graphical matroid of the complete graph K_n, the Bergman fan B(K_n) parameterizes the equidistant phylogenetic trees with n leaves. In this case, our results provide a conceptual explanation for Chepoi and Fichet's method for computing the tree that most closely matches measured data.


title: Infinite classes of counter-examples to the Dempster's rule of combination

abstract: This paper presents several classes of fusion problems which cannot be directly attacked by the classical mathematical theory of evidence, also known as the Dempster-Shafer Theory (DST) either because the Shafer's model for the frame of discernment is impossible to obtain or just because the Dempster's rule of combination fails to provide coherent results (or no result at all). We present and discuss the potentiality of the DSmT combined with its classical (or hybrid) rule of combination to attack these infinite classes of fusion problems.


title: A short proof of a theorem of Morton Brown on chains of cells

abstract: Suppose that a topological space $X$ is the union of an increasing sequence of open subsets each of which is homeomorphic to the Euclidean space $R^n$. Then $X$ itself is homeomorphic to $R^n$. This is an old theorem of Morton Brown. We observe that this theorem is an immediate consequence of other two theorems of Morton Brown concerning near homeomorphisms and cellular sets.


title: Homotopical Algebraic Geometry II: geometric stacks and applications

abstract: This is the second part of a series of papers devoted to develop Homotopical Algebraic Geometry. We start by defining and studying generalizations of standard notions of linear and commutative algebra in an abstract monoidal model category, such as derivations, etale and smooth maps, flat and projective modules, etc. We then use the theory of stacks over model categories introduced in \cite{hagI} in order to define a general notion of geometric stack over a base symmetric monoidal model category C, and prove that this notion satisfies the expected properties. The rest of the paper consists in specializing C to several different contexts. First of all, when C=k-Mod is the category of modules over a ring k, with the trivial model structure, we show that our notion gives back the algebraic n-stacks of C. Simpson. Then we set C=sk-Mod, the model category of simplicial k-modules, and obtain this way a notion of geometric derived stacks which are the main geometric objects of Derived Algebraic Geometry. We give several examples of derived version of classical moduli stacks, as for example the derived stack of local systems on a space, of algebra structures over an operad, of flat bundles on a projective complex manifold, etc. Finally, we present the cases where C=(k) is the model category of unbounded complexes of modules over a char 0 ring k, and C=Sp^{\Sigma} the model category of symmetric spectra. In these two contexts, called respectively Complicial and Brave New Algebraic Geometry, we give some examples of geometric stacks such as the stack of associative dg-algebras, the stack of dg-categories, and a geometric stack constructed using topological modular forms.


title: Newton-Krylov solvers for time-steppers

abstract: We study how the Newton-GMRES iteration can enable dynamic simulators (time-steppers) to perform fixed-point and path-following computations.For a class of dissipative problems, whose dynamics are characterized by a slow manifold, the Jacobian matrices in such computations are compact perturbations of the identity. We examine the number of GMRES iterations required for each nonlinear iteration as a function of the dimension of the slow subspace and the time-stepper reporting horizon. In a path-following computation, only a small number (one or two) of additional GMRES iterations is required.


title: On non-abelian Lubin-Tate theory via vanishing cycles

abstract: We give a purely local proof, in the depth 0 case, of the result by Harris-Taylor which asserts that the local Langlands correspondence for GL_n over a p-adic field K realizes itself inside the vanishing cycle cohomology of the deformation space of formal O_K-modules of height n. Our proof is given by establishing the direct geometric link with the Deligne-Lusztig theory for GL_n over the residue field.


title: Quasi-multipliers and algebrizations of an operator space

abstract: Let $X$ be an operator space, let $\phi$ be a product on $X$, and let $(X,\phi)$ denote the algebra that one obtains. We give necessary and sufficient conditions on the bilinear mapping $\phi$ for the algebra $(X,\phi)$ to have a completely isometric representation as an algebra of operators on some Hilbert space. In particular, we give an elegant geometrical characterization of such products by using the Haagerup tensor product. Our result makes no assumptions about identities or approximate identities. Our proof is independent of the earlier result of Blecher-Ruan-Sinclair that solved the case when the algebra has an identity of norm one, and our result is used to give a simple direct proof of this earlier result. We also develop further the connections between quasi-multipliers of operator spaces, and shows that the quasi-multipliers of operator spaces coincide with their $C^*$-algebraic counterparts.


title: A constructive generalised Goursat normal form

abstract: We provide necessary and sufficient conditions on the derived type of a vector field distribution $\Cal V$ in order that it be locally equivalent to a partial prolongation of the contact distribution $\Cal C^{(1)}_q$, on the first order jet bundle of maps from $\Bbb R$ to $\Bbb R^q$, $q\geq 1$. This result fully generalises the classical Goursat normal form. Our proof is constructive: it is proven that if $\Cal V$ is locally equivalent to a partial prolongation of $\Cal C^{(1)}_q$ then the explicit construction of contact coordinates algorithmically depends upon the integration of a sequence of geometrically defined and algorithmically determined integrable Pfaffian systems on the ambient manifold.


title: Class invariants for quartic CM fields

abstract: One can define class invariants for a quartic primitive CM field K as special values of certain Siegel (or Hilbert) modular functions at CM points corresponding to K. We provide explicit bounds on the primes appearing in the denominators of these algebraic numbers. This allows us, in particular, to construct S-units in certain abelian extensions of K, where S is effectively determined by K. It also yields class polynomials for primitive quartic CM fields whose coefficients are S-integers.


title: On Twisted Zeta-Functions at s=0

abstract: Let K be an abelian extension of a totally real number field k, K^+ its maximal real subfield and G=Gal(K/k). We have previously used twisted zeta-functions to define a meromorphic CG-valued function Phi_{K/k}(s) in a way similar to the use of partial zeta-functions to define the better-known function Theta_{K/k}(s). For each prime number p, we now show how the value Phi_{K/k}(0) combines with a p-adic regulator of semilocal units to define a natural Z_pG-submodule of Q_pG which we denote {frak S}_{K/k}. If p is odd and splits in k, our main theorem states that {frak S}_{K/k} is (at least) contained in Z_pG. Thanks to a precise relation between Phi_{K/k}(1-s) and Theta_{K/k}(s), this theorem can be reformulated in terms of (the minus part of) Theta_{K/k}(s) at s=1, making it an analogue of Deligne-Ribet and Cassou-Nogues' well-known integrality result concerning Theta_{K/k}(0). We also formulate some conjectures including a congruence involving Hilbert symbols that links {frak S}_{K/k} with the Rubin-Stark conjecture for K^+/k.


title: Isometries of spaces of convex compact subsets of CAT(0)-spaces

abstract: In the present paper we characterize the surjective isometries of the space of compact, convex subsets of proper, geodesically complete CAT(0)-spaces in which geodesics do not split, endowed with the Hausdorff metric. Moreover, an analogue characterization of the surjective isometries of the space of compact subsets of a proper, uniquely geodesic, geodesically complete metric space in which geodesics do not split, when endowed with the Hausdorff metric, is given.


title: When is a cleft extension Azumaya?

abstract: We show which $H^{op}$-cleft extensions $k#_\sigma H^{op}$ of the base field $k$ for a dual quasitriangular Hopf algebra $(H, r)$ are $H$-Azumaya. The result is given in terms of bijectivity of a map $\theta_\sigma\colon H\to H^*$ defined in terms of $r$ and the 2-cocycle $\sigma$, generalizing a well-known result for the commutative and cocommutative case. We illustrate the Theorem with an explicit computation for the Hopf algebras of type E(n).


title: On the null-controllability of the heat equation in unbounded domains

abstract: We make two remarks about the null-controllability of the heat equation with Dirichlet condition in unbounded domains. Firstly, we give a geometric necessary condition (for interior null-controllability in the Euclidean setting)which implies that one can not go infinitely far away from the control region without tending to the boundary (if any), but also applies when the distance to the control region is bounded. The proof builds on heat kernel estimates. Secondly, we describe a class of null-controllable heat equations on unbounded product domains. Elementary examples include an infinite strip in the plane controlled from one boundary and an infinite rod controlled from an internal infinite rod. The proof combines earlier results on compact manifolds with a new lemma saying that the null-controllability of an abstract control system and its null-controllability cost are not changed by taking its tensor product with a system generated by a non-positive self-adjoint operator.


title: The algebraic theory of Kreck surgery

abstract: In the 1980s Matthias Kreck developed a modified surgery theory with obstructions in a hardly understood monoid $l_n(Z[\pi])$. This paper presents a couple of purely algebraic tools to find out whether an element in $l_{2q}(R)$ is "elementary" i.e. whether a Kreck surgery problem leads to an $h$-cobordism or not.


title: On the rank of abelian varieties over function fields

abstract: Let $\cac$ be a smooth projective curve defined over a number field $k$, $A/k(\cac)$ an abelian variety and $(\tau,B)$ the $k(\cac)/k$-trace of $A$. We estimate how the rank of $A(k(\cac))/\tau B(k)$ varies when we take a finite cover $\pi:\cac'\to\cac$ defined over $k$ geometrically abelian.


title: On sums of binomial coefficients and their applications

abstract: In this paper we study recurrences concerning the combinatorial sum $[n,r]_m=\sum_{k\equiv r (mod m)}\binom {n}{k}$ and the alternate sum $\sum_{k\equiv r (mod m)}(-1)^{(k-r)/m}\binom{n}{k}$, where m>0, $n\ge 0$ and r are integers. For example, we show that if $n\ge m-1$ then $$\sum_{i=0}^{\lfloor(m-1)/2\rfloor}(-1)^i\binom{m-1-i}i [n-2i,r-i]_m=2^{n-m+1}.$$ We also apply such results to investigate Bernoulli and Euler polynomials. Our approach depends heavily on an identity established by the author [Integers 2(2002)].


title: Seifert $G_m$-bundles

abstract: A Seifert bundle over a variety X is a variety Y with a proper action of the multiplicative group such that the quotient is X. The topological version of this notion (using circle actions) was introduced by Seifert, the holomorphic version by Orlik and Wagreich. The aim of this paper is to provide the foundational results for Seifert bundles over an arbitrary normal variety X. The main results are a classification and a smoothness criterion.


title: Etale homotopy types of moduli stacks of algebraic curves with symmetries

abstract: Using the machinery of etale homotopy theory a' la Artin-Mazur we determine the etale homotopy types of moduli stacks over $\bar{\Q}$ parametrizing families of algebraic curves of genus g greater than 1 endowed with an action of a finite group G of automorphisms, which comes with a fixed embedding in the mapping class group, such that in the associated complex analytic situation the action of G is precisely the differentiable action induced by this specified embedding of G in the mapping class group.


title: Intersections of automorphism fixed subgroups in the free group of rank three

abstract: We show that in the free group of rank 3, given an arbitrary number of automorphisms, the intersection of their fixed subgroups is equal to the fixed subgroup of some other single automorphism.


title: A combinatorial approach to coefficients in deformation quantization

abstract: Graph cocycles for star-products are investigated from the combinatorial point of view, using Connes-Kreimer renormalization techniques. The Hochschild complex, controlling the deformation theory of associative algebras, is the ``Kontsevich representation'' of a DGLA of graphs coming from a pre-Lie algebra structure defined by graph insertions. Properties of the dual of its UEA (an odd parity analog of Connes-Kreimer Hopf algebra), are investigated in order to find solutions of the deformation equation. The solution of the initial value deformation problem, at tree-level, is unique. For linear coefficients the resulting formulas are relevant to the Hausdorff series.


title: Real Kodaira surfaces

abstract: In this paper we give the topological classification of real primary Kodaira surfaces and we describe in detail the structure of the corresponding moduli space. One of the main tools is the orbifold fundamental group of a real variety. Our first result is that if $(S, \sigma)$ is a real primary Kodaira surface, then the differentiable type of the pair $(S,\sigma)$ is completely determined by the orbifold fundamental group exact sequence. This result allows us to determine all the possible topological types of $(S, \sigma)$. Finally, we show that once we fix the topological type of $(S, \sigma)$ corresponding to a real primary Kodaira surface, the corresponding moduli space is irreducible (and connected).


title: On the notion of canonical dimension for algebraic groups

abstract: We define and study a new numerical invariant of an algebraic group action which we call the canonical dimension. We then apply the resulting theory to the problem of computing the minimal number of parameters required to define a generic hypersurface of degree d in P^{n-1}.


title: Resolving G-torsors by abelian base extensions

abstract: Let G be a linear algebraic group defined over a field k. We prove that, under mild assumptions on k and G, there exists a finite k-subgroup S of G such that the natural map H^1(K, S) -> H^1(K, G) is surjective for every field extension K/k. We give several applications of this result in the case where k an algebraically closed field of characteristic zero and K/k is finitely generated. In particular, we prove that for every z in H^1(K, G) there exists an abelian field extension L/K such that z_L \in H^1(L, G) is represented by a G-torsor over a projective variety. From this we deduce that z_L has trivial point obstruction. We also show that a (strong) variant of the algebraic form of Hilbert's 13th problem implies that the maximal abelian extension of K has cohomological dimension =< 1. The last assertion, if true, would prove conjectures of Bogomolov and Koenigsmann, answer a question of Tits and establish an important case of Serre's Conjecture II for the group E_8.


title: Singularities of Schubert Varieties, Tangent Cones and Bruhat Graphs

abstract: Let G be a semi-simple algebraic group over the complex numbers, B a Borel subgroup of G, T a maximal torus in B and P a parabolic in G containing B. This paper deals with singularities of T-stable subvarieties of G/P. It turns out that under the restriction that G doesn't contain any G_2-factors, the key geometric invariant determining the singular T-fixed points of X is the linear span of the reduced tangent cone to X at a T-fixed point x provided the singularity is isolated. The goal of this paper is to describe this invariant at the maximal singular T-fixed points when X is a Schubert variety in G/P and G doesn't contain any G_2-factors. We first describe the span of the tangent cone solely in terms of Peterson translates, which were the main tool in a previous paper. Then, taking a further look at the Peterson translates (with the G_2-restriction), we are able to describe the span of the tangent cone at x in terms of its isotropy submodule and the Bruhat graph of X at x. This refinement gives a purely root theoretic description, which should be useful for computations. It also leads to an algorithm for the singular locus of X.


title: Li Coefficients for Automorphic L-Functions

abstract: Xian-Jin Li gave a criterion for the Riemann hypothesis in terms of the positivity of a set of coefficients lambda_n, indexed by the integers. We define similar coefficients attached to principal automorphic L-functions over GL(N). We relate these coefficients to values of Weil's quadratic functional for the associated automorphic representation, and deduce a Riemann hypothesis criterion in terms of positivity of the real parts of these coefficients. We determine asymptotics of the coefficients, both unconditionally and on the Riemann hypothesis, as n increases. We show the existence of an entire function of exponential type that interpolates the generalized Li coefficients at integer values.


title: Alternative elements in the Cayley-Dickson algebras

abstract: An element a in A_n, the Cayley-Dickson algebra is alternative if (a,a,x)=0 for all x. In this paper we characterise such elements for n>3.To do so,we prove first the so called Yui's conjecture:For a and b pure elements in A_n. If (a,x,b)=0 for all x then a and b are linearly dependent.Also we study alternativity between every two elements and relate this with the norm of their product .


title: A Non-Messing-Up Phenomenon for Posets

abstract: We classify finite posets with a particular sorting property, generalizing a result for rectangular arrays. Each poset is covered by two sets of disjoint saturated chains such that, for any original labeling, after sorting the labels along both sets of chains, the labels of the chains in the first set remain sorted. We also characterize posets with more restrictive sorting properties.


title: On Products of Quasiconvex Subgroups in Hyperbolic Groups

abstract: An interesting question about quasiconvexity in a hyperbolic group concerns finding classes of quasiconvex subsets that are closed under finite intersections. A known example is the class of all quasiconvex subgroups. However, not much is yet learned about the structure of arbitrary quasiconvex subsets. In this work we study the properties of products of quasiconvex subgroups; we show that such sets are quasiconvex, their finite intersections have a similar algebraic representation and, thus, are quasiconvex too.


title: Equidistribution of small subvarieties of an abelian variety

abstract: We prove an equidistribution result for small subvarieties of an abelian variety which generalizes the Szpiro-Ullmo-Zhang theorem on equidistribution of small points.


title: Isomorphisms in pro-categories

abstract: A morphism of a category which is simultaneously an epimorphism and a monomorphism is called a bimorphism. In \cite{DR2} we gave characterizations of monomorphisms (resp. epimorphisms) in arbitrary pro-categories, pro-(C), where (C) has direct sums (resp. weak push-outs). In this paper we introduce the notions of strong monomorphism and strong epimorphism. Part of their significance is that they are preserved by functors. These notions and their characterizations lead us to important classical properties and problems in shape and pro-homotopy. For instance, strong epimorphisms allow us to give a categorical point of view of uniform movability and to introduce a new kind of movability, the sequential movability. Strong monomorphisms are connected to a problem of K.Borsuk regarding a descending chain of retracts of ANRs. If (f: X \to Y) is a bimorphism in the pointed shape category of topological spaces, we prove that (f) is a weak isomorphism and (f) is an isomorphism provided (Y) is sequentially movable and $X$ or $Y$ is the suspension of a topological space. If (f: X \to Y) is a bimorphism in the pro-category pro-(H_0) (consisting of inverse systems in (H_0), the homotopy category of pointed connected CW complexes) we show that (f) is an isomorphism provided (Y) is sequentially movable.


title: The $L$-functions of Witt coverings

abstract: Results on $L$-functions of Artin-Schreier coverings by Dwork, Bombieri and Adolphson-Sperber are generalized to $L$-functions of Witt coverings.


title: Coarse embeddings of metric spaces into Banach spaces

abstract: There are several characterizations of coarse embeddability of a discrete metric space into a Hilbert space. In this note we give such characterizations for general metric spaces. By applying these results to the spaces $L_p(\mu)$, we get their coarse embeddability into a Hilbert space for $0<p<2$. This together with a theorem by Banach and Mazur yields that coarse embeddability into $\ell_2$ and into $L_p(0,1)$ are equivalent when $1 \le p<2$. A theorem by G.Yu and the above allow to extend to $L_p(\mu)$, $0<p<2$, the range of spaces, coarse embedding into which guarantees for a finitely generated group $\Gamma$ to satisfy the Novikov Conjecture.


title: Group actions on Banach spaces and a geometric characterization of a-T-menability

abstract: We prove a geometric characterization of a-T-menability through proper, affine, isometric actions on the Banach spaces $L_p[0,1]$ for $1<p<2$. This answers a question of A. Valette.


title: A characterization of the Murasugi polynomial of an equivariant slice knot

abstract: We characterize the Murasugi polynomial of an equivariant slice knot by proving a conjecture of J. Davis and S. Naik.


title: Vector valued functions not constant on connected sets of critical points

abstract: Whitney type examples of maps $f\in C^k(\real^m,\real^n)$ for a maximal possible real $k$, and multidimensional space-filling curves with special properties are constructed.


title: Deligne Localized Functors

abstract: In this paper we present the notion of ``Deligne localized functors'', an avatar of the derived functors, whose definition is inspired by Deligne in [SGA 4,XVII]. Their definition involves the notions of Ind and Pro categories, they always exist and are characterized in terms of universal properties. The classical localized functor, in the sense of Grothendieck and Verdier, exists if suitable conditions are verified for the Deligne localized functors. We apply these notions to triangulated and derived categories.


title: On the number of Tverberg partitions in the prime power case

abstract: We give an extension of the lower bound of Vucic and Zivaljevic for the number of Tverberg partitions from the prime to the prime power case. Our proof is inspired by the Z_p-index version of the proof in Matousek's book "Using the Borsuk-Ulam Theorem" and uses Volovikov's Lemma. Analogously, one obtains an extension of the lower bound for the number of different splittings of a generic necklace to the prime power case.


title: A compactification of the moduli space of twisted holomorphic maps

abstract: We construct a compactification of the moduli space of twisted holomorphic maps with varying complex structure and bounded energy. For a given compact symplectic manifold $X$ with a compatible complex structure and a Hamiltonian action of $S^1$ with moment map $\mu:X\to\imag\RR$, the moduli space which we compactify consists of equivalence classes of tuples $(C,P,A,\phi)$, where $C$ is a smooth compact complex curve of fixed genus, $P$ is a principal $S^1$ bundle over $C$, $A$ is a connection on $P$ and $\phi$ is a section of $P\times_{S^1}X$ satisfying $$\ov{\partial}_A\phi=0,\qquad \iota_{v}F_A+\mu(\phi)=c,$$ where $F_A$ is the curvature of $A$, $v$ is the restriction on $C$ of a volume form on the universal curve over $\oM_g$ and $c$ is a fixed constant. Two tuples $(C,P,A,\phi)$ and $(C',P',A',\phi')$ are equivalent if there is a morphism of bundles $\rho:P\to P'$ lifting a biholomorphism $C\to C'$ such that $\rho^*A'=A$ and $\rho^*\phi'=\phi$. The energy of $(C,P,A,\phi)$ is $\|F_A\|_{L^2}^2+\|d_A\phi\|_{L^2}^2 +\|\mu(\phi)-c\|_{L^2}^2$, and the topology of the moduli space is the natural one. We also incorporate marked points in the picture. There are two sources of non compactness. First, bubbling off phenomena, analogous to the one in Gromov--Witten theory. Second, degeneration of $C$ to nodal curves. In this case, there appears a phenomenon which is not present in Gromov--Witten: near the nodes, the section $\phi$ may degenerate to a chain of gradient flow lines of $-\imag\mu$.


title: On some geometric representations of GL(n,O)

abstract: We study a family of complex representations of the group GL(n,O), where O is the ring of integers of a non-archimedean local field F. These representations occur in the restriction of the Grassmann representation of GL(n,F) to its maximal compact subgroup GL(n,O). We compute explicitly the transition matrix between a geometric basis of the Hecke algebra associated with the representation and an algebraic basis which consists of its minimal idempotents. The transition matrix involves combinatorial invariants of lattices of submodules of finite O-modules. The idempotents are p-adic analogs of the multivariable Jacobi polynomials.


title: Note on a product formula for unitary groups

abstract: For any nonnegative self-adjoint operators A and B in a separable Hilbert space, we show that the Trotter-type formula $[(e^{i2tA/n}+e^{i2tB/n})/2]^n$ converges strongly in the closure of the intersection of the domains of A^{1/2} and B^{1/2}, along some subsequence and for almost every real number t. This result extends to the degenerate case and to Kato-functions following the method of Kato.


title: Compatible metrics on a manifold and non-local bi-Hamiltonian structures

abstract: Given a flat metric one may generate a local Hamiltonian structure via the fundamental result of Dubrovin and Novikov. More generally, a flat pencil of metrics will generate a local bi-Hamiltonian structure, and with additional quasi-homogeneity conditions one obtains the structure of a Frobenius manifold. With appropriate curvature conditions one may define a curved pencil of compatible metrics and these give rise to an associated non-local bi-Hamiltonian structure. Specific examples include the F-manifolds of Hertling and Manin equipped with an invariant metric. In this paper the geometry supporting such compatible metrics is studied and interpreted in terms of a multiplication on the cotangent bundle. With additional quasi-homogeneity assumptions one arrives at a so-called weak $\F$-manifold - a curved version of a Frobenius manifold (which is not, in general, an F-manifold). A submanifold theory is also developed.


title: Adem relations in the Dyer-Lashof algebra and modular invariants

abstract: This work deals with Adem relations in the Dyer-Lashof algebra from a modular invariant point of view. The main result is to provide an algorithm which has two effects: Firstly, to calculate the hom-dual of an element in the Dyer-Lashof algebra; and secondly, to find the image of a non-admissible element after applying Adem relations. The advantage of our method is that one has to deal with polynomials instead of homology operations. A moderate explanation of the complexity of Adem relations is given.


title: p-adic properties of division polynomials and elliptic divisibility sequences

abstract: For a given point P in the group of K-rational points E(K) of an elliptic curve, we consider the sequence of values (F_1(P),F_2(P),F_3(P),...) of the division polynomials of E at P. If K is a finite field, we prove that the sequence is periodic. If K/Q_p is a local field, we prove (under certain hypotheses) that there is a power q=p^e so that for all m > 0, the limit as k goes to infinity of F_{mq^{k}}(P) exists in K and is algebraic over Q(E). We apply this result to prove an analogous p-adic limit and algebraicity result for elliptic divisibility sequences.


title: Localization for the norm-square of the moment map and the two-dimensional Yang-Mills integral

abstract: The first seven sections of the paper contain a version of localization for the norm-square of the moment map in equivariant de Rham theory, similar to that proved by P.-E. Paradan. The last section contains a definition and computation of the Yang-Mills path integral in two dimensions. The idea is to reverse the logic in Witten's paper and take the localization formula as the definition of the path integral. Using a symmetry argument we show that the path integral is given by the Migdal formula.


title: Convergence at the origin of integrated semigroups

abstract: We study a classification of the kappa-times integrated semigroups (for kappa>0) by the (uniform) rate of convergence at the origin: $\|S(t)\|=O(t^\alpha)$, $0\leq\alpha\leq\kappa$. By an improved generation theorem we characterize this behaviour by Hille-Yosida type estimates. Then we consider integrated semigroups with holomorphic extension and characterize the convergence at the origin, as well as the existence of boundary values, by estimates of the associated holomorphic semigroup. Different examples illustrate these results. The particular case $\alpha=\kappa$, which corresponds to the notions of Riesz means or tempered integrated semigroups, is of special interest : as an application, it leads to an integrated version of Euler's exponential formula.


title: Global existence and convergence for a higher order flow in conformal geometry

abstract: We study a higher-order parabolic equation which generalizes the Ricci flow on two-dimensional surfaces. The metric is deformed conformally with a speed given by the Q-curvature of the metric. Under a condition on the Q-curvature of the initial metric we show that the soluton exists for all time and converges to a metric of prescribed Q-curvature.


title: There are no structurally stable diffeomorphisms of odd-dimensional manifolds with codimension one non-orientable expanding attractors

abstract: We prove that a structurally stable diffeomorphism of a closed (2m+1)-manifold has no codimension one non-orientable expanding attractors.


title: Resolutions of Segre embeddings of projective spaces of any dimension

abstract: This paper deals with syzygies of Segre embeddings. Let d >=3 and n_1, ..., n_d nonzero natural numbers. We prove that O(1,...., 1) on the product of P^{n_1}, ...,P^{n_d} satisfies Property N_p if and only if p <= 3.


title: Estimates on the Lower Bound of the First Gap

abstract: We give a new lower bound for the first gap $\lambda_2 - \lambda_1$ of the Dirichlet eigenvalues of the Schr{\"o}dinger operator on a bounded convex domain $\Omega$ in R$^n$ or S$^n$ and greatly sharpens the previous estimates. The new bound is explicit and computable.


title: Linear equations over noncommutative graded rings

abstract: We call a graded connected algebra $R$ effectively coherent, if for every linear equation over $R$ with homogeneous coefficients of degrees at most $d$, the degrees of generators of its module of solutions are bounded by some function $D(d)$. For commutative polynomial rings, this property has been established by Hermann in 1926. We establish the same property for several classes of noncommutative algebras, including the most common class of rings in noncommutative projective geometry, that is, strongly Noetherian rings, which includes Noetherian PI algebras and Sklyanin algebras. We extensively study so--called universally coherent algebras, that is, such that the function $D(d)$ is bounded by 2d for $d >> 0$. For example, finitely presented monomial algebras belong to this class, as well as many algebras with finite Groebner basis of relations.


title: Global existence for Dirichlet-wave equations with quadratic nonlinearties in high dimensions

abstract: We prove global existence of solutions to quasilinear wave equations with quadratic nonlinearities exterior to nontrapping obstacles in spatial dimensions four and higher. This generalizes a result of Shibata and Tsutsumi in spatial dimensions greater than or equal to six. The technique of proof would allow for more complicated geometries provided that an appropriate local energy decay exists for the associated linear wave equation.


title: On squares of spaces and Fsigma-sets

abstract: We show that the continuum hypothesis implies there exists a Lindelof space X such that X x X is the union of two metrizable subspaces but X is not metrizable. This gives a consistent solution to a problem of Balogh, Gruenhage, and Tkachuk. The main lemma is that assuming the continuum hypothesis there exist disjoint sets of reals X and Y such that X is Borel concentrated on Y, (i.e., for any Borel set B if Y is contained in B then X-B is countable,) but (X x X - diagonal) is relatively Fsigma in (X x X) U (Y x Y).


title: Stable and singular solutions of the equation $\Delta u = 1/u$

abstract: We study properties of the semilinear elliptic equation $\Delta u = 1/u$ on domains in $R^n$, with an eye toward nonnegative singular solutions as limits of positive smooth solutions. We prove the nonexistence of such solutions in low dimensions when we also require them to be stable for the corresponding variational problem. The problem of finding singular solutions is related to the general study of singularities of minimal hypersurfaces in Euclidean space.


title: Non-minimal scalar-flat Kaehler surfaces and parabolic stability

abstract: A new construction is presented of scalar-flat Kaehler metrics on non-minimal ruled surfaces. The method is based on the resolution of singularities of orbifold ruled surfaces which are closely related to rank-2 parabolically stable holomorphic bundles. This rather general construction is shown also to give new examples of low genus: in particular, it is shown that CP^2 blown up at 10 suitably chosen points, admits a scalar-flat Kaehler metric; this answers a question raised by Claude LeBrun in 1986 in connection with the classification of compact self-dual 4-manifolds.


title: Convergence of Rothe's method for fully nonlinear parabolic equations

abstract: Convergence of Rothe's method for the fully nonlinear parabolic equation u_t + F(D^2 u, Du, u, x, t) = 0 is considered under some continuity assumptions on F. We show that the Rothe solutions are Lipschitz in time, Holder in space, and they solve the equation in the viscosity sense. As an immediate corollary we get Lipschitz behavior in time of the viscosity solutions of our equation.


title: Weil-etale cohomology over finite fields

abstract: We calculate the total derived functor for the map from the Weil-etale site introduced by Lichtenbaum to the etale site for varieties over finite fields. In particular, there is a long exact sequence relating Weil-etale cohomology and etale cohomology. In the second half of the paper, we apply this to study the Weil-etale cohomology of the motivic complex for smooth and projective varieties. These groups are expected to be finitely generated, to give an integral model for l-adic cohomology, and to be related to special values of the zeta function. We give necessary and sufficient conditions for this to hold, and examples.


title: Isometry groups of Lobachevskian spaces, similarity transformation groups of Euclidean spaces and Lorentzian holonomy groups

abstract: Weakly-irreducible not irreducible subalgebras of $\so(1,n+1)$ were classified by L. Berard Bergery and A. Ikemakhen. In the present paper a geometrical proof of this result is given. Transitively acting isometry groups of Lobachevskian spaces and transitively acting similarity transformation groups of Euclidean spaces are classified.


title: Infinite products in number theory and geometry

abstract: We give an introduction to the theory of Borcherds products and to some number theoretic and geometric applications. In particular, we discuss how the theory can be used to study the geometry of Hilbert modular surfaces.


title: Common fixed points of commutative semigroups of nonexpansive mappings

abstract: In this paper, we discuss characterizations of common fixed points of commutative semigroups of nonexpansive mappings. We next prove convergence theorems to a common fixed point. We finally discuss nonexpansive retractions onto the set of common fixed points. In our discussion, we may not assume the strict convexity of the Banach space.


title: Moduli Stacks of Vector Bundles and Frobenius Morphisms

abstract: We describe the action of the different Frobenius morphisms on the cohomology ring of the moduli stack of algebraic vector bundles of fixed rank and determinant on an algebraic curve over a finite field in characteristic p and analyse special situations like vector bundles on the projective line and relations with infinite Grassmannians.


title: Shelling and triangulating the (extra)ordinary polytope

abstract: Ordinary polytopes were introduced by Bisztriczky as a (nonsimplicial) generalization of cyclic polytopes. We show that the colex order of facets of the ordinary polytope is a shelling order. This shelling shares many nice properties with the shellings of simplicial polytopes. We also give a shallow triangulation of the ordinary polytope, and show how the shelling and the triangulation are used to compute the toric h-vector of the ordinary polytope. As one consequence, we get that the contribution from each shelling component to the h-vector is nonnegative. Another consequence is a combinatorial proof that the entries of the h-vector of any ordinary polytope are simple sums of binomial coefficients.


title: Generalised Euler characteristics of Selmer groups

abstract: Let E be an elliptic curve defined over a number field F, and let p be a prime >= 5. In this paper we study the structure of the Selmer group of E over p-adic Lie extensions $F_\infty$ of F. In particular, under certain global and local conditions on $F_\infty$ we relate the generalised $Gal(F_\infty / F)$-Euler characteristic of $Sel(E / F_\infty)$ to the generalised Euler characteristic of the Selmer group over the cyclotomic Zp-extension of F. This invariant generalises the classical Euler characteristic to the case when the rank of E(F) is positive. Moreover, we show that the global and local conditions on $F_\infty$ are satisfied for a large class of p-adic Lie extensions of F .


title: On the Tweety Penguin Triangle Problem

abstract: In this paper, one studies the famous well-known and challenging Tweety Penguin Triangle Problem (TPTP or TP2) pointed out by Judea Pearl in one of his books. We first present the solution of the TP2 based on the fallacious Bayesian reasoning and prove that reasoning cannot be used to conclude on the ability of the penguin-bird Tweety to fly or not to fly. Then we present in details the counter-intuitive solution obtained from the Dempster-Shafer Theory (DST). Finally, we show how the solution can be obtained with our new theory of plausible and paradoxical reasoning (DSmT).


title: Hausdorff dimension of the set of nonergodic directions (with an appendix by M. Boshernitzan)

abstract: It is known that nonergodic directions in a rational billiard form a subset of the unit circle with Hausdorff dimension at most 1/2. Explicit examples realizing the dimension 1/2 are constructed using Diophantine numbers and continued fractions. A lower estimate on the number of primitive lattice points in certain subsets of the plane is used in the construction.


title: Conformal de Rham decomposition of Riemannian manifolds

abstract: We prove conformal versions of the local decomposition theorems of de Rham and Hiepko of a Riemannian manifold as a Riemannian or a warped product of Riemannian manifolds. Namely, we give necessary and sufficient conditions for a Riemannian manifold to be locally conformal to either a Riemannian or a warped product. We also obtain other related de Rham-type decomposition theorems. As an application, we study Riemannian manifolds that admit a Codazzi tensor with two distinct eigenvalues everywhere.


title: Modified Rayleigh Conjecture for scattering by periodic structures

abstract: This paper contains a self-contained brief presentation of the scattering theory for periodic structures. Its main result is a theorem (the Modified Rayleigh Conjecture, or MRC), which gives a rigorous foundation for a numerical method for solving the direct scattering problem for periodic structures. A numerical example illustrating the procedure is presented.


title: Dynamical systems method (DSM) for unbounded operators

abstract: Let $L$ be an unbounded linear operator in a real Hilbert space $H$, a generator of $C_0$ semigroup, and $g:H\to H$ be a $C^2_{loc}$ nonlinear map. The DSM (dynamical systems method) for solving equ$ $F(v):=Lv+gv=0$ consists of solving the Cauchy problem $\dot {u}=\Phi(t,u)$, $u(0)=u_0$, where $\Phi$ is a suitable operator, and proving that i) $\exists u(t) \quad \forall t>0$, ii) $\exists u(\infty)$, and iii) $F(u(\infty))=0$.


title: Dynamical systems method for solving nonlinear equations with non-smooth monotone operators

abstract: Consider an operator equation (*) $B(u)+\ep u=0$ in a real Hilbert space, where $\ep>0$ is a small constant. The DSM (dynamical systems method) for solving equation (*) consists of a construction of a Cauchy problem, which has the following properties: 1) it has a global solution for an arbitrary initial data, 2) this solution tends to a limit as time tends to infinity, 3) the limit solves the equation $B(u)=0$. Existence of the unique solution is proved by the DSM for equation (*) with monotone hemicontinuous operators $B$ defined on all of$ If $\ep=0$ and equation (**) $B(u)=0$ is solvable, the DSM yields$ solution to (**).


title: Shuffling by semi-random transpositions

abstract: In the cyclic-to-random shuffle, we are given n cards arranged in a circle. At step k, we exchange the k'th card along the circle with a uniformly chosen random card. The problem of determining the mixing time of the cyclic-to-random shuffle was raised by Aldous and Diaconis in 1986. Recently, Mironov used this shuffle as a model for the cryptographic system known as ``RC4'' and proved an upper bound of O(n log n) for the mixing time. We prove a matching lower bound, thus establishing that the mixing time is indeed of order $\Theta(n \log n)$. We also prove an upper bound of O(n log n) for the mixing time of any ``semi-random transposition shuffle'', i.e., any shuffle in which a random card is exchanged with another card chosen according to an arbitrary (deterministic or random) rule. To prove our lower bound, we exhibit an explicit complex-valued test function which typically takes very different values for permutations arising from the cyclic-to-random-shuffle and for uniform random permutations; we expect that this test function may be useful in future analysis of RC4. Perhaps surprisingly, the proof hinges on the fact that the function exp(z)-1 has nonzero fixed points in the complex plane. A key insight from our work is the importance of complex analysis tools for uncovering structure in nonreversible Markov chains.


title: Paley-Wiener theorems for the Dunkl transform

abstract: We conjecture a geometrical form of the Paley-Wiener theorem for the Dunkl transform and prove three instances thereof, one of which involves a limit transition from Opdam's results for the graded Hecke algebra. Furthermore, the connection between Dunkl operators and the Cartan motion group is established. It is shown how the algebra of radial parts of invariant differential operators can be described explicitly in terms of Dunkl operators, which implies that the generalized Bessel functions coincide with the spherical functions. In this context, the restriction of Dunkl's intertwining operator to the invariants can be interpreted in terms of the Abel transform. Using shift operators we also show that, for certain values of the multiplicities of the restricted roots, the Abel transform is essentially inverted by a differential operator.


title: Limits of (certain) CAT(0) groups, I: Compactification

abstract: The purpose of this paper is to investigate torsion-free groups which act properly and cocompactly on CAT(0) metric spaces which have isolated flats, as defined by Hruska. Our approach is to seek results analogous to those of Sela, Kharlampovich and Miasnikov for free groups and to those of Sela (and Rips and Sela) for torsion-free hyperbolic groups. This paper is the first in a series. In this paper we extract an R-tree from an asymptotic cone of certain CAT(0) spaces. This is analogous to a construction of Paulin, and allows a great deal of algebraic information to be inferred, most of which is left to future work.


title: Ascending Chain Conditions in Free Baxter Algebras

abstract: In this paper we study ascending chain conditions in a free Baxter algebra by making use of explicit constructions of free Baxter algebras that were obtained recently. We investigate ascending chain conditions both for ideals and for Baxter ideals. The free Baxter algebras under consideration include free Baxter algebras on sets and free Baxter algebras on algebras. We also consider complete free Baxter algebras.


title: Singular value decomposition for the 2D fan-beam Radon transform of tensor fields

abstract: In this article we study the fan-beam Radon transform ${\cal D}_m $ of symmetrical solenoidal 2D tensor fields of arbitrary rank $m$ in a unit disc $\mathbb D$ as the operator, acting from the object space ${\mathbf L}_{2}(\mathbb D; {\bf S}_m)$ to the data space $L_2([0,2\pi)\times[0,2\pi)).$ The orthogonal polynomial basis ${\bf s}^{(\pm m)}_{n,k}$ of solenoidal tensor fields on the disc $\mathbb D$ was built with the help of Zernike polynomials and then a singular value decomposition (SVD) for the operator ${\cal D}_m $ was obtained. The inversion formula for the fan-beam tensor transform ${\cal D}_m $ follows from this decomposition. Thus obtained inversion formula can be used as a tomographic filter for splitting a known tensor field into potential and solenoidal parts. Numerical results are presented.


title: The discrete Gelfand transform and its dual

abstract: We consider the transformation $\ev$ which associates to any element in a K-algebra A a function on the the set of its K-points. This is the analogue of the fundamental Gelfand transform. Both $\ev$ and its dual $\ev^*$ are the maps from a discrete K-module to a topological K-module and we investigate in which case the image of each map is dense. The answer is nontrivial for various choices of K and A already for A=K[x], the polynomial ring in one variable. Applications to the structure of algebras of cohomology operations are given.


title: Unbounded operators on Banach spaces over the quaternion field

abstract: Resolvents of quasi-linear operators and operator algebras in Banach spaces over the quaternion field are investigated. Spectral theory of unbounded nonlinear operators in quaternion Banach spaces is studied. Strongly continuous semigroups of quaternion quasi-linear operators are investigated and the polar decomposition theorem for them is proved.


title: Commensurations of the Johnson kernel

abstract: Let K be the subgroup of the extended mapping class group, Mod(S), generated by Dehn twists about separating curves. Assuming that S is a closed, orientable surface of genus at least 4, we confirm a conjecture of Farb that Comm(K), Aut(K) and Mod(S) are all isomorphic. More generally, we show that any injection of a finite index subgroup of K into the Torelli group I of S is induced by a homeomorphism. In particular, this proves that K is co-Hopfian and is characteristic in I. Further, we recover the result of Farb and Ivanov that any injection of a finite index subgroup of I into I is induced by a homeomorphism. Our method is to reformulate these group theoretic statements in terms of maps of curve complexes.


title: Quantum cluster algebras

abstract: Cluster algebras were introduced by S. Fomin and A. Zelevinsky in math.RT/0104151; their study continued in math.RA/0208229, math.RT/0305434. This is a family of commutative rings designed to serve as an algebraic framework for the theory of total positivity and canonical bases in semisimple groups and their quantum analogs. In this paper we introduce and study quantum deformations of cluster algebras.


title: Indifference pricing and hedging in stochastic volatility models

abstract: We apply the concepts of utility based pricing and hedging of derivatives in stochastic volatility markets and introduce a new class of "reciprocal affine" models for which the indifference price and optimal hedge portfolio for pure volatility claims are efficiently computable. We obtain a general formula for the market price of volatility risk in these models and calculate it explicitly for the case of an exponential utility.


title: Singular cubic fourfolds containing a plane

abstract: In this paper we consider cubic 4-folds containing a plane whose discriminant curve is a reduced nodal plane sextic. In particular, we describe the singular points of such cubic 4-folds and we give an estimate of the rank of the free abelian group generated by the equivalence classes of the algebraic cycles of codimension 2. Moreover, we describe some conditions on the geometry of the plane sextics so that all the associated cubic 4-folds are singular and we construct a family of smooth rational cubic 4-folds whose discriminant curve is reduced but reducible.


title: Principal bundles with groupoid structure: local vs. global theory and nonabelian \u{c}ech cohomology

abstract: The aim of this paper is to review and discuss in detail local aspects of principal bundles with groupoid structure. Many results, in particular from the second and third section, are already known to some extents, but, due to the lack of a ``unified'' point of view on the subject, I decided nonetheless to (re)define all the main concepts and write all proofs; however, some results are reformulated in a more elegant way, using the division map and the generalized conjugation of a Lie groupoid. In the same framework, I discuss later generalized groupoids and Morita equivalences from a local point of view; in particular, I found a (so far as I know) new characterization of generalized morphisms coming from nonabelian ech cohomology, which allows one to view generalized morphisms as a generalization of classical descent data. I found also a factorization formula for the division map, which is the crucial point in the local formulation of Morita equivalences.


title: Periodic nonlinear Schr\"odinger equation with application to photonic crystals

abstract: We present basic results, known and new, on nontrivial solutions of periodic stationary nonlinear Schr\"odinger equations. We also sketch an application to nonlinear optics and discuss some open problems.


title: Generalized complex structures on nilmanifolds

abstract: We show that all 6-dimensional nilmanifolds admit generalized complex structures. This includes the five classes of nilmanifold which admit no known complex or symplectic structure. Furthermore, we classify all 6-dimensional nilmanifolds according to which of the four types of left-invariant generalized complex structure they admit. We also show that the two components of the left-invariant complex moduli space for the Iwasawa manifold are no longer disjoint when they are viewed in the generalized complex moduli space. Finally, we provide an 8-dimensional nilmanifold which admits no left-invariant generalized complex structure.


title: Sextic Double Solids

abstract: We prove non-rationality and birational super-rigidity of a Q-factorial double cover X of P^3 ramified along a sextic surface with at most simple double points. We also show that the condition #|Sing(X)| < 15 implies Q-factoriality of X. In particular, every double cover of P^3 with at most 14 simple double points is non-rational and not birationally isomorphic to a conic bundle. All the birational transformations of X into elliptic fibrations and into Fano 3-folds with canonical singularities are classified. We consider some relevant problems over fields of finite characteristic. When X is defined over a number field F we prove that the set of rational points on the 3-fold X is potentially dense if Sing(X) is not empty.


title: Symplectic desingularization of moduli space of sheaves on a K3 surface

abstract: Let $X$ be a projective K3 surface with generic polarization $\cO_X(1)$ and let $M_c=M(2,0,c)$ be the moduli space of semistable torsion-free sheaves on $X$ of rank 2, with Chern classes $c_1=0$ and $c_2=c$. When $c=2n\ge 4$ is even, $M_c$ is a singular projective variety. We show that there is no symplectic desingularization of $M_{2n}$ if $\frac{n a_n}{2n-3}$ is not an integer where $a_n$ is the Euler number of the Hilbert scheme $X^{[n]}$ of $n$ points in $X$.


title: Le lemme fondamental pour les groupes unitaires

abstract: Let G be an unramified reductive group over a non archimedian local field F. The so-called "Langlands Fundamental Lemma" is a family of conjectural identities between orbital integrals for G(F) and orbital integrals for endoscopic groups of G. In this paper we prove the Langlands fundamental lemma in the particular case where F is a finite extension of F_p((t)), G is a unitary group and p>rank(G). Waldspurger has shown that this particular case implies the Langlands fundamental lemma for unitary groups of rank <p when F is any finite extension of Q_p. We follow in part a strategy initiated by Goresky, Kottwitz and MacPherson. Our main new tool is a deformation of orbital integrals which is constructed with the help of the Hitchin fibration for unitary groups over projective curves.


title: Volume renormalization for complete Einstein--K\"ahler metrics

abstract: For a strictly pseudoconvex domain in a complex manifold we define a renormalized volume with respect to the approximately Einstein complete K\"ahler metric of Fefferman. We compute the conformal anomaly in complex dimension two and apply the result to derive a renormalized Chern--Gauss--Bonnet formula. Relations between renormalized volume and the CR $Q$-curvature are also investigated.


title: Counting rational points on hypersurfaces

abstract: Let $F(x_1,...,x_n)$ be a form of degree $d\geq 2$, which produces a geometrically irreducible hypersurface in $\mathbb{P}^{n-1}$. This paper is concerned with the number of rational points on F=0 which have height at most $B$. Whenever $n<6$, or whenever the hypersurface is not a union of lines, we obtain estimates that are essentially best possible and that are uniform in $d$ and $n$.


title: On the Lie envelopping algebra of a pre-Lie algebra

abstract: We construct an associative product on the symmetric module S(L) of any pre-Lie algebra L. Then we proove that in the case of rooted trees our construction is dual to that of Connes and Kreimer. We also show that symmetric brace algebras and pre-Lie algebras are the same. Finally, using brace algebras instead of pre-Lie algebras, we give a similar interpretation of Foissy's Hopf algebra of planar rooted trees.


title: A non-commutative, analytic version of Hilbert's 17-th problem in type II$_1$ von Neumann algebras

abstract: We prove a non-commutative version of the Hilbert's 17th problem, giving a characterization of the class of non-commutative polynomials in n-undeterminates that have positive trace when evaluated in n-selfadjoint elements in arbitrary II1 von Neumann algebra. As a corollary we prove that Connes's embedding conjecture is equivalent to a statement that can be formulated entirely in the context of finite matrices.


title: The Coxeter quotient of the fundamental group of a Galois cover of T \times T

abstract: Let $X$ be the surface $\T\times\T$ where $\T$ is the complex torus. This paper is the third in a series, studying the fundamental group of the Galois cover of $X$ \wrt a generic projection onto $\C\P^2$. Van Kampen Theorem gives a presentation of the fundamental group of the complement of the branch curve, with 54 generators and more than 2000 relations. Here we introduce a certain natural quotient (obtained by identifying pairs of generators), prove it is a quotient of a Coxeter group related to the degeneration of $X$, and show that this quotient is virtually nilpotent.


title: Logarithmic Sobolev Inequality for Zero-Range Dynamics: independence of the number of particles

abstract: We prove that the logarithmic-Sobolev constant for Zero-Range Processes in a box of diameter L may depend on L but not on the number of particles. This is a first, but relevant and quite technical step, in the proof that this logarithmic-Sobolev constant grows as L^2, that will be presented in a forthcoming paper.


title: A combinatorial approach to the set-theoretic solutions of the Yang-Baxter equation

abstract: A bijective map $r: X^2 \longrightarrow X^2$, where $X = \{x_1, ..., x_n \}$ is a finite set, is called a \emph{set-theoretic solution of the Yang-Baxter equation} (YBE) if the braid relation $r_{12}r_{23}r_{12} = r_{23}r_{12}r_{23}$ holds in $X^3.$ A non-degenerate involutive solution $(X,r)$ satisfying $r(xx)=xx$, for all $x \in X$, is called \emph{square-free solution}. There exist close relations between the square-free set-theoretic solutions of YBE, the semigroups of I-type, the semigroups of skew polynomial type, and the Bieberbach groups, as it was first shown in a joint paper with Michel Van den Bergh. In this paper we continue the study of square-free solutions $(X,r)$ and the associated Yang-Baxter algebraic structures -- the semigroup $S(X,r)$, the group $G(X,r)$ and the $k$- algebra $A(k, X,r)$ over a field $k$, generated by $X$ and with quadratic defining relations naturally arising and uniquely determined by $r$. We study the properties of the associated Yang-Baxter structures and prove a conjecture of the present author that the three notions: a square-free solution of (set-theoretic) YBE, a semigroup of I type, and a semigroup of skew-polynomial type, are equivalent. This implies that the Yang-Baxter algebra $A(k, X,r)$ is Poincar\'{e}-Birkhoff-Witt type algebra, with respect to some appropriate ordering of $X$. We conjecture that every square-free solution of YBE is retractable, in the sense of Etingof-Schedler.


title: Asymptotic and Lyapunov stability of Poisson equilibria

abstract: This paper includes results centered around three topics, all of them related with the nonlinear stability of equilibria in Poisson dynamical systems. Firstly, we prove an energy-Casimir type sufficient condition for stability that uses functions that are not necessarily conserved by the flow and that takes into account certain asymptotically stable behavior that may occur in the Poisson category. This method is adapted to Poisson systems obtained via a reduction procedure and we show in examples that the kind of stability that we propose is appropriate when dealing with the stability of the equilibria of some constrained systems. Finally, we discuss two situations in which the use of continuous Casimir functions in stability studies is equivalent to the topological stability methods introduced by Patrick {\it et al.}


title: Transcendental submanifolds of RP^n

abstract: In this paper we give examples of closed smooth submanifolds of RP^n which are isotopic to nonsingular projective subvarieties of RP^n but they can not be isotopic to the real parts of nonsingular complex projective subvarieties of CP^n.


title: On arithmetical and dynamical properties of Lorentz maps of the torus

abstract: We proved that any Lorentz transformation of 2-torus is Anosov automorphism. One completely describes admissible parameters of Lorentz transformations and their arithmetical properties. One proved that an admissible speed light parameter has a countable spectra accumulating to this parameter.


title: Triangulated Manifolds with Few Vertices: Centrally Symmetric Spheres and Products of Spheres

abstract: The aim of this paper is to give a survey of the known results concerning centrally symmetric polytopes, spheres, and manifolds. We further enumerate nearly neighborly centrally symmetric spheres and centrally symmetric products of spheres with dihedral or cyclic symmetry on few vertices, and we present an infinite series of vertex-transitive nearly neighborly centrally symmetric 3-spheres.


title: Universal operator algebras of directed graphs

abstract: We define and investigate properties of universal operator algebras of directed graphs. Results include free products decomposition and continuity of the construction with respect to direct limits. Lastly we prove some K-theoretic results about our algebras.


title: Generating Functions of Random Walks on Graphs

abstract: The article provides an explicit algebraic expression for the generating function of walks on graphs. Its proof is based on the scattering theory for the differential Laplace operator on non-compact graphs.


title: Reflection positivity, rank connectivity, and homomorphism of graphs

abstract: It is shown that a graph parameter can be realized as the number of homomorphisms into a fixed (weighted) graph if and only if it satisfies two linear algebraic conditions: reflection positivity and exponential rank-connectivity. In terms of statistical physics, this can be viewed as a characterization of partition functions of vertex models.


title: Monodromy of a family of hypersurfaces containing a given subvariety

abstract: For a subvariety of a smooth projective variety, consider the family of smooth hypersurfaces of sufficiently large degree containing it, and take the quotient of the middle cohomology of the hypersurfaces by the cohomology of the ambient variety and also by the cycle classes of the irreducible components of the subvariety. Using Deligne's semisimplicity theorem together with Steenbrink's theory for semistable degenerations, we give a simpler proof of the first author's theorem (with a better bound of the degree of hypersurfaces) that this monodromy representation is irreducible.


title: Cofree coalgebras over operads II Homology invariance

abstract: This paper proves that homology equivalences of cogenerating complexes induce homology equivalences of the cofree coalgebras in many interesting cases. We show that the underlying chain complex of any cofree coalgebra is naturally a direct summand of the underlying chain-complex of a cofree coalgebra over a free operad. This is combined with the previous result to prove the homology invariance of all cofree coalgebras.


title: On the Use of Impredicative Reasoning to Construct a Class of Partial Models of ZF Within ZF [Withdrawn]

abstract: This paper has been withdrawn due to a critical error discovered in Theorem 4.21. Anyone with a historical or pragamatic interest in prior "negative results", however - e.g., failed proof attempts relating to the (in)consistency of ZF or the soundness of impredicative reasoning - is welcome to retrieve the original version of the paper still avaailable here on arXiv.


title: Diagrams with Selection and Method for Constructing Boundedly Generated and Boundedly Simple Groups

abstract: The existence of an infinite simple boundedly generated 2-generated group and the existence of a boundedly simple 2-generated group containing a free non-cyclic subgroup are proved.


title: Some Properties of Subsets of Hyperbolic Groups

abstract: We present some results about quasiconvex subgroups of infinite index and their products. After that we extend the standard notion of a subgroup commensurator to an arbitrary subset of a group, and generalize some of the previously known results.


title: Combinatorial and algorithmic aspects of hyperbolic polynomials

abstract: Let $p(x_1,...,x_n) =\sum_{(r_1,...,r_n) \in I_{n,n}} a_{(r_1,...,r_n)} \prod_{1 \leq i \leq n} x_{i}^{r_{i}}$ be homogeneous polynomial of degree $n$ in $n$ real variables with integer nonnegative coefficients. The support of such polynomial $p(x_1,...,x_n)$ is defined as $supp(p) = \{(r_1,...,r_n) \in I_{n,n} : a_{(r_1,...,r_n)} \neq 0 \}$ . The convex hull $CO(supp(p))$ of $supp(p)$ is called the Newton polytope of $p$ . We study the following decision problems, which are far-reaching generalizations of the classical perfect matching problem : {itemize} {\bf Problem 1 .} Consider a homogeneous polynomial $p(x_1,...,x_n)$ of degree $n$ in $n$ real variables with nonnegative integer coefficients given as a black box (oracle) . {\it Is it true that $(1,1,..,1) \in supp(p)$ ?} {\bf Problem 2 .} Consider a homogeneous polynomial $p(x_1,...,x_n)$ of degree $n$ in $n$ real variables with nonnegative integer coefficients given as a black box (oracle) . {\it Is it true that $(1,1,..,1) \in CO(supp(p))$ ?} {itemize} We prove that for hyperbolic polynomials these two problems are equivalent and can be solved by deterministic polynomial-time oracle algorithms . This result is based on a "hyperbolic" generalization of Rado theorem .


title: The Kauffman bracket and the Bollobas-Riordan polynomial of ribbon graphs

abstract: For a ribbon graph $G$ we consider an alternating link $L_G$ in the 3-manifold $G\times I$ represented as the product of the oriented surface $G$ and the unit interval $I$. We show that the Kauffman bracket $[L_G]$ is an evaluation of the recently introduced Bollobas-Riordan polynomial $R_G$. This results generalizes the celebrated relation between Kauffman bracket and Tutte polynomial of planar graphs.


title: Combinatorial descriptions of toric extremal contractions

abstract: In this paper, we give explicit combinatorial descriptions for toric extremal contractions under the relative setting, where varieties do not need to be complete. Fujino's completion theorem is the key to the main result. As applications, we can generalize some of Mustata's results related to Fujita's conjecture on toric varieties for the relative case.


abstract: We investigate C^*-algebras generated by scaling elements. We generalize the Wold decomposition and Coburn's theorem on isometries to scaling elements. We also completely determine when the C^*-algebra generated by a scaling element contains an infinite projection.


title: Conservative polynomials and yet another action of $\Gal(\bar \Q/\Q)$ on plane trees

abstract: In this paper we study an action of the absolute Galois group $\Gamma$ on bicolored plane trees induced by the action of $\Gamma$ on equivalence classes of conservative polynomials which are the simplest example of postcritically finite rational functions. We establish some basic properties of this action and compare it with the similar action provided by the Grothendieck theory of "Dessins d'enfants".


title: Weakly Lefschetz symplectic manifolds

abstract: The harmonic cohomology of a Donaldson symplectic submanifold and of an Auroux symplectic submanifold are compared with that of its ambient space. We also study symplectic manifolds satisfying a weakly Lefschetz property, that is, the $s$-Lefschetz propery. In particular, we consider the symplectic blow-ups of the complex projective space along weakly Lefschetz symplectic submanifolds. As an application we construct, for each even integer $s\geq 2$, compact symplectic manifolds which are $s$-Lefschetz but not $(s+1)$-Lefschetz.


title: Dressing preserving the fundamental group

abstract: In this note we consider the relationship between the dressing action and the holonomy representation in the context of constant mean curvature surfaces. We characterize dressing elements that preserve the topology of a surface and discuss dressing by simple factors as a means of adding bubbles to a class of non finite type cylinders.


title: Regularity of area-minimizing surfaces in 3D polytopes and of invariant hypersurfaces in R^n

abstract: In (the surface of) a convex polytope P^3 in R^4, an area-minimizing surface avoids the vertices of P and crosses the edges orthogonally. In a smooth Riemannian manifold M with a group of isometries G, an area-minimizing G-invariant oriented hypersurface is smooth (except for a very small singular set in high dimensions). Already in 3D, area-minimizing G-invariant unoriented surfaces can have certain singularities, such as three orthogonal sheets meeting at a point. We also treat other categories of surfaces such as rectifiable currents modulo nu and soap films.


title: Links and Hurwitz curves

abstract: In the note, we give a proof, based on the Generalized Thom Conjecture, of Bennequin's Theorem on upper bound for the Euler number of a link which is considered as a closed braid. A lower bound for the Euler number of a link is also given.


title: A local conjecture on Brauer character degrees of finite groups

abstract: Recently, a new conjecture on the degrees of the irreducible Brauer characters of a finite group was presented by the second author. In this paper we propose a 'local' version of this conjecture for blocks B of finite groups, giving a lower bound for the maximal degree of an irreducible Brauer character belonging to B in terms of the dimension of B and well-known invariants like the defect and the number of irreducible Brauer characters. We also propose a weaker version of this conjecture for which a slight reformulation leads to interesting open questions about traces of Cartan matrices of blocks. We then show that the strong conjecture is true for blocks with one simple module, blocks of p-solvable groups and blocks with cyclic defect groups. It also holds for many further examples of blocks of sporadic groups, symmetric groups or groups of Lie type. We also show that the weak conjecture is true for blocks of tame representation type.


title: Variation of Iwasawa invariants in Hida families

abstract: Let r : G_Q -> GL_2(Fpbar) be a p-ordinary and p-distinguished irreducible residual modular Galois representation. We show that the vanishing of the algebraic or analytic Iwasawa mu-invariant of a single modular form lifting r implies the vanishing of the corresponding mu-invariant for all such forms. Assuming that the mu-invariant vanishes, we also give explicit formulas for the difference in the algebraic or analytic lambda-invariants of modular forms lifting r. In particular, our formula shows that the lambda-invariant is constant on branches of the Hida family of r. We further show that our formulas are identical for the algebraic and analytic invariants, so that the truth of the main conjecture of Iwasawa theory for one form in the Hida family of r implies it for the entire Hida family.


title: The symplectic geometry of the Gel'fand-Cetlin-Molev basis for representations of Sp(2n,C)

abstract: Gel'fand and Cetlin constructed in the 1950s a canonical basis for a finite-dimensional representation V(\lambda) of U(n,\C) by successive decompositions of the representation by a chain of subgroups. Guillemin and Sternberg constructed in the 1980s the Gel'fand-Cetlin integrable system on the coadjoint orbits of U(n,\C), which is the symplectic geometric version, via geometric quantization, of the Gel'fand-Cetlin construction. (Much the same construction works for representations of SO(n,\R).) A. Molev in 1999 found a Gel'fand-Cetlin-type basis for representations of the symplectic group, using essentially new ideas. An important new role is played by the Yangian Y(2), an infinite-dimensional Hopf algebra, and a subalgebra of Y(2) called the twisted Yangian Y^{-}(2). In this paper we use deformation theory to give the analogous symplectic-geometric results for the case of U(n,\H), i.e. we construct a completely integrable system on the coadjoint orbits of U(n,\H). We call this the Gel'fand-Cetlin-Molev integrable system.


title: Induction Theorems and Isomorphism Conjectures for K- and L-Theory

abstract: The Farrell-Jones and the Baum-Connes Conjecture say that one can compute the algebraic K- and L-theory of the group ring and the topological K-theory of the reduced group C^*-algebra of a group G in terms of these functors for the virtually cyclic subgroups or the finite subgroups of G. By induction theory we want to reduce these families of subgroups to a smaller family, for instance to the family of subgroups which are either finite hyperelementary or extensions of finite hyperelementary groups with infinite cyclic kernel or to the family of finite cyclic subgroups. Roughly speaking, we extend the induction theorems of Dress for finite groups to infinite groups.