title: Opers and Theta Functions

abstract: We construct natural maps (the Klein and Wirtinger maps) from moduli spaces of vector bundles on an algebraic curve $X$ to affine spaces, as quotients of the nonabelian theta linear series. We prove a finiteness result for these maps over generalized Kummer varieties (moduli of torus bundles), leading us to conjecture that the maps are finite in general. The conjecture provides canonical explicit coordinates on the moduli space. The finiteness results give low--dimensional parametrizations of Jacobians (in $\Pp^{3g-3}$ for generic curves), described by $2\Theta$ functions or second logarithmic derivatives of theta. We interpret the Klein and Wirtinger maps in terms of opers on $X$. Opers are generalizations of projective structures, and can be considered as differential operators, kernel functions or special bundles with connection. The matrix opers (analogues of opers for matrix differential operators) combine the structures of flat vector bundle and projective connection, and map to opers via generalized Hitchin maps. For vector bundles off the theta divisor, the Szeg\"o kernel gives a natural construction of matrix oper. The Wirtinger map from bundles off the theta divisor to the affine space of opers is then defined as the determinant of the Szeg\"o kernel. This generalizes the Wirtinger projective connections associated to theta characteristics, and the assoicated Klein bidifferentials.


title: Elliptic Central Characters and Blocks of Finite Dimensional Representations of Quantum Affine Algebras

abstract: The category of finite dimensional (type 1) representations of a quantum affine algebra $U_q(\hat{{\mathfrak g}})$ is not semisimple. However, as any abelian category with finite-length objects, it admits a unique decomposition into a direct sum of indecomposable subcategorie (blocks). We define the elliptic central character of a finite dimensional (type 1) representation of $U_q(\hat{{\mathfrak g}})$. Then we show that the block decomposition of this category is paramentrized by these elliptic central characters.


title: Algorithmic proofs of two theorems of Stafford

abstract: Two classical results of Stafford say that every (left) ideal of the $n$-th Weyl algebra $A_n$ can be generated by two elements, and every holonomic $A_n$-module is cyclic, i.e. generated by one element. We modify Stafford's original proofs to make the algorithmic computation of these generators possible.


title: Asymptotics of determinants of Bessel operators

abstract: In this paper we determine the asymptotics of the determinant of Bessel operators for sufficiently smooth generating functions. These operators are similar to Wiener-Hopf operators with the Fourier transform replaced by the Hankel transform and thus the asymptotics of the determinanst are similar to the well-known Szeg\"o-Akhiezer-Kac formula for truncated Wiener-Hopf determinants. In order to compute the above, we also show that the Bessel operators differ from the Wiener-Hopf by a Hilbert-Schmidt operator.


title: Gromov-Witten theory, Hurwitz theory, and completed cycles

abstract: We establish an explicit equivalence between the stationary sector of the Gromov-Witten theory of a target curve X and the enumeration of Hurwitz coverings of X in the basis of completed cycles. The stationary sector is formed, by definition, by the descendents of the point class. Completed cycles arise naturally in the theory of shifted symmetric functions. Using this equivalence, we give a complete description of the stationary Gromov-Witten theory of the projective line and elliptic curve. Toda equations for the relative stationary theory of the projective line are derived.


title: The Grothendieck ring of varieties is not a domain

abstract: Let k be a field. Let K_0(V_k) denote the quotient of the free abelian group generated by the geometrically reduced varieties over k, modulo the relations of the form [X]=[X-Y]+[Y] whenever Y is a closed subvariety of X. Product of varieties makes K_0(V_k) into a ring. We prove that if the characteristic of k is zero, then K_0(V_k) is not a domain.


title: Quot Functors for Deligne-Mumford Stacks

abstract: Given a separated and locally finitely-presented Deligne-Mumford stack $\cX$ over an algebraic space $S$, and a locally finitely-presented $\OO_{\cX}$-module $\cF$, we prove that the Quot functor $\text{Quot}(\cF/\cX/S)$ is represented by a separated and locally finitely-presented algebraic space over $S$. Under additional hypotheses, we prove that the connected components of $\text{Quot}(\cF/\cX/S)$ are quasi-projective over $S$.


title: Axiomatic $G_{1}$-vertex algebras

abstract: Inspired by the Borcherds' work on ``$G$-vertex algebras,'' we formulate and study an axiomatic counterpart of Borcherds' notion of $G$-vertex algebra for the simplest nontrivial elementary vertex group, which we denote by $G_{1}$. Specifically, we formulate a notion of axiomatic $G_{1}$-vertex algebra, prove certain basic properties and give certain examples, where the notion of axiomatic $G_{1}$-vertex algebra is a nonlocal generalization of the notion of vertex algebra. We also show how to construct axiomatic $G_{1}$-vertex algebras from a set of compatible $G_{1}$-vertex operators. The results of this paper were reported in June 2001, at the International Conference on Lie Algebras in the Morningside center, Beijing, China, and were reported on November 30, 2001, in the Quantum Mathematics Seminar, at Rutgers-New Brunswick. We noticed that a paper of Bakalov and Kac appeared today (math.QA/0204282) on noncommutative generalizations of vertex algebras, which has certain overlaps with the current paper. On the other hand, most of their results are orthogonal to the results of this paper.


title: Simple vertex operator algebras are nondegenerate

abstract: In this paper it is shown that every irreducible vertex algebra of countable dimension and every simple vertex operator algebra are nondegenerate in the sense of Etingof and Kazhdan.


title: Nambu-Dirac Structures on Lie Algebroids

abstract: The theory of Nambu-Poisson structures on manifolds is extended to the context of Lie algebroids, in a natural way based on the Vinogradov bracket associated with Lie algebroid cohomology. We show that, under certain assumptions, any Nambu-Poisson structure on a Lie algebroid is decomposable.Also, we introduce the concept of a higher order Dirac structure on a Lie algebroid. This allows to describe both Nambu-Poisson structures on Lie algebroids and Dirac structures on manifolds in the same setting.


title: Two applications of elementary knot theory to Lie algebras and Vassiliev invariants

