title: Stability and Futaki Invariants of Fano Hypersurfaces

abstract: Let X be a Fano manifold. G.Tian proves that if X admits a Kaehler-Einstein metric, then it satisfies two different stability conditions: one involving the Futaki invariant of a special degeneration of X, the other Hilbert-Mumford-stability of X w.r.t. a certain polarization. He conjectures that each of these conditions is also sufficient for the existence of such a metric. If this is true, then in particular the two stability conditions would be equivalent. We show that for Fano hypersurfaces in projective space, where due to the work of Lu and Yotov an explicit formula for the Futaki invariant is known, these two conditions are indeed very closely related.


title: Homology stability for unitary groups

abstract: In this paper homology stability for unitary groups over a ring with finite unitary stable rank is established. Homology stability of symplectic groups and orthogonal groups appears as a special case of our results.


title: Introductory Lectures on Contact Geometry

abstract: These notes are an expanded version of an introductory lecture on contact geometry given at the 2001 Georgia Topology Conference. They are intended to present some of the "topological" aspects of three dimensional contact geometry.


title: Leafwise smoothing laminations

abstract: We show that every topological surface lamination of a 3-manifold M is isotopic to one with smoothly immersed leaves. This carries out a project proposed by Gabai in [Problems in foliations and laminations, AMS/IP Stud. Adv. Math. 2.2 1--33]. Consequently any such lamination admits the structure of a Riemann surface lamination, and therefore useful structure theorems of Candel [Uniformization of surface laminations, Ann. Sci. Ecole Norm. Sup. 26 (1993) 489--516] and Ghys [Dynamique et geometrie complexes, Panoramas et Syntheses 8 (1999)] apply.


title: Growth of Betti Numbers

abstract: Suppose X is any finite complex with vanishing L^2 Betti number. We prove upper bounds on the Betti numbers for regular coverings of X, sublinear in the order of covering. The bounds are sensitive to the Novikov-Shubin invariants of X, and are improved in the presence of a spectral gap.


title: Quadratic first integrals of geodesic equations of the special type 6-dimensional h-spaces

abstract: In this note we find a 6-dimensional h-spaces of the $[(21...1)(21...1)...(1...1)]$ type and then determine quadratic first integrals of the geodesic equations of these h-spaces.


title: The ideal envelope of an operator algebra

abstract: A left ideal of any C*-algebra is an example of an operator algebra with a right contractive approximate identity (r.c.a.i.). Conversely, we show here and in a `pre-quel' to this paper [B], that operator algebras with r.c.a.i. should be studied in terms of a certain left ideal of a C*-algebra. We study operator algebras and their multiplier algebras from the perspective of `Hamana theory' and using the multiplier algebras introduced by the first author.


title: On the Gabai-Eliashberg-Thurston theorem

abstract: We present a new, completely three-dimensional proof of the fact, due to Gabai-Eliashberg-Thurston, that every closed, oriented, irreducible 3-manifold with nonzero second homology carries a universally tight contact structure.


title: Criteria for Similarity of a Dissipative Integral Operator to a Normal Operator

abstract: We consider an integral dissipative operator in its Brodskii-Livshits triangular representation. The main question we are concerned with is similarity of the operator to a normal one. We obtain necessary as well as sufficient conditions for the similarity. The study is based on functional model technique.


title: Operators Similar to Contractions and Their Similarity to a Normal Operator

abstract: It is proved recently by Benamara-Nikolski that a contraction having finite defects and spectrum not filling in the closed unit disc, is similar to a normal operator if and only if it has the so-called linear resolvent growth property. We obtain results of the same type for a wider (than contractions) class of operators.


title: Deformation inequivalent complex conjugated complex structures and applications

abstract: Here, we resume and broaden the results concerned which appeared in math.AG/0101098 and math.AG/0104021. We start from summing up our example of a complex algebraic surface which is not deformation equivalent to its complex conjugate and which, moreover, has no homeomorphisms reversing the canonical class. Then, we construct several series of higher dimensional compact complex manifolds having the same property. We end with discussing applications to the Dif=Def problems, to the existence of diffeomorphic plane cuspidal curves non equivalent under equisingular deformations and to the existence of (deformation) non equivalent symplectic structures with opposite canonical classes.


title: Bayesian Estimation of Time Series Lags and Structure

abstract: This paper derives practical algorithms, based on Bayesian inference methods, for several data analysis problems common in time series analysis of astronomical and other data. One problem is the determination of the lag between two time series, for which the cross-correlation function is a sufficient statistic. The second problem is the estimation of structure in a time series of measurements which are a weighted integral over a finite range of the independent variable.


title: Bayesian Blocks in Two or More Dimensions: Image Segmentation and Cluster Analysis

abstract: This paper describes an extension, to higher dimensions, of the Bayesian Blocks algorithm for estimating signals in noisy time series data (Scargle 1998, 2000). The mathematical problem is to find the partition of the data space with the maximum posterior probability for a model consisting of a homogeneous Poisson process for each partition element. For model M_{n}, attributing the data within region n of the data space to a Poisson process with a fixed event rate lambda_{n}, the global posterior is: P(M_{n}) = Phi(N,V) = Gamma(N+1)Gamma(V-N+1) / Gamma(V+2) = N!(V-N)!/(V+1)! . Note that lambda_{n} does not appear, since it has been marginalized, using a flat, improper prior. Other priors yield similar formulas. This expression is valid for a data space of any dimension. It depends on only N, the number of data points within the region, and V, the volume of the region. No information about the actual locations of the points enters this expression. Suppose two such regions, described by N_{1},V_{1} and N_{2},V_{2}, are candidates for being merged into one. From the above equation, construct a Bayes merge factor, giving the ratio of posteriors for the two regions merged and not merged, respectively: P(Merge) = Phi(N_{1}+N_{2},V_{1}+V_{2}) / Phi(N_{1},V_{1}) Phi(N_{2},V_{2}) . Then collect data points into blocks with a greedy cell coalescence algorithm.


title: Vanishing Cycles and the Inverse Problem of Potential Theory

abstract: In this paper we prove the infinitesimal uniqueness theorem for the Newton potential of non simply connected bodies using the singularity theory approach. We consider the Newtonian potentials of the domains in ${\bf R}^n$ boundaries of which are the vanishing cycles on the level hypersurface of a holomorphic function with isolated singularity at 0. These domains don't have to be convex, connected or simply connected, we also don't have any dimensional restrictions. We consider multiparametric families of such domains in the miniversal deformation of the original function. We show that in the parameter space any point has a neighborhood s.t. potentials of the domains corresponding to parameters from this neighborhood are all different as functions of the external parameter y.


title: From Double Hecke algebra to Fourier transform

abstract: The paper contains a systematic theory of the one-dimensional Double Hecke algebra, including applications to the difference Fourier transform, Macdonald's polynomials, Gaussian sums at roots of unity, and Verlinde algebras. The main result is the classification of finite-dimensional representations for generic q and at roots of unity.


title: Almost contact manifolds, connections with torsion and parallel spinors

abstract: We classify locally homogeneous quasi-Sasakian manifolds in dimension five that admit a parallel spinor $\psi$ of algebraic type $F \cdot \psi = 0$ with respect to the unique connection $\nabla$ preserving the quasi-Sasakian structure and with totally skew-symmetric torsion. We introduce a certain conformal transformation of almost contact metric manifolds and discuss a link between them and the dilation function in 5-dimensional string theory. We find natural conditions implying conformal invariances of parallel spinors. We present topological obstructions to the existence of parallel spinors in the compact case.


title: A review on deformation quantization of coadjoint orbits of semisimple Lie groups

abstract: In this paper we make a review of the results obtained in previous works by the authors on deformation quantization of coadjoint orbits of semisimple Lie groups. We motivate the problem with a new point of view of the well known Moyal-Weyl deformation quantization. We consider only semisimple orbits. Algebraic and differential deformations are compared.


title: Birkhoff normal forms for Fourier integral operators II

abstract: In this work we construct logarithms and Birkhoff normal forms for elliptic Fourier integral operators in the semi-classical limit under more general assumptions than in aprevious work by the first author. The methods are similar but slightly different.


title: For differential equations with r parameters, 2r+1 experiments are enough for identification

abstract: Given a set of differential equations whose description involves unknown parameters, such as reaction constants in chemical kinetics, and supposing that one may at any time measure the values of some of the variables and possibly apply external inputs to help excite the system, how many experiments are sufficient in order to obtain all the information that is potentially available about the parameters? This paper shows that the best possible answer (assuming exact measurements) is 2r+1 experiments, where r is the number of parameters.


title: Hyperbolic manifolds with polyhedral boundary

abstract: Let $(M, \partial M)$ be a compact 3-manifold with boundary which admits a complete, convex co-compact hyperbolic metric. For each hyperbolic metric $g$ on $M$ such that $\dr M$ is smooth and strictly convex, the induced metric on $\dr M$ has curvature $K>-1$, and each such metric on $\dr M$ is obtained for a unique choice of $g$. A dual statement is that, for each $g$ as above, the third fundamental form of $\dr M$ has curvature $K<1$, and its closed geodesics which are contractible in $M$ have length $L>2\pi$. Conversely, any such metric on $\dr M$ is obtained for a unique choice of $g$. We are interested here in the similar situation where $\partial M$ is not smooth, but rather looks locally like an ideal polyhedron in $H^3$. We can give a fairly complete answer to the question on the third fundamental form -- which in this case concerns the dihedral angles -- and some partial results about the induced metric. This has some by-products, like an affine piecewise flat structure on the Teichmueller space of a surface with some marked points, or an extension of the Koebe circle packing theorem to many 3-manifolds with boundary.


title: Godbillon-Vey invariants for families of foliations

abstract: The classical Godbillon-Vey invariant is an odd degree cohomology class that is a cobordism invariant of a single foliation. Here we investigate cohomology classes of even degree that are cobordism invariants of (germs of) 1-parameter families of foliations.


title: The SPIN$^c$ Dirac operator on high tensor powers of a line bundle

abstract: We study the asymptotic of the spectrum of the \spin Dirac operator on high tensor powers of a line bundle. As application, we get a simple proof of the main result of Guillemin-Uribe, which was originally proved by using the analysis of Toeplitz operators of Boutet de Monvel and Guillemin.


title: Module categories, weak Hopf algebras and modular invariants

abstract: We develop abstract nonsense for module categories over monoidal categories (this is a straightforward categorification of modules over rings). As applications we show that any semisimple monoidal category with finitely many simple objects is equivalent to the category of representations of a weak Hopf algebra (theorem of T. Hayashi) and classify module categories over the fusion category of $\hat{sl}(2)$ at a positive integer level where we meet once again ADE classification pattern.


title: Equating decomposition numbers for different primes

