title: On m-quasiinvariants of Coxeter groups

abstract: Let W be a finite Coxeter group in a Euclidean vector space V, and m a W-invariant Z_+-valued function on the set of reflections in W. Chalyh and Veselov introduced in an interesting algebra Q_m, called the algebra of m-quasiinvariants for W. This is the algebra of quantum integrals of the rational Calogero-Moser system with coupling constants m. In a recent paper math-ph/0105014, Feigin and Veselov proposed a number of interesting conjectures concerning the structure of Q_m, and verified them for dihedral groups and constant functions m. Our goal is to prove some of these conjectures in the general case.


title: Upper bounds for |L(1,chi)|

abstract: Given a non-principal Dirichlet character chi mod q, an important problem in number theory is to obtain good estimates for the size of L(1,chi). In this paper we focus on sharpening the upper bounds known for |L(1,chi)|; in particular, we wish to determine constants c (as small as possible) for which the bound |L(1,chi)| <= (c+o(1)) log q holds.


title: Higher-Degree Analogs of the Determinant Line Bundle

abstract: In the first part of this paper, given a smooth family of Dirac-type operators on an odd-dimensional closed manifold, we construct an abelian gerbe-with-connection whose curvature is the three-form component of the Atiyah-Singer families index theorem. In the second part of the paper, given a smooth family of Dirac-type operators whose index lies in the i-th filtration of the reduced K-theory of the parametrizing space, we construct a set of Deligne cohomology class of degree i whose curvatures are the i-form component of the Atiyah-Singer families index theorem.


title: The characteristic classes of Morita equivalent star products on symplectic manifolds

abstract: In this paper we give a complete characterization of Morita equivalent star products on symplectic manifolds in terms of their characteristic classes: two star products $\star$ and $\star'$ on $(M,\omega)$ are Morita equivalent if and only if there exists a symplectomorphism $\psi:M\longrightarrow M$ such that the relative class $t(\star,\psi^*(\star'))$ is $2 \pi \im$-integral. For star products on cotangent bundles, we show that this integrality condition is related to Dirac's quantization condition for magnetic charges.


title: Higgs fields, bundle gerbes and string structures

abstract: We use bundle gerbes and their connections and curvings to obtain an explicit formula for a de Rham representative of the string class of a loop group bundle. This is related to earlier work on calorons.


title: Network Flow Optimization for Restoration of Images

abstract: The network flow optimization approach is offered for restoration of grayscale and color images corrupted by noise. The Ising models are used as a statistical background of the proposed method. The new multiresolution network flow minimum cut algorithm, which is especially efficient in identification of the maximum a posteriori estimates of corrupted images, is presented. The algorithm is able to compute the MAP estimates of large size images and can be used in a concurrent mode. We also describe the efficient solutions of the problem of integer minimization of two energy functions for the Ising models of gray-scale and color images.


title: Une conjecture de Kontsevich et Shoikhet et la caracteristique d'Euler

abstract: Salikhov has proved a conjecture of Kontsevich and Shoikhet by reducing it to the consideration of three families of graphs, a consideration which was left to the reader for two of those families. We show, that the conjecture is just a very particular case of the classical theorem on the Euler characteristic, well explicated by Teleman.


title: On analytic interpolation manifolds in boundaries of weakly pseudoconvex domains

abstract: Let $\Omega$ be a bounded, weakly pseudoconvex domain in C^n, n > 1, with real-analytic boundary. A real-analytic submanifold $M \subset bd\Omega$ is called an analytic interpolation manifold if every real-analytic function on M extends to a function belonging to $\Cal{O}(\bar\Omega)$. We provide sufficient conditions for M to be an analytic interpolation manifold. We give examples showing that neither of these conditions can be relaxed, as well as examples of analytic interpolation manifolds lying entirely within the set of weakly pseudoconvex points of $bd\Omega$.


title: Coarse homology theories

