title: Intrinsic Location Parameter of a Diffusion Process

abstract: For nonlinear functions f of a random vector Y, E[f(Y)] and f(E[Y]) usually differ. Consequently the mathematical expectation of Y is not intrinsic: when we change coordinate systems, it is not invariant.This article is about a fundamental and hitherto neglected property of random vectors of the form Y = f(X(t)), where X(t) is the value at time t of a diffusion process X: namely that there exists a measure of location, called the "intrinsic location parameter" (ILP), which coincides with mathematical expectation only in special cases, and which is invariant under change of coordinate systems. The construction uses martingales with respect to the intrinsic geometry of diffusion processes, and the heat flow of harmonic mappings. We compute formulas which could be useful to statisticians, engineers, and others who use diffusion process models; these have immediate application, discussed in a separate article, to the construction of an intrinsic nonlinear analog to the Kalman Filter. We present here a numerical simulation of a nonlinear SDE, showing how well the ILP formula tracks the mean of the SDE for a Euclidean geometry.


title: Geometrically Intrinsic Nonlinear Recursive Filters I: Algorithms

abstract: The Geometrically Intrinsic Nonlinear Recursive Filter, or GI Filter, is designed to estimate an arbitrary continuous-time Markov diffusion process X subject to nonlinear discrete-time observations. The GI Filter is fundamentally different from the much-used Extended Kalman Filter (EKF), and its second-order variants, even in the simplest nonlinear case, in that: (i) It uses a quadratic function of a vector observation to update the state, instead of the linear function used by the EKF. (ii) It is based on deeper geometric principles, which make the GI Filter coordinate-invariant. This implies, for example, that if a linear system were subjected to a nonlinear transformation f of the state-space and analyzed using the GI Filter, the resulting state estimates and conditional variances would be the push-forward under f of the Kalman Filter estimates for the untransformed system - a property which is not shared by the EKF or its second-order variants. The noise covariance of X and the observation covariance themselves induce geometries on state space and observation space, respectively, and associated canonical connections. A sequel to this paper develops stochastic differential geometry results - based on "intrinsic location parameters", a notion derived from the heat flow of harmonic mappings - from which we derive the coordinate-free filter update formula. The present article presents the algorithm with reference to a specific example - the problem of tracking and intercepting a target, using sensors based on a moving missile. Computational experiments show that, when the observation function is highly nonlinear, there exist choices of the noise parameters at which the GI Filter significantly outperforms the EKF.


title: Geometrically Intrinsic Nonlinear Recursive Filters II: Foundations

abstract: This paper contains the technical foundations from stochastic differential geometry for the construction of geometrically intrinsic nonlinear recursive filters. A diffusion X on a manifold N is run for a time interval T, with a random initial condition. There is a single observation consisting of a nonlinear function of X(T), corrupted by noise, and with values in another manifold M. The noise covariance of X and the observation covariance themselves induce geometries on M and N, respectively. Using these geometries we compute approximate but coordinate-free formulas for the "best estimate" of X(T), given the observation, and its conditional variance. Calculations are based on use of Jacobi fields and of "intrinsic location parameters", a notion derived from the heat flow of harmonic mappings. When any nonlinearity is present, the resulting formulas are not the same as those for the continuous-discrete Extended Kalman Filter. A subsidiary result is a formula for computing approximately the "exponential barycenter" of a random variable S on a manifold, i.e. a point z such that the inverse image of S under the exponential map at z has mean zero in the tangent space at z.


title: A Wall-crossing Formula for the Signature of Symplectic Quotients

abstract: We use symplectic cobordism, and the localization result of Ginzburg, Guillemin, and Karshon, to find a wall-crossing formula for the signature of regular symplectic quotients of Hamiltonian torus actions. The formula is recursive, depending ultimately on fixed point data. In the case of a circle action, we obtain a formula for the signature of singular quotients as well. We also show how formulas for the Poincare polynomial and the Euler characteristic (equivalent to those of Kirwan) can be expressed in the same recursive manner.


title: A K-Theoretic Note on Geometric Quantization

abstract: We show that the results of the paper Symplectic Reduction and Riemann-Roch for Circle Actions of Duistermaat, Guillemin, Meinrenken and Wu can be expressed entirely in K-theory. We show that their quantization is simply a pushforward in K-theory, and use Lerman's symplectic cutting and the localization theorem in equivariant K-theory to prove that quantization commutes with reduction. Only the case where the action is free on the zero level set of the moment map is addressed.


title: Fedosov Star-Products and 1-Differentiable Deformations

abstract: We show that every star product on a symplectic manifold defines uniquely a 1-differentiable deformation of the Poisson bracket. Explicit formulas are given. As a corollary we can identify the characteristic class of any star product as a part of its explicit (Fedosov) expression.


title: Complex manifolds with split tangent bundle

abstract: Let X be a compact Kaehler manifold. We expect that any direct sum decomposition of the tangent bundle T(X) comes from a splitting of the universal covering space of X as a product of manifolds, in such a way that the given decomposition of T(X) lifts to the canonical decomposition of the tangent bundle of a product. We prove this assertion when X is a Kaehler-Einstein manifold or a Kaehler surface. Simple examples show that the Kaehler hypothesis is necessary.


title: Deformations of hyperbolic 3-cone-manioflds

abstract: We show that any compact orientable hyperbolic 3-cone-manifold with cone angle at most \pi can be continuously deformed to a complete hyperbolic manifold homeomorphic to the complement of the singularity. This together with the local rigidity by Hodgson and Kerckhoff implies the global rigidity for compact orientable hyperbolic 3-cone-manifolds under the same angle assumption.


title: Charged Quantum Fields Associated with Endomorphisms of CAR and CCR Algebras

abstract: Quasi-free endomorphisms of the CAR and CCR algebras are studied from the point of view of the theory of superselection sectors.


title: On correlation functions of Drinfeld currents and shuffle algebras

abstract: We express the vanishing conditions satisfied by the correlation functions of Drinfeld currents of quantum affine algebras, imposed by the quantum Serre relations. We discuss the relation of these vanishing conditions with a shuffle algebra description of the algebra of Drinfeld currents.


title: Integration of the Lifting formulas and the cyclic homology of the algebras of differential operators

abstract: We integrate the Lifting cocycles $\Psi_{2n+1},\Psi_{2n+3},\Psi_{2n+5},...$ ([Sh1], [Sh2]) on the Lie algebra $\Dif_n$ of holomorphic differential operators on an $n$-dimensional complex vector space to the cocycles on the Lie algebra of holomorphic differential operators on a holomorphic line bundle $\lambda$ on an $n$-dimensional complex manifold $M$ in the sense of Gelfand-Fuks cohomology [GF] (more precisely, we integrate the cocycles on the sheaves of the Lie algebras of finite matrices over the corresponding associative algebras). The main result is the following explicit form of the Feigin-Tsygan theorem [FT1]: $H^\bullet_\Lie(\gl^\fin_\infty(\Dif_n);\C) = \wedge^\bullet(\Psi_{2n+1}, \Psi_{2n+3},\Psi_{2n+5}, ...)$.


title: Quantum matrix ball: the weighted Bergman kernels

abstract: We proceed with studying the q-analogues of Cartan domains introduced in q-alg/9703005 and turn to the case of a ball in the space of complex matrices. An explicit expression for a positive $U_q\frak{su}_{nm}$-invariant integral (see math.QA/9803110) is used to define q-analogues for weighted Bergman spaces. The orthogonal projections onto these spaces are integral operators; this work presents an explicit formula for their kernels.


title: Frobenius splitting of cotangent bundles of flag varieties and geometry of nilpotent cones

abstract: We use the G-invariant non-degenerate form on the Steinberg module to Frobenius split the cotangent bundle of a flag variety in good prime characteristics. This was previously only known for the general linear group. Applications are a vanishing theorem for pull back of line bundles to the cotangent bundle (proved for the classical groups and G_2 by Andersen and Jantzen and in characteristic zero by B. Broer (for all groups)), normality and rational singularities for the subregular nilpotent variety and good filtrations of the global sections of pull backs of line bundles to the cotangent bundle, which in turn implies good filtrations of cohomology of induced representations.


title: Novikov-Shubin invariants and asymptotic dimensions for open manifolds

abstract: The Novikov-Shubin numbers are defined for open manifolds with bounded geometry, the Gamma-trace of Atiyah being replaced by a semicontinuous semifinite trace on the C*-algebra of almost local operators. It is proved that they are invariant under quasi-isometries and, making use of the theory of singular traces for C*-algebras developed in math/9802015, they are interpreted as asymptotic dimensions since, in analogy with what happens in Connes' noncommutative geometry, they indicate which power of the Laplacian gives rise to a singular trace. Therefore, as in geometric measure theory, these numbers furnish the order of infinitesimal giving rise to a non trivial measure. The dimensional interpretation is strenghtened in the case of the 0-th Novikov-Shubin invariant, which is shown to coincide, under suitable geometric conditions, with the asymptotic counterpart of the box dimension of a metric space. Since this asymptotic dimension coincides with the polynomial growth of a discrete group, the previous equality generalises a result by Varopoulos for covering manifolds. This paper subsumes dg-ga/9612015. In particular, in the previous version only the 0th Novikov-Shubin number was considered, while here Novikov-Shubin numbers for all p are defined and studied.


title: Fundamental Group for some Cuspidal Curves

abstract: We construct a family of plane curves as pull-backs of a conic for abelian coverings of P^2. If the conic is tangent to the ramification lines one obtains a family of curves of degree 2n with 3n singularities of type A_{n-1}. We calculate the fundamental group and Alexander polynomial for any member of this family and for some deformations of it.


title: Generic hyperplane section of curves and an application to regularity bounds in positive characteristic

abstract: This paper investigates the Castelnuovo-Mumford regularity of the generic hyperplane section of projective curves in positive characteristic case, and yields an application to a sharp bound on the regularity for nondegenerate projective varieties.


title: Multi-scale linear solvers for very large systems derived from PDEs

abstract: We present a novel linear solver that works well for large systems obtained from discretizing PDEs. It is robust and, for the examples we studied, the computational effort scales linearly with the number of equations. The algorithm is based on a wavelength decomposition that combines conjugate gradient, multi-scaling and iterative splitting methods into a single approach. On the surface, the algorithm is a simple preconditioned conjugate gradient with all the sophistication of the algorithm in the choice of the preconditioning matrix. The preconditioner is a very good approximate inverse of the linear operator. It is constructed from the inverse of the coarse grained linear operator and from smoothing operators that are based on an operator splitting on the fine grid. The coarse graining captures the long wavelength behavior of the inverse operator while the smoothing operator captures the short wavelength behavior. The conjugate gradient iteration accounts for the coupling between long and short wavelengths. The coarse grained operator corresponds to a lowerresolution approximation to the PDEs. While the coarse grained inverse is not known explicitly, the algorithm only requires that the preconditioner can be a applied to a vector. The coarse inverse applied to a vector can be obtained as the solution of another preconditioned conjugate gradient solver that applies the same algorithm to the smaller problem. Thus, the method is naturally recursive. The recursion ends when the matrix is sufficiently small for a solution to be obtained efficiently with a standard solver. We have tested our solver on the porous flow equation. On a workstation we have solved problems on grids ranging in dimension from $10^3$ to $10^6$, and found that the linear scaling holds.


