title: Twisted traces of intertwiners for Kac-Moody algebras and classical dynamical r-matrices corresponding to generalized Belavin-Drinfeld triples

abstract: In early eighties, Belavin and Drinfeld showed that nonskewsymmetric classical r-matrices for simple Lie algebras are classified by combinatorial objects which are now called Belavin-Drinfeld triples. Later the second author of the present paper generalized this result to the case of dynamical r-matrices, and showed that they correspond to generalized Belavin-Drinfeld triples. The dynamical r-matrix corresponding a triple is given by a certain explicit formula, which works for any symmetrizable Kac-Moody algebra. In special cases, this formula gives the Felder and the Belavin r-matrix. In 1994, Felder associated with every dynamical r-matrix a system of differential equations called the KZB equations. In the case of the Felder and Belavin r-matrix, solutions of these equations are known to have a representation theoretical presentation, as conformal blocks (i.e. traces of products of intertwining operators between representations of Lie algebras). In this paper, we propose such a presentation for ANY dynamical r-matrix given by the second author's formula. In particular, the paper sheds light on the Belavin-Drinfeld classical r-matrices of 1984. This paper begins a series of papers. In the next paper, joint with T.Schedler, we will give an explicit quantization of the dynamical r-matrices for simple Lie algebras (in particular, Belavin-Drinfeld r-matrices), which has been an open problem for a number of years. In another paper, we plan to generalize the results of the present paper to quantum groups. This should yield quantum KZB equations which involve quantum R-matrices obtained by quantizing the classical r-matrices that appear in this paper.


title: Energy Functions in Box Ball Systems

abstract: The box ball system is studied in the crystal theory formulation. New conserved quantities and the phase shift of the soliton scattering are obtained by considering the energy function (or $H$-function) in the combinatorial $R$-matrix.


title: Knot concordance, Whitney towers and L^2 signatures

abstract: We construct many examples of non-slice knots in 3-space that cannot be distinguished from slice knots by previously known invariants. Using Whitney towers in place of embedded disks, we define a geometric filtration of the 3-dimensional topological knot concordance group. The bottom part of the filtration exhibits all classical concordance invariants, including the Casson-Gordon invariants. As a first step, we construct an infinite sequence of new obstructions that vanish on slice knots. These take values in the L-theory of skew fields associated to certain {\em universal} groups. Finally, we use the dimension theory of von Neumann algebras to define an L^2 signature and use this to detect the first unknown step in our obstruction theory.


title: On Gaps under GCH Type Assumptions

abstract: The results of the previous version are impoved. This basically completes the study of consistency strength of various gaps between a strong limit singular cardinal of cofinality omega and its power under GCH type assumptions below.


title: Hilbert bimodules with involution

abstract: We examine Hilbert bimodules which possess a (generally unbounded) involution. Topics considered include a linking algebra representation, duality, locality, and the role of these bimodules in noncommutative differential geometry.


title: Menger (Nobeling) manifolds versus Hilbert cube (space) manifolds - a categorical comparison

abstract: We show that the n-homotopy category of connected (n+1)-dimensional Menger manifolds is isomorphic to the homotopy category of connected Hilbert cube manifolds whose k-dimensional homotopy groups are trivial for each k > n.


title: Traces of Subharmonic Functions to Fractal Sets

abstract: We study traces of a class of subharmonic functions to Ahlfors regular subsets of $\Co^{n}$. In particular, we establish for the traces a generalized BMO-property and the reverse H\"{o}lder inequality.


title: Limit Cycles and the Distribution of Zeros of Families of Analytic Functions

abstract: We estimate the expected number of limit cycles situated in a neighbourhood of the origin of a planar polynomial vector field. Our main tool is a distributional inequality for the number of zeros of some families of univariate holomorphic functions depending analytically on a parameter. We obtain this inequality by methods of Pluripotential Theory. This inequality also implies versions of a strong law of large numbers and the central limit theorem for a probabilistic scheme associated with the distribution of zeros.


title: Inversion relations, reciprocity and polyominoes

abstract: We derive self-reciprocity properties for a number of polyomino generating functions, including several families of column-convex polygons, three-choice polygons and staircase polygons with a staircase hole. In so doing, we establish a connection between the reciprocity results known to combinatorialists and the inversion relations used by physicists to solve models in statistical mechanics. For several classes of convex polygons, the inversion (reciprocity) relation, augmented by certain symmetry and analyticity properties, completely determines the anisotropic perimeter generating function.


title: An $A_5$ Galois action on a class of elliptic dessins d'enfants

abstract: Until now, only examples of solvable Galois actions on classes of dessins d'enfants have been explicitly constructed. In this paper, an action of the nonsolvable alternating group $A_5$, represented as a Galois group on a class of dessins is presented.


title: Blowup and Fixed Points

abstract: Blowing up a point p in a manifold M builds a new manifold M' in which p is replaced by the projectivization of the tangent space of M at p. This well-known operation also applies to fixed points of diffeomorphisms, yielding continuous homomorphisms between automorphism groups of M and M'. The construction for maps involves a loss of regularity and is not unique at the lowest order of differentiability. Fixed point sets and other aspects of blownup dynamics at the singular locus are described in terms of derivative data; continuous data are not sufficient to determine much about these issues.


title: Integrals on Hopf algebras and Application to Representation Theory of Quantum Groups of Type $A_{0|0}$

abstract: In this work we study some properties of comldules over (non-cosemisimple) Hopf algebras possessing integrals, which are also called co-Frobenius Hopf algebras. We apply the result obtained to the classification of representations of quantum groups of type $A_{0|0}$.


title: Transfinite iteration functionals and ordinal arithmetic

abstract: We investigate the relationship between (countable) transfinite iteration and ordinal arithmetic. The nice connection between finite iteration and addition, multiplication, and exponentiation is lost when passing to the transfinite. In this note, we investigate a new equivalence relation on ordinal functionals with respect to which we restore the connection.


title: On $C^*$-algebras related to asymptotic homomorphisms

abstract: We study the $C^*$-algebras related to Mishchenko's version of asymptotic homomorphisms. In particular we show that their different versions are weakly homotopy equivalent but not isomorphic to each other. We give also the continuous version for these algebras.


title: Hypergeometric reproducing kernels and analytic continuation from a half-line

abstract: Indefinite inner product spaces of entire functions and functions analytic inside a disk are considered and their completeness studied. Spaces induced by the rotation invariant reproducing kernels in the form of the generalized hypergeometric function are completely characterized. A particular space generated by the modified Bessel function kernel is utilized to derive an analytic continuation formula for functions on $R^+$ using the best approximation theorem of S. Saitoh. As a by-product several new area integrals involving Bessel functions are explicitly evaluated


title: A straightening algorithm for row-convex tableaux

abstract: We produce a new basis for the Schur and Weyl modules associated to a row-convex shape, D. The basis is indexed by new class of "straight" tableaux which we introduce by weakening the usual requirements for standard tableaux. Spanning is proved via a new straightening algorithm for expanding elements of the representation into this basis. For skew shapes, this algorithm specializes to the classical straightening law. The new straight basis is used to produce bases for flagged Schur and Weyl modules, to provide Groebner and sagbi bases for the homogeneous coordinate rings of some configuration varieties and to produce a flagged branching rule for row-convex representations. Systematic use of supersymmetric letterplace techniques enables the representation theoretic results to be applied to representations of the general linear Lie superalgebra as well as to the general linear group.


title: Umbral presentations for polynomial sequences

abstract: Using random variables as motivation, this paper presents an exposition of the formalisms developed by Rota and Taylor for the classical umbral calculus. A variety of examples are presented, culminating in several descriptions of sequences of binomial type in terms of umbral polynomials.


title: The Jensen envelope is plurisubharmonic on all manifolds

abstract: The Jensen envelope $J\phi$ of an upper semicontinuous function $\phi$ on a complex manifold X is defined at $x\in X$ as the infimum of $\mu(\phi)$ over all Jensen measures $\mu$ centred at x. The Poisson envelope $P\phi$ is defined by using only the boundary measures of analytic discs centred at x. One of the main open problems in the theory of disc functionals is whether the Poisson envelope is plurisubharmonic on an arbitrary manifold. This is equivalent to the two envelopes being equal, so plurisubharmonicity of $J\phi$ is a necessary condition for $P\phi$ to be plurisubharmonic. We prove that the Jensen envelope is plurisubharmonic, with no assumptions on the manifold X. Hence $J\phi$ is the largest plurisubharmonic function smaller than $\phi$. We also show that the Poisson envelope is plurisubharmonic if and only if boundary measures of analytic discs are dense among Jensen measures.


title: Almost invariant submanifolds for compact group actions

abstract: We define a C^1 distance between submanifolds of a riemannian manifold M and show that, if a compact submanifold N is not moved too much under the isometric action of a compact group G, there is a G-invariant submanifold C^1-close to N. The proof involves a procedure of averaging nearby submanifolds of riemannian manifolds in a symmetric way. The procedure combines averaging techniques of Cartan, Grove/Karcher, and de la Harpe/Karoubi with Whitney's idea of realizing submanifolds as zeros of sections of extended normal bundles.


title: A method for computing quadratic Brunovsky forms

abstract: In this paper, for continuous, linearly-controllable quadratic control systems with a single input, an explicit, constructive method is proposed for studying their Brunovsky forms, initially studied in [W. Kang and A. J. Krener, Extended quadratic controller normal form and dynamic state feedback linearization of nonlinear systems, SIAM Journal on Control and Optimization, 30:1319-1337, 1992]. In this approach, the computation of Brunovsky forms and transformation matrices and the proof of their existence and uniqueness are carried out simultaneously. In addition, it is shown that quadratic transformations in the aforementioned paper can be simplified to prevent multiplicity in Brunovsky forms. This method is extended for studying discrete quadratic systems. Finally, computation algorithms for both continuous and discrete systems are summarized, and examples demonstrated.


title: Bundle gerbes: stable isomorphism and local theory

abstract: We consider the notion of stable isomorphism of bundle gerbes. It has the consequence that the stable isomorphism classes of bundle gerbes over a manifold M are in bijective correspondence with H^3(M, Z). Stable isomorphism sheds light on the local theory of bundle gerbes and enables us to develop a classifying theory for bundle gerbes using results of Gajer on BC^x bundles.


title: On the spectrum of a finite-volume negatively-curved manifold