abstract: Using elementary equalities between various cables of the unknot and the Hopf link, we prove the Wheels and Wheeling conjectures of [Bar-Natan, Garoufalidis, Rozansky and Thurston, arXiv:q-alg/9703025] and [Deligne, letter to Bar-Natan, January 1996, http://www.ma.huji.ac.il/~drorbn/Deligne/], which give, respectively, the exact Kontsevich integral of the unknot and a map intertwining two natural products on a space of diagrams. It turns out that the Wheeling map is given by the Kontsevich integral of a cut Hopf link (a bead on a wire), and its intertwining property is analogous to the computation of 1+1=2 on an abacus. The Wheels conjecture is proved from the fact that the k-fold connected cover of the unknot is the unknot for all k. Along the way, we find a formula for the invariant of the general (k,l) cable of a knot. Our results can also be interpreted as a new proof of the multiplicativity of the Duflo-Kirillov map S(g)-->U(g) for metrized Lie (super-)algebras g.


title: On the universality of the probability distribution of the product $B^{-1}X$ of random matrices

abstract: Consider random matrices $A$, of dimension $m\times (m+n)$, drawn from an ensemble with probability density $f(\rmtr AA^\dagger)$, with $f(x)$ a given appropriate function. Break $A = (B,X)$ into an $m\times m$ block $B$ and the complementary $m\times n$ block $X$, and define the random matrix $Z=B^{-1}X$. We calculate the probability density function $P(Z)$ of the random matrix $Z$ and find that it is a universal function, independent of $f(x)$. The universal probability distribution $P(Z)$ is a spherically symmetric matrix-variate $t$-distribution. Universality of $P(Z)$ is, essentially, a consequence of rotational invariance of the probability ensembles we study. As an application, we study the distribution of solutions of systems of linear equations with random coefficients, and extend a classic result due to Girko.

categories: math.PR cond-mat.dis-nn math-ph math.MP math.ST stat.TH


title: Occupation densities for SPDE's with reflection

abstract: We consider the solution (u,\eta) of the white-noise driven stochastic partial differential equation with reflection on the space interval [0,1] introduced by Nualart and Pardoux. First, we prove that at any fixed time t>0, the measure \eta([0,t]\times d\theta) is absolutely continuous w.r.t. the Lebesgue measure d\theta on (0,1). We characterize the density as a family of additive functionals of u, and we interpret it as a renormalized local time at 0 of (u(t,\theta))_{t\geq 0}. Finally we study the behaviour of \eta at the boundary of [0,1]. The main technical novelty is a projection principle from the Dirichlet space of a Gaussian process, vector-valued solution of a linear SPDE, to the Dirichlet space of the process u.


title: Sur une conjecture de Mukai

abstract: Generalizing a question of Mukai, we conjecture that a Fano manifold $X$ with Picard number $\rho_X$ and pseudo-index $\iota_X$ satisfies $\rho_X (\iota_X-1) \le \dim(X)$. We prove this inequality in several situations: $X$ is a Fano manifold of dimension $\le 4$, $X$ is a toric Fano manifold of dimension $\le 7$ or $X$ is a toric Fano manifold of arbitrary dimension with $\iota_X \ge \dim(X)/3+1$. Finally, we offer a new approach to the general case.


title: A note on edge oriented reinforced random walks and RWRE

abstract: This work introduces the notion of edge oriented reinforced random walk which proposes in a general framework an alternative understanding of the annealed law of random walks in random environment.


title: Exponential decay of eigenfunctions in many-body type scattering with second order perturbations

abstract: We show the exponential decay of eigenfunctions of second-order geometric many-body type Hamiltonians at non-threshold energies. Moreover, in the case of first order and small second order perturbations we show that there are no eigenfunctions with positive energy.


title: Multiplicity of zeros and discrete orthogonal polynomials

abstract: We consider a problem of bounding the maximal possible multiplicity of a zero at of some expansions $\sum a_i F_i(x)$, at a certain point $c,$ depending on the chosen family $\{F_i \}$. The most important example is a polynomial with $c=1.$ It is shown that this question naturally leads to discrete orthogonal polynomials. Using this connection we derive some new bounds, in particular on the multiplicity of the zero at one of a polynomial with a prescribed norm.


title: Liouville action and Weil-Petersson metric on deformation spaces, global Kleinian reciprocity and holography

abstract: We rigorously define the Liouville action functional for finitely generated, purely loxodromic quasi-Fuchsian group using homology and cohomology double complexes naturally associated with the group action. We prove that the classical action - the critical point of the Liouville action functional, considered as a function on the quasi-Fuchsian deformation space, is an antiderivative of a 1-form given by the difference of Fuchsian and quasi-Fuchsian projective connections. This result can be considered as global quasi-Fuchsian reciprocity which implies McMullen's quasi-Fuchsian reciprocity. We prove that the classical action is a Kahler potential of the Weil-Petersson metric. We also prove that Liouville action functional satisfies holography principle, i.e., it is a regularized limit of the hyperbolic volume of a 3-manifold associated with a quasi-Fuchsian group. We generalize these results to a large class of Kleinian groups including finitely generated, purely loxodromic Schottky and quasi-Fuchsian groups and their free combinations.


title: Hurewicz theorem for extension dimension

abstract: We prove a new selection theorem for multivalued mappings of C-space. Using this theorem we prove extension dimensional version of Hurewicz theorem for a closed mapping $f\colon X\to Y$ of $k$-space $X$ onto paracompact $C$-space $Y$: if for finite $CW$-complex $M$ we have $\ed Y\le [M]$ and for every point $y\in Y$ and every compactum $Z$ with $\ed Z\le [M]$ we have $\ed(f^{-1}(y)\times Z)\le [L]$ for some $CW$-complex $L$, then $\ed X\le [L]$.


title: Counting occurrences of some subword patterns

abstract: We find generating functions the number of strings (words) containing a specified number of occurrences of certain types of order-isomorphic classes of substrings called subword patterns. In particular, we find generating functions for the number of strings containing a specified number of occurrences of a given 3-letter subword pattern.


title: Higher arithmetic K-theory

abstract: In this paper a concrete definition of higher K-theory in Arakelov geometry is given. The K-thoery defined in this paper is a higher extension of the arithmetic K_0 group of an arithmetic variety defined by Gillet and Soule. Products and direct images in this K-theory are discussed.


title: Twistor Forms on Kaehler Manifolds

abstract: Twistor forms are a natural generalization of conformal vector fields on Riemannian manifolds. They are defined as sections in the kernel of a conformally invariant first order differential operator. We study twistor forms on compact Kaehler manifolds and give a complete description up to special forms in the middle dimension. In particular, we show that they are closely related to Hamiltonian 2-forms. This provides the first examples of compact Kaehler manifolds with non-parallel twistor forms in any even degree.


title: Torus Chiral n-Point Functions for Free Boson and Lattice Vertex Operator Algebras

abstract: We obtain explicit expressions for all genus one chiral n-point functions for free bosonic and lattice vertex operator algebras. We also consider the elliptic properties of these functions.


title: Stationary Determinantal Processes: Phase Multiplicity, Bernoullicity, Entropy, and Domination

abstract: We study a class of stationary processes indexed by $\Z^d$ that are defined via minors of $d$-dimensional (multilevel) Toeplitz matrices. We obtain necessary and sufficient conditions for phase multiplicity (the existence of a phase transition) analogous to that which occurs in statistical mechanics. Phase uniqueness is equivalent to the presence of a strong $K$ property, a particular strengthening of the usual $K$ (Kolmogorov) property. We show that all of these processes are Bernoulli shifts (isomorphic to i.i.d. processes in the sense of ergodic theory). We obtain estimates of their entropies and we relate these processes via stochastic domination to product measures.


title: Determinantal probability measures

abstract: Determinantal point processes have arisen in diverse settings in recent years and have been investigated intensively. We study basic combinatorial and probabilistic aspects in the discrete case. Our main results concern relationships with matroids, stochastic domination, negative association, completeness for infinite matroids, tail triviality, and a method for extension of results from orthogonal projections to positive contractions. We also present several new avenues for further investigation, involving Hilbert spaces, combinatorics, homology, and group representations, among other areas.


title: A prismatic decomposition of the Barratt-Eccles operad

abstract: The Barratt-Eccles operad is a simplicial operad formed by the classical homogeneous bar construction of the symmetric groups. We prove that these simplicial sets decompose as unions of prisms indexed by surjections. We observe that the cellular complexes given by this prismatic structure are nothing but the components of the surjection operad (the operad introduced by J. McClure and J. Smith in their work on the Deligne conjecture).


title: On Markovian Cocycle Perturbations in Classical and Quantum Probability

abstract: We introduce Markovian cocycle perturbations of the groups of transformations associated with the classical and quantum stochastic processes with stationary increments, which are characterized by a localization of the perturbation to the algebra of events of the past. It is namely the definition one needs because the Markovian perturbations of the Kolmogorov flows associated with the classical and quantum noises result in the perturbed group of transformations which can be decomposed in the sum of a part associated with deterministic stochastic processes lying in the past and a part associated with the noise isomorphic to the initial one. This decomposition allows to obtain some analog of the Wold decomposition for classical stationary processes excluding a nondeterministic part of the process in the case of the stationary quantum stochastic processes on the von Neumann factors which are the Markovian perturbations of the quantum noises. For the classical stochastic process with noncorrelated increaments it is constructed the model of Markovian perturbations describing all Markovian cocycles up to a unitary equivalence of the perturbations. Using this model we construct Markovian cocyclies transformating the Gaussian state $\rho $ to the Gaussian states equivalent to $\rho $.


title: Special K\"ahler-Ricci potentials on compact K\"ahler manifolds

abstract: A special K\"ahler-Ricci potential on a K\"ahler manifold is any nonconstant $C^\infty$ function $\tau$ such that $J(\nabla\tau)$ is a Killing vector field and, at every point with $d\tau\ne 0$, all nonzero tangent vectors orthogonal to $\nabla\tau$ and $J(\nabla\tau)$ are eigenvectors of both $\nabla d\tau$ and the Ricci tensor. For instance, this is always the case if $\tau$ is a nonconstant $C^\infty$ function on a K\"ahler manifold $(M,g)$ of complex dimension $m>2$ and the metric $\tilde g=g/\tau^2$, defined wherever $\tau\ne 0$, is Einstein. (When such $\tau$ exists, $(M,g)$ may be called {\it almost-everywhere conformally Einstein}.) We provide a complete classification of compact K\"ahler manifolds with special K\"ahler-Ricci potentials and use it to prove a structure theorem for compact K\"ahler manifolds of any complex dimension $m>2$ which are almost-everywhere conformally Einstein.


title: Differential equations of order 1 in fields of zero characteristic

abstract: I begin from a particular field of generalised Puiseux series and investigate a class of nonlinear differential equations in the field. It is appeared that the main part of differential equation determines solvability and positions of resonance i.e. the appearance of a free constant in solutions. Secondly, for any singular differential equation in a differential field of the form $Q(y)\dot y=P(y)$, $P,Q$ polynomials. Then the greatest Picard-Vessiot extension exists. It is shown that the arising set of solutions is obtained from algebraic equations labelled by constants. Sufficient conditions for the PV extension being extended liouvillian are delivered.


title: Relative K-theory and class field theory for arithmetic surfaces

abstract: In this paper we extend the unramified class field theory for arithmetic surfaces of K. Kato and S. Saito to the relative case. Let X be a regular proper arithmetic surface and let Y be the support of divisor on X. Let CH_0(X,Y) denote the relative Chow group of zero cycles and let \tilde \pi_1^t(X,Y)^ {ab} denote the abelianized modified tame fundamental group of (X,Y) (which classifies finite etale abelian covings of X-Y which are tamely ramified along Y and in which every real point splits completely). THEOREM: There exists a natural reciprocity isomorphism rec: CH_0(X,Y) --> \tilde \pi_1^t(X,Y)^{ab}. Both groups are finite.


title: Variationally complete actions on compact symmetric spaces

abstract: We prove that an isometric action of a compact Lie group on a compact symmetric space is variationally complete if and only if it is hyperpolar.


title: The hexagonal versus the square lattice

abstract: We establish Schmutz Schaller's conjecture that the hexagonal lattice is `better' than the square lattice. Schmutz Schaller (Bulletin of the AMS 35 (1998), p. 201), motivated by considerations from hyperbolic geometry, conjectured that in dimensions 2 to 8 the best known lattice sphere packings have `maximal lengths' and goes on to write: "In dimension 2 the conjecture means in particular that the hexagonal lattice is `better' than the square lattice. More precisely, let 0<h_1<h_2<... be the positive integers, listed in ascending order, which can be written as h_i=x^2+3y^2 for integers x and y. Let 0<q_1<q_2<... be the positive integers, listed in ascending order, which can be written as q_i=x^2+y^2 for integers x and y. Then the conjecture is that q_i<=h_i for i=1,2,3,..." Our proof requires computational prime number theory in combination with methods from a preprint of the first author (to appear in Math. Comp.), arXiv:math.NT/0112100.


title: Categorification of some level two representations of sl(n)

abstract: We categorify representations of quantum sl(n) whose highest weight is twice a fundamental weight.


title: Maximal tori in the contactomorphism groups of circle bundles over Hirzebruch surfaces

abstract: In a recent preprint Yael Karshon showed that there exist non-conjugate tori in a group of symplectomorphisms of a Hirzebruch surface. She counted them in terms of the cohomology class of the symplectic structure. We show that a similar phenomenon exists in the contactomorphism groups of pre-quantum circle bundles over Hirzebruch surfaces. Note that the contact structures in question are fillable. This may be contrasted with an earlier paper where we showed that there are infinitely many non-conjugate tori in the contactomorphism groups of certain overtwisted lens spaces (Contact cuts, Israel J. Math, 124(2001), 77--92).


title: Rigidification of pseudo-Riemannian Manifolds by an Elliptic Equation

abstract: We study the solvability of the equation for the smooth function F, H=-k F g, on a geodesically complete pseudo-Riemannian manifold (M,g), H being the covariant Hessian of F. A similar equation was considered by Obata and Gallot in the Riemannian case for positive values of the constant k; the result was that the manifold must be the canonical sphere. In this generalized setting we obtain a range of possibilities, depending on the sign of k, the signature of the metric and the value of a certain first integral of the equation: the manifold is shown to be of constant sectional curvature or a warped product with suitable factors depending on the cases.


title: Higher dimensional Zariski decompositions

abstract: Using currents with minimal singularities, we construct pointwise minimal multiplicities for a real pseudo-effective $(1,1)$-class $\alpha$ on a compact complex $n$-fold $X$, which are the local obstructions to the numerical effectivity of $\alpha$. The negative part of $\alpha$ is then defined as the real effective divisor $N(\alpha)$ whose multiplicity along a prime divisor $D$ is just the generic multiplicity of $\alpha$ along $D$, and we get in that way a divisorial Zariski decomposition of $\alpha$ into the sum of a class $Z(\alpha)$ which is nef in codimension 1 and the class of its negative part $N(\alpha)$, which is exceptional in the sense that it is very rigidly embedded in $X$. The positive parts $Z(\alpha)$ generate a modified nef cone, and the pseudo-effective cone is shown to be locally polyhedral away from the modified nef cone, with extremal rays generated by exceptional divisors. We then treat the case of a surface and a hyper-K\"ahler manifold in some detail: under the intersection form (resp. the Beauville-Bogomolov form), we characterize the modified nef cone and the exceptional divisors; our divisorial Zariski decomposition is orthogonal, and is thus a rational decomposition, which fact accounts for the usual existence statement of a Zariski decomposition on a projective surface, which is thus extended to the hyper-K\"ahler case. Finally, we explain how the divisorial Zariski decomposition of (the first Chern class of) a big line bundle on a projective manifold can be characterized in terms of the asymptotics of the linear series $|kL|$ as $k\to\infty$.


title: Quotients of finite quasi-Hopf algebras

abstract: Let H be a finite-dimensional quasi-Hopf algebra. We show for each quotient quasibialgebra Q of H that Q is a quasi-Hopf algebra whose dimension divides the dimension of H.


title: Morita base change in quantum groupoids

abstract: Let $L$ be a quantum semigroupoid, more precisely a $\times_R$-bialgebra in the sense of Takeuchi. We describe a procedure replacing the algebra $R$ by any Morita equivalent, or in fact more generally any $\sqrt{\text{Morita}}$ equivalent (in the sense of Takeuchi) algebra $S$ to obtain a $\times_S$-bialgebra $\widetilde H$ with the same monoidal representation category.


title: A simple C*-algebra with a finite and an infinite projection

abstract: An example is given of a simple, unital C*-algebra which contains an infinite and a non-zero finite projection. This C*-algebra is also an example of an infinite simple C*-algebra which is not purely infinite. A corner of this C*-algebra is a finite, simple, unital C*-algebra which is not stably finite. Our example shows that the type decomposition for von Neumann factors does not carry over to simple C*-algebras. Added March 2002: We also give an example of a simple, separable, nuclear C*-algebra in the UCT class which contains an infinite and a non-zero finite projection. This nuclear C*-algebra arises as a crossed product of an inductive limit of type I C*-algebras by an action of the integers.


title: A stable cohomotopy refinement of Seiberg-Witten invariants: I

abstract: The monopole map defines an element in an equivariant stable cohomotopy group refining the Seiberg-Witten invariant. This first of two articles presents the details of the definition of the stable cohomotopy invariant and discusses its relation to the integer valued Seiberg-Witten invariant.


title: Characterization of cycle domains via Kobayashi hyperbolicity

abstract: A real form $G$ of a complex semisimple Lie group $G^C$ has only finitely many orbits in any given $G^C$-flag manifold $Z=G^C/Q$. The complex geometry of these orbits is of interest, e.g., for the associated representation theory. The open orbits $D$ generally possess only the constant holomorphic functions, and the relevant associated geometric objects are certain positive-dimensional compact complex submanifolds of $D$ which, with very few well-understood exceptions, are parameterized by the Wolf cycle domains $\Omega_W(D)$ in $G^C/K^C$, where $K$ is a maximal compact subgroup of $G$. Thus, for the various domains $D$ in the various ambient spaces $Z$, it is possible to compare the cycle spaces $\Omega_W(D)$. The main result here is that, with the few exceptions mentioned above, for a fixed real form $G$ all of the cycle spaces $\Omega_W(D)$ are the same. They are equal to a universal domain $\Omega_{AG}$ which is natural from the the point of view of group actions and which, in essence, can be explicitly computed. The essential technical result is that if $\hat \Omega $ is a $G$-invariant Stein domain which contains $\Omega_{AG}$ and which is Kobayashi hyperbolic, then $\hat \Omega =\Omega_{AG}$. The equality of the cycle domains follows from the fact that every $\Omega_W(D)$ is itself Stein, is hyperbolic, and contains $\Omega_{AG}$.


title: Coassociativity breaking and oriented graphs

abstract: This paper is an attempt to unify coassociative coalgebra theory and random walks on oriented graphs.


title: U(1)-invariant special Lagrangian 3-folds. III. Properties of singular solutions

abstract: This is the third in a series of three papers math.DG/0111324, math.DG/0111326 studying special Lagrangian 3-submanifolds (SL 3-folds) N in C^3 invariant under the U(1)-action (z_1,z_2,z_3) --> (gz_1,g^{-1}z_2,z_3) for unit complex numbers g, using analytic methods. The three papers are surveyed in math.DG/0206016. Let N be such a U(1)-invariant SL 3-fold. Then |z_1|^2-|z_2|^2=2a on N for some real a. Locally, N can be written as a kind of graph of functions u,v : R^2 --> R satisfying a nonlinear Cauchy-Riemann equation depending on a. When a is nonzero, u,v are smooth and N is nonsingular. But if a=0, there may be points (x,0) where u,v are not differentiable, corresponding to singular points of N. The first paper math.DG/0111324 studied the case a nonzero, and proved existence and uniqueness for solutions of two Dirichlet problems derived from the nonlinear Cauchy-Riemann equation. This yields existence and uniqueness of a large class of nonsingular U(1)-invariant SL 3-folds in C^3, with boundary conditions. The second paper math.DG/0111326 extended these results to weak solutions of the Dirichlet problems when a=0, giving existence and uniqueness of many singular U(1)-invariant SL 3-folds in C^3, with boundary conditions. This third paper studies the singularities of these SL 3-folds. We show that under mild conditions the singularities are isolated, and have a multiplicity n>0, and one of two types. Examples are constructed with every multiplicity and type. We also prove the existence of large families of U(1)-invariant special Lagrangian fibrations of open sets in C^3, including singular fibres.


title: Some two-step and three-step nilpotent Lie groups with small automorphism groups

abstract: We construct examples of two-step and three-step nilpotent Lie groups whose automorphism groups are `small' in the sense of either not having a dense orbit for the action on the Lie group, or being nilpotent (the latter being stronger). From the results we get also new examples of compact manifolds covered by two-step simply connected Lie groups, which do not admit Anosov automorphisms.


title: Universal bounds for hyperbolic Dehn surgery

abstract: This paper gives a quantitative version of Thurston's hyperbolic Dehn surgery theorem. Applications include the first universal bounds on the number of non-hyperbolic Dehn fillings on a cusped hyperbolic 3-manifold, and estimates on the changes in volume and core geodesic length during hyperbolic Dehn filling. The proofs involve the construction of a family of hyperbolic cone-manifold structures, using infinitesimal harmonic deformations and analysis of geometric limits.


title: The Drinfeld associator of gl(1|1)

abstract: We determine explicitly a rational even Drinfeld associator Q in a completion of the universal enveloping algebra of the Lie superalgebra gl(1|1)^3. More generally, we define a new algebra of trivalent diagrams that has a unique even horizontal group-like Drinfeld associator P. The associator P is mapped to Q by a weight system. As a result of independent interest, we show how O. Viro's generalization Delta^1 of the multi-variable Alexander polynomial can be obtained from the universal Vassiliev invariant of trivalent graphs. We determine P by using the invariant Delta^1(T) of a planar tetrahedron T.


title: Maximal tori in the symplectomorphism groups of Hirzebruch surfaces

abstract: We count the conjugacy classes of maximal tori in the groups of symplectomorphisms of S^2 \times S^2 and of the blow-up of CP^2 at a point.


title: Hopf-Galois Systems

abstract: We introduce the concept of Hopf-Galois system, a reformulation of the notion of Galois extension of the base field for a Hopf algebra. The main feature of our definition is a generalization of the antipode of an ordinary Hopf algebra. The main application of Hopf-Galois systems is the construction of monoidal equivalences between comodule categories over Hopf algebras.


title: On the Kaehler angles of submanifolds

abstract: We prove that under certain conditions on the mean curvature and on the Kaehler angles, a compact submanifold M of real dimension 2n, immersed into a Kaehler-Einstein manifold N of complex dimension 2n, must be either a complex or a Lagrangian submanifold of N, or have constant Kaehler angle, depending on n=1, n=2, or n \geq 3, and the sign of the scalar curvature of N. These results generalize to non-minimal submanifolds some known results for minimal submanifolds. Our main tool is a Bochner-type technique involving a formula on the Laplacian of a symmetric function on the Kaehler angles and the Weitzenboeck formula for the Kaehler form of N restricted to M.


title: Algorithm to generate ideals in a Lie algebra of matrices at any particular characteristic with Mathematica

abstract: We present in this paper a routine which construct the ideal generated by a list of elements in a matrix Lie algebra at any particular characteristic. We have used this algorithm to analyze the problem of the simplicity of some Lie algebras.


title: Subcritical Stein manifolds are split

abstract: It is shown that every subcritical Stein manifold is deformation equivalent to the product of a Stein manifold with $\C$.


title: Diffeomorphism type of the Berger space

abstract: We compute the Eells-Kuiper invariant of the Berger manifold SO(5)/SO(3) and determine that it is diffeomorphic to the total space of an S^3-bundle over S^4. This answers a question raised by K. Grove and W. Ziller.


title: Word Hyperbolic Semigroups

abstract: The study of word hyperbolic groups is a prominent topic in geometric group theory; however word hyperbolic groups are defined by a geometric condition which does not extend naturally to semigroups. We propose a linguistic definition. Roughly speaking a semigroup is word hyperbolic if its multiplication table is a context free language. For groups this definition is equivalent to the original geometric one. We also briefly consider word problems of semigroups.


title: The ring of sections of a complete symmetric variety

abstract: We study the ring of sections A(X) of a complete symmetric variety X, that is of the wonderful completion of G/H where G is an adjoint semi-simple group and H is the fixed subgroup for an involutorial automorphism of G. We find generators for Pic(X), we generalize the PRV conjecture to complete symmetric varieties and construct a standard monomial theory for A(X) that is compatible with G orbit closures in X. This gives a degeneration result and the rational singularityness for A(X).


title: Smooth quiver quotient varieties

abstract: In this paper we classify all the quivers and corresponding dimension vectors having a smooth space of semisimple representation classes. The result is that these quiver settings can be reduced via some specific reduction steps to 3 simple types.


title: PALP: A Package for Analyzing Lattice Polytopes with Applications to Toric Geometry

abstract: We describe our package PALP of C programs for calculations with lattice polytopes and applications to toric geometry, which is freely available on the internet. It contains routines for vertex and facet enumeration, computation of incidences and symmetries, as well as completion of the set of lattice points in the convex hull of a given set of points. In addition, there are procedures specialised to reflexive polytopes such as the enumeration of reflexive subpolytopes, and applications to toric geometry and string theory, like the computation of Hodge data and fibration structures for toric Calabi-Yau varieties. The package is well tested and optimised in speed as it was used for time consuming tasks such as the classification of reflexive polyhedra in 4 dimensions and the creation and manipulation of very large lists of 5-dimensional polyhedra. While originally intended for low-dimensional applications, the algorithms work in any dimension and our key routine for vertex and facet enumeration compares well with existing packages.


title: Multi-dimensional vector product

abstract: It is shown that multi-dimensional generalization of the vector product is only possible in seven dimensional space.


title: A noncommutative Weierstrass preparation theorem and applications to Iwasawa theory

abstract: In this paper and a forthcoming joint one with Y. Hachimori we study Iwasawa modules over an infinite Galois extension K of a number field k whose Galois group G=G(K/k) is isomorphic to the semidirect product of two copies of the p-adic numbers. After first analyzing some general algebraic properties of the corresponding Iwasawa algebra, we apply these results to the Galois group of the p-Hilbert class field over K. As a main tool we prove a Weierstrass preparation theorem for certain skew power series rings. One striking result in our work is the discovery of the abundance of faithful torsion modules, i.e. non-trivial torsion modules whose global annihilator ideal is zero. Finally we show that the completed group algebra with coefficients in the finite field of p elements is a unique factorization domain in the sense of Chatters.


title: An analogue of a conjecture of Mazur a question in Diophantine approximation on tori

abstract: B. Mazur has considered the question of density in the Euclidean topology of the set of ${\Bbb Q}$-rational points on a variety $X$ defined over ${\Bbb Q}$, in particular for Abelian varieties. In this paper we consider the question of closures of the image of finitely generated subgroups of $T({\Bbb Q})$ in $\Gamma \backslash T({\Bbb R})$ where $T$ is a torus defined over ${\Bbb Q}$, $\Gamma$ an arithmetic subgroup such that $\Gamma \backslash T({\Bbb R})$ is compact. Assuming Schanuel's conjecture, we prove that the closures correspond to sub {\it algebraic} tori of $T$.


title: Computing Igusa's local zeta functions of univariate polynomials, and linear feedback shift registers

abstract: In this paper we present a polynomial time algorithm to compute the local zeta function Z(s,f) attached to a polynomial f(x) in Z[x] (in one variable, with splitting field Q) and a prime p. The algorithm reduces in polynomial time the computation of Z(s,f) to the computation of a factorization of f(x) over Q. This reduction is accomplished by constructing a weighted tree from the p-adic expansion of the roots of f(x) modulo a certain power of p, and then associating a generating function to this tree. The generating function constructed in this way coincides with the local zeta function of f(x). We also propose a new class of candidates for one-way functions based on Igusa's zeta functions attached to polynomials in one variable.


title: Local points on P-adically uniformized Shimura varieties

abstract: Using the p-adic uniformization of Shimura varieties we determine, for some of them, over which local fields they have rational points. Using this we show in some new curve cases that the jacobians are even in the sense of Poonen and Stoll.


title: A note on the Gurov-Reshetnyak condition

abstract: We established an equivalence between the Gurov-Reshetnyak and Muckenhoupt A_\infty conditions for an arbitrary absolutely continuous measures.


title: Bounds for the 3x+1 Problem using Difference Inequalities

abstract: We study difference inequality systems for the 3x+1 problem introduced by the first author in 1989. These systemes can be used to give lower bounds for the number of integers below x that contain 1 in their forward orbit under the 3x+1 map. Previous methods gave away some information in these inequalities. We give an improvement which apparantly extracts full information from the inequalities. By computer aided proof we show that at least x^{0.84} of the integers below x contain 1 in their forward orbit under the 3x+1 map.


title: A strengthening of the Nyman-Beurling criterion for the Riemann hypothesis, 2

abstract: Let $\rho(x)=x-[x]$, $\chi=\chi_{(0,1)}$. In $L_2(0,\infty)$ consider the subspace $\B$ generated by $\{\rho_a|a\geq1\}$ where $\rho_a(x):=\rho(\frac{1}{ax})$. By the Nyman-Beurling criterion the Riemann hypothesis is equivalent to the statement $\chi\in\bar{\B}$. For some time it has been conjectured, and proved in the first version of this paper, posted in arXiv:math.NT/0202141 v2, that the Riemann hypothesis is equivalent to the stronger statement that $\chi\in\bar{\Bnat}$ where $\Bnat$ is the much smaller subspace generated by $\{\rho_a|a\in\Nat\}$. This second version differs from the first in showing that under the Riemann hypothesis for some constant $c>0$ the distance between $\chi$ and $-\sum_{a=1}^n\mu(a)e^{-c\frac{\log a}{\log\log n}}\rho_a$ is of order $(\log\log n)^{-1/3}$.


title: Properties and Consequences of th-Independence

abstract: We develop a new notion of independence suggested by Scanlon (th-independence). We prove that in a large class of theories (which includes all simple theories) this notion has many of the properties needed for an adequate geometric structure in these models. We also prove that this definition agrees with the usual independence notions in stable, supersimple and o-minimal theories. Finally, many of the proofs and results we get for th-independence when restricted to simple theories seem to show there is some connection between th-independence and the stable forking conjecture. In particular, we prove that in any simple theory where this conjecture holds, our definition agrees with the classic definition.


title: The rings of noncommutative projective geometry

abstract: In the past 15 years a study of ``noncommutative projective geometry'' has flourished. By using and generalizing techniques of commutative projective geometry, one can study certain noncommutative graded rings and obtain results for which no purely algebraic proof is known. For instance, noncommutative graded domains of quadratic growth, or ``noncommutative curves,'' have now been classified by geometric data and these rings must be noetherian. Rings of cubic growth, or ``noncommutative surfaces,'' are not yet classified, but a rich theory is currently forming. In this survey, we describe some of these results and examine the question of which rings should be included in noncommutative projective geometry.


title: Prescribing the scalar curvature under minimal boundary conditions on the half sphere

abstract: This paper is devoted to the problem of prescribing the scalar curvature under zero boundary conditions. Using dynamical and topological methods involving the study of critical points at infinity of the associated variational problem, we prove some existence results on the standard half sphere.


title: Characterization of anysotropic Liouville-type mixed spaces and its application

abstract: Within the framework of the method of hypersingular integrals we obtain a characterization of the anysotropic spaces $L_{\bar p, \bar r}^{\bar \alpha}$. These spaces are defined to consist of functions $f(x)\in L_{\bar r}$ for which $ F^{-1}(\sum_{j=1}^n |\xi_j|^{\alpha_j})Ff\in L_{\bar p}, \alpha_j>0. $ The mentioned characterization is applied to prove the denseness of the class $C_0^\infty$ in $L_{\bar p, \bar r}^{\bar \alpha}$.


title: A note on Galois modules and the algebraic fundamental group of projective curves

abstract: Let $X$ be a smooth projective connected curve of genus $g\ge 2$ defined over an algebraically closed field $k$ of characteristic $p>0$. Let $G$ be a finite group, $P$ a Sylow $p$-subgroup of $G$ and $N_G(P)$ its normalizer in $G$. We show that if there exists an \'etale Galois cover $Y\to X$ with group $N_G(P)$, then $G$ is the Galois group wan \'etale Galois cover $\mathcal{Y}\to\mathcal{X}$, where the genus of $\mathcal{X}$ depends on the order of $G$, the number of Sylow $p$-subgroups of $G$ and $g$. Suppose that $G$ is an extension of a group $H$ of order prime to $p$ by a $p$-group $P$ and $X$ is defined over a finite field $\mathbb{F}_q$ large enough to contain the $|H|$-th roots of unity. We show that integral idempotent relations in the group ring $\mathbb{C}[H]$ imply similar relations among the corresponding generalized Hasse-Witt invariants.


title: Moduli spaces of weighted pointed stable curves

abstract: A weighted pointed curve consists of a nodal curve and a sequence of marked smooth points, each assigned a number between zero and one. A subset of the marked points may coincide if the sum of the corresponding weights is no greater than one. We construct moduli spaces for these objects using methods of the log minimal model program, and describe the induced birational morphisms between moduli spaces as the weights are varied. In the genus zero case, we explain the connection to Geometric Invariant Theory quotients of points in the projective line, and to compactifications of moduli spaces studied by Kapranov, Keel, and Losev-Manin.


title: Triple canonical covers of varieties of minimal degree

abstract: In this article we study pluriregular varieties X of general type with base-point-free canonical bundle whose canonical morphism has degree 3 and maps X onto a variety of minimal degree Y. We carry out our study from two different perspectives. First we study in Section 2 the canonical ring of X describing completely the degrees of its minimal generators. We apply this to the study of the projective normality of the images of the pluricanonical morphisms of X. Our study of the canonical ring of $X$ also shows that, if the dimension of X is greater than or equal to 3, there does not exist a converse to a theorem of M. Green that bounds the degree of the generators of the canonical ring of X. This is in sharp contrast with the situation in dimension 2 where such converse exists, as proved by the authors in a previous work. Second, we study in Section 3, the structure of the canonical morphism of X. We use this to show among other things the non-existence of some a priori plausible examples of triple canonical covers of varieties of minimal degree. We also characterize the targets of flat canonical covers of varieties of minimal degree. Some of the results of Section 3 are more general and apply to varieties X which are not necessarily regular, and to targets Y that are scrolls which are not of minimal degree.


title: Decomposition into pairs-of-pants for complex algebraic hypersurfaces

abstract: It is well-known that a Riemann surface can be decomposed into the so-called pairs-of-pants. Each pair-of-pants is diffeomorphic to a Riemann sphere minus 3 points. We show that a smooth complex projective hypersurface of arbitrary dimension admits a similar decomposition. The n-dimensional pair-of-pants is diffeomorphic to the complex projective n-space minus n+2 hyperplanes. Alternatively, these decompositions can be treated as certain fibrations on the hypersurfaces. We show that there exists a singular fibration on the hypersurface with an n-dimensional polyhedral complex as its base and a real n-torus as its fiber. The base accomodates the geometric genus of a hypersurface V. Its homotopy type is a wedge of h^{n,0}(V) spheres S^n.


title: Deformations of generalized calibrations and compact non-Kahler manifolds with vanishing first Chern class

abstract: We investigate the deformation theory of a class of generalized calibrations in Riemannian manifolds for which the tangent bundle has reduced structure group U(n), SU(n), G_2 and Spin(7). For this we use the property of the associated calibration form to be parallel with respect to a metric connection which may have non-vanishing torsion. In all these cases, we find that if there is a moduli space, then it is finite dimensional. We present various examples of generalized calibrations that include almost hermitian manifolds with structure group U(n) or SU(n), nearly parallel G_2 manifolds and group manifolds. We find that some Hopf fibrations are deformation families of generalized calibrations. In addition, we give sufficient conditions for a hermitian manifold (M,g,J) to admit Chern and Bismut connections with holonomy contained in SU(n). In particular we show that any connected sum of $k \geq 3$ copies of $S^3 \times S^3$ admits a hermitian structure for which the restricted holonomy of a Bismut connection is contained in SU(3).


title: Torus and Z/p actions on manifolds

abstract: Let G be either a finite cyclic group of prime order or S^1. We find new relations between cohomology of a manifold (or a Poincare duality space) M with a G-action on it and cohomology of the fixed point set, M^G. Our main tool is the notion of Poincare duality on the Leray spectral sequence of the map M_G -> BG. We apply our results to study group actions on 3-manifolds.


title: Topological model categories generated by finite complexes

abstract: Our main result states that for each finite complex L the category ${\bf TOP}$ of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all [L]-homotopy groups. The concept of [L]-homotopy has earlier been introduced by the first author and is based on Dranishnikov's notion of extension dimension. As a corollary we obtain an algebraic characterization of [L]-homotopy equivalences between [L]-complexes. This result extends two classical theorems of J. H. C. Whitehead. One of them -- describing homotopy equivalences between CW-complexes as maps inducing isomorphisms of all homotopy groups -- is obtained by letting $L = \{{\rm point}\}$. The other -- describing n-homomotopy equivalences between at most $(n+1)$-dimensional CW-complexes as maps inducing isomorophisms of k-dimensional homotopy groups with $k \leq n$ -- by letting $L = S^{n+1}$, $n \geq 0$.


title: A Gauss-Bonnet theorem for constructible sheaves on reductive groups

abstract: We prove an analog of the Gauss-Bonnet formula for constructible sheaves on reductive groups. As a corollary from this formula we get that if a perverse sheaf on a reductive group is equivariant under the adjoint action, then its Euler characteristic is nonnegative.


title: A remark on the converging-input converging-state property

abstract: Suppose that an equilibrium is asymptotically stable when external inputs vanish. Then, every bounded trajectory which corresponds to a control which approaches zero and which lies in the domain of attraction of the unforced system, must also converge to the equilibrium. This "well-known" but hard-to-cite fact is proved and slightly generalized here.


title: Singular trajectories in multi-input time-optimal problems: Application to controlled mechanical systems

abstract: This paper addresses the time-optimal control problem for a class of control systems which includes controlled mechanical systems with possible dissipation terms. The Lie algebras associated with such mechanical systems enjoy certain special properties. These properties are explored and are used in conjunction with the Pontryagin maximum principle to determine the structure of singular extremals and, in particular, time-optimal trajectories. The theory is illustrated with an application to a time-optimal problem for a class of underwater vehicles


title: The Action of Adeles on the Residue Complex

abstract: Let X be a scheme of finite type over a perfect field k. In this paper we study the relation between two important objects associated to X: the Grothendieck residue complex and the Beilinson adeles complex. It is known that the complex of adeles is a DGA (differential graded algebra). Our first main result is that the residue complex is a right DG module over the adeles complex. The second main result is that the de Rham residue complex is a DG module over the de Rham adeles complex. This action gives rise to the cap product in de Rham (co)homology.


title: Dirac submanifolds of Jacobi manifolds

abstract: The notion of a Dirac submanifold of a Poisson manifold was studied by Xu (arXiv:math.SG/0110326). We give an interpretation of Xu's definition in terms of a general notion of tensor fields soldered to a normalized submanifold. Then, this interpretation is used to define Dirac submanifolds of a Jacobi manifold. Several properties and examples are discussed.


title: Compact endomorphisms of Banach algebras of infinitely differentiable functions

abstract: We consider non-zero endomorphisms of the Dales and Davie algebras of infinitely differentiable functions on intervals in the real line. We discuss necessary and sufficient conditions for a selfmap of the interval to induce a compact endomorphism of these algebras. We also determine the spectra of these compact endomorphisms.


title: Local models in the ramified case. II. Splitting models

abstract: This paper is a continuation of our paper math.AG/0006222. We study the reduction of certain PEL Shimura varieties with parahoric level structure at primes p at which the group that defines the Shimura variety ramifies. We describe "good" $p$-adic integral models of these Shimura varieties and study their 'etale local structure. In particular, we exhibit a stratification of their (singular) special fibers and give a partial calculation of the sheaf of nearby cycles.


title: A guide to the reduction modulo p of Shimura varieties

abstract: This is a report on results and methods in the reduction modulo p of Shimura varieties with parahoric level structure. In the first part, the local theory, we explain the concepts of parahoric subgroups, of the mu-admissible and mu-permissible subsets of the Iwahori-Weyl group, of the corresponding union of affine Deligne-Lusztig varieties and of local models. In the second part, the global theory, we use these concepts to formulate conjectures on the points in the reduction modulo p of Shimura varieties with parahoric level structure.


title: Topological rigidity of algebraic $\P_3$-bundles over curves

abstract: A projective algebraic surface which is homeomorphic to a ruled surface over a curve of genus $g\ge 1$ is itself a ruled surface over a curve of genus $g$. In this note, we prove the analogous result for projective algebraic manifolds of dimension 4 in case $g\ge 2$.


title: The Knuth-Robinson-Schensted correspondence and the Weak Polynomial Identities of $M_{1,1}(E)$

abstract: In this paper it is proved that the ideal $I_w$ of the weak polynomial identities of the superalgebra $M_{1,1}(E)$ is generated by the proper polynomials $[x_1,x_2,x_3]$ and $[x_2,x_1][x_3,x_1][x_4,x_1]$. This is proved for any infinite field $F$ of characteristic different from 2. Precisely, if $B$ is the subalgebra of the proper polynomials of $F< X>$, we determine a basis and the dimension of any multihomogeneous component of the quotient algebra $B / B \cap I_w$. We compute also the Hilbert series of this algebra. One of the main tools of the paper is a variant we found of the Knuth-Robinson-Schensted correspondence defined for single semistandard tableaux of double shape.


title: Weak equivalences of simplicial presheaves

abstract: The usual way of defining weak equivalences for simplicial presheaves is to require an isomorphism on all sheaves of homotopy groups. We unravel some of the machinery here, and give a more concrete description in terms of local homotopy lifting properties. This characterization is used to prove some basic facts about the local homotopy theory of simplicial presheaves.


title: Three point covers with bad reduction

abstract: We study Galois covers of the projective line branched at three points with bad reduction to characteristic p, under the condition that p exactly divides the order of the Galois group. As an application of our results, we prove that the field of moduli of such a cover is at most tamely ramified at p.


title: Hypercovers and simplicial presheaves

abstract: We prove that Jardine's model category of simplicial presheaves can be obtained by localizing the `discrete' version at the collection of all hypercovers. One consequence is that the fibrant objects can be explicitly identified in terms of a hypercover descent condition. Another is a very simple approach to change-of-site functors. In an appendix, we discuss how this hypercover localization compares to the more naive process of localizing at the Cech complexes; the two are not the same in general, but agree in some cases of interest.


title: The Pressure Function for Products of Non-negative Matrices

abstract: Let $(\Sigma_A, \sigma)$ be a subshift of finite type and let $M(x)$ be a continuous function on $\Sigma_A$ taking values in the set of non-negative matrices. We extend the classical scalar pressure function to this new setting and prove the existence of the Gibbs measure and the differentiability of the pressure function. We are especially interested on the case where $M(x)$ takes finite values $M_1, ..., M_m$. The pressure function reduces to $P(q):=\lim_{n\to \infty}\frac{1}{n} \log \sum_{J \in \sum_{A, n}} \|M_J\|^q$. The expression is important when we consider the multifractal formalism for certain iterated function systems with overlaps.


title: Floer Cohomology of Certain pseudo-Anosov Maps

abstract: Floer cohomology is computed for certain elements of the mapping class group of a surface $\Sigma$ of genus $g>1$ which are compositions of positive and negative dehn twists along some loops in $\Sigma$. The computations cover a certain class of pseudo-Anasov maps.


title: Hofer-Zehnder capacity and Hamiltonian circle actions

abstract: We introduce the Hofer-Zehnder $G$-semicapacity $c_{HZ}^G(M,\om)$ of a symplectic manifold $(M,\om)$ with respect to a subgroup $G \subset \pi_1(M)$ ($c_{HZ}(M,\om) \leq c^G_{HZ}(M,\om)$) and prove that if $(M,\om)$ is tame and there exists an open subset $U \subset M$ admitting a Hamiltonian free circle action with order greater than two then $U$ has bounded Hofer-Zehnder $G$-semicapacity, where $G \subset \pi_1(M)$ is the subgroup generated by the orbits of the action, provided that the index of rationality of $(M,\om)$ is sufficiently great (for instance, if $[\om]|_{\pi_2(M)}=0$). We give a lot of applications of this result. Using P. Biran's decomposition theorem, we prove the following: let $(M^{2n},\Om)$ be a closed K\"ahler manifold ($n>2$) with $[\Om] \in H^2(M,\Z)$ and $\Sigma$ a complex hypersurface representing the Poincar\'e dual of $k[\Om]$, for some $k \in \N$. Suppose either that $\Om$ vanishes on $\pi_2(\Sigma)$ or that $k>2$. Then there exists a decomposition of $M\setminus\Sigma$ into an open dense connected subset with finite Hofer-Zehnder capacity and an isotropic CW-complex. Moreover, we prove that if $(M,\Sigma)$ is subcritical then $M\setminus\Sigma$ has finite Hofer-Zehnder capacity. We also show that given a hyperbolic surface $M$ and $TM$ endowed with the twisted symplectic form $\om_0 + \pi^*\Om$, where $\Om$ is the area form on $M$, then the Hofer-Zehnder $G$-semicapacity of the domain bounded by the hypersurface of kinetic energy $k$ minus the zero section $M_0$ is finite if $k\leq 1/2$, where $G \subset \pi_1(TM\setminus M_0)$ is the subgroup generated by the fibers of $SM$.


title: A limiting form of the q-Dixon_4\phi_3 summation and related partition identities

abstract: By considering a limiting form of the q-Dixon_4\phi_3 summation, we prove a weighted partition theorem involving odd parts differing by >= 4. A two parameter refinement of this theorem is then deduced from a quartic reformulation of Goellnitz's (Big) theorem due to Alladi, and this leads to a two parameter extension of Jacobi's triple product identity for theta functions. Finally, refinements of certain modular identities of Alladi connected to the Goellnitz-Gordon series are shown to follow from a limiting form of the q-Dixon_4\phi_3 summation.


title: Hausdorff dimension in stochastic dispersion

abstract: We consider the evolution of a connected set in Euclidean space carried by a periodic incompressible stochastic flow. While for almost every realization of the random flow at time t most of the particles are at a distance of order sqrt{t} away from the origin [DKK1], there is an uncountable set of measure zero of points, which escape to infinity at the linear rate [CSS1]. In this paper we prove that this set of linear escape points has full Hausdorff dimension.


title: A limit shape theorem for periodic stochastic dispersion

abstract: We consider the evolution of a connected set on the plane carried by a periodic incompressible stochastic flow. While for almost every realization of the random flow at time t most of the particles are at a distance of order sqrt{t} away from the origin, there is a measure zero set of points, which escape to infinity at the linear rate. We study the set of points visited by the original set by time t, and show that such a set, when scaled down by the factor of t, has a limiting non random shape.


title: Representations of algebras as universal localizations

abstract: Every finitely presented algebra S is shown to be Morita equivalent to the universal localization \sigma^{-1}R of a finite dimensional algebra R. The construction provides many examples of universal localizations which are not stably flat, i.e. Tor^R_i(\sigma^{-1}R,\sigma^{-1}R) is non-zero for some i>0. It is also shown that there is no algorithm to determine if two Malcolmson normal forms represent the same element of \sigma^{-1}R.


title: Explicit stable models of elliptic surfaces with sections

abstract: In this note we show how to find the stable model of a one-parameter family of elliptic surfaces with sections. More specifically, we perform the log Minimal Model Program in an explicit manner by means of toric geometry, in each such one parameter family. This way we obtain an explicit combinatorial description of the surfaces that may occur at the boundary of moduli (as well as a new proof of the completeness of the moduli space)


title: Foliations with few non-compact leaves

abstract: Let F be a foliation of codimension 2 on a compact manifold with at least one non-compact leaf. We show that then F must contain uncountably many non-compact leaves. We prove the same statement for oriented p-dimensional foliations of arbitrary codimension if there exists a closed p form which evaluates positively on every compact leaf. For foliations of codimension 1 on compact manifolds it is known that the union of all non-compact leaves is an open set [A Haefliger, Varietes feuilletes, Ann. Scuola Norm. Sup. Pisa 16 (1962) 367-397].


title: Semistable Principal Bundles-II (in positive characteristics)

abstract: Let H be a semisimple algebaric group and let X be a smooth projective curve defined over an algebraically closed field k. In the first part of this paper we show that the moduli of semistable principal H-bundles exists once given a "low-height" representation of H. We also show the projectivity of the moduli space if p > \psi, where \psi is a representation theoritic index. The projectivity is a consequence of a semistable reduction theorem. The irreducibility of the moduli space of semistable H-bundles for simple and simply connected group is obtained as a consequence.


title: Topological groups of Kac-Moody type, Fuchsian twinnings and their lattices

abstract: This paper deals with a class of totally disconnected groups acting on buildings, among which are certain Kac-Moody groups. The apartments of our buildings are hyperbolic planes tiled by right-angled polygons. We discuss linearity properties for the groups, as well as an analogy with semisimple groups over local fields of positive characteristic. Looking for counter-examples to this analogy leads to the construction of Moufang twinnings "with several ground fields".


title: Volume preserving bi-Lipschitz homeomorphisms on the Heisenberg group

abstract: Elementary sub-Riemannian geometry on the Heisenberg group H(n) provides a compact picture of symplectic geometry. Any Hamiltonian diffeomorphism on $R^{2n}$ lifts to a volume preserving bi-Lipschitz homeomorphisms of H(n), with the use of its generating function. Any curve of a flow of such homeomorphisms deviates from horizontality by the Hamiltonian of the flow. From the metric point of view this means that any such curve has Hausdorff dimension 2 and the $\mathcal{H}^{2}$ (area) density equal to the Hamiltonian. The non-degeneracy of the Hofer distance is a direct consequence of this fact.


title: Burnside obstructions to the Montesinos-Nakanishi 3-move conjecture

abstract: Yasutaka Nakanishi asked in 1981 whether a 3-move is an unknotting operation. In Kirby's problem list, this question is called `The Montesinos-Nakanishi 3-move conjecture'. We define the n-th Burnside group of a link and use the 3rd Burnside group to answer Nakanishi's question; ie, we show that some links cannot be reduced to trivial links by 3-moves.


title: The $\alpha$-Invariant on $CP^2#2\bar{CP^2}$

abstract: In this paper, we apply the Tian-Yau-Zelditch expansion of the Bergman kernel on polarized K\"ahler metrics to approximate plurisubharmonic functions and compute the $\alpha$-invariant of $CP^2#2\bar{CP^2}$, which is exactly 1/3. In addition we prove Tian's conjecture on the generalized Moser-Trudinger inequality in a special case prescribed by the $\alpha$-invariant.


title: Graded filiform Lie algebras and symplectic nilmanifolds

abstract: We study symplectic (contact) structures on nilmanifolds that correspond to the filiform Lie algebras - nilpotent Lie algebras of the maximal length of the descending central sequence. We give a complete classification of filiform Lie algebras that possess a basis e_1, ..., e_n, [e_i,e_j]=c_{ij}e_{i{+}j} (N-graded Lie algebras). In particular we describe the spaces of symplectic cohomology classes for all even-dimensional algebras of the list. It is proved that a symplectic filiform Lie algebra is a filtered deformation of some N-graded symplectic filiform Lie algebra. But this condition is not sufficient. A spectral sequence is constructed in order to answer the question whether a given deformation of a N-graded symplectic filiform Lie algebra admits a symplectic structure or not. Other applications and examples are discussed.


title: Trialgebras and families of polytopes

abstract: We show that the family of standard simplices and the family of Stasheff polytopes are dual to each other in the following sense. The chain modules of the standard simplices, resp. the Stasheff polytopes, assemble to give an operad. We show that these operads are dual of each other in the operadic sense. The main result of this paper is to show that they are both Koszul operads. As a consequence the generating series of the standard simplices and the generating series of the Stasheff polytopes are inverse to each other. The two operads give rise to new types of algebras with 3 generating operations, 11 relations, respectively 7 relations, that we call {\it associative trialgebras} and {\it dendriform trialgebras} respectively. The free dendriform trialgebra, which is based on planar trees, has an interesting Hopf algebra structure, which will be dealt with in another paper. Similarly the family of cubes gives rise to an operad which happens to be self-dual for Koszul duality.


title: Polynomial growth of the derivative for diffeomorphisms on tori

abstract: We consider area--preserving diffeomorphisms on tori with zero entropy. We classify ergodic area--preserving diffeomorphisms of the 3--torus for which the sequence $\{Df^n\}_{n\in{\Bbb N}}$ has polynomial growth. Roughly speaking, the main theorem says that every ergodic area--preserving $C^2$--diffeomorphism with polynomial uniform growth of the derivative is $C^2$--conjugate to a 2--steps skew product of the form \[\tor^3\ni(x_1,x_2,x_3)\mapsto (x_1+\alpha,\ep x_2+\beta(x_1),x_3+\gamma(x_1,x_2))\in\tor^3,\] where $\ep=\pm 1$. We also indicate why there is no 4--dimensional analogue of the above result. Random diffeomorphisms on the 2--torus are studied as well.


title: Parabolic Cylinder Functions: Examples of Error Bounds For Asymptotic Expansions

abstract: Several asymptotic expansions of parabolic cylinder functions are discussed and error bounds for remainders in the expansions are presented. In particular Poincar{\'e}-type expansions for large values of the argument $z$ and uniform expansions for large values of the parameter are considered. The expansions are based on those given in Olver(1959) and on modifications of these expansions given in Temme(2000). Computer algebra techniques are used for obtaining representations of the bounds and for numerical computations.


title: Computation of Cohomology of Lie Algebra of Hamiltonian Vector Fields by Splitting Cochain Complex into Minimal Subcomplexes

abstract: Computation of homology or cohomology is intrinsically a problem of high combinatorial complexity. Recently we proposed a new efficient algorithm for computing cohomologies of Lie algebras and superalgebras. This algorithm is based on partition of the full cochain complex into minimal subcomplexes. The algorithm was implemented as a C program LieCohomology. In this paper we present results of applying the program LieCohomology to the algebra of hamiltonian vector fields H(2|0). We demonstrate that the new approach is much more efficient comparing with the straightforward one. In particular, our computation reveals some new cohomological classes for the algebra H(2|0) (and also for the Poisson algebra Po(2|0)).


title: Zeros of Chromatic and Flow Polynomials of Graphs

abstract: We survey results and conjectures concerning the zero distribution of chromatic and flow polynomials of graphs, and characteristic polynomials of matroids.


title: Symplectic Resolutions for Nilpotent Orbits

abstract: We prove that any symplectic resolution of the closure of a nilpotent orbit in a semi-simple complex Lie algebra is isomorphic to the collapsing of the cotangent bundle of a projective homogenous variety. Then we give a complete characterization of those nilpotent orbits whose closure admit a symplectic resolution.


title: The asymptotic complexity of partial sorting -- How to learn large posets by pairwise comparisons

abstract: The expected number of pairwise comparisons needed to learn a partial order on n elements is shown to be at least n*n/4-o(n*n), and an algorithm is given that needs only n*n/4+o(n*n) comparisons on average. In addition, the optimal strategy for learning a poset with four elements is presented.


title: Topological flatness of local models in the ramified case

abstract: Local models are schemes defined in terms of linear algebra which can be used to study the local structure of integral models of certain Shimura varieties, with parahoric level structure. We investigate the local models for groups of the form Res_{F/\Q_p} GL_n and Res_{F/\Q_p} GSp_2g where F/Q_p is a totally ramified extension, as defined by Pappas and Rapoport, and show that they are topologically flat. In the linear case, flatness can be deduced from this.


title: Set-theoretical solutions to the Yang-Baxter Relation from factorization of matrix polynomials and $\theta$-functions

abstract: New set-theoretical solutions to the Yang-Baxter Relation are constructed. These solutions arise from the decompositions "in different order" of matrix polynomials and $\theta$-functions. We also construct a "local action of the symmetric group" in these cases, generalizations of the action of the symmetric group $S_N$ given by the set-theoretical solution.


title: Szego limit theorems

abstract: The first Szego limit theorem has been extended by Bump-Diaconis and Tracy-Widom to limits of other minors of Toeplitz matrices. We extend their results still further to allow more general measures and more general determinants. We also give a new extension to higher dimensions, which extends a theorem of Helson and Lowdenslager.


title: Quandles at Finite Temperatures II

abstract: The number of colorings of a knot diagram by a quandle has been shown to be a knot invariant by CJKLS using quandle cohomology methods. In a previous paper by the second named author, the CJKLS invariant was refined and, in particular, it was shown that the number of colorings is an invariant directly without resorting to quandle cohomology. Here we investigate the effectiveness of this invariant on (classical) knots of up to and including ten crossings.


title: Local rings of countable Cohen--Macaulay type

abstract: We prove (the excellent case of) Schreyer's conjecture that a local ring with countable Cohen--Macaulay type has at most a one-dimensional singular locus. Furthermore we prove that the localization of a Cohen-Macaulay local ring of countable CM type is again of countable CM type.


title: A new four parameter q-series identity and its partition implications

abstract: We prove a new four parameter q-hypergeometric series identity from which the three parameter key identity for the Goellnitz theorem due to Alladi, Andrews, and Gordon, follows as a special case by setting one of the parameters equal to 0. The new identity is equivalent to a four parameter partition theorem which extends the deep theorem of Goellnitz and thereby settles a problem raised by Andrews thirty years ago. Some consequences including a quadruple product extension of Jacobi's triple product identity, and prospects of future research are briefly discussed.


title: A note on Hurwitz schemes of covers of a positive genus curve

abstract: We prove the irreducibility of the space parametrizing branched covers of a fixed Riemann surface $B$ of degree $d$, with at least 2d branch points, and with monodromy group equal to $S_d$. The result is classical for $g(B)=0$. The result is well-known for $g(B) > 0$, but we could find no reference.


title: The Computational Complexity of Knot Genus and Spanning Area

abstract: We investigate the computational complexity of some problems in three-dimensional topology and geometry. We show that the problem of determining a bound on the genus of a knot in a 3-manifold, is NP-complete. Using similar ideas, we show that deciding whether a curve in a metrized PL 3-manifold bounds a surface of area less than a given constant C is NP-hard.


title: The Hodge filtration and the contact-order filtration of derivations of Coxeter arrangements

abstract: The Hodge filtration of the module of derivations on the orbit space of a finite real reflection group acting on an $\ell$-dimensional Euclidean space was introduced and studied by K. Saito. The filtration is equivalent data to the flat structure or the Frobenius manifold structure. We will show that the Hodge filtration coincides with the filtration by the order of contacts to the reflecting hyperplanes. Moreover, a standard basis for the Hodge filtration is explicitly given.


title: A local smoothing estimate in higher dimensions

abstract: We prove the higher-dimensional analogue of Wolff's local smoothing estimate (Geom. Funct. Anal. 2001) for large p. As in the 2+1-dimensional case, the estimate is sharp for any given value of p, but it is likely that the range of p can be improved.


title: Mansfield's imprimitivity theorem for arbitrary closed subgroups

abstract: Let $\delta$ be a nondegenerate coaction of G on a C*-algebra B, and let H be a closed subgroup of G. The dual action of H on $B\times_\delta G$ is proper and saturated in the sense of Rieffel, and the generalised fixed-point algebra is the crossed product of B by the homogeneous space G/H. The resulting Morita equivalence is a version of Mansfield's imprimitivity theorem which requires neither amenability nor normality of H.


title: Asymmetric Nondegenerate Geometry

abstract: Nondegenerate geometry (T-geometry) with nonsymmetric world function is considered. In application to the space-time geometry the asymmetry of world function means that the past and the future are not equivalent geometrically. T-geometry is described in terms of finite point subspaces and world function between pairs of points of these subsets, i.e. in the language which is immanent to geometry and free of external means of description (coordinates, curves). Such a description appears to be simple and effective even in the case of complicated T-geometry. Antisymmetric component of the world function generates appearance of additional metric fields. This leads to appearance of three sorts of Christoffel symbols and three sorts of geodesics. Three sorts of the first order tubes (future, past and neutral) appear. If the fields connected with the antisymmetric component are strong enough, the timelike first order tube has a finite length in the timelike direction. It was shown earler that the symmetric T-geometry explains non-relativistic quantum effects without a reference to principles of quantum mechanics. One should expect that nonsymmetric space-time T-geometry is also characteristic for microcosm, and it will be useful in the elementary particle theory, because there is a series of unexpected associations. First order tubes are associated with world tubes of closed strings. Antisymmetry is associated with supersymmetry. Three sorts of tubes are associated with three sorts of quarks. Limitation of the tube in time direction is associated with confinement. At any rate, the space-time T-geometry with additional parameters has more capacities, than usual Riemannian geometry.


title: Monodromies of rational elliptic surfaces and extremal elliptic $K3$ surfaces

abstract: We give a systematic method to calculate some homological data from the global monodromy of a topological elliptic surface. We apply this method to the cases 1) the transcendental lattice of an extremal elliptic K3 surface, 2) the torsion part of Mordell-Weil group of a general elliptic surface, and 3) the Mordell-Weil lattice of a rational elliptic surface. We present possible list of global monodromies of rational elliptic surface and extremal elliptic $K3$ surface which reproduce to the classification obtained by Oguiso-Shioda and Shimada-Zhang respectively.