abstract: In this paper we develop an axiomatic approach to coarse homology theories. We prove a uniqueness result concerning coarse homology theories on the category of `coarse CW-complexes'. This uniqueness result is used to prove a version of the coarse Baum-Connes conjecture for such spaces.


title: Homotopy classes that are trivial mod F

abstract: If F is a collection of topological spaces, then a homotopy class \alpha in [X,Y] is called F-trivial if \alpha_* = 0: [A,X] --> [A,Y] for all A in F. In this paper we study the collection Z_F(X,Y) of all F-trivial homotopy classes in [X,Y] when F = S, the collection of spheres, F = M, the collection of Moore spaces, and F = \Sigma, the collection of suspensions. Clearly Z_\Sigma (X,Y) \subset Z_M(X,Y) \subset Z_S(X,Y), and we find examples of finite complexes X and Y for which these inclusions are strict. We are also interested in Z_F(X) = Z_F(X,X), which under composition has the structure of a semigroup with zero. We show that if X is a finite dimensional complex and F = S, M or \Sigma, then the semigroup Z_F(X) is nilpotent. More precisely, the nilpotency of Z_F(X) is bounded above by the F-killing length of X, a new numerical invariant which equals the number of steps it takes to make X contractible by successively attaching cones on wedges of spaces in F, and this in turn is bounded above by the F-cone length of X. We then calculate or estimate the nilpotency of Z_F(X) when F = S, M or \Sigma for the following classes of spaces: (1) projective spaces (2) certain Lie groups such as SU(n) and Sp(n). The paper concludes with several open problems.


title: The representation type of Hecke algebras of type B

abstract: This paper determines the representation type of the Iwahori-Hecke algebras of type B when $q\ne\pm1$. In particular, we show that a single parameter non-semisimple Iwahori-Hecke algebra of type B has finite representation type if and only if q is a simple root of the Poincar\'e polynomial, confirming a conjecture of Uno's.


title: On Stein fillings of the 3-torus T^3

abstract: We determine topological properties of Stein domains with boundary diffeomorphic to T^3, S^1\times S^2 and some Seifert fibered 3-manifolds.


title: Quantum surfaces, special functions, and the tunneling effect

abstract: The notion of quantum embedding is considered for two classes of examples: quantum coadjoint orbits in Lie coalgebras and quantum symplectic leaves in spaces with non-Lie permutation relations. A method for constructing irreducible representations of associative algebras and the corresponding trace formulas over leaves with complex polarization are obtained. The noncommutative product on the leaves incorporates a closed 2-form and a measure which (in general) are different from the classical symplectic form and the Liouville measure. The quantum objects are related to some generalized special functions. The difference between classical and quantum geometrical structures could even occur to be exponentially small with respect to the deformation parameter. That is interpreted as a tunneling effect in the quantum geometry.


title: Metric characterizations of spherical, and Euclidean buildings

abstract: A building is a simplicial complex with a covering by Coxeter complexes (called apartments) satisfying certain combinatorial conditions. A building whose apartments are spherical (respectively Euclidean) Coxeter complexes has a natural piecewise spherical (respectively Euclidean) metric with nice geometric properties. We show that spherical and Euclidean buildings are completely characterized by some simple, geometric properties.


title: From coherent sheaves to curves in {\bf P}^3

abstract: This paper is the text of a lecture given at the Catania conference on Commutative Algebra and Algebraic Geometry, in honor of the 60th birthday of Silvio Greco. It analyses the correspondences between equivalence classes of objects related to the projective 3-space ${\bf P}^3_k$ over a field $k$ : - vector bundles ${\cal F}$ such that $H_*^2({\cal F})=0$ up to stable equivalence - coherent sheaves of projective dimension $\leq 1$ up to pseudo-equivalence - finite length graded $k[X,Y,Z,T]$-modules, modulo isomorphism - biliaison classes of locally Cohen-Macaulay curves. In particular, it leads to the natural question : ``If a biliaison class contains subcanonical curves, is a minimal curve subcanonical ?'' for which a positive answer was given in math.AG/0102222.


title: Convex cocompact subgroups of mapping class groups

abstract: We develop a theory of convex cocompact subgroups of the mapping class group MCG of a closed, oriented surface S of genus at least 2, in terms of the action on Teichmuller space. Given a subgroup G of MCG defining an extension L_G: 1--> pi_1(S) --> L_G --> G -->1 we prove that if L_G is a word hyperbolic group then G is a convex cocompact subgroup of MCG. When G is free and convex cocompact, called a "Schottky subgroup" of MCG, the converse is true as well; a semidirect product of pi_1(S) by a free group G is therefore word hyperbolic if and only if G is a Schottky subgroup of MCG. The special case when G=Z follows from Thurston's hyperbolization theorem. Schottky subgroups exist in abundance: sufficiently high powers of any independent set of pseudo-Anosov mapping classes freely generate a Schottky subgroup.


title: Noncommutative symmetric functions and quasi-symmetric functions with two and more paramters

abstract: We define two-parameter families of noncommutative symmetric functions and quasi-symmetric functions, which appear to be the proper analogues of the Macdonald symmetric functions in these settings.


title: The Newton polygons of overconvergent F-crystals

abstract: R. Crew conjectured that every overconvergent F-isocrystal over k((t)) (k a field of positive characteristic) is quasi-unipotent (equivalently, potentially semistable), and so has ``generic'' and ``special'' Newton polygons. It is easy to construct a Newton polygon for an arbitrary overconvergent F-crystal that coincides with the generic Newton polygon for potentially semistable crystals. We give an analogous construction for the special Newton polygon, by showing that the F-crystal can be trivialized over a large auxiliary ring. In a subsequent preprint, we use this construction to prove the aforementioned conjecture.


title: Quasi-unipotence of overconvergent F-crystals

abstract: Building on our previous papers (math.AG/0102173, math.AG/0105244, math.AG/0106192) we prove that every overconvergent F-isocrystal over k((t)) is quasi-unipotent (in the sense of Crew), for k a field of positive characteristic.


title: Persistent Homoclinic Orbits for Nonlinear Schroedinger Equation Under Singular Perturbation

abstract: Existence of homoclinic orbits in the cubic nonlinear Schr\"odinger equation under singular perturbations is proved. Emphasis is placed upon the regularity of the semigroup $e^{\e t \pa_x^2}$ at $\e = 0$. This article is a substantial generalization of \cite{LMSW96}, and motivated by the effort of Dr. Zeng \cite{Zen00a} \cite{Zen00b}. The mistake of Zeng in \cite{Zen00b} is corrected with a normal form transform approach. Both one and two unstable modes cases are investigated.


title: Integrating Unitary Representations of Infinite-Dimensional Lie Groups

abstract: We show that in the presence of suitable commutator estimates, a projective unitary representation of the Lie algebra of a connected and simply connected Lie group G exponentiates to G. Our proof does not assume G to be finite--dimensional or of Banach-Lie type and therefore encompasses the diffeomorphism groups of compact manifolds. We obtain as corollaries short proofs of Goodman and Wallach's results on the integration of positive energy representations of loop groups and Diff(S^{1}) and of Nelson's criterion for the exponentiation of unitary representations of finite-dimensional Lie algebras.


title: Positive Energy Representations of the Loop Groups of Non Simply Connected Lie Groups

abstract: We classify and construct all irreducible positive energy representations of the loop group of a compact, connected and simple Lie group and show that they admit an intertwining action of Diff(S^{1}).


title: Kazhdan's Theorem on Arithmetic Varieties

abstract: Define an arithmetic variety to be the quotient of a bounded symmetric domain by an arithmetic group. An arithmetic variety is algebraic, and the theorem in question states that when one applies an automorphism of the field of complex numbers to the coefficients of an arithmetic variety the resulting variety is again arithmetic. This article simplifies Kazhdan's proof. In particular, it avoids recourse to the classification theorems. It was originally completed on March 28, 1984, and distributed in handwritten form. July 23, 2001: Fixed about 30 misprints.


title: A remark on the genus of the infinite quaternionic projective space

abstract: It is shown that only countably many spaces in the genus of $\hpinfty$, the infinite quaternionic projective space, can admit essential maps from $\cpinfty$, the infinite complex projective space. Examples of countably many homotopically distinct spaces in the genus of $\hpinfty$ which admit essential maps from $\cpinfty$ are constructed. These results strengthen a theorem of McGibbon and Rector which states that among the uncountably many homotopy types in its genus, $\hpinfty$ is the only one which admits a maximal torus.


title: Smooth shifts along flows

abstract: Let $\Phi$ be a flow on a smooth, compact, finite-dimensional manifold $M$. Consider the subsets $E(\Phi)$ and $D(\Phi)$ of $C^{\infty}(M,M)$ consisting of smoothh mappings and diffeomorphisms (respectively) of $M$ preserving the foliation of the flow $\Phi$. Let also $E_{0}(\Phi)$ and $D_{0}(\Phi)$ be the identity path components of $E(\Phi)$ and $D(\Phi)$ with compact-open topology. We prove that under mild conditions on fixed points of $\Phi$ the inclusion $D_{0}(\Phi) \subset E_{0}(\Phi)$ is a homotopy equivalence and these spaces are either contractible or homotopically equivalent to the circle.


title: A characterization of shortest geodesics on surfaces

abstract: Any finite configuration of curves with minimal intersections on a surface is a configuration of shortest geodesics for some Riemannian metric on the surface. The metric can be chosen to make the lengths of these geodesics equal to the number of intersections along them.


title: Duality Chipped

abstract: Whenever I is a projectively generated projectively defined sigma ideal on the reals, if ZFC+large cardinals proves cov(I)=continuum then ZFC+large cardinals proves non(I)<aleph four.


title: Isolating Cardinal Invariants

abstract: There is an optimal way to increase certain cardinal invariants of the continuum.


title: Countable Support Iteration Revisited

abstract: Whenever P is a proper definable forcing for adding a real, the countable support iteration of P has all the preservation properties it can possibly have, within a wide syntactically identified class of properties.


title: Transformations of Grassmannians and automorphisms of linear groups

abstract: We consider transformations preserving certain linear structure in Grassmannians and give some generalization of the Fundamental Theorem of Projective Geometry and the Chow Theorem [Ch]. It will be exploited to study linear $(k,n-k)$-involutions, $1<k<n-1$. The analogy of the well-known J. Dieudonn\'{e} and C. E. Rickart result will be obtained.


title: Cohomologie tangente et cup-produit pour la quantification de Kontsevich

abstract: On a flat manifold, M. Kontsevich's formality quasi-isomorphism is compatible with cup-products on tangent cohomology spaces, in the sense that its derivative at any formal Poisson 2-tensor induces an isomorphism of graded commutative algebras from Poisson cohomology space to Hochschild cohomology space relative to the associated deformed multiplication. We give here a detailed proof of this result, with signs and orientations precised.


title: BRST operator for quantum Lie algebras and differential calculus on quantum groups

abstract: For a Hopf algebra A, we define the structures of differential complexes on two dual exterior Hopf algebras: 1) an exterior extension of A and 2) an exterior extension of the dual algebra A^*. The Heisenberg double of these two exterior Hopf algebras defines the differential algebra for the Cartan differential calculus on A. The first differential complex is an analog of the de Rham complex. In the situation when A^* is a universal enveloping of a Lie (super)algebra the second complex coincides with the standard complex. The differential is realized as an (anti)commutator with a BRST- operator Q. A recurrent relation which defines uniquely the operator Q is given. The BRST and anti-BRST operators are constructed explicitly and the Hodge decomposition theorem is formulated for the case of the quantum Lie algebra U_q(gl(N)).


title: Homfly Polynomials of Generalized Hopf Links

abstract: Following the recent work by T.-H. Chan in [HOMFLY polynomial of some generalized Hopf links, J. Knot Theory Ramif. 9 (2000) 865--883] on reverse string parallels of the Hopf link we give an alternative approach to finding the Homfly polynomials of these links, based on the Homfly skein of the annulus. We establish that two natural skein maps have distinct eigenvalues, answering a question raised by Chan, and use this result to calculate the Homfly polynomial of some more general reverse string satellites of the Hopf link.


title: The geometry of the classical solutions of the Garnier systems

abstract: Our aim is to find a general approach to the theory of classical solutions of the Garnier system in $n$-variables, ${\cal G}_n$, based on the Riemann-Hilbert problem and on the geometry of the space of isomonodromy deformations. Our approach consists in determining the monodromy data of the corresponding Fuchsian system that guarantee to have a classical solution of the Garnier system ${\cal G}_n$. This leads to the idea of the reductions of the Garnier systems. We prove that if a solution of the Garnier system ${\cal G}_{n}$ is such that the associated Fuchsian system has $l$ monodromy matrices equal to $\pm\ID$, then it can be reduced classically to a solution of a the Garnier system with $n-l$ variables ${\cal G}_{n-l}$. When $n$ monodromy matrices are equal to $\pm\ID$, we have classical solutions of ${\cal G}_n$. We give also another mechanism to produce classical solutions: we show that the solutions of the Garnier systems having reducible monodromy groups can be reduced to the classical solutions found by Okamoto and Kimura in terms of Lauricella hypergeometric functions. In the case of the Garnier system in 1-variables, i.e. for the Painlev\'e VI equation, we prove that all classical non-algebraic solutions have either reducible monodromy groups or at least one monodromy matrix equal to $\pm\ID$.


title: Smoothness and high energy asymptotics of the spectral shift function in many-body scattering

abstract: Let H=\Delta+\sum_{#a=2} V_a be a 3-body Hamiltonian, H_a the subsystem Hamiltonians, \Delta the positive Laplacian of the Euclidean metric on X_0=R^n, V_a real-valued. Buslaev and Merkurev have shown that, if the pair potentials decay sufficiently fast, for \phi smooth and compactly supported, the operator \phi(H)-\phi(H_0)-\sum_{#a=2}(\phi(H_a)-\phi(H_0)) is trace class. Hence, one can define a modified spectral shift function \sigma, as a distribution on R, by taking its trace. In this paper we show that if V_a are Schwartz, then \sigma is in fact smooth away from the thresholds, and obtain its high energy asymptotics. In addition, we generalize this result to N-body scattering, N arbitrary.


title: Modeles avec particules dures, animaux diriges et series en variables partiellement commutatives

abstract: We give a systematic presentation of relations between lattice gas models with hard-core interactions, enumeration of directed-site animals, and the algebra of formal power-series in the partially commutative case, along the work of X.G.Viennot. We present a complete and simplified solution, using this algebra, of the directed animals enumeration problem in two dimensions, including a fast program for random generation of such animals (with uniform distribution) and images produced by this program.


title: Twisted bundles and admissible covers

abstract: The cherry on top of this stacky paper is the following: for any g>1 we give a finite group G such that the moduli space of connected admissible G-covers of genus g is a smooth, fine moduli space, which is a Galois cover of the moduli space of stable curves. The proof relies on methods introduced by Looijenga and Pikaart-De Jong, and on the theory of twisted G-covers, a theory announced without proofs in math.AG/9811059, section 3, and developed in the first few sections of this paper. This includes a moduli description of the normalization of the Harris-Mumford space of admissible covers, and a study of moduli of stable curves with abelian and non-abelian level structure.


title: Hyperelliptic Szpiro inequality

abstract: We generalize the classical Szpiro inequality to the case of a semistable family of hyperelliptic curves. We show that for a semistable symplectic Lefschetz fibration of hyperelliptic curves of genus $g$, the number $N$ of non-separating vanishing cycles and the number $D$ of singular fibers satisfy the inequality $N \leq (4g+2)D$.


title: Reflections on symmetric polynomials and arithmetic functions

abstract: In an isomorphic copy of the ring of symmetric polynomials we study some families of polynomials which are indexed by rational weight vectors. These families include well known symmetric polynomials, such as the elementary, homogeneous, and power sum symmetric polynomials. We investigate properties of these families and focus on constructing their rational roots under a product induced by convolution. A direct application of the latter is to the description of the roots of certain multiplicative arithmetic functions (the core functions) under the convolution product.


title: Free Products of Semisimple Tensor Categories

abstract: Free products of semisimple tesnor categories are constructed with the help of polygonal presentation. The semisimplicity criterion is obtained for the Bisch-Jones' planar algebras as a byproduct.


title: The Entropy Rate of Thermal Diffusion

abstract: The thermal diffusion of a free particle is a random process and generates entropy at a rate equal to twice the particle temperature in natural units of information per second. The rate is calculated using a Gaussian process with a variance as a combination of quantum and classical diffusion. The solution to the diffusion of a free particle is derived from the equation for kinetic energy and its associated imaginary diffusion constant and a real diffusion constant representing classical diffusion. We find the entropy of the initial state is one natural unit, which is the same amount of entropy the process generates after the de-coherence time, hbar over twice the temperature.


title: A linear isoperimetric inequality for the punctured Euclidean plane

abstract: It follows from a general theorem of Bonk and Eremenko that closed plane curves which are contractible in the complement to the integral lattice satisfy a linear isoperimetric inequality. We give an alternative proof of this fact. Our approach is based on a non-standard combinatorial isoperimetric inequality which requires a refinement of the small cancellation theory. We present an application of the isoperimetric inequality for the punctured plane to Hamiltonian dynamics. Combining it with methods of symplectic topology we show that every non-identical Hamiltonian diffeomorphism of the 2-torus has at least linear asymptotic growth of the differential.


title: Coding rotations on intervals

abstract: We show that the coding of rotation by $\alpha$ on $m$ intervals with rationally independent lengths can be recoded over $m$ Sturmian words of angle $\alpha.$ More precisely, for a given $m$ an universal automaton is constructed such that the edge indexed by the vector of values of the $i$th letter on each Sturmian word gives the value of the $i$th letter of the coding of rotation.


title: Irreducible components of the equivariant punctual Hilbert schemes

abstract: Let H_{ab} be the equivariant Hilbert scheme parametrizing the 0-dimensional subschemes of the affine plane invariant under the natural action of the one-dimensional torus T_{ab}:={(t^{-b},t^a), t\in k^*}. We compute the irreducible components of H_{ab}: they are in one-one correspondence with a set of Hilbert functions. As a by-product of the proof, we give new proofs of results by Ellingsrud and Stromme, namely the main lemma of the computation of the Betti numbers of the Hilbert scheme H^l parametrizing the 0-dimensional subschemes of the affine plane of length l and a description of Bialynicki-Birula cells on H^l by means of explicit flat families. In particular, we precise conditions of applications of this last description.


title: On a geometric equation with critical nonlinearity on the boundary

abstract: A theorem of Escobar asserts that, on a positive three dimensional smooth compact Riemannian manifold with boundary which is not conformally equivalent to the standard three dimensional ball, a necessary and sufficient condition for a $C^2$ function $H$ to be the mean curvature of some conformal flat metric is that $H$ is positive somewhere. We show that, when the boundary is umbilic and the function $H$ is positive everywhere, all such metrics stay in a compact set with respect to the $C^2$ norm and the total degree of all solutions is equal to -1.


title: Serre-Taubes duality for pseudoholomorphic curves

abstract: According to Taubes, the Gromov invariants of a symplectic four-manifold X with b_+ > 1 satisfy the duality Gr(A) = +/- Gr(K-A), where K is Poincare dual to the canonical class. Extending joint work with Simon Donaldson in math.SG/0012067, we interpret this result in terms of Serre duality on the fibres of a Lefschetz pencil, by proving an analogous symmetry for invariants counting sections of associated bundles of symmetric products. Using similar methods we give a new proof of an existence theorem for symplectic surfaces in four-manifolds with b_+ = 1 and b_1 = 0. This reproves another theorem due to Taubes: two symplectic homology projective planes with negative canonical class and equal volume are symplectomorphic.


title: On Donaldson and Seiberg-Witten invariants

abstract: This article is based on a lecture by the first author at the International Georgia Topology Conference 2001 (Athens, Georgia) and the Mathematische Arbeitstagung 2001 (Bonn, Germany). We sketch a proof of Witten's formula relating the Donaldson and Seiberg-Witten series modulo powers of degree c+2, with c = -{1/4}(7 chi + 11 sigma), for four-manifolds obeying some mild conditions, where chi and sigma are their Euler characteristic and signature. We use the moduli space of SO(3) monopoles as a cobordism between a link of the Donaldson moduli space of anti-self-dual SO(3) connections and links of the moduli spaces of Seiberg-Witten monopoles. Gluing techniques allow us to compute contributions from Seiberg-Witten moduli spaces lying in the first (or `one-bubble') level of the Uhlenbeck compactification of the moduli space of SO(3) monopoles.


