title: Higher-genus Gromov-Witten invariants as genus 0 invariants of symmetric products

abstract: I prove a formula expressing the descendent genus g Gromov-Witten invariants of a projective variety X in terms of genus 0 invariants of its symmetric product stack S^{g+1}(X). When X is a point, the latter are structure constants of the symmetric group, and we obtain a new way of calculating the Gromov-Witten invariants of a point.


title: Optical design of two-reflector systems, the Monge-Kantorovich mass transfer problem and Fermat's principle

abstract: It is shown that the problem of designing a two-reflector system transforming a plane wave front with given intensity into an output plane front with prescribed output intensity can be formulated and solved as the Monge-Kantorovich mass transfer problem.


title: Hopf Algebra Equivariant Cyclic Cohomology, K-theory and Index Formulas

abstract: For an algebra B with an action of a Hopf algebra H we establish the pairing between even equivariant cyclic cohomology and equivariant K-theory for B. We then extend this formalism to compact quantum group actions and show that equivariant cyclic cohomology is a target space for the equivariant Chern character of equivariant summable Fredholm modules. We prove an analogue of Julg's theorem relating equivariant K-theory to ordinary K-theory of the C*-algebra crossed product, and characterize equivariant vector bundles on quantum homogeneous spaces.


title: On the Determinant of a Certain Wiener-Hopf + Hankel Operator

abstract: We establish an asymptotic formula for determinants of truncated Wiener-Hopf+Hankel operators with symbol equal to the exponential of a constant times the characteristic function of an interval. This is done by reducing it to the corresponding (known) asymptotics for truncated Toeplitz+Hankel operators. The determinants in question arise in random matrix theory in determining the limiting distribution for the number of eigenvalues in an interval for a scaled Laguerre ensemble of positive Hermitian matrices.


title: On Neumann superlinear elliptic problems

