title: Wave Invariants for Non-degenerate Closed Geodesics

abstract: This paper generalizes the methods and results of our article xxx.lanl.gov math.SP/0002036 from elliptic to general non-degenerate closed geodesics. The main purpose is to introduce a quantum Birkhoff normal form of the Laplacian at a general non-degenerate closed geodesic in the sense of V.Guillemin. Guillemin proved that the coefficients of the normal form at an elliptic closed geodesic could be determined from the wave invariants of this geodesic. We give a new proof, and extend its range to any non-degenerate closed geodesic.


title: Three Bimodules for Mansfield's Imprimitivity Theorem

abstract: There are at least three imprimitivity bimodules naturally associated to a maximal coaction of a discrete group G on a C*-algebra and a normal subgroup of G: Mansfield's bimodule; the bimodule assembled by Ng from Green's imprimitivity bimodule and Katayama duality; and a bimodule assembled from Green's bimodule and a crossed-product Mansfield bimodule. We show that all three of these are isomorphic, so that the corresponding inducing maps on representations are identical. This can be interpreted as saying that Mansfield and Green induction are inverses of one another ``modulo Katayama duality''. These results pass to twisted coactions; dual results starting with an action are also given.


title: Naturality and Induced Representations

abstract: We show that induction of covariant representations for C*-dynamical systems is natural in the sense that it gives a natural transformation between certain crossed-product functors. This involves setting up suitable categories of C*-algebras and dynamical systems, and extending the usual constructions of crossed products to define the appropriate functors. From this point of view, Green's Imprimitivity Theorem identifies the functors for which induction is a natural equivalence. Various spcecial cases of these results have previously been obtained on an ad hoc basis.


title: The LMO-invariant of 3-manifolds of rank one and the Alexander polynomial

abstract: We prove that the LMO-invariant of a 3-manifold of rank one is determined by the Alexander polynomial of the manifold, and conversely, that the Alexander polynomial is determined by the LMO-invariant. Furthermore, we show that the Alexander polynomial of a null-homologous knot in a rational homology 3-sphere can be obtained by composing the weight system of the Alexander polynomial with the Aarhus invariant of knots.


title: Contact cuts

abstract: We describe a contact analog of the symplectic cut construction. As an application we show that the group of contactomorphisms for a particular overtwisted contact structure on the three sphere contains countably many nonconjugate two tori.


title: Compact Stein surfaces with boundary as branched covers of $\B^4$

abstract: We prove that Stein surfaces with boundary coincide up to orientation preserving diffeomorphisms with simple branched coverings of $\B^4$ whose branch set is a positive braided surface. As a consequence, we have that a smooth oriented 3-manifold is Stein fillable iff it has a positive open-book decomposition.


title: The toric cobordisms

abstract: A smooth closed 3-manifold $M$ fibered by tori $T^2$ is characterized by an element $\phi \in GL(2,\mathbb{Z})$. We show that $M$ is the boundary of a 4-manifold fibered by tori over a surface such that the bundle structure on $M$ is the restriction of the bundle structure on the 4-manifold if and only if $\phi$ is from the commutator subgroup $(GL(2,\mathbb{Z}))'$. The notions of oriented and unoriented cobordisms in the class of closed 3-manifolds fibered by tori are introduced. It turns out that in this case the cobordisms form a group, namely $\mathbb{Z}_{12}$ in the oriented case and $\mathbb{Z}_{2}\oplus\mathbb{Z}_{2}$ in the unoriented one. When the surface on the base of oriented cobordism is orientable, it is shown that its minimal genus can be calculated by Culler's algorithm.


title: The automorphisms of affine fusion rings

abstract: The fusion rings associated to affine Kac-Moody algebras appear in several different contexts in math and mathematical physics. In this paper we find all automorphisms of all affine fusion rings, or equivalently the symmetries of the corresponding fusion coefficients. Most of these are directly related to symmetries of the corresponding Coxeter-Dynkin diagram. We also find all pairs of isomorphic affine fusion rings.


title: Higher limits via subgroup complexes