title: Seiberg-Witten Invariants-An Expository Account

abstract: In this note, we give an exposition of the construction of Seiberg-Witten invariants.


title: The Theorem of Kronheimer-Mrowka

abstract: This note is an exposition of the proof of Thom's conjecture by Kronheimer and Mrowka, using the new Seiberg-Witten invariants.


title: Remarks on square functions in the Littlewood-Paley theory

abstract: We prove that certain square function operators in the Littlewood-Paley theory defined by the kernels without any regularity are bounded on Lp spaces.


title: Generalized Cayley-Hamilton-Newton identities

abstract: The q-generalizations of the two fundamental statements of matrix algebra -- the Cayley-Hamilton theorem and the Newton relations -- to the cases of quantum matrix algebras of an "RTT-" and of a "Reflection equation" types have been obtained in [2]-[6]. We construct a family of matrix identities which we call Cayley-Hamilton-Newton identities and which underlie the characteristic identity as well as the Newton relations for the RTT- and Reflection equation algebras, in the sence that both the characteristic identity and the Newton relations are direct consequences of the Cayley-Hamilton-Newton identities.


title: Strong Ditkin algebras without bounded relative units

abstract: In a previous note the author gave an example of a strong Ditkin algebra which does not have bounded relative units in the sense of Dales. In this note we investigate a certain family of Banach function algebras on the one point compactification of the natural numbers, and see that within this family are many easier examples of strong Ditkin algebras without bounded relative units in the sense of Dales.


title: Embeddings of curves in the plane

abstract: In this paper, we contribute toward a classification of two-variable polynomials by classifying (up to an automorphism of $C^2$) polynomials whose Newton polygon is either a triangle or a line segment. Our classification has several applications to the study of embeddings of algebraic curves in the plane. In particular, we show that for any $k \ge 2$, there is an irreducible curve with one place at infinity, which has at least $k$ inequivalent embeddings in $C^2$. Also, upon combining our method with a well-known theorem of Zaidenberg and Lin, we show that one can decide "almost" just by inspection whether or not a polynomial fiber is an irreducible simply connected curve.


title: On free conformal and vertex algebras

abstract: Any variety of classical algebras has a so-called conformal counterpart. For example one can consider Lie conformal or associative conformal algebras. Lie conformal algebras are closely related to vertex algebras. We define free objects in the categories of conformal and vertex algebras. In some cases we can explicitly build their Groebner bases.


title: Twisted Classical Phase Space

abstract: We consider relativistic phase space constructed by the twist procedure from the translation sector of the standard, nondeforned Poincare algebra. Using the concept of cross product algebra we derive two kinds of phase space with noncommuting configuration space. The generalized uncertainty relations are formulated.


title: SL_q(2,R) at Roots of Unity

abstract: The quantum group SL_q(2,R) at roots of unity is introduced by means of duality pairings with the quantum algebra U_q(sl(2,R)). Its irreducible representations are constructed through the universal T-matrix. An invariant integral on this quantum group is given. Endowed with that some properties like unitarity and orthogonality of the irreducible representations are discussed.


title: On the Splitting of the Dual Goldie Torsion Theory

abstract: The splitting of the Goldie (or singular) torsion theory has been extensively studied. Here we determine an appropriate dual Goldie torsion theory, discuss its splitting and answer in the negative a question proposed by Ozcan and Harmanci as to whether the splitting of the dual Goldie torsion theory implies the ring to be quasi-Frobenius.


title: Tamagawa numbers on diagonal cubic surfaces, numerical evidence

abstract: We test numerically the refined Manin's conjecture about the asymptotics of points of bounded height on Fano varieties for some diagonal cubic surfaces.


title: Homologically Trivial Group Actions on 4-Manifolds

abstract: It is proved that an arbitrary finite group acting locally linearly, homologically trivially, and pseudofreely on a closed, simply connected 4-manifold must in fact be cyclic and act semifreely, provided the second betti number of the manifold is at least three.


title: Deformation Quantization: Twenty Years After

abstract: We first review the historical developments, both in physics and in mathematics, that preceded (and in some sense provided the background of) deformation quantization. Then we describe the birth of the latter theory and its evolution in the past twenty years, insisting on the main conceptual developments and keeping here as much as possible on the physical side. For the physical part the accent is put on its relations to, and relevance for, "conventional" physics. For the mathematical part we concentrate on the questions of existence and equivalence, including most recent developments for general Poisson manifolds; we touch also noncommutative geometry and index theorems, and relations with group theory, including quantum groups. An extensive (though very incomplete) bibliography is appended and includes background mathematical literature.


title: On the Lego-Teichmuller game

abstract: For a smooth oriented surface S, denote by M(S) the set of all ways to represent S as a result of gluing together standard spheres with holes (``the Lego game''). In this paper we give a full set of simple moves and relations which turn M(S) into a connected and simply-connected 2-complex. Results of this kind were first obtained by Moore and Seiberg, but their paper contains serious gaps. Our proof is based on a different approach and is much more rigorous.


title: Modular symbols for Q-rank one groups and Voronoi reduction

abstract: We present an algorithm to compute the action of the Hecke operators on the top dimensional integral cohomology of certain torsion-free arithmetic subgroups of algebraic groups of Q-rank one. This generalizes the modular symbol algorithm to a setting including Bianchi groups and Hilbert modular groups. In addition, we generalize some results of Voronoi for real positive-definite quadratic forms to self-adjoint homogeneous cones of arbitrary Q-rank.


title: Symplectic modular symbols

abstract: Let K be a number field with euclidean ring of integers O. Let G be a finite-index torsion-free subgroup of Sp(2n, O). We exhibit a finite, geometrically defined spanning set of the top dimensional integral cohomology of G by generalizing the modular symbol algorithm of Ash and Rudolph.


title: Topology of real algebraic sets of dimension 4: necessary conditions

abstract: Operators on the ring of algebraically constructible functions are used to compute local obstructions for a four-dimensional semialgebraic set to be homeomorphic to a real algebraic set. The link operator and arithmetic operators yield $2^{43}-43$ independent characteristic numbers mod 2, which generalize the Akbulut-King numbers in dimension three.


title: Projectively equivariant symbol calculus

abstract: The spaces of linear differential operators on ${\mathbb{R}}^n$ acting on tensor densities of degree $\lambda$ and the space of functions on $T^*{\mathbb{R}}^n$ which are polynomial on the fibers are not isomorphic as modules over the Lie algebra $\Vect({\mathbb{R}}^n)$ of vector fields on ${\mathbb{R}}^n$. However, these modules are isomorphic as $sl(n+1,{\mathbb{R}})$-modules where $sl(n+1,{\mathbb{R}})\subset \Vect({\mathbb{R}}^n)$ is the Lie algebra of infinitesimal projective transformations. In addition, such an $sl_{n+1}$-equivariant bijection is unique (up to normalization). This leads to a notion of projectively equivariant quantization and symbol calculus for a manifold endowed with a (flat) projective structure. We apply the $sl_{n+1}$-equivariant symbol map to study the $\Vect(M)$-modules of linear differential operators acting on tensor densities, for an arbitrary manifold $M$.


title: Lorentzian worldlines and Schwarzian derivative

abstract: We relate in this note the classical Schwarzian derivative to the curvature of time-like curves in Lorentz surfaces of constant curvature.


title: Factorisation structures of algebras and coalgebras

abstract: We consider the factorisation problem for bialgebras: when a bialgebra $K$ factorises as $K=HL$, where $H$ and $L$ are algebras and coalgebras (but not necessarly bialgebras). Given two maps $R: H\ot L\to L\ot H$ and $W:L\ot H\to H\ot L$, we introduce a product $L_W\bowtie_R H$ and give necessary and sufficient conditions for $L_W\bowtie_R H$ to be a bialgebra. It turns out that $K$ factorises as $K=HL$ if and only if $K\cong L_W\bowtie_R H$ for some maps $R$ and $W$. As examples of this product we recover constructions introduced by Majid and Radford. Also, some of the pointed Hopf algebras that were recently constructed bu Beattie, D\u asc\u alescu and Gr\"unenfelder appear as special cases.


title: Vanishing theorems for products of exterior and symmetric powers

abstract: For ample vector bundles $E$ over compact complex varieties $X$ and a Schur functor $S_I$ corresponding to an arbitrary partition $I$ of the integer $|I|$, one would like to know the optimal vanishing theorem for the cohomology groups $H^{p,q}(X, S_I(E))$, depending on the rank of $E$ and the dimension $n$ of $X$. Three years ago (Nov. 1995), in an unpublished paper one of us (W.N.) proved a vanishing theorem for the situation where the partition $I$ is a hook. Here we give a simpler proof of this theorem. We also treat the same problem under weaker positivity assumptions, in particular under the hypothesis of ample $\Lambda ^m E$ with $m\in \N^*$. In this case we also need some bound on the weight $|I|$ of the partition. Moreover, we prove that the same vanishing condition applies for $H^{q,p}(X, S_I(E))$, with $p,q$ interchanged.


title: Miranda-Persson's problem on extremal elliptic K3 surfaces

abstract: We compute Mordell-Weil groups for extremal semistable elliptic fibrations of K3 surfaces


title: The perturbation $\phi_{2,1}$ of the M(p,p+1) models of conformal field theory and related polynomial character identities

abstract: Using $q$-trinomial coefficients of Andrews and Baxter along with the technique of telescopic expansions, we propose and prove a complete set of polynomial identities of Rogers-Ramanujan type for M(p, p+1) models of conformal field theory perturbed by the operator $phi_{2,1}$. The bosonic form of our polynomials is closely related to corner transfer matrix sums which arise in the computation of the order parameter in the regime $1^+$ of $A_{p-1}$ dilute models. In the limit where the degree of the polynomials tends to infinity our identities provide new companion fermionic representations for all Virasoro characters of unitary minimal series.


title: The degree of the Gauss map for a general Prym Theta Divisor

abstract: Refereed version to appear on Journal of Algebraic Geometry. Unchanged content. Strongly ameliorated presentation thanks to referee's action.