abstract: This paper shows that certain decomposition numbers for the Hecke algebras and q-Schur algebras at different roots of unity in characteristic zero are equal. To prove our results we first establish the corresponding theorem for the canonical basis of the level one Fock space and then apply deep results of Ariki and Varagnolo and Vasserot.


title: Multilinear interpolation between adjoint operators

abstract: Multilinear interpolation is a powerful tool used in obtaining strong type boundedness for a variety of operators assuming only a finite set of restricted weak-type estimates. A typical situation occurs when one knows that a multilinear operator satisfies a weak $L^q$ estimate for a single index $q$ (which may be less than one) and that all the adjoints of the multilinear operator are of similar nature, and thus they also satisfy the same weak $L^q$ estimate. Under this assumption, in this expository note we give a general multilinear interpolation theorem which allows one to obtain strong type boundedness for the operator (and all of its adjoints) for a large set of exponents. The key point in the applications we discuss is that the interpolation theorem can handle the case $q \leq 1$. When $q > 1$, weak $L^q$ has a predual, and such strong type boundedness can be easily obtained by duality and multilinear interpolation.


title: The Chord Problem and a new method of filling by pseudoholomorphic curves

abstract: In this paper we give a simple application of the filling methods developed earlier to the chord problem in three dimensional contact geometry.


title: Uniform exponential ergodicity of stochastic dissipative systems

abstract: We study ergodic properties of stochastic dissipative systems with additive noise. We show that the system is uniformly exponentially ergodic provided the growth of nonlinearity at infinity is faster than linear. The abstract result is applied to the stochastic reaction diffusion equation in $\mathbb R^d$ with $d\le 3$.


title: Quasi-Projectivity of Moduli Spaces

abstract: By means of analytic methods the quasi-projectivity of the moduli space of algebraically polarized varieties with a not necessarily reduced complex structure is proven including the case of non-uniruled polarized varieties.


title: Small cones of oriented semi-metrics

abstract: We consider polyhedral cones, associated with quasi-semi-metrics (oriented distances), in particular, with oriented multi-cuts, on n points. We computed the number of facets and of extreme rays, their adjacencies, and incidences of the cones QMET_n and OMCUT_n for n=3, 4, 5 (see Table 1) and, partially for n=6. Some results for general n are also given


title: The Chow ring of a K3 surface

abstract: Let X be a K3 surface. We show that the Chow group CH_0(X) of 0-cycles contains a "fundamental class" c_X of degree 1 with remarkable properties: any product of divisors is proportional to this class, and so is the second Chern class c_2(X). This preprint supersedes the preprint math.AG/0109063 by the first author, where the latter property was conjectured.


title: On the irreducibility of secant cones, and an application to linear normality

abstract: Let $Y \subset \P^r$ be a normal nondegenerate m-dimensional subvariety and let $\sigma(Y)$ denote the maximum dimension of a subvariety $Z \subset Y_{smooth}$ such that $Z$ contains a generic point of some divisor on $Y$ and the tangent planes $T_y Y$ for all $y \in Z$ are contained in a fixed hyperplane. In this article we study the double locus $D \subset $Y$ of its generic projection to $\P^{r-1}$, proving that if the secant variety of $Y$ is the whole space and $\sigma(Y) < 2m - r + 1$, then $D$ is irreducible. Applying Zak's Tangency theorem we deduce the irreducibility of $D$ when $m > 2(r-1)/3$. The latter implies a version of Zak's Linear Normality theorem.


title: Jacobi structures revisited

abstract: Jacobi algebroids, that is graded Lie brackets on the Grassmann algebra associated with a vector bundle which satisfy a property similar to that of the Jacobi brackets, are introduced. They turn out to be equivalent to generalized Lie algebroids in the sense of Iglesias and Marrero and can be viewed also as odd Jacobi brackets on the supermanifolds associated with the vector bundles. Jacobi bialgebroids are defined in the same manner. A lifting procedure of elements of this Grassmann algebra to multivector fields on the total space of the vector bundle which preserves the corresponding brackets is developed. This gives the possibility of associating canonically a Lie algebroid with any local Lie algebra in the sense of Kirillov.


title: Modules of principal parts on the projective line

abstract: We study the splitting-type of the bi-modules of principal parts (Grothendiecks analogue of jet-bundles in algebraic geometry) as left and right O-module on the projective line in positive characteristic, and obtain explicit examples where the splitting-type as left O-module differs from the splitting-type as right O-module. Hence the principal parts are the first examples of a sheaf of abelian groups equipped with two non-isomorphic structures as locally free O-module. We also give explicit examples showing that in some cases the splitting-type changes with the characteristic of the base-field.


title: On uniformization of Burnside's curve $y^2=x^5-x$

abstract: Main objects of uniformization of the curve $y^2=x^5-x$ are studied: its Burnside's parametrization, corresponding Schwarz's equation, and accessory parameters. As a result we obtain the first examples of solvable Fuchsian equations on torus and exhibit number-theoretic integer $q$-series for uniformizing functions, relevant modular forms, and analytic series for holomorphic Abelian integrals. A conjecture of Whittaker for hyperelliptic curves and its hypergeometric reducibility are discussed. We also consider the conversion between Burnside's and Whittaker's uniformizations.


title: Miller Spaces and Spherical Resolvability of Finite Complexes

abstract: We show that if $K$ is a nilpotent finite complex, then $\Omega K$ can be built from spheres using fibrations and homotopy (inverse) limits. This is applied to show that if ${\mathrm {map}}_*(X,S^n)$ is weakly contractible for all $n$, then ${\mathrm {map}}_*(X,K)$ is weakly contractible for any nilpotent finite complex $K$.


title: Approximating distribution functions by iterated function systems

abstract: In this paper an iterated function system on the space of distribution functions is built. The inverse problem is introduced and studied by convex optimization problems. Some applications of this method to approximation of distribution functions and to estimation theory are given.


title: Statistical analysis of stochastic resonance with ergodic diffusion noise

abstract: A subthreshold signal is transmitted through a channel and may be detected when some noise -- with known structure and proportional to some level -- is added to the data. There is an optimal noise level, called stochastic resonance, that corresponds to the highest Fisher information in the problem of estimation of the signal. As noise we consider an ergodic diffusion process and the asymptotic is considered as time goes to infinity. We propose consistent estimators of the subthreshold signal and we solve further a problem of hypotheses testing. We also discuss evidence of stochastic resonance for both estimation and hypotheses testing problems via examples.


title: On dimensionally restricted maps

abstract: Some results of B. Pasynkov and H. Torunczyk on finite-dimensional maps are improved. A generalization of a Dranishnikov-Uspenskij theorem about extensional dimension is also obtained.


title: Self-Dual Symmetric Polynomials and Conformal Partitions

abstract: A conformal partition function ${\cal P}_n^m(s)$, which arose in the theory of Diophantine equations supplemented with additional restrictions, is concerned with {\it self-dual symmetric polynomials} -- reciprocal ${\sf R}^{\{m\}}_ {S_n}$ and skew-reciprocal ${\sf S}^{\{m\}}_{S_n}$ algebraic polynomials based on the polynomial invariants of the symmetric group $S_n$. These polynomials form an infinite commutative semigroup. Real solutions $\lambda_n(x_i)$ of corresponding algebraic Eqns have many important properties: homogeneity of 1-st order, duality upon the action of the conformal group ${\sf W}$, inverting both function $\lambda_n$ and the variables $x_i$, compatibility with trivial solution, {\it etc}. Making use of the relationship between Gaussian generating function for conformal partitions and Molien generating function for usual restricted partitions we derived the analytic expressions for ${\cal P}_n^m(s)$. The unimodality indices for the reciprocal and skew-reciprocal equations were found. The existence of algebraic functions $\lambda_n(x_i)$ invariant upon the action of both the finite group $G\subset S_n$ and conformal group ${\sf W}$ is discussed.


title: EL-labelings, Supersolvability and 0-Hecke Algebra Actions on Posets

abstract: We show that a finite graded lattice of rank n is supersolvable if and only if it has an EL-labeling where the labels along any maximal chain form a permutation. We call such a labeling an S_n EL-labeling and we consider finite graded posets of rank n with unique top and bottom elements that have an S_n EL-labeling. We describe a type A 0-Hecke algebra action on the maximal chains of such posets. This action is local and gives a representation of these Hecke algebras whose character has characteristic that is closely related to Ehrenborg's flag quasi-symmetric function. We ask what other classes of posets have such an action and in particular we show that finite graded lattices of rank n have such an action if and only if they have an S_n EL-labeling.


title: Groupes de Garside

abstract: Define a Garside monoid to be a cancellative monoid where right and left lcm's exist and that satisfy additional finiteness assumptions, and a Garside group to be the group of fractions of a Garside monoid. The family of Garside groups contains the braid groups, all spherical Artin groups, and various generalizations previously considered (In particular, the Garside groups considered in [1,7] are special cases of those considered here; the latter had been called "small Gaussian" in earlier works; the name has been changed in order to uniformize the terminology with works by Bessis, Charney, Michel, and other authors). Here we prove that Garside groups are biautomatic, and that being a Garside group is a recursively enumerable property, i.e., there exists an algorithm constructing the (infinite) list of all small Gaussian groups. The latter result relies on an effective, tractable method for recognizing those presentations that define a Garside monoid.


title: Study of an identity

abstract: We solve the word problem of the identity $x(yz) = (xy)(yz)$ by investigating a certain group describing the geometry of that identity. We also construct a concrete realization of the free system of rank~1 relative to the above identity


title: Constructing elliptic curves with a known number of points over a prime field

abstract: Elliptic curves with a known number of points over a given prime field with n elements are often needed for use in cryptography. In the context of primality proving, Atkin and Morain suggested the use of the theory of complex multiplication to construct such curves. One of the steps in this method is the calculation of a root modulo n of the Hilbert class polynomial H(X) for a fundamental discriminant D. The usual way is to compute H(X) over the integers and then to find the root modulo n. We present a modified version of the Chinese remainder theorem (CRT) to compute H(X) modulo n directly from the knowledge of H(X) modulo enough small primes. Our complexity analysis suggests that asymptotically our algorithm is an improvement over previously known methods.


title: The bicanonical map of surfaces with $p_g=0$ and $K^2\ge 7$, II

abstract: We study the minimal complex surfaces of general type with $p_g=0$ and $K^2=7$ or 8 whose bicanonical map is not birational. In the paper 'The bicanonical map of surfaces with $p_g=0$ and $K^2\ge 7$' we have shown that if $S$ is such a surface, then the bicanonical map has degree 2. Here we describe precisely such surfaces showing that there is a fibration $f\colon S\to \pp^1$ such that: i) the general fibre $F$ of $f$ is a genus 3 hyperelliptic curve; ii) the involution induced by the bicanonical map of $S$ restricts to the hyperelliptic involution of $F$. Furthermore, if $K^2_S=8$, then $f$ is an isotrivial fibration with 6 double fibres, and if $K^2_S=7$, then $f$ has 5 double fibres and it has precisely one fibre with reducible support, consisting of two components.