abstract: We study the higher derived functors of the inverse limit of a functor F: D --> Z_{(p)}-mod, where D is one of the standard categories which arise when studying the homotopy theory of the classifying space of a finite group G, e.g., the orbit category or the Quillen category of G. These higher limits are of importance e.g., for the study of maps between classifying spaces as well as for group cohomology. We show that these higher limits can be identified with the G-equivariant Bredon cohomology of the subgroup complex of p-subgroups in G (i.e., the nerve of the poset of p-subgroups in G) with values in a G-local coefficient system. We examine when smaller complexes can be used e.g., taking only p-radical subgroups, p-centric subgroups, elementary abelian p-subgroups or various subcollections thereof. Since the subgroup complexes are finite complexes, and often rather small, this provides concrete, computable formulas for these higher limits, generalizing earlier work of especially Jackowski-McClure-Oliver. As an application we look at the special case where all the higher limits vanish, as for example is the case for group cohomology. If F is a functor on the orbit category our formulas for the higher limits in this case yield five different expressions of F(G) in terms of values of F on proper subgroups. Two of these are `classical' namely Webb's exact sequence of Mackey functors and a formula for calculating stable elements, previously obtained using Alperin's fusion theorem. Examining this case also leads to improvements of sharpness results of homology decompositions due to Dwyer and others.


title: On embeddings into toric prevarieties

abstract: What kind of schemes are embeddable into good toric prevarieties? To shed some light on this question, we construct proper normal surfaces that are embeddable into neither simplicial toric prevarieties nor toric prevarieties of affine intersection.


title: On the approximation of the values of exponential function and logarithm by algebraic numbers

abstract: A sharp explicit estimate is proved for the difference $e^\beta-\alpha$ when $\alpha$ and $\beta$ are nonzero algebraic numbers.


title: Twist deformations for Yangians

abstract: It is demonstrated how chains of twists for classical Lie algebras induce the new twist deformations (the deformed Yangians) that quantize the generalized rational solutions of the classical Yang-Baxter equation. For the case of Y(g) with g=so(2N+1) the explicit expression for the corresponding R-matrix is given in the defining representation.


title: L^2-Riemann-Roch Inequalities for Covering Manifolds

abstract: We study the existence of $L^2$ holomorphic sections of invariant line bundles over Galois coverings of Zariski open sets in Moishezon manilolds. We show that the von Neuman dimension of the space of $L^2$ holomorphic sections is bounded below under reasonable curvature conditions. We also give criteria for a a compact complex space with isolated singularities and some related strongly pseudoconcave manifolds to be Moishezon. Their coverings are then studied with the same methods. As applications we give weak Lefschetz theorems using the Napier--Ramachandran proof of the Nori theorem.


title: Minimal submanifolds of Kaehler-Einstein manifolds with equal Kaehler angles

abstract: We consider $F: M \to N$ a minimal oriented compact real 2n-submanifold M, immersed into a Kaehler-Einstein manifold N of complex dimension 2n, and scalar curvature R. We assume that $n \geq 2$ and F has equal Kaehler angles. Our main result is to prove that, if n = 2 and $R \neq 0$, then F is either a complex submanifold or a Lagrangian submanifold. We also prove that, if $n \geq 3$ and F has no complex points, then: (A) If R < 0, then F is Lagrangian; (B) If R = 0, the Kaehler angle must be constant. We also study pluriminimal submanifolds with equal Kaehler angles, and prove that, if they are not complex submanifolds, N must be Ricci-flat and there is a natural parallel homothetic isomorphism between TM and the normal bundle.


title: A Mixture of the Exclusion Process and the Voter Model

abstract: We consider a one-dimensional nearest-neighbor interacting particle system, which is a mixture of the simple exclusion process and the voter model. The state space is taken to be the countable set of the configurations that have a finite number of particles to the right of the origin and a finite number of empty sites to the left of it. We obtain criteria for the ergodicity and some other properties of this system using the method of Lyapunov functions.


title: The Alexander polynomial of a plane curve singularity and the ring of functions on it

abstract: We give two formulae which express the Alexander polynomial $\Delta^C$ of several variables of a plane curve singularity $C$ in terms of the ring ${\cal O}_{C}$ of germs of analytic functions on the curve. One of them expresses $\Delta^C$ in terms of dimensions of some factorspaces corresponding to a (multi-indexed) filtration on the ring ${\cal O}_{C}$. The other one gives the coefficients of the Alexander polynomial $\Delta^C$ as Euler characteristics of some explicitly described spaces (complements to arrangements of projective hyperplanes).


title: On Symplectically Harmonic Forms on Six-dimensional Nilmanifolds

abstract: In the present paper we study the variation of the dimensions $h_k$ of spaces of symplectically harmonic cohomology classes (in the sense of Brylinski) on closed symplectic manifolds. We give a description of such variation for all 6-dimensional nilmanifolds equipped with symplectic forms. In particular, it turns out that certain 6-dimensional nilmanifolds possess families of homogeneous symplectic forms $\omega_t$ for which numbers $h_k(M,\omega_t)$ vary with respect to t. This gives an affirmative answer to a question raised by Boris Khesin and Dusa McDuff. Our result is in contrast with the case of 4-dimensional nilmanifolds which do not admit such variations by a remark of Dong Yan.


title: F-regular and F-pure rings vs. log terminal and log canonical singularities

abstract: In this paper, we investigate the relationship of F-regular (resp. F-pure) rings and log terminal (resp. log canonical) singularities. Also, we extend the notions of F-regularity and F-purity to "F-singularities of pairs." The notions of F-regular and F-pure rings in characteristic $p>0$ are characterized by a splitting of the Frobenius map, and define some classes of rings having "mild" singularities. On the other hand, there are notions of log terminal and log canonical singularities defined via resolutions of singularities in characteristic zero. These are defined also for pairs of a normal variety and a $\Bbb Q$-divisor $\Delta$ on it, and play an important role in birational algebraic geometry. As an analog of these singularities of pairs in characteristic zero, we define the notions of "F-singularities of pairs," namely strong F-regularity, divisorial F-regularity and F-purity for a pair $(A,\Delta)$ of a normal ring $A$ of characteristic $p > 0$ and an effective $\Bbb Q$-divisor $\Delta$ on $Y = Spec A$. The main theorem of this paper asserts that, if $K_Y + \Delta$ is $\Bbb Q$-Cartier, then the above three variants of F-singularitiesof pairs imply KLT, PLT and LC properties, respectively. We also prove some results for F-singularities of pairs which are analoguous to singularities of pairs in characteristic zero.


title: The manifold of finite rank projections in the space L(H)

abstract: Given a complex Hilbert space H and the von Neumann algebra L(H) of all bounded linear operators on H, we study the Grassmann manifold M of all projections in L(H) that have a fixed finite rank r. We take the Jordan-Banach triple theory approach which allows us to define a natural Levi-Civita connection on M. We identify the geodesics, compute the Riemann distance and prove some properties of M


title: Graphical Compositions 1: Basic Enumeration

abstract: Graph compositions generalize both integer compositions and partitions of a finite set. We develop formulas, generating functions and recurrence relations for composition counting functions for several families of graphs.


title: Deformation quantization with traces

abstract: In the present paper we prove a statement closely related to the cyclic formality conjecture. In particular, we prove that for a divergence-free Poisson bivector field on R^d, the Kontsevich star-product with the harmonic angle function is cyclic. We also prove a globalization of this theorem in the case of arbitrary Poisson manifolds and prove a generalization of the Connes-Flato-Sternheimer conjecture on closed star-products in the Poisson case.


title: Espace des modules des faisceaux semi-stables de rang 2 et de classes de Chern $c_{1}=0$, $c_{2}=2$ et $c_{3}=0$ sur une hypersurface cubique lisse de $\mathbb{P}^{4}$

abstract: In this note we study the moduli space of rank two semistable sheaves on a smooth cubic hypersurface $X\subset\mathbb{P}^{4}$ with $c_{1}=0$, $c_{2}=2$ and $c_{3}=0$. We show that it is isomorphic to the blow-up of the intermediate jacobian $J(X)$ of $X$ along the Fano surface of $X$. We complete previous results of Iliev-Markushevich AG/9910058 and Markushevich-Tikhomirov AG/9910063.


title: An Abel ordinary differential equation class generalizing known integrable classes

abstract: We present a multi-parameter non-constant-invariant class of Abel ordinary differential equations with the following remarkable features. This one class is shown to unify, that is, contain as particular cases, all the integrable classes presented by Abel, Liouville and Appell, as well as all those shown in Kamke's book and various other references. In addition, the class being presented includes other new and fully integrable subclasses, as well as the most general parameterized class of which we know whose members can systematically be mapped into Riccati equations. Finally, many integrable members of this class can be systematically mapped into an integrable member of a different class. We thus find new integrable classes from previously known ones.


title: A category for the adjoint representation

abstract: We construct an abelian category C and exact functors in C which on the Grothendieck group descend to the action of a simply-laced quantum group in its adjoint representation. The braid group action in the adjoint representation lifts to an action in the derived category of C. The category C is the direct sum of a semisimple category and the category of modules over a certain algebra A, associated to a Dynkin diagram. In the second half of the paper we show how these algebras appear in the modular representation theory and in the McKay correspondence and explore their relationship with root systems.


title: Is Bootstrap Really Helpful in Point Process Statistics?

abstract: There are some papers which describe the use of bootstrap techniques in point process statistics. The aim of the present paper is to show that the form in which bootstrap is used there is dubious. In case of variance estimation of pair correlation function estimators the used bootstrap techniques lead to results which can be obtained simpler without simulation; furthermore, they differ from the desired results. The problem to obtain confidence regions for the intensity function of inhomogeneous Poisson processes can be easily solved without bootstrap techniques.


title: A characterisation of Pfaffian near bipartite graphs

abstract: In 1967 Kasteleyn introduced a powerful method for enumerating the 1-factors of planar graphs. In fact his method can be extended to graphs which permit an orientation under which every alternating circuit is clockwise odd. Graphs with this property are called {\it Pfaffian}. Little characterised Pfaffian bipartite graphs in terms of forbidden subgraphs in 1975. We extend his characterisation to near bipartite graphs.


title: Unitary representations of the 2-dimensional Euclidean group in the Heisenberg algebra

abstract: E(2) is studied as the automorphism group of the Heisenberg algebra H. The basis in the Hilbert space K of functions on H on which the unitary irreducible representations of the group are realized is explicitely constructed. The addition theorem for the Kummer functions is derived.


title: Almost ring theory

abstract: The categories of almost modules and almost algebras are introduced as a convenient setting for the development of Faltings' method of almost etale extensions. After some preliminaries of general "almost homological algebra" we construct the almost version of the cotangent complex and we use it to generalise some results of Faltings on the lifting of almost etale morphisms and almost etale algebras over nilpotent extensions. We also study the "almost trace" of an almost flat and almost finitely presented morphism, in particular we show that the almost trace is (almost) perfect if and only if the morphism is almost etale. Finally we study some cases of non-flat descent for almost rings, and establish the invariance of almost etale morphisms under Frobenius.


title: A generalization of Cayley submanifolds

abstract: Given a Kaehler manifold of complex dimension 4, we consider submanifolds of (real) dimension 4, whose Kaehler angles coincide. We call these submanifolds Cayley. We investigate some of their basic properties, and prove that (a) if the ambient manifold is a Calabi-Yau, the minimal Cayley submanifolds are just the Cayley submanifolds as defined by Harvey and Lawson; (b) if the ambient is a Kaehler-Einstein manifold of non-zero scalar curvature, then minimal Cayley submanifolds have to be either complex or Lagrangian.


title: Cubic Surfaces and Borcherds Products

abstract: The moduli space of cubic surfaces in complex projective space is known to be isomorphic to the quotient of the complex 4-ball by a certain arithmetic group. We apply Borcherds' techniques to construct automorphic forms for this group and show that these provide an embedding of the moduli space in 9-dimensional projective space. We also show that our automorphic forms directly encode the geometry of cubic surfaces, by showing that each of Cayley's invariants (certain cross-ratios) is simply a quotient of two of our automorphic forms.


title: Fuglede's conjecture for a union of two intervals

abstract: We prove that a union of two intervals in R is a spectral set if and only if it tiles R by translations.


title: Metastability of Breather Modes of Time-Dependent Potentials

abstract: We study the solutions of linear Schroedinger equations in which the potential energy is a periodic function of time and is sufficiently localized in space. We consider the potential to be close to one that is time periodic and yet explicitly solvable. A large family of such potentials has been constructed and the corresponding Schroedinger equation solved by Miller and Akhmediev. Exact bound states, or breather modes, exist in the unperturbed problem and are found to be generically metastable in the presence of small periodic perturbations. Thus, these states are long-lived but eventually decay. On a time scale of order $\epsilon^{-2}$, where $\epsilon$ is a measure of the perturbation size, the decay is exponential, with a rate of decay given by an analogue of Fermi's golden rule. For times of order $\epsilon^{-1}$ the breather modes are frequency shifted. This behavior is derived first by classical multiple-scale expansions, and then in certain circumstances we are able to apply the rigorous theory developed by Soffer and Weinstein and extended by Kirr and Weinstein to justify the expansions and also provide longer-time asymptotics that indicate eventual dispersive decay of the bound states with behavior that is algebraic in time. As an application, we use our techniques to study the frequency dependence of the guidance properties of certain optical waveguides. We supplement our results with numerical experiments.

categories: math.DS math-ph math.AP math.MP nlin.CD nlin.PS nlin.SI


title: Pre-Lie algebras and the rooted trees operad

abstract: A Pre-Lie algebra is a vector space L endowed with a bilinear product * : L \times L to L satisfying the relation (x*y)*z-x*(y*z)= (x*z)*y-x*(z*y), for all x,y,z in L. We give an explicit combinatorial description in terms of rooted trees of the operad associated to this type of algebras and prove that it is a Koszul operad.


title: On $\alpha $-Critical Edges in K\"{o}nig-Egerv\'{a}ry Graphs

abstract: The stability number of a graph G, denoted by alpha(G), is the cardinality of a stable set of maximum size in G. If alpha(G-e) > alpha(G), then e is an alpha-critical edge, and if mu(G-e) < mu(G), then e is a mu-critical edge, where mu(G) is the cardinality of a maximum matching in G. G is a Koenig-Egervary graph if alpha(G) + mu(G) equals its order. Beineke, Harary and Plummer have shown that the set of alpha-critical edges of a bipartite graph is a matching. In this paper we generalize this statement to Koenig-Egervary graphs. We also prove that in a Koenig-Egervary graph alpha-critical edges are also mu-critical, and that they coincide in bipartite graphs. We obtain that for any tree its stability number equals the sum of the cardinality of the set of its alpha-critical vertices and the size of the set of its alpha-critical edges. Eventually, we characterize the Koenig-Egervary graphs enjoying this property.


title: On certain geometric and homotopy properties of closed symplectic manifolds

abstract: The paper deals with relations between the Hard Lefschetz property, (non)vanishing of Massey products and the evenness of odd-degree Betti numbers of closed symplectic manifolds. It is known that closed symplectic manifolds can violate all these properties (in contrast with the case of Kaehler manifolds). However, the relations between such homotopy properties seem to be not analyzed. This analysis may shed a new light on topology of symplectic manifolds. In the paper, we summarize our knowledge in tables (different in the simply-connected and in symplectically aspherical cases). Also, we discuss the variation of symplectically harmonic Betti numbers on some 6-dimensional manifolds.


title: Energy in Yang-Mills on a Riemann Surface

abstract: Sengupta's lower bound for the Yang-Mills action on smooth connections on a bundle over a Riemann surface generalizes to the space of connections whose action is finite. In this larger space the inequality can always be saturated. The Yang-Mills critical sets correspond to critical sets of the energy action on a space of paths. This may shed light on Atiyah and Bott's conjecture concerning Morse theory for the space of connections modulo gauge transformations.


title: Non-commutative Pieri operators on posets

abstract: We consider graded representations of the algebra NC of noncommutative symmetric functions on the Z-linear span of a graded poset P. The matrix coefficients of such a representation give a Hopf morphism from a Hopf algebra HP generated by the intervals of P to the Hopf algebra of quasi-symmetric functions. This provides a unified construction of quasi-symmetric generating functions from different branches of algebraic combinatorics, and this construction is useful for transferring techniques and ideas between these branches. In particular we show that the (Hopf) algebra of Billera and Liu related to Eulerian posets is dual to the peak (Hopf) algebra of Stembridge related to enriched P-partitions, and connect this to the combinatorics of the Schubert calculus for isotropic flag manifolds.


title: L^2 Cohomology on coverings of a compact K\"ahler manifold

abstract: Andreotti-Vesentini, Ohsawa, Gromov, Koll\'ar, among others, have observed that Hodge theory could be extended to (non compact) K\"ahler complete manifolds, within the L^2 framework. Also, many vanishing theorems on projective or K\"ahler manifolds rely on the Kodaira-Bochner-Nakano identity, and thus possess natural L^2 versions. Our goal is to define canonical L^2 cohomology groups on any unramified covering of an analytic variety X, with values in a coherent analytic sheaf on X. This cohomology shares all usual properties of standard coherent sheaf cohomology (especially, exact sequences, spectral sequences, vanishing theorems,...). These properties are obtained by incorporating the information provided by L^2 estimates in the standard proofs, with suitable adaptations. L^2 cohomology should provide a comfortable and efficient framework for the study the geometry of coverings, by providing a relevant fonctorial formalism. When the base variety is compact and the covering is a Galois covering of group $\Gamma$, there is a $\Gamma$ action on cohomology groups and a related concept of $\Gamma$-dimension. In that case, we prove that the $\Gamma$-dimension of cohomology groups is finite, and we extend Atiyah's L^2 index theorem to the case of arbitrary coherent sheaves. Finally, if the base manifold is projective, L^2 analogues of the usual vanishing theorems (Kodaira-Serre, Kawamata-Viehweg,...) are valid. Similar constructions and results have also been studied by P. Eyssidieux.


title: Conformal Geometry of Surfaces in the 4-Sphere and Quaternions

abstract: This is the first comprehensive introduction to the authors' recent attempts toward a better understanding of the global concepts behind spinor representations of surfaces in 3-space. The important new aspect is a quaternionic-valued function theory, whose "meromorphic functions" are conformal maps into quaternions, which extends the classical complex function theory on Riemann surfaces. The first results along these lines were presented at the ICM 98 in Berlin. An important new invariant of the quaternionic holomorphic theory is the Willmore energy. For quaternionic holomorphic curves in the quaternionic projective line, i.e., the conformal 4-sphere, this energy is the classical Willmore energy of conformal surfaces. Using these new techniques, the article discusses the mean curvature sphere of conformal surfaces in the 4-sphere, Willmore surfaces in the 4-sphere, Baecklund tranformations of Willmore surfaces, super-conformal surfaces and twistor projections, and a duality between Willmore surfaces in the 3-sphere and minimal surfaces in hyperbolic 3-space. Finally, a new proof of Montiel's recent classification of Willmore 2-spheres in the 4-sphere is given.


title: Geometric formulas for Smale invariants of codimension two immersions

abstract: We give three formulas expressing the Smale invariant of an immersion f of a (4k-1)-sphere into (4k+1)-space. The terms of the formulas are geometric characteristics of any generic smooth map g of any oriented 4k-dimensional manifold, where g restricted to the boundary is an immersion regularly homotopic to f in (6k-1)-space. The formulas imply that if f and g are two non-regularly homotopic immersions of a (4k-1)-sphere into (4k+1)-space then they are also non-regularly homotopic as immersions into (6k-1)-space. Moreover, any generic homotopy in (6k-1)-space connecting f to g must have at least a_k(2k-1)! cusps, where a_k=2 if k is odd and a_k=1 if k is even.


title: Differential 3-knots in 5-space with and without self intersections

abstract: Regular homotopy classes of immersions of a 3-sphere in 5-space constitute an infinite cyclic group. The classes containing embeddings form a subgroup of index 24. The obstruction for a generic immersion to be regularly homotopic to an embedding is described in terms of geometric invariants of its self intersection. Geometric properties of self intersections are used to construct two invariants J and St of generic immersions which are analogous to Arnold's invariants of plane curves. We prove that J and St are independent first order invariants and that any first order invariant is a linear combination of these. As by-products, some invariants of immersions of 3-spheres in 4-space are obtained. Using them, we find restrictions on the topology of self intersections.


title: Entropy of Bogoliubov automorphisms of CAR and CCR algebras with respect to quasi-free states

abstract: We compute the dynamical entropy of Bogoliubov automorphisms of CAR and CCR algebras with respect to arbitrary gauge-invariant quasi-free states. This completes the research started by Stormer and Voiculescu, and continued in works of Narnhofer-Thirring and Park-Shin.


title: An automorphic form related to cubic surfaces

abstract: This is a note constructing a certain weight 4 automorphic form on the moduli space of cubic surfaces, posted here because it is referred to in math.AG/0002066


title: On the K-property of quantized Arnold cat maps

abstract: We prove that some quantized Arnold cat maps are entropic K-systems. This result was formulated by H. Narnhofer[1], but the fact that the optimal decomposition for the multi-channel entropy constructed there is not strictly local was not appropriately taken care of. We propose a strictly local decomposition based on a construction of Voiculescu.


title: Entropy in type I algebras

abstract: It is shown that if (M,phi,alpha) is a W*-dynamical system with M a type I von Neumann algebra then the entropy of alpha w.r.t. phi equals the entropy of the restriction of alpha to the center of M. If furthermore (N,psi,beta) is a W*-dynamical system with N injective then the entropy of the tensor product system is the sum of the entropies.


title: Entropy of automorphisms of II_1-factors arising from the dynamical systems theory

abstract: Let a countable amenable group G acts freely and ergodically on a Lebesgue space (X,mu), preserving the measure mu. If T is an automorphism of the equivalence relation defined by G then T can be extended to an automorphism alpha_T of the II_1-factor M=L^\infty(X,\mu)\rtimes G. We prove that if T commutes with the action of G then H(alpha_T)=h(T), where H(alpha_T) is the Connes- Stormer entropy of alpha_T, and h(T) is the Kolmogorov-Sinai entropy of T. We prove also that for given s and t, 0\le s\le t\le\infty, there exists a T such that h(T)=s and H(alpha_T)=t.


title: Deformation of singular lagrangian subvarieties

abstract: We investigate deformations of lagrangian manifolds with singularities. We introduce a complex similar to the de Rham-complex whose cohomology calculates deformation spaces. Examples of singular lagrangian varieties are presented and deformations are calculated explicitly.


title: Lectures on Factorization of Birational Maps

abstract: This is an expanded version of the notes for the lectures given by the author at RIMS in the summer of 1999 to give a detailed account of the proof for the (weak) factorization theorem of birational maps by Abramovich-Karu-Matsuki-W{\l}odarczyk.


title: Why would multiplicities be log-concave ?

abstract: It is a basic property of the entropy in statistical physics that is concave as a function of energy. The analog of this in representation theory would be the concavity of the logarithm of the multiplicity of an irreducible representation as a function of its highest weight. We discuss various situations where such concavity can be established or reasonably conjectured and consider some implications of this concavity. These are rather informal notes based on a number of talks I gave on the subject, in particular, at the 1997 International Press lectures at UC Irvine.


title: Global Stability for Holomorphic Foliations in Kaehler Manifolds

abstract: We prove the following theorem for Holomorphic Foliations in compact complex kaehler manifolds: if there is a compact leaf with finite holonomy, then every leaf is compact with finite holonomy. As corollary we reobtain stability theorems for compact foliations in Kaehler manifolds of Edwards-Millett-Sullivan and Hollman.


title: A categorification of the Temperley-Lieb algebra and Schur quotients of U(sl(2)) via projective and Zuckerman functors

abstract: We identify the Grothendieck group of certain direct sum of singular blocks of the highest weight category for sl(n) with the n-th tensor power of the fundamental (two-dimensional) sl(2)-module. The action of U(sl(2)) is given by projective functors and the commuting action of the Temperley-Lieb algebra by Zuckerman functors. Indecomposable projective functors correspond to Lusztig canonical basis in U(sl(2)). In the dual realization the n-th tensor power of the fundamental representation is identified with a direct sum of parabolic blocks of the highest weight category. Translation across the wall functors act as generators of the Temperley-Lieb algebra while Zuckerman functors act as generators of U(sl(2)).


title: On the size of Diophantine m-tuples

abstract: Let n be a nonzero integer and assume that a set S of positive integers has the property that xy+n is a perfect square whenever x and y are distinct elements of S. In this paper we find some upper bounds for the size of the set S. We prove that if |n| <= 400 then |S| <= 32, and if |n| > 400 then |S| < 267.81 log|n| (log log|n|)^2. The question whether there exists an absolute bound (independent on n) for |S| still remains open.


title: The core model for almost linear iterations

abstract: We introduce 0^h (0^handgrenade) as a sharp for an inner model with a proper class of strong cardinals. If 0^h does not exist then any normal iteration tree is "almost linear." We exploit this fact to prove the existence of the core model K in the theory "ZFC + 0^h does not exist." (As of today, non-0^h is thereby the weakest anti large cardinal assumption under which K can be shown to exist in ZFC. In this sense we improve earlier work of Dodd, Jensen, Mitchell, and - partially - Steel.) We indicate that our paper provides the last step for determining the exact consistency strength of a statement in the Delfino problem list.


title: Koornwinder polynomials and affine Hecke algebras

abstract: In this paper we derive the bi-orthogonality relations, diagonal term evaluations and evaluation formulas for the non-symmetric Koornwinder polynomials. For the derivation we use certain representations of the (double) affine Hecke algebra which were originally defined by Noumi and Sahi. The structure of the diagonal terms is clarified by expressing them as residues of the bi-orthogonality weight function. We furthermore give the explicit connection between the non-symmetric and the (anti-)symmetric theory.


title: Growth of sumsets in abelian semigroups

abstract: Let S be an abelian semigroup, written additively. Let A be a finite subset of S. We denote the cardinality of A by |A|. For any positive integer h, the sumset hA is the set of all sums of h not necessarily distinct elements of A. We define 0A = {0}. If A_1,...,A_r, and B are finite sumsets of A and h_1,...,h_r are nonnegative integers, the sumset h_1A + ... + h_rA_r + B is the set of all elements of S that can be represented in the form u_1 + ... + u_r + b, where u_i \in h_iA_i and b \in B. The growth function of this sumset is \gamma(h_1,...,h_r) = |h_1A + ... + h_rA_r + B|. Applying the Hilbert function for graded modules over graded algebras, where the grading is over the semigroup of r-tuples of nonnegative integers, we prove that there is a polynomial p(t_1,...,t_r) such that \gamma(h_1,...,h_r) = p(t_1,...,t_r) if min(h_1,...,h_r) is sufficienlty large.


title: Equivalence of Examples of Sacksteder and Bourgain

abstract: Finding examples of tangentially degenerate submanifolds (submanifolds with degenerate Gauss mappings) in an Euclidean space $R^4$ that are noncylindrical and without singularities is an important problem of differential geometry. The first example of such a hypersurface was constructed by Sacksteder in 1960. In 1995 Wu published an example of a noncylindrical tangentially degenerate algebraic hypersurface in $R^4$ whose Gauss mapping is of rank 2 and which is also without singularities. This example was constructed (but not published) by Bourgain. In this paper, the authors analyze Bourgain's example, prove that, as was the case for the Sacksteder hypersurface, singular points of the Bourgain hypersurface are located in the hyperplane at infinity of the space $R^4$, and these two hypersurfaces are locally equivalent.


title: On the Structure of Submanifolds with Degenerate Gauss Mappings

abstract: An n-dimensional submanifold X of a projective space P^N (C) is called tangentially degenerate if the rank of its Gauss mapping \gamma: X ---> G (n, N) satisfies 0 < rank \gamma < n. The authors systematically study the geometry of tangentially degenerate submanifolds of a projective space $P^N (\mathbf{C})$. By means of the focal images, three basic types of submanifolds are discovered: cones, tangentially degenerate hypersurfaces, and torsal submanifolds. Moreover, for tangentially degenerate submanifolds, a structural theorem is proven. By this theorem, tangentially degenerate submanifolds that do not belong to one of the basic types are foliated into submanifolds of basic types. In the proof the authors introduce irreducible, reducible, and completely reducible tangentially degenerate submanifolds. It is found that cones and tangentially degenerate hypersurfaces are irreducible, and torsal submanifolds are completely reducible while all other tangentially degenerate submanifolds not belonging to basic types are reducible.


title: Parallel connections and bundles of arrangements

abstract: Let \A be a complex hyperplane arrangement, and let $X$ be a modular element of arbitrary rank in the intersection lattice of \A. We show that projection along $X$ restricts to a fiber bundle projection of the complement of \A to the complement of the localization $\A_X$ of \A at $X$. The fiber is the decone of a realization of the complete principal truncation of the underlying matroid of \A along the flat corresponding to $X$. This result gives a topological realization of results of Stanley, Brylawsky, and Terao on modular factorization. We show that (generalized) parallel connection of matroids corresponds to pullback of fiber bundles, clarifying the notion that all examples of diffeomorphisms of complements of inequivalent arrangements result from the triviality of the restriction of the Hopf bundle to the complement of a hyperplane. The modular fibration result also yields a new method for identifying $K(\pi,1)$ arrangements of rank greater than three. We identify a new families of $K(\pi,1)$ arrangements, providing more evidence for the conjecture that factored arrangements of arbitrary rank are $K(\pi,1)$.


title: Virtual Gromov-Witten Invariants and the Quantum Cohomology Rings of General Type Projective Hypersurfaces

abstract: In this paper, we propose another characterization of the generalized mirror transformation on the quantum cohomology rings of general type projective hypersurfaces. This characterics is useful for explicit determination of the form of the generalized mirror transformation. As applications, we rederive the generalized mirror transformation up to $d=3$ rational Gromov-Witten invariants obtained in our previous article, and determine explicitly the the generalized mirror transformation for the $d=4, 5$ rational Gromov-Witten invariants in the case when the first Chern class of the hypersurface equals $-H$ (i.e., $k-N=1$).


title: Examples and Counterexamples for Existence of Categorical Quotients

abstract: We give examples for existence and non-existence of categorical quotients for algebraic group actions in the categories of algebraic varieties and prevarieties. All our examples are subtorus actions on toric varieties.


title: Calibrated Fibrations on Complete Manifolds via Torus Action

abstract: In this paper we will investigate torus actions on complete manifolds with calibrations. For Calabi-Yau manifolds M^2n with a Hamiltonian structure-preserving k-torus action we show that any symplectic reduction has a natural holomorphic volume form. Moreover Special Lagrangian (SLag) submanifolds of the reduction lift to SLag submanifolds of M, invariant under the torus action. If k=n-1 and the first cohomology of M is trivial, then we prove that M is a fibration with generic fiber being a SLag submanifold. As an application we will see that crepant resolutions of singularities of a finite Abelian subgroup of SU(n) acting on C^n have SLag fibrations. We study SLag submanifolds on the total space K(N) of a canonical bundle of a Kahler-Einstein manifold N with positive scalar curvature. We give a conjecture about fibration of K(N) by SLag subvarieties with a certain asymptotic behavior at infinity, which we prove if N is toric. We also get similar results for coassociative submanifolds of a G_2-manifold M^7, which admits a 3-torus, a 2-torus or an SO(3)-action.


title: Partitions with parts in a finite set

abstract: Let A be a nonempty finite set of relatively prime positive integers, and let p_A(n) denote the number of partitions of n with parts in A. An elementary arithmetic argument is used to obtain an asymptotic formula for p_A(n).


title: Determinantal random point fields

abstract: The paper contains an exposition of recent as well as old enough results on determinantal random point fields. We start with some general theorems including the proofs of the necessary and sufficient condition for the existence of the determinantal random point field with Hermitian kernel and a criterion for the weak convergence of its distribution. In the second section we proceed with the examples of the determinantal random point fields from Quantum Mechanics, Statistical Mechanics, Random Matrix Theory, Probability Theory, Representation Theory and Ergodic Theory. In connection with the Theory of Renewal Processes we characterize all determinantal random point fields in R^1 and Z^1 with independent identically distributed spacings. In the third section we study the translation invariant determinantal random point fields and prove the mixing property of any multiplicity and the absolute continuity of the spectra. In the fourth (and the last) section we discuss the proofs of the Central Limit Theorem for the number of particles in the growing box and the Functional Central Limit Theorem for the empirical distribution function of spacings.


title: On the combinatorics of Forrester-Baxter models

abstract: We provide further boson-fermion q-polynomial identities for the `finitised' Virasoro characters \chi^{p, p'}_{r,s} of the Forrester-Baxter minimal models M(p, p'), for certain values of r and s. The construction is based on a detailed analysis of the combinatorics of the set P^{p, p'}_{a, b, c}(L) of q-weighted, length-L Forrester-Baxter paths, whose generating function \chi^{p, p'}_{a, b, c}(L) provides a finitisation of \chi^{p, p'}_{r,s}. In this paper, we restrict our attention to the case where the startpoint a and endpoint b of each path both belong to the set of Takahashi lengths. In the limit L -> infinity, these polynomial identities reduce to q-series identities for the corresponding characters.


