title: On the lack of inverses to C*-extensions related to property T groups

abstract: Using ideas of S. Wassermann on non-exact $C^*$-algebras and property T groups, we show that one of his examples of non-invertible C*-extensions is not semi-invertible. To prove this, we show that a certain element vanishes in the asymptotic tensor product. We also show that a modification of the example gives a C*-extension which is not even invertible up to homotopy.


title: Integrability versus topology of configuration manifolds and domains of possible motions

abstract: We establish a generic sufficient condition for a compact $n$-dimensional manifold bearing an integrable geodesic flow to be the $n$-torus. As a complementary result, we show that in the case of domains of possible motions with boundary, the first Betti number of the domain of possible motions may be arbitrarily large.


title: The Boundary between Compact and Noncompact Complete Riemann Manifolds

abstract: In 1941 Sumner Myers proved that if the Ricci curvature of a complete Riemann manifold has a positive infimum then the manifold is compact and its diameter is bounded in terms of the infimum. Subsequently the curvature hypothesis has been weakened, and in this paper we weaken it further in an attempt to find the ultimate, sharp result.


title: Dynamically Consistent Nonlinear Evaluations and Expectations

abstract: How an economic agent (a firm, an investor or a financial market) evaluates a contingent claim, say a European type of derivatives X, with maturity t? In this paper we study a mechanism of dynamic expectations and evaluations. We give the axiomatic conditions of the time consistency. We prove that, under a domination condition, a time consistent nonlinear evaluation is in fact a g-expectation, i.e., it is completely determined a BSDE in which the generator is a given function g.


title: A survey of tensor products and related constructions in two lectures

abstract: We survey tensor products of lattices with zero and related constructions focused on two topics: amenable lattices and box products.


title: Simultaneous representations of semilattices by lattices with permutable congruences

abstract: The Congruence Lattice Problem (CLP), stated by R. P. Dilworth in the forties, asks whether every distributive {∨, 0}-semilatticeS is isomorphic to the semilattice Conc L of compact congruences of a lattice L. While this problem is still open, many partial solutions have been obtained, positive and negative as well. The solution to CLP is known to be positive for all S such that $|S|\leq\aleph\_1$. Furthermore, one can then take L with permutable congruences. This contrasts with the case where $|S| \geq\aleph\_2$, where there are counterexamples S for which L cannot be, for example, sectionally complemented. We prove in this paper that the lattices of these counterexamples cannot have permutable congruences as well. We also isolate ﬁnite, combinatorial analogues of these results. All the "ﬁnite" statements that we obtain are amalgamation properties of the Conc functor. The strongest known positive results, which originate in earlier work by the ﬁrst author, imply that many diagrams of semilattices indexed by the square 2^2 can be lifted with respect to the Conc functor. We prove that the latter results cannot be extended to the cube, 2^3. In particular, we give an example of a cube diagram of ﬁnite Boolean semilattices and semilattice embeddings that cannot be lifted, with respect to the Conc functor, by lattices with permutable congruences. We also extend many of our results to lattices with almost permutable congruences, that is, $\ga\jj\gb=\ga\gb\uu\gb\ga$, for all congruences a and b. We conclude the paper with a very short proof that no functor from ﬁnite Boolean semilattices to lattices can lift the Conc functor on ﬁnite Boolean semilattices.


title: A new lattice construction: the box product

abstract: In a recent paper, the authors have proved that for lattices A and B with zero, the isomorphism $Conc(A \otimes B)\cong Conc A \otimes Conc B$, holds, provided that the tensor product satisﬁes a very natural condition (of being capped) implying that $A\otimes B$ is a lattice. In general, $A \otimes B$ is not a lattice; for instance, we proved that $M\_3\otimes F(3)$ is not a lattice. In this paper, we introduce a new lattice construction, the box product for arbitrary lattices. The tensor product construction for complete lattices introduced by G. N. Raney in 1960 and by R. Wille in 1985 and the tensor product construction of A. Fraser in 1978 for semilattices bear some formal resemblance to the new construction. For lattices A and B, while their tensor product $A\otimes B$ (as semilattices) is not always a lattice, the box product, $A \bp B$, is always a lattice. Furthermore, the box product and some of its ideals behave like an improved tensor product. For example, if A and B are lattices with unit, then the isomorphism $Conc(A $\bp$ B) \cong Conc A \otimes Conc B$ holds. There are analogous results for lattices A and B with zero and for a bounded lattice A and an arbitrary lattice B. A join-semilattice S with zero is called {0}-representable, if there exists a lattice L with zero such that $Conc L \cong S$. The above isomorphism results yield the following consequence: The tensor product of two {0}-representable semilattices is {0}-representable.


title: Tensor products and transferability of semilattices

abstract: In general, the tensor product, $A\otimes B$, of the lattices A and B with zero is not a lattice (it is only a join-semilattice with zero). If $A \otimes B$ is a capped tensor product, then $A \otimes B$ is a lattice (the converse is not known). In this paper, we investigate lattices A with zero enjoying the property that $A \otimes B$ is a capped tensor product, for every lattice B with zero; we shall call such lattices amenable. The ﬁrst author introduced in 1966 the concept of a sharply transferable lattice. In 1972, H. Gaskill [5] deﬁned, similarly, sharply transferable semilattices, and characterized them by a very eﬀective condition (T). We prove that a ﬁnite lattice A is amenable iff it is sharply transferable as a join-semilattice. For a general lattice A with zero, we obtain the result: A is amenable iff A is locally ﬁnite and every ﬁnite sublattice of A is transferable as a join-semilattice. This yields, for example, that a ﬁnite lattice A is amenable iff $A\otimes F(3)$ is a lattice iff A satisﬁes (T), with respect to $\jj$. In particular, $M3 \otimes F(3)$ is not a lattice. This solves a problem raised by R. W. Quackenbush in 1985 whether the tensor product of lattices with zero is always a lattice.


title: Palindromic Prefixes and Episturmian Words

abstract: Let $w$ be an infinite word on an alphabet $A$. We denote by $(n_i)_{i \geq 1}$ the increasing sequence (assumed to be infinite) of all lengths of palindrome prefixes of $w$. In this text, we give an explicit construction of all words $w$ such that $n_{i+1} \leq 2 n_i + 1$ for any $i$, and study these words. Special examples include characteristic Sturmian words, and more generally standard episturmian words. As an application, we study the values taken by the quantity $\limsup n_{i+1}/n_i$, and prove that it is minimal (among all non-periodic words) for the Fibonacci word.


title: Some partition properties for measurable colourings of omega-one^2

abstract: We construct a measure on omega-one^2 over the ground model in the forcing extension of a measure algebra, and investigate when measure theoretic properties of some measurable colouring of omega-one^2 imply the existence of an uncountable subset of omega-one whose square is homogeneous. This gives a new proof of the fact that, under a suitable axiomatic assumption, there are no Souslin (omega-one,omega-one) gaps in the Boolean algebra L^0(nu)/Fin when nu is a separable measure.


title: Lines of Principal Curvature near Singular End Points of Surfaces in R3

abstract: In this paper are studied the nets of principal curvature lines on surfaces embedded in Euclidean $3-$space near their end points, at which the surfaces tend to infinity. This is a natural complement and extension to smooth surfaces of the work of Garcia and Sotomayor (1996), devoted to the study of principal curvature nets which are structurally stable -- do not change topologically-- under small perturbations on the coefficients of the equations defining algebraic surfaces. This paper goes one step further and classifies the patterns of the most common and stable behaviors at the ends, present also in generic families of surfaces depending on one-parameter.


title: Parameter estimates for fractional autoregressive spatial processes

abstract: A binomial-type operator on a stationary Gaussian process is introduced in order to model long memory in the spatial context. Consistent estimators of model parameters are demonstrated. In particular, it is shown that $\hat{d}_N-d=O_P(\frac{(\operatorname {Log}N)^3}{N})$, where $d=(d_1,d_2)$ denotes the long memory parameter.


title: KMS states and complex multiplication

abstract: We construct a quantum statistical mechanical system which generalizes the Bost-Connes system to imaginary quadratic fields K of arbitrary class number and fully incorporates the explict class field theory for such fields. This system admits the Dedekind zeta function as partition function and the Idele class group as group of symmetries. The extremal KMS states at zero temperature intertwine this symmetry with the Galois action on the values of the states on the arithmetic subalgebra. We also give an interpretation of the original BC system and of the GL(2) system in terms of Shimura varieties, which motivates the construction for imaginary quadratic fields. The geometric notion underlying the construction is that of commensurability of K-lattices.


title: Algebraic Hypergeometric Transformations of Modular Origin

abstract: It is shown that Ramanujan's cubic transformation of the Gauss hypergeometric function ${}_2F_1$ arises from a relation between modular curves, namely the covering of $X_0(3)$ by $X_0(9)$. In general, when $2\le N\le 7$ the N-fold cover of $X_0(N)$ by $X_0(N^2)$ gives rise to an algebraic hypergeometric transformation. The N=2,3,4 transformations are arithmetic-geometric mean iterations, but the N=5,6,7 transformations are new. In the final two the change of variables is not parametrized by rational functions, since $X_0(6),X_0(7)$ are of genus 1. Since their quotients $X_0^+(6),X_0^+(7)$ under the Fricke involution (an Atkin-Lehner involution) are of genus 0, the parametrization is by two-valued algebraic functions. The resulting hypergeometric transformations are closely related to the two-valued modular equations of Fricke and H. Cohn.


title: The fundamental group of the harmonic archipelago

abstract: The harmonic archipelago HA is obtained by attaching a large pinched annulus to every pair of consecutive loops of the Hawaiian earring. We clarify the fundamental group pi1(HA) as a quotient of the Hawaiian earring group, provide a precise description of the kernel, show that both pi1(HA) and the kernel are uncountable, and that pi1(HA) has the indiscrete topology.


title: Coloring graphs with crossings

abstract: We generalize the Five Color Theorem by showing that it extends to graphs with two crossings. Furthermore, we show that if a graph has three crossings, but does not contain K_6 as a subgraph, then it is also 5-colorable. We also consider the question of whether the result can be extended to graphs with more crossings.


title: Fuchsian equation, Hermite-Krichever Ansatz and Painlev\'e equation

abstract: Several results on Heun's equation are generalized to a certain class of Fuchsian differential equations. Namely, we obtain integral representations of solutions and develop Hermite-Krichever Ansatz on them. In particular, we investigate linear differential equations that produce Painlev\'e equation by monodromy preserving deformation and obtain solutions of the sixth Painlev\'e equation which include Hitchin's solution. The relationship with finite-gap potential is also discussed.


title: Bar constructions for topological operads and the Goodwillie derivatives of the identity