title: Finite order formulation of Vinogradov's C-spectral sequence

abstract: The C-spectral sequence was introduced by Vinogradov in the late Seventies as a fundamental tool for the study of algebro-geometric properties of jet spaces and differential equations. A spectral sequence arise from the contact filtration of the modules of forms on jet spaces of a fibring (or on a differential equation). In order to avoid serious technical difficulties, the order of the jet space is not fixed, i. e., computations are performed on spaces containing forms on jet spaces of any order. In this paper we show that there exists a formulation of Vinogradov's C-spectral sequence in the case of finite order jet spaces of a fibred manifold. We compute all cohomology groups of the finite order C-spectral sequence. We obtain a finite order variational sequence which is shown to be naturally isomorphic with Krupka's finite order variational sequence.


title: Unimodular covers of multiples of polytopes

abstract: Let P be a d-dimensional lattice polytope. We show that there exists a natural number c_d, only depending on d, such that the multiples cP have a unimodular cover for every natural number c >= c_d. Actually, a subexponential upper bound for c_d is provided, together with an analogous result for unimodular covers of rational cones.


title: Canonical Nonlinear Connections on Jet Bundles of First Order

abstract: The aim of this paper is to open the problem of construction of a nonlinear connection $\Gamma=(M^{(i)}_{(\alpha)\beta}, N^{(i)}_{(\alpha)j})$ on the jet bundle of first order $J^1(T,M)$, which to be canonically produced by a Kronecker product vertical metrical d-tensor $G^{(\alpha)(\beta)}_{(i)(j)}=h^{\alpha\beta}g_{ij}$, possibly provided by multi-time dependent quadratic Lagrangians coming from various branches of theoretical physics: bosonic strings theory, electrodynamics or elasticity.


title: K\"ahler-Einstein Metrics for some quasi smooth log del Pezzo Surfaces

abstract: Recently Johnson and Koll\'ar determined the complete list of anticanonically embedded quasi smooth log del Pezzo surfaces in weighted projective 3-spaces. They also proved that many of those surfaces admit a K\"ahler-Einstein metric, and that some of them do not have tigers. The aim of this paper is to settle the question of the existence of K\"ahler-Einstein metrics and tigers for those surfaces for which the question was still open. In order to do so, we will use techniques developed earlier by Nadel and Demailly and Koll\'ar.


title: Homotopy type and volume of locally symmetric manifolds

abstract: We consider locally symmetric manifolds with a fixed universal covering, and construct for each such manifold M a simplicial complex R whose size is proportional to the volume of M. When M is non-compact, R is homotopically equivalent to M, while when M is compact, R is homotopically equivalent to M\N, where N is a finite union of submanifolds of fairly smaller dimensions. This expresses how the volume controls the topological structure of M, and yields concrete bounds for various finiteness statements which previously had no quantitative proofs. For example, it gives an explicit upper bound for the possible number of locally symmetric manifolds of volume bounded by v>0, and it yields an estimate for the size of a minimal presentation for the fundamental group of a manifold in terms of its volume. It also yields a number of new finiteness results.


title: Topology of spaces of hyperbolic polynomials and combinatorics of resonances

abstract: In this paper we study the topology of the strata, indexed by number partitions $\lambda$, in the natural stratification of the space of monic hyperbolic polynomials of degree $n$. We prove stabilization theorems for removing an independent block or an independent relation in $\lambda$. We also prove contractibility of the one-point compactifications of the strata indexed by a large class of number partitions, including $\lambda=(k^m,1^r)$, for $m\geq 2$. Furthermore, we study the maps between the homology groups of the strata, induced by imposing additional relations (resonances) on the number partition $\lambda$, or by merging some of the blocks of $\lambda$.


title: Rational homology of spaces of complex monic polynomials with multiple roots

abstract: We study rational homology groups of one-point compactifications of spaces of complex monic polynomials with multiple roots. These spaces are indexed by number partitions. A standard reformulation in terms of quotients of orbit arrangements reduces the problem to studying certain triangulated spaces $X_{\lambda,\mu}$. We present a combinatorial description of the cell structure of $X_{\lambda,\mu}$ using the language of marked forests. As applications we obtain a new proof of a theorem of Arnold and a counterexample to a conjecture of Sundaram and Welker, along with a few other smaller results.


title: A strange example concerning Property N_p

abstract: We exhibit an example of a line bundle M on a smooth complex projective variety Y s.t. M satisfy Property N_p for some p, the p-module of a minimal resolution of the ideal of the embedding of Y by M is nonzero and M^2 does not satisfy Property N_p.


title: Schwarzian Derivatives and Flows of Surfaces

abstract: This paper goes some way in explaining how to construct an integrable hierarchy of flows on the space of conformally immersed tori in n-space. These flows have first occured in mathematical physics -- the Novikov-Veselov and Davey-Stewartson hierarchies -- as kernel dimension preserving deformations of the Dirac operator. Later, using spinorial representations of surfaces, the same flows were interpreted as deformations of surfaces in 3- and 4-space preserving the Willmore energy. This last property suggest that the correct geometric setting for this theory is Moebius invariant surface geometry. We develop this view point in the first part of the paper where we derive the fundamental invariants -- the Schwarzian derivative, the Hopf differential and a normal connection -- of a conformal immersion into n-space together with their integrability equations. To demonstrate the effectivness of our approach we discuss and prove a variety of old and new results from conformal surface theory. In the the second part of the paper we derive the Novikov-Veselov and Davey-Stewartson flows on conformally immersed tori by Moebius invariant geometric deformations. We point out the analogy to a similar derivation of the KdV hierarchy as flows on Schwarzian's of meromorphic functions. Special surface classes, e.g. Willmore surfaces and isothermic surfaces, are preserved by the flows.


title: Approach to Fixation for Zero-Temperature Stochastic Ising Models on the Hexagonal Lattice

abstract: We investigate zero-temperature dynamics on the hexagonal lattice H for the homogeneous ferromagnetic Ising model with zero external magnetic field and a disordered ferromagnetic Ising model with a positive external magnetic field h. We consider both continuous time (asynchronous) processes and, in the homogeneous case, also discrete time synchronous dynamics (i.e., a deterministic cellular automaton), alternating between two sublattices of H. The state space consists of assignments of -1 or +1 to each site of H, and the processes are zero-temperature limits of stochastic Ising ferromagnets with Glauber dynamics and a random (i.i.d. Bernoulli) spin configuration at time 0. We study the speed of convergence of the configuration $\sigma^t$ at time t to its limit $\sigma^{\infty}$ and related issues.


title: Symmetrically Factorizable Groups and Set-Theoretical Solutions of the Pentagon Equation

abstract: The notion of a symmetrically factorizable Lie group is introduced. It is shown that each symmetrically factorizable Lie group is related to a set-theoretical solution of the pentagon equation. Each simple Lie group (after a certain Abelian extension) is symmetrically factorizable.


title: Hardy spaces for non-compactly causal symmetric spaces and the most continuous spectrum

abstract: Let $G/H$ be a semisimple symmetric space. Then the space $L^2(G/H)$ can be decomposed into a finite sum of series representations induced from parabolic subgroups of $G$. The most continuous part of the spectrum of $L^2(G/H)$ is the part induced from the smallest possible parabolic subgroup. In this paper we introduce Hardy spaces canonically related to this part of the spectrum for a class of non-compactly causal symmetric spaces. The Hardy space is a reproducing Hilbert space of holomorphic functions living on a tube type bounded symmetric domain, containing $G/H$ as a boundary component. A boundary value map is constructed and we show that it induces an $G$-isomorphism onto a multiplicity free subspace of full spectrum in the most continuous part $L_{\rm mc}^2(G/H)$ of $L^2(G/H)$. We also relate our Hardy space with the classical Hardy space on the tube domain.


title: Toric AF-algebras and faithful representation of the mapping class groups

abstract: There exists a covariant non-injective functor from the space of generic Riemann surfaces to the so-called toric AF-algebras; such a functor maps isomorphic Riemann surfaces to the stably isomorphic toric AF-algebras. We use the functor to construct a faithful representation of the mapping class group of surface of genus g>1 into the matrix group GL(6g-6, Z).


title: Minors of symmetric and exterior powers

abstract: We describe some of the determinantal ideals attached to symmetric, exterior and tensor powers of a matrix. The methods employed use elements of Zariski's theory of complete ideals and of representation theory.


title: Eta invariants and regularized determinants for odd dimensional hyperbolic manifolds with cusps

abstract: We study the eta invariants of Dirac operators and the regularized determinants of Dirac Laplacians over hyperbolic manifolds with cusps. We follow Werner M"uller and use relative traces to define these spectral invariants. We show the regularity of eta and zeta functions at s=0. The Selberg trace formula and the detailed analysis of the unipotent terms give the relation between the eta invariant and the Selberg zeta function of odd type. This allows us to show the vanishing of the unipotent contribution. We show that the eta invariant and the Selberg zeta function of odd type satisfy certain functional equation. These results generalize earlier work of John Millson to hyperbolic manifolds with cusps. We also get the corresponding relation and functional equation for the regularized determinant and the Selberg zeta function of even type where the unipotent factor plays a non-trivial role.


title: The symplectic vortex equations and invariants of Hamiltonian group actions

abstract: In this paper we define invariants of Hamiltonian group actions for central regular values of the moment map. The key hypotheses are that the moment map is proper and that the ambient manifold is symplectically aspherical. The invariants are based on the symplectic vortex equations. Applications include an existence theorem for relative periodic orbits, a computation for circle actions on a complex vector space, and a theorem about the relation between the invariants introduced here and the Seiberg--Witten invariants of a product of a Riemann surface with a two-sphere.


title: Geometrical theory of dynamical systems

abstract: This text is a slightly edited version of lecture notes for a course I gave at ETH, during the Winter term 2000-2001, to undergraduate Mathematics and Physics students. Contents: Chapter 1 - Examples of Dynamical Systems Chapter 2 - Stationary and Periodic Solutions Chapter 3 - Local Bifurcations Chapter 4 - Introduction to Chaotic Dynamics


title: Perturbation theory of dynamical systems

abstract: This text is a slightly edited version of lecture notes for a course I gave at ETH, during the Summer term 2001, to undergraduate Mathematics and Physics students. It covers a few selected topics from perturbation theory at an introductory level. Only certain results are proved, and for some of the most important theorems, sketches of the proofs are provided. Contents: Chapter 1 - Introduction and Examples Chapter 2 - Bifurcations and Unfolding Chapter 3 - Regular Perturbation Theory Chapter 4 - Singular Perturbation Theory


title: A general Plucker formula