title: On the integral of geometric Brownian motion

abstract: This paper studies the law of any power of the integral of geometric Brownian motion over any finite time interval. As its main results, two integral representations for this law are derived. This is by enhancing the Laplace transform ansatz of Yor (1992) with complex analytic methods, which is the main methodological contribution of the paper. The one of our integrals has a similar structure to that obtained by Yor, while the other is in terms of Hermite functions as those of Dufresne (2001). Performing or not performing a certain Girsanov transformation is identified as the source of these two forms of the laws. While our results specialize for exponents equal to 1 to those obtained by Yor, they yield on specialization representations for the exponent equal to minus 1 laws which are markedly different from those obtained by Dufresne.


title: Two-point Taylor Expansions of Analytic Functions

abstract: Taylor expansions of analytic functions are considered with respect to two points. Cauchy-type formulas are given for coefficients and remainders in the expansions, and the regions of convergence are indicated. It is explained how these expansions can be used in deriving uniform asymptotic expansions of integrals. The method is also used for obtaining Laurent expansions in two points.


title: Large Parameter Cases of the Gauss Hypergeometric Function

abstract: We consider the asymptotic behaviour of the Gauss hypergeometric function when several of the parameters a, b, c are large. We indicate which cases are of interest for orthogonal polynomials (Jacobi, but also Krawtchouk, Meixner, etc.), which results are already available and which cases need more attention. We also consider a few examples of 3F2-functions of unit argument, to explain which difficulties arise in these cases, when standard integrals or differential equations are not available.