title: Superanalogs of the Calogero operators and Jack polynomials

abstract: A depending on a complex parameter $k$ superanalog ${\mathcal S}{\mathcal L}$ of Calogero operator is constructed; it is related with the root system of the Lie superalgebra ${\mathfrak{gl}}(n|m)$. For $m=0$ we obtain the usual Calogero operator; for $m=1$ we obtain, up to a change of indeterminates and parameter $k$ the operator constructed by Veselov, Chalykh and Feigin [2,3]. For $k=1, \frac12$ the operator ${\mathcal S}{\mathcal L}$ is the radial part of the 2nd order Laplace operator for the symmetric superspaces corresponding to pairs $(GL(V)\times GL(V), GL(V))$ and $(GL(V), OSp(V))$, respectively. We will show that for the generic $m$ and $n$ the superanalogs of the Jack polynomials constructed by Kerov, Okunkov and Olshanskii [5] are eigenfunctions of ${\mathcal S}{\mathcal L}$; for $k=1, \frac12$ they coinside with the spherical functions corresponding to the above mentioned symmetric superspaces. We also study the inner product induced by Berezin's integral on these superspaces.


title: Discrete Reanalysis of a New Model of the Distribution of Twin Primes

abstract: Recently we have introduced a novel characterisation of the distribution of twin primes that consists of three essential elements. These are: that the twins are most naturally viewed as a subsequence of the primes themselves, that the likelihood of a particular prime in sequence being the first element of a twin is akin to a fixed-probability random event, and that this probability varies with $\pi_{1}$, the count of primes up to this number, in a simple way. Our initial studies made use of two unproven assumptions: that it was consistent to model this fundamentally discrete system with a continuous probability density, and that the fact that an upper-bound cut-off for prime separations exists could be consistently ignored in the continuous analysis. The success of the model served as a posteriori justification for these assumptions. Here we perform the analysis using a discrete formalism -- not passing to integrals -- and explicitly include a self-consistently defined cut-off. In addition, we reformulate the model so as to minimise the input data needed.


title: Derive boundary conditions for holistic discretisations of Burgers' equation

abstract: I previously used Burgers' equation to introduce a new method of numerical discretisation of \pde{}s. The analysis is based upon centre manifold theory so we are assured that the discretisation accurately models all the processes and their subgrid scale interactions. Here I show how boundaries to the physical domain may be naturally incorporated into the numerical modelling of Burgers' equation. We investigate Neumann and Dirichlet boundary conditions. As well as modelling the nonlinear advection, the method naturally derives symmetric matrices with constant bandwidth to correspond to the self-adjoint diffusion operator. The techniques developed here may be used to accurately model the nonlinear evolution of quite general spatio-temporal dynamical systems on bounded domains.


title: On Solving Fewnomials Over Intervals in Fewnomial Time

abstract: Let f be a degree D univariate polynomial with real coefficients and exactly m monomial terms. We show that in the special case m=3 we can approximate within eps all the roots of f in the interval [0,R] using just O(log(D)log(Dlog(R/eps))) arithmetic operations. In particular, we can count the number of roots in any bounded interval using just O(log^2 D) arithmetic operations. Our speed-ups are significant and near-optimal: The asymptotically sharpest previous complexity upper bounds for both problems were super-linear in D, while our algorithm has complexity close to the respective complexity lower bounds. We also discuss conditions under which our algorithms can be extended to general m, and a connection to a real analogue of Smale's 17th Problem.


title: Frobenius powers of non-complete intersections

abstract: For a commutative ring $R$ of characteristic $p$, let $\phi : R \to R$ be the Frobenius homomorphism and let $^{\phi^r}R$ denote the $R$-module structure on $R$ defined via the $r$-th power of the Frobenius. We show that the Tor functor against the Frobenius module, $\Tor^R_*(-, {^{\phi^r}}R)$, is rigid for a certain class of depth zero rings which includes rings that are not complete intersection. We also show that $\Tor^R_*(-, {^{\phi^r}}R)$ is not rigid (non-vacuously) when $\depth (R) >0$ and $r$ is large enough. This answers a question of Avramov and Miller: does rigidity of $\Tor^R_*(-, {^{\phi^r}}R)$ hold for non-complete intersections?


title: Narrow operators on vector-valued sup-normed spaces

abstract: We characterise narrow and strong Daugavet operators on $C(K,E)$-spaces; these are in a way the largest sensible classes of operators for which the norm equation $\|Id+T\| = 1+\|T\|$ is valid. For certain separable range spaces $E$ including all finite-dimensional ones and locally uniformly convex ones we show that an unconditionally pointwise convergent sum of narrow operators on $C(K,E)$ is narrow, which implies for instance the known result that these spaces do not have unconditional FDDs. In a different vein, we construct two narrow operators on $C([0,1],\ell_1)$ whose sum is not narrow.


title: Compactifications defined by arrangements I: the ball quotient case

abstract: We define a natural compactification of an arrangement complement in a ball quotient. We show that when this complement has a moduli space interpretation, then this compactification is often one that appears naturally by means of geometric invariant theory. We illustrate this with the moduli spaces of smooth quartic curves and rational elliptic surfaces.


title: Theory of multi-fans

abstract: We introduce the notion of a multi-fan. It is a generalization of that of a fan in the theory of toric variety in algebraic geometry. Roughly speaking a toric variety is an algebraic variety with an action of algebraic torus of the same dimension as that of the variety, and a fan is a combinatorial object associated with the toric variety. Algebro-geometric properties of the toric variety can be described in terms of the associated fan. We develop a combinatorial theory of multi-fans and define ``topological invariants'' of a multi-fan. A smooth manifold with an action of a compact torus of half the dimension of the manifold and with some orientation data is called a torus manifold. We associate a multi-fan with a torus manifold, and apply the combinatorial theory to describe topological invariants of the torus manifold. A similar theory is also given for torus orbifolds. As a related subject a generalization of the Ehrhart polynomial concerning the number of lattice points in a convex polytope is discussed.


title: Nonexistence of invariant distributions supported on the limit set

abstract: We obtain sufficient conditions exlcuding the existence of non-trivial distribution sections of bundles over the boundary of symmetric spaces of negative curvature which are invariant with respect to a geometrically finite group of isometries and are supported on the limit set in a strong sense.


title: Some Liouville Theorems for the p-Laplacian

abstract: We present several Liouville type results for the $p$-Laplacian in $\R^N$. Suppose that $h$ is a nonnegative regular function such that $$ h(x) = a|x|^\gamma\ {\rm for}\ |x|\ {\rm large},\ a>0\ {\rm and}\ \gamma> -p. $$ We obtain the following non -existence result: 1) Suppose that $N>p>1$, and $u\in W^{1,p}_{loc} (\R^N)\cap {\cal C} (\R^N)$ is a nonnegative weak solution of $ - {\rm div} (|\nabla u|^{p-2 }\nabla u) \geq h(x) u^q \;\;\mbox{in }\; \R^N $ . Suppose that $p-1< q\leq {(N+\gamma)(p-1)\over N-p}$ then $u\equiv 0$. 2) Let $N\leq p$. If $u\in W^{1,p}_{loc} (\R^N)\cap {\cal C} (\R^N)$ is a weak solution bounded below of $-{\rm div} (|\nabla u|^{p-2 }\nabla u)\geq 0$ in $\R^N$ then $u$ is constant. 3) Let $N>p$ if $u$ is bounded from below and $-{\rm div} (|\nabla u|^{p-2 }\nabla u)=0$ in $\R^N$ then $u$ is constant. 4)If $ -\Delta_p u+h(x) u^q\leq 0, $. If $q> p-1$, then $u\equiv 0$.


title: Enumerating Permutation Polynomials over finite fields by degree