abstract: We prove a formula which compares intersection numbers of conormal varieties of two projective varieties and their dual varieties. When one of them is linear, we can recover the usual Plucker formula for the degree of the dual variety. The basic strategy of the proof is to study a category of Lagrangian subvarieties in the cotangent bundle of a projective space under a birational transformation.


title: On the analytic zero divisor conjecture of Linnell

abstract: In this note we prove that in the case of finitely generated amenable groups the classical zero divisor conjecture implies the analytic zero divisor conjecture of Linnell.


title: Detecting Elements and Lusternik--Schnirelmann Category of 3-Manifolds

abstract: In this paper, we give a new simplified calculation of the Lusternik-Schnirelmann category of closed 3-manifolds. We also describe when 3-manifolds have detecting elements and prove that 3-manifolds satisfy the equality of the Ganea conjecture.


title: AF-equivalence relations and their cocycles

abstract: After a review of some of the main results about hyperfinite equivalence relations and their cocycles in the measured setting, we give a definition of a topological AF-equivalence relation. We show that every cocycle is cohomologous to a quasi-product cocycle. We then study the problem of determining the quasi-invariant probability measures admitting a given cocycle as their Radon-Nikodym derivative.


title: An extension of Biran's Lagrangian barrier theorem

abstract: We use the Gromov-Witten invariants and a nonsqueezing theorem by the author to affirm a conjecture by P.Biran on the Lagrangian barriers.


title: Two-row nilpotent orbits of cyclic quivers

abstract: We prove that the local intersection cohomology of nilpotent orbit closures of cyclic quivers is trivial when the two orbits involved correspond to partitions with at most two rows. This gives a geometric proof of a result of Graham and Lehrer, which states that standard modules of the affine Hecke algebra of $GL_d$ corresponding to nilpotents with at most two Jordan blocks are multiplicity-free.


title: Contractions and generalized Casimir invariants

abstract: We prove that if $\frak{g}^{\prime}$ is a contraction of a Lie algebra $\frak{g}$ then the number of functionally independent invariants of $\frak{g}^{\prime}$ is at least that of $\frak{g}$. This allows to determine explicitly the number of invariants of Lie algebras carrying a supplementary structure, such as linear contact or linear forms whose differential is symplectic.


title: A note on the Lawrence-Krammer-Bigelow representation

abstract: A very popular problem on braid groups has recently been solved by Bigelow and Krammer, namely, they have found a faithful linear representation for the braid group B_n. In their papers, Bigelow and Krammer suggested that their representation is the monodromy representation of a certain fibration. Our goal in this paper is to understand this monodromy representation using standard tools from the theory of hyperplane arrangements. In particular, we prove that the representation of Bigelow and Krammer is a sub-representation of the monodromy representation which we consider, but that it cannot be the whole representation.


title: An interpretation of multiplier ideals via tight closure

abstract: Hara and Smith independently proved that in a normal $\mQ$-Gorenstein ring of characteristic $p \gg 0$, the test ideal coincides with the multiplier ideal associated to the trivial divisor. We extend this result for a pair $(R, \Delta)$ of a normal ring $R$ and an effective $\mQ$-Weil divisor $\Delta$ on $\Spec R$. As a corollary, we obtain the equivalence of strongly F-regular pairs and klt pairs.


title: A Generalise Harbourne-Hirschowitz Conjecture

abstract: A conjecture for higher order separation on generic rational surfaces with some new results about standard divisors.


title: One-sided ideals and approximate identities in operator algebras

abstract: A left ideal of any $C^*$-algebra is an example of an operator algebra with a right contractive approximate identity (r.c.a.i.). Indeed left ideals in $C^*$-algebras may be characterized as the class of such operator algebras, which happen also to be triple systems. Conversely, we show here and in a sequel to this paper, that operator algebras with r.c.a.i. should be studied in terms of a certain left ideal of a $C^*$-algebra. We study left ideals from the perspective of `Hamana theory' and using the multiplier algebras introduced by the author. More generally, we develop some general theory for operator algebras which have a 1-sided identity or approximate identity, including a Banach-Stone theorem for these algebras, and an analysis of the `multiplier operator algebra'.


title: The prime and primitive spectra of multiparameter quantum symplectic and euclidean spaces

abstract: We investigate a class of algebras that provides multiparameter versions of both quantum symplectic space and quantum Euclidean $2n$-space. These algebras encompass the graded quantized Weyl algebras, the quantized Heisenberg space, and a class of algebras introduced by Oh. We describe the structure of the prime and primitive ideals of these algebras. Other structural results include normal separation and catenarity.


title: Hermitian forms, trace equations and application to codes

abstract: We provide a systematic study of sesquilinear hermitian forms and a new proof of the calculus of some exponential sums defined with quadratic hermitian forms. The computation of the number of solutions of equations such as Tr(f(x)+v.x)=0 or Tr(f(x))=a allows us to construct codes and to obtain their parameters.


title: Schur function analogs for a filtration of the symmetric function space

abstract: We consider a filtration of the symmetric function space given by $\Lambda^{(k)}_t$, the linear span of Hall-Littlewood polynomials indexed by partitions whose first part is not larger than $k$. We introduce symmetric functions called the $k$-Schur functions, providing an analog for the Schur functions in the subspaces $\Lambda^{(k)}_t$. We prove several properties for the $k$-Schur functions including that they form a basis for these subspaces that reduces to the Schur basis when $k$ is large. We also show that the connection coefficients for the $k$-Schur function basis with the Macdonald polynomials belonging to $\Lambda^{(k)}_t$ are polynomials in $q$ and $t$ with integral coefficients. In fact, we conjecture that these integral coefficients are actually positive, and give several other conjectures generalizing Schur function theory.


title: Schur function identities, their t-analogs, and k-Schur irreducibility

abstract: We obtain general identities for the product of two Schur functions in the case where one of the functions is indexed by a rectangular partition, and give their t-analogs using vertex operators. We study subspaces forming a filtration for the symmetric function space that lends itself to generalizing the theory of Schur functions and also provides a convenient environment for studying the Macdonald polynomials. We use our identities to prove that the vertex operators leave such subspaces invariant. We finish by showing that these operators act simply on the k-Schur functions, thus leading to a concept of irreducibility for these functions.


title: p-adic variation of L-functions of exponential sums, I

abstract: For a polynomial $f(x)$ in $(\mathbb{Z}_p\cap \mathbb{Q})[x]$ of degree $d>2$ let $L(f \bmod p;T)$ be the $L$-function of the exponential sum of $f \bmod p$. Let $\mathrm{NP}(f \bmod p)$ denote the Newton polygon of $L(f \bmod p;T)$. Let $\mathrm{HP}(f)$ denote the Hodge polygon of $f$, which is the lower convex hull in the real plane of the points $(n,n(n+1)/(2d))$ for $0\leq n\leq d-1$. We prove that there is a Zariski dense subset $\mathcal{U}$ defined over $\mathbb{Q}$ in the space $\mathbb{A}^d$ of degree-$d$ monic polynomials over $\mathbb{Q}$ such that for all $f$ in $\mathcal{U}(\mathbb{Q})$ we have $\lim_{p\rightarrow\infty} \mathrm{NP}(f \bmod p) = \mathrm{HP}(f)$. Moreover, we determine the $p$-adic valuation of every coefficient of $L(f \bmod p;T)$ for $p$ large enough and $f$ in $\mathcal{U}(\mathbb{Q})$, and that of $L(x^d+a x \bmod p;T)$ for all $a\neq 0$.


title: Kustin-Miller unprojection with complexes

abstract: A main ingredient for Kustin-Miller unprojection, as developed in (S. Papadakis and M. Reid, Kustin-Miller unprojection without complexes, math.AG/0011094), is the module Hom_R(I, \om_R), where R is a local Gorenstein ring and I a codimension one ideal with R/I Gorenstein. We prove a method of calculating it in a relative setting using resolutions. We give three applications. In the first we generalise a result of (F. Catanese et al., Embeddings of curves and surfaces, Nagoya Math. J. 154 (1999), 185-220). The second and the third are about Tom and Jerry, two families of Gorenstein codimension four rings with 9x16 resolutions.


title: Resonance Category

abstract: The main purpose of this paper is to introduce a new category, which we call a resonance category, whose combinatorics reflect that of canonical stratifications of $n$-fold symmetric smash products. The study of the stratifications can then be abstracted to the study of functors satisfying certain sets of axioms, which we name resonance functors. One frequently studied stratification is that of the set of all polynomials of degree $n$, defined by fixing the allowed multiplicities of roots. We apply our abstract combinatorial framework, in particular, the notion of direct product of relative resonances, to study the Arnold problem of computing the algebro-topological invariants of these strata.


title: Topological complexity of motion planning

abstract: In this paper we study a notion of topological complexity for the motion planning problem. The topological complexity is a number which measures discontinuity of the process of motion planning in the configuration space X. More precisely, it is the minimal number k such that there are k different motion planning rules, each defined on an open subset of XxX, so that each rule is continuous in the source and target configurations. We use methods of algebraic topology (the Lusternik - Schnirelman theory) to study the topological complexity . We give an upper bound (in terms of the dimension of the configuration space X) and also a lower bound (in the terms of the structure of the cohomology algebra of X). We explicitly compute the topological complexity of motion planning for a number of configuration spaces: for spheres, two-dimensional surfaces, for products of spheres. In particular, we completely calculate the topological complexity of the problem of motion planning for a robot arm in the absence of obstacles.


title: Infinitesimal Operations on Complexes of Graphs

abstract: In two seminal papers Kontsevich used a construction called_graph homology_ as a bridge between certain infinite dimensional Lie algebras and various topological objects, including moduli spaces of curves, the group of outer automorphisms of a free group, and invariants of odd dimensional manifolds. In this paper, we show that Kontsevich's graph complexes, which include graph complexes studied earlier by Culler and Vogtmann and by Penner, have a rich algebraic structure. We define a Lie bracket and cobracket on graph complexes, and in fact show that they are Batalin-Vilkovisky algebras, and therefore Gerstenhaber algebras. We also find natural subcomplexes on which the bracket and cobracket are compatible as a Lie bialgebra. Kontsevich's graph complex construction was generalized to the context of operads by Ginzburg and Kapranov, with later generalizations by Getzler-Kapranov and Markl. In [CoV], we show that Kontsevich's results in fact extend to general cyclic operads. For some operads, including the examples associated to moduli space and outer automorphism groups of free groups, the subcomplex on which we have a Lie bi-algebra structure is quasi-isomorphic to the entire connected graph complex. In the present paper we show that all of the new algebraic operations canonically vanish when the homology functor is applied, and we expect that the resulting constraints will be useful in studying the homology of the mapping class group, finite type manifold invariants and the homology of Out(F_n).


title: Critical resonance in the non-intersecting lattice path model