title: More on sg-compact spaces

abstract: The aim of this paper is to continue the study of sg-compact spaces, a topological notion much stronger than hereditary compactness. We investigate the relations between sg-compact and $C_2$-spaces and the interrelations to hereditarily sg-closed sets.


title: Orthocompactness and semi-stratifiability in the density topology

abstract: The density topology $\cal T$ is a topology on the real line, finer than the usual topology, having as its open sets the measurable subsets of ${\mathbb R}$, which are of density 1 at each of their points. The aim of this paper is to determine which subsets of the density topology are semi-stratifiable, orthocompact and weakly hereditarily pseudocompact.


title: The Word Problem for the Singular Braid Monoid

abstract: We give a solution to the word problem for the singular braid monoid SB_n. The complexity of the algorithm is quadratic in the product of the word length and the number of the singular generators in the word. Furthermore we algebraically reprove a result of Fenn, Keyman and Rourke that the monoid embeds into a group and we compute the cohomological dimension of this group.


title: Solving Degenerate Sparse Polynomial Systems Faster

abstract: Consider a system F of n polynomial equations in n unknowns, over an algebraically closed field of arbitrary characteristic. We present a fast method to find a point in every irreducible component of the zero set Z of F. Our techniques allow us to sharpen and lower prior complexity bounds for this problem by fully taking into account the monomial term structure. As a corollary of our development we also obtain new explicit formulae for the exact number of isolated roots of F and the intersection multiplicity of the positive-dimensional part of Z. Finally, we present a combinatorial construction of non-degenerate polynomial systems, with specified monomial term structure and maximally many isolated roots, which may be of independent interest.


title: Special Lagrangian Fibrations II: Geometry

abstract: We continue the study of the Strominger-Yau-Zaslow mirror symmetry conjecture. Roughly put, this states that if two Calabi-Yau manifolds X and Y are mirror partners, then X and Y have special Lagrangian torus fibrations which are dual to each other. Much work on this conjecture is necessarily of a speculative nature, as in dimension 3 it is still a very difficult problem of how to construct such fibrations. Nevertheless, assuming the existence of such fibrations there are many things one can prove. This paper covers a number of issues. First it applies results from the theory of completely integrable hamiltonian systems to understand some aspects of the geometry of such fibrations. From this, using reasonable regularity assumptions on the fibrations, one can understand how the cohomology of dual fibrations are related. We then study the question of how, given one such fibration, one would put a symplectic and complex structure on the dual fibrations, generalising work of Hitchin. While this question cannot be answered at this stage, these results should give insight into the nature of the problem. We sum up these ideas in a refined version of the Strominger-Yau-Zaslow conjecture. Finally, to give evidence for this conjecture, we prove it explicitly for K3 surfaces. One finds a construction of mirror symmetry for K3 surfaces which does not require the use of Torelli theorems, and is much more differential geometric in nature than previous constructions.


title: Strong regularity for uniform algebras

abstract: A survey is given of the work on strong regularity for uniform algebras over the last thirty years, and some new results are proved, including the following. Let A be a uniform algebra on a compact space X and let E be the set of all those points x of X such that A is not strongly regular at x. If E has no non-empty, perfect subsets then A is normal, and X is the character space of A. If X is either the interval or the circle and E is meagre with no non-empty, perfect subsets then A is trivial. These results extend Wilken's work from 1969. It is also shown that every separable Banach function algebra which has character space equal to either the interval or the circle and which has a countably-generated ideal lattice is uniformly dense in the algebra of all continuous functions.


title: Heap games, numeration systems and sequences

abstract: We propose and analyse a 2-parameter family of 2-player games on two heaps of tokens, and present a strategy based on a class of sequences. The strategy looks easy, but is actually hard. A class of exotic numeration systems is then used, which enables us to decide whether the family has an efficient strategy or not. We introduce yet another class of sequences, and demonstrate its equivalence with the class of sequences defined for the strategy of our games.


title: A new heap game

abstract: Given $k\ge 3$ heaps of tokens. The moves of the 2-player game introduced here are to either take a positive number of tokens from at most $k-1$ heaps, or to remove the {\sl same} positive number of tokens from all the $k$ heaps. We analyse this extension of Wythoff's game and provide a polynomial-time strategy for it.


title: A Geometric Realization of Degenerate Principal Series Representations of Symplectic Groups

abstract: The multidimensional quantization procedure, proposed by the first author and its modifications (reduction to radicals and lifting on U(1)-coverings) give us a almost universal theoretical tools to find irreducible representations of Lie groups. By using this method and the root theory, we realize in this paper the representations of the degenerate principal series of symplectic groups.


title: Infinite cyclic impartial games

abstract: We define the family of {\it locally path-bounded} digraphs, which is a class of infinite digraphs, and show that on this class it is relatively easy to compute an optimal strategy (winning or nonlosing); and realize a win, when possible, in a finite number of moves. This is done by proving that the Generalized Sprague-Grundy function exists uniquely and has finite values on this class.


title: Free Field Realization of Vertex Operators for Level Two Modules of $U_q(\hat{sl(2)})$

abstract: Free field relization of vertex operators for lvel two modules of $U_q(\hat{sl(2)})$ is shown through the free field relization of the modules given by Idzumi in Ref.[4,5]. We constructed types I and II vertex operators when the spin of the addociated evaluation modules is 1/2 and typ II's for the spin 1.


title: How far can Nim in disguise be stretched?

abstract: A move in the game of nim consists of taking any positive number of tokens from a single pile. Suppose we add the class of moves of taking a nonnegative number of tokens jointly from all the piles. We give a complete answer to the question which moves in the class can be adjoined without changing the winning strategy of nim. The results apply to other combinatorial games with unbounded Sprague-Grundy function values. We formulate two weakened conditions of the notion of nim-sum 0 for proving the results.


title: Some minimization problems for the free analogue of the Fisher information