title: The degree of the divisor of jumping rational curves

abstract: For a semistable reflexive sheaf $E$ of rank $r$ and $c_1=a$ on $\P^n$ and an integer $d$ such that $r|ad$, we give sufficient conditions so that the restriction of $E$ on a generic rational curve of degree $d$ is balanced, i.e. a twist of the trivial bundle (for instance, if $E$ has balanced restriction on a generic line, or $r=2$ or $E$ is an exterior power of the tangent bundle). Assuming this, we give a formula for the 'virtual degree', interpreted enumeratively, of the locus of rational curves of degree $d$ on which the restriction of $E$ is not balanced, generalizing a classical formula due to Barth for the degree of the divisor of jumping lines of a semistable rank-2 bundle.


title: A W(E_6)-equivariant projective embedding of the moduli space of cubic surfaces

abstract: An explicit projective embedding of the moduli space of marked cubic surfaces is given. This embedding is equivariant under the Weyl group of type E6. The image is defined by a system of linear and cubic equations. To express the embedding in a most symmetric way, the target would be 79-dimensional, however the image lies in a 9-dimensional linear subspace.


title: Asymptotic density and the asymptotics of partition functions

abstract: Let A be a set of positive integers with gcd(A) = 1, and let p_A(n) be the partition function of A. Let c = \pi \sqrt(2/3). Let \alpha > 0. It is proved that log p_A(n) ~ c\sqrt(\alpha n) if and only if the set A has asymptotic density \alpha.