abstract: We study the phase transition in the honeycomb dimer model (equivalently, monotone non-intersecting lattice path model). At the critical point the system has a strong long-range dependence; in particular, periodic boundary conditions give rise to a ``resonance'' phenomenon, where the partition function and other properties of the system depend sensitively on the shape of the domain.


title: Imbedded Singular Continuous Spectrum for Schr\"odinger Operators

abstract: We construct examples of potentials $V(x)$ satisfying $|V(x)| \leq \frac{h(x)}{1+x},$ where the function $h(x)$ is growing arbitrarily slowly, such that the corresponding Schr\"odinger operator has imbedded singular continuous spectrum. This solves one of the fifteen "twenty-first century" problems for Schr\"odinger operators posed by Barry Simon. The construction also provides the first example of a Schr\"odinger operator for which M\"oller wave operators exist but are not asymptotically complete due to the presence of singular continuous spectrum.


title: A remark on sl_2 approximation of the Kontsevich integral of the unknot

abstract: We give a formula for an sl_2 approximation of the Kontsevich integral of the unknot.


title: Hyperbolic monopoles and holomorphic spheres

abstract: We associate to an SU(2) hyperbolic monopole a holomorphic sphere embedded in projective space and use this to uncover various features of the monopole.


title: Linking numbers in rational homology 3-spheres, cyclic branched covers and infinite cyclic covers

abstract: We study the linking numbers in a rational homology 3-sphere and in the infinite cyclic cover of the complement of a knot. They take values in $\Bbb Q$ and in ${Q}({\Bbb Z}[t,t^{-1}])$ respectively, where ${Q}({\Bbb Z}[t,t^{-1}])$ denotes the quotient field of ${\Bbb Z}[t,t^{-1}]$. It is known that the modulo-$\Bbb Z$ linking number in the rational homology 3-sphere is determined by the linking matrix of the framed link and that the modulo-${\Bbb Z}[t,t^{-1}]$ linking number in the infinite cyclic cover of the complement of a knot is determined by the Seifert matrix of the knot. We eliminate ` modulo $\Bbb Z$' and ` modulo ${\Bbb Z}[t,t^{-1}]$'. When the finite cyclic cover of the 3-sphere branched over a knot is a rational homology 3-sphere, the linking number of a pair in the preimage of a link in the 3-sphere is determined by the Goeritz/Seifert matrix of the knot.


title: From Subfactors to Categories and Topology I. Frobenius algebras in and Morita equivalence of tensor categories