abstract: We prove an asymptotic formula for the number of permutation for which the associated permutation polynomial has degree smaller than $q-2$.


title: Projective Schur functions as a bispherical functions on certain homogeneous superspaces

abstract: I show that the projective Schur functions may be interpreted as bispherical functions of either the triple (q(n),gl(n,n),q(n)), where q(n) is the "odd" (queer) analog of the general liner Lie algebra, or the triple (p(n),gl(n,n),p(n)), where p(n) is the periplectic Lie superalgebra which preserves the nondegenerate odd, bilinear form (either symmetric or skew symmetric). Making use of this interpretation I characterize projective Schur functions as common eigenfunctions of an algebra differential operators.


title: Harmonic Hopf Constructions Between Spheres II

abstract: We prove that a necessary condition for the existence of the remaining problem in the harmonic Hopf construction is also sufficient. We also give some topological applications based on our result.


title: Solving the Gleason problem on linearly convex domains

abstract: Let V be a bounded, connected linearly convex set in C^n with $C^{1+\epsilon}$-boundary. We show that the maximal ideal (both in A(V) and $H^{\infty}(V)$) consisting of all functions vanishing at p in V is generated by the coordinate functions z_1 - p_1, ..., z_n - p_n.


title: Splittings of mapping tori of free group automorphisms

abstract: We present necessary and sufficient conditions for the existence of a splitting over $\mathbb{Z}$ of the mapping torus $M_\phi=F\rtimes \mathbb{Z}$ of a free group automorphism $\phi$.


title: Obstructions to Deformations of DG Modules

abstract: Let k be a field and n > 0. There exists a DG k-module (V,d) and various approximations d + t d_1 + t^2 d_2 + ... + t^n d_n to a differential on V[[t]], one of which is a non-trivial deformation, another is obstructed, and another is unobstructed at order n. The analogous problem in the category of k-algebras in characteristic zero remains a long-standing open question.


title: SO(3) Monopoles, Level-One Seiberg-Witten Moduli Spaces, and Witten's Conjecture in Low Degrees

abstract: We prove Witten's formula relating the Donaldson and Seiberg-Witten series modulo powers of degree $c+2$, with $c=-{1/4}(7\chi+11\sigma)$, for four-manifolds obeying some mild conditions, where $\chi$ and $\sigma$ are their Euler characteristic and signature. We use the moduli space of SO(3) monopoles as a cobordism between a link of the Donaldson moduli space of anti-self-dual SO(3) connections and links of the moduli spaces of Seiberg-Witten monopoles. Gluing techniques allow us to compute contributions from Seiberg-Witten moduli spaces lying in the first (or `one-bubble') level of the Uhlenbeck compactification of the moduli space of SO(3) monopoles.


title: Correction to the paper "Duality and Flat Base Change on Formal Schemes"