title: On the eigenstates of the elliptic Calogero-Moser model

abstract: It is known that the trigonometric Calogero-Sutherland model is obtained by the trigonometric limit (\tau \to \sqrt{-1} \infty) of the elliptic Calogero-Moser model, where (1,\tau) is a basic period of the elliptic function. We show that for all square-integrable eigenstates and eigenvalues of the Hamiltonian of the Calogero-Sutherland model, if \exp (2\pi \sqrt{-1} \tau ) is small enough then there exist square-integrable eigenstates and eigenvalues of the Hamiltonian of the elliptic Calogero-Moser model which converge to the ones of the Calogero-Sutherland model for the 2-particle and the coupling constant l is positive integer cases and the 3-particle and l=1 case. In other words, we justify the regular perturbation with respect to the parameter \exp (2\pi \sqrt{-1} \tau). With some assumptions, we show analogous results for N-particle and l is positive integer cases.


title: The structure of corings: Induction functors, Maschke-type theorem, and Frobenius and Galois-type properties

abstract: Given a ring $A$ and an $A$-coring $\cC$ we study when the forgetful functor from the category of right $\cC$-comodules to the category of right $A$-modules and its right adjoint $-\otimes_A\cC$ are separable. We then proceed to study when the induction functor $-\otimes_A\cC$ is also the left adjoint of the forgetful functor. This question is closely related to the problem when $A\to {}_A{\rm Hom}(\cC,A)$ is a Frobenius extension. We introduce the notion of a Galois coring and analyse when the tensor functor over the subring of $A$ fixed under the coaction of $\cC$ is an equivalence. We also comment on possible dualisation of the notion of a coring.


title: A Note on the Symmetric Powers of the Standard Representation of S_n

abstract: In this paper, we prove that the dimension of the space spanned by the characters of the symmetric powers of the standard n-dimensional representation of the symmetric group S_n is asymptotic to n^2/2. This is proved by using generating functions to obtain formulas for upper and lower bounds, both asymptotic to n^2/2, for this dimension. In particular, for n>6, these characters do not span the full space of class functions on S_n.


title: On the homotopy theory of arrangements, II

abstract: In "On the homotopy theory of arrangements," published in 1986, the authors gave a comprehensive survey of the subject. This article updates and continues the earlier article, noting some key open problems.


title: Rolle's theorem is either false or trivial in infinite-dimensional Banach spaces

abstract: We prove the following new characterization of $C^p$ (Lipschitz) smoothness in Banach spaces. An infinite-dimensional Banach space $X$ has a $C^p$ smooth (Lipschitz) bump function if and only if it has another $C^p$ smooth (Lipschitz) bump function $f$ such that $f'(x)\neq 0$ for every point $x$ in the interior of the support of $f$ (that is, $f$ does not satisfy Rolle's theorem). Moreover, the support of this bump can be assumed to be a smooth starlike body. As a by-product of the proof of this result we also obtain other useful characterizations of $C^p$ smoothness related to the existence of a certain kind of deleting diffeomorphisms, as well as to the failure of Brouwer's fixed point theorem even for smooth self-mappings of starlike bodies in all infinite-dimensional spaces. Finally, we study the structure of the set of gradients of bump functions in the Hilbert space $\ell_2$, and as a consequence of the failure of Rolle's theorem in infinite dimensions we get the following result. The usual norm of the Hilbert space $\ell_2$ can be uniformly approximated by $C^1$ smooth Lipschiz functions $\psi$ so that the cones generated by the sets of derivatives $\psi'(\ell_{2})$ have empty interior. This implies that there are $C^1$ smooth Lipschitz bumps in $\ell_{2}$ so that the cones generated by their sets of gradients have empty interior.


title: A focus on focal surfaces