abstract: We consider certain categorical structures that are implicit in subfactor theory. Making the connection between subfactor theory (at finite index) and category theory explicit sheds light on both subjects. Furthermore, it allows various generalizations of these structures, e.g. to arbitrary ground fields, and the proof of new results about topological invariants in three dimensions. The central notion is that of a Frobenius algebra in a tensor category A, which reduces to the classical notion if A=F-Vect, where F is a field. An object X in A with two-sided dual X^ gives rise to a Frobenius algebra in A, and under weak additional conditions we prove a converse: There exists a bicategory E with Obj(E)={X,Y} such that End_E(X,X) is equivalent to A and such that there are J: Y->X, J^: X->Y producing the given Frobenius algebra. Many properties (additivity, sphericity, semisimplicity,...) of A carry over to E. We define weak monoidal Morita equivalence (wMe) of tensor categories and establish a correspondence between Frobenius algebras in A and tensor categories B wMe A. While considerably weaker than equivalence of tensor categories, weak monoidal Morita equivalence of A and B implies (for A,B semisimple and spherical or *-categories) that A and B have the same dimension, braided equivalent `center' (quantum double) and define the same state sum invariants of closed oriented 3-manifolds as defined by Barrett and Westbury. If H is a finite dimensional semisimple and cosemisimple Hopf algebra then H-mod and H^-mod are wMe. The present formalism permits a fairly complete analysis of the quantum double of a semisimple spherical category, which is the subject of the companion paper math.CT/0111205.


title: From Subfactors to Categories and Topology II. The quantum double of tensor categories and subfactors

abstract: We are concerned with the center (=quantum double) of tensor categories and prove generalizations of several results proven previously for quantum doubles of Hopf algebras. We consider F-linear tensor categories C with simple unit and finitely many isomorphism classes of simple objects. We assume that C is either a *-category (i.e. there is a positive *-operation on the morphisms) or semisimple and spherical over an algebraically closed field F. In the latter case we assume that dim C=sum_i d(X_i)^2 is non-zero, where the summation runs over the isomorphism classes of simple objects. We prove: (i) Z(C) is a semisimple spherical (or *-) category. (ii) Z(C) is weakly monoidally Morita equivalent (in the sense of math.CT/0111204) to C X C^op. This implies dim Z(C)=(dim C)^2. (iii) We analyze the simple objects of Z(C) in terms of certain finite dimensional algebras, of which Ocneanu's tube algebra is the smallest. We prove the conjecture of Gelfand and Kazhdan according to which the number of simple objects of Z(C) coincides with the dimension of the state space H_{S^1\times S^1} of the torus in the triangulation TQFT built from C. (iv) We prove that Z(C) is modular and we compute the Gauss sums Delta_+/-(Z(C))=sum_i theta(X_i)^{+/- 1}d(X_i)^2=dim C. (v) Finally, if C is already modular then Z(C)\simeq C X C~, where C~ is the tensor category C with the braiding c~_{X,Y}=c_{Y,X}^{-1}.


title: Operator amenability of Fourier-Stieltjes algebras

abstract: The notion of operator amenability was introduced by Z.-J. Ruan in 1995. He showed that a locally compact group G is amenable if and only if its Fourier algebra A(G) is operator amenable. In this paper, we investigate the operator amenability of the Fourier-Stieltjes algebra B(G) and of the reduced Fourier-Stieltjes algebra B_r(G). The natural conjecture is that any of these algebras is operator amenable if and only if G is compact. We partially prove this conjecture with mere operator amenability replaced by operator C-amenability for some constant C < 5. In the process, we obtain a new decomposition of B(G), which can be interpreted as the non-commutative counterpart of the decomposition of M(G) into the discrete and the continuous measures. We further introduce a variant of operator amenability - called operator Connes-amenability - which also takes the dual space structure on B(G) and B_r(G) into account. We show that B_r(G) is operator Connes-amenable if and only if G is amenable. Surprisingly, B(F_2) is operator Connes-amenable although F_2, the free group in two generators, fails to be amenable.


title: A geometric construction of Tango bundle on P^5

abstract: The Tango bundle T over P^5 is proved to be the pull-back of the twisted Cayley bundle C(1) via a map f : P^5 --> Q_5 existing only in characteristic 2. The Frobenius morphism F factorizes via such f. Using f the cohomology of T is computed in terms of F^*(C), Sym^2(C), C and the tensor product of S by C, while these are computed by applying Borel-Bott-Weil theorem. By machine-aided computation the mimimal resolutions of C and T are given; incidentally the matrix presenting the spinor bundle S over Q_5 is shown.


title: Homogeneous Backlund transformations of hyperbolic Monge-Ampere systems

abstract: A Backlund transformation between two hyperbolic Monge-Ampere systems may be described as a certain type of exterior differential system on a 6-dimensional manifold B. The transformation is homogeneous if the group of symmetries of the system acts transitively on B. We give a complete classification of homogeneous Backlund transformations between hyperbolic Monge-Ampere systems.


title: Linking numbers of measured foliations

abstract: We generalise the average asymptotic linking number of a pair of divergence-free vector fields on homology three-spheres by considering the linking of a divergence-free vector field on a manifold of arbitrary dimension with a codimension two foliation endowed with an invariant transverse measure. We prove that the average asymptotic linking number is given by an integral of Hopf type. Considering appropriate vector fields and measured foliations, we obtain an ergodic interpretation of the Godbillon-Vey invariant of a family of codimension one foliations discussed in math.GT/0111137.


title: Representations de dimension finie de l'algebre de Cherednik rationnelle

abstract: On donne une condition necessaire et suffisante pour l'existence de modules de dimension finie sur l'algebre de Cherednik rationnelle associee a un systeme de racines.


title: Determinants of Laplacians and Isopolar Metrics on Surfaces of Infinite Area

abstract: We construct a determinant of the Laplacian for infinite-area surfaces which are hyperbolic near infinity and without cusps. In the case of a convex co-compact hyperbolic metric, the determinant can be related to the Selberg zeta function and thus shown to be an entire function of order two with zeros at the eigenvalues and resonances of the Laplacian. In the hyperbolic near infinity case the determinant is analyzed through the zeta-regularized relative determinant for a conformal metric perturbation. We establish that this relative determinant is a ratio of entire functions of order two with divisor corresponding to eigenvalues and resonances of the perturbed and unperturbed metrics. These results are applied to the problem of compactness in the smooth topology for the class of metrics with a given set of eigenvalues and resonances.


title: Higher correlations of divisor sums related to primes I: triple correlations

abstract: We obtain the triple correlations for a truncated divisor sum related to primes. We also obtain the mixed correlations for this divisor sum when it is summed over the primes, and give some applications to primes in short intervals.


title: Differentiable functions defined in closed sets. A problem of Whitney

abstract: In 1934, Whitney raised the question of how to recognize whether a function f defined on a closed subset X of Euclidean space is the restriction of a function that is continuously differentiable to order p. A necessary and sufficient criterion was given in the case n=1 by Whitney, using limits of finite differences, and in the case p=1 by Glaeser (1958), using limits of secants. We introduce a necessary geometric criterion, for general n and p, involving limits of finite differences, that we conjecture is sufficient at least if X has a "tame topology". We prove that, if X is a compact subanalytic set, then there exists q=q(p) such that the criterion of order q implies that f is p times continuously differentiable. The result gives a new approach to higher-order tangent bundles (or bundles of differentiable operators) on singular spaces.


title: Circle packings on surfaces with projective structures

abstract: The Andreev-Thurston theorem states that for any triangulation of a closed orientable surface \Sigma_g of genus g which is covered by a simple graph in the universal cover, there exists a unique metric of curvature 1, 0 or -1 on the surface depending on whether g=0, 1 or \ge 2 such that the surface with this metric admits a circle packing with combinatorics given by the triangulation. Furthermore, the circle packing is essentially rigid, that is, unique up to conformal automorphisms of the surface isotopic to the identity. In this paper, we consider projective structures on the surface \Sigma_g where circle packings are also defined. We show that the space of projective structures on a surface of genus g \ge 2 which admits a circle packing by one circle is homeomorphic to R^{6g-6} and furthermore that the circle packing is rigid on such surfaces.


title: Motivic zeta functions for prehomogeneous vector spaces and castling transformations

abstract: We study the behaviour of motivic zeta functions of prehomogeneous vector spaces under castling transformations. In particular we deduce how the motivic Milnor fibre and the Hodge spectrum at the origin behave under such transformations.


title: Connection with torsion, parallel spinors and geometry of Spin(7) manifolds

abstract: We show that on every Spin(7) manifold there always exists a unique linear connection with totally skew-symmetric torsion preserving a nontrivial spinor and the Spin(7) structure. We express its torsion and the Riemannian scalar curvature in terms of the fundamental 4-form. We present an explicit formula for the Riemannian covariant derivative of the fundamental 4-form in terms of its exterior differential. We show the vanishing of the (\hat)-A genus and obtain a linear relation between Betti numbers of a compact Spin(7) manifolds which are locally but not globally conformally equivalent to a space with closed fundamental 4-form. A general solution to the Killing spinor equations is presented


title: Kaehler submanifolds with parallel pluri-mean curvature

abstract: We investigate the local geometry of a class of K\"ahler submanifolds $M \subset \R^n$ which generalize surfaces of constant mean curvature. The role of the mean curvature vector is played by the $(1,1)$-part (i.e. the $dz_id\bar z_j$-components) of the second fundamental form $\alpha$, which we call the pluri-mean curvature. We show that these K\"ahler submanifolds are characterized by the existence of an associated family of isometric submanifolds with rotated second fundamental form. Of particular interest is the isotropic case where this associated family is trivial. We also investigate the properties of the corresponding Gauss map which is pluriharmonic.


title: A Burns-Epstein invariant for ACHE 4-manifolds

abstract: We define a renormalized characteristic class for Einstein asymptotically complex hyperbolic (ACHE) manifolds of dimension 4: for any such manifold, the polynomial in the curvature associated to the characteristic class euler-3signature is shown to converge. This extends a work of Burns and Epstein in the Kahler-Einstein case. This extends a work of Burns and Epstein in the Kahler-Einstein case. We also define a new global invariant for any 3-dimensional pseudoconvex CR manifold, by a renormalization procedure of the eta invariant of a sequence of metrics which approximate the CR structure. Finally, we get a formula relating the renormalized characteristic class to the topological number euler-3signature and the invariant of the CR structure arising at infinity.


title: Lining up tangent spaces

abstract: This paper gives conditions for a singular foliation to be resolved.


title: New RBF collocation schemes and their applications

abstract: The purpose of this study is to apply some new RBF collocation schemes and recently-developed kernel RBFs to various types of partial differential equation systems. By analogy with the Fasshauer's Hermite interpolation, we recently developed the symmetric BKM and boundary particle methods (BPM), where the latter is based on the multiple reciprocity principle. The resulting interpolation matrix of them is always symmetric irrespective of boundary geometry and conditions. Furthermore, the proposed direct BKM and BPM apply the practical physical variables rather than expansion coefficients and become very competitive alternative to the boundary element method. On the other hand, by using the Green integral we derive a new domain-type symmetrical RBF scheme called as the modified Kansa method (MKM), which differs from the Fasshaure's scheme in that the MKM discretizes both governing equation and boundary conditions on the same boundary nodes. Therefore, the MKM significantly reduces calculation errors at nodes adjacent to boundary with explicit mathematical basis. Experimenting these novel RBF schemes with 2D and 3D Laplace, Helmholtz, and convection-diffusion problems will be subject of this study. In addition, the nonsingular high-order fundamental or general solution will be employed as the kernel RBFs in the BKM and MKM.


title: Difference Fourier transforms for nonreduced root systems

abstract: In the first part of the paper kernels are constructed which meromorphically extend the Macdonald-Koornwinder polynomials in their degrees. In the second part of the paper the kernels associated with rank one root systems are used to define nonsymmetric variants of the spherical Fourier transform on the quantum SU(1,1) group. Related Plancherel and inversion formulas are derived using double affine Hecke algebra techniques.


title: Morse theory and higher torsion invariants I

abstract: We compare the higher analytic torsion of Bismut and Lott of a fibre bundle p: M -> B equipped with a flat vector bundle F -> M and a fibre-wise Morse function h on M with a higher torsion T that is constructed in terms of a families Thom-Smale complex associated to h and F, thereby extending previous joint work with Bismut. Under additional conditions on F, the torsion T is related to Igusa's higher Franz-Reidemeister torsion. As an application, we use the higher analytic torsion to detect infinite families of smooth bundles p_i: M -> B with diffeomorphic fibres that are homeomorphic but not diffeomorphic as bundles.


title: Pseudohomology and homology

abstract: The notion of a pseudocycle is introduced by McDuff and Salamon (J-holomorphic curves and quantum cohomology, University Lecture Series, Vol. 6, AMS (1994)) to provide a framework for defining Gromov-Witten invariants and quantum cohomology. This paper studies the bordism groups of pseudocycles, called pseudohomology groups. These are shown to satisfy the Eilenberg-Steenrod axioms. For smooth compact manifold pairs, it is proved that pseudohomology is naturally equivalent to homology. Easy examples show that this equivalence does not extend to the case of non-compact manifolds.


title: Actions of relative Weyl group I

abstract: We construct a new isomorphism between the endomorphism algebra of an induced cuspidal character sheaf and the group algebra of the relative Weyl group involved. We show it differs from Lusztig one by a linear character, and we relate this linear character to some stabilizers. Some consequences on characteristic functions of character sheaves are obtained. In the forthcoming part II, we will apply these methods to obtain a precision on Digne, Lehrer and Michel's theorem on Lusztig restriction of Gel'fand-Graev characters.


title: Operator Figa-Talamanca-Herz algebras

abstract: Let G be a locally compact group. We use the canonical operator space structure on the spaces $L^p(G)$ for $p \in [1,\infty]$ introduced by G. Pisier to define operator space analogues $OA_p(G)$ of the classical Figa-Talamanca-Herz algebras $A_p(G)$. If $p \in (1,\infty)$ is arbitrary, then $A_p(G) \subset OA_p(G)$ such that the inclusion is a contraction; if p = 2, then $OA_2(G) \cong A(G)$ as Banachspaces spaces, but not necessarily as operator spaces. We show that $OA_p(G)$ is a completely contractive Banach algebra for each $p \in (1,\infty)$, and that $OA_q(G) \subset OA_p(G)$ completely contractively for amenable $G$ if $1 < p \leq q \leq 2$ or $2 \leq q \leq p < \infty$. Finally, we characterize the amenability of G through the existence of a bounded approximate identity in $OA_p(G)$ for one (or equivalently for all) $p \in (1,\infty)$.


title: Connes-amenability and normal, virtual diagonals for measure algebras, I

abstract: We prove that the measure algebra $M(G)$ of a locally compact group $G$ is Connes-amenable if and only if $G$ is amenable.


title: Connes-amenability and normal, virtual diagonals for measure algebras, II

abstract: We prove that the following are equivalent for a locally compact group $G$: (i) $G$ is amenable; (ii) $M(G)$ is Connes-amenable; (iii) $M(G)$ has a normal, virtual diagonal.


title: Curvature, Connected Sums, and Seiberg-Witten Theory

abstract: We consider several differential-topological invariants of compact 4-manifolds which directly arise from Riemannian variational problems. Using recent results of Bauer and Furuta, we compute these invariants in many cases that were previously intractable. In particular, we are now able to calculate the Yamabe invariant for certain connected sums of complex surfaces.


title: The Rational Cuboid Table of Maurice Kraitchik

abstract: The original tables of body cuboids by Maurice Kraitchik are corrected, restoring 159 missing cuboids. His table range is then extended for all odd sides less than 1,000,000 to a new limit of 4,294,967,295. Over this new range, 12,517 unique body cuboids are listed, from the original 416.


title: Comments on the Deformed W_N Algebra

abstract: We obtain an explicit expression for the defining relation of the deformed W_N algebra, DWA(^sl_N)_{q,t}. Using this expression we can show that, in the q-->1 limit, DWA(^sl_N)_{q,t} with t=e^{-2\pi i/N}q^{(k+N)/N} reduces to the sl_N-version of the Lepowsky-Wilson's Z-algebra of level k, ZA(^sl_N)_k. In other words DWA(^sl_N)_{q,t} with t=e^{-2\pi i/N}q^{(k+N)/N} can be considered as a q-deformation of ZA(^sl_N)_k. In the appendix given by H.Awata, S.Odake and J.Shiraishi, we present an interesting relation between DWA(^sl_N)_{q,t} and \zeta-function regularization.


title: Homology of Gaussian groups

abstract: We describe new combinatorial methods for constructing an explicit free resolution of Z by ZG-modules when G is a group of fractions of a monoid where enough least common multiples exist (``locally Gaussian monoid''), and, therefore, for computing the homology of G. Our constructions apply in particular to all Artin groups of finite Coxeter type, so, as a corollary, they give new ways of computing the homology of these groups.


title: Crystal bases and quiver varieties (Geometric construction of crystal bases II)

abstract: We give a crystal structure on the set of all irreducible components of Lagrangian subvarieties of quiver varieties. One con show that, as a crystal, it is isomorphic to the crystal base of an irreducible highest weight representation of a quantized universal enveloping algebra.


title: Exchange relations of Level-two vertex operators of $U_q(\hat{sl_2})$

abstract: We calculate the exchange relations of vertex operators of $U_q(\hat{sl_2})$ at level-two from its bosonic realization. The corresponding invertibility relation of type I vertex operators is also studied.


title: Connecting orbits of time dependent Lagrangian systems

abstract: We generalize to higher dimension results of Birkhoff and Mather on the existence of orbits wandering in regions of instability of twist maps. This generalization is strongly inspired by the one already proposed by Mather. However, its advantage is that it really contains most of the results of Birkhoff and Mather on twist maps.


title: Jacobians of singularized spectral curves and completely integrable systems

abstract: We state two recent results concerning the linearization of integrable systems on generalised Jacobians. Then we apply this to the (complexified) spherical pendulum.


title: Two dimensional Fuchsian systems and the Chebyshev property

abstract: Let $(x(t),y(t))^\top$ be a solution of a Fuchsian system of order two with three singular points. The vector space of functions of the form $P(t)x(t)+Q(t)y(t)$, where $P,Q$ are real polynomials, has a natural filtration of vector spaces, according to the asymptotic behaviour of the functions at infinity. We describe a two-parameter class of Fuchsian systems, for which the corresponding vector spaces obey the Chebyshev property (the maximal number of isolated zeroes of each function is less than the dimension of the vector space). Up to now, only a few particular systems were known to possess such a nonoscillation property. It is remarkable that most of these systems are of the type studied in the present paper. We apply our results in estimating the number of limit cycles that appear after small polynomial perturbations of several quadratic or cubic Hamiltonian systems in the plane.


title: Comments to Neutrosophy

abstract: Any system based on axioms is incomplete because the axioms cannot be proven from the system, just believed. But one system can be less-incomplete than other. Neutrosophy is less-incomplete than many other systems because it contains them. But this does not mean that it is finished, and it can always be improved. The comments presented here are an attempt to make Neutrosophy even less-incomplete. I argue that less-incomplete ideas are more useful, since we cannot perceive truth or falsity or indeterminacy independently of a context, and are therefore relative. Absolute being and relative being are defined. Also the "silly theorem problem" is posed, and its partial solution described. The issues arising from the incompleteness of our contexts are presented. We also note the relativity and dependance of logic to a context. We propose "metacontextuality" as a paradigm for containing as many contexts as we can, in order to be less-incomplete and discuss some possible consequences.


title: On a conjecture of Jacquet

abstract: In this note, we prove in full generality a conjecture of Jacquet concerning the nonvanishing of the triple product L-function at the central point. Let $\kay$ be a number field and let $\pi_i$, $i=1$, 2, 3 be cuspidal automorphic representations of $GL_2(\A)$ such that the product of their central characters is trivial. Then the central value $L(\frac12,\pi_1\otimes\pi_2\otimes\pi_3)$ of the triple product L--function is nonzero if and only if there exists a quaternion algebra $B$ over $\kay$ and automorphic forms $f_i^B\in \pi_i^B$, such that the integral of the product $f_1^B f_2^B f_3^B$ over the diagonal $Z(\Bbb A) B^\times(\kay) B^\times(\Bbb A)$ is nonzero, where $\pi_i^B$ is the representation of $B^\times(\A)$ corresponding to $\pi_i$. In a previous paper, we proved this conjecture in the special case where $\kay=\Q$ and the $\pi_i$'s correspond to a triple of holomorphic newforms. Recent improvement on the Ramanujan bound due to Kim and Shahidi, results about the local L-factors due to Ikeda and Ramakrishnan, results of Chen-bo Zhu and Sahi about invariant distributions and degenerate principal series in the complex case, and an extension of the Siegel--Weil formula to similitude groups allow us to carry over our method to the general case.


title: Commensurability of graph products

abstract: We define graph products of families of pairs of groups and study the question when two such graph products are commensurable. As an application we prove linearity of certain graph products.


title: Non-Abelian Class Field Theory for Riemann Surfaces

abstract: In this paper, using what we call a micro reciprocity law, we complete Weil's program for non-abelian class field theory of Riemann surfaces.


title: A Program For Geometric Arithmetic

abstract: Proposed is a program for what we call Geometric Arithmetic, based on our works on non-abelian zeta functions and non-abelian class field theory. Key words are stability and adelic intersection-cohomology theory.


title: The gambler's ruin problem in path representation form

abstract: We consider the classical one-dimensional random walk of a particle on the right-half real line. We assume that the particle is initially at position x=k, k > 0, and moves to the right with probability p or to the left with probability 1-p. We consider that the particle is absorbed at the origin without fixing the number of steps needed to get there. We calculate the probability P(x=k) that the particles end up at the origin, given that it starts at x=k, by means of a geometric representation of this random walk in terms of paths on a two-dimensional lattice.


title: Constructive Algebraic Topology

abstract: The classical ``computation'' methods in Algebraic Topology most often work by means of highly infinite objects and in fact +are_not+ constructive. Typical examples are shown to describe the nature of the problem. The Rubio-Sergeraert solution for Constructive Algebraic Topology is recalled. This is not only a theoretical solution: the concrete computer program +Kenzo+ has been written down which precisely follows this method. This program has been used in various cases, opening new research subjects and producing in several cases significant results unreachable by hand. In particular the Kenzo program can compute the first homotopy groups of a simply connected +arbitrary+ simplicial set.


title: Ramifications, Reduction of Singularities, Separatrices

abstract: We study the behaviour of sequences of blowing-ups under ramifications, and use the results to give a simple proof of Camacho-Sad's Theorem on the existence of Separatrices for singularities of plane holomorphic foliations. The main result we prove is that for any finite sequence $\pi$ of blowing-ups, there is a ramification morphism $\rho$ such that the elimination of indeterminations $\tilde{\pi}$ of $\pi^{-1}\circ \rho$ is a sequence of blowing-ups \emph{with centers at regular points of the exceptional divisors}; moreover, we show that if $\pi$ is the reduction of singularities of a foliation $\mathcal{F}$, then $\rho$ can be such that $\tilde{\pi}^{\star}\rho^{\star}\mathcal{F}$ has only simple singularities.


title: Deformation types of real and complex manifolds

abstract: The Leit-Faden of the article (which is partially a survey) is a negative answer to the question whether, for a compact complex manifold which is a $K(\pi, 1)$ the diffeomorphism type determines the deformation type. We show that a deformation in the large of complex tori is again a complex torus, and then that the same holds for products of a torus with a curve of genus $g\geq 2$. Together with old results of Blanchard, Calabi, and Sommese, who showed the existence of non K\"ahler complex structures on the product of a curve with a two dimensional complex torus, this gives the first counterexamples. We generalize these constructions and we study the small deformations of what we call Blanchard-Calabi 3-folds. These give infinitely many deformation components. We give also a criterion for a complex manifold to be a complex torus, namely, to have the same integral cohomology algebra of a complex torus, and to possess $n$ independent holomorphic and d-closed 1-forms. As a corollary, we give a classification of deformation types of real tori. We illustrate then simple new examples of the author of surfaces of general type which are $K(\pi, 1)$'s, and for which there are, for a fixed differentiable structure, two different deformation types. These surfaces are quotients of products of curves, and the moduli space for the fixed topological type has two connected components, exchanged by complex conjugation. We also report, after an elementary introduction to the problem, on recent results of the author and P. Frediani on the Enriques classification of real surfaces (namely, the classification of real hyperelliptic surfaces).


title: Schur Partial Derivative Operators

abstract: A lattice diagram is a finite list L=((p_1,q_1),...,(p_n,q_n) of lattice cells. The corresponding lattice diagram determinant is \Delta_L(X;Y)=\det \| x_i^{p_j}y_i^{q_j} \|. These lattice diagram determinants are crucial in the study of the so-called ``n! conjecture'' of A. Garsia and M. Haiman. The space M_L is the space spanned by all partial derivatives of \Delta_L(X;Y). The ``shift operators'', which are particular partial symmetric derivative operators are very useful in the comprehension of the structure of the M_L spaces. We describe here how a Schur function partial derivative operator acts on lattice diagrams with distinct cells in the positive quadrant.


title: Homotopical Dynamics IV: Hopf invariants and hamiltonian flows

abstract: In a non-compact context the first natural step in the search for periodic orbits of a hamiltonian flow is to detect bounded ones. In this paper we show that, in a non-compact setting, certain algebraic topological constraints imposed to a gradient flow of the hamiltonian function $f$ imply the existence of bounded orbits for the hamiltonian flow of $f$. Once the existence of bounded orbits is established, under favorable circumstances, application of the $C^{1}$-closing lemma leads to periodic ones.


title: Classification of unipotent representations of simple p-adic groups,II

abstract: Let G(K) be the group of K-rational points of a connected adjoint simple algebraic group defined over a non-archimedean local field K. In this paper we classify the unipotent representations of G(K) in terms of the geometry of the Langlands dual group. (This was known earlier in the special case where G(K) is an inner form of a split group.) We also determine which representations are tempered or square integrable.


title: Control of radii of convergence and extension of subanalytic functions

abstract: Let g denote a real analytic function on an open subset U of Euclidean space, and let S denote the boundary points of U where g does not admit a local analytic extension. We show that if g is semialgebraic (respectively, globally subanalytic), then S is semialgebraic (respectively, subanalytic) and g extends to a neighbourhood of cl(U)\S as an analytic function that is semialgebraic (respectively, globally subanalytic). (In the general subanalytic case, S is not necessarily subanalytic.) Our proof depends on controlling the radii of convergence of power series G centred at points in the image of an analytic mapping, in terms of the radii of convergence of the pull-backs of G at points of the source.


title: Analytic Residues along Algebraic Cycles

abstract: We present a restricted version of some affine Jacobi's residue formula (on an affine algebraic variety) with applications to higher dimensional (and affine) analogues of Wood's (or Reiss's) relations about the interpolation of pieces of analytic manifolds. We also compare algebraic and analytic constructions of residue currents along analytic cycles and sketch some of their main properties. This work extend previous work of the authors in the affine space.


title: Plurisubharmonicity of envelopes of disc functionals on manifolds

abstract: We show that a disc functional on a complex manifold has a plurisubharmonic envelope if all its pullbacks by holomorphic submersions from domains of holomorphy in affine space do and it is locally bounded above and upper semicontinuous in a certain weak sense. For naturally defined classes of disc functionals on manifolds, this result reduces a property somewhat stronger than having a plurisubharmonic envelope to the affine case. The proof uses a recent Stein neighbourhood construction of Rosay, who proved the plurisubharmonicity of the Poisson envelope on all manifolds. As a consequence, the Riesz envelope and the Lelong envelope are plurisubharmonic on all manifolds; for the former, we make use of new work of Edigarian. The basic theory of the three main classes of disc functionals is thereby extended to all manifolds.


title: The Riemann-Hilbert approach to strong asymptotics for orthogonal polynomials on [-1,1]

abstract: We consider polynomials that are orthogonal on $[-1,1]$ with respect to a modified Jacobi weight $(1-x)^\alpha (1+x)^\beta h(x)$, with $\alpha,\beta>-1$ and $h$ real analytic and stricly positive on $[-1,1]$. We obtain full asymptotic expansions for the monic and orthonormal polynomials outside the interval $[-1,1]$, for the recurrence coefficients and for the leading coefficients of the orthonormal polynomials. We also deduce asymptotic behavior for the Hankel determinants. For the asymptotic analysis we use the steepest descent technique for Riemann--Hilbert problems developed by Deift and Zhou, and applied to orthogonal polynomials on the real line by Deift, Kriecherbauer, McLaughlin, Venakides, and Zhou. In the steepest descent method we will use the Szeg\H{o} function associated with the weight and for the local analysis around the endpoints $\pm 1$ we use Bessel functions of appropriate order, whereas Deift et al. use Airy functions.


title: Logarithmic fluctuations for the Internal Diffusion Limited Aggregation

abstract: This paper has been withdrawn by the author due to an error in the computation of E(n,x) on page 6 which appears to be essential for the result. The author is currently trying to correct this proof


title: Dense families of selections and finite-dimensional spaces

abstract: A characterization of $n$-dimensional spaces via continuous selections avoiding $Z_n$-sets is given, and a selection theorem for strongly countable-dimensional spaces is established. We apply these results to prove a generalized Ostrand's theorem and to obtain a new alternative proof of the Hurewicz formula.


title: Propagation of singularities for the wave equation on conic manifolds

abstract: For the wave equation associated to the Laplacian on a compact manifold with boundary with a conic metric (with respect to which the boundary is metrically a point) the propagation of singularities through the boundary is analyzed. Under appropriate regularity assumptions the diffracted, non-direct, wave produced by the boundary is shown to have Sobolev regularity greater than the incoming wave.


title: The $S^1$ fixed points in Quot-schemes and mirror principle computations

abstract: We describe the $S^1$-action on the Quot-scheme $\Quot({\cal E}^n)$ associated to the trivial bundle ${\cal E}^n=CP^1\times{\smallBbb C}^n$. In particlular, the topology of the $S^1$-fixed-point components in $\Quot({\cal E}^n)$ and the $S^1$-weights of the normal bundle of these components are worked out. Mirror Principle, as developed by three of the current authors in the series of work [L-L-Y1, I, II, III, IV], is a method for studying certain intersection numbers on a stable map moduli space. As an application, in Mirror Principle III, Sec 5.4, an outline was given in the case of genus zero with target a flag manifold. The results on $S^1$ fixed points in this paper are used here to do explicit Mirror Principle computations in the case of Grassmannian manifolds. In fact, Mirror Principle computations involve only a certain distinguished subcollection of the $S^1$-fixed-point components. These components are identified and are labelled by Young tableaus. The $S^1$-equivariant Euler class $e_{S^1}$ of the normal bundle to these components is computed. A diagrammatic rule that allows one to write down $e_{S^1}$ directly from the Young tableau is given. From this, the aforementioned intersection numbers on the moduli space of stable maps can be worked out. Two examples are given to illustrate our method. Using our method, the A-model for Calabi-Yau complete intersections in a Grassmannian manifold can now also be computed explicitly. This work is motivated by the intention to provide further details of mirror principle and to understand the relation to physical theory. Some related questions are listed for further study.


title: The domatic number of regular and almost regular graphs

abstract: The domatic number of a graph $G$, denoted $dom(G)$, is the maximum possible cardinality of a family of disjoint sets of vertices of $G$, each set being a dominating set of $G$. It is well known that every graph without isolated vertices has $dom(G) \geq 2$. For every $k$, it is known that there are graphs with minimum degree at least $k$ and with $dom(G)=2$. In this paper we prove that this is not the case if $G$ is $k$-regular or {\em almost} $k$-regular (by ``almost'' we mean that the minimum degree is $k$ and the maximum degree is at most $Ck$ for some fixed real number $C \geq 1$). In this case we prove that $dom(G) \geq (1+o_k(1))k/(2\ln k)$. We also prove that the order of magnitude $k/\ln k$ cannot be improved. One cannot replace the constant 2 with a constant smaller than 1. The proof uses the so called {\em semi-random method} which means that combinatorial objects are generated via repeated applications of the probabilistic method; in our case iterative applications of the Lov\'asz Local Lemma.


title: Local residues of holomorphic 1-forms on an isolated surface singularity

abstract: We define local residues of holomorphic 1-forms on an isolated surface singularity that have isolated zeros and prove that a certain residue equals the index of the 1-forms.


title: Codimension one symplectic foliations

abstract: We define the concept of symplectic foliation on a symplectic manifold and provide a method of constructing many examples, by using asymptotically holomorphic techniques.


title: Quantum Langlands duality and mirror symmetry

abstract: We show that (quantum) D-modules of Givental type on affine flag varieties are transformed to D-modules of Beilinson-Drinfeld type on $n$-reduced Sato Grassmannians via affine Miura transformation.


title: Non-compact arithmetic manifolds have simple homotopy type

abstract: We formulate a conjecture that arithmetic locally symmetric manifolds have simple homotopy type, and prove it for the non-compact case. More precisely, we show that, for any symmetric space S of non-compact type without Euclidean de Rham factors, there are constants a=a(S) and d=d(S) such that any non-compact arithmetic manifold, locally isometric to S, is homotopically equivalent to a simplicial complex whose vertices degrees are bounded by d, and its number of vertices is bounded by a times the Riemannian volume. It is very likely that such a result holds also for compact arithmetic manifolds. We conclude that, for any fixed universal covering, S, other then the hyperbolic plane, there are at most V^(CV) irreducible non-compact arithmetic manifolds with volume <=V, where C=C(S) is a constant depending on S. Since higher rank irreducible locally symmetric manifolds of finite volume are always arithmetic, our result quantifies the number of them which are non-compact.


title: A Strategy for Proving Riemann Hypothesis

abstract: A strategy for proving Riemann hypothesis is suggested. The vanishing of the Rieman Zeta reduces to an orthogonality condition for the eigenfunctions of a non-Hermitian operator $D^+$ having the zeros of Riemann Zeta as its eigenvalues. The construction of $D^+$ is inspired by the conviction that Riemann Zeta is associated with a physical system allowing conformal transformations as its symmetries. The eigenfunctions of $D^+$ are analogous to the so called coherent states and in general not orthogonal to each other. The states orthogonal to a vacuum state (which has a negative norm squared) correspond to the zeros of the Riemann Zeta. The induced metric in the space ${\cal{V}}$ of states which correspond to the zeros of the Riemann Zeta at the critical line $Re[s]=1/2$ is hermitian and both hermiticity and positive definiteness properties imply Riemann hypothesis. Conformal invariance in the sense of gauge invariance allows only the states belonging to ${\cal{V}}$. Riemann hypothesis follows also from a restricted form of a dynamical conformal invariance in ${\cal{V}}$ and one can reduce the proof to a standard analytic argument used in Lie group theory.


title: The Lusternik-Schnirelmann Category of Sp(3)

abstract: We show that the Lusternik-Schnirelmann category of the symplectic group Sp(3) is 5. This L-S category coincides with the cone length and the stable weak category.


title: Non-commutative martingale transforms

abstract: We prove that non-commutative martingale transforms are of weak type $(1,1)$. More precisely, there is an absolute constant $C$ such that if $\M$ is a semi-finite von Neumann algebra and $(\M_n)_{n=1}^\infty$ is an increasing filtration of von Neumann subalgebras of $\M$ then for any non-commutative martingale $x=(x_n)_{n=1}^\infty$ in $L^1(\M)$, adapted to $(\M_n)_{n=1}^\infty$, and any sequence of signs $(\epsilon_n)_{n=1}^\infty$, $$\left\Vert \epsilon_1 x_1 + \sum_{n=2}^N \epsilon_n(x_n -x_{n-1}) \right\Vert_{1,\infty} \leq C \left\Vert x_N \right\Vert_1 $$ for $N\geq 2$. This generalizes a result of Burkholder from classical martingale theory to non-commutative setting and answers positively a question of Pisier and Xu. As applications, we get the optimal order of the UMD-constants of the Schatten class $S^p$ when $p \to \infty$. Similarly, we prove that the UMD-constant of the finite dimensional Schatten class $S_n^{1}$ is of order $\log(n+1)$. We also discuss the Pisier-Xu non-commutative Burkholder-Gundy inequalities.


title: Hyperbolic Manifolds, Harmonic Forms, and Seiberg-Witten Invariants

abstract: New estimates are derived concerning the behavior of self-dual hamonic 2-forms on a compact Riemannian 4-manifold with non-trivial Seiberg-Witten invariants. Applications include a vanishing theorem for certain Seiberg-Witten invariants on compact 4-manifolds of constant negative sectional curvature.


title: Gr\"obner $\delta$-bases and Gr\"obner bases for differential operators

abstract: This paper deals with the notion of Gr\"obner $\delta$-base for some rings of linear differential operators by adapting the works of W. Trinks, A. Assi, M. Insa and F. Pauer. We compare this notion with the one of Gr\"obner base for such rings. As an application, and following a previous work of A. Assi, we give some results on finiteness and on flatness of finitely generated left modules over these rings.


title: Bracelets and the Goussarov Filtration of the Space of Knots

abstract: Following Goussarov's paper `Interdependent Modifications of Links and Invariants of Finite Degree' [Topology 37 (1998) 595--602] we describe an alternative finite type theory of knots. While (as shown by Goussarov) the alternative theory turns out to be equivalent to the standard one, it nevertheless has its own share of intrinsic beauty.