abstract: We show that a noncompact manifold with bounded sectional curvature, whose ends are sufficiently Gromov-Hausdorff close to rays, has a finite dimensional space of square-integrable harmonic forms. In the special case of a finite-volume manifold with pinched negative sectional curvature, we show that the essential spectrum of the p-form Laplacian is the union of the essential spectra of a collection of ordinary differential operators associated to the ends. We give examples of such manifolds with curvature pinched arbitrarily close to -1 and with an infinite number of gaps in the spectrum of the function Laplacian.


title: Reciprocity Theorems for Holomorphic Representations of Some Infinite-Dimensional Groups

abstract: In this article we prove several reciprocity theorems for some infinite-dimensional dual pairs of representations on Bargmann-Segal-Fock spaces.


title: Toric varieties and modular forms

abstract: Let $N\subset \RR^{r}$ be a lattice, and let $\deg\colon N \to \CC$ be a piecewise-linear function that is linear on the cones of a complete rational polyhedral fan. Under certain conditions on $\deg$, the data $(N,\deg)$ determines a function $f\colon {\HHH}\to \CC$ that is a holomorphic modular form of weight $r$ for the congruence subgroup $\Gamma_{1} (l) $. Moreover, by considering all possible pairs $(N ,\deg)$, we obtain a natural subring ${\TTT} (l)$ of modular forms with respect to $\Gamma_{1} (l) $. We construct an explicit set of generators for $\TTT (l)$, and show that ${\TTT} (l)$ is stable under the action of the Hecke operators. Finally, we relate ${\TTT} (l)$ to the Hirzebruch elliptic genera that are modular with respect to $\Gamma_{1} (l) $.


title: Poincar\'{e}'s Proof of the so-called Birkhoff-Witt Theorem

abstract: A methodical analysis of the research related to the article, ``Sur les groupes continus'', of Henri Poincar\'{e} reveals many historical misconceptions and inaccuracies regarding his contribution to Lie theory. A thorough reading of this article confirms the precedence of his discovery of many important concepts, especially that of the \textit{universal enveloping algebra} of a Lie algebra over a field of characteristic zero, the \textit{% canonical map} (\textit{symmetrization}) of the symmetric algebra onto the universal enveloping algebra. The essential part of this article consists of a detailed discussion of his rigorous, complete, and enlightening proof of the so-called Birkhoff-Witt theorem.


title: A note on the q-derivative operator

abstract: We prove a formula for the nth power of the q-derivative operator at x=0 for every function whose nth derivative at x=0 exists. We give a proof in both the real variable and the complex variable case.


title: The search for differential equations for orthogonal polynomials by using computers

abstract: We look for spectral type differential equations for the generalized Jacobi polynomials found by T.H. Koornwinder in 1984 and for the Sobolev-Laguerre polynomials. We introduce a method which makes use of computeralgebra packages like Maple and Mathematica and we will give some preliminary results.


title: The search for differential equations for certain sets of orthogonal polynomials

abstract: We look for spectral type differential equations for the generalized Jacobi polynomials and for the Sobolev-Laguerre polynomials. We use a method involving computeralgebra packages like Maple and Mathematica and we will give some preliminary results.


title: Differential equations for symmetric generalized ultraspherical polynomials

abstract: We look for differential equations satisfied by the generalized Jacobi polynomials which are orthogonal on the interval [-1,1] with respect to the classical weight function for the Jacobi polynomials together with point masses at both endpoints. In the special symmetric case that both parameters are equal and also the two point masses are equal we find all differential equations of spectral type satisfied by these symmetric generalized ultraspherical polynomials. We show that if the point masses are positive only for nonnegative integer values of the parameter there exists exactly one differential equation of spectral type which is of finite order. By using quadratic transformations we also obtain differential equations for some related sets of generalized Jacobi polynomials. In these cases we find finite order differential equations even though one of the parameters is not equal to an integer.


title: On a difference equation for generalizations of Charlier polynomials

abstract: In this paper we obtain a set of polynomials which are orthogonal with respect to the classical discrete weight function of the Charlier polynomials at which an extra point mass at x=0 is added. We construct a difference operator of infinite order for which these new discrete orthogonal polynomials are eigenfunctions.


title: On differential equations for Sobolev-type Laguerre polynomials

abstract: We obtain all spectral type differential equations satisfied by the Sobolev-type Laguerre polynomials. This generalizes the results found in 1990 by the first and second author in the case of the generalized Laguerre polynomials defined by T.H. Koornwinder in 1984.


title: Inversion methods for finding differential equations for generalized Jacobi polynomials

abstract: We look for differential equations satisfied by the generalized Jacobi polynomials which are orthogonal on the interval [-1,1] with respect to a weight function consisting of the classical Jacobi weight function together with point masses at the endpoints of the interval of orthogonality. In order to find explicit formulas for the coefficients of these differential equations we have to solve systems of equations involving derivatives of the classical Jacobi polynomials. We show that these systems of equations have a unique solution which is given explicitly. This is a consequence of the Jacobi inversion formula which is proved in this report.


title: Finding differential equations for symmetric generalized ultraspherical polynomials by using inversion methods

abstract: We find all spectral type differential equations satisfied by the symmetric generalized ultraspherical polynomials which are orthogonal on the interval [-1,1] with respect to the classical symmetric weight function for the Jacobi polynomials together with equal mass points at both ends of the interval of orthogonality. In order to find explicit formulas for the coefficients of these differential equations we have to solve systems of equations involving derivatives of the classical Jacobi polynomials. These systems of equations have a unique solution which is given explicitly. This is a consequence of the Jacobi inversion formula.


title: The Jacobi inversion formula

abstract: We look for spectral type differential equations satisfied by the generalized Jacobi polynomials which are orthogonal on the interval [-1,1] with respect to a weight function consisting of the classical Jacobi weight function together with point masses at the endpoints of the interval of orthogonality. In order to find explicit formulas for the coefficients of these differential equations we have to solve systems of equations involving derivatives of the classical Jacobi polynomials. These systems of equations have a unique solution which can be given explicitly in terms of Jacobi polynomials. This is a consequence of the Jacobi inversion formula which is proved in this paper.


title: On the Geometry of Graeffe Iteration

abstract: A new version of the Graeffe algorithm for finding all the roots of univariate complex polynomials is proposed. It is obtained from the classical algorithm by a process analogous to renormalization of dynamical systems. This iteration is called Renormalized Graeffe Iteration. It is globally convergent, with probability 1. All quantities involved in the computation are bounded, once the initial polynomial is given (with probability 1). This implies remarkable stability properties for the new algorithm, thus overcoming known limitations of the classical Graeffe algorithm. If we start with a degree-$d$ polynomial, each renormalized Graeffe iteration costs $O(d^2)$ arithmetic operations, with memory $O(d)$. A probabilistic global complexity bound is given. The case of univariate real polynomials is briefly discussed. A numerical implementation of the algorithm presented herein allowed us to solve random polynomials of degree up to 1000.


title: Tangent Graeffe Iteration

abstract: Graeffe iteration was the choice algorithm for solving univariate polynomials in the XIX-th and early XX-th century. In this paper, a new variation of Graeffe iteration is given, suitable to IEEE floating-point arithmetics of modern digital computers. We prove that under a certain generic assumption the proposed algorithm converges. We also estimate the error after N iterations and the running cost. The main ideas from which this algorithm is built are: classical Graeffe iteration and Newton Diagrams, changes of scale (renormalization), and replacement of a difference technique by a differentiation one. The algorithm was implemented successfully and a number of numerical experiments are displayed.


title: Factorization of formal exponentials and uniformization

abstract: Let $\mathfrak{g}$ be a Lie algebra in characteristic zero equipped with a vector space decomposition $\mathfrak{g}=\mathfrak{g}^-\oplus \mathfrak{g}^+$, and let $s$ and $t$ be commuting formal variables. We prove that the Campbell-Baker-Hausdorff map $C:s\mathfrak{g}^- [[s,t]]\times t\mathfrak{g}^+[[s,t]]\to s\mathfrak{g}^-[[s,t]]\oplus t\mathfrak{g}^+[[s,t]]$ given by $e^{sg^-}e^{tg^+}=e^{C(sg^-,tg^+)}$ for $g^\pm\in\mathfrak{g}^\pm[[s,t]]$ is a bijection, as is well known when $\mathfrak{g}$ is finite-dimensional over $\mathbb{R}$ or $\mathbb{C}$, by geometry. It follows that there exist unique $\Psi^\pm\in\mathfrak{g}^\pm[[s,t]]$ such that $e^{tg^+}e^{sg^-}= e^{s\Psi^-}e^{t\Psi^+}$ (also well known in the finite-dimensional geometric setting). We apply this to $\mathfrak{g}$ consisting of certain formal infinite series with coefficients in a Lie algebra $\mathfrak{p}$. For $\mathfrak{p}$ the Virasoro algebra (resp., a Grassmann envelope of the Neveu-Schwarz superalgebra), the result was first proved by Huang (resp., Barron) as a step in the construction of a (super)geometric formulation of the notion of vertex operator (super)algebra. For the Virasoro (resp., N=1 Neveu-Schwarz) algebra with zero central charge the result gives the precise expansion of the uniformizing function for a sphere (resp., supersphere) with tubes resulting from the sewing of two spheres (resp., superspheres) with tubes in two-dimensional genus-zero holomorphic conformal (resp., N = 1 superconformal) field theory. The general result places such uniformization problems into a broad formal algebraic context.


title: Coverings of curves with asymptotically many rational points

abstract: The number A(q) is the upper limit of the ratio of the maximum number of points of a curve defined over $\Fq$ to the genus. By constructing class field towers with good parameters we present improvements of lower bounds of A(q) for q an odd power of a prime.


title: Parabolic Kazhdan-Lusztig polynomials and Schubert varieties

abstract: We shall give a description of the intersection cohomology groups of the Schubert varieties in partial flag manifolds over symmetrizable Kac-Moody Lie algebras in terms of parabolic Kazhdan-Lusztig polynomials introduced by Deodhar.


title: Best approximation in the mean by analytic and harmonic functions

abstract: We consider the problem of finding the best harmonic or analytic approximant to a given function. We discuss when the best approximant is unique, and what regularity properties the best approximant inherits from the original function. All our approximations are done in the mean with respect to Lebesgue measure in the plane or higher dimensions.


title: Soliton equations in 2+1 dimensions and Differential geometry of curves/surfaces

abstract: A connection between differential geometry and soliton equations is discussed


title: Geometric Diffeomorphism Finiteness in Low Dimensions and Homotopy Group Finiteness