title: Sum formula for Kloosterman sums and fourth moment of the Dedekind zeta-function over the Gaussian number field

abstract: We prove the Kloosterman-Spectral sum formula for PSL(2,Z[i])\PSL(2,C), and apply it to derive an explicit spectral expansion for the fourth power moment of the Dedekind zeta function of the Gaussian number field. This sum formula allows the extension of the spectral theory of Kloosterman sums to all algebraic number fields.


title: The F-valued points of the algebra of strongly regular functions of a Kac-Moody group

abstract: The algebra of strongly regular functions F[G_m] on a symmetrizable minimal Kac-Moody group G_m over a field F of characteristic zero has been introduced by V. Kac and D. Peterson as a coordinate ring of the minimal Kac-Moody group. We determine its F-valued points. The product (G_f) x (G_f) of two formal Kac-Moody groups G_f acts on the F-valued points by morphisms. We describe the partition in (G_f) x (G_f)-orbits, and the closure relation of the orbits. We give stratified transversal slices to the orbits. We define and describe big cells of each orbit. We describe the partition in (B_f) x (B_f)-orbits, B_f the standard formal Borel subgroup of G_f.


title: Center conditions: Rigidity of logarithmic differential equations

abstract: In this paper we prove that any degree $d$ deformation of a generic logarithmic polynomial differential equation with a persistent center must be logarithmic again. This is a generalization of Ilyashenko's result on Hamiltonian differential equations. The main tools are Picard-Lefschetz theory of a polynomial with complex coefficients in two variables, specially the Gusein-Zade/A'Campo's theorem on calculating the Dynkin diagram of the polynomial, and the action of Gauss-Manin connection on the so called Brieskorn lattice/Petrov module of the polynomial. Some applications on the cyclicity of cycles and the Bautin ideals will be given.