title: The Mori cones of moduli spaces of pointed curves of small genus

abstract: We compute the Mori cone of curves of the moduli space \M_{g,n} of stable n-pointed curves of genus g in the case when g and n are relatively small. For instance, we show that for g<14 every curve in \M_g is numerically equivalent to an effective sum of 1-strata (loci of curves with 3g-4 nodes). We also prove that the nef cone of \M_{0,6} is composed of 11 natural subcones all contained in the convex hull of boundary classes. We apply this result to classify the fibrations of the moduli space of rational curves with n<7 marked points.


title: Controlled surgery with trivial local fundamental groups

abstract: We provide a proof of the controlled surgery sequence, including stability, in the special case that the local fundamental groups are trivial. Stability is a key ingredient in the construction of exotic homology manifolds by Bryant, Ferry, Mio and Weinberger, but no proof has been available. The development given here is based on work of M. Yamasaki.


title: Bounded cochains on 3-manifolds

abstract: We study the large-scale geometry of 3-manifolds with nontrivial 2-dimensional bounded cohomology, with a view to proving a weak version of the geometrization conjecture for such manifolds.


title: On the restricted Lie algebra structure for the Witt Lie algebra in finite characteristic

abstract: We show that the p-operator in the Witt algebra (the restricted Lie algebra of derivations of the quotient of the polynomial algebra over a field of characteristic p by the ideal generated by the p-th power of the indeterminant) is given by multiplication by a scalar.