abstract: In section 8.3 of our paper "Duality and Flat Base Change on Formal Schemes" (http://arXiv.org/abs/alg-geom/9708006) some important results concerning localization of, and preservation of coherence by, basic duality functors, were based on the false statement that any closed formal subscheme of an open subscheme of the completion P of a relative projective space is an open subscheme of a closed formal subscheme of P. In this note, the said results are provided with solid foundations.


title: Topology and Higher-Dimensional Category Theory: the Rough Idea

abstract: Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. Although it can be treated purely as an algebraic subject, it is inherently topological in nature: the higher-dimensional diagrams one draws to represent these structures can be taken quite literally as pieces of topology. Examples of this are the braids in a braided monoidal category, and the pentagon which appears in the definitions of both monoidal category and A_infinity space. I will try to give a Friday-afternoonish description of some of the dreams people have for higher-dimensional category theory and its interactions with topology. Grothendieck, for instance, suggested that tame topology should be the study of n-groupoids; others have hoped that an n-category of cobordisms between cobordisms between ... will provide a clean setting for TQFT; and there is convincing evidence that the whole world of n-categories is a mirror of the world of homotopy groups of spheres.


title: Braid Group Actions and Tensor Products

abstract: We define an action of the braid group of a simple Lie algebra on the space of imaginary roots in the corresponding quantum affine algebra. We then use this action to determine an explicit condition for a tensor product of arbitrary irreducible finite--dimensional representations is cyclic. This allows us to determine the set of points at which the corresponding $R$--matrix has a zero.


title: Framed discs operads and the equivariant recognition principle

abstract: The framed n-discs operad fD_n is studied as semidirect product of SO(n) and the little n-discs operad. Our equivariant recognition principle says that a grouplike space acted on by fD_n is equivalent to the n-fold loop space on a SO(n)-space. Examples of fD_2-spaces are nerves of ribbon braided monoidal categories. We compute the rational homology of fD_n. Koszul duality for semidirect product operads of chain complexes is defined and applied to compute the double loop space homology as BV-algebra.


title: Groups of hierarchomorphisms of trees and related Hilbert spaces

abstract: Consider an infinite tree. A hierarchomorphism (spheromorphism) is a homeomorphism of the absolute which can be extended to the tree except a finite subtree. Examples of groups of hierarchomorphisms: groups of locally analitic diffeomorphisms of $p$-adic line; also Richard Thompson groups. The groups of hierarchomorphisms have some properties similar to the group of diffeomorphisms of the circle. We discuss actions of groups of ierarchomorphisms in some natural Hilbert spaces associated with trees.


title: Some Hopf Algebras of Trees

abstract: This paper generalizes the operadic construction of the Connes-Kreimer Hopf algebra of rooted trees by Moerdijk. Examples of Hopf algebras obtained in this way include the Loday-Ronco Hopf algebra of planar binary trees and the Brouder-Frabetti pruning Hopf algebra. In some examples we obtain a natural pre-Lie or dendriform algebra structure on the dual Hopf algebra. v2: Proof in section 8 corrected. v3: more corrections.


title: Generalization of a theorem of Waldspurger to nice representations

abstract: A theorem of Waldspurger states that the Fourier transform of a stable distribution on the Lie algebra of a simply-connected semisimple group $G$ over a p-adic field, is again stable. We generalize this theorem to representations whose generic stabilizer subgroup is connected and reductive (assuming that $G$ is simple). In this more general situation the Fourier transform of a stable distribution is stable up to a sign that we describe explicitly. The proof is based on the $p$-adic stationary phase principle and on the global techniques introduced by Kottwitz for stabilization of the trace formula. As an application of our main theorem, we find the explicit diagonalization of the gamma-matrix for the prehomogeneous space of symmetric $n\times n$ matrices over a p-adic field (for odd $n$).


title: Torsors under finite and flat group schemes of rank p with Galois action

abstract: In this note we study the geometry of torsors under flat and finite commutative group schemes of rank p above curves in characteristic p and above relative curves over a complete discrete valuation ring of inequal characteristics. In bothe cases we study the Galois action of the Galois group of the base field on these torsors. We also study degeneration of $\mu_p$-torsors from characteristic 0 to characteristic p and show that this degeneration is compatible with the Galois action. We then discuss the lifting of torsors under flat and commutative group schemes of rank p from positive to 0 characteristics. finally, for a proper and smooth curve X over a complete discrete valuation field of inequal characteristics we show the existence of a canonical Galois equivariant filtration on the first etale cohomology group of the geometric fibre of X with values in $\mu_p$. This apaper is the first of a series of papers [Sa] and [Sa-1] where we compute the vanishing cycles arising from degeneration of $\mu_p$-torsors above curves as well as the semi-stable reduction of these torsors and the Galois action on them.


title: Niveaux de R-scindement de structures de Hodge mixtes

abstract: We propose a generalization of the notion of ${\bf R}$-split mixed Hodge structure by defining a ${\bf R}$-splitting level for mixed Hodge structures. This is a discrete invariant taking values in positive integers and equal to 0 for ${\bf R}$-split mixed Hodge structures. We describe some properties of this invariant for classical operations on these structures and give some explicit calculation.


title: Wild ramification and a vanishing cycles formula

abstract: In this paper we prove an explicit formula which compares the dimensions of the spaces of vanishing cycles in a Galois cover of degree p between formal germ of curves over a complete discrete valuation ring of inequal characteristics (0,p). This formula can be easily generalised to the case of a Galois cover with group which is nilpotent or which has a normal p-Sylow subgroup. The results of this paper play a key role in [Sa-1] where is studied the semi-stable reduction of Galois covers of degree p above semi-stable curves over a complete discrete valuation ring of inequal characteristics (0,p), as well as the Galois action on these covers.


title: Galois covers of degree p: semi-stable reduction and Galois action

abstract: In this paper we study the semi-stable reduction of Galois covers of degree p above semi-stable curves over a complete discrete valuation ring of inequal characteristics (0,p). We are also able to describe the Galois action on these covers in terms of some geometric and combinatorial datas in characteristic p endowed with the action of the Galois group of the residue field.


title: Experiments with Gorenstein Liaison

abstract: We give some experimental data of Gorenstein liaison, working with points in ${\mathbb P}^3$ and curves in ${\mathbb P}^4$, to see how far the familiar situation of liaison, biliaison, and Rao modules of curves in ${\mathbb P}^3$ will extend to subvarieties of codimension 3 in higher ${\mathbb P}^4$.


title: Random Construction of Riemann Surfaces

abstract: In this paper, we address the following question: What does a typical compact Riemann surface of large genus look like geometrically? We do so by constructing compact Riemann surfaces from oriented 3-regular graphs. The set for such Riemann surfaces is dense in the space of all compact Riemann surfaces, namely Belyi surfaces. And in this construction we can control the geometry of the compact Riemann surface by the geometry of the graph. We show that almost all such surfaces have large first eigenvalue and large Cheeger constant.


title: A prime C*-algebra that is not primitive

abstract: We construct a non-separable C*-algebra that is prime but not primitive.


title: Towards an Algebraic Characterization of 3-dimensional Cobordisms

abstract: The goal of this paper is to find a close to isomorphic presentation of 3-manifolds in terms of Hopf algebraic expressions. To this end we define and compare three different braided tensor categories that arise naturally in the study of Hopf algebras and 3-dimensional topology. The first is the category \Cob of connected surfaces with one boundary component and 3-dimensional relative cobordisms, the second is a category \Tgl of tangles with relations, and the third is a natural algebraic category \Alg freely generated by a Hopf algebra object. From previous work we know that {\Tgl} and \Cob are equivalent. We use this fact and the idea of Heegaard splittings to construct a surjective functor from \Alg onto {\Cob}. We also find a map that associates to the generators of the mapping class group in \Cob preimages in \Alg. The single block relations in the mapping class group are verified for these expressions. We propose to find a version of \Alg with possibly additional relations to obatin isomorphic algebraic presentations of the mapping class groups and eventually of \Cob.


title: Self-dual modules of semisimple Hopf algebras

abstract: We prove that, over an algebraically closed field of characteristic zero, a semisimple Hopf algebra that has a nontrivial self-dual simple module must have even dimension. This generalizes a classical result of W. Burnside. As an application, we show under the same assumptions that a semisimple Hopf algebra that has a simple module of even dimension must itself have even dimension.


title: q and q,t-Analogs of Non-commutative Symmetric Functions

abstract: We introduce two families of non-commutative symmetric functions that have analogous properties to the Hall-Littlewood and Macdonald symmetric functions.


title: Secondary Brown-Kervaire Quadratic forms and $\pi$-manifolds

abstract: In this paper we define a secondary Brown-Kervaire quadratic forms. Among the applications we obtain a complete classification of (n-2)-connected 2n-dimensional framed manifolds up to homeomorphism and homotopy equivalence, . In particular, we prove that the homotopy type of such manifolds determine their homeomorphism type.


title: Having the H-space structure is not a generic property

abstract: In this note, we answer in negative a question posed by McGibbon about the generic property of H-space structure. In fact we verify the conjecture of Roitberg. Incidentally, the same example also answers in negative the open problem 10 in McGibbon.


title: A note on the classification of naturally graded Lie algebras with linear characteristic sequence

abstract: For sufficiently high dimensions, the naturally graded nonsplit nilpotent Lie algebras with linear characteristic sequence are classified.


title: Equivariant Phantom maps

abstract: A successful generalization of phantom map theory to the equivariant case for all compact Lie groups is obtained in this paper. One of the key observations is the discovery of the fact that homotopy fiber of equivariant completion splits as product of equivariant Eilenberg-Maclane spaces which seems impossible at first sight by the example of Triantafillou.


title: Mislin genus of maps

abstract: In this paper, we prove that the Mislin genus of a (co-)H-map between (co-)H-spaces under certain natural conditions is a finite abelian group which generalizes results in Zabrodsky, McGibbon and Hurvitz


title: Phantom elements and its Applications

abstract: In our previous work, a relation between Tsukiyama problem about self homotopy equivalence was found by using a generalization of phantom map. In this note, fundamental result is established for such a generalization. This is the first time one can deal with phantom maps to space not satisfying finite type condition. Application to Forgetful map is also discussed briefly.


title: Rational homotopy theory and nonnegative curvature

abstract: In this note, we answer positively a question by Belegradek and Kapovitch about the relation between rational homotopy theory and a problem in Riemannian geometry which asks that total spaces of which vector bundles over compact nonnegative curved manifolds admit (complete) metrics with nonnegative curvature.


title: On the Existence of Certain Metrics with Non Parallel Ricci Tensor

abstract: A. Derdzinki [D] gave examples of Riemannian metrics with harmonic curvature and non parallel Ricci tensor on some compact manifolds $(M,g]$ . We examine their existence as well as their number wich naturally depends on the geometry of the manifolds.


title: Hecke algebras of semidirect products

abstract: We consider group-subgroup pairs in which the group is a semidirect product and the subgroup is contained in the normal part. We give conditions for the pair to be a Hecke pair and we show that the enveloping Hecke algebra and Hecke C*-algebra are canonically isomorphic to semigroup crossed products, generalizing earlier results of Arledge, Laca and Raeburn and of Brenken.


title: Proper actions on imprimitivity bimodules and decompositions of Morita equivalences

abstract: We consider a class of proper actions of locally compact groups on imprimitivity bimodules over C*-algebras which behave like the proper actions on C*-algebras introduced by Rieffel in 1988. We prove that every such action gives rise to a Morita equivalence between a crossed product and a generalized fixed-point algebra, and in doing so make several innovations which improve the applicability of Rieffel's theory. We then show how our construction can be used to obtain canonical tensor-product decompositions of important Morita equivalences. Our results show, for example, that the different proofs of the symmetric imprimitivity theorem for actions on induced algebras yield isomorphic equivalences. A similar analysis of the symmetric imprimitivity theorem for graph algebras gives new information about the amenability of actions on graph algebras.


title: The Deformation Complex For DG Hopf Algebras

abstract: Let H be a differential graded Hopf algebra over a field k. This paper gives an explicit construction of a triple cochain complex that defines the Hochschild-Cartier cohomology of H. A certain truncation of this complex is the appropriate setting for deforming H as an H(q)-structure. The direct limit of all such truncations is the appropriate setting for deforming H as a strongly homotopy associative structure. Sign complications are systematically controlled. The connection between rational perturbation theory and the deformation theory of certain free commutative differential graded algebras is clarified.


title: Arithmetic partition sums and orbits of Z_n^k under the symmetric group S_k

abstract: We study M(n,k,r), the number of orbits of {(a_1,...,a_k)\in Z_n^k | a_1+...+a_k = r (mod n)} under the action of S_k. Equivalently, M(n,k,r) sums the partition numbers of an arithmetic sequence: M(n,k,r) = sum_{t \geq 0} p(n-1,k,r+nt), where p(a,b,t) denotes the number of partitions of t into at most b parts, each of which is at most a. We derive closed formulas and various identities for such arithmetic partition sums. These results have already appeared in Elashvili/Jibladze/Pataraia, Combinatorics of necklaces and "Hermite reciprocity", J. Alg. Combin. 10 (1999) 173-188, and the main result was also published by Von Sterneck in Sitzber. Akad. Wiss. Wien. Math. Naturw. Class. 111 (1902), 1567-1601 (see Lemma 2 and references in math.NT/9909121). Thanks to Don Zagier and Robin Chapman for bringing these references to our attention.


title: Quantum cohomology of Grassmannians

abstract: We give elementary proofs of the main theorems about (small) quantum cohomology of Grassmannians, including the quantum Giambelli and quantum Pieri formulas, the rim-hook algorithm, Siebert and Tian's presentation, and a recent theorem of Fulton and Woodward about the minimal q-power which appears in a product of two Schubert classes.


title: On the structure theory of the Iwasawa algebra of a p-adic Lie group

abstract: This paper is lead by the question whether there is a nice structure theory of finitely generated modules over the Iwasawa algebra, i.e. the completed group algebra, R of a p-adic analytic group G. For G without any p-torsion element we prove that R is an Auslander regular ring. This result enables us to give a good definition for pseudo-null R-modules. Then the category of R-modules up to pseudo-isomorphisms is studied and we obtain a weak structure theorem for the p-primary part of a finitely generated R-module. A local duality theorem as well as the Auslander-Buchsbaum equality are further main issues. The arithmetic applications to the Iwasawa theory of abelian varieties are published elsewhere.


title: On the Iwasawa theory of p-adic Lie extensions

abstract: In this paper the new techniques and results concerning the structure theory of modules over non-commutative Iwasawa algebras are applied to arithmetic: we study Iwasawa modules over p-adic Lie extensions K of number fields k "up to pseudo-isomorphism". In particular, a close relationship is revealed between the Selmer group of abelian varieties, the Galois group of the maximal abelian unramified p-extension of K as well as the Galois group of the maximal abelian outside S unramified p-extension where S is a finite set of certain places of k. Moreover, we determine the Galois module structure of local units and other modules arising from Galois cohomology.


title: Designing communication networks via Hilbert modular forms

abstract: We give an explicit version of the Ramanujan-Petersson Conjecture for Hilbert Modular Forms, and deduce the "Ramanujan" property for certain cubical complexes. We reinterpret the results in terms of Communication Networks. The work will appear in the proceedings of a NATO conference on "Applications of Algebraic Geometry to Coding Theory, Physics, and Computation", which took place in Eilat, Israel, February 25 - March 1s 2001, to be published by Kluwer.


title: Octahedral Galois representations arising from Q-curves of degree 2

abstract: Generically, one can attach to a Q-curve C octahedral representations Gal(Qbar/Q) --> GL(2,Fbar_3) coming from the Galois action on the 3-torsion of those abelian varieties of GL_2-type whose building block is C. When C is defined over a quadratic field and has an isogeny of degree 2 to its Galois conjugate, there exist such representations having image into GL(2,F_9). Going the other way, we can ask which mod 3 octahedral representations of Gal(Qbar/Q) arise from Q-curves in the above sense. We characterize those arising from quadratic Q-curves of degree 2. The approach makes use of Galois embedding techniques in GL(2,F_9), and the characterization can be given in terms of a quartic polynomial defining the S_4-extension of Q attached to the octahedral representation.


title: Legendre elliptic curves over finite fields

abstract: We show that every elliptic curve over a finite field of odd characteristic whose number of rational points is divisible by 4 is isogenous to an elliptic curve in Legendre form, with the sole exception of a minimal respectively maximal elliptic curve. We also collect some results concerning the supersingular Legendre parameters.


title: Property (RD) for cocompact lattices in a finite product of rank one Lie groups with some rank two Lie groups

abstract: We apply V. Lafforgue's techniques to establish the rapid decay property for cocompact lattices in a finite product of rank one Lie groups with Lie groups whose restricted root system is of type A2.


title: The Spectral Scale and the k-Numerical Range

abstract: Suppose that c is a linear operator acting on an n-dimensional complex Hilbert Space H, and let tau denote the normalized trace on B(H). Set b_1 = (c+c*)/2 and b_2 = (c-c*)/2i, and write B for the the spectral scale of {b_1, b_2} with respect to tau. We show that B contains full information about (W_k)(c), the k-numerical range of c for each k =1,...,n. We then use our previous work on spectral scales to prove several new facts about (W_k)(c). For example, we show in Theorem 3.4 that the point lambda is a singular point on the boundary of (W_k)(c) if and only if lambda is an isolated extreme point of (W_k)(c). In this case lambda = (n/k)tau(cz), where z is a central projection in in the algebra generated by b_1, b_2 and the identity. We show in Theorem 3.5, that c is normal if and only if (W_k)(c) is a polygon for each k. Finally, it is shown in Theorem 5.4 that the boundary of (W_k)(c) is the finite union of line segments and curved real analytic arcs.


title: Coinvariants for Lattice VOAs and q-Supernomial Coefficients

abstract: We propose an alternative definition of q-supernomial coefficients as characters of coinvariants for one dimensional lattice vertex operator algebras. This gives a new formula for q-supernomial coefficients. Along the way we prove that the spaces of coinvariants form a bundle over the configuration space of complex points (the configuration space includes diagonals).


title: On minimal models in integral homotopy theory

abstract: This paper takes its starting point in an idea of Grothendieck on the representation of homotopy types. We show that any locally finite nilpotent homotopy can be represented by a simplicial set which is a finitely generated free group in all degrees and whose maps are given by polynomials with rational coefficients. Such a simplicial set is in some sense a universal localisation/completion as all localisations and completions of the homotopy is easily contructed from it. In particular relations with the Quillen and Sullivan approaches are presented. When the theory is applied to the Eilenberg-MacLane space of a torsion free finitely generated nilpotent group a close relation to the the theory of Passi polynomial maps is obtained.


title: On the Jacobi Group and the Mapping Class Group of $S^3\times S^3$

abstract: The paper containes a proof that the mapping class group of the manifold $S^3\times S^3$ is isomorphic to a central extension of the (full) Jacobi group $\Gamma^J$ by the group of 7-dimensional homotopy spheres. Using a presentation of the group $\Gamma^J$ and the $\mu$-invariant of the homotopy spheres, we give a presentation of the mapping class group of $S^3\times S^3$ with generators and defining relations. We also compute cohomology of the group $\Gamma^J$ and determine a 2-cocycle that corresponds to the mapping class group of $S^3\times S^3$.


title: E_\infty-structure and differentials of the Adams spectral sequence

abstract: The Adams spectral sequence was invented by J.F.Adams fifty years ago for calculations of stable homotopy groups of topological spaces and in particular of spheres. The calculation of differentials of this spectral sequence is one of the most difficult problem of Algebraic Topology. Here we consider an approach to find inductive formulas for the differentials. It is based on the A_\infty-structures, E_\infty-structures and functional homology operations. As This approach it will be applied to the Kervaire invariant problem.


title: Irreducibility of spatial graphs

abstract: A graph embedded in the 3-sphere is called irreducible if it is non-splittable and for any 2-sphere embedded in the 3-sphere that intersects the graph at one point the graph is contained in one of the 3-balls bounded by the 2-sphere. We show that irreducibility is preserved under certain deformations of embedded graphs. We show that certain embedded graphs are irreducible.


title: Deformation and rigidity of simplicial group actions on trees

abstract: We study a notion of deformation for simplicial trees with group actions (G-trees). Here G is a fixed, arbitrary group. Two G-trees are related by a deformation if there is a finite sequence of collapse and expansion moves joining them. We show that this relation on the set of G-trees has several characterizations, in terms of dynamics, coarse geometry, and length functions. Next we study the deformation space of a fixed G-tree X. We show that if X is `strongly slide-free' then it is the unique reduced tree in its deformation space. These methods allow us to extend the rigidity theorem of Bass and Lubotzky to trees that are not locally finite. This yields a unique factorization theorem for certain graphs of groups. We apply the theory to generalized Baumslag-Solitar groups and show that many have canonical decompositions. We also prove a quasi-isometric rigidity theorem for strongly slide-free G-trees.


title: A stronger form of the theorem constructing a rigid binary relation on any set

abstract: On every set A there is a rigid binary relation i.e. such a relation R \subseteq A \times A that there is no homomorphism (A,R) \rightarrow (A,R) except the identity (Vop{\v{e}}nka et al. [1965]). We prove that for each infinite cardinal number \kappa if card A \leq 2^\kappa, then there exists a relation R \subseteq A \times A with the following property: \forall (x \in A) \exists ({x} \subseteq A(x) \subseteq A, card A(x) \leq \kappa) \forall (f: A(x) \rightarrow A, f \neq id_A(x)) f is not a homomorphism of R. The above property implies that R is rigid. If a relation R \subseteq A \times A has the above property, then card A \leq 2^\kappa.


title: Surfaces and the Sklyanin bracket

abstract: We discuss the Lie Poisson groups structures associated to splittings of the loop group LGL(N), due to Sklyanin. Concentrating on the finite dimensional leaves of the associated Poisson structure, we show that the geometry of the leaves is intimately related to a complex algebraic ruled surface with a C^*-invariant Poisson structure. In particular, Sklyanin's Lie Poisson structure admits a suitable abelianisation, once one passes to an appropriate spectral curve. The Sklyanin structure is then equivalent to one considered by Mukai, Tyurin and Bottacin on a moduli space of sheaves on the Poisson surface. The abelianization procedure gives rise to natural Darboux coordinates for these leaves, as well as separation of variables for the integrable Hamiltonian systems associated to invariant functions on the group.


title: The honeycomb model of GL(n) tensor products II: Puzzles determine facets of the Littlewood-Richardson cone

abstract: The set of possible spectra (\lambda,\mu,\nu) of zero-sum triples of Hermitian matrices forms a polyhedral cone. We give a complete determination of its facets, finishing a long story with recent highlights by [Helmke-Rosenthal, Klyachko, Belkale]. We introduce_puzzles_, which are new combinatorial gadgets to compute Grassmannian Schubert calculus, and will probably be the main point of interest for many readers. As the proofs indicate, the Hermitian sum problem is very naturally studied using puzzles directly, and their connection to Schubert calculus is quite incidental to our approach. In particular, we get new, puzzle-theoretic, proofs of the results in [H,Kly,HR,Be]. Along the way we give a characterization of ``rigid'' puzzles, which we use to prove a conjecture of W. Fulton: ``if for a triple of dominant weights \lambda,\mu,\nu of GL(n,C) the irreducible representation V_\nu appears exactly once in V_\lambda tensor V_\mu, then for all N\in \naturals, V_{N\lambda} appears exactly once in V_{N\lambda} tensor V_{N\mu}.''


title: An extension theorem for separately holomorphic functions with singularities, II

abstract: This paper has been withdrawn by the author(s) and included into the new version of "An extension theorem for separately holomorphic functions with singularities", math.CV/0104089.


title: Finite jet determination of local analytic CR automorphisms and their parametrization by 2-jets in the finite type case

abstract: We show that germs of local real-analytic CR automorphisms of a real-analytic hypersurface $M$ in $\C^2$ at a point $p\in M$ are uniquely determined by their jets of some finite order at $p$ if and only if $M$ is not Levi-flat near $p$. This seems to be the first necessary and sufficient result on finite jet determination and the first result of this kind in the infinite type case. If $M$ is of finite type at $p$, we prove a stronger assertion: the local real-analytic CR automorphisms of $M$ fixing $p$ are analytically parametrized (and hence uniquely determined) by their 2-jets at $p$. This result is optimal since the automorphisms of the unit sphere are not determined by their 1-jets at a point of the sphere.


title: Elliptic genera, torus manifolds and multi-fans

abstract: The rigidity theorem of Witten-Bott-Taubes-Hirzebruch tells us that, if the circle group acts on a closed almost complex (or more generally unitary) manifold whose first Chern class is divisible by a positive integer N greater than 1, then its equivariant elliptic genus of level N is rigid. Applying this to a non-singular compact toric variety, we see that its elliptic genus of level N is rigid if its first Chern class is divisible by N. But, using a vanishing theorem of Hirzebruch, we can show moreover that the genus actually vanishes. In this note we shall extend this result to torus manifolds. In fact, a non-singular complete multi-fan is associated with a torus manifold, and rigidity and vanishing of elliptic genus of level N can be formulated and proved for non-singular complete multi-fans. Some applications on compact non-singular toric varieties with the first Chern class divisible by a large positive integer are given.


title: Espace de modules des courbes hyperelliptiques stables et une in\'egalit\'e de Cornalba-Harris-Xiao

abstract: In this paper, we show an inequality between the degrees of the conductor and the Hodge fiber of a hyperelliptic curve above a discrete valuation ring. For that we have to show theorems about the lifting of $p$-cyclic covers in order to obtain informations on the edge of the moduli space of hyperelliptic stable curves. The inequality then comes from the geometry of this last space.


title: Spacefilling knots

abstract: This note describes how to construct toroidal polyhedra which are homotopic to a given type of knot and which admit an isohedral tiling of 3-space.


title: Torsion free groups with indecomposable holonomy group I

abstract: We study the torsion free generalized crystallographic groups with the indecomposable holonomy group which is isomorphic to either a cyclic group of order ${p^s}$ or a direct product of two cyclic groups of order ${p}$.


title: Solutions of the Quantum-Yang-Baxter-Equation from Symmetric Spaces

abstract: We show that for each semi-Riemannian locally symmetric space the curvature tensor gives rise to a rational solution $r$ of the classical Yang-Baxter equation with spectral parameter. For several Riemannian globally symmetric spaces $M$ such as real, complex and quaternionic Grassmann manifolds we explicitly compute solutions $R$ of the quantum Yang Baxter equations (represented in the tangent spaces of $M$) which generalize the quantum $R$-matrix found by Zamolodchikov and Zamolodchikov in 1979.


title: Invariants of finite group schemes

abstract: We investigate the algebras of invariants and the properties of the quotient morphism by an action of a finite group scheme in terms of stabilizers of points.


title: Markov subshifts and partial representation of F_n

abstract: In this paper we fix a set \Lambda^* of positive elements of the free group F_n (e.g. the set of finite words occurring in a Markov subshift) as well as n partial isometries on a Hilbert space H. Based on these we define a map S:F_n --> L(H) which we prove to be a partial representation of F_n on H under certain conditions studied by Matsumoto.


title: Extensions of Quandles and Cocycle Knot Invariants

abstract: Quandle cocycles are constructed from extensions of quandles. The theory is parallel to that of group cohomology and group extensions. An interpretation of quandle cocycle invariants as obstructions to extending knot colorings is given, and is extended to links component-wise.


title: Regular graded algebras and obstructed categories with duality

abstract: Regular and higher regular graded algebras (in simplest case satisfying Von Neumann regularity $\Theta_{1}\Theta_{2}\Theta_{1}=\Theta_{1}$ instead of anticommutativity) are introduced and their properties are studied. They are described in terms of obstructed categories with nonclosed invertible and noninvertible morphisms for which generalized (obstructed) functors and natural transformations are given. Regular algebras and bialgebras are considered with examples. Corresponding regularizations of the cross product and Wick algebras are made.

categories: math.QA hep-th math-ph math.GN math.KT math.MP math.RA


title: The Structure of The Group of Polynomial Matrices Unitary in The Indefinite Metric of Index 1

abstract: We consider the group M of all polynomial matrices U(z) = U0 + U1*z + U2*z*z +...+Uk*z*...*z, k=0,1,... that satisfy equation U(z)*D*U(z)" = D with the diagonal n*n matrix D=diag{-1,1,1,...1}. Here n > 1, U(z)" = U0" + U1"*z + U2"*z*z + ..., and symbol A" for a constant matrix A denotes the Hermitiean conjugate of A. We show that the subgroup M0 of those U(z) in M, that are normalized by the condition U(0)=I, is the free product of certain groups. The matrices in each group-multiples are explicitly and uniquely parametrized so that every U=U(z) in M0 can be represented in the form U = G1 * G2 * ... * Gs with n*n polynomial matrix multiples G1, G2, ..., each of which belong to its group-multiple, and so that any two consecutive Gi and G(i+1) belong to two different group-multiples. The uniqueness of such parametrization for a given U includes the number of multiples s, their particular sequence G1,G2,... and the multiples themselves with their respective parametrization; all these items can be defined in only one way once the U is given.


title: Bijections behind the Ramanujan Polynomials

abstract: The Ramanujan polynomials were introduced by Ramanujan in his study of power series inversions. In an approach to the Cayley formula on the number of trees, Shor discovers a refined recurrence relation in terms of the number of improper edges, without realizing the connection to the Ramanujan polynomials. On the other hand, Dumont and Ramamonjisoa independently take the grammatical approach to a sequence associated with the Ramanujan polynomials and have reached the same conclusion as Shor's. It was a coincidence for Zeng to realize that the Shor polynomials turn out to be the Ramanujan polynomials through an explicit substitution of parameters. Shor also discovers a recursion of Ramanujan polynomials which is equivalent to the Berndt-Evans-Wilson recursion under the substitution of Zeng, and asks for a combinatorial interpretation. The objective of this paper is to present a bijection for the Shor recursion, or and Berndt-Evans-Wilson recursion, answering the question of Shor. Such a bijection also leads to a combinatorial interpretation of the recurrence relation originally given by Ramanujan.


title: Hybrid-Cubic-Rational Semi-Lagrangian Method with the Optimal Mixing

abstract: A semi-Lagrangian method for advection equation with hybrid cubic-rational interpolation is introduced. In the present method, the spatial profile of physical quantities is interpolated with a combination of a cubic and a rational function. For achieving both high accuracy and convexity preserving of solution, the two functions are mixed in the optimal ratio which is given theoretically. Accuracy and validity of this method is demonstrated with some numerical experiments.


title: On a nonlinear compactness lemma in L^p(0,T;B)

abstract: We consider a nonlinear counterpart of a compactness lemma of J. Simon, which arises naturally in the study of doubly nonlinear equations of elliptic-parabolic type. Our work was motivated by previous results J. Simon, recently sharpened by H. Amann, in the linear setting, and by a nonlinear compactness argument of H.W. Alt and S. Luckhaus.


title: Simple roots of deformed preprojective algebras

abstract: W. Crawley-Boevey has given a description of the set of dimension vectors of simple representations of the deformed preprojective algebras. In this note we give alternative descriptions. Note however that our descriptions depend on irreducibility of the quotient varieties, so they do NOT give a shorter proof of Crawley-Boevey's result.


title: Noncommutative smoothness and coadjoint orbits

abstract: Raf Bocklandt and the author have proved in math.AG/0010030 that certain quotient varieties of representations of deformed preprojective algebras are coadjoint orbits for the necklace Lie algebra of the corresponding quiver. A conjectural ringtheoretical explanation of these results was given in terms of noncommutative smoothness in the sense of C. Procesi. In this paper we prove these conjectures. The main tool in the proof is the etale local description due to W. Crawley-Boevey in math.AG/0105247. Along the way we determine the smooth locus of the so called Marsden-Weinstein reductions for quiver representations.


title: Free wreath product by the quantum permutation group

abstract: A free wreath product construction of a Hopf algebra (or of a Woronowicz algebra) by Wang's quantum permutation group is done. It provides new examples of quantum groups and is useful to describe the quantum automorphism group of the n-times disjoint union of a finite connected graph.


title: Multiple quantum products in toric varieties

abstract: We generalize the author's formula for Gromov-Witten invariants of symplectic toric manifolds (see math.AG/0006156) to those needed to compute the quantum product of more than two classes directly, i.e. involving the pull-back of the Poincar\'e dual of the point class in the Deligne-Mumford spaces $ \mathcal{M}_{0,m} $.


title: The index of a Lie algebra, the centraliser of a nilpotent element, and the normaliser of the centraliser

abstract: In this paper, we study the index for several natural classes of non-reductive subalgebras of semisimple Lie algebras. Namely, we look at parabolic subalgebras, centralisers of nilpotent elements, and the normalisers of the centralisers. We discuss a conjecture of Elashvili to the effect that the index of any centraliser is equal to the rank of the semisimple algebra in question. It is shown that Elashvili's conjecture is true for `small' and `large' orbits. Some properties of the index for the normaliser of the centraliser are proved. In particular, we prove that, for a regular nilpotent element, the normaliser of the centraliser is a Frobenius Lie algebra.


title: Triality, exceptional Lie algebras and Deligne dimension formulas

abstract: We give a computer free proof of the Deligne, Cohen and deMan formulas for the dimensions of the irreducible $g$-modules appearing in the tensor powers of $g$, where $g$ ranges over the exceptional complex simple Lie algebras. We give additional dimension formulas for the exceptional series, as well as uniform dimension formulas for other representations distinguished by Freudenthal along the rows of his magic chart. Our proofs use the triality model of the magic square which we review and present a simplified proof of its validity. We conclude with some general remarks about obtaining "series" of Lie algebras in the spirit of Deligne and Vogel.


title: Information flow on trees

abstract: Consider a tree network $T$, where each edge acts as an independent copy of a given channel $M$, and information is propagated from the root. For which $T$ and $M$ does the configuration obtained at level $n$ of $T$ typically contain significant information on the root variable? This problem arose independently in biology, information theory and statistical physics. For all $b$, we construct a channel for which the variable at the root of the $b$-ary tree is independent of the configuration at level 2 of that tree, yet for sufficiently large $B>b$, the mutual information between the configuration at level $n$ of the $B$-ary tree and the root variable is bounded away from zero. This is related to certain secret-sharing protocols. We improve the upper bounds on information flow for asymmetric binary channels (which correspond to the Ising model with an external field) and for symmetric $q$-ary channels (which correspond to Potts models). Let $\lam_2(M)$ denote the second largest eigenvalue of $M$, in absolute value. A CLT of Kesten and Stigum~(1966) implies that if $b |\lam_2(M)|^2 >1$, then the {\em census} of the variables at any level of the $b$-ary tree, contains significant information on the root variable. We establish a converse: if $b |\lam_2(M)|^2 < 1$, then the census of the variables at level $n$ of the $b$-ary tree is asymptotically independent of the root variable. This contrasts with examples where $b |\lam_2(M)|^2 <1$, yet the {\em configuration} at level $n$ is not asymptotically independent of the root variable.


title: Elementary parabolic twist

abstract: The twist deformations for simple Lie algebras U(g) whose twisting elements F are known explicitly are usually defined on the carrier subspace injected in the Borel subalgebra B^+(g). We solve the problem of creating the parabolic twist F_P whose carrier algebra P not only covers B^+(g) but also intersects nontrivially with B^-(g). This algebra P is the parabplic subalgebra in sl(3) and has the structure of the algebra of two-dimensional motions. The parabolic twist is explicitly constructed as a composition of the well known extended jordanian twist F_EJ and the new factor F_D. The latter can be considered as a special version of the jordanian twist. The twisted costructure is found for U(P) and the corresponding universal R-matrix is presented.


title: Stable Teichmueller quasigeodesics and ending laminations

abstract: We characterize which cobounded quasigeodesics in the Teichmueller space T of a closed surface are at bounded distance from a geodesic. More generally, given a cobounded lipschitz path gamma in T, we show that gamma is a quasigeodesic with finite Hausdorff distance from some geodesic if and only if the canonical hyperbolic plane bundle over gamma is a hyperbolic metric space. As an application, for complete hyperbolic 3-manifolds N with finitely generated, freely indecomposable fundamental group and with bounded geometry, we give a new construction of model geometries for the geometrically infinite ends of N, a key step in Minsky's proof of Thurston's ending lamination conjecture for such manifolds.


title: Spectral theory and special functions

abstract: A short introduction to the use of the spectral theorem for self-adjoint operators in the theory of special functions is given. As the first example, the spectral theorem is applied to Jacobi operators, i.e. tridiagonal operators, on l^2(N), leading to a proof of Favard's theorem stating that polynomials satisfying a three-term recurrence relation are orthogonal polynomials. We discuss the link to the moment problem. In the second example, the spectral theorem is applied to Jacobi operators on l^2(Z). We discuss the theorem of Masson and Repka linking the deficiency indices of a Jacobi operator on l^2(Z) to those of two Jacobi operators on l^2(N). For two examples of Jacobi operators on l^2(Z), namely for the Meixner, respectively Meixner-Pollaczek, functions, related to the associated Meixner, respectively Meixner-Pollaczek, polynomials, and for the second order hypergeometric q-difference operator, we calculate the spectral measure explicitly. This gives explicit (generalised) orthogonality relations for hypergeometric and basic hypergeometric series.


title: A holomorphic representation formula for parabolic hyperspheres

abstract: A holomorphic representation formula for special parabolic hyperspheres is given.


title: Linearization of Regular Proper Groupoids

abstract: Let G be a Lie groupoid over M such that the target-source map from G to M x M is proper. We show that, if O is an orbit of finite type (i.e. which admits a proper function with finitely many critical points), then the restriction G|U of G to some neighborhood U of O in M is isomorphic to a similar restriction of the action groupoid for the linear action of the transitive groupoid G|O on the normal bundle NO. The proof uses a deformation argument based on a cohomology vanishing theorem, along with a slice theorem which is derived from a new result on submersions with a fibre of finite type.


title: The Oka principle for multivalued sections of ramified mappings

abstract: In this paper we establish a basic version of the Oka principle for multivalued sections of ramified holomorphic maps h from a complex manifold Z onto a Stein manifold X. If the ramification locus of h projects into a closed complex subvariety X' of X and if h admits a fiber dominating spray over a small neighborhood of any point in X\X' then any multivalued continuous section of h which is holomorphic in a neighborhood of X' and unramified in X\X' can be homotopically deformed to a global holomorphic multivalued section. The corresponding results for sections of unramified submersions were established by Gromov (Oka's principle for holomorphic sections of elliptic bundles, J. Amer. Math. Soc. 2, 851-897 (1989)) and Forstneric and Prezelj (Math. Ann., to appear).


title: Geometry of the moduli space of Higgs bundles

abstract: This thesis contains work which appeared in several papers. Additionally to the results in the papers it contains a detailed introduction and some further proofs and remarks. The dissertation gives a description of the topology and symplectic and algebraic geometry of Hitchin's hyperkaehler moduli space M of rank 2 Higgs bundles with fixed determinant of odd degree over a fixed Riemann surface. After the long introduction it describes a compactification of M in great detail, using symplectic cutting (math.AG/9804083). Examining the downward Morse flow of a natural circle action on M it shows the vanishing of intersection numbers (math.AG/9805071). Examining the upward Morse flow it explains a set of generators of the cohomology ring and a conjectured explicit description of the cohomology ring (which was proven in math.AG/0003094). Then finally it introduces the resolution tower for M, and shows that its direct limit is homotopically equivalent with the classifying space of the gauge group. In turn it yields another proof of the generation theorem (as in math.AG/0003093) and also yields a purely algebraic geometric proof of the Mumford conjecture about the cohomology ring of the moduli space of rank 2 stable bundles on curves. It finishes by proving homotopy stabilizations in the resolution tower analogously to the Atiyah-Jones conjecture.

categories: math.AG hep-th math-ph math.DG math.MP math.SG


title: Compactification of configuration spaces via Hilbert schemes

abstract: Let F(X,n):= X^n-\Delta be the complementary of the union \Delta of the diagonals of X^n and let U be a quotient of F(X,n) (possibly trivial) by a subgroup of the symmetric group S_n. We construct compactifications of U in products of Hilbert schemes. Our approach generalizes and unifies classical constructions by Schubert-Semple, Le Barz-Keel, Kleiman and Cheah. An extensive study is done in the case n<4. This includes in particular a complete classification and a description of the quotients by the natural actions.


title: Geometric realization and K-theoretic decomposition of C*-algebras

abstract: Suppose that A is a separable C*-algebra and that G_* is a (graded) subgroup of K_*(A). Then there is a natural short exact sequence 0 \to G_* \to K_*(A) \to K_*(A)/G_* \to 0. In this note we demonstrate how to geometrically realize this sequence at the level of C*-algebras. As a result, we KK-theoretically decompose A as 0 \to A\otimes \Cal K \to A_f \to SA_t \to 0 where K_*(A_t) is the torsion subgroup of K_*(A) and K_*(A_f) is its torsionfree quotient. Then we further decompose A_t : it is KK-equivalent to \oplus_p A_p where K_*(A_p) is the p-primary subgroup of the torsion subgroup of K_*(A). We then apply this realization to study the Kasparov group K^*(A) and related objects.


title: On the Divergence of the Rogers-Ramanujan Continued Fraction on the Unit Circle

abstract: Let the continued fraction expansion of any irrational number $t \in (0,1)$ be denoted by $[0,a_{1}(t),a_{2}(t),...]$ and let the i-th convergent of this continued fraction expansion be denoted by $c_{i}(t)/d_{i}(t)$. Let \[ S=\{t \in (0,1): a_{i+1}(t) \geq \phi^{d_{i}(t)} \text{infinitely often}\}, \] where $\phi = (\sqrt{5}+1)/2$. Let $Y_{S} =\{\exp(2 \pi i t): t \in S \}$. It is shown that if $y \in Y_{S}$ then the Rogers-Ramanujan continued fraction, R(y), diverges at y. S is an uncountable set of measure zero. It is also shown that there is an uncountable set of points, $G \subset Y_{S}$, such that if $y \in G$, then R(y) does not converge generally. It is further shown that R(y) does not converge generally for |y| > 1 and that R(y) does converge generally if y is a primitive 5m-th root of unity, some $m \in \mathbb{N}$.


title: Enumerating permutations avoiding a pair of Babson-Steingrimsson patterns

abstract: Babson and Steingr\`imsson introduced generalized permutation patterns that allow the requirement that two adjacent letters in a pattern must be adjacent in the permutation. Subsequently, Claesson presented a complete solution for the number of permutations avoiding any single pattern of type (1,2) or (2,1). For eight of these twelve patterns the answer is given by the Bell numbers. For the remaining four the answer is given by the Catalan numbers. In the present paper we give a complete solution for the number of permutations avoiding a pair of patterns of type (1,2) or (2,1). We also conjecture the number of permutations avoiding the patterns in any set of three or more such patterns.


title: A Legendrian surgery presentation of contact 3-manifolds

abstract: We prove that every closed, connected contact 3-manifold can be obtained from the 3-sphere with its standard contact structure by contact surgery of coefficient plus or minus 1 along a Legendrian link. As a corollary, we derive a result of Etnyre and Honda about symplectic cobordisms (in slightly stronger form).


title: Slopes of a Hypergeometric System Associated to a Monomial Curve

abstract: We compute, by D-module restrictions, the slopes of irregular hypergeometric systems associated to a monomial curve.


title: Semiclassical limit for nonlinear Schroedinger equations with electromagnetic fields

abstract: We prove some multiplicity results by means of a perturbation technique in critical point theory.


title: Parametrization by polytopes of intersections of orbits by conjugation

abstract: Let S be an nXn real symmetric matrix with spectral decomposition S=Q^T Lambda Q, where Q is an orthogonal matrix and Lambda is diagonal with simple spectrum {lambda_1,..., lambda_n}. Also let O_S e R_S be the orbits by conjugation of S by, respectively, orthogonal matrices and upper triangular matrices with positive diagonal. Denote by F_S the intersection O_S and R_S. We show that the map F tha goes from the closure of F_S to R^n and takes S' = (Q')^T Lambda Q' to diag(Q' Lambda (Q')^T) is a smooth bijection onto its range P_S, the convex hull of some subset of the n! permuatations of (lambda_1, ..., lambda_n). We also find necessary and sufficient conditions for P_S to have n! vertices.


title: Approximating L2-invariants, and the Atiyah conjecture

abstract: Let G be a torsion free discrete group and let \bar{Q} denote the field of algebraic numbers in C. We prove that \bar{Q}[G] fulfills the Atiyah conjecture if G lies in a certain class of groups D, which contains in particular all groups which are residually torsion free elementary amenable or which are residually free. This result implies that there are no non-trivial zero-divisors in C[G]. The statement relies on new approximation results for L2-Betti numbers over \bar{Q}[G], which are the core of the work done in this paper. Another set of results in the paper is concerned with certain number theoretic properties of eigenvalues for the combinatorial Laplacian on L2-cochains on any normal covering space of a finite CW complex. We establish the absence of eigenvalues that are transcendental numbers, whenever the covering transformation group is either amenable or in the Linnell class \mathcal{C}. We also establish the absence of eigenvalues that are Liouville transcendental numbers whenever the covering transformation group is either residually finite or more generally in a certain large bootstrap class \mathcal{G}. Please take the errata to Schick: "L2-determinant class and approximation of L2-Betti numbers" into account, which are added at the end of the file, rectifying some unproved statements about "amenable extension". As a consequence, throughout, amenable extensions should be extensions with normal subgroups.


title: The fine structure of the Kasparov groups I: continuity of the KK-pairing

abstract: In this paper it is demonstrated that the Kasparov pairing is continuous with respect to the natural topology on the Kasparov groups, so that a KK-equivalence is an isomorphism of topological groups. In addition, we demonstrate that the groups have a natural pseudopolonais structure, and we prove that various KK-structural maps are continuous.


title: Generalized functions valued in a smooth manifold

abstract: Based on Colombeau's theory of algebras of generalized functions we introduce the concepts of generalized functions taking values in differentiable manifolds as well as of generalized vector bundle homomorphisms. We study their basic properties, in particular with respect to some new point value concepts for generalized functions and indicate applications of the resulting theory in general relativity.


title: Parameterizing Hecke algebra modules: Bernstein-Zelevinsky multisegments, Kleshchev multipartitions, and crystal graphs

abstract: This paper provides a combinatorial dictionary between three sets of objects: Bernstein-Zelevinsky multisegments, Kleshchev multipartitions, and the irreducible modules of the affine Hecke algebra $H_n$ (for generic $q$). In particular, we compute the action of the crystal operator $\tilde{e}_i$ (a refinement of socle of Restriction) on an irreducible module both in terms of its parameterization by multisegments and by multipartitions. In other words, we give explicit crystal graph isomorphisms. A byproduct is the determination of which multisegments parameterize modules of the {\it cyclotomic} Hecke algebra $H_n^\lambda$. The theorems also explain why the rule for computing $\tilde{e}_i$ mirrors the rule we know for that on a tensor product of crystal graphs. We also give a construction of the irreducible module parameterized by a multipartition without relying on a choice of path in the crystal graph. The proofs given here are elementary and do not rely on any geometry.


title: Bosonic formulas for $\hat{sl_2}$ coinvariants

abstract: We derive bosonic-type formulas for the characters of $\hat{sl_2}$ coinvariants.


title: Bosonic formulas for (k,l)-admissible partitions

abstract: Bosonic formulas for generating series of partitions with certain restrictions are obtained by solving a set of linear matrix q-difference equations. Some particular cases are related to combinatorial problems arising from solvable lattice models, representation theory and conformal field theory.


title: Markov Chain Intersections and the Loop-Erased Walk

abstract: Let X and Y be independent transient Markov chains on the same state space that have the same transition probabilities. Let L denote the ``loop-erased path'' obtained from the path of X by erasing cycles when they are created. We prove that if the paths of X and Y have infinitely many intersections a.s., then L and Y also have infinitely many intersections a.s.


title: Correlation function of Schur process with application to local geometry of a random 3-dimensional Young diagram

abstract: Schur process is a time-dependent analog of the Schur measure on partitions studied in math.RT/9907127. Our first result is that the correlation functions of the Schur process are determinants with a kernel that has a nice contour integral representation in terms of the parameters of the process. This general result is then applied to a particular specialization of the Schur process, namely to random 3-dimensional Young diagrams. The local geometry of a large random 3-dimensional diagram is described in terms of a determinantal point process on a 2-dimensional lattice with the incomplete beta function kernel (which generalizes the discrete sine kernel). A brief discussion of the universality of this answer concludes the paper.


title: Generalized pseudo-Riemannian geometry

abstract: Generalized tensor analysis in the sense of Colombeau's construction is employed to introduce a nonlinear distributional pseudo-Riemannian geometry. In particular, after deriving several characterizations of invertibility in the algebra of generalized functions we define the notions of generalized pseudo-Riemannian metric, generalized connection and generalized curvature tensor. We prove a ``Fundamental Lemma of (pseudo-)Riemannian geometry'' in this setting and define the notion of geodesics of a generalized metric. Finally, we present applications of the resulting theory to general relativity.


title: Asymptotic Hyperfunctions, Tempered Hyperfunctions, and Asymptotic Expansions

abstract: We introduce new subclasses of Fourier hyperfunctions of mixed type, satisfying polynomial growth conditions at infinity, and develop their sheaf and duality theory. We use Fourier transformation and duality to examine relations of these 'asymptotic' and 'tempered' hyperfunctions to known classes of test functions and distributions, especially the Gelfand-Shilov-Spaces. Further it is shown that the asymptotic hyperfunctions, which decay faster than any negative power, are precisely the class that allow asymptotic expansions at infinity. These asymptotic expansions are carried over to the higher-dimensional case by applying the Radon transformation for hyperfunctions.


title: Uniform estimates on multi-linear operators with modulation symmetry

abstract: We prove uniform $L^p$ bounds for multilinear operators which are given by multipliers whose symbols are singular on a one dimensional subspace. The novelty is that these bounds are uniform in the choice of the subspace.