abstract: We make a systematic study of the focal surface of a congruence of lines in the projective space. Using differential techniques together with techniques from intersection theory, we reobtain in particular all the invariants of the focal surface (degree, class, class of its hyperplane section, sectional genus and degrees of the nodal and cuspidal curve). We study in particular the congruences of chords to a smooth curve and the congruences of bitangents or flexes to a smooth surface. We find that they possess unexpected components in their focal surface, and conjecture that they are the only ones with this property.


title: On iterated torus knots and transversal knots

abstract: A knot type is exchange reducible if an arbitrary closed n-braid representative can be changed to a closed braid of minimum braid index by a finite sequence of braid isotopies, exchange moves and +/- destabilizations. In the manuscript [J Birman and NC Wrinkle, On transversally simple knots, preprint (1999)] a transversal knot in the standard contact structure for S^3 is defined to be transversally simple if it is characterized up to transversal isotopy by its topological knot type and its self-linking number. Theorem 2 of Birman and Wrinkle [op cit] establishes that exchange reducibility implies transversally simplicity. The main result in this note, establishes that iterated torus knots are exchange reducible. It then follows as a Corollary that iterated torus knots are transversally simple.


title: Prediction Properties of Aitken's Iterated Delta^2 Process, of Wynn's Epsilon Algorithm, and of Brezinski's Iterated Theta Algorithm

abstract: The prediction properties of Aitken's iterated Delta^2 process, Wynn's epsilon algorithm, and Brezinski's iterated theta algorithm for (formal) power series are analyzed. As a first step, the defining recursive schemes of these transformations are suitably rearranged in order to permit the derivation of accuracy-through-order relationships. On the basis of these relationships, the rational approximants can be rewritten as a partial sum plus an appropriate transformation term. A Taylor expansion of such a transformation term, which is a rational function and which can be computed recursively, produces the predictions for those coefficients of the (formal) power series which were not used for the computation of the corresponding rational approximant.


title: Logarithmic series and Hodge integrals in the tautological ring (with an appendix by D. Zagier)

abstract: We describe a new perspective on the intersection theory of the moduli space of curves involving both Virasoro constraints and Gorenstein conditions. The main result of the paper is the computation of a basic 1-point Hodge integral series occurring in the tautological ring of the moduli space of nonsingular curves. In the appendix by D. Zagier, "Polynomials arising from the tautological ring", a detailed study is made of certain polynomials whose coefficients are intersection numbers on moduli space. The paper and the appendix together provide proofs of all previously conjectured formulas for 1-point integrals in the tautological ring, and of natural extensions of these formulas as well.


title: Structure and Stability of Certain Chemical Networks and Applications to the Kinetic Proofreading Model of T-Cell Receptor Signal Transduction

abstract: This paper deals with the theory of structure, stability, robustness, and stabilization for an appealing class of nonlinear systems which arises in the analysis of chemical networks. The results given here extend, but are also heavily based upon, certain previous work by Feinberg, Horn, and Jackson, of which a self-contained and streamlined exposition is included. The theoretical conclusions are illustrated through an application to the kinetic proofreading model proposed by McKeithan for T-cell receptor signal transduction. (Update includes, among other topics, remarks on extensions to certain systems with Michaelis-Menten kinetics.)


title: The resolvent for Laplace-type operators on asymptotically conic spaces

abstract: Let X be a compact manifold with boundary, and g a scattering metric on X, which may be either of short range or `gravitational' long range type. Thus, g gives X the geometric structure of a complete manifold with an asymptotically conic end. Let H be an operator of the form $H = \Delta + P$, where $\Delta$ is the Laplacian with respect to g and P is a self-adjoint first order scattering differential operator with coefficients vanishing at the boundary of X and satisfying a `gravitational' condition. We define a symbol calculus for Legendre distributions on manifolds with codimension two corners and use it to give a direct construction of the resolvent kernel of H, $R(\sigma + i0)$, for $\sigma$ on the positive real axis. In this approach, we do not use the limiting absorption principle at any stage; instead we construct a parametrix which solves the resolvent equation up to a compact error term and then use Fredholm theory to remove the error term.


title: Riemann-Roch via deformation quantization, II

abstract: We prove a Riemann-Roch formula for deformation quantization of complex manifolds and its corollary, an index theorem for elliptic pairs conjectured by Schapira and Schneiders.


title: Noncommutative differential calculus, homotopy BV algebras and formality conjectures

abstract: We define a notion of astrongly homotopy BV algebra and apply it to deformation theory problems. Formality conjectures for Hochschild and cyclic chains are formulated. We prove some partial results supporting these conjectures.


title: Quantization of Double Covers of Nilpotent Coadjoint Orbits I: Noncommutative Models

abstract: We construct by geometric methods a noncommutative model E of the algebra of regular functions on the universal (2-fold) cover M of certain nilpotent coadjoint orbits O for a complex simple Lie algebra g. Here O is the dense orbit in the cotangent bundle of the generalized flag variety X associated to a complexified Cartan decomposition g=(p^+)+k+(p^-) where p^+- are Jordan algebras by the TKK construction. We obtain E as the algebra of g-finite differential operators on a smooth Lagrangian subvariety in M where g is given by differential operators twisted according to a critical parameter. After Fourier transform, E is a quadratic extension of the algebra of twisted differential operators for a (formal) tensor power of the canonical bundle. Not only is E a Dixmier algebra for M, in the sense of the orbit method, but also E has a lot of additional structure,including an anti-automorphism, a supertrace, and a non-degenerate supersymmetric bilinear pairing. We show that E is the specialization at t=1 of a graded (non-local) equivariant star product with parity.


title: From Dixmier algebras to Star Products

abstract: Let M be a Galois cover of a nilpotent coadjoint orbit of a complex semisimple Lie group. We define the notion of a PERFECT Dixmier algebra for M and show how this produces a graded (non-local) equivariant star product on M with several very nice properties. This is part of a larger program we have been developing for working out the orbit method for nilpotent orbits.


title: Groebner Basis Procedures for Testing Petri Nets

abstract: This paper contains introductory material on Petri nets and Groebner basis theory and makes some observations on the relation between the two areas. The aim of the paper is to show how Groebner basis procedures can be applied to the problem of reachability in Petri nets, and to give details of an application to testing models of navigational systems.


title: On cocycles with values in the group SU(2)

abstract: In this paper we introduce the notion of degree for $C^1$-cocycles over irrational rotations on the circle with values in the group SU(2). It is shown that if a $C^1$-cocycle $\phi:S^1\to SU(2)$ over an irrational rotation by $\alpha$ has nonzero degree, then the skew product $S^1\times SU(2)\ni(x,g)\mapsto (x+\alpha,g\phi(x))\in S^1\times SU(2)$ is not ergodic and the group of essential values of $\phi$ is equal to the maximal Abelian subgroup of SU(2). Moreover, if $\phi$ is of class $C^2$ (with some additional assumptions) the Lebesgue component in the spectrum of the skew product has countable multiplicity. Possible values of degree are discussed, too.


title: Hamiltonian Gromov-Witten invariants

abstract: In this paper we introduce invariants of semi-free Hamiltonian actions of $S\sp 1$ on compact symplectic manifolds (which satisfy some technical conditions related to positivity) using the space of solutions to certain gauge theoretical equations. These equations generalize at the same time the vortex equations and the holomorphicity equation used in Gromov-Witten theory. In the definition of the invariants we combine ideas coming from gauge theory and the ideas underlying the construction of Gromov-Witten invariants. This paper is based on a part of my PhD Thesis (see math/9912150).


title: Special Kaehler geometry

abstract: The geometry that is defined by the scalars in couplings of Einstein-Maxwell theories in N=2 supergravity in 4 dimensions is denoted as special Kaehler geometry. There are several equivalent definitions, the most elegant ones involve the symplectic duality group. The original construction used conformal symmetry, which immediately clarifies the symplectic structure and provides a way to make connections to quaternionic geometry and Sasakian manifolds.


title: Lifts of smooth group actions to line bundles

abstract: Let X be a compact manifold with a smooth action of a compact connected Lie group G. Let $L\to X$ be a complex line bundle. Using the Cartan complex for equivariant cohomology, we give a new proof of a theorem of Hattori and Yoshida which says that the action of G lifts to L if and only if the first Chern class $c\sb 1(L)$ of L can be lifted to an integral equivariant cohomology class in $H\sp 2\sb G(X;\ZZ)$, and that the different lifts of the action are classified by the lifts of $c\sb 1(L)$ to $H\sp 2\sb G(X;\ZZ)$. As a corollary of our method of proof, we prove that, if the action is Hamiltonian and $\nabla$ is a connection on L which is unitary for some metric on L and whose curvature is G-invariant, then there is a lift of the action to a certain power $L\sp d$ (where d is independent of L) which leaves fixed the induced metric on $L^d$ and the connection $\nabla\sp{\otimes d}$. This generalises to symplectic geometry a well known result in Geometric Invariant Theory.


title: Z_2-systolic-freedom