abstract: Our main result asserts that for any given numbers C and D the class of simply connected closed smooth manifolds of dimension m<7 which admit a Riemannian metric with sectional curvature bounded in absolute value by C and diameter uniformly bounded from above by D contains only finitely many diffeomorphism types. Thus in these dimensions the lower positive bound on volume in Cheeger's Finiteness Theorem can be replaced by a purely topological condition, simply-connectedness. In dimension 4 instead of simply-connectedness here only non-vanishing of the Euler characteristic has to be required. As a topological corollary we obtain that for k+l<7 there are over a given smooth closed l-manifold only finitely many principal $T^k$ bundles with simply connected and non-diffeomorphic total spaces. Furthermore, for any given numbers C and D and any dimension m it is shown that for each natural number i there are up to isomorphism always only finitely many possibilities for the i-th homotopy group of a simply connected closed m-manifold which admits a metric with sectional curvature bounded in absolute value by C and diameter bounded from above by D.


title: A non-reflexive Whitehead group

abstract: We prove that it is consistent that there is a non-reflexive Whitehead group, in fact one whose dual group is free. We also prove that it is consistent that there is a group A such that Ext(A,Z) is torsion and Hom(A,Z)=0. As an application we show the consistency of the existence of new co-Moore spaces.


title: Rigid aleph_epsilon-saturated models of superstable theories

abstract: In a countable superstable NDOP theory, the existence of a rigid aleph_epsilon-saturated model implies the existence of 2^lambda rigid aleph_epsilon-saturated models of power lambda for every lambda>2^{aleph_0}.


title: On the existence of large subsets of [lambda]^{<kappa} which contain no unbounded non-stationary subsets

abstract: Here we deal with some problems posed by Matet. The first section deals with the existence of stationary subsets of [lambda]^{<kappa} with no unbounded subsets which are not stationary, where, of course, kappa is regular uncountable less or equal than lambda. In the second section we deal with the existence of such clubs. The proofs are easy but the result seems to be very surprising. Theorem 1.2 was proved some time ago by Baumgartner and is presented here for the sake of completeness.


title: On the number of L_{infty,omega_1}-equivalent non-isomorphic models

abstract: We prove that if ZF is consistent then ZFC+GCH is consistent with the following statement: There is for every k<omega a model of cardinality aleph_1 which is L_{infty,omega_1}-equivalent to exactly k non-isomorphic models of cardinality aleph_1. In order to get this result we introduce ladder systems and colourings different from the ``standard'' counterparts, and prove the following purely combinatorial result: For each prime number p and positive integer m it is consistent with ZFC+GCH that there is a ``good'' ladder system having exactly p^m pairwise nonequivalent colourings.


title: Transformations of discrete isothermic nets and discrete cmc-1 surfaces in hyperbolic space

abstract: Using a quaternionic calculus, the Christoffel, Darboux, Goursat, and spectral transformations for discrete isothermic nets are described, with their interrelations. The Darboux and spectral transformations are used to define discrete analogs for cmc-1 surfaces in hyperbolic space and to obtain a discrete version of Bryant's Weierstrass type representation.


title: Differential equations for generalized Jacobi polynomials

abstract: We look for spectral type differential equations satisfied by the generalized Jacobi polynomials, which are orthogonal on the interval [-1,1] with respect to a weight function consisting of the classical Jacobi weight function together with two point masses at the endpoints of the interval of orthogonality. We show that such a differential equation is uniquely determined and we give explicit representations for the coefficients. In case of nonzero mass points the order of this differential equation is infinite, except for nonnegative integer values of (one of) the parameters. Otherwise, the finite order is explictly given in terms of the parameters.


title: Inversion formulas involving orthogonal polynomials and some of their applications

abstract: We derive inversion formulas involving orthogonal polynomials which can be used to find coefficients of differential equations satisfied by certain generalizations of the classical orthogonal polynomials. As an example we consider special symmetric generalizations of the Hermite polynomials.


title: The geometry of the Toda equation

abstract: I show that solutions of the SU(infinity) Toda field equation generating a fixed Einstein-Weyl space are governed by a linear equation on the Einstein-Weyl space. From this, obstructions to the existence of Toda solutions generating a given Einstein-Weyl space are found. I also give a classification of Einstein-Weyl spaces arising from the Toda equation in more than one way. This classification coincides with a class of spaces found by Ward and hence clarifies some of their properties. I end by discussing the simplest examples.


title: Quantum Teichm\"uller space

abstract: We describe explicitly a noncommutative deformation of the *-algebra of functions on the Teichm\"uller space of Riemann surfaces with holes equivariant w.r.t. the mapping class group action.


title: On the cobordism classification of manifolds with Z/p-action

abstract: We refer to an action of the group Z/p (p here is an odd prime) on a stably complex manifold as simple if all its fixed submanifolds have the trivial normal bundle. The important particular case of a simple action is an action with only isolated fixed points. The problem of cobordism classification of manifolds with simple action of Z/p was posed by V.M.Buchstaber and S.P.Novikov in 1971. The analogous question of cobordism classification with stricter conditions on Z/p-action was answered by Conner and Floyd. Namely, Conner and Floyd solved the problem in the case of simple actions with identical sets of weights (eigenvalues of the differential of the map corresponding to the generator of Z/p) for all fixed submanifolds of same dimension. However, the general setting of the problem remained unsolved and is the subject of our present paper. We have obtained the description of the set of cobordism classes of stably complex manifolds with simple Z/p-action both in terms of the coefficients of universal formal group law and in terms of the characteristic numbers, which gives the complete solution to the above problem. In particular, this gives a purely cohomological obstruction to the existence of a simple Z/p-action (or an action with isolated fixed points) on a manifold. We also review connections with the Conner-Floyd results and with the well-known Stong-Hattori theorem.


title: Compactifying the space of stable maps

abstract: We define two equivalent notions of twisted stable map from a curve to a Deligne-Mumford stack with projective moduli space, and we prove that twisted stable maps of fixed degree form a complete Deligne-Mumford stack with projective moduli space.


title: Topology of the Maximal Ideal Space of $H^{\infty}$

abstract: We study the structure of the maximal ideal space $M(H^{\infty})$ of the algebra $H^{\infty}=H^{\infty}(\Di)$ of bounded analytic functions defined on the open unit disk $\Di\subset\Co$. Based on the fact that $dim\ M(H^{\infty})=2$ we prove for $H^{\infty}$ the matrix-valued corona theorem. Our results heavily rely on the topological construction describing maximal ideal spaces of certain algebras of continuous functions defined on the covering spaces of compact manifolds.


title: Hamiltonsche Bahnen ohne Zerspaltungseigenschaft. Die Loesung einer Aufgabe von M. G. Krein

abstract: There are constructed linear Hamiltonian (dynamical) systems such that their no nonzero trajectory has usual asymptotical dichotomy property. In particular there is solved (in the negative) one of the so-called M. G. Krein problem. In fact Definition: Let J be period-2 unitary operator and U be linear operator. If U^*JU = UJU^* = J then U is said to be J-unitary. KREIN Problem: given a J-unitary operator U, does there exist an U-invariant subspace L, say, with r(U|L)\leq1 ? In the special case that the operator U^*U-I is compact this problem was solved in the positive by M.G.Krein in 1964. We shall show that, by contrast, in the general case such a subspace L needs not exist. Moreover, there asserts Theorem: For every real c>0 there exists some J-unitary operator U such that (i) if L is some nonzero U-invariant subspace, then r(U|L)>c; (ii) if L' is some nonzero U^{-1}-invariant subspace, then r(U^{-1}|L')>c; This result applies both to the real space case and to the complex space case. In addition, one can assume that U is linear symplectic automorphism. A similar result is obtained for the case of continuous 'dynamic' and for the question: does there exist a nonzero quasistable manifold?


title: Finding Large Monochromatic Diameter Two Subgraphs

abstract: Given a coloring of the edges of the complete graph on n vertices in k colors, by considering the neighbors of an arbitrary vertex it follows that there is a monochromatic diameter two subgraph on at least 1+(n-1)/k vertices. We show that for $k \ge 3$ this is asymptotically best possible, and that for k=2 there is always a monochromatic diameter two subgraph on at least $\lceil {3 \over 4} n \rceil$ vertices, which again, is best possible.


title: A categorification of the Jones polynomial

abstract: We construct a bigraded cohomology theory of links whose Euler characteristic is the Jones polynomial.


title: Positivity in equivariant Schubert calculus

abstract: We prove a conjecture of Dale Peterson on positivity in the multiplication in the T-equivariant cohomology of the flag variety. The theorem follows from a more general positivity result about the equivariant cohomology of varieties with actions of a solvable group with finitely many orbits. This more general result is an equivariant version of a theorem of Kumar and Nori.


title: Discontinuous groups in positive characteristic and automorphisms of Mumford curves

abstract: A Mumford curve of genus g (>1) over a non-archimedean valued field k of positive characteristic has at most max{12(g-1), 2 g^(1/2) (g^(1/2)+1)^2} automorphisms. This bound is sharp in the sense that there exist Mumford curves of arbitrary high genus that attain it (they are fibre products of suitable Artin-Schreier curves). The proof provides (via its action on the Bruhat-Tits tree) a classification of discontinuous subgroups of PGL(2,k) that are normalizers of Schottky groups of Mumford curves with more than 12(g-1) automorphisms. As an application, it is shown that all automorphisms of the moduli space of rank-2 Drinfeld modules with principal level structure preserve the cusps.


title: P-adic Schwarzian triangle groups of Mumford type

abstract: In this article we discuss a certain p-adic analogue of classical Schwarzian triangle groups, an analogue which is related to Mumford's uniformization of p-adic analytic curves. p-adic Schwarzian triangle groups are defined to be the Galois groups of analytic coverings over projective line with precisely 3 branch points. We say that a p-adic triangle group is of Mumford type if the corresponding universal covering is given by a certain locally compact analytic subspace in projective line, related to Mumford's uniformization. The main theorem provides a complete classification of p-adic triangle groups of Mumford type; our list of these groups contains some of the arithmetic p-adic triangle groups which are discussed by Yves Andre. Notably, we deduce that p-adic triangle groups of Mumford type exist only if p=2,3,5.


title: The 2-primary class group of certain hyperelliptic curves