abstract: We describe a cooperad structure on the simplicial bar construction on a reduced operad of based spaces or spectra and, dually, an operad structure on the cobar construction on a cooperad. We also show that if the homology of the original operad (respectively, cooperad) is Koszul, then the homology of the bar (respectively, cobar) construction is the Koszul dual. We use our results to construct an operad structure on the partition poset models for the Goodwillie derivatives of the identity functor on based spaces and show that this induces the `Lie' operad structure on the homology groups of these derivatives. We also extend the bar construction to modules over operads (and, dually, to comodules over cooperads) and show that a based space naturally gives rise to a left module over the operad formed by the derivatives of the identity.


title: The M\_{3}[D] construction and n-modularity

abstract: In 1968, E. T. Schmidt introduced the M\_3[D] construction, an extension of the ﬁve-element nondistributive lattice M\_3 by a bounded distributive lattice D, deﬁned as the lattice of all triples $(x, y, z) \in D^3$ satisfying $x \mm y = x \mm z = y \mm z$. The lattice M\_3[D] is a modular congruence-preserving extension of D. In this paper, we investigate this construction for an arbitrary lattice L. For every n > 0, we exhibit an identity Un such that U1 is modularity and Un+1 is properly weaker than Un. Let Mn denote the variety deﬁned by Un, the variety of n-modular lattices. If L is n-modular, then M\_3[L] is a lattice, in fact, a congruence-preserving extension of L; we also prove that, in this case, $IdM\_3[L] \cong M\_3[Id L]$. We provide an example of a lattice L such that M\_3[L] is not a lattice. This example also provides a negative solution to a problem of R. W. Quackenbush: Is the tensor product $A\otimes B$ of two lattices A and B with zero always a lattice. We complement this result by generalizing the M\_3[L] construction to an M\_4[L] construction. This yields, in particular, a bounded modular lattice L such that $M\_4 \otimes L$ is not a lattice, thus providing a negative solution to Quackenbush's problem in the variety M of modular lattices. Finally, we sharpen a result of R. P. Dilworth: Every ﬁnite distributive lattice can be represented as the congruence lattice of a ﬁnite 3-modular lattice. We do this by verifying that a construction of G. Gr\"{a}tzer, H. Lakser, and E. T. Schmidt yields a 3-modular lattice.


title: Flat semilattices

abstract: Let $A$, $B$, and $S$ be (v,0)-semilattices and let $f: A\to B$ be a (v,0)-embedding. Then the canonical map, $f \otimes \id\_S$, of the tensor product $A \otimes S$ into the tensor product $B \otimes S$ is not necessarily an embedding. The (v,0)-semilattice $S$ is flat, if for every embedding $f : A\to B$, the canonical map $f\otimes\id$ is an embedding. We prove that a (v,0)-semilattice $S$ is flat if and only if it is distributive.


title: Finitely presented, coherent, and ultrasimplicial ordered abelian groups

abstract: We study notions such as ﬁnite presentability and coherence, for partially ordered abelian groups and vector spaces. Typical results are the following: (i) A partially ordered abelian group G is ﬁnitely presented if and only if G is ﬁnitely generated as a group, the positive cone G^+ is well-founded as a partially ordered set, and the set of minimal elements of (G^+)-{0} is ﬁnite. (ii) Torsion-free, ﬁnitely presented partially ordered abelian groups can be represented as subgroups of some Z^n, with a ﬁnitely generated submonoid of (Z+)^n as positive cone. (iii) Every unperforated, ﬁnitely presented partially ordered abelian group is Archimedean. Further, we establish connections with interpolation. In particular, we prove that a divisible dimension group G is a directed union of simplicial subgroups if and only if every ﬁnite subset of G is contained into a ﬁnitely presented ordered subgroup.


title: Finitely presented and coherent ordered modules and rings

abstract: We extend the usual deﬁnition of coherence, for modules over rings, to partially ordered right modules over a large class of partially ordered rings, called po-rings. In this situation, coherence is equivalent to saying that solution sets of ﬁnite systems of inequalities are ﬁnitely generated semimodules. Coherence for ordered rings and modules, which we call po-coherence, has the following features: (i) Every subring of Q, and every totally ordered division ring, is po-coherent. (ii) For a partially ordered right module A over a po-coherent poring R, A is po-coherent if and only if A is a ﬁnitely presented R-module and A^+ is a ﬁnitely generated R^+-semimodule. (iii) Every ﬁnitely po-presented partially ordered right module over a right po-coherent po-ring is po-coherent. (iv) Every ﬁnitely presented abelian lattice-ordered group is po-coherent.


title: On the multiplicity of zeros of the zeta-function

abstract: Several results are obtained concerning multiplicities of zeros of the Riemann zeta-function $\zeta(s)$. They include upper bounds for multiplicities, showing that zeros with large multiplicities have to lie to the left of the line $\sigma = 1$. A zero-density counting function involving multiplicities is also discussed.


title: Tensor products of semilattices with zero, revisited

abstract: Let A and B be lattices with zero. The classical tensor product, $A\otimes B$, of A and B as join-semilattices with zero is a join-semilattice with zero; it is, in general, not a lattice. We deﬁne a very natural condition: $A \otimes B$ is capped (that is, every element is a ﬁnite union of pure tensors) under which the tensor product is always a lattice. Let Conc L denote the join-semilattice with zero of compact congruences of a lattice L. Our main result is that the following isomorphism holds for any capped tensor product: $Conc A\otimes Conc B \cong Conc(A \otimes B)$. This generalizes from ﬁnite lattices to arbitrary lattices the main result of a joint paper by the ﬁrst author, H. Lakser, and R. W. Quackenbush.


title: The dimension monoid of a lattice

abstract: We introduce the dimension monoid of a lattice L, denoted by Dim L. The monoid Dim L is commutative and conical, the latter meaning that the sum of any two nonzero elements is nonzero. Furthermore, Dim L is given along with the dimension map, $\Dim$, from L x L to Dim L, which has the intuitive meaning of a distance function. The maximal semilattice quotient of Dim L is isomorphic to the semilattice Conc L of compact congruences of L; hence Dim L is a precursor of the congruence lattice of L. Here are some additional features of this construction: (1) Our dimension theory provides a generalization to all lattices of the von Neumann dimension theory of continuous geometries. In particular, if L is an irreducible continuous geometry, then Dim L is either isomorphic to Z^+ or to R^+. (2) If L has no infinite bounded chains, then Dim L embeds (as an ordered monoid) into a power of Z^+ $\cup$ {$\infty$}. (3) If L is modular or if L has no infinite bounded chains, then Dim L is a refinement monoid. (4) If L is a simple geometric lattice, then DimL is isomorphic to Z^+, if L is modular, and to the two-element semilattice, otherwise. (5) If L is a countably meet-continuous complemented modular lattice, then both Dim L and the dimension function $\Dim$ satisfy (countable) completeness properties. If R is a von Neumann regular ring and if L is the lattice of principal right ideals of the matrix ring M\_2(R), then Dim L is isomorphic to the monoid V(R) of isomorphism classes of finitely generated projective right R-modules. Hence the dimension theory of lattices provides a wide lattice-theoretical generalization of nonstable K-theory of regular rings.


title: Proper congruence-preserving extensions of lattices

abstract: We prove that every lattice with more than one element has a proper congruence-preserving extension.


title: Almost sure estimates for the concentration neighborhood of Sinai's walk

abstract: We consider Sinai's random walk in random environment. We prove that infinitely often (i.o.) the size of the concentration neighborhood of this random walk is almost surely bounded. As an application we get that i.o. the maximal distance between two favorite sites is almost surely bounded.


title: Positive harmonic functions for semi-isotropic random walks on trees, lamplighter groups, and DL-graphs

abstract: We determine all positive harmonic functions for a large class of "semi-isotropic" random walks on the lamplighter group, i.e., the wreath product of the cyclic group of order q with the infinite cyclic group. This is possible via the geometric realization of a Cayley graph of that group as the Diestel-Leader graph DL(q,q). More generally, DL(q,r) is the horocyclic product of two homogeneous trees with respective degrees $q+1$ and $r+1$, and our result applies to all DL-graphs. This is based on a careful study of the minimal harmonic functions for semi-isotropic walks on trees.


title: A q-Analogue of Faulhaber's Formula for Sums of Powers

abstract: Let $$ S_{m,n}(q):=\sum_{k=1}^{n}\frac{1-q^{2k}}{1-q^2} (\frac{1-q^k}{1-q})^{m-1}q^{\frac{m+1}{2}(n-k)}. $$ Generalizing the formulas of Warnaar and Schlosser, we prove that there exist polynomials $P_{m,k}(q)\in\mathbb{Z}[q]$ such that $$ S_{2m+1,n}(q) =\sum_{k=0}^{m}(-1)^kP_{m,k}(q) \frac{(1-q^n)^{m+1-k}(1-q^{n+1})^{m+1-k}q^{kn}} {(1-q^2)(1-q)^{2m-3k}\prod_{i=0}^{k}(1-q^{m+1-i})}, $$ and solve a problem raised by Schlosser. We also show that there is a similar formula for the following $q$-analogue of alternating sums of powers: $$ T_{m,n}(q):=\sum_{k=1}^{n}(-1)^{n-k} (\frac{1-q^k}{1-q})^{m}q^{\frac{m}{2}(n-k)}. $$


title: Cellularization of classifying spaces and fusion properties of finite groups

abstract: One way to understand the mod p homotopy theory of classifying spaces of finite groups is to compute their BZ/p-cellularization. In the easiest cases this is a classifying space of a finite group (always a finite p-group). If not, we show that it has infinitely many non-trivial homotopy groups. Moreover they are either p-torsion free or else infinitely many of them contain p-torsion. By means of techniques related to fusion systems we exhibit concrete examples where p-torsion appears.


title: Mapping class group representations and Conformal Field Theory

abstract: We discuss some properties of the tower of mapping class group representations associated to a Rational Conformal Field Theory. In particular, after reviewing the elementary properties of the modular representation, we discuss the Galois action, the structure of the projective kernel, and the trace identities generalizing the formula of Verlinde.


title: Castelnuovo-Mumford regularity for complexes and weakly Koszul modules

abstract: Let A be a noetherian AS regular Koszul quiver algebra (if A is commutative, it is essentially a polynomial ring), and grA the category of finitely generated graded left A-modules. Following Jorgensen, we define the Castelnuovo-Mumford regularity reg(X) of a complex X \in D^b(grA) in terms of the local cohomologies or the minimal projective resolution of X. Let A^! be the quadratic dual ring of A. For the Koszul duality functor DG : D^b(grA) -> D^b(grA^!), we have reg(X) = max {i | H^i(DG (X)) \ne 0}. Using these concepts, we study weakly Koszul modules (= componentwise linear modules) over A^!. As an application, refining a result of Herzog and Roemer, we show that if J is a monomial ideal of an exterior algebra E= \bigwedge < y_1, ..., y_d > with d \geq 3, then the (d-2)nd syzygy of E/J is weakly Koszul.


title: Min-Max Variational Principle and Front Speeds in Random Shear Flows

abstract: Speed ensemble of bistable (combustion) fronts in mean zero stationary Gaussian shear flows inside two and three dimensional channels is studied with a min-max variational principle. In the small root mean square regime of shear flows, a new class of multi-scale test functions are found to yield speed asymptotics. The quadratic speed enhancement law holds with probability arbitrarily close to one under the almost sure continuity (dimension two) and mean square H\"older regularity (dimension three) of the shear flows. Remarks are made on the conditions for the linear growth of front speed expectation in the large root mean square regime.


title: On the Computation of Clebsch-Gordan Coefficients and the Dilation Effect

abstract: We investigate the problem of computing tensor product multiplicities for complex semisimple Lie algebras. Even though computing these numbers is #P-hard in general, we show that if the rank of the Lie algebra is assumed fixed, then there is a polynomial time algorithm, based on counting the lattice points in polytopes. In fact, for Lie algebras of type A_r, there is an algorithm, based on the ellipsoid algorithm, to decide when the coefficients are nonzero in polynomial time for arbitrary rank. Our experiments show that the lattice point algorithm is superior in practice to the standard techniques for computing multiplicities when the weights have large entries but small rank. Using an implementation of this algorithm, we provide experimental evidence for conjectured generalizations of the saturation property of Littlewood--Richardson coefficients. One of these conjectures seems to be valid for types B_n, C_n, and D_n.


title: Planar families of discrete groups

abstract: Determining the space of free discrete two generator groups of M\"obius transformations is an old and difficult problem. In this paper we show how to construct large balls of full dimension in this space. To do this, we begin with a marked discrete group of non-separating disjoint circle type. Such a group determines three disjoint or tangent planes. We prove that there is a whole family of discrete groups that share these planes. We find a set of six real numbers that serve as parameters for this family and construct an embedding of our parameters into a classical representation of the full space of free discrete groups. We see that each planar family fills out a ball of full dimension in the classical embedding.


title: The rigidity problem for analytic critical circle maps

abstract: It is shown that if $f$ and $g$ are any two analytic critical circle mappings with the same irrational rotation number, then the conjugacy that maps the critical point of $f$ to that of $g$ has regularity $C^{1+\alpha}$ at the critical point, with a universal value of $\alpha>0$. As a consequence, a new proof of the hyperbolicity of the full renormalization horseshoe of critical circle maps is given.


title: The mixed Hodge-Riemann bilinear relations for compact Kahler manifolds

abstract: We prove the Hodge-Riemann bilinear relations, the hard Lefschetz theorem and the Lefschetz decomposition for compact Kahler manifolds in the mixed situation.


title: An equivalent representation of the Jacobi field of a L\'evy process

abstract: In [Yu.M. Berezansky, E. Lytvynov, D. A. Mierzejewski, Ukrainian Math. J. 55 (2003), 853--858 ], the Jacobi field of a L\'evy process was derived. This field consists of commuting self-adjoint operators acting in an extended (interacting) Fock space. However, these operators have a quite complicated structure. In this note, using ideas from [L. Accardi. U. Franz, M. Skeide, Comm. Math. Phys. 228 (2002), 123--150] and [E. Lytvynov, Infin. Dimen. Anal. Quant. Prob. Rel. Top. 7 (2004), 619--629], we obtain a unitary equivalent representation of the Jacobi field of a L\'evy process. In this representation, the operators act in a usual symmetric Fock space and have a much simpler structure.


title: Finite covers of groups by cosets or subgroups

abstract: This paper deals with combinatorial aspects of finite covers of groups by cosets or subgroups. Let $a_1G_1,...,a_kG_k$ be left cosets in a group $G$ such that ${a_iG_i}_{i=1}^k$ covers each element of $G$ at least $m$ times but none of its proper subsystems does. We show that if $G$ is cyclic, or $G$ is finite and $G_1,...,G_k$ are normal Hall subgroups of $G$, then $k\geq m+f([G:\bigcap_{i=1}^kG_i])$, where $f(\prod_{t=1}^r p_t^{\alpha_t})=\sum_{t=1}^r\alpha_t(p_t-1)$ if $p_1,...,p_r$ are distinct primes and $\alpha_1,...,\alpha_r$ are nonnegative integers. When all the $a_i$ are the identity element of $G$ and all the $G_i$ are subnormal in $G$, we prove that there is a composition series from $\bigcap_{i=1}^kG_i$ to $G$ whose factors are of prime orders. The paper also includes some other results and two challenging conjectures.


title: Local solvability of second order differential operators with double characteristics I: Necessary conditions

abstract: This is a the first in a series of two articles devoted to the question of local solvability of doubly characteristic second order differential operators. For a large class of such operators, we show that local solvability at a given point implies "essential dissipativity" of the operator at this point. By means of Hoermander's classical necessary condition for local solvability, the proof is reduced to the following question, whose answer forms the core of the paper: Suppose that $Q_A$ and $Q_B$ are two real quadratic forms on a finite dimensional symplectic vector space, and let $Q_C:=\{Q_A,Q_B\}$ be given by the Poisson bracket of $Q_A$ and $Q_B.$ Then $Q_C$ is again a quadratic form, and we may ask: When can we find a common zero of $Q_A$ and $Q_B$ at which $Q_C$ does not vanish? The second paper, in combination with the first one, will give a fairly comprehensive picture of what rules local solvability of invariant second order operators on the Heisenberg group.


title: Hamiltonian stability and index of minimal Lagrangian surfaces of the complex projective plane

abstract: We show that the Clifford torus and the totally geodesic real projective plane RP^2 in the complex projective plane CP^2 are the unique Hamiltonian stable minimal Lagrangian compact surfaces of CP^2 with genus less than or equal to 4, when the surface is orientable, and with Euler characteristic greater than or equal to -1, when the surface is nonorientable. Also we characterize RP^2 in CP^2 as the least possible index minimal Lagrangian compact nonorientable surface of CP^2.


title: Higher Noether-Lefschetz loci of elliptic surfaces

abstract: We calculate the dimension of the locus of elliptic surfaces over P^1 with a section and a given Picard number, in the corresponding moduli space.


title: $\Cal M_{15}$ is rationally connected

abstract: The authors prove that $\Cal M_{15}$ is rationally connected


title: Global solutions to special Lagrangian equations

abstract: We show that any global solution to the special Lagrangian equations with the phase larger than a critical value must be quadratic.


title: Selected problems

abstract: This is a renovated list of open problems, to appear in: "Affine Algebraic Geometry" conference Proceedings volume in Contemporary Mathematics series of the Amer. Math. Soc. Ed. by Jaime Gutierrez, Vladimir Shpilrain, and Jie-Tai Yu.


title: A uniform refinement property for congruence lattices

abstract: The Congruence Lattice Problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of a lattice. It was hoped that a positive solution would follow from E. T. Schmidt's construction or from the approach of P. Pudlak, M. Tischendorf, and J. Tuma. In a previous paper, we constructed a distributive algebraic lattice $A$ with $\aleph\_2$ compact elements that cannot be obtained by Schmidt's construction. In this paper, we show that the same lattice $A$ cannot be obtained using the Pudlak, Tischendorf, Tuma approach. The basic idea is that every congruence lattice arising from either method satisfies the Uniform Refinement Property, which is not satisfied by our example. This yields, in turn, corresponding negative results about congruence lattices of sectionally complemented lattices and two-sided ideals of von Neumann regular rings.


title: Congruence lattices of free lattices in non-distributive varieties

abstract: We prove that for any free lattice F with at least $\aleph\_2$ generators in any non-distributive variety of lattices, there exists no sectionally complemented lattice L with congruence lattice isomorphic to the one of F. This solves a question formulated by Gr\"{a}tzer and Schmidt in 1962. This yields in turn further examples of simply constructed distributive semilattices that are not isomorphic to the semilattice of ﬁnitely generated two-sided ideals in any von Neumann regular ring.


title: Norm-closed intervals of norm-complete ordered abelian groups

abstract: Let $(G,u)$ be an archimedean norm-complete dimension group with order unit. Continuing a previous paper, we study intervals (i.e., nonempty upward directed lower subsets) of $G$ which are closed with respect to the canonical norm of $(G,u)$. In particular, we establish a canonical one-to-one correspondence between closed intervals of $G$ and certain affine lower semicontinuous functions on the state space of $(G,u)$, which allows us to solve several problems of K. R. Goodearl about inserting affine continuous functions between convex upper semicontinuous and concave lower semicontinuous functions. This yields in turn new results about analogues of multiplier groups for norm-closed intervals.


title: Homogeneous Solutions to Fully Nonlinear Elliptic Equations

abstract: We classify homogeneous degree $d\neq2$ solutions to fully nonlinear elliptic equations.


title: Global well-posedness and scattering for the defocusing energy-critical nonlinear Schr\"odinger equation in $\R^{1+4}$

abstract: We obtain global well-posedness, scattering, uniform regularity, and global $L^6_{t,x}$ spacetime bounds for energy-space solutions to the defocusing energy-critical nonlinear Schr\"odinger equation in $\R\times\R^4$. Our arguments closely follow those of Colliander-Keel-Staffilani-Takaoka-Tao, though our derivation of the frequency-localized interaction Morawetz estimate is somewhat simpler. As a consequence, our method yields a better bound on the $L^6_{t,x}$-norm.


title: Fundamental groups of compact Hausdorff spaces

abstract: We discuss which groups can be realized as the fundamental groups of compact Hausdorff spaces. In particular, we prove that the claim ``every group can be realized as the fundamental group of a compact Hausdorff space'' is consistent with the Zermelo - Fraenkel - Choice set theory.


title: Some explicit solutions to the Riemann-Hilbert problem

abstract: Explicit solutions to the Riemann-Hilbert problem will be found realising some irreducible non-rigid local systems. The relation to isomonodromy and the sixth Painleve equation will be described. Keywords: Riemann-Hilbert problem, Painleve equations, algebraic solutions, Heun equations, tetrahedral/octahedral group, triangle groups, Belyi maps.


title: Conjectures on the ring of commuting matrices

abstract: Let $X=(x_{ij})$ and $Y=(y_{ij})$ be generic $n$ by $n$ matrices and $Z=XY-YX$. Let $S=k[x_{11},...,x_{nn},y_{11},...,y_{nn}]$, where $k$ is a field, let $I$ be the ideal generated by the entries of $Z$ and let $R=S/I$. We give a conjecture on the first syzygies of $I$, show how these can be used to give a conjecture on the canonical module of $R$. Using this and the Hilbert series of $I$ we give a conjecture on the Betti numbers of $I$ in the $4 \times 4$ case. We also give some guesses on the structure of the resolution in general.


title: On the concentration of Sinai's walk

abstract: We consider Sinai's random walk in random environment. We prove that for an interval of time [1,n] Sinai's walk sojourns in a small neighborhood of the point of localization for the quasi totality of this amount of time. Moreover the local time at the point of localization normalized by $n$ converges in probability to a well defined random variable of the environment.


title: Alternative proof for the localization of Sinai's walk

abstract: We give an alternative proof of the localization of Sinai's random walk in random environment under weaker hypothesis than the ones used by Sinai. Moreover we give estimates that are stronger than the one of Sinai on the localization neighborhood and on the probability for the random walk to stay inside this neighborhood.


title: A General Approach for Producing Hamiltonian Numerical Schemes for Fluid Equations

abstract: Given a fluid equation with reduced Lagrangian $l$ which is a functional of velocity $\MM{u}$ and advected density $D$ given in Eulerian coordinates, we give a general method for semidiscretising the equations to give a canonical Hamiltonian system; this system may then be integrated in time using a symplectic integrator. The method is Lagrangian, with the variables being a set of Lagrangian particle positions and their associated momenta. The canonical equations obtained yield a discrete form of Euler-Poincar\'e equations for $l$ when projected onto the grid, with a new form of discrete calculus to represent the gradient and divergence operators. Practical symplectic time integrators are suggested for a large family of equations which include the shallow-water equations, the EP-Diff equations and the 3D compressible Euler equations, and we illustrate the technique by showing results from a numerical experiment for the EP-Diff equations.


title: Self Duality and Codings for Expansive Group Automorphisms

abstract: Lind and Schmidt have shown that the homoclinic group of a cyclic $\Z^k$ algebraic dynamical system is isomorphic to the dual of the phase group. We show that this duality result is part of an exact sequence if $k=1$. The exact sequence is a well known algebraic object, which has been applied by Schmidt in his work on rigidity. We show that it can be derived from dynamical considerations only. The constructions naturally lead to an almost 1-1-coding of certain Pisot automorphisms by their associated $\beta$-shift, generalizing similar results for Pisot automorphisms of the torus.


title: Notes on the contact Ozsvath--Szabo invariants

abstract: We prove various results on contact structures obtained by contact surgery on a single Legendrian knot in the standard contact three--sphere. Our main tool are the contact Ozsvath--Szabo invariants.


title: Notes on very ample vector bundles on 3-folds

abstract: Let $\Cal E$ be a very ample vector bundle of rank two on a smooth complex projective threefold $X$. An inequality about the third Segre class of $\Cal E$ is provided when $K_X+\det \Cal E$ is nef but not big, and when a suitable positive multiple of $K_X+\det \Cal E$ defines a morphism $X\to B$ with connected fibers onto a smooth projective curve $B$, where $K_X$ is the canonical bundle of $X$. As an application, the case where the genus of $B$ is positive and $\Cal E$ has a global section whose zero locus is a smooth hyperelliptic curve of genus $\geq 2$ is investigated, and our previous result is improved for threefolds.


title: The group of unital $C^*$-extensions

abstract: Let $A$ and $B$ be separable $C^*$-algebras, $A$ unital and $B$ stable. It is shown that there is a natural six-terms exact sequence which relates the group which arises by considering all semi-split extensions of $A$ by $B$ to the group which arises by restricting the attention to \emph{unital} semi-split extensions of $A$ by $B$. The six-terms exact sequence is an unpublished result of G. Skandalis.


title: On a Class of Representations of Quantum Groups

abstract: This paper is a short account of the construction of a new class of the infinite-dimensional representations of the quantum groups. The examples include finite-dimensional quantum groups $U_q(\mathfrak{g})$, Yangian $Y(\mathfrak{g})$ and affine quantum groups at zero level $U_q(\hat{\mathfrak{g}})_{c=0}$ corresponding to an arbitrary finite-dimensional semisimple Lie algebra $\mathfrak{g}$. At the intermediate step we construct the embedding of the quantum groups into the algebra of the rational functions on the quantum multi-dimensional torus. The explicit parameterization of the quantum groups used in this paper turns out to be closely related to the parameterization of the moduli spaces of the monopoles. As a result the proposed constructions of the representations provide a quantization of the moduli spaces of the monopoles on $\RR^3$ and $\RR^2\times S^1$.


title: Homotopy fixed points for L_K(n)(E_n ^ X) using the continuous action

abstract: Let G be a closed subgroup of G_n, the extended Morava stabilizer group. Let E_n be the Lubin-Tate spectrum, let X be an arbitrary spectrum with trivial G-action, and define E^(X) to be L_K(n)(E_n ^ X). We prove that E^(X) is a continuous G-spectrum with a G-homotopy fixed point spectrum, defined with respect to the continuous action. Also, we construct a descent spectral sequence whose abutment is the homotopy groups of the G-homotopy fixed point spectrum of E^(X). We show that the homotopy fixed points of E^(X) come from the K(n)-localization of the homotopy fixed points of the spectrum (F_n ^ X).


title: The Henon Family: The Complex Horseshoe Locus and Real Parameter Space

abstract: We consider the complexification of the Henon family of quadratic diffeomorphisms of the plane, and the region of parameter space corresponding to complex horseshoes. We discuss some conjectures about the global topology of the complex horseshoe locus.


title: No-counterexample interpretation et sp\'{e}cification des th\'{e}or\`{e}mes de l'arithm\'{e}tique

abstract: This paper presents two different ways of extracting the computational content of formal proofs in arithmetic. The first one corresponds to Kreisel's No-counterexample Interpretation. based on Ackermann consistency proof. We show the link with recent work by Krivine on classical realizability. Finally, we discuss the various degrees of modularity of both approaches.


title: Homology multipliers and the relation type of parameter ideals

abstract: We study the relation type question, raised by C. Huneke, which asks whether for a complete equidimensional local ring R there exists a uniform bound for the relation type of parameter ideals. Wang gave a positive answer to this question when the non-Cohen-Macaulay locus of R, denoted by NCM(R), has dimension zero. We first present an example, due to the first author, which gives a negative answer to the question when dim NCM(R) is at least 2. The major part of our work then is to investigate the remaining case, i.e., when dim NCM(R) = 1. We introduce the notion of homology multipliers and show that the question has a positive answer when R/A(R) is a domain, where A(R) is the ideal generated by all homology multipliers in R. In a more general context, we also discuss many interesting properties of homology multipliers.


title: Adjoint line bundles and syzygies of projective varieties

abstract: Let X be a smooth projective variety and let K be the canonical divisor of X. In this paper, we study embeddings of X given by adjoint line bundles of the form K+L, where L is an ample line bundle. When X is a regular surface (i.e. H^1(X, O_X) = 0), we obtain a numerical criterion for K+L to have property Np. When X is a regular variety of arbitrary dimension, under a mild condition, we give an explicit calculation for the regularity of the ideal sheaves of such embeddings.


title: Multigraded regularity, a*-invariant and the minimal free resolution

abstract: In recent years, two different multigraded variants of Castelnuovo-Mumford regularity have been developed, namely multigraded regularity, defined by the vanishing of multigraded pieces of local cohomology modules, and the resolution regularity vector, defined by the multidegrees in a minimal free resolution. In this paper, we study the relationship between multigraded regularity and the resolution regularity vector. Our method is to investigate multigraded variants of the usual a*-invariant. This, in particular, provides an effective approach to examining the vanishing of multigraded pieces of local cohomology modules with respect to different graded irrelevant ideals.


title: Abstract commensurators of braid groups

abstract: Let B_n be the braid group on n strands, with n at least 4, and let Mod(S) be the extended mapping class group of the sphere with n+1 punctures. We show that the abstract commensurator of B_n is isomorphic to a semidirect product of Mod(S) with a group we refer to as the transvection subgroup, Tv(B_n). We also show that Tv(B_n) is itself isomorphic to a semidirect product of an infinite dimensional rational vector space with the multiplicative group of nonzero rational numbers.


title: Two Phase Transitions for the Contact Process on Small Worlds

abstract: In our version of Watts and Strogatz's small world model, space is a d-dimensional torus in which each individual has in addition exactly one long-range neighbor chosen at random from the grid. This modification is natural if one thinks of a town where an individual's interactions at school, at work, or in social situations introduces long-range connections. However, this change dramatically alters the behavior of the contact process, producing two phase transitions. We establish this by relating the small world to an infinite "big world" graph where the contact process behavior is similar to the contact process on a tree.


title: The topological Hawaiian earring group does not embed in the inverse limit of free groups

abstract: Endowed with natural topologies, the fundamental group of the Hawaiian earring continuously injects into the inverse limit of free groups. This note shows the injection fails to have a continuous inverse. Such a phenomenon was unexpected and appears to contradict results of another author.


title: Quasilinear and Hessian equations of Lane-Emden type

abstract: The existence problem is solved, and global pointwise estimates of solutions are obtained for quasilinear and Hessian equations of Lane-Emden type, including the following two model problems: $ -\Delta_p u = u^q + \mu$ and $F_k[-u] = u^q + \mu$, $u > 0$, on $R^n$, or on a bounded domain $\Omega$. Here $\Delta_p$ is the p-Laplacian, and $F_k[u]$ is the $k$-Hessian defined as the sum of $k\times k$ principal minors of the Hessian matrix $D^2 u$; $\mu$ is a nonnegative measurable function (or measure) on $\Omega$. The solvability of these classes of equations in the renormalized (entropy) or viscosity sense has been an open problem even for good data $\mu \in L^s (\Omega)$, $s>1$. Such results are deduced from our existence criteria with the sharp exponents $s = n(q-p+1)/pq$ for the first equation, and $s = n(q-k)/2kq$ for the second one. Furthermore, a complete characterization of removable singularities is given. Our methods are based on systematic use of Wolff's potentials, dyadic models, and nonlinear trace inequalities. We make use of recent advances in potential theory and PDE due to Kilpelainen and Maly, Trudinger and Wang, and Labutin. This enables us to treat singular solutions, nonlocal operators, and distributed singularities, and develop the theory simultaneously for quasilinear equations and equations of Monge-Ampere type.


title: Krylov subspaces associated with higher-order linear dynamical systems

abstract: A standard approach to model reduction of large-scale higher-order linear dynamical systems is to rewrite the system as an equivalent first-order system and then employ Krylov-subspace techniques for model reduction of first-order systems. This paper presents some results about the structure of the block-Krylov subspaces induced by the matrices of such equivalent first-order formulations of higher-order systems. Two general classes of matrices, which exhibit the key structures of the matrices of first-order formulations of higher-order systems, are introduced. It is proved that for both classes, the block-Krylov subspaces induced by the matrices in these classes can be viewed as multiple copies of certain subspaces of the state space of the original higher-order system.


title: Genearlizations of Precupanu's Inequality for Orthornormal Families of Vectors in Inner Product Spaces

abstract: Some genearlizations of Precupanu's inequality for orthornormal families of vectors in real or complex inner product spaces and applications related to Buzano's, Richard's and Kurepa's results are given


title: Synchronous couplings of reflected Brownian motions in smooth domains

abstract: For every bounded planar domain $D$ with a smooth boundary, we define a `Lyapunov exponent' $\Lambda(D)$ using a fairly explicit formula. We consider two reflected Brownian motions in $D$, driven by the same Brownian motion (i.e., a `synchronous coupling'). If $\Lambda(D)>0$ then the distance between the two Brownian particles goes to 0 exponentially fast with rate $\Lambda (D)/(2|D|)$ as time goes to infinity. The exponent $\Lambda(D)$ is strictly positive if the domain has at most one hole. It is an open problem whether there exists a domain with $\Lambda(D)<0$.