abstract: We give the first example of systolic freedom over torsion coefficients. The phenomenon is a bit unexpected (contrary to a conjecture of Gromov's) and more delicate than systolic freedom over the integers.


title: Cyclic Cohomology and Hopf Symmetry

abstract: Cyclic cohomology has been recently adapted to the treatment of Hopf symmetry in noncommutative geometry. The resulting theory of characteristic classes for Hopf algebras and their actions on algebras allows to expand the range of applications of cyclic cohomology. It is the goal of the present paper to illustrate these recent developments, with special emphasis on the application to transverse index theory, and point towards future directions. In particular, we highlight the remarkable accord between our framework for cyclic cohomology of Hopf algebras on one hand and both the algebraic as well as the analytic theory of quantum groups on the other, manifest in the construction of the modular square.


title: Secondary Characteristic Classes and Cyclic Cohomology of Hopf Algebras

abstract: We give a construction of cyclic cocycles representing the equivariant characteristic classes of equivariant bundles. Our formulas generalize Connes' Godbillon-Vey cyclic cocycle. An essential tool of our construction is Connes-Moscovici's theory of cyclic cohomology of Hopf algebras.


title: Wavelets with the Translation Invariance Property of Order N

abstract: All wavelets can be associated to a multiresolution like structure, i.e. an incr easing sequence of subspaces of L^2(R). We consider the interaction of a wavel et and the translation operator in terms of which of the subspaces in this multi resolution like structure are invariant under the translation operator. This ac tion defines the notion of the translation invariance property of order n. In this paper we show that wavelets of all levels of translation invariance exist, first for the classic case of dilation by 2, and then for arbitrary integral di lation factors.


title: On cotriangular Hopf algebras

abstract: In 1997 we proved that any triangular semisimple Hopf algebra over an algebraically closed field k of characteristic 0 is obtained from the group algebra k[G] of a finite group G, by twisting its comultiplication by a twist in the sense of Drinfeld. In this paper, we generalize this result to not necessarily finite-dimensional cotriangular Hopf algebras. Namely, our main result says that a cotriangular Hopf algebra A over k is obtained from a function algebra of a pro-algebraic group by twisting by a Hopf 2-cocycle, and possibly changing its R-form by a central grouplike element of A^* of order <=2, IF AND ONLY IF the trace of squared antipode on any finite-dimensional subcoalgebra of A is the dimension of this subcoalgebra. This generalization, like the original theorem, is proved using Deligne's theorem on Tannakian categories. In the second half of the paper, we give examples of twisted function algebras. In particular, we show that in the infinite- dimensional case, the squared antipode may not equal the identity. On the other hand, we show that in all of our examples of twisted function algebras, the squared antipode is unipotent, and conjecture it to be the case for any twisted function algebra. We prove this conjecture in a large number of special cases, using the quantization theory of the first author and D.Kazhdan.


title: Hereditary indecomposability and the Intermediate Value Theorem

abstract: We show that hereditarily indecomposable spaces can be characterized by a special instance of the Intermediate Value Theorem in their rings of continuous functions.


title: Ideal Perturbation Lemma

abstract: We explain the essence of perturbation problems. The key to understanding is the structure of chain homotopy equivalence -- the standard one must be replaced by a finer notion which we call a strong chain homotopy equivalence. We prove an Ideal Perturbation Lemma and show how both new and classical results follow from this ideal statement.


title: Chern character for the Schwartz algebra of p-adic GL(n)

abstract: We construct a Chern character map from the K-theory of the reduced C^* algebra of the p-adic GL(n) with values in the periodic cyclic homology of the Schwartz algebra of this group. We prove that this map is an isomorphism after tensoring with C by comparing an explicit formula, stated in the algebraic case by Cuntz and Quillen, with the classical Chern character. This Chern character is a crucial ingredient in the proof of the Baum-Connes conjecture for the p-adic GL(n) due to Baum, Higson and Plymen.


title: Difference Equations Compatible with Trigonometric KZ Differential Equations

abstract: The trigonometric KZ equations associated with a Lie algebra $\g$ depend on a parameter $\lambda\in\h$ where $\h\subset\g$ is the Cartan subalgebra. We suggest a system of dynamical difference equations with respect to $\lambda$ compatible with the KZ equations. The dynamical equations are constructed in terms of intertwining operators of $\g$-modules.


title: A Third-Order Semi-Discrete Central Scheme for Conservation Laws and Convection-Diffusion Equations

abstract: We present a new third-order, semi-discrete, central method for approximating solutions to multi-dimensional systems of hyperbolic conservation laws, convection-diffusion equations, and related problems. Our method is a high-order extension of the recently proposed second-order, semi-discrete method in [16]. The method is derived independently of the specific piecewise polynomial reconstruction which is based on the previously computed cell-averages. We demonstrate our results, by focusing on the new third-order CWENO reconstruction presented in [21]. The numerical results we present, show the desired accuracy, high resolution and robustness of our method.


title: Random triangle problem: geometrical approach

abstract: Classical problem of random triangle in square is solved by simple and transparent geometrical method.


title: SL(2) and z-measures

abstract: We give a representation-theoretic proof of the formula for correlation functions of z-measures obtained by Borodin and Olshanski in math.RT/9904010. This paper is historically preceding my paper math.RT/9907127.


title: On Krammer's Representation of the Braid Group

abstract: A connection is made between the Krammer representation and the Birman-Murakami-Wenzl algebra. Inspired by a dimension argument, a basis is found for a certain irrep of the algebra, and relations which generate the matrices are found. Following a rescaling and change of parameters, the matrices are found to be identical to those of the Krammer representation. The two representations are thus the same, proving the irreducibility of one and the faithfulness of the other.


title: Cobordism of immersions of surfaces in non-orientable 3-manifolds

abstract: Some properties of non-orientable 3-manifolds are shown. The semi-group of cobordism of immersions of surfaces in such manifolds is computed and proven actually to be a group. Explicit invariants are provided.


title: A flexible error estimate for the application of centre manifold theory

abstract: In applications of centre manifold theory we need more flexible error estimates than that provided by, for example, the Approximation Theorem~3 by Carr (1981,1983). Here we extend the theory to cover the case where the order of approximation in parameters and that in dynamical variables may be completely different. This allows, for example, the effective evaluation of low-dimensional dynamical models at finite parameter values.


title: The distribution of spacings between the fractional parts of $n^2 \alpha$

abstract: We study the distribution of normalized spacings between the fractional parts of an^2, n=1,2,.... We conjecture that if a is "badly approximable" by rationals, then the sequence of fractional parts has Poisson spacings, and give a number of results towards this conjecture. We also present an example of a Diophantine number a for which the higher correlation functions of the sequence blow up.


title: On quadratic and higher normality of small codimension projective varieties

abstract: Ran proved that smooth codimension 2 varieties in ${\bf P}^{m+2}$ are $j$-normal if $(j+1)(3j-1)\le m-1$, in this paper we extend this result to small codimension projective varieties. Let $X$ be a r codimension subvariety of $\pro$, we prove that if the set $\Sigma_{(j+1)}$ of $(j+1)$-secants to $X$ through a generic external point is not empty, $2(r+1)j\leq m-r$ and $(j+1)((r+1)j-1)\leq m-1$ then $X$ is $j$-normal. If $X$ is given by the zero locus of a section of a rank $r$ vector bundle $E$ on $\pro$, we prove that $\textrm{deg} \Sigma_{j+1}=\frac{1}{(j+1)!}\prod_{i=0}^{j}c_{r}(E(-i))$. Moreover we get a new simple proof of Zak's theorem on linear normality if $m\ge 3r$. Finally we prove that if $c_{r}(N(-2))\neq 0$ and $6r\le m-4$ then $X$ is 2-normal.


title: Ergodicity of the action of the positive rationals on the group of finite adeles and the Bost-Connes phase transition theorem

abstract: For each \beta\in(0,+\infty) there exists a canonical measure \mu_\beta on the ring A_f of finite adeles. We show that the positive rationals act ergodically on (A_f,\mu_\beta) for \beta\in(0,1], and then deduce from this the uniqueness of KMS_\beta-states for the Bost-Connes system.


title: Asymptotic homomorphisms into the Calkin algebra

abstract: Let $A$ be a separable $C^*$-algebra and let $B$ be a stable $C^*$-algebra with a strictly positive element. We consider the (semi)group $\Ext^{as}(A,B)$ (resp. $\Ext(A,B)$) of homotopy classes of asymptotic (resp. of genuine) homomorphisms from $A$ to the corona algebra $M(B)/B$ and the natural map $i:\Ext(A,B)\ar\Ext^{as}(A,B)$. We show that if $A$ is a suspension then $\Ext^{as}(A,B)$ coincides with $E$-theory of Connes and Higson and the map $i$ is surjective. In particular any asymptotic homomorphism from $SA$ to $M(B)/B$ is homotopic to some genuine homomorphism.


title: Reidemeister Torsion of 3-Dimensional Euler Structures with Simple Boundary Tangency and Pseudo-Legendrian Knots

abstract: We generalize Turaev's definition of torsion invariants of pairs (M,x), where M is a 3-dimensional manifold and x is an Euler structure on M (a non-singular vector field up to homotopy relative to bM and local modifications in int(M). Namely, we allow M to have arbitrary boundary and x to have simple (convex and/or concave) tangency circles to the boundary. We prove that Turaev's H_1(M)-equivariance formula holds also in our generalized context. Our torsions apply in particular to (the exterior of) pseudo-Legendrian knots (i.e. knots transversal to a given vector field), and hence to Legendrian knots in contact 3-manifolds. We show that torsion, as an absolute invariant, contains a lifting to pseudo-Legendrian knots of the classical Alexander invariant. We also precisely analyze the information carried by torsion as a relative invariant of pseudo-Legendrian knots which are framed-isotopic. Using branched standard spines to describe vector fields we show how to explicitly invert Turaev's reconstruction map from combinatorial to smooth Euler structures, thus making the computation of torsions a more effective one. As an example we work out a specific calculation.


title: The Characteristic Length Scale of the Intermediate Structure in Zero-Pressure-Gradient Boundary Layer Flow

abstract: In a turbulent boundary layer over a smooth flat plate with zero pressure gradient, the intermediate structure between the viscous sublayer and the free stream consists of two layers: one adjacent to the viscous sublayer and one adjacent to the free stream. When the level of turbulence in the free stream is low, the boundary between the two layers is sharp and both have a self-similar structure described by Reynolds-number-dependent scaling (power) laws. This structure introduces two length scales: one --- the wall region thickness --- determined by the sharp boundary between the two intermediate layers, the second determined by the condition that the velocity distribution in the first intermediate layer be the one common to all wall-bounded flows, and in particular coincide with the scaling law previously determined for pipe flows. Using recent experimental data we determine both these length scales and show that they are close. Our results disagree with the classical model of the "wake region".


title: Absolutely singular dynamical foliations

abstract: We show that for the C^1-open set of partially hyperbolic diffeomorphisms constructed in (M. Shub and A. Wilkinson, "Pathological foliations and removable zero exponents," Invent. math. 139 (2000) 3, 495-508), Lebesgue measure on the 3-torus decomposes as atomic measure along the leaves of the central foliation.


title: Description de la structure de certaines superalg\`ebres de Lie quadratiques via la notion de $T^*$-extension

abstract: In this note we introduce the notion of $T^*-$extension $T^*{\mathfrak g}$ of a Lie superalgebra ${\mathfrak g}$, i.e. an extension of ${\mathfrak g}$ by its dual space ${\mathfrak g}^*$. The natural pairing induces on $T^*{\mathfrak g}$ an even supersymmetric nondegenerate bilinear form $B$ which is invariant ($B([X,Y],Z)=B(X,[Y,Z])$ for all $X,Y,Z \in T^*{\mathfrak g}$), i.e. the structure of a quadratic (or metrised or orthogonal) Lie superalgebra. These extensions can be classified by the third even scalar cohomology group of ${\mathfrak g}$. Moreover, we show that all finite-dimensional quadratic Lie superalgebras ${\mathfrak a}={\mathfrak a}_{\bar{0}} \oplus {\mathfrak a}_{\bar{1}}$ which are either nilpotent, or solvable and such that $[{\mathfrak a}_{\bar{1}},{\mathfrak a}_{\bar{1}}]\subset [{\mathfrak a}_{\bar{0}},{\mathfrak a}_{\bar{0}}]$ can be constructed by means of a $T^*-$extension in the case of an algebraically closed field of characteristic zero.


title: A complete bounded minimal cylinder in R^3

abstract: In 1996, Nadirashvili used Runge's theorem to produce a complete minimal disc inside a ball in R^3. In this paper we generalize the techniques used by Nadirashvili to obtain new examples of complete minimal surfaces inside a ball in R^3, with the conformal structure of an annulus.


title: Higher order scattering on asymptotically Euclidean Manifolds

abstract: We develop a scattering theory for perturbations of powers of the Laplacian on asymptotically Euclidean manifolds. The (absolute) scattering matrix is shown to be a Fourier integral operator associated to the geodesic flow at time \pi on the boundary. Furthermore, it is shown that on \Real^n the asymptotics of certain short-range perturbations of \Delta^k can be recovered from the scattering matrix at a finite number of energies.


title: A combinatorial approach to quantification of Lie algebras

abstract: We propose a notion of a quantum universal enveloping algebra for an arbitrary Lie algebra defined by generators and relations which is based on the quantum Lie operation concept. This enveloping algebra has a PBW basis that admits the Kashiwara crystalization. We describe all skew primitive elements of the quantum universal enveloping algebra for the classical nilpotent algebras of the infinite series defined by the Serre relations and prove that the set of PBW-generators for each of these enveloping algebras coincides with the Lalonde-Ram basis of the ground Lie algebra with a skew commutator in place of the Lie operation. The similar statement is valid for Hall-Shirshov basis of any Lie algebra defined by one relation, but it is not so in general case.


title: The ideal Thurston-Andreev theorem and triangulation production

abstract: This paper contains a generalization of the convex ideal case of the Thurston-Andreev theorem when the genus is greater than 1. The heart of the paper concerns taking formal angle data on a surface and ``conformally flowing'' this formal angle data to uniquely associated uniform angle data. This flow turns out to be the gradient of an objective function related in a rather magical way to hyperbolic volume.


title: On the signatures of even 4-manifolds

abstract: In this paper, we prove a number of inequalities between the signature and the Betti numbers of a 4-manifold with even intersection form. Furthermore, we introduce a new geometric group invariant and discuss some of its properties.


title: BMO, H^1, and Calderon-Zygmund operators for non doubling measures

abstract: Given a Radon measure $\mu$ on $R^d$, which may be non doubling, we introduce a space of type BMO with respect to this measure. It is shown that many properties that hold when $\mu$ is doubling remain valid for the space BMO introduced in this paper, without assuming $\mu$ doubling. For instance, Calderon-Zygmund operators which are bounded in $L^2$ are bounded from $L^\infty$ into the new BMO space. Moreover, a John-Nirenberg inequality is satisfied, and the predual of BMO is an atomic space $H^1$. Using a sharp maximal function it is proved that operators bounded from $L^\infty$ into BMO and from $H^1$ into $L^1$ are also bounded on $L^p$, $1<p<\infty$. This result gives a new proof of the T(1) theorem for the Cauchy transform with non doubling measures. Finally, a result about commutators is obtained.


title: Dual group actions on C*-algebras and their description by Hilbert extensions

abstract: Given a C*-algebra $A$, a discrete abelian group $X$ and a homomorphism $\Theta: X\to$ Out$A$ defining the dual action group $\Gamma\subset$ aut$A$, the paper contains results on existence and characterization of Hilbert $\{A,\Gamma\}$, where the action is given by $\hat{X}$. They are stated at the (abstract) C*-level and can therefore be considered as a refinement of the extension results given for von Neumann algebras for example by Jones [Mem.Am.Math.Soc. 28 Nr 237 (1980)] or Sutherland [Publ.Res.Inst.Math.Sci. 16 (1980) 135]. A Hilbert extension exists iff there is a generalized 2-cocycle. These results generalize those in [Commun.Math.Phys. 15 (1969) 173], which are formulated in the context of superselection theory, where it is assumed that the algebra $A$ has a trivial center, i.e. $Z=C1$. In particular the well-known ``outer characterization'' of the second cohomology $H^2(X,{\cal U}(Z),\alpha_X)$ can be reformulated: there is a bijection to the set of all $A$-module isomorphy classes of Hilbert extensions. Finally, a Hilbert space representation (due to Sutherland in the von Neumann case) is mentioned. The C*-norm of the Hilbert extension is expressed in terms of the norm of this representation and it is linked to the so-called regular representation appearing in superselection theory.


title: Longo-Rehren subfactors arising from $\alpha$-induction

abstract: We study (dual) Longo-Rehren subfactors $M\otimes M^{opp} \subset R$ arising from various systems of endomorphisms of M obtained from alpha-induction for some braided subfactor $N\subset M$. Our analysis provides useful tools to determine the systems of R-R morphisms associated with such Longo-Rehren subfactors, which constitute the ``quantum double'' systems in an appropriate sense. The key to our analysis is that alpha-induction produces half-braidings in the sense of Izumi, so that his general theory can be applied. Nevertheless, alpha-induced systems are in general not braided, and thus our results allow to compute the quantum doubles of (certain) systems without braiding. We illustrate our general results by several examples, including the computation of the quantum double systems for the asymptotic inclusion of the E_8 subfactor as well as its three analogues arising from conformal inclusions of SU(3)_k.


title: A Willmore functional for compact surfaces of complex projective plane

abstract: We propose the study of a conformally invariant functional for surfaces of complex projective plane which is closely related to the classical Willmore functional. We show that minimal surfaces of complex projective plane are critical for this functional and construct some minima for it via the twistors spaces of complex projective plane. Also, we find lower bounds for this functional and for its restriction to the class of Lagrangian surfaces and characterize the complex lines and the Lagrangian totally geodesic surfaces and the Whitney spheres as the only attaining those bounds.


title: Complete hyperbolic neighborhoods in almost-complex surfaces

abstract: We prove that each point in an almost-complex surface has a basis of complete hyperbolic neighborhoods. The problem is local, and therefore we can consider the case when our surface is ${\bf R^4}$ with an arbitrary almost-complex structure $J$ of class $C^{1.\alpha}$. Let $C$ be a non-singular $J$-complex curve passing through the origin. Our result cah be stated as follows: There exists a basis $\{U_j\}$ of neighborhoods of zero in ${\bf R^4}$, such that $(U_j,J)$ are complete hyperbolic in the sence of Kobayashi, moreover $(U_j\setminus C,J)$ are complete hyperbolic as well. The fact that this result remains true for any almost-complex structure is somewhat suprising. Really, given any germ of a non-singular real surface $C\ni 0$ in ${\bf R^4}$, one can easily construct an almost-complex structure $J$ in a neighborhood of zero, such that $C$ becomes a $J$-complex curve. Typical corollary is the following: Let ${\cal M}_{\omega, 5l}$ be the Banach manifold consisting of pairs $(J,\{D_j\}_{j=1}^5)$, where $J$ is any almost-complex structure on ${\bf CP^2}$ tamed by the Fubini-Studi form $\omega$ and $\{D_j\}_{j=1}^5$ the union of five $J$-complex lines in ${\bf CP^2}$ in general position. The set ${\cal H}_{\omega, 5l}$ consisting of $(J, \{D_j\}_{j=1}^5)$ with $Y=({\bf CP^2}\setminus \bigcup_{j=1}^5 D_j,J)$ hyperbolically imbedded into $({\bf CP^2}, J)$ is an open nonempty subset of ${\cal M}{\omega, 5l}$.


title: On higher order analogues of de Rham cohomology

abstract: If K is a commutative ring and A is a K-algebra, for any sequence $\sigma $ of positive integers there exists an higher order analogue dR($\sigma $) of the standard de Rham complex dR(1,...,1,...), which can also be defined starting from suitable ("differentially closed") subcategories of (A-mod). The main result of this paper is that the cohomology of dR($\sigma $) does not depend on $\sigma $, under some smoothness assumptions on the ambient category. Before proving the main theorem we give a rather detailed exposition of all relevant (to our present purposes) functors of differential calculus on commutative algebras. This part can be also of an independent interest.


title: Gerbes on complex reductive Lie groups

abstract: We construct a gerbe over a complex reductive Lie group G attached to an invariant bilinear form on a maximal diagonalizable subalgebra which is Weyl group invariant and satisfies a parity condition. By restriction to a maximal compact subgroup K, one then gets a gerbe over K. For a simply-connected group, the parity condition is the same used by Pressley and Segal; in general, it was introduced by Deligne and the author. The gerbe is defined by geometric methods, using the so-called Grothendieck manifold. It is equivariant under the conjugation action of G; its restriction to a semisimple orbit is not always trivial. The paper starts with a discussion of gerbe data (in the sense of Chatterjee and Hitchin) and of gerbes as geometric objects (sheaves of groupoids); the relation between the two approaches is presented. There is an Appendix on equivariant gerbes, discussed from both points of view.


title: Spectral Properties of Random Non-self-adjoint Matrices and Operators

abstract: We describe some numerical experiments which determine the degree of spectral instability of medium size randomly generated matrices which are far from self-adjoint. The conclusion is that the eigenvalues are likely to be intrinsically uncomputable for similar matrices of a larger size. We also describe a stochastic family of bounded operators in infinite dimensions for almost all of which the eigenvectors generate a dense linear subspace, but the eigenvalues do not determine the spectrum. Our results imply that the spectrum of the non-self-adjoint Anderson model changes suddenly as one passes to the infinite volume limit.


title: Serre-Swan theorem for non-commutative C$^{*}$-algebras

abstract: We generalize the Serre-Swan theorem to non-commutative C$^{*}$-algebras. For a Hilbert C$^{*}$-module $X$ over a C$^{*}$-algebra ${\cal A}$, we introduce a hermitian vector bundle $\exx$ associated to $X$. We show that there is a linear subspace $\Gamma_{X}$ of the space of all holomorphic sections of ${\cal E}_{X}$ and a flat connection $D$ on ${\cal E}_{X}$ with the following properties: (i) $\Gamma_{X}$ is a Hilbert ${\cal A}$-module with the action of ${\cal A}$ defined by $D$, (ii) the C$^{*}$-inner product of $\Gamma_{X}$ is induced by the hermitian metric of ${\cal E}_{X}$, (iii) ${\cal E}_{X}$ is isomorphic to an associated bundle of an infinite dimensional Hopf bundle, (iv) $\Gamma_{X}$ is isomorphic to $X$.


title: Geometry without Topology

abstract: The proper Euclidean geometry is considered to be metric space and described in terms of only metric and finite metric subspaces (sigma-immanent description). Constructing the geometry, one does not use topology and topological properties. For instance, the straight, passing through points A and B, is defined as a set of such points R that the area S(A,B,R) of the triangle ABR vanishes. The triangle area is expressed via metric by means of the Hero's formula, and the straight appears to be defined only via metric, i.e. without a reference to (topological) concept of curve. (Usually the straight is defined as the shortest curve, connecting two points A and B). Such a construction of geometry is free from constraints (continuity, dimensionality of space), generated by a use of topology, but not by geometry in itself. At such a description all information on the geometry properties (such as uniformity, isotropy, continuity and degeneracy) is contained in metric. Modifying the metric, one changes the geometry automatically. The Riemannian geometry is constructed by two different ways: (1) by conventional way on the basis of metric tensor, (2) as a result of modification of the metric in the sigma-immanent description of the proper Euclidean geometry. The two obtained geometries are compared. The convexity problem in geometry and the problem of collinerity of vectors at distant points are considered. The nonmetric definition of curve is shown to be a concept of only proper Euclidean geometry. It is inadequate to any non-Euclidean geometry.


title: Maps of surface groups to finite groups with no simple loops in the kernel

abstract: Let $F_g$ denote the closed orientable surface of genus $g$. What is the least order finite group, $G_g$, for which there is a homomorphism $\psi$ from $\pi_1(F_g)$ to $G_g$ so that no nontrivial simple closed curve on $F_g$ represents an element in Ker($\psi$)? For the torus it is easily seen that $G_1 = Z_2 \times Z_2$ suffices. We prove here that $G_2$ is a group of order 32 and that an upper bound for the order of $G_g$ is given by $g^{2g +1}$. The previously known upper bound was greater than $2^{g{2^{2g}}}$.


title: Segre varieties, CR geometry and Lie symmetries of second order PDE systems

abstract: We show that biholomorphic automorphisms of a real analytic CR manifold can be considered as (pointwise) Lie symmetries of a holomorphic second order PDE system defining its Segre family. This allows to use general methods of the geometric PDE theory in order to study the CR geometry of real analytic manifolds.


title: A Darboux theorem for Hamiltonian operators in the formal calculus of variations

abstract: We prove a Darboux theorem for formal deformations of Hamiltonian operators of hydrodynamic type (Dubrovin-Novikov). Not all deformations are equivalent to the original operator: there is a moduli 2-stack of normal forms. The paper utilizes three main concepts: 1) dg Lie algebras concentrated in degrees [-1,\infty) such as the Schouten algebra - these give a convenient language for describing deformation problems; 2) the Deligne 2-groupoid associated to such a dg Lie algebra, which represents the moduli of formal deformations; 3) a refined version of the Schouten bracket in the formal calculus of variations, due to V. O. Soloviev (hep-th/9305133).


title: Degenerate affine Hecke algebras and centralizer construction for the symmetric groups

abstract: In our recent papers the centralizer construction was applied to the series of classical Lie algebras to produce the quantum algebras called (twisted) Yangians. Here we extend this construction to the series of the symmetric groups S(n). We study the `stable' properties of the centralizers of S(n-m) in the group algebra C[S(n)] as n increases with m fixed. We construct a limit centralizer algebra A and describe its algebraic structure. The algebra A turns out to be closely related with the degenerate affine Hecke algebras. We also show that the so-called tame representations of the infinite symmetric group yield a class of natural A-modules.


title: Making non-trivially associated tensor categories from left coset representatives

abstract: The paper begins by giving an algebraic structure on a set of coset representatives for the left action of a subgroup on a group. From this we construct a non-trivially associated tensor category. Also a double construction is given, and this allows the construction of a non-trivially associated braided tensor category. In this category we explicitly reconstruct a braided Hopf algebra, whose representations comprise the category itself.


title: Nambu structures and integrable 1-forms

abstract: Some years ago Mosh\'e Flato pointed up that it could be interesting to develop the Nambu's idea to generalize Hamiltonian mechanic. An interesting new formalism in that direction was proposed by T. Takhtajan. His theory gave new perspectives concerning deformation quantization, and many authors have developed its mathematical features. The purpose of this paper is to show that this theory, at first designated to physic, gives a new point of view for the study of singularities of integrable 1-forms. Namely, we will prove that any integrable 1-form which vanishes at a point and has a non-zero linear part at this point is, up to multiplication by a non-vanishing function, the formal pull-back of a two dimensional 1-form. We also obtain a classification of quadratic integrable 1-forms.


title: Monodromy of elliptic surfaces

abstract: We study monodromy groups of elliptic fibrations over the projective line.


title: Minimal resolution of general stable vector bundles on $\PP^2$

abstract: We study the general elements of the moduli spaces (\MM_{\PP^2} (r, c_1, c_2) ) of stable holomorphic vector bundle on $\PP^2$ and their minimal free resolution. Incidentally, a quite easy proof of the irreducibility of (\MM_{\PP^2} (r, c_1, c_2)) is shown.


title: Symmetrizer and Antisymmetrizer of the Birman-Wenzl-Murakami Algebras

abstract: Explicit formulas for the symmetrizer and the antisymmetrizer of the Birman-Wenzl-Murakami algebras BWM(r,q)_n are given.


title: On Erdos's elementary method in the asymptotic theory of partitions

abstract: Let m be a positive integer, and let A be the set of all positive integers that belong to a union of r distinct congruence classes modulo m. We assume that the elements of A are relatively prime, that is, gcd(A) = 1. Let p_A(n) denote the number of partitions of n into parts belonging to A. We obtain the asymptotic formula log p_A(n) ~ \pi \sqrt(2rn/3m). The proof is based on Erdos's elementary method to obtain the asymptotic formula for the usual partition function p(n).


title: An Index of an Equivariant Vector Field and Addition Theorems for Pontrjagin Characteristic Classes

abstract: The theory of indices of Morse--Bott vector fields on a manifold is constructed and the famous localization problem for the transfer map is solved on its base in the present paper. As a consequence, we obtained addition theorems for the universal Pontrjagin characteristic classes in cobordisms. These results gave us a possibility to complete the construction, which was begun more than twenty years ago, of the universal characteristic classes' theory.


title: N-graphs, modular Sidon and sum-free sets, and partition identities

abstract: Using a new graphical representation for partitions, the author obtains a family of partition identities associated with partitions into distinct parts of an arithmetic progression, or, more generally, with partitions into distinct parts of a set that is a finite union of arithmetic progressions associated with a modular sum-free Sidon set. Partition identities are also constructed for sets associated with modular sum-free sets.


title: Generic coverings of plane with A-D-E-singularities

abstract: We generalize results of the paper math.AG/9803144, in which Chisini's conjecture on the unique reconstruction of f by the curve B is investigated. For this fibre products of generic coverings are studied. The main inequality bounding the degree of a covering in the case of existence of two nonequivalent coverings with the branch curve B is obtained. This inequality is used for the proof of the Chisini conjecture for m-canonical coverings of surfaces of general type for $m\ge 5$.


title: Enhancement of the Traveling Front Speeds in Reaction-Diffusion Equations with Advection

abstract: We establish rigorous lower bounds on the speed of traveling fronts and on the bulk burning rate in reaction-diffusion equation with passive advection. The non-linearity is assumed to be of either KPP or ignition type. We consider two main classes of flows. Percolating flows, which are characterized by the presence of long tubes of streamlines mixing hot and cold material, lead to strong speed-up of burning which is linear in the amplitude of the flow, $U$. On the other hand the cellular flows, which have closed streamlines, are shown to produce weaker increase in reaction. For such flows we get a lower bound which grows as $U^{1/5}$ for a large amplitude of the flow.

categories: math.AP cond-mat nlin.CD physics.flu-dyn


title: Conditions satisfied by characteristic polynomials in fields and division algebras

abstract: Suppose E/F is a field extension. We ask whether or not there exists an element of E whose characteristic polynomial has one or more zero coefficients in specified positions. We show that the answer is frequently ``no''. We also prove similar results for division algebras and show that the universal division algebra of degree n does not have an element of trace 0 and norm 1.


title: The structure of smooth algebras in Kapranov's framework for noncommutative geometry

abstract: In Kapranov, M. {\it Noncommutative geometry based on commutator expansions,} J. reine angew. Math {\bf 505} (1998) 73-118, a theory of noncommutative algebraic varieties was proposed. Here we prove a structure theorem for the noncommutative coordinate rings of affine open subsets of such of those varieties which are smooth (Theorem 3.4). The theorem describes the local ring of a point as a truncation of a quantization of the enveloping Poisson algebra of a smooth commutative local algebra. An explicit descripition of this quantization is given in Theorem 2.5. A description of the $A$- module structure of the Poisson envelope of a smooth commutative algebra $A$ was given in loc. cit., Theorem 4.1.3. However the proof given in loc. cit. has a gap. We fix this gap for $A$ local (Theorem 1.4) and prove a weaker global result (Theorem 1.6).


title: Towards a combinatorial Intersection Cohomology for Fans

abstract: The real intersection cohomology of a toric variety is described in a purely combinatorial way using methods of elementary commutative algebra only. We define, for arbitrary fans, the notion of a ``minimal extension sheaf'' on the fan as an axiomatic characterization of the equivariant intersection cohomology sheaf. This provides a purely algebraic interpretation of Stanley's generalized f- and g-vector of an arbitrary polytope or complete fan under a natural vanishing condition. -- The results presented in this note originate from joint work with G.Barthel, J.-P.Brasselet and L.Kaup, continuing earlier research (see math.AG/9904159). A detailed exposition will appear elsewhere (see math.AG/0002181).


title: Counting integral matrices with a given characteristic polynomial

abstract: We give a simpler proof of an earlier result giving an asymptotic estimate for the number of integral matrices, in large balls, with a given monic integral irreducible polynomial as their common characteristic polynomial. The proof uses equidistributions of polynomial trajectories on SL(n,R)/SL(n,Z), which is a generalization of Ratner's theorem on equidistributions of unipotent trajectories. We also compute the exact constants appearing in the above mentioned asymptotic estimate.


title: Homotopy Algebras for Operads

abstract: We present a definition of homotopy algebra for an operad, and explore its consequences. The paper should be accessible to topologists, category theorists, and anyone acquainted with operads. After a review of operads and monoidal categories, the definition of homotopy algebra is given. Specifically, suppose that M is a monoidal category in which it makes sense to talk about algebras for some operad P. Then our definition says what a homotopy P-algebra in M is, provided only that some of the morphisms in M have been marked out as `homotopy equivalences'. The bulk of the paper consists of examples of homotopy algebras. We show that any loop space is a homotopy monoid, and, in fact, that any n-fold loop space is an n-fold homotopy monoid in an appropriate sense. We try to compare weakened algebraic structures such as A_infinity-spaces, A_infinity-algebras and non-strict monoidal categories to our homotopy algebras, with varying degrees of success. We also prove results on `change of base', e.g. that the classifying space of a homotopy monoidal category is a homotopy topological monoid. Finally, we reflect on the advantages and disadvantages of our definition, and on how the definition really ought to be replaced by a more subtle infinity-categorical version.