title: Maximal subbundles and Gromov invariants

abstract: In this article we explicitly compute the number of maximal subbundles of rank $k$ of a generically stable bundle of rank $r$ and degree $d$ over a smooth projective curve $C$ of genus $g\ge 2$ over $\C$, when the dimension of the quot scheme of maximal subbundles is zero. Our method is to describe the this number purely in terms of the Gromov invariants of the Grassmannian and then use the formula of Vafa and Intriligator to compute them.


title: Une caracterisation des fonctions holomorphes injectives en analyse ultrametriqe

abstract: On montre qu'une fonction holomorphe non-constante $f$ definie sur un sous-espace analytique de $\CC_p$ est injective si et seulement si on a $$ | \frac{f(x) - f(y)}{{x - y)} |^2 = |f'(x) f'(y)|,$$ pour tous $x$ et $y$ distincts. Cette caracterisation demontre l'analogue, pour les fonctions holomorphes, d'une conjecture de A. Escassut et M.C. Sarmant. D'ature part on donne une contre-exemple a cette conjecture, qui concerne les elements bi-analytiques.


title: The Farahat-Higman ring of wreath products and Hilbert schemes

abstract: We study the structure constants of the class algebra $R_Z(G_n)$ of the wreath products $G_n$ associated to an arbitrary finite group G with respect to the basis of conjugacy classes. We show that a suitable filtration on $R_Z(G_n)$ gives rise to the graded ring $\mathcal G_G(n)$ with non-negative integer structure constants independent of n (some of which are computed), which are then encoded in a Farahat-Higman ring $\mathcal G_G$. The real conjugacy classes of G come to play a distinguished role, and is treated in detail in the case when G is a subgroup of $SL_2(C)$. The above results provide new insight to the cohomology rings of Hilbert schemes of points on a quasi-projective surface.