title: The topology of T-duality for T^n-bundles

abstract: In string theory, the concept of T-duality between two principal T^n-bundles E_1 and E_2 over the same base space B, together with cohomology classes h_1\in H^3(E_1) and h_2\in H^3(E_2), has been introduced. One of the main virtues of T-duality is that h_1-twisted K-theory of E_1 is isomorphic to h_2-twisted K-theory of E_2. In this paper, a new, very topological concept of T-duality is introduced. We construct a classifying space for pairs as above with additional "dualizing data", with a forgetful map to the classifying space for pairs (also constructed in the paper). On the first classifying space, we have an involution which corresponds to passage to the dual pair, i.e. to each pair with dualizing data exists a well defined dual pair (with dualizing data). We show that a pair (E,h) can be lifted to a pair with dualizing data if an only if h belongs to the second step of the Leray-Serre filtration of E (i.e. not always), and that in general many different lifts exist, with topologically different dual bundles. We establish several properties of the T-dual pairs. In particular, we prove a T-duality isomorphism of degree -n for twisted K-theory.


title: Reconstruction of Convex Bodies from Projection Curvature Radius Function

abstract: In this article we pose the problem of existence and uniqueness of convex body for which the projection curvature radius function coincides with given function. We find a necessary and sufficient condition that ensures a positive answer to both questions and suggest an algorithm of construction of the body. Also we find a representation of the support function of a convex body by projection curvature radii.