abstract: Let G be the separable Galois group of a finite field F of characteristic p, and X/F an imaginary hyperelliptic curve such that G acts transitively on its set W(X) of Weierstrass points. The existence of a G-invariant 2-torsion point on the Jacobian J(X) of X depends only on the parity of |W(X)|, but for large enough |F|, there exist two such curves X and X' with |W(X)|=|W(X')|, such that J(X) has (and J(X') does not have) a G-invariant 4-torsion point. The problem is equivalent to a study of the 2-,4- and 8-rank of the class number of the maximal order in the function field of such curves, and is investigated via the 2-primary class field tower. Contrary to the case of number fields, the ambiguous class depends on the discriminant, and a governing field for the 8-rank of such function fields is not known.


title: Exponential sums on A^n

abstract: We discuss exponential sums on affine space from the point of view of Dwork's p-adic cohomology theory


title: Phase Transitions on Nonamenable Graphs

abstract: We survey known results about phase transitions in various models of statistical physics when the underlying space is a nonamenable graph. Most attention is devoted to transitive graphs and trees.


title: Structures de contact en dimension trois et bifurcations des feuilletages de surfaces

abstract: The main purpose of this article is to classify contact structures on some 3-manifolds, namely lens spaces, most torus bundles over a circle, the solid torus, and the thickened torus T^2 x [0,1]. This classification completes earlier work (by Etnyre [math.DG/9812065], Eliashberg, Kanda, Makar-Limanov, and the author) and results from the combination of two techniques: surgery, which produces many contact structures, and tomography, which allows one to analyse a contact structure given a priori and to create from it a combinatorial image. The surgery methods are based on a theorem of Y. Eliashberg -- revisited by R. Gompf [math.GT/9803019] -- and produces holomorphically fillable contact structures on closed manifolds. Tomography theory, developed in parts 2 and 3, draws on notions introduced by the author and yields a small number of possible models for contact structures on each of the manifolds listed above.


title: Realisations of Quantum GL_p,q(2) and Jordanian GL_h,h'(2)

abstract: The quantum group GL_p,q(2) is known to be related to the Jordanian GL_h,h'(2) via a contraction procedure. It can also be realised using the generators of the Hopf algebra G_r,s. We contract the G_r,s quantum group to obtain its Jordanian analogue G_m,k, which provides a realisation of GL_h,h'(2) in a manner similar to the q-deformed case.


title: L^2 cohomology of hyperk\"ahler quotients

abstract: A result of Jost and Zuo is used to show that for a large class of finite-dimensional hyperk\"ahler quotients, the only L2 harmonic forms lie in the middle dimension, and are of type (k,k) with respect to all complex structures. The argument is extended to some moduli spaces which appear as infinite-dimensional quotients such as Higgs bundle and SU(2) monopole moduli spaces. In the latter case we recover some of the S-duality predictions of Sen.


title: Exploring Surfaces through Methods from the Theory of Integrable Systems. lectures on the Bonnet problem

abstract: A generic surface in Euclidean 3-space is determined uniquely by its metric and curvature. Classification of all special surfaces where this is not the case, i.e. of surfaces possessing isometries which preserve the mean curvature, is known as the Bonnet problem. Regarding the Bonnet problem, we show how analytic methods of the theory of integrable systems -- such as finite-gap integration, isomonodromic deformation, and loop group description -- can be applied for studying global properties of special surfaces. This paper presents the contents of the lectures given at the School on Differential Geometry on 12-30 April 1999 at the Abdus Salam International Centre for Theoretical Physics (ICTP), Trieste.

categories: math.DG math-ph math.MP nlin.SI solv-int


title: Classical dynamical r-matrices and homogeneous Poisson structures on $G/H$ and $K/T$

abstract: Let G be a finite dimensional simple complex group equipped with the standard Poisson Lie group structure. We show that all G-homogeneous (holomorphic) Poisson structures on $G/H$, where $H \subset G$ is a Cartan subgroup, come from solutions to the Classical Dynamical Yang-Baxter equations which are classified by Etingof and Varchenko. A similar result holds for the maximal compact subgroup K, and we get a family of K-homogeneous Poisson structures on $K/T$, where $T = K \cap H$ is a maximal torus of K. This family exhausts all K-homogeneous Poisson structures on $K/T$ up to isomorphisms. We study some Poisson geometrical properties of members of this family such as their symplectic leaves, their modular classes, and the moment maps for the T-action.


title: On the variety of Lagrangian subalgebras

abstract: We study Lagrangian subalgebras of a semisimple Lie algebra with respect to the imaginary part of the Killing form. We show that the variety $\Lagr$ of Lagrangian subalgebras carries a natural Poisson structure $\Pi$. We determine the irreducible components of $\Lagr$, and we show that each irreducible component is a smooth fiber bundle over a generalized flag variety, and that the fiber is the product of the real points of a De Concini-Procesi compactification and a compact homogeneous space. We study some properties of the Poisson structure $\Pi$ and show that it contains many interesting Poisson submanifolds.


title: High Accuracy Method for Integral Equations with Discontinuous Kernels

abstract: A new highly accurate numerical approximation scheme based on a Gauss type Clenshaw-Curtis Quadrature for Fredholm integral equations of the second kind, whose kernel is either discontinuous or not smooth along the main diagonal, is presented. This scheme is of spectral accuracy when the kernel is infinitely differentiable away from the main diagonal, and is also applicable when the kernel is singular along the boundary, and at isolated points on the main diagonal. The corresponding composite rule is described. Application to integro-differential Schroedinger equations with non-local potentials is given.


title: The regular representation, Zhu's $A(V)$-theory and induced modules

abstract: The regular representation is related to Zhu's $A(V)$-theory and an induced module from an $A(V)$-module to a $V$-module is defined in terms of the regular representation. As an application, a new proof of Frenkel and Zhu's fusion rule theorem is obtained.


title: Topology of algebraic varieties

abstract: Let Y be a normal crossing divisor in the smooth projective algebraic variety X (defined over ${\mathbb C}$) and let U be a tubular neighbourhood of Y in X. We construct homological cycles generating $H_*(A,B)$, where (A,B) is one of the following pairs $(Y,\emptyset)$, (X,Y), (X,X-Y), $(X-Y,\emptyset)$ and $(\partial U,\emptyset)$. The construction is compatible with the weights in $H_*(A,B,{\mathbb Q})$ of Deligne's mixed Hodge structure.


title: Exponential sums on A^n, II

abstract: We prove a vanishing theorem for the p-adic cohomology of exponential sums on affine space. In particular, we obtain new classes of exponential sums on affine space that have a single nonvanishing p-adic cohomology group. The dimension of this cohomology group equals a sum of Milnor numbers.


title: On a Toeplitz determinant identity of Borodin and Okounkov

abstract: The authors of the title proved an elegant identity expressing a Toeplitz determinant in terms of the Fredholm determinant of an infinite matrix which (although not described as such) is the product of two Hankel matrices. The proof used combinatorial theory, in particular a theorem of Gessel expressing a Toeplitz determinant as a sum over partitions of products of Schur functions. The purpose of this note is to give two other proofs of the identity. The first uses an identity of the second author for the quotient of Toeplitz determinants in which the same product of Hankel matrices appears and the second, which is more direct and extends the identity to the case of block Toeplitz determinants, consists of carrying the first author's collaborative proof of the strong Szeg\"o limit theorem one step further.


title: Perturbation of the equilibrium for a totally asymmetric stick process in one dimension

abstract: We study the evolution of a small perturbation of the equilibrium of a totally asymmetric one-dimensional interacting system. The model we take as example is Hammersley's process as seen from a tagged particle, which can be viewed as a process of interacting positive-valued stick heights on the sites of Z. It is known that under Euler scaling (space and time scale n) the empirical stick profile obeys the Burgers equation. We refine this result in two ways: If the process starts close enough to equilibrium, then over times n^\nu for 1\le\nu<3, and up to errors that vanish in hydrodynamic scale, the dynamics merely translates the initial stick configuration. A time evolution for the perturbation is visible under a particular family of scalings: over times n^\nu, 1<\nu<3/2, a perturbation of order n^(1-\nu) from equilibrium follows the inviscid Burgers equation. The results for the stick model are derived from asymptotic results for tagged particles in Hammersley's process.


title: Analysis of a Class of Strange Attractors

abstract: This work contains the results from a comprehensive study of a new class of attractors. The attractors in this class are characterized by strong local instability, but they are not uniformly hyperbolic. Rigorous results on their dynamical, geometric and statistical properties are presented.


title: On relations of invariants for vector-valued forms

abstract: An algorithm is given for computing explicit formulas for the generators of relations among the invariant rational functions for vector-valued bilinear forms. These formulas have applications in the geometry of Riemannian submanifolds and in CR geometry.


title: Universal R-matrix formalism for the spin Calogero-Moser system and its difference counterpart

abstract: The expression of the quantum Ruijsenaars-Schneider Hamiltonian is obtained in the framework of the dynamical $R$-matrix formalism. This generalizes to the case of $U_q(sl_n)$ the result obtained by O. Babelon, D. Bernard and E. Billey for $U_q(sl_2)$ which is the higher difference Lame operator. The general method involved is the universal $R$-matrix construction.


title: Topological Mirror Symmetry

abstract: This paper focuses on a topological version on the Strominger-Yau-Zaslow mirror symmetry conjecture. Roughly put, the SYZ conjecture suggests that mirror pairs of Calabi-Yau manifolds are related by the existence of dual special Lagrangian torus fibrations. We explore this conjecture without reference to the special Lagrangian condition. In this setting, natural questions include: does there exist a nice class of T^3-fibrations for which the dual fibration can be constructed? Do such fibrations exist on a manifold such as the quintic threefold? If so, is the dual fibration the mirror? We answer these questions affirmatively. We introduce a class of topological T^3-fibrations for which duals can be constructed, including over the singular fibres. We then construct such a fibration on the quintic threefold, and show that by applying this general dualizing construction to this particular case, one obtains the mirror quintic. Thus we have constructed the mirror quintic topologically with no a priori knowledge of the mirror. This shows that in a non-degenerate (and representative) case, the Strominger-Yau-Zaslow conjecture correctly explains mirror symmetry.


title: Factorization of piecewise constant matrix functions and systems of linear differential equations

abstract: Let G be a piecewise constant $n\times n$ matrix function which is defined on a smooth closed curve $\Gamma$ in the complex sphere and which has m jumps. We consider the problem of determining the partial indices of the factorization of the matrix function G in the space $L^p(\Gamma)$. We show that this problem can be reduced to a certain problem for systems of linear differential equations. Studying this related problem, we obtain some results for the partial indices for general n and m. A complete answer is given for n=2, m=4 and for n=m=3. One has to distinguish several cases. In some of these cases, the partial indices can be determined explicitly. In the remaining cases, one is led to two possibilities for the partial indices. The problem of deciding which is the correct possibility is equivalent to the description of the monodromy of n-th order linear Fuchsian differential equations with m singular points.


title: The codimension one homology of a complete manifold with nonnegative Ricci curvature

abstract: In this paper we prove that a complete noncompact manifold with nonnegative Ricci curvature has a trivial codimension one homology unless it is a split or flat normal bundle over a compact totally geodesic submanifold. In particular, we prove the conjecture that a complete noncompact manifold with positive Ricci curvature has a trivial codimension one integer homology. We also have a corollary stating when the codimension two integer homology of such a manifold is torsion free.


title: Exponential sums on A^n, III

abstract: We give two applications of our earlier work "Exponential sums on A^n, II" (math.AG/9909009). We compute the p-adic cohomology of certain exponential sums on A^n involving a polynomial whose homogeneous component of highest degree defines a projective hypersurface with at worst weighted homogeneous isolated singularities. This study was motivated by recent work of Garcia (Exponential sums and singular hypersurfaces, Manuscripta Math., v. 97 (1998), pp. 45-58). We also compute the p-adic cohomology of certain exponential sums on A^n whose degree is divisible by the characteristic.


title: Permutations avoiding a set of patterns from S_3 and a pattern from S_4

abstract: In this paper we calculate the cardinality of the set S_n(T,tau) of all permutations in S_n that avoid one pattern from S_4 and a nonempty set of patterns from S_3.


title: Subgroups of the Mapping Class Group and Quadruple Points of Regular Homotopies

abstract: Let F be a closed orientable surface. If i,i':F \to R^3 are two regularly homotopic generic immersions, then it has been shown in [N] that all generic regular homotopies between i and i' have the same number mod 2 of quadruple points. We denote this number by Q(i,i') \in Z/2. We show that for any generic immersion i:F\to R^3 and any diffeomorphism h:F\to F such that i and i\circ h are regularly homotopic, Q(i,i\circ h) = (rank(h_*-Id) + (n+1)e(h)) mod 2, where h_* is the map induced by h on H_1(F,Z/2), n is the genus of F and e(h) is 0 or 1 according to whether h is orientation preserving or reversing, respectively.


title: Pluricanonical systems of projective varieties of general type

abstract: We prove that there exists a positive integer $\nu_{n}$ depending only on $n$ such that for every smooth projective $n$-fold of general type $X$ defined over {\bf C}, $\mid mK_{X}\mid$ gives a birational rational map from $X$ into a projective space for every $m\geq \nu_{n}$. This theorem gives an affirmative answer to Severi's conjecture. The key ingredients of the proof are the theory of AZD which was originated by the aurhor and the subadjunction formula for AZD's of logcanoncial divisors.


title: Combinatorial $L^2$-determinants

abstract: We show that the zeta function of a regular graph admits a representation as a quotient of a determinant over a $L^2$-determinant of the combinatorial Laplacian.


title: Harmonic Analysis on the quotient $\Q^\times\ltimes\Q\bs\A^1\ltimes \A$

abstract: Let $G$ be the semidirect product $\A^1\ltimes \A$ of the adeles and the norm 1 ideles. Let $\Ga$ be the discrete subgroup $\Q^\times\ltimes\Q$. In this paper the trace formula for this setting is established and used to give the complete decomposition of the $G$-representation on $L^2(\Ga\bs G)$. It turns out that every character of the norm-1 idele class group gives a one dimensional isotype and the complement of those consists of one irreducible representation.


title: Model category structures on chain complexes of sheaves

abstract: In this paper, we try to realize the unbounded derived category of an abelian category as the homotopy category of a Quillen model structure on the category of unbounded chain complexes. We construct such a model structure based on injective resolutions for an arbitrary Grothendieck category, as has apparently also been done by Morel. In particular, this works for sheaves on a ringed space, and for quasi-coherent sheaves on a quasi-compact, quasi-separated scheme. However, this injective model structure is not well suited to studying the derived tensor product, so we investigate other model structures. The most successful of these is the flat model structure on complexes of sheaves over a ringed space. This is based on flat resolutions, and is compatible with the tensor product. As a corollary, we get model categories of differential graded algebras of sheaves and differential graded modules over a given differential graded algebra of sheaves. This is the author's first attempt to understand sheaves, so comments from those more experienced with the subject are welcome.


title: A q-analogue of convolution on the line

abstract: In this paper we study a q-analogue of the convolution product on the line in detail. A convolution product on the braided line was defined algebraically by Kempf and Majid. We adapt their definition in order to give an analytic definition for the q-convolution and we study convergence extensively. Since the braided line is commutative as an algebra, all results can be viewed both as results in classical q-analysis and in braided algebra. We define various classes of functions on which the convolution is well-defined and we show that they are algebras under the defined product. One particularly nice family of algebras, a decreasing chain depending on a parameter running through (0,1], turns out to have 1/2 as the critical parameter value above which the algebras are commutative. Morerover, the commutative algebras in this family are precisely the algebras in which each function is determined by its q-moments. We also treat the relationship between q-convolution and q-Fourier transform. Finally, in the Appendix, we show an equivalence between the existence of an analytic continuation of a function defined on a q-lattice, and the behaviour of its q-derivatives.


title: Towards a characterisation of Pfaffian graphs

abstract: A bipartite graph G is known to be Pfaffian if and only if it does not contain an even subdivision H of $K_{3,3}$ such that $G - VH$ contains a 1-factor. However a general characterisation of Pfaffian graphs in terms of forbidden subgraphs is currently not known. In this paper we describe a possible approach to the derivation of such a characterisation. We also extend the characterisation for bipartite graphs to a slightly more general class of graphs.


title: Planar algebras, I

abstract: We introduce a notion of planar algebra, the simplest example of which is a vector space of tensors, closed under planar contractions. A planar algebra with suitable positivity properties produces a finite index subfactor of a II_1 factor, and vice versa.


title: Lefschetz Coincidence Theory for Maps Between Spaces of Different Dimensions

abstract: For a given pair of maps f,g:X->M from an arbitrary topological space to an n-manifold, the Lefschetz homomorphism is a certain graded homomorphism L:H(X)->H(M) of degree (-n). We prove a Lefschetz-type coincidence theorem: if the Lefschetz homomorphism is nontrivial then there is an x in X such that f(x)=g(x).


title: Unfoldable cardinals and the GCH

abstract: Introducing unfoldable cardinals last year, Andres Villaveces ingeniously extended the notion of weak compactness to a larger context, thereby producing a large cardinal notion, unfoldability, with some of the feel and flavor of weak compactness but with a greater consistency strength. Specifically, kappa is theta-unfoldable when for any transitive structure M of size kappa that contains kappa as an element, there is an elementary embedding j:M-->N with critical point kappa for which j(kappa) is at least theta. Define that kappa is fully unfoldable, then, when it is theta-unfoldable for every theta. In this paper I show that the embeddings associated with these unfoldable cardinals are amenable to some of the same lifting techniques that apply to weakly compact embeddings, augmented with methods from the strong cardinal context. Using these techniques, I show by set-forcing over any model of ZFC that any given unfoldable cardinal kappa can be made indestructible by the forcing to add any number of Cohen subsets to kappa. This result contradicts expectations to the contrary that class forcing would be required.


title: Grothendieck Categories

abstract: The general theory of Grothendieck categories is presented. We systemize the principle methods and results of the theory, showing how these results can be used for studying rings and modules.


title: The Scaling Window of the 2-SAT Transition

abstract: We consider the random 2-satisfiability problem, in which each instance is a formula that is the conjunction of m clauses of the form (x or y), chosen uniformly at random from among all 2-clauses on n Boolean variables and their negations. As m and n tend to infinity in the ratio m/n --> alpha, the problem is known to have a phase transition at alpha_c = 1, below which the probability that the formula is satisfiable tends to one and above which it tends to zero. We determine the finite-size scaling about this transition, namely the scaling of the maximal window W(n,delta) = (alpha_-(n,delta),alpha_+(n,delta)) such that the probability of satisfiability is greater than 1-delta for alpha < alpha_- and is less than delta for alpha > alpha_+. We show that W(n,delta)=(1-Theta(n^{-1/3}),1+Theta(n^{-1/3})), where the constants implicit in Theta depend on delta. We also determine the rates at which the probability of satisfiability approaches one and zero at the boundaries of the window. Namely, for m=(1+epsilon)n, where epsilon may depend on n as long as |epsilon| is sufficiently small and |epsilon|*n^(1/3) is sufficiently large, we show that the probability of satisfiability decays like exp(-Theta(n*epsilon^3)) above the window, and goes to one like 1-Theta(1/(n*|epsilon|^3)) below the window. We prove these results by defining an order parameter for the transition and establishing its scaling behavior in n both inside and outside the window. Using this order parameter, we prove that the 2-SAT phase transition is continuous with an order parameter critical exponent of 1. We also determine the values of two other critical exponents, showing that the exponents of 2-SAT are identical to those of the random graph.


title: An x-ray estimate in $R^n$

abstract: We prove an x-ray estimate in general dimension which is stronger than the Kakeya estimates of Wolff. This generalizes an x-ray estimate in three dimensions which is also due to Wolff.


title: Repetitive Delone Sets and Quasicrystals

abstract: This paper considers the problem of characterizing the simplest discrete point sets that are aperiodic, using invariants based on topological dynamics. A Delone set whose patch-counting function N(T), for radius T, is finite for all T is called repetitive if there is a function M(T) such that every ball of radius M(T)+T contains a copy of each kind of patch of radius T that occurs in the set. This is equivalent to the minimality of an associated topological dynamical system with R^n-action. There is a lower bound for M(T) in terms of N(T), namely N(T) = O(M(T)^n), but no general upper bound. The complexity of a repetitive Delone set can be measured by the growth rate of its repetitivity function M(T). For example, M(T) is bounded if and only if the set is a crystal. A set is called is linearly repetitive if M(T) = O(T) and densely repetitive if M(T) = O(N(T))^{1/n}). We show that linearly repetitive sets and densely repetitive sets have strict uniform patch frequencies, i.e. the associated topological dynamical system is strictly ergodic. It follows that such sets are diffractive. In the reverse direction, we construct a repetitive Delone set in R^n which has M(T) = O(T(log T)^{2/n}(log log log T)^{4/n}), but does not have uniform patch frequencies. Aperiodic linearly repetitive sets have many claims to be the simplest class of aperiodic sets, and we propose considering them as a notion of "perfectly ordered quasicrystal".


title: Weight bases of Gelfand-Tsetlin type for representations of classical Lie algebras

abstract: This paper completes a series devoted to explicit constructions of finite-dimensional irreducible representations of the classical Lie algebras. Here the case of odd orthogonal Lie algebras (of type B) is considered (two previous papers dealt with C and D types). A weight basis for each representation of the Lie algebra o(2n+1) is constructed. The basis vectors are parametrized by Gelfand--Tsetlin-type patterns. Explicit formulas for the matrix elements of generators of o(2n+1) in this basis are given. The construction is based on the representation theory of the Yangians. A similar approach is applied to the A type case where the well-known formulas due to Gelfand and Tsetlin are reproduced.


title: The indices of log canonical singularities

abstract: Let $(P\in X,\Delta)$ be a three dimensional log canonical pair such that $\Delta$ has only standard coefficients and $P$ is a center of log canonical singularities for $(X,\Delta)$. Then we get an effective bound of the indices of these pairs and actually determine all the possible indices. Furthermore, under certain assumptions including the log Minimal Model Program, an effective bound is also obtained in dimension $n\geq 4$.


title: Quantum matrix ball: the Bergman kernel

abstract: In our preprint q-alg/9703005 q-analogues of bounded symmetric domains were defined to be homogeneous spaces of the associated quantum groups. The investigation of a simplest among those domains, the quantum matrix ball, was started in math.QA/9803110. This work presents a construction of q-analogues for Hardy-Bergman spaces of 'functions in those balls', together with an explicit form of the Bergman kernel. Besides that, two auxiliary results are also established: a boundedness of matrix balls is proved, and de Rham complexes of differential forms with finite coefficients in those balls are constructed.


title: Kummer Covers with Many Points

abstract: We give a method for constructing Kummer covers with many points over finite fields.


title: The number of rhombus tilings of a symmetric hexagon which contain a fixed rhombus on the symmetry axis, II

abstract: We compute the number of rhombus tilings of a hexagon with side lengths N,M,N,N,M,N, with N and M having the same parity, which contain a particular rhombus next to the center of the hexagon. The special case N=M of one of our results solves a problem posed by Propp. In the proofs, Hankel determinants featuring Bernoulli numbers play an important role.


title: Intertwining operator superalgebras and vertex tensor categories for superconformal algebras, I

abstract: This is Part I of a series of papers constructing intertwining operator superalgebras and vertex tensor categories associated to the superconformal minimal models and other related models. In this paper, we construct the intertwining operator superalgebras and vertex tensor categories in the N=1 case.


title: Isomorphisms of function modules, and generalized approximation in modulus

abstract: For a function algebra A we investigate relations between the following three topics: isomorphisms of singly generated A-modules, Morita equivalence bimodules, and `real harmonic functions' with respect to A. We also consider certain groups which are naturally associated with A. We illustrate the notions considered with several examples.


title: Multipliers of operator spaces, and the injective envelope

abstract: We study the injective envelope I(X) of an operator space X, showing amongst other things that it is a self-dual C$^*-$module. We describe the diagonal corners of the injective envelope of the canonical operator system associated with X. We prove that if X is an operator $A-B$-bimodule, then A and B can be represented completely contractively as subalgebras of these corners. Thus, the operator algebras that can act on X are determined by these corners of I(X) and consequently bimodules actions on X extend naturally to actions on I(X). These results give another characterization of the multiplier algebra of an operator space, which was introduced by the first author, and a short proof of a recent characterization of operator modules, and a related result. As another application, we extend Wittstock's module map extension theorem, by showing that an operator $A-B$-bimodule is injective as an operator $A-B$-bimodule if and only if it is injective as an operator space.


title: Volume and Area Renormalizations for Conformally Compact Einstein Metrics

abstract: This article describes some geometric invariants and conformal anomalies for conformally compact Einstein manifolds and their minimal submanifolds which have recently been discovered via the Anti-de Sitter/Conformal Field Theory correspondence.


title: L(R) absoluteness under proper forcings

abstract: We isolate a new large cardinal concept, "remarkability." Consistencywise, remarkable cardinals are between ineffable and omega-Erdos cardinals. They are characterized by the existence of "0^sharp-like" embeddings; however, they relativize down to L. It turns out that the existence of a remarkable cardinal is equiconsistent with L(R) absoluteness under proper forcings. In particular, said absoluteness does not imply Pi^1_1 determinacy.


title: A generalization of the q-Saalschutz sum and the Burge transform

abstract: A generalization of the q-(Pfaff)-Saalschutz summation formula is proved. This implies a generalization of the Burge transform, resulting in an additional dimension of the ``Burge tree''. Limiting cases of our summation formula imply the (higher-level) Bailey lemma, provide a new decomposition of the q-multinomial coefficients, and can be used to prove the Lepowsky and Primc formula for the A_1^{(1)} string functions.


title: Inhomogeneous Multiparameter Jordanian Quantum Groups by Contraction

abstract: It is known that the inhomogeneous quantum group IGL_{q,r}(2) can be constructed as a quotient of the multiparameter q-deformation of GL(3). We show that a similar result holds for the inhomogeneous Jordanian deformation and exhibit its Hopf structure.


title: Multiplicative maps on ideals of operators which are local automorphisms

abstract: We present the following reflexivity-like result concerning the automorphism group of the $C^*$-algebra B(H), H being a separable Hilbert space. Let $\phi:B(H)\to B(H)$ be a multiplicative map (no linearity or continuity is assumed) which can be approximated at every point by automorphisms of B(H) (these automorphisms may, of course, depend on the point) in the operator norm. Then $\phi$ is an automorphism of the algebra B(H).


title: A reflexivity problem concerning the $C^*$-algebra $C(X)\otimes B(H)$

abstract: Let X be a compact Hausdorff space and let H be a separable Hilbert space. We prove that the group of all order automorphisms of the $C^*$-algebra $C(X)\otimes B(H)$ is algebraically reflexive.


title: Some multiplicative preservers on $BH)$

abstract: In this paper we describe the form of those continuous multiplicative maps on B(H) (H being a separable complex Hilbert space of dimension not less than 3) which preserve the rank, or the corank. Furthermore, we characterize those continuous *-semigroup endomorphisms of B(H) which are spectrum non-increasing.


title: A generalization of Wigner's unitary-antiunitary theorem to Hilbert modules

abstract: Let H be a Hilbert $C^*$-module over a matrix algebra A. It is proved that any function $T:H\to H$ which preserves the absolute value of the (generalized) inner product is of the form $Tf=\phi(f)Uf$ $(f\in H)$, where $\phi$ is a phase-function and U is an A-linear isometry. The result gives a natural extension of Wigner's classical unitary-antiunitary theorem for Hilbert modules.


title: Vassiliev invariants and rational knots of unknotting number one

abstract: Introducing a way to modify knots using $n$-trivial rational tangles, we show that knots with given values of Vassiliev invariants of bounded degree can have arbitrary unknotting number (extending a recent result of Ohyama, Taniyama and Yamada). The same result is shown for 4-genera and finite reductions of the homology group of the double branched cover. Closer consideration is given to rational knots, where it is shown that the number of $n$-trivial rational knots of at most $k$ crossings is for any $n$ asymptotically at least $C^{(\ln k)^2}$ for any $C<\sqrt[2\ln 2]{e}$.


title: Interactive forces

abstract: This short article is devoted to the dynamics of controlled (and, therefore, open) systems. The internal forces, which appear only in the presence of external free controls and depend explicitely on them, are considered. Such interactive forces may be regarded as feedbacks generated in the system by the external free controls. In particular, one is able to interpret the interactive controls as couplings of free controls with the action of interactive forces; such dynamical approach to the interactive systems often simplifies their analysis and allows to perform their synthesis on a systematic level. The field theoretic counterparts of interactive forces, the fields of interactive forces, are also considered.


title: Hyperelliptic jacobians without complex multiplication

abstract: We prove that the jacobian of a hyperelliptic curve y^2=f(x) has no nontrivial endomorphisms over an algebraic closure of the ground field of characteristic zero if the Galois group of the polynomial f is ``very big''.


title: Change of base in Bailey pairs

abstract: Versions of Bailey's lemma which change the base from q to q^2 or q^3 are given. Iterates of these versions give many new versions of multisum Rogers-Ramanujan identities. We also prove Melzer's conjectures for the Fermionic forms of the supersymmetric analogues of Virasoro characters.


title: Measuring the magnitude of sums of independent random variables

abstract: This paper considers how to measure the magnitude of the sum of independent random variables in several ways. We give a formula for the tail distribution for sequences that satisfy the so called Levy property. We then give a connection between the tail distribution and the pth moment, and between the pth moment and the rearrangement invariant norms.


title: Rationality of unitary N=2 vertex operator superalgebras

abstract: In this note we prove that the vertex operator superalgebras associated to the unitary representations of the N=2 superconformal algebra are rational.


title: Bethe Equation at q=0, M\"obius Inversion Formula, and Weight Multiplicities: I. sl(2) case

abstract: The U_q(\hat{sl}(2)) Bethe equation is studied at q=0. A linear congruence equation is proposed related to the string solutions. The number of its off-diagonal solutions is expressed in terms of an explicit combinatorial formula and coincides with the weight multiplicities of the quantum space.

categories: math.QA cond-mat.stat-mech nlin.SI solv-int


title: A Note on Wetting Transition for Gradient Fields

abstract: We prove existence of a wetting transition for two types of gradient fields: 1) Continuous SOS models in any dimension and 2) Massless Gaussian model in two dimensions. Combined with a recent result showing the absence of such a transition for Gaussian models above two dimensions by Bolthausen et al, this shows in particular that absolute-value and quadratic interactions can give rise to completely different behaviors.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Geometric Representation Theory of Restricted Lie Algebras of Classical Type

abstract: We modify the Hochschild $\phi$-map to construct central extensions of a restricted Lie algebra. Such central extension gives rise to a group scheme which leads to a geometric construction of unrestricted representations. For a classical semisimple Lie algebra, we construct equivariant line bundles whose global sections afford representations with a nilpotent p-character.


title: Weyl's character formula for non-connected Lie groups and orbital theory for twisted affine Lie algebras

abstract: We generalize I. Frenkel's orbital theory for non twisted affine Lie algebras to the case of twisted affine Lie algebras using a character formula for certain non-connected compact Lie groups.


title: A new formulation of the near-equilibrium theory of turbulence

abstract: We present a status report on a discrete approach to the the near-equilibrium statistical theory of three-dimensional turbulence, which generalizes earlier work by no longer requiring that the vorticity field be a union of discrete vortex filaments. The idea is to take a special limit of a dense lattice vortex system, in a way that brings out a connection between turbulence and critical phenomena. The approach produces statistics with basic features of turbulence, in particular intermittency and coherent structures. The numerical calculations have not yet been brought to convergence, and at present the results are only qualitative.


title: Dirac eigenvalues and total scalar curvature

abstract: It has recently been conjectured that the eigenvalues $\lambda$ of the Dirac operator on a closed Riemannian spin manifold $M$ of dimension $n\ge 3$ can be estimated from below by the total scalar curvature: $$ \lambda^2 \ge \frac{n}{4(n-1)} \cdot \frac{\int_M S}{vol(M)}. $$ We show by example that such an estimate is impossible.


abstract: Title: Indecomposable Higher Chow Cycles on Low Dimensional Jacobians Authors: Alberto Collino Comments: AMS-TeX, 10 pages Subj-class: Algebraic Geometry MSC-class: 14C30 ;19E15 There is a basic indecomposable higher cycle K in Bloch's higher Chow group CH^{g}(J(C),1) on the Jacobian J(C) of a general hyperelliptic curve C of genus g. Consider K(t) the translation of K associated with a point t in C, we prove that in general K - K(t) is indecomposable if the genus is at least 3. Our tool is Lewis' condition for indecomposability. We show next that on the jacobian J(C) of a general curve C of genus 3 there is a geometrically natural family of higher cycles, when C becomes hyperelliptic the family in the limit contains a component of indecomposable cycles of type K - K(t).


title: The Links-Gould Invariant

abstract: The ``Links-Gould invariant'' is a two-variable Laurent polynomial invariant of oriented (1,1) tangles, which is derived from the representation of the braid generator associated with the one-parameter family of four dimensional representations with highest weights (0,0|a) of the quantum superalgebra U_q[gl(2|1)]. We use an abstract tensor state model to evaluate the invariant, as per the construction of the bracket polynomial state model used by Louis Kauffman to derive the Jones polynomial. This model facilitates both computation and theoretical exploration. Our family of representations has a two-variable quantum R matrix (unique up to orthogonal transformations). Choosing this R matrix to yield the representation of the braid generator ensures that our polynomial invariant will also have two variables. We construct this R matrix from first principles. We have evaluated the invariant for several critical link examples and numerous other links of special forms. Throughout, the assistance of Mathematica has been invoked. We observe that the Links-Gould invariant is distinct from the two-variable HOMFLY polynomial in that it detects the chirality of some links where the HOMFLY fails. Notably, it does not distinguish inverses, which is not surprising as we are able to demonstrate that no invariant of this type should be able to distinguish between inverses. It also does not distinguish between mutants.


title: Construction of completely integrable systems by Poisson mappings

abstract: Pulling back sets of functions in involution by Poisson mappings and adding Casimir functions during the process allows to construct completely integrable systems. Some examples are investigated in detail.


title: Braidings of Poisson groups with quasitriangular dual (Tressages des groupes de Poisson \`a dual quasitriangulaire)

abstract: Let g be a quasitriangular Lie bialgebra over a field k of characteristic zero, and let g^* be its dual Lie bialgebra. We prove that the formal Poisson group F[[g^*]] is a braided Hopf algebra. More generally, we prove that if (U_h,R) is any quasitriangular QUEA, then (U_h', Ad(R)|_{U_h' \otimes U_h'}) --- where U_h' is defined by Drinfeld --- is a braided QFSHA. The first result is then just a consequence of the existence of a quasitriangular quantization (U_h,R) of U(g) and of the fact that U_h' is a quantization of F[[g^*]]. ----- Soit g une big\`ebre de Lie quasitriangulaire sur un corps k de characteristique zero, et soit g^* sa big\`ebre de Lie duale. Nous prouvons que le groupe de Poisson formel F[[g^*]] est une algebre de Hopf tress\'ee. Plus en g\'en\'eral, nous prouvons que, si (U_h,R) est une QUEA quasitriangulaire, alors (U_h', Ad(R)|_{U_h' \otimes U_h'}) --- o\`u U_h' est definie par Drinfeld --- est une QFSHA tress\'ee. Le premier r\'esultat est alors une consequence de l'existence d'une quantification quasitriangulaire (U_h,R) de U(g) et du fait que U_h' est une quantification de F[[g^*]].


title: Endpoint bilinear restriction theorems for the cone, and some sharp null form estimates

abstract: Recently Wolff obtained a nearly sharp $L^2$ bilinear restriction theorem for bounded subsets of the cone in general dimension. We obtain the endpoint of Wolff's estimate and generalize to the case when one of the subsets is large. As a consequence, we are able to deduce some nearly-sharp $L^p$ null form estimates.


title: Two-parametric deformation $U_{p,q}[gl(2/1)]$ and its induced representations

abstract: The two-parametric quantum superalgebra $U_{p,q}[gl(2/1)]$ is consistently defined. A construction procedure for induced representations of $U_{p,q}[gl(2/1)]$ is described and allows us to construct explicitly all (typical and nontypical) finite-dimensional representations of this quantum superalgebra. In spite of some specific features, the present approach is similar to a previously developed method [1] which, as shown here, is applicable not only to the one-parametric quantum deformations but also to the multi-parametric ones.


title: Combinatorial R matrices for a family of crystals : C^{(1)}_n and A^{(2)}_{2n-1} cases

abstract: The combinatorial R matrices are obtained for a family {B_l} of crystals for U'_q(C^{(1)}_n) and U'_q(A^{(2)}_{2n-1}), where B_l is the crystal of the irreducible module corresponding to the one-row Young diagram of length l. The isomorphism B_l\otimes B_k \simeq B_k \otimes B_l and the energy function are described explicitly in terms of a C_n-analogue of the Robinson-Schensted-Knuth type insertion algorithm. As an application a C^{(1)}_n-analogue of the Kostka polynomials is calculated for several cases.


title: Construction of doubly-periodic instantons

abstract: We construct finite energy instanton connection on $R^4$ which are periodic in two directions via an analogue of the Nahm transform for certain singular solutions of Hitchin's equations defined over a 2-torus.


title: Free groups and finite type invariants of pure braids

abstract: Finite type invariants (also known as Vassiliev invariants) of pure braids are considered from a group-theoretic point of view. New results include a construction of a universal invariant with integer coefficients based on the Magnus expansion of a free group and a calculation of numbers of independent invariants of each type for all pure braid groups.


title: The quantum duality principle

abstract: The "quantum duality principle" states that the quantization of a Lie bialgebra - via a quantum universal enveloping algebra (QUEA) - provides also a quantization of the dual Lie bialgebra (through its associated formal Poisson group) - via a quantum formal series Hopf algebra (QFSHA) - and, conversely, a QFSHA associated to a Lie bialgebra (via its associated formal Poisson group) yields a QUEA for the dual Lie bialgebra as well; more precisely, there exist functors QUEA --> QFSHA and QFSHA --> QUEA, inverse of each other, such that in either case the Lie bialgebra associated to the target object is the dual of that of the source object. Such a result was claimed true by Drinfeld, but seems to be unproved in literature: we give here a complete detailed proof of it.


title: Numerical bounds of canonical varieties

abstract: We study lower bounds for the self-intersection of the canonical divisor of "canonical varieties" (i.e. varieties whose canonical linear system gives a birational map). We give some improvements for the known results in the case of surfaces and new bounds for the case of canonical threefolds.


title: Lower bounds of the slope of fibred threefolds

abstract: We study from a geographical point of view fibrations of threefolds over smooth curves, such that the general fibre is of general type. We prove the non-negativity of certain relative invariants under general hypotheses and give lower bounds for the self-interssection of the relative canonical divisor of the fibration, depending on other relative invariants. We also study the influence of the relative irregularity on these bounds. A more detailed study of the lowest cases of the bounds is given.


title: Abelian fibrations and rational points on symmetric products

abstract: Given a variety over a number field, are its rational points potentially dense, i.e., does there exist a finite extension over which rational points are Zariski dense? We study the question of potential density for symmetric products of surfaces. Contrary to the situation for curves, rational points are not necessarily potentially dense on a sufficiently high symmetric product. Our main result is that rational points are potentially dense for the Nth symmetric product of a K3 surface, where N is explicitly determined by the geometry of the surface. The basic construction is that for some N, the Nth symmetric power of a K3 surface is birational to an abelian fibration over P^N. It is an interesting geometric problem to find the smallest N with this property.


title: Geodesic connectedness of multiwarped spacetimes

abstract: A new technique for the study of geodesic connectedness in a class of Lorentzian manifolds is introduced. It is based on arguments of Brouwer's topological degree for the solution of functional equations. It is shown to be very useful for multiwarped spacetimes, which include different types of relativistic spacetimes.


title: Monotonicity and Concavity Properties of The Spectral Shift Function

abstract: Let $H_0$ and $V(s)$ be self-adjoint, $V,V'$ continuously differentiable in trace norm with $V''(s)\geq 0$ for $s\in (s_1,s_2)$, and denote by $\{E_{H(s)}(\lambda)\}_{\lambda\in\bbR}$ the family of spectral projections of $H(s)=H_0+V(s)$. Then we prove for given $\mu\in\bbR$, that $s\longmapsto \tr\big (V'(s)E_{H(s)}((-\infty, \mu))\big) $ is a nonincreasing function with respect to $s$, extending a result of Birman and Solomyak. Moreover, denoting by $\zeta (\mu,s)=\int_{-\infty}^\mu d\lambda \xi(\lambda,H_0,H(s))$ the integrated spectral shift function for the pair $(H_0,H(s))$, we prove concavity of $\zeta (\mu,s)$ with respect to $s$, extending previous results by Geisler, Kostrykin, and Schrader. Our proofs employ operator-valued Herglotz functions and establish the latter as an effective tool in this context.


title: Crystals via the affine Grassmannian

abstract: Let $G$ be a connected reductive group over $\CC$ and let $G^{\vee}$ be the Langlands dual group. Crystals for $G^{\vee}$ were introduced by Kashiwara as certain ``combinatorial skeletons'' of finite-dimensional representations of $G^{\vee}$. For every dominant integral weight of $G^{\vee}$ Kashiwara constructed a canonical crystal. Other (independent) constructions of those crystals were given by Lusztig and Littelmann. It was also shown by Kashiwara and Joseph that the above family of crystals is unique if certain reasonable conditions are imposed. The purpose of this paper is to give another (rather simple) construction of these crystals using the geometry of the affine Grassmannian $\calG_G=G(\calK)/G(\calO)$ of the group $G$, where $\calK=\CC((t))$ is the field of Laurent power series and $\calO=\CC[[t]]$ is the ring of Taylor series. We check that the crystals we construct satisfy the conditions of the uniqueness theorem mentioned above, which shows that our crystals coincide with those constructed in {\it loc. cit}. It would be interesting to find these isomorphisms directly (cf., however, \cite{Lus3}).


title: Global Structures on CR Manifolds via Nash Blow-ups

abstract: A generic compact real codimension two submanifold X of C^(n+2) will have a CR structure at all but a finite number of points (failing at the complex jump points J). The main theorem of this paper gives a method of extending the CR structure on the non-jump points X-J to the jump points. We examine a Gauss map from X-J to an appropriate flag manifold F and take the closure of the graph of this map in X x F. This is a version of a Nash blow-up. We give a clean criterion for when this closure is a smooth manifold and see that the local differential properties at the points X-J can now be naturally extended to this new smooth manifold, allowing global techniques from differential geometry to be applied to compact CR manifolds. As an example, we find topological obstructions for the manifold to be Levi nondegenerate.


title: Note on the Ruijsenaars-Schneider model

abstract: We study vector bundles with some additional structures on an elliptic curve and show how there are related to the elliptic Ruijsenaars-Schneider model.


title: Congruence subgroups and rational conformal field theory

abstract: We address here the question of whether the characters of an RCFT are modular functions for some level N, i.e. whether the representation of the modular group SL_2(Z) coming from any RCFT is trivial on some congruence subgroup. We prove that if the matrix T, associated to $(\matrix{1&1\cr 0&1})\in{\rm SL}_2(\Z)$, has ODD order, then this must be so. When the order of T is even, we present a simple test which if satisfied -- and we conjecture it always will be -- implies that the characters for that RCFT will also be level N. We use this to explain three curious observations in RCFT made by various authors.


title: Calculation of Hirzebruch genera for manifolds acted on by the group Z/p via invariants of the action

abstract: We obtain general formulae expressing Hirzebruch genera of a manifold with Z/p-action in terms of invariants of this action (the sets of weights of fixed points). As an illustration, we consider numerous particular cases of well-known genera, in particular, the elliptic genus. We also describe the connection with the so-called Conner-Floyd equations for the weights of fixed points.


title: A classification of the principal nilpotent pairs in simple Lie algebras and related problems

abstract: We give a classification of the principal and distinguished nilpotent pairs in all classical Lie algebras. As a classification of the principal pairs in the exceptional simple Lie algebras was obtained earlier (see Appendix to Ginzburg's preprint math.AG/9903059), we thus have a complete classification of principal nilpotent pairs.


title: The Thual-Fauve pulse: skew stabilization

abstract: It is possible to choose the parameters of a real quintic Ginzburg-Landau equation so that it possesses localized pulse-like solutions; Thual and Fauve have observed numerically that these pulses are stabilized by perturbations destroying the gradient structure of the real equation. For parameters such that the real part of the equations possesses pulses with a large shelf, we prove the existence of pulses by validated asymptotics, we find the expansion of the small eigenvalues of the operator and of their corresponding eigenvectors, and we give a sufficient condition for stabilization. This condition is generalized to any small non-gradient quintic perturbation of Ginzburg-Landau.


title: On Bohr-Sommerfeld bases

abstract: This paper combines algebraic and Lagrangian geometry to construct a special basis in every space of conformal blocks, the Bohr-Sommerfeld (BS) basis. We use the method of [D. Borthwick, T. Paul and A. Uribe, Legendrian distributions with applications to the non-vanishing of Poincar\'e series of large weight, Invent. math, 122 (1995), 359-402, preprint hep-th/9406036], whereby every vector of a BS basis is defined by some half-weighted Legendrian distribution coming from a Bohr-Sommerfeld fibre of a real polarization of the underlying symplectic manifold. The advantage of BS bases (compared to bases of theta functions in [A. Tyurin, Quantization and ``theta functions'', Jussieu preprint 216 (Apr 1999), e-print math.AG/9904046, 32pp.]) is that we can use information from the skillful analysis of the asymptotics of quantum states. This gives that Bohr-Sommerfeld bases are unitary quasi-classically. Thus we can apply these bases to compare the Hitchin connection with the KZ connection defined by the monodromy of the Knizhnik-Zamolodchikov equation in combinatorial theory (see, for example, [T. Kohno, Topological invariants for 3-manifolds using representations of mapping class group I, Topology 31 (1992), 203-230; II, Contemp. math 175} (1994), 193-217]).


title: How to calculate A-Hilb C^3

abstract: Iku Nakamura [Hilbert schemes of Abelian group orbits, J. Alg. Geom. 10 (2001), 757--779] introduced the G-Hilbert scheme for a finite subgroup G in SL(3,C), and conjectured that it is a crepant resolution of the quotient C^3/G. He proved this for a diagonal Abelian group A by introducing an explicit algorithm that calculates A-Hilb C^3. This note calculates A-Hilb C^3 much more simply, in terms of fun with continued fractions plus regular tesselations by equilateral triangles.


title: Conservation laws for a class of Third order Evolutionary differential systems

abstract: The conservation laws of the third order quasilinear scalar evolution equations are considered via differential system and characteristic cohomology. We find a subspace of 2 forms in the infinite prolonged space in which every conservation law has a unique representative. The structure of this subspace naturally gives rise to the convenient notion of the weight of a conservation law, and we also compute a universal integrability condition to admit any higher order (weight) conservation law. As an example, the differential system descrbing the flow of the curve in the plane by the derivative of its curvature with respect to the arclength is shown to have the KdV property, i.e., an infinite sequence of conservation laws of distnct weights.


title: On Some Configurations Related to the Shelah Weak Hypothesis

abstract: We show that some cardinal arithmetic configurations related to the negation of the Shelah Weak Hypothesis and natural from the forcing point of view are impossible.


title: The Gauss map and a noncompact Riemann-Roch formula for constructible sheaves on semiabelian varieties

abstract: For an irreducible subvariety Z in an algebraic group G we define a nonnegative integer gdeg(Z) as the degree, in a certain sense, of the Gauss map of Z. It can be regarded as a substitution for the intersection index of the conormal bundle to Z with the zero section of T^*G, even though G may be non-compact. For G a semiabelian variety (in particular, an algebraic torus (C^*)^n) we prove a Riemann-Roch-type formula for constructible sheaves on G, which involves our substitutions for the intersection indices. As a corollary, we get that a perverse sheaf on such a G has nonnegative Euler characteristic, generalizing a theorem of Loeser-Sabbah.


title: On a conjectured formula for quiver varieties

abstract: In our joint paper with W. Fulton (math.AG/9804041) we prove a formula for the cohomology class of a quiver variety. This formula involves a new class of generalized Littlewood-Richardson coefficients, all of which surprisingly seem to be non-negative. We conjecture that each of these coefficients count the number of sequences of semistandard Young tableaux which satisfy certain conditions. In this paper I give a proof of this conjecture in the special case where the quiver variety can be described by at most four vector bundles. I also prove that the general conjecture follows from a simple combinatorial statement for which substantial computer verification has been obtained.


title: Stanley symmetric functions and quiver varieties

abstract: In our joint paper with W. Fulton (math.AG/9804041) we prove a formula for the cohomology class of a quiver variety. This formula is general enough to give new expressions for all known types of Schubert polynomials. In the present paper we discuss the relationship between this formula and Stanley symmetric functions. We show that the coefficients obtained when a Stanley symmetric function is expressed in the basis of Schur functions are special cases of a class of generalized Littlewood-Richardson coefficients appearing in the formula for quiver varieties. We also prove that Fulton's universal Schubert polynomials (math.AG/9702012) satisfy the usual rule for a Schubert polynomial of a product of two permutations.


title: Isochronicity and Commutation of Polynomial Vector Fields

abstract: We study a connection between the isochronicity of a center of a polynomial vector field and the existence of a polynomial commuting system. We demonstrate an isochronous system of degree 4 which does not commute with any polynomial system. We prove that among the Newton polynomial systems only the Lienard and Abel systems may commute with transversal polynomial fields. We give a full and constructive description of centralizers of the Abel polynomial systems. We give new examples of isochronous systems.


title: Regularity of dissipative operators

abstract: S.G.Krein's conjecture concerning Birkhoff-regularity of dissipative differential operators has been proved in the even order case. As a byproduct an existence of the limit of characteristic matrix as in the lower half-plane has been established. Up to multiplication by a nonvanishing matrix this limit coincides with the ratio of the matrices of regularity determinants.


title: On Nagata's Conjecture

abstract: Modifying an approach of J. Roe, this paper gives an improved lower bound on the degrees d such that for general points p1,...,pn in P2 and m > 0 there is a plane curve of degree d vanishing at each point pi with multiplicity at least m. In certain cases, for m not too large compared with n, the new bound implies a bound conjectured by Nagata.


title: Complexification of Bohr-Sommerfeld conditions

abstract: The complex version of Bohr-Sommerfeld conditions is proposed. The BPU-construction (see [D.Borthwick, T. Paul and A. Uribe, Legendrian distributions with applications to the non-vanishing of Poincar\'e series of large weight, Invent. math, 122 (1995), 359-402, preprint hep-th/9406036] or [Andrei Tyurin, On Bohr-Sommerfeld bases, math.AG/9909084]) is generalized to this complexification. The new feature of this generalization is a spectral curve. The geometry of such curves is investigated.


title: Spaces of Knots

abstract: We consider the space of all smooth knots in the 3-sphere isotopic to a given knot, with the aim of finding a small subspace onto which this large space deformation retracts. For torus knots and many hyperbolic knots we show the subspace can be taken to be the orbit of a single maximally symmetric placement of the knot under the action of SO(4) by rotations of the ambient 3-sphere. This would hold for all hyperbolic knots if it were known that there are no exotic free actions of a finite cyclic group on the 3-sphere. For satellite knots the situation is more complicated but still describable in fairly simple terms. (This preliminary version of the paper does not include details for the case of satellite knots.)


title: Propositional Manifolds

abstract: This paper was withdrawn by the author due to an edition's rights


title: Singularity of Some Random Continued Fractions

abstract: We prove singularity of some distributions of random continued fractions that correspond to iterated function systems with overlap and a parabolic point. These arose while studying the conductance of Galton-Watson trees.


title: Congruence ABC implies ABC

abstract: The ABC conjecture of Masser and Oesterle' states that if (a,b,c) are coprime integers with a + b + c = 0, then sup(|a|,|b|,|c|) < c_e (rad(abc))^{1+e} for any e > 0. Oesterle' has observed that if the ABC conjecture holds for all (a,b,c) with 16 | abc, then the full ABC conjecture holds. We extend that result to show that, for every integer N, the "congruence ABC conjecture" that ABC holds for all (a,b,c) with N|abc implies the full ABC conjecture.