abstract: In this paper we are going to show the existence of a nontrivial solution to the following model problem, \begin{equation*} \left\{\begin{array}{lll} -\Delta (u) = 2uln(1+u^2)+\frac{|u|^2}{1+u^2}2u+u(sin(u)-cos(u)) \mbox{a.e. on } \Omega \frac{\partial u}{\partial \eta} = 0 {a.e. on} \partial \Omega. \end{array} \right. \end{equation*} As one can see the right hand side is superlinear. But we can not use an Ambrosetti-Rabinowitz condition in order to obtain that the corresponding energy functional satisfies (PS) condition. However, it follows that the energy functional satisfies the Cerami (PS) condition.


title: Lift of $C\_\infty$ and $L\_\infty$ morphisms to $G\_\infty$ morphisms

abstract: Let $\g\_2$ be the Hochschild complex of cochains on $C^\infty(\RM^n)$ and $\g\_1$ be the space of multivector fields on $\RM^n$. In this paper we prove that given any $G\_\infty$-structure ({\rm i.e.} Gerstenhaber algebra up to homotopy structure) on $\g\_2$, and any $C\_\infty$-morphism $\phi$ ({\rm i.e.} morphism of commutative, associative algebra up to homotopy) between $\g\_1$ and $\g\_2$, there exists a $G\_\infty$-morphism $\Phi$ between $\g\_1$ and $\g\_2$ that restricts to $\phi$. We also show that any $L\_\infty$-morphism ({\rm i.e.} morphism of Lie algebra up to homotopy), in particular the one constructed by Kontsevich, can be deformed into a $G\_\infty$-morphism, using Tamarkin's method for any $G\_\infty$-structure on $\g\_2$. We also show that any two of such $G\_\infty$-morphisms are homotopic.


title: The study of translational tiling with Fourier Analysis

abstract: This is a survey on the subject of the title corresponding to three lectures I gave in June 2001 at the Workshop on Fourier Analysis and Convexity, at the Universita di Milano-Biccoca.


title: Rationality properties of manifolds containing quasi-lines

abstract: Let X be a complex, rationally connected, projective manifold. We show that X admits a modification X' that contains a quasi-line, ie a smooth rational curve whose normal bundle is a direct sum of copies of O_{P^1}(1). For manifolds containing quasi-lines, a sufficient condition of rationality is exploited: There is a unique quasi-line from a given family passing through two general points. We define a numerical birational invariant, e(X), and prove that X is rational if and only if e(X)=1. If X is rational, there is a modification X' which is strongly-rational We prove that strongly-rational varieties are stable under smooth, small deformations. Finally, we relate the previous results and formal geometry. This relies on \tilde{e}(X,Y), a numerical invariant of a given quasi-line Y that depends only on the formal completion of X along Y. As applications we show various instances in which X is determined by this formal completion. We also formulate a basic question about the birational invariance of \tilde{e}(X,Y).


title: Methods for Computing Normalisations of Affine Rings

abstract: Our main purpose is to give multiple examples for using the available implementations for computing the normalization of an affine ring, computing the minimial generators of the normalization as an algebra over the original ring and integral closures of ideals. Some such examples have been published for Singular, but not for Macaulay 2 and we present both in this paper. We also briefly describe the implementations.


title: Singularites reelles isolees et developpements asymptotiques d'integrales oscillantes

abstract: Let (X_R, 0) be a germ of real analytic subset in (R^N, 0) of pure dimension n+1 with an isolated singularity at 0. Let (f_R,0) : (X_R, 0) --> (R,0) a real analytic germ with an isolated singularity at 0, such that its complexification f_C vanishes on the singular set S of X_C. We also assume that X_R-[0] is orientable. To each $ A \in H^{0}(X_{\mathbb{R}} - \lbrace 0 \rbrace ,\mathbb {C}) $ we associate a $n-$cycle $ \Gamma(A) $ ("explicitly " described) in the complex Milnor fiber of $f_{\mathbb{C}}$ at 0 such that the non trivial terms in the asymptotic expansions of the oscillating integrals $ \int_{A} e^{i\tau f(x)} \phi(x) $ when $ \tau \to \pm \infty $ can be read from the spectral decomposition of $\Gamma(A) $ relative to the monodromy of $f_{\mathbb{C}}$ at 0 .


title: Invariant means and finite representation theory of C*-algebras

abstract: Various subsets of the tracial state space of a unital C*-algebra are studied. The largest of these subsets has a natural interpretation as the space of invariant means. II_1-factor representations of a class of C*-algebras considered by Sorin Popa are also studied. These algebras are shown to have an unexpected variety of II_1-factor representations. This general theory is related to various other problems as well. Applications include: (1) A characterization of R^{\omega}-embeddable factors in terms of Lance's WEP. (2) A classification theorem for certain simple, nuclear C*-algebras with unique trace. (3) For a self-adjoint operator there always exists a filtration such that the finite section method (from numerical analysis) works as well as could be hoped for. (4) New examples of non-tracially AF algebras which answer negatively questions of Sorin Popa and Huaxin Lin.


title: Kerov's central limit theorem for the Plancherel measure on Young diagrams

abstract: Consider random Young diagrams with a fixed number n of boxes, where the probability distribution on diagrams is determined by the Plancherel measure. That is, the weight of a diagram is proportional to the squared dimension of the corresponding irreducible representation of the symmetric group S_n. As n goes to infinity, the boundary of the (suitably scaled) random diagram concentrates near a curve Omega (Logan-Shepp 1977, Vershik-Kerov 1977). In 1993, Kerov announced a central limit theorem describing Gaussian fluctuations of random diagrams around the limit shape Omega. Here we propose a reconstruction of his proof, largely based on Kerov's unpublished work notes (1999). We also discuss a striking similarity between Kerov's result and central limit theorems for random matrices (Diaconis-Shahshahani, Johansson).


title: Morita Equivalence, Picard Groupoids and Noncommutative Field Theories

abstract: In this article we review recent developments on Morita equivalence of star products and their Picard groups. We point out the relations between noncommutative field theories and deformed vector bundles which give the Morita equivalence bimodules.


title: Generic hyperbolicity for the equilibria of the one dimensional parabolic equation

abstract: We show, for some classes of diffusion coefficients that, generically in f, all equilibria of the reaction-diffusion equation u_t = (a(x)u_x)_x + f(u) with homogeneous Neumann boundary conditions are hyperbolic.


title: Subalgebras of the Cuntz C^*-Algebra

abstract: In this paper we exploit the fact that a Cuntz C$^*$-algebra is a groupoid C$^*$-algebra to facilitate the study of non-self-adjoint subalgebras of $O_n$. The Cuntz groupoid is not principal and the spectral theorem for bimodules does not apply in full generality. We characterize the bimodules (over a natural masa) which are determined by their spectra in the Cuntz groupoid; these are exactly the ones which are invariant under the guage automorphisms and exactly the ones which are generated by the Cuntz partial isometries which they contain. We investigate analytic subalgebras of $O_n, n$ finite, by studying cocycles on the Cuntz groupoid. In contrast to AF groupoids, there are no cocycles which are integer valued or bounded and vanish precisely on the natural diagonal. $O_n$ contains a canonical UHF subalgebra; each strongly maximal triangular subalgebra of the UHF subalgebra has an extension to a strongly maximal triangular subalgebra of $O_n$ and each trivially analytic subalgebra of the UHF subalgebra has a proper analytic extension. We also study the Volterra subalgebra of $O_n$. We identify the spectrum of the Volterra subalgebra and use this to prove a theorem of Power that the radical is equal to the closed commutator ideal. We also show that the Volterra subalgebra is maximal triangular but not strongly maximal triangular.


title: The Tate Conjecture for Powers of Ordinary Cubic Fourfolds Over Finite Fields

abstract: Recently N. Levin (Comp. Math. 127 (2001), 1--21) proved the Tate conjecture for ordinary cubic fourfolds over finite fields. In this paper we prove the Tate conjecture for self-products of ordinary cubic fourfolds. Our proof is based on properties of so called polynomials of K3 type introduced by the author (Duke Math. J. 72 (1993), 65--83).


title: Mappings between real submanifolds in complex space

abstract: In this paper I survey some recent results on finite determination, convergence, and approximation of formal mappings between real submanifolds in complex spaces. A number of conjectures are also given.


title: On the calculation of UNil

abstract: Cappell's codimension 1 splitting obstruction surgery group UNil_n(R;R,R) of a ring with involution R is a direct summand of the Wall surgery obstruction group L_n(R[D_{\infty}]) of the amalgamated free product R[D_{\infty}] = R[Z_2]*_RR[Z_2], with D_{\infty}=Z_2*Z_2 the infinite dihedral group. We use the quadratic Poincar\'e cobordism formulation of the L-groups to prove that L_n(R[x]) = L_n(R)\oplus UNil_n(R;R,R), with \bar{x} = x . We combine this with M. Weiss' universal chain bundle theory to produce almost complete calculations of UNil_*(Z;Z,Z) and L_*(Z[D_{\infty}]).


title: Stability of Arakelov bundles and tensor products without global sections

abstract: This paper deals with Arakelov vector bundles over an arithmetic curve, i.e. over the set of places of a number field. The main result is that for each semistable bundle E, there is a bundle F such that $E \otimes F$ has at least a certain slope, but no global sections. It is motivated by an analogous theorem of Faltings for vector bundles over algebraic curves and contains the Minkowski-Hlawka theorem on sphere packings as a special case. The proof uses an adelic version of Siegel's mean value formula.


title: Ergodic Banach Spaces

abstract: We show that any Banach space contains a continuum of non isomorphic subspaces or a minimal subspace. We define an ergodic Banach space $X$ as a space such that $E_0$ Borel reduces to isomorphism on the set of subspaces of $X$, and show that every Banach space is either ergodic or contains a subspace with an unconditional basis $ which is complementably universal for the family of its block-subspaces. We also use our methods to get uniformity results; for example, in combination with a result of B. Maurey, V. Milman and N. Tomczak-Jaegermann, we show that an unconditional basis of a Banach space, of which every block-subspace is complemented, must be asymptotically $c_0$ or $l_p$.


title: Critical cardinalities and additivity properties of combinatorial notions of smallness

abstract: Motivated by the minimal tower problem, an earlier work studied diagonalizations of covers where the covers are related to linear quasiorders (tau-covers). We deal with two types of combinatorial questions which arise from this study. 1. Two new cardinals introduced in the topological study are expressed in terms of well known cardinals characteristics of the continuum. 2. We study the additivity numbers of the combinatorial notions corresponding to the topological diagonalization notions. This gives new insights on the structure of the eventual dominance ordering on the Baire space, the almost inclusion ordering on the Rothberger space, and the interactions between them.


title: Affine Krichever-Novikov algebras, their representations and applications

abstract: The survey of the current state of the theory of Krichever-Novikov algebras including new results on local central extensions, invariants, representations and casimir operators.


title: Euler's constant, q-logarithms, and formulas of Ramanujan and Gosper

abstract: The aim of the paper is to relate computational and arithmetic questions about Euler's constant $\gamma$ with properties of the values of the $q$-logarithm function, with natural choice of $q$. By these means, we generalize a classical formula for $\gamma$ due to Ramanujan, together with Vacca's and Gosper's series for $\gamma$, as well as deduce irrationality criteria and tests and new asymptotic formulas for computing Euler's constant. The main tools are Euler-type integrals and hypergeometric series.


title: Holomorphic forms on threefolds

abstract: Two conjectures relating the Kodaira dimension of a smooth projective variety and existence of number of nowhere vanishing 1-forms on the variety are proposed and verified in dimension 3.


title: Mesures et \'equidistribution sur les espaces de Berkovich

abstract: The proof by Ullmo and Zhang of Bogomolov's conjecture about points of small height in abelian varieties made a crucial use of an equidistribution property for ``small points'' in the associated complex abelian variety. We study the analogous equidistribution property at $p$-adic places. Our results can be conveniently stated within the framework of the analytic spaces defined by Berkovich. The first one is valid in any dimension but is restricted to ``algebraic metrics'', the second one is valid for curves, but allows for more general metrics, in particular to the normalized heights with respect to dynamical systems.


title: The minimal cardinality where the Reznichenko property fails

abstract: A topological space X$ has the Frechet-Urysohn property if for each subset A of X and each element x in the closure of A, there exists a countable sequence of elements of A which converges to x. Reznichenko introduced a natural generalization of this property, where the converging sequence of elements is replaced by a sequence of disjoint finite sets which eventually intersect all neighborhoods of x. In their paper, Kocinac and Scheepers conjecture that the minimal cardinality of a set X of real numbers such that C_p(X) does not have the weak Frechet-Urysohn property is equal to b. (b is the minimal cardinality of an unbounded family in the Baire space). We prove the Kocinac-Scheepers conjecture by showing that if C_p(X) has the Reznichenko property, then a continuous image of X cannot be a subbase for a non-feeble filter on the natural numbers.


title: Quantum automorphism groups of small metric spaces

abstract: To any finite metric space $X$ we associate the universal Hopf $\c^*$-algebra $H$ coacting on $X$. We prove that spaces $X$ having at most 7 points fall into one of the following classes: (1) the coaction of $H$ is not transitive; (2) $H$ is the algebra of functions on the automorphism group of $X$; (3) $X$ is a simplex and $H$ corresponds to a Temperley-Lieb algebra; (4) $X$ is a product of simplexes and $H$ corresponds to a Fuss-Catalan algebra.


title: Enrichment as Categorical Delooping I: Enrichment Over Iterated Monoidal Categories

abstract: The 2-category V-Cat of categories enriched over a braided monoidal category V is not itself braided in any way that is based upon the braiding of V. The exception is the case in which V is symmetric, which leads to V-Cat being symmetric as well. This paper describes how these facts are related to a categorical analogue of topological delooping. It seems that the analogy of loop spaces is a good guide for how to define the concept of enrichment over various types of monoidal objects, including k-fold monoidal categories and their higher dimensional counterparts. The main result is that for V a k-fold monoidal category, V-Cat becomes a (k-1)-fold monoidal 2-category in a canonical way. I indicate how this process may be iterated by enriching over V-Cat, along the way defining the 3-category of categories enriched over V-Cat.


title: Representations of the fundamental group of a closed oriented surface in Sp(4,R)

abstract: We classify the connected components of the space of representations of the fundamental group of a closed oriented surface of genus $\geq 2$ in $Sp(4,{\mathbf R})$. We prove that this is equivalent to classifying the connected components of the moduli space of representations (which consists of conjugacy classes of reductive representations). We then continue the analysis initiated by Gothen in math/9904114, relying on: (1) the relation between our moduli space of representations and the moduli space of certain (polystable) analogues of Higgs bundles (which follows essentially from work of Hitchin, Simpson and Corlette) and (2) the existence of a proper function on the moduli space whose set of local minima can be identified with the moduli space $N$ of (polystable) quadratic bundles of rank 2; we finally deduce our result from the classification of the connected components of $N$.


title: Bernoulli numbers and the probability of a birthday surprise

abstract: A birthday surprise is the event that, given k uniformly random samples from a sample space of size n, at least two of them are identical. We show that Bernoulli numbers can be used to derive arbitrarily exact bounds on the probability of a birthday surprise. This result can be used in arbitrary precision calculators, and it can be applied to better understand some questions in communication security and pseudorandom number generation.


title: Bounded geodesics in moduli space

abstract: In the moduli space of quadratic differentials over complex structures on a surface, we construct a set of full Hausdorff dimension of points with bounded Teichm\"uller geodesic trajectories.The main tool is quantitative nondivergence of Teichm\"uller horocycles, due to Minsky and Weiss. This has an application to billiards in rational polygons.


title: Mod p classification of Shimura F-crystals

abstract: Let $k$ be an algebraically closed field of positive characteristic $p$. We first classify the $D$-truncations mod $p$ of Shimura $F$-crystals over $k$ and then we study stratifications defined by inner isomorphism classes of these $D$-truncations. This generalizes previous works of Kraft, Ekedahl, Oort, Moonen, and Wedhorn. As a main tool we introduce and study Bruhat $F$-decompositions; they generalize the combined form of Steinberg theorem and of classical Bruhat decompositions for reductive groups over $k$.


title: Manifolds with non-stable fundamental groups at infinity, II

abstract: In this paper we continue an earlier study of ends non-compact manifolds. The over-arching goal is to investigate and obtain generalizations of Siebenmann's famous collaring theorem that may be applied to manifolds having non-stable fundamental group systems at infinity. In this paper we show that, for manifolds with compact boundary, the condition of inward tameness has substatial implications for the algebraic topology at infinity. In particular, every inward tame manifold with compact boundary has stable homology (in all dimensions) and semistable fundamental group at each of its ends. In contrast, we also construct examples of this sort which fail to have perfectly semistable fundamental group at infinity. In doing so, we exhibit the first known examples of open manifolds that are inward tame and have vanishing Wall finiteness obstruction at infinity, but are not pseudo-collarable.


title: Notes on topological vector spaces

abstract: These are some informal notes concerning topological vector spaces, with a brief overview of background material and basic notions, and emphasis on examples related to classical analysis.


title: Classification of Quasifinite Modules over the Lie Algebras of Weyl Type

abstract: For a nondegenerate additive subgroup $G$ of the $n$-dimensional vector space $F^n$ over an algebraically closed field $F$ of characteristic zero, there is an associative algebra and a Lie algebra of Weyl type $W(G,n)$ spanned by all differential operators $u D_1^{m_1}... D_n^{m_n}$ for $u\in F[G]$ (the group algebra), and $m_1,...,m_n \ge 0$, where $D_1, ...,D_n$ are degree operators. In this paper, it is proved that an irreducible quasifinite $W(\Z,1)$-module is either a highest or lowest weight module or else a module of the intermediate series; furthermore, a classification of uniformly bounded $W(\Z,1)$-modules is completely given. It is also proved that an irreducible quasifinite $W(G,n)$-module is a module of the intermediate series and a complete classification of quasifinite $W(G,n)$-modules is also given, if $G$ is not isomorphic to $\Z$.


title: Some representations of nongraded Lie algebras of generalized Witt type

abstract: In a paper by Xu, some simple Lie algebras of generalized Cartan type were constructed, using the mixtures of grading operators and down-grading operators. Among them, are the simple Lie algebras of generalized Witt type, which are in general nongraded and have no torus. In this paper, some representations of these simple Lie algebras of generalized Witt type are presented.


title: Z x Z-graded Lie algebras generated by the Virasoro algebra and $sl_2$

abstract: The present paper is another step toward the classification of $\Z\times\Z$-graded Lie algebras: we classify $\Z\times\Z$-graded Lie algebras $A=\oplus_{i,j\in\Z}A_{i,j}$ over a field $F$ of characteristic 0 with dim $A_{i,j}\le1$ for $i,j\in\Z$, satisfying: (1) $\AA_0=\oplus_{i\in \Z}\AA_{i,0}$ is isomorphic to the centerless Virasoro algebra, (2) $A_{0,-1},A_{0,0},A_{0,1}$ span the 3-dimensional simple Lie algebra $sl_2$, (3) $A$ is generated by the centerless Virasoro algebra and $sl_2$. These algebras include some rank 2 centerless Virasoro algebras, and some rank 2 Block algebras and their extensions.


title: Generalized Virasoro and Super-Virasoro Algebras and Modules of the Intermediate Series

abstract: Generalized Virasoro algebras (defined as the universal central extension of some generalized Witt algebras) and super-Virasoro algebras and modules of the intermediate series are studied and discussed.


title: Simple Modules Over the Higher Rank Super-Virasoro Algebras

abstract: It is proved that uniformly bounded simple modules over higher rank super-Virasoro algebras are modules of the intermediate series, and that simple modules with finite dimensional weight spaces are either modules of the intermediate series or generalized highest weight modules.


title: Higher derived brackets and homotopy algebras

abstract: We give a construction of homotopy algebras based on ``higher derived brackets''. More precisely, the data include a Lie superalgebra with a projector on an Abelian subalgebra satisfying a certain axiom, and an odd element $\Delta$. Given this, we introduce an infinite sequence of higher brackets on the image of the projector, and explicitly calculate their Jacobiators in terms of $\Delta^2$. This allows to control higher Jacobi identities in terms of the ``order'' of $\Delta^2$. Examples include Stasheff's strongly homotopy Lie algebras and variants of homotopy Batalin--Vilkovisky algebras. There is a generalization with $\D$ replaced by an arbitrary odd derivation. We discuss applications and links with other constructions.


title: Discriminant of a generic projection of a minimal normal surface singularity

abstract: Let $(S,0)$ be a rational complex surface singularity with reduced fundamental cycle, also known as a {\em minimal} singularity. Using a fundamental result by M. Spivakovsky, we explain how to get a minimal resolution of the discriminant curve for a generic projection of $(S,0)$ onto $(\C^2,0)$ directly from the resolution graph of $(S,0)$.


title: General elements of an m-primary ideal on a normal surface singularity

abstract: In this paper, we show how to apply a theorem by L\^e D.T. and the author about linear families of curves on normal surface singularities to get new results in this area. The main concept used is a specific definition of {\em general elements} of an ideal in the local ring of the surface. We make explicit the connection between this notion and the elementary notion of general element of a linear pencil, through the use of {\em reduction}. This allows us to prove the invariance of the generic Milnor number (resp. of the multiplicity of the discriminant), between two pencils generating two ideals with the same integral closure (resp. the projections associated). We also show that our theorem, applied in two special cases, on the one hand completes a theorem by Snoussi on the limits of tangent hyperplanes, and on the other hand gives an algebraic $\mu$-constant theorem in linear families of planes curves.


title: Efficient Determination of Gibbs Estimators with Submodular Energy Functions

abstract: Combinatorial algorithms for minimization of functions of many variables, which take their values in finite totally ordered sets, are developed. For that the decomposition of the functions by Boolean polynomials is used. The modified SFM algorithm for minimization of submodular Boolean polynomials is described. The representation of some subclass of submodular Boolean polynomials by graphs is derived in order to make possible use of the graph cut technique.


title: On the curvature of tensor product connections and covariant differentials

abstract: We give coordinate formula and geometric description of the curvature of the tensor product connection of linear connections on vector bundles with the same base manifold. We define the covariant differential of geometric fields of certain types with respect to a pair of a linear connection on a vector bundle and a linear symmetric connection on the base manifold. We prove the generalized Bianchi identity for linear connections and we prove that the antisymmetrization of the second order covariant differential is expressed via the curvature tensors of both connections.


title: Positive mass theorem for the Yamabe problem on spin manifolds

abstract: Let $(M,g)$ be a compact connected spin manifold of dimension $n\geq 3$ whose Yamabe invariant is positive. We assume that $(M,g)$ is locally conformally flat or that $n \in \{3,4,5\}$. According to a positive mass theorem of Witten, the constant term in the asymptotic development of the Green's function of the conformal Laplacian is positive if $(M,g)$ is not conformally equivalent to the sphere. In the present article, we will give a proof for this fact which is considerably shorter than previous proofs. Our proof is a modification of Witten's argument, but no analysis on asymtotically flat spaces is needed.


title: Pseudodifferential operators on manifolds with a Lie structure at infinity

abstract: Several examples of non-compact manifolds $M_0$ whose geometry at infinity is described by Lie algebras of vector fields $V \subset \Gamma(TM)$ (on a compactification of $M_0$ to a manifold with corners $M$) were studied by Melrose and his collaborators. In math.DG/0201202 and math.OA/0211305, the geometry of manifolds described by Lie algebras of vector fields -- baptised "manifolds with a Lie structure at infinity" there -- was studied from an axiomatic point of view. In this paper, we define and study the algebra $\Psi_{1,0,\VV}^\infty(M_0)$, which is an algebra of pseudodifferential operators canonically associated to a manifold $M_0$ with the Lie structure at infinity $V \subset\Gamma(TM)$. We show that many of the properties of the usual algebra of pseudodifferential operators on a compact manifold extend to $\Psi_{1,0,V}^\infty(M_0)$. We also consider the algebra $\DiffV{*}(M_0)$ of differential operators on $M_0$ generated by $V$ and $\CI(M)$, and show that $\Psi_{1,0,V}^\infty(M_0)$ is a ``microlocalization'' of $\DiffV{*}(M_0)$. Finally, we introduce and study semi-classical and ``suspended'' versions of the algebra $\Psi_{1,0,V}^\infty(M_0)$. Our construction solves a problem posed by Melrose in his talk at the ICM in Kyoto.


title: Local spectra of operator weighted shifts

abstract: In this paper, we study the local spectral properties of unilateral operator weighted shifts.


title: Densit\'e de points et minoration de hauteur

abstract: We obtain a lower bound for the normalised height of a non-torsion subvariety $V$ of a C.M. abelian variety. This lower bound is optimal in terms of the geometric degree of $V$, up to a power of a ``log''. We thus extend the results of F. Amoroso and S. David on the same problem on a multiplicative group $\mathbb{G}_m^n$. We prove furthermore that the optimal lower bound (conjectured by S. David and P. Philippon) is a corollary of the conjecture of S. David and M. Hindry on the abelian Lehmer's problem. We deduce these results from a density theorem on the non-torsion points of $V$.


title: Conjugacy Class Properties of the Extension of GL(n,q) Generated by the Inverse Tranpose Involution

abstract: Letting tau denote the inverse transpose automorphism of GL(n,q), a formula is obtained for the number of g in GL(n,q) so that gg^{tau} is equal to a given element h. This generalizes a result of Gow and Macdonald for the special case that h is the identity. We conclude that for g random, gg^{tau} behaves like a hybrid of symplectic and orthogonal groups. It is shown that our formula works well with both cycle index generating functions and asymptotics, and is related to the theory of random partitions. The derivation makes use of models of representation theory of GL(n,q) and of symmetric function theory, including a new identity for Hall-Littlewood polynomials. We obtain information about random elements of finite symplectic groups in even characteristic, and explicit bounds for the number of conjugacy classes and centralizer sizes in the extension of GL(n,q) generated by the inverse transpose automorphism. We give a second approach to these results using the theory of bilinear forms over a field. The results in this paper are key tools in forthcoming work of the authors on derangements in actions of almost simple groups, and we give a few examples in this direction.


title: Picard groups in Poisson geometry

abstract: We study isomorphism classes of symplectic dual pairs P <- S -> P-, where P is an integrable Poisson manifold, S is symplectic, and the two maps are complete, surjective Poisson submersions with connected and simply-connected fibres. For fixed P, these Morita self-equivalences of P form a group Pic(P) under a natural ``tensor product'' operation. We discuss this group in several examples and study variants of this construction for rings (the origin of the notion of Picard group), Lie groupoids, and symplectic groupoids.


title: Random Surfaces

abstract: We study "random surfaces," which are random real (or integer) valued functions on Z^d. The laws are determined by convex, nearest neighbor, difference potentials that are invariant under translation by a full-rank sublattice L of Z^d; they include many discrete and continuous height models (e.g., domino tilings, square ice, the harmonic crystal, the Ginzburg-Landau grad-phi interface model, the linear solid-on-solid model) as special cases. A gradient phase is an L-ergodic gradient Gibbs measure with finite specific free energy. A gradient phase is smooth if it is the gradient of an ordinary Gibbs measure; otherwise it is rough. We prove a variational principle--characterizing gradient phases of a given slope as minimizers of the specific free energy--and an empirical measure large deviations principle (with a unique rate function minimizer) for random surfaces on mesh approximations of bounded domains. Using a geometric technique called "cluster swapping" (a variant of the Swendsen-Wang update for Fortuin-Kasteleyn clusters), we also prove that the surface tension is strictly convex and that if u is in the interior of the space of finite-surface tension slopes, then there exists a minimal energy gradient phase mu_u of slope u. This mu_u is always unique for real valued random surfaces. In the discrete models, mu_u is unique if at least one of the following holds: d is in {1, 2}, there exists a rough gradient phase of slope u, or u is irrational. When d=2, the slopes of all smooth phases (a.k.a. crystal facets) lie in the dual lattice of L.


title: Absolute bounds on the number of generators of Cohen-Macaulay ideals of height at most 2

abstract: For a Noetherian local domain $A$, there exists an upper bound $N_\tau(A)$ on the minimal number of generators of any height two ideal $I$ for which $A/I$ is Cohen-Macaulay of type $\tau$. More precisely, we may take $N_\tau(A):=(\tau+1)e_{\text{h}}(A)$, where $e_{\text{h}}(A)$ is the homological multiplicity of $A$.


title: On the vanishing of Tor of the absolute integral closure

abstract: Let $R$ be an excellent local domain of positive characteristic with residue field $k$ and let $R^+$ be its absolute integral closure. If $\text{Tor}^R_1(R^+,k)$ vanishes, then $R$ is Cohen-Macaulay, normal, F-rational and F-pure. If $R$ has at most an isolated singularity or has dimension at most two, then $R$ is regular.


title: Contact Angle for Immersed Surfaces in $S^{2n+1}$

abstract: In this paper we introduce the notion of contact angle. We deduce formulas for Laplacian and Gaussian curvature of a minimal surface in $S^{2n+1}$ and give a characterization of the generalized Clifford Torus as the only non-legendrian minimal surface in $S^5$ with constant Contact and Kaehler angles.


title: The monoidal centre as a limit

abstract: The centre of a monoidal category is a braided monoidal category. Monoidal categories are monoidal objects (or pseudomonoids) in the monoidal bicategory of categories. This paper provides a universal construction in a braided monoidal bicategory that produces a braided monoidal object from any monoidal object. Some properties and sufficient conditions for existence of the construction are examined.


title: On the Isomorphism Problem of {\bf p}-Endomorphisms

abstract: This thesis extends the Hoffman-Rudolph tvwB criterion defined for uniformly p-to-1 endomorphisms to show that it still gives a sufficient condition for a given $\bf p$-endomorphism to be one-sided Bernoulli. We also prove that given any two tvwB group extensions of the one-sided $\bf p$-shift, we can find an isomorphism preserving the natrual $\mathbb N \times G$-actions.


title: Bunches of cones in the divisor class group -- A new combinatorial language for toric varieties

abstract: As an alternative to the description of a toric variety by a fan in the lattice of one parameter subgroups, we present a new language in terms of what we call bunches -- these are certain collections of cones in the vector space of rational divisor classes. The correspondence between these bunches and fans is based on classical Gale duality. The new combinatorial language allows a much more natural description of geometric phenomena around divisors of toric varieties than the usual method by fans does. For example, the numerically effective cone and the ample cone of a toric variety can be read off immediately from its bunch. Moreover, the language of bunches appears to be useful for classification problems.


title: Stability of nonlinear filters in nonmixing case

abstract: The nonlinear filtering equation is said to be stable if it ``forgets'' the initial condition. It is known that the filter might be unstable even if the signal is an ergodic Markov chain. In general, the filtering stability requires stronger signal ergodicity provided by the, so called, mixing condition. The latter is formulated in terms of the transition probability density of the signal. The most restrictive requirement of the mixing condition is the uniform positiveness of this density. We show that it might be relaxed regardless of an observation process structure.


title: Generalized Albanese morphisms

abstract: We define generalizations of the Albanese variety for a projective variety X. The generalized Albanese morphisms X --> Alb_r(X) contract those curves C in X for which the induced morphism Hom(\pi_1(X),U(r)) --> Hom(\pi_1(C),U(r)) has a finite image. Thus, they may be interpreted as a U(r)-version of the Shafarevich morphism.


title: The Cameron-Erdos Conjecture

abstract: A set A of integers is said to be sum-free if there are no solutions to the equation x + y = z with x,y and z all in A. Answering a question of Cameron and Erdos, we show that the number of sum-free subsets of {1,...,N} is O(2^(N/2)).


title: Minimal and maximal elements in Kazhdan-Lusztig double sided cells of $S_n$ and Robinson-Schensted correspondance

abstract: In symmetric groups, a two-sided cell is the set of all permutations which are mapped by the Robinson-Schensted correspondence on a pair of tableaux of the same shape. In this article, we show that the set of permutations in a two-sided cell which have a minimal number of inversions is the set of permutations which have a maximal number of inversions in conjugated Young subgroups. We also give an interpretation of these sets with particular tableaux, called reading tableaux. As corollary, we give the set of elements in a two-sided cell which have a maximal number of inversions.


title: Sextic surfaces with ten triple points

abstract: All families of sextic surfaces with the maximal number of isolated triple points are found.


title: Knot theory for self-indexed graphs

abstract: We introduce and study so-called self-indexed graphs. These are (oriented) finite graphs endowed with a map from the set of edges to the set of vertices. Such graphs naturally arise from classical knot and link diagrams. In fact, the graphs resulting from link diagrams have an additional structure, an integral flow. We call a self-indexed graph with integral flow a comte. The analogy with links allows us to define transformations of comtes generalizing the Reidemeister moves on link diagrams. We show that many invariants of links can be generalized to comtes, most notably the linking number, the Alexander polynomials, the link group, etc. We also discuss finite type invariants and quandle cocycle invariants of comtes.


title: Sequences related to the Pell generalized equation

abstract: We consider sequences of the type $A_n=6A_{n-1}-A_{n-2}, A_0=r, A_1=s$ ($r$ and $s$ integers) and show that all sequences that solve particular cases of the Pell generalized equation are expressible as a constant times one of four particular sequences of the same type.


title: Algebraic K-theory view on KK-theory

abstract: Let a compact group G act on real or complex C*-algebras A and B, with A separable and B sigma-unital. We express the G-equivariant Kasparov groups KK_n(A,B) by algebraic K-groups of a certain additive category.


title: On the notion of geometric realization

abstract: We explain why geometric realization commutes with Cartesian products and why the geometric realization of a simplicial set (resp. cyclic set) is equipped with an action of the group of orientation preserving homeomorphisms of the segment [0,1] (resp. the circle). Our approach is very similar to that of A. Besser and D. Grayson.


title: On approximation of topological groups by finite algebraic systems. II

abstract: Recall that a locally compact group G is called unimodular if the left Haar measure on G is equal to the right one. It is proved in this paper that G is unimodular iff it is approximable by finite quasigroups (Latin squares).


title: Symplectic Resolutions for Symmetric Products of Surfaces

abstract: Let $S$ be a smooth complex connected analytic surface which admits a holomorphic symplectic structure. Let $S^{(n)}$ be its $n$th symmetric product. We prove that every projective symplectic resolution of $S^{(n)}$ is isomorphic to the Douady-Barlet resolution $S^{[n]} \to S^{(n)}$.


title: Generalized Sprays and Nonlinear Connections

abstract: The main purposes of this article are to extend our previous results on homogeneous sprays to arbitrary (generalized) sprays, to show that locally diffeomorphic exponential maps can be defined for any (generalized) spray, and to give a (possibly nonlinear) covariant derivative for any (possibly nonlinear) connection. In the process, we introduce vertically homogeneous connections. Unlike homogeneous connections, these allow us to include Finsler spaces among the applications. We provide significant support for the prospect of studying nonlinear connections via (generalized) sprays. One of the most important is our generalized APS correspondence.


title: Locally trivial principal homogeneous spaces and conjugacy theorems for Lie algebras

abstract: For g a split semisimple Lie algebra over a field of characteristic 0, we link locally trivial principal homogeneous spaces over Spec(R) to the question of conjugacy of maximal abelian diagonalizable subalgebras of g(R).


title: Darboux-Halphen-Brioshi system with rank four

abstract: We will determine the condition that a homogeneous quadratic equation with rank four becomes the Darboux-Halphen-Brioshi system in terms of the associated non-associative algebra.


title: Vanishing and non-vanishing criteria in Schubert calculus

abstract: For any complex reductive connected Lie group G, many of the structure constants of the ordinary cohomology ring H^*(G/B; Z) vanish in the Schubert basis, and the rest are strictly positive. We present a combinatorial game, the ``root game'', which provides some criteria for determining which of the Schubert intersection numbers vanish. The definition of the root game is manifestly invariant under automorphisms of G, and under permutations of the classes intersected. Although these criteria are not proven to cover all cases, in practice they work very well, giving a complete answer to the question for G=SL(7,C). In a separate paper we show that one of these criteria is in fact necessary and sufficient when the classes are pulled back from a Grassmannian. More generally If G' -> G is an inclusion of complex reductive connected Lie groups, there is an induced map H^*(G/B) -> H^*(G'/B') on the cohomology of the homogeneous spaces. The image of a Schubert class under this map is a positive sum of Schubert classes on G'/B'. We investigate the problem of determining which Schubert classes appear with non-zero coefficient. This is the vanishing problem for branching Schubert calculus, which plays an important role in representation theory and symplectic geometry, as shown in [Berenstein-Sjamaar 2000]. The root game generalises to give a vanishing criterion and a non-vanishing criterion for this problem.


title: Structure of the Lie algebras related to those of block

abstract: We determine the isomorphism classes of the first family of infinite dimensional simple Lie algebras recently introduced by Xu. The structure space of these algebras is given explicitly. The derivations of these algebras are also determined.


title: Derivations and structure of the Lie algebras of Xu type

abstract: We determine the derivation algebras and the isomorphism classes of a family of the simple Lie algebras introduced recently by Xu [Manuscripta Math 100 (1999), 489-518]. The structure space of these algebras is given explicitly.


title: Poisson brackets and structure of nongraded Hamiltonian Lie algebras related to locally-finite derivations

abstract: A class of nongraded Hamiltonian Lie algebras was earlier introduced by Xu. These Lie algebras have a Poisson bracket structure. In this paper, the isomorphism classes of these Lie algebras are determined by employing a ``sandwich'' method and by studying some features of these Lie algebras. It is obtained that two Hamiltonian Lie algebras are isomorphic if and only if their corresponding Poisson algebras are isomorphic. Furthermore, the derivation algebras and the second cohomology groups are determined.


title: Classification of Harish-Chandra Modules over the Higher Rank Virasoro Algebras

abstract: It is obtained that an irreducible weight module with finite weight multiplicities over a higher rank Virasoro or super-Virasoro algebra is either a module of the intermediate series, or a so-called finitely-dense module.


title: Simple Lie Color Algebras of Weyl Type

abstract: For an $(\epsilon,G)$-color-commutative associative algebra $A$ with an identity element over a field $F$ of characteristic not 2, and for a color-commutative subalgebra $D$ of color-derivations of $A$, denote by $A[D]$ the associative subalgebra of ${\rm End}(A)$ generated by $A$ (regarding as operators on $A$ via left multiplication) and $D$. It is easily proved that, as an associative algebra, $A[D]$ is $G$-graded simple if and only if $A$ is $\G$-graded $D$-simple. Suppose $A$ is $\G$-graded $D$-simple. Then, (a) $A[D]$ is a free left $A$-module; (b) as a Lie color algebra, the subquotient $[A[D],A[D]]/Z(A[D])\cap[A[D],A[D]]$ is simple (except one minor case), where $Z(A[D])$ is the color center of $A[D]$. The structure of this subquotient is explicitly described.


title: A criterion for homeomorphism between closed Haken manifolds

abstract: In this paper we consider two connected closed Haken manifolds denoted by M^3 and N^3, with the same Gromov simplicial volume. We give a simple homological criterion to decide when a given map f: M^3-->N^3 between M^3 and N^3 can be changed by a homotopy to a homeomorphism. We then give a convenient process for constructing maps between M^3 and N^3 satisfying the homological hypothesis of the map f.


title: Two linear transformations each tri-diagonal with respect to an eigenbasis of the other; the TD-D canonical form and the LB-UB canonical form

abstract: Let $\K$ denote a field and let $V$ denote a vector space over $\K$ with finite positive dimension. We consider an ordered pair of linear transformations $A:V\to V$ and $B:V\to V$ which satisfy both (i), (ii) below. (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $B$ is diagonal; (ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $B$ is irreducible tridiagonal. We call such a pair a Leonard pair on $V$. We introduce two canonical forms for Leonard pairs. We call these the TD-D canonical form and the LB-UB canonical form. In the TD-D canonical form the Leonard pair is represented by an irreducible tridiagonal matrix and a diagonal matrix, subject to a certain normalization. In the LB-UB canonical form the Leonard pair is represented by a lower bidiagonal matrix and an upper bidiagonal matrix, subject to a certain normalization. We describe the two canonical forms in detail. As an application we obtain the following results. Given square matrices $A,B$ over $\K$, with $A$ tridiagonal and $B$ diagonal, we display a necessary and sufficient condition for $A,B$ to represent a Leonard pair. Given square matrices $A,B$ over $\K$, with $A$ lower bidiagonal and $B$ upper bidiagonal, we display a necessary and sufficient condition for $A,B$ to represent a Leonard pair. We briefly discuss how Leonard pairs correspond to the $q$-Racah polynomials and some related polynomials in the Askey scheme. We present some open problems concerning Leonard pairs.


title: Fixity and Free Group Actions on Products of Spheres

abstract: We use the notion of fixity for representations of finite groups to construct free and smooth actions on products of spheres. In particular we show that a finite p-group (for p>3) will act freely and smoothly on a product of two spheres if and only if it does not contain a rank 3 elementary abelian subgroup. We show that if G is a finite subgroup of U(n), acting freely on U(n)/U(k) for some k>0 and if (|G|,(n-1)!)=1, then the action propagates to a free and smooth action on a product of n-k spheres. A number of explicit examples are discussed.


title: Auslander-Reiten triangles and quivers over topological spaces

abstract: In this paper, Auslander-Reiten triangles are introduced into algebraic topology, and it is proved that their existence characterizes Poincare duality spaces. Invariants in the form of quivers are also introduced, and Auslander-Reiten triangles and quivers over spheres are computed. The quiver over the d-dimensional sphere turns out to consist of d-1 components, each isomorphic to ZA_{\infty}. So quivers are sufficiently sensitive invariants to tell spheres of different dimension apart.


title: The Auslander-Reiten quiver of a Poincare duality space

abstract: In a previous paper, math.AT/0304079, Auslander-Reiten triangles and quivers were introduced into algebraic topology. This paper shows that over a Poincare duality space, each component of the Auslander-Reiten quiver is isomorphic to ZA_{\infty}.


title: Logic and probability

abstract: The propositional logic is generalized on the real numbers field. The logical analog of the Bernoulli independent tests scheme is constructed. The variant of the nonstandard analysis is adopted for the definition of the logical function, which has all properties of the classical probability function. The logical analog of the Large Number Law is deduced from properties of this function.


title: Conformally invariant powers of the Laplacian -- A complete non-existence theorem

abstract: We show that on conformal manifolds of even dimension $n\geq 4$ there is no conformally invariant natural differential operator between density bundles with leading part a power of the Laplacian $\Delta^{k}$ for $k>n/2$. This shows that a large class of invariant operators on conformally flat manifolds do not generalise to arbitrarily curved manifolds and that the theorem of Graham, Jenne, Mason and Sparling, asserting the existence of curved version of $\Delta^k$ for $1\le k\le n/2$, is sharp.


title: Tri-hamiltonian Toda lattice and a canonical bracket for closed discrete curves

abstract: Flows on (or variations of) discrete curves in $\R^2$ give rise to flows on a subalgebra of functions on that curve. For a special choice of flows and a certain subalgebra this is described by the Toda lattice hierachy. In the paper it is shown that the canonical symplectic structure on $\R^{2N}$, which can be interpreted as the phase space of closed discrete curves in $\R^2$ with length $N,$ induces Poisson commutation relations on the above mentioned subalgebra which yield the tri-hamiltonian poisson structure of the Toda lattice hierachy.


title: Quasi-free resolutions of Hilbert modules

abstract: The notion of a quasi-free Hilbert module over a function algebra $\mathcal{A}$ consisting of holomorphic functions on a bounded domain $\Omega$ in complex $m$ space is introduced. It is shown that quasi-free Hilbert modules correspond to the completion of the direct sum of a certain number of copies of the algebra $\mathcal{A}$. A Hilbert module is said to be weakly regular (respectively, regular) if there exists a module map from a quasi-free module with dense range (respectively, onto). A Hilbert module $\mathcal{M}$ is said to be compactly supported if there exists a constant $\beta$ satisfying $\|\phi f \| \leq \beta \|\phi \|_X \|f\|$ for some compact subset $X$ of $\Omega$ and $\phi$ in $\mathcal{A}$, $f$ in $\mathcal{M}$. It is shown that if a Hilbert module is compactly supported then it is weakly regular. The paper identifies several other classes of Hilbert modules which are weakly regular. In addition, this result is extended to yield topologically exact resolutions of such modules by quasi-free ones.


title: p-adic multiple zeta values I -- p-adic multiple polylogarithms and the p-adic KZ equation

abstract: Our main aim in this paper is to give a foundation of the theory of $p$-adic multiple zeta values. We introduce (one variable) $p$-adic multiple polylogarithms by Coleman's $p$-adic iterated integration theory. We define $p$-adic multiple zeta values to be special values of $p$-adic multiple polylogarithms. We consider the (formal) $p$-adic KZ equation and introduce the $p$-adic Drinfel'd associator by using certain two fundamental solutions of the $p$-adic KZ equation. We show that our $p$-adic multiple polylogarithms appear as coefficients of a certain fundamental solution of the $p$-adic KZ equation and our $p$-adic multiple zeta values appear as coefficients of the $p$-adic Drinfel'd associator. We show various properties of $p$-adic multiple zeta values, which are sometimes analogous to the complex case and are sometimes peculiar to the $p$-adic case, via the $p$-adic KZ equation.


title: Connectivity of finite subset spaces of cell complexes

abstract: The kth finite subset space of a topological space X is the space exp_k X of non-empty subsets of X of size at most k, topologised as a quotient of X^k. Using results from our earlier paper (math.GT/0210315) on the finite subset spaces of connected graphs we show that the kth finite subset space of a connected cell complex is (k-2)-connected, and (k-1)-connected if in addition the underlying space is simply connected. We expect exp_k X to be (k+m-2)-connected if X is an m-connected cell complex, and reduce proving this to the problem of proving it for finite wedges of (m+1)-spheres. Our results complement a theorem due to Handel that for path-connected Hausdorff X the map on pi_i induced by the inclusion exp_k X --> exp_{2k+1} X is zero for all k and i.


title: SPM Bulletin 4

abstract: This issue of the SPM Bulletin announces two conferences which are of interest to anyone working in SPM or general topology. In the second announced conference it is planned to have a significant part devoted to SPM. Those who are interested in participating should contact Ljubisa D. R. Kocinac at lkocinac@ptt.yu Kocinac is a very active mathematician in the field of SPM. We announce here one of his most recent works. The first issues of this bulletin, contain general information (first issue), basic definitions, research announcements, and open problems (all issues).


title: Estimate of dimension of Noether-Lefschetz locus for Beilinson-Hodge cycles on open complete intersections

abstract: We study an analogue of the Noether-Lefschetz theorem in the context of Beilinson's Hodge conjecture. We estimate the dimension of the Noether-Lefschetz locus by the infinitesimal methods in Hodge theory.


title: Components of maximal dimension in the Noether-Lefschetz locus for Beilinson-Hodge cycles on open surfaces

abstract: The main subject of study in this paper is the Noether-Lefschetz locus for Beilinson-Hodge cycles on the complement of the union of hyperplane sections in a surface in $\Bbb P^3$. We give an analogue of the result by M.Green and C.Voisin on the maximal components in the Noether-Lefschetz locus.


title: Applications of Graphical Condensation for Enumerating Matchings and Tilings

abstract: A technique called graphical condensation is used to prove various combinatorial identities among numbers of (perfect) matchings of planar bipartite graphs and tilings of regions. Graphical condensation involves superimposing matchings of a graph onto matchings of a smaller subgraph, and then re-partitioning the united matching (actually a multigraph) into matchings of two other subgraphs, in one of two possible ways. This technique can be used to enumerate perfect matchings of a wide variety of bipartite planar graphs. Applications include domino tilings of Aztec diamonds and rectangles, diabolo tilings of fortresses, plane partitions, and transpose complement plane partitions.


title: Random walks in random environment: What a single trajectory tells

abstract: We present a procedure that determines the law of a random walk in an iid random environment as a function of a single "typical" trajectory. We indicate when the trajectory characterizes the law of the environment, and we say how this law can be determined. We then show how independent trajectories having the distribution of the original walk can be generated as functions of the single observed trajectory.


title: Some integrability conditions for almost K\"ahler manifolds

abstract: Among other results, a compact almost K\"ahler manifold is proved to be K\"ahler if the Ricci tensor is semi-negative and its length coincides with that of the star Ricci tensor or if the Ricci tensor is semi-positive and its first order covariant derivatives are Hermitian. Moreover, it is shown that there are no compact almost K\"ahler manifolds with harmonic Weyl tensor and non-parallel semi-positive Ricci tensor. Stronger results are obtained in dimension 4.


title: Nonstandard Graphs, Revised

abstract: This is a revision of the paper archived previously on August 22, 2002. It corrects a mistake in Sec. 8 concerning eccentricities of graphs. From any given sequence of finite or infinite graphs, a nonstandard graph is constructed. The procedure is similar to an ultrapower construction on an internal set from a sequence of subsets of the real line, but now the individual entities are the vertices of the graphs instead of real numbers. The transfer principle is then invoked to extend several graph-theoretic results to the nonstandard case. After incidences and adjacencies between nonstandard vertices and edges are defined, several formulas regarding numbers of vertices and edges, and nonstandard versions of Eulerian graphs, Hamiltonian graphs, and a coloring theorem are established for these nonstandard graphs. Key Words: Nonstandard graphs, transfer principle, ultrapower constructions.


title: Uniform 1-Cochains and Genuine Laminations

abstract: We construct a pair of transverse genuine laminations on an atoroidal 3-manifold admitting transversely orientable uniform 1-cochain. The laminations are induced by the uniform 1-cochain and they are indeed the "straightening" of the coarse laminations defined in [Ca], by using minimal surface techniques. Moreover, when you collapse these laminations, you can get a topological pseudo-Anosov flow, as defined by Mosher, [Mo].


title: Polynomial versus Exponential Growth in Repetition-Free Binary Words

abstract: It is known that the number of overlap-free binary words of length n grows polynomially, while the number of cubefree binary words grows exponentially. We show that the dividing line between polynomial and exponential growth is 7/3. More precisely, there are only polynomially many binary words of length n that avoid 7/3-powers, but there are exponentially many binary words of length n that avoid (7/3+)-powers. This answers an open question of Kobayashi from 1986.


title: Plurisubharmonic functions and the structure of complete K\"ahler manifolds with nonnegative curvature

abstract: In this paper, we study global properties of continuous plurisubharmonic functions on complete noncompact K\"ahler manifolds with nonnegative bisectional curvature and their applications to the structure of such manifolds. We prove that continuous plurisubharmonic functions with reasonable growth rate on such manifolds can be approximated by smooth plurisubharmonic functions through the heat flow deformation. Optimal Liouville type theorem for the plurisubharmonic functions as well as a splitting theorem in terms of harmonic functions and holomorphic functions are established. The results are then applied to prove several structure theorems on complete noncompact K\"ahler manifolds with nonnegative bisectional or sectional curvature.


title: Cup-length estimate for Lagrangian intersections

abstract: In this paper we consider the Arnold conjecture on the Lagrangian intersections of some closed Lagrangian submanifold of a closed symplectic manifold with its image of a Hamiltonian diffeomorphism. We prove that if the Hofer's symplectic energy of the Hamiltonian diffeomorphism is less than a topology number defined by the Lagrangian submanifold, then the Arnold conjecture is true in the degenerated (non-transversal) case.


title: Semisimple weak Hopf algebras

abstract: We develop the theory of semisimple weak Hopf algebras and obtain analogues of a number of classical results for ordinary semisimple Hopf algebras. We prove a criterion for semisimplicity and analyze the square of the antipode S^2 of a semisimple weak Hopf algebra A. We explain how the Frobenius-Perron dimensions of irreducible A-modules and eigenvalues of S^2 can be computed using the inclusion matrix associated to A. A trace formula of Larson and Radford is extended to a relation between the global and Frobenius-Perron dimensions of A. Finally, an analogue of the Class Equation of Kac and Zhu is established and properties of $A$-module algebras and their dimensions are studied.


title: An Atiyah-Hirzebruch spectral sequence for KR-theory

abstract: We construct a spectral sequence for computing KR-theory, analogous to the spectral sequence relating motivic cohomology to algebraic K-theory.


title: A Direct Ultrametric Approach to Additive Complexity and the Shub-Smale Tau Conjecture

abstract: The Shub-Smale Tau Conjecture is a hypothesis relating the number of integral roots of a polynomial f in one variable and the Straight-Line Program (SLP) complexity of f. A consequence of the truth of this conjecture is that, for the Blum-Shub-Smale model over the complex numbers, P differs from NP. We prove two weak versions of the Tau Conjecture and in so doing show that the Tau Conjecture follows from an even more plausible hypothesis. Our results follow from a new p-adic analogue of earlier work relating real algebraic geometry to additive complexity. For instance, we can show that a nonzero univariate polynomial of additive complexity s can have no more than 15+s^3(s+1)(7.5)^s s! =O(e^{s\log s}) roots in the 2-adic rational numbers Q_2, thus dramatically improving an earlier result of the author. This immediately implies the same bound on the number of ordinary rational roots, whereas the best previous upper bound via earlier techniques from real algebraic geometry was a quantity in Omega((22.6)^{s^2}). This paper presents another step in the author's program of establishing an algorithmic arithmetic version of fewnomial theory.


title: Birationality of the tangent map for minimal rational curves

abstract: For a uniruled projective manifold, we prove that a general rational curve of minimal degree through a general point is uniquely determined by its tangent vector. As applications, among other things we give a new proof, using no Lie theory, of our earlier result that a holomorphic map from a rational homogeneous space of Picard number 1 onto a projective manifold different from the projective space must be a biholomorphic map.


title: Examples of Unbounded Homogeneous Domains in Complex Space

abstract: We construct several new examples of homogeneous domains in complex space that do not have bounded realisations. They are equivalent to tubes over affinely homogeneous domains in real space and have a real-analytic everywhere Levi non-degenerate non-umbilic boundary. Using the geometry of the boundary, we determine the full automorphism groups of the domains. We also discuss some interesting examples of tube domains with everywhere umbilic boundary (i.e., boundary equivalent to the corresponding quadric).


title: Periodic orbits close to elliptic tori and applications to the three-body problem

abstract: We prove, under suitable non-resonance and non-degeneracy ``twist'' conditions, a Birkhoff-Lewis type result showing the existence of infinitely many periodic solutions, with larger and larger minimal period, accumulating onto elliptic invariant tori (of Hamiltonian systems). We prove the applicability of this result to the spatial planetary three-body problem in the small eccentricity-inclination regime. Furthermore, we find other periodic orbits under some restrictions on the period and the masses of the ``planets''. The proofs are based on averaging theory, KAM theory and variational methods. (Supported by M.U.R.S.T. Variational Methods and Nonlinear Differential Equations.)


title: The Lax conjecture is true

abstract: In 1958 Lax conjectured that hyperbolic polynomials in three variables are determinants of linear combinations of three symmetric matrices. This conjecture is equivalent to a recent observation of Helton and Vinnikov.


title: Topological entropy and Burau representation

abstract: Let f be an orientation-preserving homeomorphism of the disk D, P a finite invariant subset and [f] the isotopy class of f in D\P. We give a non trivial lower bound of the topological entropy for maps in [f], using the spectral radius of some specializations in GL(n,C) of the Burau matrix associated with [f] and we discuss some examples.


title: Sous-groupes compacts d'homeomorphismes de la sphere

abstract: In this paper, we present a simple proof of the fact that any compact subgroup of homeomorphisms of the 2-sphere is topologically conjugate to a closed subgroup of the orthogonal group O(3).


title: A rigorous derivation of Smoluchowski's equation in the moderate limit

abstract: Smoluchowski's equation is a macroscopic description of a many particle system with coagulation and shattering interactions. We give a microscopic model of the system from which we derive this equation rigorously. Provided the existence of a unique and sufficiently regular solution of Smoluchowski's equation, we prove the law of large numbers for the empirical processes. In contrast to previous derivations we assume a moderate scaling of the particle interaction, enabling us to estimate the critical fluctuation terms by using martingale inequalities. This approach can be justified in the regime of high temperatures and particle densities, which is of special interest in astrophysical studies and where previous derivations do not apply.


title: Rational Solutions of the Schlesinger System and Isoprincipal Deformations of Rational Matrix Functions I

abstract: In the present paper we discuss the general facts, concerning the Schlesinger system: the (\tau)-function, the local factorization of solutions of Fuchsian equations and holomorphic deformations. We introduce the terminology "isoprincipal" for the deformations of Fuchsian equations with general (not necessarily non-resonant) matrix coefficients, corresponding to solutions of the Schlesinger system.


title: Distributions invariantes sur les groupes reductifs quasi-deployes

abstract: Let $F$ be a nonarchimedean local field, and $G$ the group of $F$-points of a c onnected quasisplit reductive group defined on $F$; in this paper, we will study the distributions on $G$ which are invariant by conjugation, and the vector spa ce of their restrictions to the Hecke algebra $\mathcal{H}$ of the functions on $G$ with compact support and biinvariant by a given Iwahori subgroup $I$. It is first shown that such a distribution on $\mathcal{H}$ is entirely determined by its restriction to the finite-diimensional subspace of $\mathcal{H}$ containing the elements with support in the union of the parahoric subgroups of $G$ contai ning $I$; this property is then used, by establishing similar results on finite groups, to show, with some conditions on $G$, that this space is generated both by some semisimple orbital integrals and by unipotent integrals.


title: Invariants de classes : le cas semi-stable

abstract: We define here an analogue, for a semi-stable group scheme whose generic fiber is an abelian variety, of M. J. Taylor's class-invariant homomorphism (defined for abelian schemes), and we give a geometric description of it. Then we extend a result of Taylor, Srivastav, Agboola and Pappas concerning the kernel of this homomorphism in the case of a semi-stable elliptic curve.


title: Depth of associated graded rings via Hilbert coefficients of ideals

abstract: Given a local Cohen-Macaulay ring $(R, {\mathfrak m})$, we study the interplay between the integral closedness -- or even the normality -- of an ${\mathfrak m}$-primary $R$-ideal $I$ and conditions on the Hilbert coefficients of $I$. We relate these properties to the depth of the associated graded ring of $I$.


title: Homotopy branching space and weak dihomotopy

abstract: Withdrawn paper because the results are recycled in several other papers and a new definition of T-homotopy is proposed in math.AT/0505152.


title: Monodromy invariants in symplectic topology

abstract: This text is a set of lecture notes for a series of four talks given at I.P.A.M., Los Angeles, on March 18-20, 2003. The first lecture provides a quick overview of symplectic topology and its main tools: symplectic manifolds, almost-complex structures, pseudo-holomorphic curves, Gromov-Witten invariants and Floer homology. The second and third lectures focus on symplectic Lefschetz pencils: existence (following Donaldson), monodromy, and applications to symplectic topology, in particular the connection to Gromov-Witten invariants of symplectic 4-manifolds (following Smith) and to Fukaya categories (following Seidel). In the last lecture, we offer an alternative description of symplectic 4-manifolds by viewing them as branched covers of the complex projective plane; the corresponding monodromy invariants and their potential applications are discussed.


title: Quasi-positive curvature on homogeneous bundles

abstract: We provide new examples of manifolds which admit a Riemannian metric with sectional curvature nonnegative, and strictly positive at one point. Our examples include the unit tangent bundles of $CP^n$, $HP^n$ and $CaP^2$, and a family of lens space bundles over $CP^n$. All new examples are consequences of a general sufficient condition for a homogeneous fiber bundle over a homogeneous space to admit such a metric.


title: Vertex Algebroids II

abstract: In this note we determine the obstruction to triviality of the stack of exact vertex algebroids.


title: Limiting behavior of local Calabi-Yau metrics

abstract: We use a generalization of the Gibbons-Hawking ansatz to study the behavior of certain non-compact Calabi-Yau manifolds in the large complex structure limit. This analysis provides an intermediate step toward proving the metric collapse conjecture for toric hypersurfaces and complete intersections.


title: A note on toroidalization: the problem of resolution of singularities of morphisms in the logarithmic category

abstract: This is a note on toroidalization, formulated as the problem of resolution of singularities of morphisms in the logarithmic category. It is submitted to the proceedings of the Barrett conference held at the University of Tennessee at Knoxville in April 2002.


title: Curvilinear Base Points, Local Complete Intersection and Kozsul Syzygies in Biprojective Spaces

abstract: We prove analogs of results of Cox/Schenck on the structure of certain ideals in the bigraded polynomial ring k[s,u;t,v].


title: The Brownian Web: Characterization and Convergence

abstract: The Brownian Web (BW) is the random network formally consisting of the paths of coalescing one-dimensional Brownian motions starting from every space-time point in ${\mathbb R}\times{\mathbb R}$. We extend the earlier work of Arratia and of T\'oth and Werner by providing characterization and convergence results for the BW distribution, including convergence of the system of all coalescing random walkssktop/brownian web/finale/arXiv submits/bweb.tex to the BW under diffusive space-time scaling. We also provide characterization and convergence results for the Double Brownian Web, which combines the BW with its dual process of coalescing Brownian motions moving backwards in time, with forward and backward paths ``reflecting'' off each other. For the BW, deterministic space-time points are almost surely of ``type'' $(0,1)$ -- {\em zero} paths into the point from the past and exactly {\em one} path out of the point to the future; we determine the Hausdorff dimension for all types that actually occur: dimension 2 for type $(0,1)$, 3/2 for $(1,1)$ and $(0,2)$, 1 for $(1,2)$, and 0 for $(2,1)$ and $(0,3)$.


title: Familles de caracteres de groupes de reflexions complexes

abstract: Nous etudions certains types de blocs d'algebres de Hecke associees aux groupes de reflexions complexes qui generalisent les familles de caracteres definies par Lusztig pour les groupes de Weyl. Nous determinons ces blocs pour les groupes de reflexions spetsiaux et nous etablissons un theoreme de compatibilite entre familles et d-series de Harish-Chandra. ----- We study certain types of blocks of Hecke Algebras associated to complex reflection groups which generalize the families of characters defined by Lusztig for Weyl groups. We determine these blocks for the special reflection groups and we establish a compatibility theorem between families and d-series of Harish-Chandra.


title: Geometry and Arithmetic of certain Double Octic Calabi-Yau Manifolds

abstract: We study Calabi-Yau manifolds constructed as double covers of ${\mathbb P}^3$ branched along an octic surface. We give a list of 85 examples corresponding to arrangements of eight planes defined over ${\mathbb Q}$. The Hodge numbers are computed for all examples. There are 7 rigid Calabi-Yau manifolds and 14 families with $h^{1,2}=1$. The modularity conjecture is verified for all the rigid examples.


title: Lax matrices for Yang-Baxter maps

abstract: It is shown that for a certain class of Yang-Baxter maps (or set-theoretical solutions to the quantum Yang-Baxter equation) the Lax representation can be derived straight from the map itself. A similar phenomenon for 3D consistent equations on quad-graphs has been recently discovered by A. Bobenko and one of the authors, and by F. Nijhoff.


title: Kolmogorov - Sinaj entropy on MV-algebras

abstract: There is given a construction of the entropy of a dynamical system on arbitrary MV-algebra $M$. If $M$ is the MV-algebra of characteristic functions of a $\sigma$-algebra (isomorphic to the $\sigma$-algebra), then the construction leads to the Kolmogorov - Sinaj entropy. If $M$ is the MV-algebra (tribe) of fuzzy sets, then the construction coincides with the Mali\v{c}k\' y modification of the Kolmogorov - Sinaj entropy for fuzzy sets.


title: On the Nagata conjecture

abstract: T. Szemberg proposed in 2001 a generalization to arbitrary varieties of M. Nagata's 1959 open conjecture, which claims that the Seshadri constant of r>9 very general points of the projective plane is maximal. Here we prove that Nagata's original conjecture implies Szemberg's for all smooth surfaces X with an ample divisor L generating its Neron-Severi group and such that L^2 is a square. More generally, we prove that the (n-1)-dimensional Seshadri constant of an ample divisor L on a projective variety X of dimension n at r very general points is bounded below by the product of the (n-1)-dimensional Seshadri constant of at a very general point times the (n-1)-dimensional Seshadri constant of the hyperplane on projective n-space at r very general points.


title: On submaximal plane curves

abstract: We prove that a submaximal plane curve (i.e., an irreducible counterexample to Nagata's conjecture) with r singular points has sequence of multiplicities (m, n, ..., n) with m<sn for every integer with ((s-1)(s+2))^2 > 6.76(r-1).


title: Longest increasing subsequences in pattern-restricted permutations

abstract: Inspired by the results of Baik, Deift and Johansson on the limiting distribution of the lengths of the longest increasing subsequences in random permutations, we find those limiting distributions for pattern-restricted permutations in which the pattern is any one of the six patterns of length 3. We show that the (132)-avoiding case is identical to the distribution of heights of ordered trees, and that the (321)-avoiding case has interesting connections with a well known theorem of Erd\H os-Szekeres.


title: Some remarks on varieties with degenerate Gauss image

abstract: We consider projective varieties with degenerate Gauss image whose focal hypersurfaces are non-reduced schemes. Examples of this situation are provided by the secant varieties of Severi and Scorza varieties. The Severi varieties are moreover characterized by a uniqueness property.


title: CM-lifts for Isogeny Classes of Shimura F-crystals over Finite Fields

abstract: We extend to large contexts pertaining to Shimura varieties of Hodge type a result of Zink on the existence of lifts to characteristic 0 of suitable representatives of certain isogeny classes of abelian varieties endowed with Frobenius and other endomorphisms over $\dbF_{p^q}$, whose $p$-divisible groups in mixed characteristic $(0,p)$ are with complex multiplication.


title: On the distribution of lattice points in thin annuli

abstract: We show that the number of lattice points lying in a thin annulus has a Gaussian value distribution if the width of the annulus tends to zero sufficiently slowly as we increase the inner radius.


title: The monodromy group of a function on a general curve

abstract: Let C_g be a general curve of genus g>3. Guralnick and others proved that the monodromy group of a cover C_g-> P^1 of degree n is either S_n or A_n. We show that A_n occurs for n>2g. The corresponding result for S_n is classical.


title: Generalized flows and singular ODEs on differentiable manifolds

abstract: Based on the concept of manifold valued generalized functions we initiate a study of nonlinear ordinary differential equations with singular (in particular: distributional) right hand sides in a global setting. After establishing several existence and uniqueness results for solutions of such equations and flows of singular vector fields we compare the solution concept employed here with the purely distributional setting. Finally, we derive criteria securing that a sequence of smooth flows corresponding to a regularization of a given singular vector field converges to a measurable limiting flow.


title: Supersolvable LL-lattices of binary trees

abstract: Some posets of binary leaf-labeled trees are shown to be supersolvable lattices and explicit EL-labelings are given. Their characteristic polynomials are computed, recovering their known factorization in a different way.


title: Equivariant analogue of Grothendieck's theorem for vector bundles on $\Bbb{P}^1$

abstract: We prove an equivariant analogue of Grothendieck's theorem for vector bundles on the one dimensional projective space over complex numbers.


title: Ergodicity of Stochastic Differential Equations Driven by Fractional Brownian Motion

abstract: We study the ergodic properties of finite-dimensional systems of SDEs driven by non-degenerate additive fractional Brownian motion with arbitrary Hurst parameter $H\in(0,1)$. A general framework is constructed to make precise the notions of ``invariant measure'' and ``stationary state'' for such a system. We then prove under rather weak dissipativity conditions that such an SDE possesses a unique stationary solution and that the convergence rate of an arbitrary solution towards the stationary one is (at least) algebraic. A lower bound on the exponent is also given.


title: Abelian Conformal Field theories and Determinant Bundles

abstract: The present paper is the first in a series of papers, in which we shall construct modular functors and Topological Quantum Field Theories from the conformal field theory developed in [TUY]. The basic idea is that the covariant constant sections of the sheaf of vacua associated to a simple Lie algebra over Teichm\"uller space of an oriented pointed surface gives the vectorspace the modular functor associates to the oriented pointed surface. However the connection on the sheaf of vacua is only projectively flat, so we need to find a suitable line bundle with a connection, such that the tensor product of the two has a flat connection. We shall construct a line bundle with a connection on any family of pointed curves with formal coordinates. By computing the curvature of this line bundle, we conclude that we actually need a fractional power of this line bundle so as to obtain a flat connection after tensoring. In order to functorially extract this fractional power, we need to construct a preferred section of the line bundle. We shall construct the line bundle by the use of the so-called $bc$-ghost systems (Faddeev-Popov ghosts) first introduced in covariant quantization [FP]. We follow the ideas of [KNTY], but decribe it from the point of view of [TUY].


title: Irreducible representations of the quantum analogue of SU(2)

abstract: We give the complete set of irreducible representations of U(SU(2))_q when q is a m-th root of unity. In particular we show that their dimensions are less or equal to m. Some of them are not highest weight representations.


title: Smooth Lyapunov 1-forms

abstract: We find conditions which guarantee that a given flow on a closed smooth manifold admits a smooth Lyapunov one-form lying in a prescribed de Rham cohomology class. These conditions are formulated in terms of Schwartzman's asymptotic cycles of the flow.


title: A discrete Lefschetz formula

abstract: A Lefschetz formula is given that relates loops in a regular finite graph to traces of a certain representation. As an application the poles of the Ihara/Bass zeta function are expressed as dimensions of global section spaces of locally constant sheaves.


title: Coisotropic and Polar actions on Complex Grassmannians

abstract: The main result of the paper is the complete classification of the compact connected Lie groups acting coisotropically on complex Grassmannians. This is used to determine the polar actions on the same manifolds.


title: The Chen-Ruan Cohomology of Weighted Projective Spaces

abstract: Chen and Ruan [6] defined a very interesting cohomology theory for orbifolds, which is now called Chen-Ruan cohomology. The primary objective of this paper is to compute the Chen-Ruan cohomology rings of the weighted projective spaces, a class of important spaces in physics. The classical tools (Chen-Ruan cohomology, toric varieties, the localization technique) which have been proved to be successful are used to study the orbifold cohomology of weighted projective spaces. Given a weighted projective space ${\bf P}^{n}_{q_{0}, >..., q_{n}}$, we determine all of its twisted sectors and the corresponding degree shifting numbers, and we calculate the orbifold cohomology group of ${\bf P}^{n}_{q_{0}, ..., q_{n}}$. For a general reduced weighted projective space, we give a formula to compute the 3-point function which is the key in the definition of Chen-Ruan cohomology ring. Finally we concretely calculate the Chen-Ruan cohomology ring of weighted projective space ${\bf P}^{5}_{1,2,2,3,3,3}$.


title: Eigenvalues of Frobenius acting on the $\ell$-adic cohomology of complete intersections of low degree

abstract: The eigenvalues of Frobenius acting on $\ell$-adic cohomology of a complete intersection over a finite field have the divisibility predicted by the theorem of Ax and Katz. We have corrected some unforgivable typos.


title: Rationality of partial zeta functions

abstract: We prove that the partial zeta function introduced in [9] is a rational function, generalizing Dwork's rationality theorem.


title: New coins from old: computing with unknown bias

abstract: Suppose that we are given a function f : (0,1) -> (0,1) and, for some unknown p in (0,1), a sequence of independent tosses of a p-coin (i.e., a coin with probability p of ``heads''). For which functions f is it possible to simulate an f(p)-coin?; This question was raised by S. Asmussen and J. Propp. A simple simulation scheme for the constant function 1/2 was described by von Neumann (1951); this scheme can be easily implemented using a finite automaton. We prove that in general, an f(p)-coin can be simulated by a finite automaton for all p in (0,1), if and only if f is a rational function over Q. We also show that if an f(p)-coin can be simulated by a pushdown automaton, then f is an algebraic function over Q; however, pushdown automata can simulate f(p)-coins for certain non-rational functions such as the square root of p. These results complement the work of Keane and O'Brien (1994), who determined the functions $f$ for which an f(p)-coin can be simulated when there are no computational restrictions on the simulation scheme.


title: Asymptotic shape for the chemical distance and first-passage percolation in random environment

abstract: The aim of this paper is to generalize the well-known asymptotic shape result for first-passage percolation on $\Zd$ to first-passage percolation on a random environment given by the infinite cluster of a supercritical Bernoulli percolation model. We prove the convergence of the renormalized set of wet points to a deterministic shape that does not depend on the random environment. As a special case of the previous result, we obtain an asymptotic shape theorem for the chemical distance in supercritical Bernoulli percolation. We also prove a flat edge result. Some various examples are also given.


title: Hyperbolic polynomials and spectral order

abstract: The spectral order on $\bR$ induces a partial ordering on the manifold $\calH_{n}$ of monic hyperbolic polynomials of degree $n$. We show that the semigroup $\tilde{\calS}$ generated by differential operators of the form $(1-\la \frac{d}{dx})e^{\la \frac{d}{dx}}$, $\la \in \bR$, acts on the poset $\calH_{n}$ in an order-preserving fashion. We also show that polynomials in $\calH_{n}$ are global minima of their respective $\tilde{\calS}$-orbits and we conjecture that a similar result holds even for complex polynomials. Finally, we show that only those pencils of polynomials in $\calH_{n}$ which are of logarithmic derivative type satisfy a certain local minimum property for the spectral order.


title: Regular type of real hyper-surfaces in (almost) complex manifolds

abstract: The regular type of a real hyper-surface M in an (almost) complex manifold at some point p is the maximal contact order at p of M with germs of non singular (pseudo) holomorphic disks. The main purpose of this paper is to give two intrinsic characterizations the type: one in terms of Lie brackets of a complex tangent vector field on M, the other in terms of some kind of derivatives of the Levi form.


title: Bounds on leaves of foliations of the plane

abstract: This paper contributes to the solution of the Poincare problem, which is to bound the degree of a (generalized algebraic) leaf of a (singular algebraic) foliation of the complex projective plane. The first theorem gives a new sort of bound, which involves the Castelnuovo--Mumford regularity of the singular locus of the leaf. The second theorem gives a bound in terms of two singularity numbers of the leaf: the total Tjurina number, and the number of non-quasi-homogeneous singularities. If such singularities are present, then this bound improves one due to du Plessis and Wall, at least when the curve is irreducible.


title: Bounding solutions of Pfaff equations

abstract: Let \omega be a Pfaff system of differential forms on a projective space. Let S be its singular locus, and Y a solution of \omega=0. We prove Y\cap S is of codimension at most 1 in Y, just as Jouanolou suspected; he proved this result assuming \omega is completely integrable, and asked if the integrability is, in fact, needed. Furthermore, we prove a lower bound on the Castelnuovo--Mumford regularity of Y\cap S. As in two related articles, we derive upper bounds on numerical invariants of Y, thus contributing to the solution of the Poincare problem. We work with Pfaff fields not necessarily induced by Pfaff systems, with ambient spaces more general than projective spaces, and usually in arbitrary characteristic.


title: SL(2)-solution of the pentagon equation and invariants of three-dimensional manifolds

abstract: Building on a classical solution to the pentagon equation, constructed earlier by the author and E.V. Martyushev and related to the flat geometry invariant under the group SL(2), we construct an algebraic complex corresponding to a triangulation of a three-manifold. In case if this complex is acyclic (which is confirmed by examples), we use it for constructing a manifold invariant .


title: Classification of reflection matrices related to (super) Yangians and application to open spin chain models

abstract: We present a classification of diagonal, antidiagonal and mixed reflection matrices related to Yangian and super-Yangian R matrices associated to the infinite series so(m), sp(n) and osp(m|n). We formulate the analytical Bethe Ansatz resolution for the so(m) and sp(n) open spin chains with boundary conditions described by the diagonal solutions.


title: Optimal Asset Allocation with Asymptotic Criteria

abstract: Assume (1) asset returns follow a stochastic multi-factor process with time-varying conditional expectations; (2) investments are linear functions of factors. This paper calculates asymptotic joint moments of the logarithm of investor's wealth and the factors. These formulas enable fast computation of a wide range of investment criteria. The results are illustrated by a numerical example that shows that the optimal portfolio rules are sensitive to the specification of the investment criterion.


title: Threefold Thresholds

abstract: We prove that the set of accumulation points of thresholds in dimension three is equal to the set of thresholds in dimension two, excluding one.


title: Immersions with fractal set of points of zero Gauss-Kronecker curvature

abstract: We construct, for any ``good'' Cantor set $F$ of $S^{n-1}$, an immersion of the sphere $S^n$ with set of points of zero Gauss-Kronecker curvature equal to $F\times D^{1}$, where $D^{1}$ is the 1-dimensional disk. In particular these examples show that the theorem of Matheus-Oliveira strictly extends two results by do Carmo-Elbert and Barbosa-Fukuoka-Mercuri.


title: A Remark on Letzter-Makar-Limanov Invariants

abstract: We give a natural cohomological interpretation of Letzter-Makar-Limanov invariants for rings of differential operators on algebraic curves.


title: Probabilistic aspects of Al-Salam-Chihara polynomials

abstract: We solve the connection coefficient problem between the Al-Salam-Chihara polynomials and the q-Hermite polynomials, and we use the resulting identity to answer a question from probability theory. We also derive the distribution of some Al-Salam-Chihara polynomials, and compute determinants of related Hankel matrices.


title: Hopf Algebras of Dimension $pq$

abstract: Let $H$ be a non-semisimple Hopf algebra with antipode $S$ of dimension $pq$ over an algebraically closed field of characteristic 0 where $p \le q$ are odd primes. We prove that $\Tr(S^{2p})=p^2d$ where $d \equiv pq \pmod{4}$. As a consequence, if $p,q$ are twin primes, then any Hopf algebra of dimension $pq$ is semisimple.


title: Special bases for derivations of tensor algebras. II. The case along paths

abstract: The existence of local bases in which the components of derivations of tensor algebras over a differentiable manifold vanish along paths is proved. The holonomicity of these bases is investigated. The obtained results are applied to the case of linear connections. Some relations with the equivalence principle are shown.


title: Inverse spectral problem for normal matrices and a generalization of the Gauss-Lucas theorem

abstract: We estabish an analog of the Cauchy-Poincare separation theorem for normal matrices in terms of majorization. Moreover, we present a solution to the inverse spectral problem (Borg-type result) for a normal matrix. Using this result we essentially generalize and complement the known Gauss--Lucas theorem on the geometry of the roots of a complex polynomial and of its derivative. In turn the last result is applied to prove the old conjectures of de Bruijn-Springer and Schoenberg about these roots.


title: Abhyankar places admit local uniformization in any characteristic

abstract: We prove that every place $P$ of an algebraic function field $F|K$ of arbitrary characteristic admits local uniformization, provided that the sum of the rational rank of its value group and the transcendence degree of its residue field $FP$ over $K$ is equal to the transcendence degree of $F|K$, and the extension $FP|K$ is separable. We generalize this result to the case where $P$ dominates a regular local Nagata ring $R\subseteq K$ of Krull dimension $\dim R\leq 2$, assuming that the valued field $(K,v_P)$ is defectless, the factor group $v_P F/v_P K$ is torsion-free and the extension of residue fields $FP|KP$ is separable. The results also include a form of monomialization. Further, we show that in both cases, finitely many Abhyankar places admit simultaneous local uniformization on an affine scheme if they have value groups isomorphic over $v_P K$.


title: On the average of triangular numbers

abstract: The problem we are dealing with is the following: find two sequences $a_n$ and $b_n$ such that the average of the first $b_n$ triangular numbers (starting with the triangular number 1) is still a triangular number, precisely the $a_n$-th triangular number. We get also some side results: for instance one of the sequence instrumental to finding the asked for sequences turns out to be a bisection of the sequence of the numerators of continued fraction convergents to $\sqrt{3}$.


title: An E-infty-extension of the associahedra and the Tamarkin cell mystery

abstract: We study a cofibrant E-infty operad generated by the Fox-Neuwirth cells of the configuration space of points in the Euclidean space. We show that, below the `critical dimensions' in which `bad cells' exist, this operad is modeled by the geometry of the Fulton-MacPherson compactification of this configuration space. We analyze the Tamarkin bad cell and calculate the differential of the corresponding generator. We also describe a simpler, four-dimensional bad cell. We finish the paper by proving an auxiliary result giving a characterization, over integers, of free Lie algebras.


title: Multihomogeneous resultant formulae by means of complexes

abstract: We provide conditions and algorithmic tools so as to classify and construct the smallest possible determinantal formulae for multihomogeneous resultants arising from Weyman complexes associated to line bundles in products of projective spaces. We also examine the smallest Sylvester-type matrices, generically of full rank, which yield a multiple of the resultant. We characterize the systems that admit a purely B\'ezout-type matrix and show a bijection of such matrices with the permutations of the variable groups. We conclude with examples showing the hybrid matrices that may be encountered, and illustrations of our Maple implementation. Our approach makes heavy use of the combinatorics of multihomogeneous systems, inspired by and generalizing results by Sturmfels-Zelevinsky, and Weyman-Zelevinsky.


title: On groups generated by two positive multi-twists: Teichmueller curves and Lehmer's number

abstract: From a simple observation about a construction of Thurston, we derive several interesting facts about subgroups of the mapping class group generated by two positive multi-twists. In particular, we identify all configurations of curves for which the corresponding groups fail to be free, and show that a subset of these determine the same set of Teichmueller curves as the non-obtuse lattice triangles which were classified by Kenyon, Smillie, and Puchta. We also identify a pseudo-Anosov automorphism whose dilatation is Lehmer's number, and show that this is minimal for the groups under consideration. In addition, we describe a connection to work of McMullen on Coxeter groups and related work of Hironaka on a construction of an interesting class of fibered links.


title: The Crystal Duality Principle: from Hopf Algebras to Geometrical Symmetries

abstract: We give functorial recipes to get, out of any Hopf algebra over a field, two pairs of Hopf algebras which have some geometrical content. When the ground field has characteristic zero, the first pair is made by a function algebra over a connected Poisson group and a universal enveloping algebra over a Lie bialgebra. In addition, the Poisson group as a variety is an affine space, and the Lie bialgebra as a Lie algebra is graded. Forgetting these last details, the second pair is of the same type. When the Hopf algebra H we start from is already of geometric type the result involves Poisson duality: the first Lie bialgebra associated to H = F[G] is g^* (with g := Lie(G)), and the first Poisson group H = U(g) is of type G^*, i.e. it has g as cotangent Lie bialgebra. If the ground field has positive characteristic, then the same recipes give similar results, but for the fact that the Poisson groups obtained have dimension 0 and height 1, and restricted universal enveloping algebras are obtained. We show how these "geometrical" Hopf algebras are linked to the original one via 1-parameter deformations, and explain how these results follow from quantum group theory. The cases of hyperalgebras and group algebras are examined in some detail (thus recovering some well-known, classical construction), along with some relevant examples.