abstract: We consider the free non-commutative analogue Phi^*, introduced by D. Voiculescu, of the concept of Fisher information for random variables. We determine the minimal possible value of Phi^*(a,a^*), if a is a non-commutative random variable subject to the constraint that the distribution of aa^* is prescribed. More generally, we obtain the minimal possible value of Phi^*({a_{ij},a_{ij}^*), if {a_{ij}} is a family of non-commutative random variables such that the distribution of AA^* is prescribed, where A is the matrix (a_{ij}). The d*d-generalization is obtained from the case d=1 via a result of independent interest, concerning the minimal value of Phi^*({a_{ij},a_{ij}^*), when the matrix A=(a_{ij}) and its adjoint have a given joint distribution. We then show how the minimization results obtained for Phi^* lead to maximization results concerning the free entropy chi^*, also defined by Voiculescu.


title: Maximality of the microstates free entropy for R-diagonal elements

abstract: A non-commutative non-selfadjoint random variable z is called R-diagonal, if its *-distribution is invariant under multiplication by free unitaries: if a unitary w is *-free from z, then the *-distribution of z is the same as that of wz. Using Voiculescu's microstates definition of free entropy, we show that the R-diagonal elements are characterized as having the largest free entropy among all variables y with a fixed distribution of y^*y. More generally, let Z be a d*d matrix whose entries are non-commutative random variables X_{ij}. Then the free entropy of the family {X_{ij}} of the entries of Z is maximal among all Z with a fixed distribution of Z^*Z, if and only if Z is R-diagonal and is *-free from the algebra of scalar d*d matrices. The results of this paper are analogous to the results of our paper "Some minimization problems for the free analogue of the Fisher information", where we considered the same problems in the framework of the non-microstates definition of free entropy.


title: Minimal polynomial identities for right-symmetric algebras

abstract: An algebra $A$ with multiplication $A\times A \to A, (a,b)\mapsto a\circ b$, is called right-symmetric, if $a\circ(b\circ c)-(a\circ b)\circ a\circ (c\circ b)-(a\circ c)\circ b,$ for any $a,b,c\in A$. The multiplication of right-symmetric Witt algebras $W_n=\{u\der_i: u\in U, U={\cal K}[x_1^{\pm 1},...,x_n^{\pm}$ or $={\cal K}[x_1,...,x_n], i=1,...,n\}, p=0,$ or $W_n({\bf m)}=\{u\der_i: u\in U, U=O_n({\bf m})\}$, are given by $u\der_i\circ v\der_j=v\der_j(u)\der_i.$ An analogue of the Amitsur-Levitzki theorem for right-symmetric Witt algebras is established. Right-symmetric Witt algebras of $ satisfy the standard right-symmetric identity of degree $2n+1:$ $\sum_{\sigma\in Sym_{2n}}sign(\sigma)a_{\sigma(1)}\circ(a_{\sigma(2)}\circ >...(a_{\sigma(2n)}\circ a_{2n+1})...)=0.$ The minimal deg$ left polynomial identities of $W_n^{rsym}, W_n^{+rsym}, p=0,$ i$ The minimal degree of multilinear left polynomial identity of $$ is also $2n+1.$ All left polynomial (also multilinear, if $p>0$) identities of right-symmetric Witt algebras of minimal $ combinations of left polynomials obtained from standard ones by permutations of arguments.


title: Generalized Shioda-Inose Structures on K3 Surfaces

abstract: We examine the finite group actions on K3 and Abelian surfaces giving the same orbit space after desingularization. We show that when the group is not Z_2, then the Picard number of the K3 surface must be 19 or 20, and that in the latter case the Abelian surface is uniquely determined by the K3 surface.


title: The structure of Frobenius algebras and separable algebras

abstract: We present a unified apoach to the study of separable and Frobenius algebras. The crucial observation is thsat both cases are related to the nonlinear equation $R^{12}R^{23}=R^{23}R^{13}=R^{13}R^{12}$, called the FS-equation. Given a solution of the FS-equation satisfying certain normalizing conditions, we can construct a Frobenius algebra or a separable algebra A(R). The main result of this paper in the structure of this two fundamental types of algebras: a finitely generated projective Frobenius or separable $k$-algebra $A$ is isomorphic to such A(R). If $A$ is free as a $k$-module, then A(R) can be described using generators and relations. A new characterisation of Frobenius extensions is given: $B\subset A$ is Frobenius if and only if $A$ has a $B$-coring structure such that the comultiplication $\Delta$ is an $A$-bimodule map.


title: A note on ideal spaces of Banach Algebras

abstract: In a previous paper the second author introduced a compact topology on the space of closed ideals of a unital Banach algebra A. If A is separable then this topology is either metrizable or else neither Hausdorff nor first countable. Here it is shown that this topology is Hausdorff if A is the algebra of once continuously differentiable functions on an interval, but that if A is a uniform algebra then this topology is Hausdorff if and only if A has spectral synthesis. An example is given of a strongly regular, uniform algebra for which every maximal ideal has a bounded approximate identity, but which does not have spectral synthesis.


title: Algebraic $K_0$ of the Quantum Sphere and Noncommutative Index Theorem

abstract: The Noncommutative Index Theorem is used to prove that the Chern character of quantum Hopf line bundles over the standard Podles quantum sphere equals the winding number of the representations defining these bundles. This result gives an estimate of the positive cone of the algebraic $K_0$ of the standard quantum sphere.


title: Finite Dimensional Representations of Quantum Affine Algebras

abstract: We investigate the characters of some finite-dimensional representations of the quantum affine algebras $U_q(\hat{g})$ using the action of the copy of $U_q(g)$ embedded in it. First, we present an efficient algorithm for computing the Kirillov-Reshetikhin conjectured formula for these characters when $g$ is simply-laced. This replaces the original formulation, in terms of "rigged configurations", with one based on polygonal paths in the Weyl chamber. It also gives a new algorithm for decomposing a tensor product of any number of representations of $sl(n)$ corresponding to rectangular Young diagrams, in a way symmetric in all the factors. This section is an expanded version of q-alg/9611032 . Second, we study a generalization of certain remarkable quadratic relations that hold among characters of $sl(n)$ (the "discrete Hirota relations") whose solutions seem to be characters of quantum affine algebras. We use show that these relations have a unique solution over characters of $U_q(g)$.


title: Asymptotic formulas for determinants of a sum of finite Toeplitz and Hankel matrices

abstract: The purpose of this paper is to describe asymptotic formulas for determinants of a sum of finite Toeplitz and Hankel matrices with singular generating functions. The formulas are similar to those of the analogous problem for finite Toeplitz matrices for a certain class of symbols. However, the appearance of the Hankel matrices changes the nature of the asymptotics in some instances depending on the location of the singularities. Several concrete examples are also described in the paper.


title: On the classification of nuclear C*-algebras

abstract: The mid-seventies' works on C*-algebras of Brown-Douglas-Fillmore and Elliott both contained uniqueness and existence results in a now standard sense. These papers served as keystones for two separate theories -- KK-theory and the classification program -- which for many years parted ways with only moderate interaction. But recent years have seen a fruitful interaction which has been one of the main engines behind rapid progress in the classification program. In the present paper we take this interaction even further. We prove general existence and uniqueness results using KK-theory and a concept of quasidiagonality for representations. These results are employed to obtain new classification results for certain classes of quasidiagonal C*-algebras introduced by H. Lin. An important novel feature of these classes is that they are defined by a certain local approximation property, rather than by an inductive limit construction. Our existence and uniqueness results are in the spirit of classical Ext-theory. The main complication overcome in the paper is to control the stabilization which is necessary when one works with finite C*-algebras. In the infinite case, where programs of this type have already been successfully carried out, stabilization is unnecessary. Yet, our methods are sufficiently versatile to allow us to reprove, from a handful of basic results, the classification of purely infinite nuclear C*-algebras of Kirchberg and Phillips. Indeed, it is our hope that this can be the starting point of a unified approach to classification of nuclear C*-algebras.


title: The true order of the riemann zeta--function

abstract: For the Riemann zeta-function on the critical line the terminal estimate have been proved, which had been conjectured by Lindel\"of at the beginning of this Centure. The proof is based on the authors relations which connect the bilinear forms of the eigenvalues of the Hecke operators with sums of the Kloosterman sums. By the way, it is proved that for the Hecke series (which are associated with the eigenfunctions of the automorphic Laplacian) the natural analogue of the Lindel\"of conjecture is true also. \noindent Bibl. 14.


title: On the extension problem of pluricanonical forms

abstract: We review some recent development on the extension problem of pluricanonical forms from a divisor to the ambient space in [Si], [K5] and [N3] with simplified proofs. A section for a correction is added.


title: Graphs, flags and partitions

abstract: This paper defines, for each graph $G$, a flag vector $fG$. The flag vectors of the graphs on $n$ vertices span a space whose dimension is $p(n)$, the number of partitions on $n$. The analogy with convex polytopes indicates that the linear inequalities satisfied by $fG$ may be both interesting and accessible. Such would provide inequalities both sharp and subtle on the combinatorial structure of $G$. These may be related to Ramsey theory.


title: Operator interpretation of resonances generated by some operator matrices

abstract: We consider the analytic continuation of the transfer function for a 2x2 matrix Hamiltonian into the unphysical sheets of the energy Riemann surface. We construct a family of non-selfadjoint operators which reproduce certain parts of the transfer-function spectrum including resonances situated on the unphysical sheets neighboring the physical sheet. On this basis, completeness and basis properties for the root vectors of the transfer function (including those for the resonances) are proved.


title: Vertex Algebras and Mirror Symmetry

abstract: Mirror Symmetry for Calabi-Yau hypersurfaces in toric varieties is by now well established. However, previous approaches to it did not uncover the underlying reason for mirror varieties to be mirror. We are able to calculate explicitly vertex algebras that correspond to holomorphic parts of A and B models of Calabi-Yau hypersurfaces and complete intersections in toric varieties. We establish the relation between these vertex algebras for mirror Calabi-Yau manifolds. This should eventually allow us to rewrite the whole story of toric Mirror Symmetry in the language of sheaves of vertex algebras. Our approach is purely algebraic and involves simple techniques from toric geometry and homological algebra, as well as some basic results of the theory of vertex algebras. Ideas of this paper may also be useful in other problems related to maps from curves to algebraic varieties. This paper could also be of interest to physicists, because it contains explicit descriptions of A and B models of Calabi-Yau hypersurfaces and complete intersection in terms of free bosons and fermions.


title: Multivision: an intractable impartial game with a linear winning strategy

abstract: Something is definitely wrong. If the game has a linear winning strategy, then it is tractable. What's going on? Well, we describe a two-person game which has a definite winner, that is, a player who can force a win in a finite number of moves, and we determine the winner in linear time. Moreover, the winner's winning moves can be computed in linear time, yet the game is highly intractable. In particular, at each step, except the very last ones, a player can make the length of play arbitrarily long. Unfortunately, the space for this summary is too small to contain a proof that these properties are not contradictory.


title: On Entropy and Monotonicity for Real Cubic Maps

abstract: It has been known for some time that the topological entropy is a nondecreasing function of the parameter in the real quadratic family, which corresponds to the intuitive idea that more nonlinearity induces more complex dynamical behavior. Polynomial families of higher degree depend on several parameters, so that the very question of monotonicity needs to be reformulated. For instance, one can say the entropy is monotone in a multiparameter family if the isentropes, or sets of maps with the same topological entropy, are connected. Here we reduce the problem of the connectivity of the isentropes in the real cubic families to a weak form of the Fatou conjecture on generic hyperbolicity, which was proved to hold true by C. Heckman. We also develop some tools which may prove to be useful in the study of other parameterized families, in particular a general monotonicity result for stunted sawtooth maps: the stunted sawtooth family of a given shape can be understood as a simple family which realizes all the possible combinatorial structures one can expect with a map of this shape on the basis of kneading theory. Roughly speaking, our main result about real cubic families is that they are as monotone as the stunted sawtooth families with the same shapes because of Heckman's result (there are two posible shapes for cubic maps, depending on the behavior at infinity).


title: Manifolds with Quadratic Curvature Decay and Slow Volume Growth

abstract: We show that there are topological obstructions for a noncompact manifold to admit a Riemannian metric with quadratic curvature decay and a volume growth which is slower than that of Euclidean space of the same dimension.


title: Integrable and proper actions on C*-algebras, and square-integrable representations of groups

abstract: We propose a definition of what should be meant by a {\it proper} action of a locally compact group on a C*-algebra. We show that when the C*-algebra is commutative this definition exactly captures the usual notion of a proper action on a locally compact space. We then discuss how one might define a {\it generalized fixed-point algebra}. The goal is to show that the generalized fixed-point algebra is strongly Morita equivalent to an ideal in the crossed product algebra, as happens in the commutative case. We show that one candidate gives the desired algebra when the C*-algebra is commutative. But very recently Exel has shown that this candidate is too big in general. Finally, we consider in detail the application of these ideas to actions of a locally compact group on the algebra of compact operators (necessarily coming from unitary representations), and show that this gives an attractive view of the subject of square-integrable representations.


title: Dynamics of Singular Holomorphic Foliations on the Complex Projective Plane

abstract: This manuscript is an introduction to the theory of holomorphic foliations on the complex projective plane. Historically the subject has emerged from the theory of ODEs in the complex domain and various attempts to solve Hilbert's 16th Problem, but with the introduction of complex algebraic geometry, foliation theory and dynamical systems, it has now become an interesting subject of its own.


title: Lomonosov's theorem cannot be extended to chains of four operators

abstract: We show that the celebrated Lomonosov theorem cannot be improved by increasing the number of commuting operators. Specifically, we prove that if T is the operator on l_1 without a non-trivial closed invariant subspace constructed by C.J.Read, then there are three operators S_1, S_2 and K (non-multiples of the identity) such that T commutes with S_1, S_1 commutes with S_2, S_2 commutes with K, and K is compact. It is also shown that the commutant of T contains only series of T.


title: On the Nagata Problem

abstract: Nagata has conjectured that the following statement (N_r) holds for all $r\geq 10$: (N_r) if $P_1,...P_r \in {\mathbb P}^2$ are generic points then any plane curve $C$ satisfies $\sum_1^r mult_{P_i}(C)\leq \sqrt{r} deg(C)$. Nagata proved (N_r) whenever $r$ is a perfect square. Here we prove (N_r) provided $r=k^2+\alpha,1\leq\alpha\leq2k,k\geq 3$ and either (i) $\alpha$ is odd and $\alpha\geq \sqrt{2k}$ or (ii) $\alpha$ is even and at lest 6, and the fractional part of $\sqrt{r}$ is at most $2(\sqrt{2}-1)$.


title: Some linear preserver problems on B(H) concerning rank and corank

abstract: As a continuation of the work on linear maps between operator algebras which preserve certain subsets of operators with finite rank, or corank, here we consider the problem inbetween, that is, we treat the question of preserving operators with infinite rank and infinite corank. Since, as it turns out, in this generality our preservers cannot be written in a nice form what we have got used to when dealing with linear preserver problems, hence we restrict our attention to certain important classes of operators like idempotents, or projections, or partial isometries. We conclude the paper with a result on the form of linear maps which preserve the left ideals in B(H).


title: Divergences as a grading of the formal variational calculus

abstract: It is shown that the new formula for the field theory Poisson brackets arise naturally in the extension of the formal variational calculus incorporating divergences. The linear spaces of local functionals, evolutionary vector fields, functional forms, multi-vectors and differential operators become graded with respect to divergences. The bilinear operations, such as the action of vector fields on functionals, the commutator of vector fields, the interior product of forms and vectors and the Schouten-Nijenhuis bracket are compatible with the grading. A definition of the adjoint graded operator is proposed and antisymmetric operators are constructed with the help of boundary terms. The fulfilment of the Jacobi identity for the new Poisson brackets is shown to be equivalent to vanishing of the Schouten-Nijenhuis bracket of the Poisson bivector with itself. It is demonstrated, as an example, that the second structure of the Korteweg-de Vries equation is not Hamiltonian with respect to the new brackets until special boundary conditions are prescribed.


title: Monoidal categories and multiextensions

abstract: We show that the obstruction to the existence of a strict symmetric monoidal structure on a monoidal stack $\cal C$ is determined by a commutator biextension associated to $\cal C$, and that this biextension is alternating under an additional hypothesis. The analogous construction for monoidal 2-stacks is described, together with the corresponding generalizations of the concept of a biextension.


title: Foliation Cones

abstract: David Gabai showed that disk decomposable knot and link complements carry taut foliations of depth one. In an arbitrary sutured 3-manifold M, such foliations F, if they exist at all, are determined up to isotopy by an associated ray [F] issuing from the origin in H^1(M;R) and meeting points of the integer lattice H^1(M;Z). Here we show that there is a finite family of nonoverlapping, convex, polyhedral cones in H^1(M;R) such that the rays meeting integer lattice points in the interiors of these cones are exactly the rays [F]. In the irreducible case, each of these cones corresponds to a pseudo-Anosov flow and can be computed by a Markov matrix associated to the flow. Examples show that, in disk decomposable cases, these are effectively computable. Our result extends to depth one a well known theorem of Thurston for fibered 3-manifolds. The depth one theory applies to higher depth as well.


title: Moduli of vector bundles on curves in positive characteristic

abstract: Let $X$ be a projective curve of genus 2 over an algebraically closed field of characteristic 2. The Frobenius map on X induces a rational map on the moduli space of rank-2 bundles. We show that up to isomorphism, there is only one (up to tensoring by an order two line bundle) semi-stable vector bundle of rank 2 with determinant equal to a theta characteristic whose Frobenius pull-back is not stable. The indeterminacy of the Frobenius map at this point can be resolved by introducing Higgs bundles.


title: Modular representations arising from self-dual $\ell$-adic representations of finite groups

abstract: Suppose $\ell$ is a prime number, ${\mathbf Q}_\ell$ is the field of $\ell$-adic numbers, ${\mathbf F}_\ell$ is the finite field of $\ell$ elements, and $d$ is a positive integer. Suppose $G$ is a finite subgroup of a symplectic group $Sp_{2d}({\mathbf Q}_\ell)$. We prove that $G$ can be embedded in $Sp_{2d}({\mathbf F}_\ell)$ in such a way that the characteristic polynomials are preserved (mod $\ell$), as long as $\ell>3$.


title: Quasi-isometric rigidity for PSL(2,Z[1/p])

abstract: We prove that PSL(2,Z[1/p]) gives the first example of groups which are not quasi-isometric to each other but have the same quasi-isometry group. Namely, PSL(2,Z[1/p]) and PSL(2,Z[1/q]) are not quasi-isometric unless p=q, and, independent of p, the quasi-isometry group of PSL(2,Z[1/p]) is PSL(2,Q). In addition, we characterize PSL(2,Z[1/p]) uniquely among all finitely generated groups by its quasi-isometry type.


title: Structure of the group of automorphisms of C$^{*}$-algebras

abstract: We obtain a kind of structure theorem for the automorphism group ${\rm Aut}{\cal A}$ of a unital C$^{*}$-algebra ${\cal A}$. According to it, ${\rm Aut}{\cal A}$ can be regarded as a subgroup of the semi-direct product of direct product group consisting of some family of projective unitary groups and some permutation group on the spectrum of ${\cal A}$.


title: What is moonshine?

abstract: This is an informal write up of my talk in Berlin. It gives some background to Goddard's talk (math.QA/9808136) about the moonshine conjectures.


title: Convergence Acceleration via Combined Nonlinear-Condensation Transformations

abstract: A method of numerically evaluating slowly convergent monotone series is described. First, we apply a condensation transformation due to Van Wijngaarden to the original series. This transforms the original monotone series into an alternating series. In the second step, the convergence of the transformed series is accelerated with the help of suitable nonlinear sequence transformations that are known to be particularly powerful for alternating series. Some theoretical aspects of our approach are discussed. The efficiency, numerical stability, and wide applicability of the combined nonlinear-condensation transformation is illustrated by a number of examples. We discuss the evaluation of special functions close to or on the boundary of the circle of convergence, even in the vicinity of singularities. We also consider a series of products of spherical Bessel functions, which serves as a model for partial wave expansions occurring in quantum electrodynamic bound state calculations.


title: On the Schwartz space of the basic affine space

abstract: Let G be the group of points of a split reductive algebraic group over a local field k and let X=G/U where U is a maximal unipotent subgroup of G. In this paper we construct certain canonical G-invariant space S(X) (called the Schwartz space of X) of functions on X, which is an extension of the space of smooth compactly supported functions on X. We show that the space of all elements of S(X) invariant under the Iwahori subgroup of G coincides with space generated by the elements of the so called periodic Lusztig's basis, introduced recently by G.Lusztig. We also give an interpretation of this space in terms of certain equivariant K-group (this was also done by G.Lusztig). Finally we present a global analogue of S(X) which allows us to give a somewhat untraditional treatment of the theory of principal Eisenstein series.


title: Fundamentals of Kauffman bracket skein modules

abstract: Skein modules are the main objects of an algebraic topology based on knots (or position). In the same spirit as Leibniz we would call our approach "algebra situs." When looking at the panorama of skein modules we see, past the rolling hills of homologies and homotopies, distant mountains - the Kauffman bracket skein module, and farther off in the distance skein modules based on other quantum invariants. We concentrate here on the basic properties of the Kauffman bracket skein module; properties fundamental in further development of the theory. In particular we consider the relative Kauffman bracket skein module, and we analyze skein modules of I-bundles over surfaces.


title: Equivalences of triangulated categories and Fourier-Mukai transforms

abstract: We give a condition for an exact functor between triangulated categories to be an equivalence. Applications to Fourier-Mukai transforms are discussed. In particular, we obtain a large number of such transforms for K3 surfaces.


title: Finite time extinction of super-Brownian motions with catalysts

abstract: Consider a catalytic super-Brownian motion $X=X^\Gamma$ with finite variance branching. Here `catalytic' means that branching of the reactant $X$ is only possible in the presence of some catalyst. Our intrinsic example of a catalyst is a stable random measure $\Gamma $ on $R$ of index $0< gamma <1$. Consequently, here the catalyst is located in a countable dense subset of $R$. Starting with a finite reactant mass $X_0$ supported by a compact set, $X$ is shown to die in finite time. Our probabilistic argument uses the idea of good and bad historical paths of reactant `particles' during time periods $[T_{n},T_{n+1})$. Good paths have a significant collision local time with the catalyst, and extinction can be shown by individual time change according to the collision local time and a comparison with Feller's branching diffusion. On the other hand, the remaining bad paths are shown to have a small expected mass at time $T_{n+1}$ which can be controlled by the hitting probability of point catalysts and the collision local time spent on them.


title: Blowing up non-commutative smooth surfaces

abstract: In this paper we will think of certain abelian categories with favorable properties as non-commutative surfaces. We show that under certain conditions a point on a non-commutative surface can be blown up. This yields a new non-commutative surface which is in a certain sense birational to the original one. This construction is analogous to blowing up a Poisson surface in a point of the zero-divisor of the Poisson bracket. By blowing up $\le 8$ points in the elliptic quantum plane one obtains global non-commutative deformations of Del-Pezzo surfaces. For example blowing up six points yields a non-commutative cubic surface. Under a number of extra hypotheses we obtain a formula for the number of non-trivial simple objects on such non-commutative surfaces.


title: On the $A_\infty$-Formality conjecture

abstract: It is proved that the associative differential graded algebra of (polynomial) polyvector fields on a vector space (may be infinite- dimensional) is quasi-isomorphic to the corresponding cohomological Hochschild complex of (polynomial) functions on this vector space as an associative differential graded algebra. This result is an $A_\infty$-version of the Formality conjecture of Maxim Kontsevich [K].


title: Signed shape tilings of squares

abstract: Let T be a tile in the Cartesian plane made up of finitely many rectangles whose corners have rational coordinates and whose sides are parallel to the coordinate axes. This paper gives necessary and sufficient conditions for a square to be tilable by finitely many \Q-weighted tiles with the same shape as T, and necessary and sufficient conditions for a square to be tilable by finitely many \Z-weighted tiles with the same shape as T. The main tool we use is a variant of F. W. Barnes's algebraic theory of brick packing, which converts tiling problems into problems in commutative algebra.


title: The Explicit Formula and a Propagator

abstract: I give a new derivation of the Explicit Formula for the general number field K, which treats all primes in exactly the same way, whether they are discrete or archimedean, and also ramified or not. In another token, I advance a probabilistic interpretation of Weil's positivity criterion, as opposed to the usual geometrical analogies or goals. But in the end, I argue that the new formulation of the Explicit Formula signals a specific link with Quantum Fields, as opposed to the Hilbert-Polya operator idea (which leads rather to Quantum Mechanics).


title: A combinatorial determinant

abstract: A theorem of Mina evaluates the determinant of a matrix with entries $D^j(f(x)^i)$. We note the important special case where the matrix entries are evaluated at $x=0$ and give a simple proof of it, and some applications. We then give a short proof of the general case.


title: Gorenstein dimension of modules

abstract: In these expository notes I discuss several concepts and results in the theory of modules over commutative rings, revolving around the Gorenstein dimension of modules. Some of the related notions are the Auslander dual, k-torsionless modules, and k-th syzygies. Essentially everything in these notes can be found, in one form or another, in the memoir "Stable module theory" by M. Auslander and M. Bridger (Mem. A.M.S., no. 94, 1969). The only difference is in presentation. In the Auslander-Bridger memoir many of the results are proved in the most general setting, e.g. over possibly non-commutative, non-Noetherian rings. The techniques used are quite abstract and unfamiliar to many commutative algebraists. Much space is devoted to the theory of satellites of functors which are exact only in the middle, etc. While such a degree of generality has many advantages, it does make the memoir difficult to read for the non-expert. My goal in writing these notes was to develop the theory in the context of commutative Noetherian rings, and to show that, in this important special case, the theory is fairly elementary and easy to build. As a practical matter, then, I wrote the notes using Matsumura's "Commutative ring theory" as the only pre-requisite; and indeed, my hope is that these notes can be read just like an extra chapter in Matsumura's book.


title: Littlewood-Richardson coefficients and Kazhdan-Lusztig polynomials

abstract: We show that the Littlewood-Richardson coefficients are values at 1 of certain parabolic Kazhdan-Lusztig polynomials for affine symmetric groups. These q-analogues of Littlewood-Richardson multiplicities coincide with those previously introduced in terms of ribbon tableaux.


title: Fractional Brownian motion and the Markov Property

abstract: Fractional Brownian motion belongs to a class of long memory Gaussian processes that can be represented as linear functionals of an infinite dimensional Markov process. This representation leads naturally to: - An efficient algorithm to approximate the process. - An infinite dimensional ergodic theorem which applies to functionals of the type $integral_0^t phi(V_h(s)) ds $ where $V_h(s)=integral_0^t h(t-u) dB_u$ and $B$ is a standard Brownian motion.


title: The SU(3) Casson Invariant for Integral Homology 3-Spheres

abstract: We derive a gauge theoretic invariant of integral homology 3-spheres which counts gauge orbits of irreducible, perturbed flat SU(3) connections with sign given by spectral flow. To compensate for the dependence of this sum on perturbations, the invariant includes contributions from the reducible, perturbed flat orbits. Our formula for the correction term generalizes that given by Walker in his extension of Casson's SU(2) invariant to rational homology 3-spheres.


title: Software for the Algorithmic Work with Orthogonal Polynomials and Special Functions

abstract: In the last decade major steps towards an algorithmic treatment of orthogonal polynomials and special functions (OP & SF) have been made, notably Zeilberger's brilliant extension of Gosper's algorithm on algorithmic definite hypergeometric summation. By implementations of these and other algorithms symbolic computation has the potential to change the daily work of everybody who uses orthogonal polynomials or special functions in research or applications. It can be expected that symbolic computation will also play an important role in on-line versions of major revisions of existing formula books in the area of OP & SF. It this couple of talks I present software in Maple of those algorithmic techniques, in particular of Gosper's, Zeilberger's, and Petkovsek's algorithms and their q-analogoues. Some implementational details are discussed. The main emphasis, however, is given to on-line demonstrations of these algorithms using our Maple implementations (jointly with Harald Boeing) covering many examples from the field of OP & SF.


title: Lattice Diagram Polynomials and Extended Pieri Rules

abstract: The lattice cell in the ${i+1}^{st}$ row and ${j+1}^{st}$ column of the positive quadrant of the plane is denoted $(i,j)$. If $\mu$ is a partition of $n+1$, we denote by $\mu/ij$ the diagram obtained by removing the cell $(i,j)$ from the (French) Ferrers diagram of $\mu$. We set $\Delta_{\mu/ij}=\det \| x_i^{p_j}y_i^{q_j} \|_{i,j=1}^n$, where $(p_1,q_1),... ,(p_n,q_n)$ are the cells of $\mu/ij$, and let ${\bf M}_{\mu/ij}$ be the linear span of the partial derivatives of $\Delta_{\mu/ij}$. The bihomogeneity of $\Delta_{\mu/ij}$ and its alternating nature under the diagonal action of $S_n$ gives ${\bf M}_{\mu/ij}$ the structure of a bigraded $S_n$-module. We conjecture that ${\bf M}_{\mu/ij}$ is always a direct sum of $k$ left regular representations of $S_n$, where $k$ is the number of cells that are weakly north and east of $(i,j)$ in $\mu$. We also make a number of conjectures describing the precise nature of the bivariate Frobenius characteristic of ${\bf M}_{\mu/ij}$ in terms of the theory of Macdonald polynomials. On the validity of these conjectures, we derive a number of surprising identities. In particular, we obtain a representation theoretical interpretation of the coefficients appearing in some Macdonald Pieri Rules.


title: Cohomology and Obstructions III: A variational form of the generalized Hodge conjecture on K-trivial threefolds

abstract: This paper studies the Hilbert scheme of a curve on a complete-intersection K-trivial threefold, in the case in which the curve is unobstructed in the ambient variety in which the threefold lives. The basic result is that the obstruction theory of the curve is completely determined by the scheme-theoretic Abel-Jacobi mapping. Several applications of this fact are given.


title: Science Fiction and Macdonald's Polynomials

abstract: This work studies the remarkable relationships that hold among certain m-tuples of the Garsia-Haiman modules $ {\bf M}_\mu$ and corresponding elements of the Macdonald basis. We recall that ${\bf M}_\mu$ is defined for a partition $\mu\part n$, as the linear span of derivatives of a certain bihomogeneous polynomial $\Delta_ \mu(x,y)$ in the variables $x_1,x_2,..., x_n, y_1,y_2,..., y_n$. It has been conjectured by Garsia and Haiman that ${\bf M}_\mu$ has $n!$ dimensions and that its bigraded Frobenius characteristic is given by the symmetric polynomial ${\widetilde{H}}_\mu(x;q,t)=\sum_{\lambda\part n} S_\lambda(X) {\widetilde{K}}_{\lambda\mu}(q,t)$ where the ${\widetilde{K}}_{\lambda\mu}(q,t)$ are related to the Macdonald $q,t$-Kostka coefficients $ K_{\lambda\mu}(q,t)$ by the identity ${\widetilde{K}}_{\lambda\mu}(q,t)=K_{\lambda\mu}(q,1/t)t^{n(\mu)}$ with $n(\mu)$ the x-degree of $\Delta_ \mu(x;y)$. Computer data has suggested that as $\nu$ varies among the immediate predecessors of a partition $\mu$, the spaces ${\bf M}_\nu$ behave like a boolean lattice. We formulate a number of remarkable conjectures about the Macdonald polynomials. In particular we obtain a representation theoretical interpretation for some of the symmetries that can be found in the computed tables of $q,t$-Kostka coefficients.


title: Quantum cyclotomic orders of 3-manifolds

abstract: This paper provides a topological interpretation for number theoretic properties of quantum invariants of 3-manifolds. In particular, it is shown that the p-adic valuation of the quantum SO(3)-invariant of a 3-manifold M, for odd primes p, is bounded below by a linear function of the mod p first betti number of M. Sharper bounds using more delicate topological invariants related to Massey products are given as well.


title: Quantization of Forms on Cotangent Bundle

abstract: We consider the following construction of quantization. For a Riemannian manifold $M$ the space of forms on $T^*M$ is made into a space of (full) symbols of operators acting on forms on $M$. This gives rise to the composition of symbols, which is a deformation of the (``super'')commutative multiplication of forms. The symbol calculus is exact for differential operators and the symbols that are polynomial in momenta. We calculate the symbols of natural Laplacians. (Some nice Weitzenb\"ock like identities appear here.) Formulas for the traces corresponding to natural gradings of $\Omega (T^*M)$ are established. Using these formulas, we give a simple direct proof of the Gauss-Bonnet-Chern Theorem. We discuss these results in the connection of a general question of the quantization of forms on a Poisson manifold.


title: Discrete Series for Loop Groups.I. An algebraic Realization of Standard Modules

abstract: In this paper we consider the category $C (\tilde k, \tilde H)$ of the $(\tilde k, \tilde H)$-modules, including all the Verma modules, where $k$ is some compact Lie algebra and H some Cartan subgroup, $\tilde k$ and $\tilde H$ are the corresponding affine Lie algebra and the affine Cartan group, respectively. To this category we apply the Zuckerman functor and its derivatives. By using the determinant bundle structure, we prove the natural duality of the Zuckerman derived functors, and deduce a Borel-Weil-Bott type theorem on decomposition of the nilpotent part cohomology.


title: Cotangent cohomology of rational surface singularities

abstract: We show that the number of generators of the n-th cotangent cohomology group (n >=2) is the same for all rational surface singularities Y. For a large class of rational surface singularities, including quotient singularities, this number is also the dimension. For them we obtain an explicit formula for the corresponding Poincare series.


title: Nonnegative Ricci curvature, small linear diameter growth and finite generation of fundamental groups

abstract: In 1968, Milnor conjectured that a complete noncompact manifold with nonnegative Ricci curvature has a finitely generated fundamental group. The author applies the Excess Theorem of Abresch and Gromoll (1990), to prove two theorems. The first states that if such a manifold has small linear diameter growth then its fundamental group is finitely generated. The second states that if such a manifold has an infinitely generated fundamental group then it has a tangent cone at infinity which is not polar. A corollary of either theorem is the fact that if such a manifold has linear volume growth, then its fundamental group is finitely generated.


title: Boolean Term Orders and the Root System B_n

abstract: A boolean term order is a total order on subsets of [n]={1,...,n} such that \emptyset < alpha for all nonempty alpha contained in [n], and alpha < beta implies alpha \cup gamma < beta \cup gamma for all gamma which do not intersect alpha or beta. Boolean term orders arise in several different areas of mathematics, including Gr\"obner basis theory for the exterior algebra, and comparative probability. The main result of this paper is that boolean term orders correspond to one element extensions of the oriented matroid M(B_n), where B_n is the root system {e_i:1 \leq i \leq n \} \cup {e_i \pm e_j :1 \leq i < j \leq n}. This establishes boolean term orders in the frame work of the Baues problem. We also define a notion of coherence for a boolean term order, and a flip relation between different term orders. Other results include examples of noncoherent term orders, including an example exhibiting flip deficiency, and enumeration of boolean term orders for small values of n.


title: There are More Than 2**(n/17) n-Letter Ternary Square-Free Words

abstract: We prove that the `connective constant' for ternary square-free words is at least $2^{1/17} = 1.0416 ... $, improving on Brinkhuis and Brandenburg's lower bounds of $2^{1/24}=1.0293 ...$ and $2^{1/22}=1.032 ...$ respectively. This is the first improvement since 1983.


title: The Combinatorial Astrology of Rabbi Abraham Ibn Ezra

abstract: Rabbi Abraham Ben Meir Ibn Ezra's(1089-1164) computation of the seventh row of the so-called Pascal-Chu triangle is described.


title: A note on doubles of groups

abstract: Recently, Rips produced an example of a double of two free groups which has unsolvable generalized word problem. In this paper, we show that Rips's example fits into a large class of doubles of groups, each member of which contains F_2 x F_2 and therefore has unsolvable generalized word problem and is incoherent.


title: Geometry of the moduli of higher spin curves

abstract: This article treats various aspects of the geometry of the moduli of r-spin curves and its compactification. Generalized spin curves, or r-spin curves, are a natural generalization of 2-spin curves (algebraic curves with a theta-characteristic), and have been of interest lately because of the similarities between the intersection theory of these moduli spaces and that of the moduli of stable maps. In particular, these spaces are the subject of a remarkable conjecture of E. Witten relating their intersection theory to the Gelfand-Dikii (rth KdV) heirarchy. There is also a W-algebra conjecture for these spaces, analogous to the Virasoro conjecture of quantum cohomology. We construct a smooth compactification of the stack of smooth r-spin curves, describe the geometric meaning of its points, and prove that it is projective. We also prove that when r is odd and g>1, the compactified stack of spin curves and its coarse moduli space are irreducible, and when r is even and g>1, the stack is the disjoint union of two irreducible components. We give similar results for n-pointed spin curves, as required for Witten's conjecture, and also generalize to the n-pointed case the classical fact that when g=1, the moduli of r-spin curves is the disjoint union of d(r) components, where d(r) is the number of positive divisors of r. These irreducibility properties are important in the study of the Picard group of the stack, and also in the study of the cohomological field theory related to Witten's conjecture (see math.AG/9905034).


title: The q-deformed Knizhnik-Zamolodchikov-Bernard heat equation

abstract: We introduce a q-deformation of the genus one sl_2 Knizhnik-Zamolodchikov-Bernard heat equation. We show that this equation for the dependence on the moduli of elliptic curves is compatible with the qKZB equations, which give the dependence on the marked points.


title: The Abel-Jacobi map of a moduli component of vector bundles on the cubic threefold

abstract: The Abel-Jacobi map of the family of elliptic quintics lying on a general cubic threefold is studied. It is proved that it factors through a moduli component of stable rank 2 vector bundles on the cubic threefold with Chern numbers c_1=0, c_2=2, whose general point represents a vector bundle obtained by Serre's construction from an elliptic quintic. The elliptic quintics mapped to a point of the moduli space vary in a 5-dimensional projective space inside the Hilbert scheme of curves, and the map from the moduli space to the intermediate Jacobian is \'etale. As auxiliary results, the irreducibility of families of elliptic normal quintics and of rational normal quartics on a general cubic threefold is proved. This implies the uniqueness of the moduli component under consideration. The techniques of Clemens-Griffiths and Welters are used for the calculation of the infinitesimal Abel-Jacobi map.


title: Representations of N=2 superconformal vertex algebra

abstract: Let $L_c$ be simple vertex operator superalgebra(SVOA) associated to the vacuum representation of N=2 superconformal algebra with the central charge $c$. Let $c_m = {3m}/{m+2}$. We classify all irreducible modules for the SVOA $L_{c_m}$. When $m$ is an integer we prove that the set of all unitary representations of N=2 superconformal algebra with the central charge $c_m$ provides all irreducible $L_{c_m}$-modules. When $m \notin {\N} $ and $m$ is an admissible rational number we show that irreducible $L_{c_m}$-modules are parameterized with the union of one finite set and union of finitely many rational curves.


title: Bounding canonical genus bounds volume

abstract: A Seifert surface for a knot K is called canonical if it can be built by applying Seifert's algorithm to some projection of K. The canonical genus of K is the smallest genus of a surface so obtained. In this paper we show that there is a bound on the volume of a hyperbolic knot which admits a canonical surface of genus g. The bound can, in fact, be chosen to be linear in g.


title: Free genus one knots with large volume

abstract: A Seifert surface F for a knot K is free if the complement of F is a handlebody (i.e., has free fundamental group). The free genus of K is the minimum genus among all free Seifert surfaces for K. In this paper we show that there exist families of hyperbolic knots with arbitrarily large volume, which each have free genus one. This implies that there are knots with free genus one but arbitrarily large canonical genus, and that there exist knots admitting incompressible free Seifert surfaces which cannot be built by applying Seifert's algorithm to a projection of the knot.


title: Vanishing theorems on covering manifolds

abstract: Let $M$ be an oriented even-dimensional Riemannian manifold on which a discrete group $\Gamma$ of orientation-preserving isometries acts freely, so that the quotient $X=M/\Gamma$ is compact. We prove a vanishing theorem for a half-kernel of a $\Gamma$-invariant Dirac operator on a $\Gamma$-equivariant Clifford module over $M$, twisted by a sufficiently large power of a $\Gamma$-equivariant line bundle, whose curvature is non-degenerate at any point of $M$. This generalizes our previous vanishing theorems for Dirac operators on a compact manifold. In particular, if $M$ is an almost complex manifold we prove a vanishing theorem for the half-kernel of a $\spin^c$ Dirac operator, twisted by a line bundle with curvature of a mixed sign. In this case we also relax the assumption of non-degeneracy of the curvature. When $M$ is a complex manifold our results imply analogues of Kodaira and Andreotti-Grauert vanishing theorems for covering manifolds. As another application, we show that semiclassically the $\spin^c$ quantization of an almost complex covering manifold gives an "honest" Hilbert space. This generalizes a result of Borthwick and Uribe, who considered quantization of compact manifolds. Application of our results to homogeneous manifolds of a real semisimple Lie group leads to new proofs of Griffiths-Schmidt and Atiyah-Schmidt vanishing theorems.


title: Scaling Limits for Minimal and Random Spanning Trees in Two Dimensions

abstract: A general formulation is presented for continuum scaling limits of stochastic spanning trees. A spanning tree is expressed in this limit through a consistent collection of subtrees, which includes a tree for every finite set of endpoints in $\R^d$. Tightness of the distribution, as $\delta \to 0$, is established for the following two-dimensional examples: the uniformly random spanning tree on $\delta \Z^2$, the minimal spanning tree on $\delta \Z^2$ (with random edge lengths), and the Euclidean minimal spanning tree on a Poisson process of points in $\R^2$ with density $\delta^{-2}$. In each case, sample trees are proven to have the following properties, with probability one with respect to any of the limiting measures: i) there is a single route to infinity (as was known for $\delta > 0$), ii) the tree branches are given by curves which are regular in the sense of H\"older continuity, iii) the branches are also rough, in the sense that their Hausdorff dimension exceeds one, iv) there is a random dense subset of $\R^2$, of dimension strictly between one and two, on the complement of which (and only there) the spanning subtrees are unique with continuous dependence on the endpoints, v) branching occurs at countably many points in $\R^2$, and vi) the branching numbers are uniformly bounded. The results include tightness for the loop erased random walk (LERW) in two dimensions. The proofs proceed through the derivation of scale-invariant power bounds on the probabilities of repeated crossings of annuli.

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


title: Cohomology of the Mumford Quotient

abstract: Let $X$ be a smooth projective variety acted on by a reductive group $G$. Let $L$ be a positive $G$-equivariant line bundle over $X$. We use the Witten deformation of the Dolbeault complex of $L$ to show, that the cohomology of the sheaf of holomorphic sections of the induced bundle on the Mumford quotient of $(X,L)$ is equal to the $G$-invariant part on the cohomology of the sheaf of holomorphic sections of $L$. This result, which was recently proven by C. Teleman by a completely different method, generalizes a theorem of Guillemin and Sternberg, which addressed the global sections. It also shows, that the Morse-type inequalities of Tian and Zhang for symplectic reduction are, in fact, equalities.


title: Configuration spaces of points on the circle and hyperbolic Dehn fillings

abstract: A purely combinatorial compactification of the configuration space of n (>4) distinct points with equal weights in the real projective line was introduced by M. Yoshida. We geometrize it so that it will be a real hyperbolic cone-manifold of finite volume with dimension n-3. Then, we vary weights for points. The geometrization still makes sense and yields a deformation. The effectivity of deformations arisen in this manner will be locally described in the existing deformation theory of hyperbolic structures when n-3 = 2, 3.


title: Torsion Invariants of Combed 3-Manifolds with Boundary Pattern and Legendrian Links

abstract: We extend Turaev's definition of torsion invariants of 3-dimensional manifolds equipped with non-singular vector fields, by allowing (suitable) tangency circles to the boundary, and manifolds with non-zero Euler characteristic. We show that these invariants apply in particular to (the exterior of) Legendrian links in contact 3-manifolds. Our approach uses a combinatorial encoding of vector fields, based on standard spines. In this paper we extend this encoding from closed manifolds to manifolds with boundary.


title: Height pairings on Shimura curves and p-adic uniformization

abstract: We establish a relation between intersection numbers of special cycles on a Shimura curve and special values of derivatives of metaplectic Eisenstein series at a place of bad reduction where p-adic uniformization in the sense of Cherednik and Drinfeld holds. The result extends the one established by one of us (S. Kudla: Ann. of Math. 146 (1997)) for the archimedean place and for the non-archimedean places of good reduction. The bulk of the paper is concerned with the corresponding problem on the Drinfeld upper half plane (the formal scheme version).


title: ABC inequalities for some moduli spaces of log-general type

abstract: We prove a new bound for the Arakelov-Faltings height of an abelian variety over a function field of characteristic zero and relate it to inequalities of ABC-type as conjectured by Buium and Vojta.


title: m-structures determine integral homotopy type

abstract: This paper proves that the functor $C(*)$ that sends pointed, simply-connected CW-complexes to their chain-complexes equipped with diagonals and iterated higher diagonals, determines their integral homotopy type --- even inducing an equivalence of categories between the category of CW-complexes up to homotopy equivalence and a certain category of chain-complexes equipped with higher diagonals. Consequently, $C(*)$ is an algebraic model for integral homotopy types similar to Quillen's model of rational homotopy types. For finite CW complexes, our model is finitely generated. Our result implies that the geometrically induced diagonal map with all ``higher diagonal'' maps (like those used to define Steenrod operations) collectively determine integral homotopy type.


title: Normal conditional expectations of finite index and sets of modular generators

abstract: Normal conditional expectations E: M --> N in M of finite index on von Neumann algebras M with discrete center are investigated to find an estimate for the minimal number of generators of M as a Hilbert N-module. Analyzing the case of M being finite type I with discrete center we obtain that these von Neumann algebras M are always finitely generated Hilbert N-modules with a minimal generator set consisting of at most [K(E)]^2 generators, where [.] denotes the integer part of a real number and K(E) = {K: K.E-id_M >= 0}. This result contrasts remarkable examples by P. Jolissaint and S. Popa showing the existence of normal conditional expectations of finite index on certain type II_1 von Neumann algebras with center l_\infty which are not algebraically of finite index in the sense of Y. Watatani. We show that estimates of the minimal number of module generators by a function of [K(E)] cannot exist for certain type II_1 von Neumann algebras with non-trivial center.


title: A Bound for the Nilpotency Class of a Finite p-Group in terms of its Coexponent

abstract: The coexponent of a finite p-group is introduced and we consider how the nilpotency class is bounded in terms of this invariant.


title: On Complexity of the Word Problem in Braid Groups and Mapping Class Groups

abstract: We prove that the word problem in the mapping class group of the once-punctured surface of genus g has complexity O(|w|^2 g for |w| > log(g) where |w| is the length of the word in a (standard) set of generators. The corresponding bound in the case of the closed surface is O(|w|^2 g^2). We also carry out the same methods for the braid groups, and show that this gives a bound which improves the best known bound in this case; namely, the complexity of the word problem in the n-braid group is O(|w|^2 n), for |w| > log n. We state a similar result for mapping class groups of surfaces with several punctures.


title: Groups Generated by Powers of Dehn Twists

abstract: We classify groups generated by powers of 2 Dehn twists which are 1) free or 2) have no ``unexpected'' reducible elements. We give some sufficient conditions in the case of groups generated by powers of more than two twists.


title: Quasi-Hopf Superalgebras and Elliptic Quantum Supergroups

abstract: We introduce the quasi-Hopf superalgebras which are $Z_2$ graded versions of Drinfeld's quasi-Hopf algebras. We describe the realization of elliptic quantum supergroups as quasi-triangular quasi-Hopf superalgebras obtained from twisting the normal quantum supergroups by twistors which satisfy the graded shifted cocycle condition, thus generalizing the quasi-Hopf twisting procedure to the supersymmetric case. Two types of elliptic quantum supergroups are defined, that is the face type $B_{q,\lambda}(G)$ and the vertex type $A_{q,p}[\hat{sl(n|n)}]$ (and $A_{q,p}[\hat{gl(n|n)}]$), where $G$ is any Kac-Moody superalgebra with symmetrizable generalized Cartan matrix. It appears that the vertex type twistor can be constructed only for $U_q[\hat{sl(n|n)}]$ in a non-standard system of simple roots, all of which are fermionic.

categories: math.QA hep-th math-ph math.MP nlin.SI solv-int


title: Bosonization and integral representation of solutions of the Knizhnik-Zamolodchikov-Bernard equations

abstract: We construct an integral representation of solutions of the Knizhnik-Zamolodchikov-Bernard equations, using the Wakimoto modules.


title: On the divisor class group of double solids

abstract: For a double solid $V\to P_3(C)$ branched over a surface $B\subset P_3(C)$ with only ordinary nodes as singularities, we give a set of generators of the divisor class group $Pic(\tilde{V}})$ in terms of contact surfaces of $B$ with only superisolated singularities in the nodes of $B$. As an application we give a condition when the integral cohomology of $\tilde{V}$ has no 2-torsion. All possible cases are listed if $B$ is a quartic surface. Furthermore we give a new lower bound for the dimension of the code of $B$.


title: A review of Hardy inequalities

abstract: We review the literature concerning the Hardy inequality for regions in Euclidean space and in manifolds, concentrating on the best constants. We also give applications of these inequalities to boundary decay and spectral approximation.


title: A Calculus Based on a q-deformed Heisenberg Algebra

abstract: We show how one can construct a differential calculus over an algebra where position variables x and momentum variables p have be defined. As the simplest example we consider the one-dimensional q-deformed Heisenberg algebra. This algebra has a subalgebra generated by x and its inverse which we call the coordinate algebra. A physical field is considered to be an element of the completion of this algebra. We can construct a derivative which leaves invariant the coordinate algebra and so takes physical fields into physical fields. A generalized Leibniz rule for this algebra can be found. Based on this derivative differential forms and an exterior differential calculus can be constructed.


title: On highest weight modules over elliptic quantum groups

abstract: The purpose of this note is to define and construct highest weight modules for Felder's elliptic quantum groups. This is done by using exchange matrices for intertwining operators between (not necessarily finite-dimensional) modules over quantum affine algebras.


title: The precise range of indices for the RH_r- and A_p- weight classes

abstract: For w in A_p(RH_r), we determine the precise range of indices so that w in RH_r(A_p), the precise range of q smaller than p for which w in A_q, and the precise range of s bigger than 1 for which w^s in A_p.


title: Dehn Surgery Equivalence Relations on Three-Manifolds

abstract: When can one 3-manifold be transformed to another by a finite sequence of Dehn surgeries which are restricted to preserve the first homology of the manifolds ? What is the resulting equivalence relation on 3-manifolds ? What if the surgery circle is further restricted to lie more deeply in the lower central series of the fundamental group ? We answer these questions. It is shown that many of these questions have answers in terms of classical toplogical invariants. Relations with Heegard splittings and the Torelli group are discussed. This is also related to whether or not one 3-manifold may be obtained from another by Dehn surgery on a link of restricted type. These equivalence relations form the philosophical basis of the authors joint work with Paul Melvin on a theory of finite type invariants for arbitrary 3-manifolds.


title: Formality of Chain Operad of Small Squares

abstract: We prove that the chain operad of small squares is formal. This fact clarifies situation with the proof of M. Kontsevich formality theorem in the paper of the author math.QA/9803025, revised Sept 24. The formality of the operad follows quite easily from the existence of an associator.


title: Circumscribing constant-width bodies with polytopes

abstract: Makeev conjectured that every constant-width body is inscribed in the dual difference body of a regular simplex. We prove that homologically, there are an odd number of such circumscribing bodies in dimension 3, and therefore geometrically there is at least one. We show that the homological answer is zero in higher dimensions, a result which is inconclusive for the geometric question. We also give a partial generalization involving affine circumscription of strictly convex bodies.


title: Finiteness of minimal modular symbols for SL(n)

abstract: Let K be a number field with ring of integers O, and let G be a finite-index subgroup of SL(n,O). Using a classical construction from the geometry of numbers and the theory of modular symbols, we exhibit a finite spanning set for the highest nonvanishing rational cohomology group of G.


title: A sequence of connections and a characterization of K\"ahler manifolds

abstract: We study a sequence of connections which is associated with a Riemannian metric and an almost symplectic structure on a manifold. We prove that if this sequence is trivial (i.e. constant) or 2-periodic, then the manifold has a canonical K\"ahler structure.


title: A modular invariance on the theta functions defined on vertex operator algebras

abstract: We introduce theta-functions of VOA-modules and show that the space spanned by them has a modular invariance property.


title: Branched Spines and Contact Structures on 3-manifolds

abstract: We introduce and analyze the characteristic foliation induced by a contact structure on a branched surface, in particular a branched standard spine of a 3-manifold. We extend to (fairly general) singular foliations of branched surfaces the local existence and uniqueness results which hold for genuine surfaces. Moreover we show that global uniqueness holds when restricting to tight structures. We establish branched versions of the elimination lemma. We prove a smooth version of the Gillman-Rolfsen PL-embedding theorem, deducing that branched spines can be used to construct contact structures in a given homotopy class of plane fields.


title: On quantum matrix algebras satisfying the Cayley-Hamilton-Newton identities

abstract: The Cayley-Hamilton-Newton identities which generalize both the characteristic identity and the Newton relations have been recently obtained for the algebras of the RTT-type. We extend this result to a wider class of algebras M(R,F) defined by a pair of compatible solutions of the Yang-Baxter equation. This class includes the RTT-algebras as well as the Reflection equation algebras.


title: Sharp boundary estimates for elliptic operators

abstract: We prove sharp L^2 boundary decay estimates for the eigenfunctions of certain second order elliptic operators acting in a bounded region, and of their first order space derivatives, using only the Hardy inequality. We then deduce bounds on the change of the eigenvalues when the region is reduced slightly in size, subject to DBCs.


title: Strongly homotopy algebras of a K\"ahler manifold

abstract: It is shown that any compact K\"ahler manifold $M$ gives canonically rise to two strongly homotopy algebras, the first one being associated with the Hodge theory of the de Rham complex and the second one with the Hodge theory of the Dolbeault complex. In these algebras the product of two harmonic differential forms is again harmonic. If $M$ happens to be a Calabi-Yau manifold, there exists a third strongly homotopy algebra closely related to the Barannikov-Kontsevich extended moduli space of complex structures.


title: On the K-theory of elliptic curves

abstract: Let A be the coordinate ring of an affine elliptic curve (over an infinite field k) of the form X-{p}, where X is projective and p is a closed point on X. Denote by F the function field of X. We show that the image of H_*(GL_2(A),Z) in H_*(GL_2(F),Z) coincides with the image of H_*(GL_2(k),Z). As a consequence, we obtain numerous results about the K-theory of A and X. For example, if k is a number field, we show that r_2(K_2> (A) x Q)=0, where r_m denotes the m-th level of the rank filtration.


title: Three-generator Artin groups of large type are biautomatic

abstract: In this article we construct a piecewise Euclidean, non-positively curved 2-complex for the 3-generator Artin groups of large type. As a consequence we show that these groups are biautomatic. A slight modification of the proof shows that many other Artin groups are also biautomatic. The general question (whether all Artin groups are biautomatic) remains open.


title: Computing the homology of Koszul complexes

abstract: Let R be a commutative ring and I an ideal in R which is locally generated by a regular sequence of length d. Then, each projective R/I-module V has an R-projective resolution P. of length d. In this paper, we compute the homology of the n-th Koszul complex associated with the homomorphism P_1 --> P_0 for all n, if d = 1. This computation yields a new proof of the classical Adams-Riemann-Roch formula for regular closed immersions which does not use the deformation to the normal cone any longer. Furthermore, if d = 2, we compute the homology of the complex N Sym^2 K(P.) where K and N denote the functors occurring in the Dold-Kan correspondence.


title: A change-of-coordinates from Geometry to Algebra, applied to Brick Tilings

abstract: A proof is sketched of the Polynomial Conjecture of the author (circulated as preprint "Brick Tiling and Monotone Boolean Functions", available at the http://www.math.ufl.edu/~squash/tilingstuff.html url) which says that the family of minimal tilable-boxes grows polynomially with dimension. An important ingredient of the argument is translating the problem from its finite-dimensional geometric framework to the algebraic setting of an infinite-dimensional lattice.


title: The Burnside groups and small cancellation theory

abstract: In a pair of recent papers (one to appear and one forthcoming), the author develops a general version of small cancellation theory applicable in higher dimensions, and then applies this theory to the Burnside groups of sufficiently large exponent. The present article gives a brief introduction to the methods and techniques involved in the proofs. Many of the ideas originate with the recent work of A. Yu. Olshanskii and S. V. Ivanov. Some familiarity with their work on the Burnside problem is assumed.


title: Signatures of Lefschetz fibrations

abstract: Let M be a smooth 4-manifold which admits a genus g Lefschetz fibration over D^2 or S^2. We develop a technique to compute the signature of M using the global monodromy of this fibration.