title: Spacelike Jordan Osserman algebraic curvature tensors in the higher signature setting

abstract: Let $R$ be an algebraic curvature tensor on a vector space of signature $(p,q)$ defining a spacelike Jordan Osserman Jacobi operator $\JJ_R$. We show that the eigenvalues of $\JJ_R$ are real and that $\JJ_R$ is diagonalizable if $p<q$.


title: The Jordan normal form of higher order Osserman algebraic curvature tensors

abstract: We construct new examples of algebraic curvature tensors so that the Jordan normal form of the higher order Jacobi operator is constant on the Grassmannian of subspaces of type $(r,s)$ in a vector space of signature $(p,q)$. We then use these examples to establish some results concerning higher order Osserman and higher order Jordan Osserman algebraic curvature tensors.


title: Curvature tensors whose Jacobi or Szabo operator is nilpotent on null vectors

abstract: We show that any $k$ Osserman Lorentzian algebraic curvature tensor has constant sectional curvature and give an elementary proof that any local 2 point homogeneous Lorentzian manifold has constant sectional curvature. We also show that a Szab\'o Lorentzian covariant derivative algebraic curvature tensor vanishes.


title: A stability result for Neumann problems in dimension $N \ge 3$

abstract: We give a sufficient condition in dimension $N \ge 3$ in order to obtain the stability of a sequence of Neumann problems on fractured domains.