title: Derivatives of the L^p cosine transform

abstract: The $L^p$-cosine transform of an even, continuous function $f\in C_e(\Sn)$ is defined by: $$H(x)=\int_{\Sn}|\ip{x}{\xi}|^pf(\xi) d\xi,\quad x\in {\R}^n.$$ It is shown that if $p$ is not an even integer then all partial derivatives of even order of $H(x)$ up to order $p+1$ (including $p+1$ if $p$ is an odd integer) exist and are continuous everywhere in ${\R}^n\backslash\{0\}$. As a result of the corresponding differentiation formula, we show that if $f$ is a positive bounded function and $p>1$ then $H^{1/p}$ is a support function of a convex body whose boundary has everywhere positive Gauss-Kronekcer curvature.


title: An explicit formula for the genus 3 AGM

abstract: Given a smooth non-hyperelliptic curve C of genus 3 and a maximal isotropic subgroup (w.r.t. the Weil pairing) L in Jac(C)[2], there exists a smooth curve C' s.t. Jac(C')=Jac(C)/L. This construction is symmetric. i.e. if we start with C' and the dual flag on it, we get C. A previous less explicit approach was taken by Donagi and Livne. The advantage of our construction is that it is explicit enough to describe the isomorphism H^0(C,K_C)=H^0(C',K_C').