title: Towards "dynamic domains": totally continuous cocomplete Q-categories

abstract: It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the dynamics of such a system, the updates of that system organize themselves quite naturally in a quantale, or more generally, a quantaloid. In fact, we are lead to consider cocomplete quantaloid-enriched categories as fundamental mathematical structure for a dynamic logic common to both computer science and physics. Here we explain the theory of totally continuous cocomplete categories as generalization of the well-known theory of totally continuous suplattices. That is to say, we undertake some first steps towards a theory of "dynamic domains''.


title: A lower bound for the number of Reidemeister moves of type III

abstract: We study the number of Reidemeister type III moves using Fox n-colorings of knot diagrams.


title: Asymptotic cohomological functions on projective varieties

abstract: In this paper we define certain analogues of the volume of a divisor - called asymptotic cohomological functions - and investigate their behaviour on the Neron--Severi space. We establish that asymptotic cohomological functions are invariant with respect to the numerical equivalence of divisors, and that they give rise to continuous functions on the real Neron--Severi space. To illustrate the theory, we work out these invariants for abelian varieties, smooth surfaces, and certain homogeneous spaces.


title: Transition from rotating waves to modulated rotating waves on the sphere

abstract: We study non-resonant and resonant Hopf bifurcation of a rotating wave in SO(3)-equivariant reaction-diffusion systems on a sphere. We obtained reduced differential equations on so(3), the characterization of modulated rotating waves obtained by Hopf bifurcation of a rotating wave, as well as results regarding the resonant case. Our main tools are the equivariant center manifold reduction and the theory of Lie groups and Lie algebras, especially for the group SO(3) of all rigid rotations on a sphere.