title: Spectral flow and Dixmier traces

abstract: We obtain general theorems which enable the calculation of the Dixmier trace in terms of the asymptotics of the zeta function and of the heat operator in a general semi-finite von Neumann algebra. Our results have several applications. We deduce a formula for the Chern character of an odd ${\mathcal L}^{(1,\infty)}$-summable Breuer-Fredholm module in terms of a Hochschild 1-cycle. We explain how to derive a Wodzicki residue for pseudo-differential operators along the orbits of an ergodic $\IR^n$ action on a compact space $X$. Finally we give a short proof an index theorem of Lesch for generalised Toeplitz operators.


title: DT-operators and decomposability of Voiculescu's circular operator

abstract: The DT-operators are introduced, one for every pair (\mu,c) consisting of a compactly supported Borel probability measure \mu on the complex plane and a constant c>0. These are operators on Hilbert space that are defined as limits in *-moments of certain upper triangular random matrices. The DT-operators include Voiculescu's circular operator and elliptic deformations of it, as well as the circular free Poisson operators. We show that every DT-operator is strongly decomposable. We also show that a DT-operator generates a II_1-factor, whose isomorphism class depends only on the number and sizes of atoms of \mu. Those DT-operators that are also R-diagonal are identified. For a quasi-nilpotent DT-operator T, we find the distribution of T^*T and a recursion formula for general *-moments of T.