title: Improved Delsarte bounds for spherical codes in small dimensions

abstract: We present an extension of the Delsarte linear programming method. For several dimensions it yields improved upper bounds for kissing numbers and for spherical codes. Musin's recent work on kissing numbers in dimensions three and four can be viewed in our framework.


title: Singular Polynomials and Modules for the Symmetric Groups

abstract: For certain negative rational numbers k0, called singular values, and associated with the symmetric group S_N on N objects, there exist homogeneous polynomials annihilated by each Dunkl operator when the parameter k = k0. It was shown by de Jeu, Opdam and the author (TAMS 346(1994),237-256) that the singular values are exactly the values m/n with 2<=n<=N, m = 1,2... and m/n is not an integer. For each pair (m,n) satisfying these conditions there is a unique irreducible S_N-module of singular polynomials for the singular value -m/n. The existence of these polynomials was established by the author (IMRN 2004,#67,3607-3635). The uniqueness is proven in the present paper. By using Murphy's (J. Alg. 69(1981), 287-297) results on the eigenvalues of the Murphy elements, the problem of existence of singular polynomials is first restricted to the isotype of a partition of N (corresponding to an irreducible representation of S_N) such that (n/gcd(m,n)) divides t+1 for each part t of the partition except the last one. Then by arguments involving nonsymmetric Jack polynomials it is shown that the assumption that the second part of the partition is greater than or equal to n/gcd(m,n) leads to a contradiction.This shows that the singular polynomials are exactly those already determined.


title: Uniform embeddability of relatively hyperbolic groups

abstract: Let $\Gamma$ be a finitely generated group which is hyperbolic relative to a finite family $\{H_1,...,H_n\}$ of subgroups. We prove that $\Gamma$ is uniformly embeddable in a Hilbert space if and only if each subgroup $H_i$ is uniformly embeddable in a Hilbert space.


title: Several new quadrature formulas for polynomial integration in the triangle

abstract: We present several new quadrature formulas in the triangle for exact integration of polynomials. The points were computed numerically with a cardinal function algorithm which imposes that the number of quadrature points $N$ be equal to the dimension of a lower dimensional polynomial space. Quadrature forumulas are presented for up to degree $d=25$, all which have positive weights and contain no points outside the triangle. Seven of these quadrature formulas improve on previously known results.


title: Goldbug Variations

abstract: This "Mathematical Entertainments" column from the Intelligencer is an exposition of current investigations, rooted in recent work of Jim Propp, into "quasirandom" analogues of random walk and random aggregation processes. Featured are the "Goldbugs" and the "Rotor-router". These are deterministic processes which simulate the random ones, for example having the same limiting states, but with faster convergence. The paper includes three large illustrations, which appear twice in the submission, as both raster image (.png) and postscript (.eps) files. The latter are much larger but needed for latex inclusion; the former are smaller, used by pdflatex, and better for pixel-level viewing.


title: On second order Thom-Boardman singularities

abstract: In this paper we derive closed formulas for the Thom polynomials of two families of second order Thom-Boardman singularities \Sigma^{i,j}. The formulas are given as linear combinations of Schur polynomials, and all coefficients are nonnegative.


title: Synchronous robotic networks and complexity of control and communication laws

abstract: This paper proposes a formal model for a network of robotic agents that move and communicate. Building on concepts from distributed computation, robotics and control theory, we define notions of robotic network, control and communication law, coordination task, and time and communication complexity. We then analyze a number of basic motion coordination algorithms such as pursuit, rendezvous and deployment.


title: Summation of divergent series and Borel summability for strongly dissipative equations with periodic or quasi-periodic forcing terms

abstract: We consider a class of second order ordinary differential equations describing one-dimensional systems with a quasi-periodic analytic forcing term and in the presence of damping. As a physical application one can think of a resistor-inductor-varactor circuit with a periodic (or quasi-periodic) forcing function, even if the range of applicability of the theory is much wider. In the limit of large damping we look for quasi-periodic solutions which have the same frequency vector of the forcing term, and we study their analyticity properties in the inverse of the damping coefficient. We find that already the case of periodic forcing terms is non-trivial, as the solution is not analytic in a neighbourhood of the origin: it turns out to be Borel-summable. In the case of quasi-periodic forcing terms we need Renormalization Group techniques in order to control the small divisors arising in the perturbation series. We show the existence of a summation criterion of the series in this case also, but, however, this can not be interpreted as Borel summability.


title: Uniform Behaviour of the Frobenius closures of ideals generated by regular sequences

abstract: This paper is concerned with ideals in a commutative Noetherian ring $R$ of prime characteristic. The main purpose is to show that the Frobenius closures of certain ideals of $R$ generated by regular sequences exhibit a desirable type of `uniform' behaviour. The principal technical tool used is a result, proved by R. Hartshorne and R. Speiser in the case where $R$ is local and contains its residue field which is perfect, and subsequently extended to all local rings of prime characteristic by G. Lyubeznik, about a left module over the skew polynomial ring $R[x,f]$ (associated to $R$ and the Frobenius homomorphism $f$, in the indeterminate $x$) that is both $x$-torsion and Artinian over $R$.


title: Lattices in finite real reflection groups

abstract: For a finite real reflection group $W$ with Coxeter element $\gamma$ we give a uniform proof that the closed interval, $[I, \gamma]$ forms a lattice in the partial order on $W$ induced by reflection length. The proof involves the construction of a simplicial complex which can be embedded in the type W simplicial generalised associahedron.


title: On Hopf's Lemma and the Strong Maximum Principle

abstract: In this paper we consider Hopf's Lemma and the Strong Maximum Principle for supersolutions to a class of non elliptic equations. In particular we prove a sufficient condition for the validity of Hopf's Lemma and of the Strong Maximum Principle and we give a condition which is at once necessary for the validity of Hopf's Lemma and sufficient for the validity of the Strong Maximum Principle.


title: Equidimensionality of convolution morphisms and applications to saturation problems

abstract: We study the fibers of Mirkovic-Vilonen convolution morphisms. We prove their equidimensionality when all the coweights in question are minuscule, and some related statements. We give applications to saturation problems for structure constants of Hecke and representation rings. An erratum has been added to correct insufficiencies in the proofs of Lemma 9.4 and Corollary 9.5 as they appeared in the published version.


title: Ricci Curvature and Singularities of Constant Scalar Curvature Metrics

abstract: In this work we consider periodic spherically symmetric metrics of constant positive scalar curvature on the n-dimensional cylinder called pseudo-cylindric metrics. These metrics belong to the conformal class $[g_0]$ of the Riemannian product $S^1\times S^{n-1}$ : a circle of length $T$ crossed with the (n-1)-dimensional standard sphere. Such metrics have a harmonic Riemannian curvature and a non parallel Ricci tensor, except for the cylindric one. Thus, it appears a natural link between them and the Derdzinski metrics which are warped product and classify a family of Riemannian manifolds. These two families actually differ by conformal transformations. Moreover, we are interested in the multiplicity problem of the pseudo-cylindric metrics in $[g_0]$. We also study the existence problem and the number of the Derdzinski metrics. Furthermore, we prove that the pseudo-cylindric metrics may be expressed in terms of elliptic functions for the dimension $n = 3,4$ and 6 only, and in terms of automorphic functions for any other dimension. This fact allows us to give new bounds for global estimates. Finally, we examine the curvature of the asymptotic pseudo-cylindric metrics which are complete singular Yamabe metrics on the standard sphere punctured of $k$ points. We show that any of such (non trivial) metric has a non parallel Ricci tensor.


title: Identities in law between quadratic functionals of bivariate Gaussian processes, through Fubini theorems and symmetric projections

abstract: We present three new identities in law for quadratic functionals of conditioned bivariate Gaussian processes. In particular, our results provide a two-parameter generalization of a celebrated identity in law, involving the path variance of a Brownian bridge, due to Watson (1961). The proof is based on ideas from a recent note by J. R. Pycke (2005) and on the stochastic Fubini theorem for general Gaussian measures proved in Deheuvels et al. (2004).


title: The classification of doubly periodic minimal tori with parallel ends

abstract: Let $\mathcal{K}$ be the space of properly embedded minimal tori in quotients of $\R^3$ by two independent translations, with any fixed (even) number of parallel ends. After an appropriate normalization, we prove that $\mathcal{K}$ is a 3-dimensional real analytic manifold that reduces to the finite coverings of the examples defined by Karcher, Meeks and Rosenberg in \cite{ka4,ka6,mr3}. The degenerate limits of surfaces in $\mathcal{K}$ are the catenoid, the helicoid and three 1-parameter families of surfaces: the simply and doubly periodic Scherk minimal surfaces and the Riemann minimal examples.


title: Triangulation et cohomologie \'{e}tale sur une courbe analytique

abstract: Let $k$ be a non-archimedean complete valued field and let X be a smooth Berkovich analytic $k$-curve. Let $F$ be a finite locally constant \'{e}tale sheaf on $k$ whose torsion is prime to the residue characteristic. We denote by $|X|$ the underlying topological space and by $\pi$ the canonical map from the \'{e}tale site to $|X|$. In this text we define a triangulation of $X$, we show that it always exists and use it to compute $H^{0}(|X|,R^{q}\pi\_{*}F)$ and $H^{1}(|X|,R^{q}\pi\_{*}F)$. If $X$ is the analytification of an algebraic curve we give sufficient conditions so that those groups are isomorphic to their algebraic counterparts ; if the cohomology of $k$ has a dualizing sheaf in some degree $d$ (e.g $k$ is $p$-adic, or $k=C((t))$) then we prove a duality theorem between $H^{0}(|X|,R^{q}\pi\_{*}F)$ and $H^{1}\_ {c}(|X|,R^{d+1}\pi\_{*}G)$ where $G$ is the tensor product of the dual sheaf of $F$ with the dualizing sheaf and the sheaf of $n$-th roots of unity.


title: Stein surfaces as open subsets of C^2

abstract: An open subset U of a complex surface can be topologically perturbed to yield an open subset whose inherited complex structure is Stein, if and only if U is homeomorphic to the interior of a handlebody whose handles all have index equal or less than 2.


title: Minimal diagrams of classical knots

abstract: We show that if a classical knot diagram satisfies a certain combinatorial condition then it is minimal with respect to the number of classical crossings. This statement is proved by using the Kauffman bracket and the construction of atoms and knots.


title: Wilson function transforms related to Racah coefficients

abstract: The irreducible $*$-representations of the Lie algebra $su(1,1)$ consist of discrete series representations, principal unitary series and complementary series. We calculate Racah coefficients for tensor product representations that consist of at least two discrete series representations. We use the explicit expressions for the Clebsch-Gordan coefficients as hypergeometric functions to find explicit expressions for the Racah coefficients. The Racah coefficients are Wilson polynomials and Wilson functions. This leads to natural interpretations of the Wilson function transforms. As an application several sum and integral identities are obtained involving Wilson polynomials and Wilson functions. We also compute Racah coefficients for $U_q(\su(1,1))$, which turn out to be Askey-Wilson functions and Askey-Wilson polynomials.


title: Cohomology of lambda-rings

abstract: A cohomology theory for lambda-rings is developed. This is then applied to study deformations of lambda-rings.


title: Loop structures on the homotopy type of S^3 revisited

abstract: We observe that the Rector invariants classifying the genus of BS^3 show up in (orthogonal and unitary) K-theory. We then use this knowledge to show purely algebraically how the K-theory of the spaces in the genus of BS^3 differ. This provides new insights into a result of Notbohm in the case of BS^3.


title: Deformation theory of modules

abstract: Algebraic deformations of modules over a ring are considered. The resulting theory closely resembles Gerstenhaber's deformation theory of associative algebras.


title: On lambda-rings and topological realization

abstract: It is shown that most possibly truncated power series rings admit uncountably many filtered lambda-ring structures. The question of how many of these filtered lambda-ring structures are topologically realizable by the K-theory of torsionfree spaces is also considered for truncated polynomial rings.


title: Hamiltonian 2-forms in Kahler geometry, III Compact examples

abstract: This paper has been withdrawn in order to replace it by two separate submissions: 1. Hamiltonian 2-forms in Kahler geometry III: Extremal metrics and stability, math.DG/0511118; 2. Hamiltonian 2-forms in Kahler geometry IV: Weakly Bochner-flat Kahler manifolds, math.DG/0511119. As the titles indicate, the first paper covers the parts of this withdrawn submission concerning extremal Kahler metrics, while the second one deals the weakly Bochner-flat Kahler metrics. However, the material for the first paper has been substantially revised and extended with several new results. 1. The exposition has been expanded and clarified, and some technical errors and missing arguments have been corrected. 2. A new computation of the modified K-energy is used to obtain a characterization of the admissible Kahler classes which contain an extremal Kahler metric. In particular, these results complete the classification of extremal Kahler metrics on ruled surfaces. 3. The existence of extremal Kahler metrics is related to the notion of relative K-stability leading in particular to some examples of projective varieties which are destabilized by a non-algebraic degeneration. We believe that these results add considerable interest to our work, and go far beyond the original paper, which is why we have chosen to withdraw this paper and post the replacements as new submissions.


title: Cohomology of truncated polynomial lambda-rings

abstract: The lambda-ring cohomology in dimensions 0 and 1 of certain truncated polynomial filtered lambda-rings are computed. The dimension 1 case is related to deformations of lambda-rings.


title: Deformation of algebras over the Landweber-Novikov algebra

abstract: An algebraic deformation theory of algebras over the Landweber-Novikov algebra is obtained.


title: The mean square of weighted multiplicities function

abstract: We define a weighted multiplicity function for closed geodesics of given length on a finite area Riemann surface. These weighted multiplicities appear naturally in the Selberg trace formula, and in particular their mean square plays an important role in the study of statistics of the eigenvalues of the Laplacian on the surface. In the case of the modular domain, E. Bogomolny, F. Leyvraz and C. Schmit gave a formula for the mean square, which was rigorously proved by M. Peter. In this paper we calculate the mean square of weighted multiplicities for some surfaces associated to congruence subgroups of the unit group of a rational quaternion algebra, in particular for congruence subgroups of the modular group. Remarkably, the result turns out to be a rational multiple of the mean square for the modular domain.


title: Plane quartic twists of X(5,3)

abstract: Given an odd representation of the absolute Galois group of Q onto PGL(2,3) and a positive integer N, there exists a twisted modular curve defined over Q whose rational points classify the quadratic Q-curves of degree N realizing the representation. The paper gives a method to provide an explicit plane quartic model for this curve in the genus-three case N=5.


title: Perfect matchings and perfect powers

abstract: In the last decade there have been many results about special families of graphs whose number of perfect matchings is given by perfect or near perfect powers. In this paper we present an approach that allows proving them in a unified way. We use this approach to prove a conjecture of James Propp stating that the number of tilings of the so-called Aztec dungeon regions is a power (or twice a power) of 13. We also prove a conjecture of Matt Blum stating that the number of perfect matchings of a certain family of subgraphs of the square lattice is a power of 3 or twice a power of 3. In addition we obtain multi-parameter generalizations of previously known results, and new multi-parameter exact enumeration results. We obtain in particular a simple combinatorial proof of Bo-Yin Yang's multivariate generalization of fortresses, a result whose previously known proof was quite complicated, amounting to evaluation of the Kasteleyn matrix by explicit row reduction. We also include a new multivariate exact enumeration of Aztec diamonds, in the spirit of Stanley's multivariate version.


title: Sharp Hardy type inequalities on the Carnot Group

abstract: In this paper we establish sharp weighted Hardy type inequalities on the Carnot group with homogeneous dimension $Q\ge 3$.


title: Cohomological dimension theory of compact metric spaces

abstract: This is a detailed introductory survey of the cohomological dimension theory of compact metric spaces.


title: A solution to the L space problem and related ZFC constructions

abstract: In this paper I will construct a non-separable hereditarily Lindelof space (L space) without any additional axiomatic assumptions. I will also show that there is a function f from [omega_1]^2 to omega_1 such that if A,B, subsets of omega_1, are uncountable and x omega_1, then there are a < b in A and B respectively with f(a,b) = x. Previously it was unknown whether such a function existed even if omega_1 was replaced by 2. Finally, I will prove that there is no basis for the uncountable regular Hausdorff spaces of cardinality aleph_1. Each of these results gives a strong refutation of a well known and longstanding conjecture. The results all stem from the analysis of oscillations of coherent sequences {e_i : i < omega_1} of finite-to-one functions. I expect that the methods presented will have other applications as well.


title: A five element basis for the uncountable linear orders

abstract: In this paper I will show that it is relatively consistent with the usual axioms of mathematics (ZFC) together with a strong form of the axiom of infinity (the existence of a supercompact cardinal) that the class of uncountable linear orders has a five element basis. In fact such a basis follows from the Proper Forcing Axiom, a strong form of the Baire Category Theorem. The elements are X, omega_1, omega_1^*, C, C^* where X is any suborder of the reals of cardinality aleph_1 and C is any Countryman line. This confirms a longstanding conjecture of Shelah.


title: Set mapping reflection

abstract: In this note we will discuss a new reflection principle which follows from the Proper Forcing Axiom. The immediate purpose will be to prove that the bounded form of the Proper Forcing Axiom implies both that 2^omega = omega_2 and that L(P(omega_1)) satisfies the Axiom of Choice. It will also be demonstrated that this reflection principle implies that combinatorial principle Square(kappa) fails for all regular kappa > omega_1.


title: The Proper Forcing Axiom, Prikry forcing, and the Singular Cardinals Hypothesis

abstract: The purpose of this paper is to present some results which suggest that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. What will be proved is that a form of simultaneous reflection follows from the Set Mapping Reflection Principle, a consequence of PFA. While the results fall short of showing that MRP implies SCH, it will be shown that MRP implies that if SCH fails first at kappa then every stationary subset of S_{kappa^+}^omega = {a < kappa^+ : cf(a) = omega} reflects. It will also be demonstrated that MRP always fails in a generic extension by Prikry forcing.


title: Transformations of Ramanujan's summation formula and its applications

abstract: In this paper we obtain some new transformation formula for Ramanujan summation formula and also establish some eta-function identities. we also deduce a q-Gamma function identity, n q-integral and some interesting series representation.


title: Quantum cohomology and the k-Schur basis

abstract: We prove that structure constants related to Hecke algebras at roots of unity are special cases of k-Littlewood-Richardson coefficients associated to a product of k-Schur functions. As a consequence, both the 3-point Gromov-Witten invariants appearing in the quantum cohomology of the Grassmannian, and the fusion coefficients for the WZW conformal field theories associated to \hat{su}(\ell) are shown to be k-Littlewood Richardson coefficients. From this, Mark Shimozono conjectured that the k-Schur functions form the Schubert basis for the homology of the loop Grassmannian, whereas k-Schur coproducts correspond to the integral cohomology of the loop Grassmannian. We introduce dual k-Schur functions defined on weights of k-tableaux that, given Shimozono's conjecture, form the Schubert basis for the cohomology of the loop Grassmannian. We derive several properties of these functions that extend those of skew Schur functions.


title: On Estimates of Exponential Sums

abstract: This paper introduces a general technique for estimating the absolute value of pure Gaussian sums of order k over a prime p for a class of composite order k. The new estimate improves the classical estimate by a factor of about 2 or better (depending on k) for all sufficiently large primes p.


title: Sums of powers of consecutive q-integers

abstract: We give the q-analogue of the sums of the n-th powers of positive integers up to k-1.


title: Critical percolation on certain non-unimodular graphs

abstract: An important conjecture in percolation theory is that almost surely no infinite cluster exists in critical percolation on any transitive graph for which the critical probability is less than 1. Earlier work has established this for the amenable cases Z^2 and Z^d for large d, as well as for all non-amenable graphs with unimodular automorphism groups. We show that the conjecture holds for the basic classes of non-amenable graphs with non-unimodular automorphism groups: for decorated trees and the non-unimodular Diestel-Leader graphs. We also show that the connection probability between two vertices decay exponentially in their distance. Finally, we prove that critical percolation on the positive part of the lamplighter group has no infinite clusters.


title: Shortest spanning trees and a counterexample for random walks in random environments

abstract: We construct forests that span $\mathbb{Z}^d$, $d\geq2$, that are stationary and directed, and whose trees are infinite, but for which the subtrees attached to each vertex are as short as possible. For $d\geq3$, two independent copies of such forests, pointing in opposite directions, can be pruned so as to become disjoint. From this, we construct in $d\geq3$ a stationary, polynomially mixing and uniformly elliptic environment of nearest-neighbor transition probabilities on $\mathbb{Z}^d$, for which the corresponding random walk disobeys a certain zero--one law for directional transience.


title: Type II Unprojection

abstract: Answering a question of M. Reid, we define and prove the Gorensteiness of the type II unprojection.


title: Remarks on Type III Unprojection

abstract: Type III unprojection plays a very important role in the birational geometry of Fano threefolds. It was first introduced by A. Corti on his calculations of Fano threefolds of genus 6 and 7. It seems that at present a general definition of the type III unprojection is still missing. After proving some general facts about residual ideals, we propose a definition for the generic Type III unprojection, and prove that it gives a Gorenstein ring.


title: Uniqueness of tangent cones for calibrated 2-cycles

abstract: We prove that tangent cones to 2-dimensional calibrated cycles are unique. Using this result we prove a rate of convergence for the mass of the blow-up of a calibrated integral 2-cycle towards the limiting density. With the same techniques, we can also prove such a rate for J-holomorphic maps between almost complex manifolds and deduce the uniqueness of their tangent maps.


title: The dynamics of maps tangent to the identity and with non-vanishing index

abstract: Let f be a germ of holomorphic self-map of C^2 at the origin O tangent to the identity, and with O as a non-dicritical isolated fixed point. A parabolic curve for f is a holomorphic f-invariant curve, with O on the boundary, attracted by O under the action of f. It has been shown that if the characteristic direction [v] has residual index not belonging to Q^+, then there exist parabolic curves for f tangent to [v]. In this paper we prove, with a different method, that the conclusion still holds just assuming that the residual index is not vanishing (at least when f is regular along [v]).


title: On the generating poset of Schubert cycles and the characterization of Gorenstein property

abstract: The homogeneous coordinate ring of a Schubert variety (a Schubert cycle for short) is an algebra with straightening law generated by a distributive lattice. This paper gives a simple method to study the set of all the join-irreducible elements of this distributive lattice, and gives a simple proof of the criterion of the Gorenstein property of Schubert cycles.


title: Rational moves and tangle embeddings: (2,2)-moves as a case study

abstract: We classify 3-braids up to (2,2)-move equivalence and in particular we show how to adjust the Harikae-Nakanishi-Uchida conjecture so it holds for closed 3-braids. As important steps to classify 3-braids up to (2,2)-move equivalence we prove the conjecture for 2-algebraic links and classify (2,2)-equivalence classes for links up to nine crossings. We analyze the behavior of Kei (involutive quandle) associated to a link under (2,2)-moves. We construct Burnside Kei, Q(m,n), and ask the question, motivated by classical Burnside question: for which values of m and n, is Q(m,n) finite?


title: Relative formality theorem and quantisation of coisotropic submanifolds

abstract: We prove a relative version of Kontsevich's formality theorem. This theorem involves a manifold M and a submanifold C and reduces to Kontsevich's theorem if C=M. It states that the DGLA of multivector fields on an infinitesimal neighbourhood of C is L-infinity-quasiisomorphic to the DGLA of multidifferential operators acting on sections of the exterior algebra of the conormal bundle. Applications to the deformation quantisation of coisotropic submanifolds are given. The proof uses a duality transformation to reduce the theorem to a version of Kontsevich's theorem for supermanifolds, which we also discuss. In physical language, the result states that there is a duality between the Poisson sigma model on a manifold with a D-brane and the Poisson sigma model on a supermanifold without branes (or, more properly, with a brane which extends over the whole supermanifold).


title: On the geometry of p-typical covers in characteristic p

abstract: A p-typical cover of a connected scheme on which p=0 is a finite etale cover whose monodromy group (i.e., the Galois group of its normal closure) is a p-group. The geometry of such covers exhibits some unexpectedly pleasant behaviors; building on work of Katz, we demonstrate some of these. These include a criterion for when a morphism induces an isomorphism of the p-typical quotients of the etale fundamental groups, and a decomposition theorem for p-typical covers of polynomial rings over an algebraically closed field.


title: Groups with non-simply connected asymptotic cones

abstract: We construct a group (an HNN extension of a free group) with polynomial isoperimetric function, linear isodiametric function and non-simply connected asymptotic cones.


title: Foliations with complex leaves and instability for harmonic foliations

abstract: In this paper, we study stability for harmonic foliations on locally conformal K\"ahler manifolds with complex leaves. We also discuss instability for harmonic foliations on compact submanifolds immersed in Euclidean spaces and compact homogeneous spaces.


title: Scattering by magnetic fields

abstract: Consider the scattering amplitude $s(\omega,\omega^\prime;\lambda)$, $\omega,\omega^\prime\in{\Bbb S}^{d-1}$, $\lambda > 0$, corresponding to an arbitrary short-range magnetic field $B(x)$, $x\in{\Bbb R}^d$. This is a smooth function of $\omega$ and $\omega^\prime$ away from the diagonal $\omega=\omega^\prime$ but it may be singular on the diagonal. If $d=2$, then the singular part of the scattering amplitude (for example, in the transversal gauge) is a linear combination of the Dirac function and of a singular denominator. Such structure is typical for long-range scattering. We refer to this phenomenon as to the long-range Aharonov-Bohm effect. On the contrary, for $d=3$ scattering is essentially of short-range nature although, for example, the magnetic potential $A^{(tr)}(x)$ such that ${\rm curl} A^{(tr)}(x)=B(x)$ and $<A^{(tr)}(x),x>=0$ decays at infinity as $|x|^{-1}$ only. To be more precise, we show that, up to the diagonal Dirac function (times an explicit function of $\omega$), the scattering amplitude has only a weak singularity in the forward direction $\omega = \omega^\prime$. Our approach relies on a construction in the dimension $d=3$ of a short-range magnetic potential $A (x)$ corresponding to a given short-range magnetic field $B(x)$.


title: Quantum unique factorisation domains

abstract: We prove a general theorem showing that iterated skew polynomial extensions of the type which fit the conditions needed by Cauchon's deleting derivations theory and by the Goodearl-Letzter stratification theory are unique factorisation rings in the sense of Chatters and Jordan. This general result applies to many quantum algebras; in particular, generic quantum matrices and quantized enveloping algebras of the nilpotent part of a semisimple Lie algebra are unique factorisation domains in the sense of Chatters. By using noncommutative dehomogenisation, the result also extends to generic quantum grassmannians.


title: On the space of injective linear maps from $\bbR^d$ into $\bbR^m$

abstract: In this short note, we investigate some features of the space $\Inject{d}{m}$ of linear injective maps from $\bbR^d$ into $\bbR^m$; in particular, we discuss in detail its relationship with the Stiefel manifold $V_{m,d}$, viewed, in this context, as the set of orthonormal systems of $d$ vectors in $\bbR^m$. Finally, we show that the Stiefel manifold $V_{m,d}$ is a deformation retract of $\Inject{d}{m}$. One possible application of this remarkable fact lies in the study of perturbative invariants of higher-dimensional (long) knots in $\bbR^m$: in fact, the existence of the aforementioned deformation retraction is the key tool for showing a vanishing lemma for configuration space integrals {\`a} la Bott--Taubes (see \cite{BT} for the 3-dimensional results and \cite{CR1}, \cite{C} for a first glimpse into higher-dimensional knot invariants).


title: A remark on K\"ahler forms on symmetric products of Riemann surfaces

abstract: Users of Heegaard Floer homology may be reassured to know that it can be made to conform exactly to the standard analytic pattern of Lagrangian Floer homology. This follows from the following remark, which we prove using an argument of J. Varouchas: the natural singular K\"ahler form $\sym^n(\omega)$ on the $n$th symmetric product of a K\"ahler curve $(\Sigma,\omega)$ admits a cohomologous smoothing to a K\"ahler form which equals $\sym^n(\omega)$ away from a chosen neighbourhood of the diagonal.


title: Homological algebra for Schwartz algebras of reductive p-adic groups

abstract: Let G be a reductive group over a non-Archimedean local field. Then the canonical functor from the derived category of smooth tempered representations of G to the derived category of all smooth representations of G is fully faithful. Here we consider representations on bornological vector spaces. As a consequence, if V and W are two tempered irreducible representations and if V or W is square-integrable, then Ext_G^n(V,W) vanishes for all n>0. We use this to prove in full generality a formula for the formal dimension of square-integrable representations due to Schneider and Stuhler.


title: On Habiro's cyclotomic expansions of the Ohtsuki invariant

abstract: We give a self-contained treatment of Le and Habiro's approach to the Jones function of a knot and Habiro's cyclotomic form of the Ohtsuki invariant for manifolds obtained by surgery around a knot. On the way we reproduce a state sum formula of Garoufalidis and Le for the colored Jones function of a knot. As a corollary, we obtain bounds on the growth of coefficients in the Ohtsuki series for manifolds obtained by surgery around a knot, which support the slope conjecture of Jacoby and the first author.


title: Surface cubications mod flips

abstract: Let $\Sigma$ be a compact surface. We prove that the set of surface cubications modulo flips, up to isotopy, is in one-to-one correspondence with $\Z/2\Z\oplus H_1(\Sigma,\Z/2\Z)$.


title: Numerical Godeaux surfaces with an involution

abstract: Minimal algebraic surfaces of general type with the smallest possible invariants have geometric genus zero and K^2=1 and are usually called "numerical Godeaux surfaces". Although they have been studied by several authors, their complete classification is not known. In this paper we classify numerical Godeaux surfaces with an involution, i.e. with an automorphism of order 2. We prove that they are birationally equivalent either to double covers of Enriques surfaces, or to double planes of two different types: the branch curve either has degree 10 and suitable singularities, originally suggested by Campedelli, or is the union of two lines and a curve of degree 12 with certain singularities. The latter type of double planes are degenerations of examples described by Du Val and their existence was previously unknown; we show some examples of this new type, computing also their torsion group.


title: The Weil-Petersson geometry of the five-times punctured sphere

abstract: We give a new proof that the completion of the Weil-Petersson metric on Teichm\"uller space is Gromov-hyperbolic if the surface is a five-times punctured sphere or a twice-punctured torus. Our methods make use of the synthetic geometry of the Weil-Petersson metric.


title: K-Bessel functions associated to 3-rank Jordan algebra

abstract: Using Bessel-Muirhead system, we can express the K-bessel function defined on a Jordan algebra as linear combination of the J-solutions. We determine explicitly the coefficients when the rank of this Jordan algebra is three after a reduction to the rank two. The main tools are some algebraic identities developed for the occasion.


title: Sigma function solution of the initial value problem for Somos 5 sequences

abstract: The Somos 5 sequences are a family of sequences defined by a fifth order bilinear recurrence relation with constant coefficients. For particular choices of coefficients and initial data, integer sequences arise. By making the connection with a second order nonlinear mapping with a first integral, we prove that the two subsequences of odd/even index terms each satisfy a Somos 4 (fourth order) recurrence. This leads directly to the explicit solution of the initial value problem for the Somos 5 sequences in terms of the Weierstrass sigma function for an associated elliptic curve.


title: Boundary Amenability of Relatively Hyperbolic Groups

abstract: Let K be a fine hyperbolic graph and G be a group acting on K with finite quotient. We prove that G is exact provided that all vertex stabilizers are exact. In particular, a relatively hyperbolic group is exact if all its peripheral groups are exact. We prove this by showing that the group G acts amenably on a compact topological space. We include some applications to the theories of group von Neumann algebras and of measurable orbit equivalence relations.


title: Geometric Algebras

abstract: This is the first paper in a series of eight where in the first three we develop a systematic approach to the geometric algebras of multivectors and extensors, followed by five papers where those algebraic concepts are used in a novel presentation of several topics of the differential geometry of (smooth) manifolds of arbitrary global topology. A key tool for the development of our program is the mastering of the euclidean geometrical algebra of multivectors that is detailed in the present paper.


title: Metric and Gauge Extensors

abstract: In this paper, the second in a series of eight we continue our development of the basic tools of the multivector and extensor calculus which are used in our formulation of the differential geometry of smooth manifolds of arbitrary topology . We introduce metric and gauge extensors, pseudo-orthogonal metric extensors, gauge bases, tetrad bases and prove the remarkable golden formula, which permit us to view any Clifford algebra Cl(V,G) as a deformation of the euclidean Clifford algebra Cl(V,G_{E}) discussed in the first paper of the series and to easily perform calculations in Cl(V,G) using Cl(V,G_{E}).


title: Extensor in Geometric Algebras

abstract: This paper, the third in a series of eight introduces some of the basic concepts of the theory of extensors needed for our formulation of the differential geometry of smooth manifolds . Key notions such as the extension and generalization operators of a given linear operator (a (1,1)-extensor) acting on a real vector space V are introduced and studied in details. Also, we introduce the notion of the determinant of a (1,1)-extensor and the concepts of standard and metric Hodge (star) operators, disclosing a non trivial and useful relation between them.


title: Multivector and Extensor Fields on Smooth Manifolds

abstract: The objective of the present paper (the second in a series of four) is to give a theory of multivector and extensor fields on a smooth manifold M of arbitrary topology based on the powerful geometric algebra of multivectors and extensors. Our approach does not suffer the problems of earlier attempts which are restricted to vector manifolds. It is based on the existence of canonical algebraic structures over the so-called canonical space associated to a local chart (U_{o},phi_{o}) of the maximal atlas of M. The key concepts of a-directional ordinary derivatives of multivector and extensor fields are defined and their properties studied. Also, we introduce the Lie algebra of smooth vector fields and the Hestenes derivatives whose properties are studied in details.


title: Covariant Derivatives of Mutivector and Extensor Fields

abstract: We give in this paper which is the fifth in a series of eight a theory of covariant derivatives of multivector and extensor fields based on the geometric calculus of an arbitrary smooth manifold M, and the notion of a connection extensor field defining a parallelism structure on M. Also we give a novel and intrinsic presentation (i.e., one that does not depend on a chosen orthonormal moving frame) of the torsion and curvature fields of Cartan's theory. Two kinds of Cartan's connection fields are identified, and both appear in the intrinsic Cartan's structure equations satisfied by the Cartan's torsion and curvature extensor fields.


title: Metric Compatible Covariant Derivatives

abstract: This paper, sixth in a series of eight, uses the geometric calculus on manifolds developed in previous papers of the series to introduce through the concept of a metric extensor field g a metric structure for a smooth manifold M. The associated Christoffel operators, a notable decomposition of that object and the associated Levi-Civita connection field are given. The paper introduces also the concept of a geometrical structure for a manifold M as a triple (M,g,gamma), where gamma is a connection extensor field defining a parallelism structure for M . Next, the theory of metric compatible covariant derivatives is given and a relationship between the connection extensor fields and covariant derivatives of two deformed (metric compatible) geometrical structures (M,g,gamma) and (M,eta,gamma') is determined.


title: Derivative Operators in Metric and Geometric Structures

abstract: This paper (the seventh paper in a series of eight) continues the development of our theory of multivector and extensor calculus on smooth manifolds. Here we deal first with the concepts of ordinary Hodge coderivatives, duality identities, and Hodge coderivative identities. Then, we recall the concept of a Levi-Civita geometric structure and the concepts of Levi-Civita and gauge derivatives. New formulas that are important in the Lagrangian theory of multivector adn extensor fields are obtained. We introduce also he concept of covariant Hodge coderivative. We detail how all these concepts are related.


title: A q-analog of Euler's decomposition formula for the double zeta function

abstract: The double zeta function was first studied by Euler in response to a letter from Goldbach in 1742. One of Euler's results for this function is a decomposition formula, which expresses the product of two values of the Riemann zeta function as a finite sum of double zeta values involving binomial coefficients. In this note, we establish a q-analog of Euler's decomposition formula. More specifically, we show that Euler's decomposition formula can be extended to what might be referred to as a ``double q-zeta function'' in such a way that Euler's formula is recovered in the limit as q tends to 1.


title: Clifford and Extensor Calculus and the Riemann and Ricci Extensor Fields in of Deformed Structures

abstract: Here (the last paper in a series of four) we end our presentation of the basics of a systematical approach to the differential geometry of a smooth manifold M (supporting a metric field g and a general connection del) which uses the geometric algebras of multivector and extensors (fields) developed in previous papers. The theory of the Riemann and Ricci fields of the the triple (M,del,g)is investigated to for each particular open set U of M through the introduction of a geometric structure on U, i.e., a triple (U,gamma,g) where gamma is a general connection field on U and g is a metric extensor field associated to g. The relation between geometrical structures related by gauge extensor fields is clarified. These geometries may be said to be deformations one of each other. Moreover we study the important case of a class of deformed Levi-Civita geometrical structures and prove key theorems about them that are important in the formulation of geometric theories of the gravitational field.


title: The Isotopy Problem for Symplectic 4-manifolds

abstract: The purpose of this paper is to present some results on the existence of homologous, nonisotopic symplectic or lagrangian surfaces embedded in a simply connected symplectic 4-dimensional manifold.


title: A New approach to q-zeta function

abstract: We construct the new q-extension of Bernoulli numbers and polynomials in this paper. Finally we consider the q-zeta functions which interpolate the new q-extension of Bernoulli numbers and polynomials.


title: Spectral enrichments of model categories

abstract: We prove that every stable, combinatorial model category has a natural enrichment by symmetric spectra (or more precisely, a natural equivalence class of enrichments). This in some sense generalizes the simplicial enrichments of model categories provided by the Dwyer-Kan hammock localization. As one particular application, we are able to associate to every object of a stable, combinatorial model category a "homotopy endomorphism ring spectrum". The homotopy types of these ring spectra are preserved by Quillen equivalences, and so are an invariant for stable model categories.


title: On sums of three squares

abstract: Let $r_3(n)$ be the number of representations of a positive integer $n$ as a sum of three squares of integers. We give two distinct proofs of a conjecture of Wagon concerning the asymptotic value of the mean square of $r_3(n)$.


title: Linear transports along paths in vector bundles. III. Curvature and torsion

abstract: Curvature and torsion of linear transports along paths in, respectively, vector bundles and the tangent bundle to a differentiable manifold are defined and certain their properties are derived.