title: Complex IP curvature tensors

abstract: Let M be a pseudo-Riemannian manifold with a pseudo-Hermitian complex structure $J$. We give necessary and sufficient conditions that the curvature operator $R(\pi)$ is complex linear when $\pi$ is a $J$ invariant real 2 plane. Under this assumption, we study when M is complex IP - i.e. the spectrum, or more generally the Jordan normal form, of $R(\pi)$ is constant on the Grassmannian of complex spacelike or timelike lines. Methods from algebraic topology are used to obtain restrictions on the spectrum of a complex IP algebraic curvature tensor.


title: Algebraic curvature tensors for indefinite metrics whose skew-symmetric curvature operator has constant Jordan normal form

abstract: We classify the connected pseudo-Riemannian manifolds of signature $(p,q)$ with $q\ge5$ so that at each point of $M$ the skew-symmetric curvature operator has constant rank 2 and constant Jordan normal form on the set of spacelike 2 planes and so that the skew-symmetric curvature operator is not nilpotent for at least one point of $M$.


title: Algebraic curvature tensors whose skew-symmetric curvature operator has constant rank 2

abstract: Let R be an algebraic curvature tensor for a non-degenerate inner product of signature(p,q) where q>4. If $\pi$ is a spacelike 2 plane, let $R(\pi)$ be the associated skew-symmetric curvature operator. We classify the algebraic curvature tensors so R(-) has constant rank 2 and show these are geometrically realizable by hypersurfaces in flat spaces. We also classify the Ivanov-Petrova algebraic curvature tensors of rank 2; these are the algebraic curvature tensors of constant rank 2 such that the complex Jordan normal form of R(-) is constant.


title: The Geometry of the Skew-Symmetric Curvature Operator in the Complex Setting

abstract: We construct almost complex algebraic curvature tensors for pseudo Hermitian inner products whose skew-symmetric curvature operator has constant Jordan normal form on the set of non-degenerate complex lines.


title: Contractive projections in Orlicz sequence spaces

abstract: We characterize norm one complemented subspaces of Orlicz sequence spaces $\ell_M$ equipped with either Luxemburg or Orlicz norm, provided that the Orlicz function $M$ is sufficiently smooth and sufficiently different from the square function. This paper concentrates on the more difficult real case, the complex case follows from previously known results.


title: On finite congruence-simple semirings

abstract: In this paper, we describe finite, additively commutative, congruence simple semirings. The main result is that the only such semirings are those of order 2, zero-multiplication rings of prime order, matrix rings over finite fields, those that are additively idempotent, and those with trivial addition.


title: The eta invariant and the real connective K-theory of the classifying space for quaternion groups

abstract: We express the real connective $K$ theory groups of the quaternion QL group of order $2^j\ge8$ in terms of the representation theory of by showing $ko_{4k-1}(BQL)=KSp(S^{4k+3}/\tau QL)$ where $tau$ is any fixed point free representation of QL in U(2k+2)


title: Szabo Osserman IP Pseudo-Riemannian manifolds

abstract: We construct a family of pseudo-Riemannian manifolds so that the skew-symmetric curvature operator, the Jacobi operator, and the Szabo operator have constant eigenvalues on their domains of definition. This provides new and non-trivial examples of Osserman, Szabo, and IP manifolds. We also study when the associated Jordan normal form of these operators is constant.


title: Random and universal metric spaces

abstract: We introduce a model of the set of all Polish (=separable complete metric) spaces: the cone $\cal R$ of distance matrices, and consider geometric and probabilistic problems connected with this object. The notion of the universal distance matrix is defined and we proved that the set of such matrices is everywhere dense $G_{\delta}$ set in weak topology in the cone $\cal R$. Universality of distance matrix is the necessary and sufficient condition on the distance matrix of the countable everywhere dense set of so called universal Urysohn space which he had defined in 1924 in his last paper. This means that Urysohn space is generic in the set of all Polish spaces. Then we consider metric spaces with measures (metric triples) and define a complete invariant: its - matrix distribution. We give an intrinsic characterization of the set of matrix distributions, and using the ergodic theorem, give a new proof of Gromov's ``reconstruction theorem'. A natural construction of a wide class of measures on the cone $\cal R$ is given and for these we show that {\it with probability one a random Polish space is again the Urysohn space}. There is a close connection between these questions, metric classification of measurable functions of several arguments, and classification of the actions of the infinite symmetric group [V1,V2].


title: Hochschild homology of iterate skew polynomial rings

abstract: We study the Hochschild homology of the iterated skew polynomial rings introduced by D. Jordan in ``A simple localization of the quantized Weyl algebra''. First, we obtain a complex, smaller than the canonical one of Hochschild, given the homology of such an algebra, and then, we study this complex in order to compute the homology of some families of algebras. In particular we compute the homology of some quantum groups, in the generic case.


title: Poincare Inequalities in Punctured Domains

abstract: The classic Poincare inequality bounds the $L^q$-norm of a function $f$ in a bounded domain $\Omega \subset \R^n$ in terms of some $L^p$-norm of its gradient in $\Omega$. We generalize this in two ways: In the first generalization we remove a set $\Gamma$ from $\Omega$ and concentrate our attention on $\Lambda = \Omega \setminus \Gamma$. This new domain might not even be connected and hence no Poincare inequality can generally hold for it, or if it does hold it might have a very bad constant. This is so even if the volume of $\Gamma$ is arbitrarily small. A Poincare inequality does hold, however, if one makes the additional assumption that $f$ has a finite $L^p$ gradient norm on the whole of $\Omega$, not just on $\Lambda$. The important point is that the Poincare inequality thus obtained bounds the $L^q$-norm of $f$ in terms of the $L^p$ gradient norm on $\Lambda$ (not $\Omega$) plus an additional term that goes to zero as the volume of $\Gamma$ goes to zero. This error term depends on $\Gamma$ only through its volume. Apart from this additive error term, the constant in the inequality remains that of the `nice' domain $\Omega$. In the second generalization we are given a vector field $A$ and replace $\nabla $ by $\nabla +i A(x)$ (geometrically, a connection on a U(1) bundle). Unlike the A=0 case, the infimum of $\|(\nabla +i A)f\|_p $ over all $f$ with a given $\|f\|_q$ is in general not zero. This permits an improvement of the inequality by the addition of a term whose sharp value we derive. We describe some open problems that arise from these generalizations.


title: Generating functions for moments of the quasi-nilpotent DT-operator

abstract: We prove a recursion formula for generating functions of certain renormalizations of *-moments of the DT(\delta_0,1)-operator T, involving an operation \odot on formal power series and a transformation E that converts \odot to usual multiplication. This recursion formula is used to prove that all of these generating functions are rational functions, and to find a few of them explicitly.


title: Enumerative geometry of divisorial families of rational curves

abstract: This revision contains some additional corrections and references, including a reference to Zeuthen suggested by Kleiman. For possible subsequent revisions, check http://math.ucr.edu/~ziv/papers/1nodal.pdf


title: Small 3-manifolds of large genus

abstract: We prove the existence of pure braids with arbitrarily many strands which are small, i.e. they contain no closed incompressible surface in the complement which is not boundary parallel. This implies the existence of irreducible non-Haken 3-manifolds of arbitrarily high Heegaard genus.


title: Alexander polynomial of sextics

abstract: Alexander polynomials of sextics with only simple singularities or sextics of torus type with arbitrary singularities are computed. We show that for ieeducible sextics,there are four possibilities: $(t^2-t+1)^j, j=0,1,2,3$.


title: Poisson Process Partition Calculus with applications to Exchangeable models and Bayesian Nonparametrics

abstract: This article discusses the usage of a partiton based Fubini calculus for Poisson processes. The approach is an amplification of Bayesian techniques developed in Lo and Weng for gamma/Dirichlet processes. Applications to models are considered which all fall within an inhomogeneous spatial extension of the size biased framework used in Perman, Pitman and Yor. Among some of the results; an explicit partition based calculus is then developed for such models, which also includes a series of important exponential change of measure formula. These results are applied to obtain results for Levy-Cox models, identities related to the two-parameter Poisson-Dirichlet process and other processes, generalisations of the Markov-Krein correspondence, calculus for extended Neutral to the Right processes, among other things.


title: Differential properties of matrix orthogonal polynomials

abstract: In this paper a general theory of semi-classical matrix orthogonal polynomials is developed. We define the semi-classical linear functionals by means of a distributional equation $D(u A) = u B,$ where $A$ and $B$ are matrix polynomials. Several characterizations for these semi-classical functionals are given in terms of the corresponding (left) matrix orthogonal polynomials sequence. They involve a quasi-orthogonality property for their derivatives, a structure relation and a second order differo-differential equation. Finally we illustrate the preceding results with some non-trivial examples.


title: Crystal structure of level zero extremal weight modules

abstract: We consider the crystal structure of the level zero extremal weight modules $V(\lambda)$ using the crystal base of the quantum affine algebra constructed by Beck, Chari and Pressley. This approach yields an explicit form for the U^- extremal weight vectors in each connected component of the crystal of $V(\lambda)$, which are given as Schur functions in the imaginary root vectors. We use this fact to demonstrate Kashiwara's conjectures regarding the crystal structure of $V(\lambda)$.


title: Cyclicity and Maximal Multiplicity for Zeros of Families of Analytic Functions

abstract: Let f_{\lambda} be a family of holomorphic functions in the unit disk, holomorphic in parameter \lambda\in U\subset\C^{n}. We estimate the number of zeros of f_{\lambda} in a smaller disk via some characteristic of the ideal generated by Taylor coefficients of f_{\lambda}. Our estimate is locally sharp and improve the previous estimate obtained by Roytwarf and Yomdin.


title: Diffusions on Graphs, Poisson Problems and Spectral Geometry

abstract: We study diffusions, variational principles and associated boundary value problems on directed graphs with natural weightings. Using random walks and exit times, we associate to certain subgraphs (domains) a pair of sequences, each of which is invariant under the action of the automorphism group of the underlying graph. We prove that these invariants differ by an explicit combinatorial factor given by Stirling numbers of the first and second kind. We prove that for any domain with a natural weighting, these invariants determine the eigenvalues of the Laplace operator corresponding to eigenvectors with nonzero mean. As a specific example, we investigate the relationship between our invariants and heat content asymptotics, expressing both as special values of a Dirichlet series.