title: Gap Forcing

abstract: Many of the most common reverse Easton iterations found in the large cardinal context, such as the Laver preparation, admit a gap at some small delta in the sense that they factor as P*Q, where P has size less than delta and Q is forced to be delta-strategically closed. In this paper, generalizing the Levy-Solovay theorem, I show that after such forcing, every embedding j:V[G]-->M[j(G)] in the extension which satisfies a mild closure condition is the lift of an embedding j:V-->M in the ground model. In particular, every ultrapower embedding in the extension lifts an embedding from the ground model and every measure in the extension which concentrates on a set in the ground model extends a measure in the ground model. It follows that gap forcing cannot create new weakly compact cardinals, measurable cardinals, strong cardinals, Woodin cardinals, strongly compact cardinals, supercompact cardinals, almost huge cardinals, huge cardinals, and so on.


title: The Lottery Preparation

abstract: The lottery preparation, a new general kind of Laver preparation, works uniformly with supercompact cardinals, strongly compact cardinals, strong cardinals, measurable cardinals, or what have you. And like the Laver preparation, the lottery preparation makes these cardinals indestructible by various kinds of further forcing. A supercompact cardinal kappa, for example, becomes fully indestructible by kappa-directed closed forcing; a strong cardinal kappa becomes indestructible by less-than-or-equal-kappa-strategically closed forcing; and a strongly compact cardinal kappa becomes indestructible by, among others, the forcing to add a Cohen subset to kappa, the forcing to shoot a club C in kappa which avoids the measurable cardinals and the forcing to add various long Prikry sequences. The lottery preparation works best when performed after fast function forcing, which adds a new completely general kind of Laver function for any large cardinal, thereby freeing the Laver function concept from the supercompact cardinal context.


title: The Aarhus integral of rational homology 3-spheres III: The Relation with the Le-Murakami-Ohtsuki Invariant

abstract: Continuing the work started in Part I and II of this series (see q-alg/9706004 and math.QA/9801049), we prove the relationship between the Aarhus integral and the invariant $\Omega$ (henceforth called LMO) defined by T.Q.T. Le, J. Murakami and T. Ohtsuki in q-alg/9512002. The basic reason for the relationship is that both constructions afford an interpretation as "integrated holonomies". In the case of the Aarhus integral, this interpretation was the basis for everything we did in Parts I and II. The main tool we used there was "formal Gaussian integration". For the case of the LMO invariant, we develop an interpretation of a key ingredient, the map $j_m$, as "formal negative-dimensional integration". The relation between the two constructions is then an immediate corollary of the relationship between the two integration theories.


title: Every group has a terminating transfinite automorphism tower

abstract: The automorphism tower of a group is obtained by computing its automorphism group, the automorphism group of THAT group, and so on, iterating transfinitely. Each group maps canonically into the next using inner automorphisms, and so at limit stages one can take a direct limit and continue the iteration. The tower is said to terminate if a fixed point is reached, that is, if a group is reached which is isomorphic to its automorphism group by the natural map. This occurs if a complete group is reached, one which is centerless and has only inner automorphisms. Wielandt [1939] proved the classical result that the automorphism tower of any centerless finite group terminates in finitely many steps. Rae and Roseblade [1970] proved that the automorphism tower of any centerless Cernikov group terminates in finitely many steps. Hulse [1970] proved that the the automorphism tower of any centerless polycyclic group terminates in countably many steps. Simon Thomas [1985] proved that the automorphism tower of any centerless group eventually terminates. In this paper, I remove the centerless assumption, and prove that every group has a terminating transfinite automorphism tower.


title: On Function Theory in Quantum Disc: Integral Representations

abstract: The present work considers one of the simplest homogeneous spaces of the quantum group SU(1,1), the q-analogue of the unit disc in ${\Bbb C}$. We state without proofs q-analogues of Cauchy-Green formulae, integral representations of eigenfunctions of the Laplace-Beltrami operator, Green functions for Poisson equation and an inversion formula for Fourier transform. It is also demonstrated that the two-parameter quantization of the disc introduced before by S. Klimec and A. Lesniewski, can be derived via an application of the method of F. Berezin.


title: Quantum Minkowski spaces

abstract: A survey of results on quantum Poincare groups and quantum Minkowski spaces is presented.


title: Plane partitions I: a generalization of MacMahon's formula

abstract: The number of plane partitions contained in a given box was shown by MacMahon to be given by a simple product formula. By a simple bijection, this formula also enumerates lozenge tilings of hexagons of side-lengths $a,b,c,a,b,c$ (in cyclic order) and angles of 120 degrees. We present a generalization in the case $b=c$ by giving simple product formulas enumerating lozenge tilings of regions obtained from a hexagon of side-lengths $a,b+k,b,a+k,b,b+k$ (where $k$ is an arbitrary non-negative integer) and angles of 120 degrees by removing certain triangular regions along its symmetry axis.


title: Plane partitions II: 5 1/2 symmetry classes

abstract: We present new, simple proofs for the enumeration of five of the ten symmetry classes of plane partitions contained in a given box. Four of them are derived from a simple determinant evaluation, using combinatorial arguments. The previous proofs of these four cases were quite complicated. For one more symmetry class we give an elementary proof in the case when two of the sides of the box are equal. Our results include simple evaluations of the determinants $\det(\delta_{ij}+{x+i+j\choose i})_{0\leq i,j\leq n-1}$ and $\det({x+i+j\choose 2j-i})_{0\leq i,j\leq n-1}$, notorious in plane partition enumeration, whose previous evaluations were quite intricate.


title: The equivalence between enumerating cyclically symmetric, self-complementary and totally symmetric, self-complementary plane partitions

abstract: We prove that the number of cyclically symmetric, self-complementary plane partitions contained in a cube of side $2n$ equals the square of the number of totally symmetric, self-complementary plane partitions contained in the same cube, without explicitly evaluating either of these numbers. This appears to be the first direct proof of this fact. The problem of finding such a proof was suggested by Stanley.


title: Two-dimensional complex tori with multiplication by $\sqrt{d}$

abstract: We give an elementary argument for the well known fact that the endomorphism algebra $End_Q(A)$ of a simple complex abelian surface $A$ can neither be an imaginary quadratic field nor a definite quaternion algebra. Another consequence of our argument is that a two-dimensional complex torus $T$ with $Q(\sqrt{d})\subseteq End_Q(A)$ where $Q(\sqrt{d})$ is real quadratic, is algebraic.


title: Reducibility of polynomials $f(x,y)$ modulo $p$

abstract: We consider absolutely irreducible polynomials $f \in Z[x,y]$ with $\deg_x(f)=m$, $\deg_y(f)=n$ and height $H$. We show that for any prime $p$ with $p>c_{mn} H^{2mn+n-1}$ the reduction $f \bmod p$ is also absolutely irreducible. Furthermore if the Bouniakowsky conjecture is true we show that there are infinitely many absolutely irreducible polynomials $f \in Z[x,y]$ which are reducible mod $p$ where $p$ is a prime with $p>H^{2m}$.


title: A functional-analytic theory of vertex (operator) algebras, I

abstract: This paper is the first in a series of papers developing a functional-analytic theory of vertex (operator) algebras and their representations. For an arbitrary Z-graded finitely-generated vertex algebra (V, Y, 1) satisfying the standard grading-restriction axioms, a locally convex topological completion H of V is constructed. By the geometric interpretation of vertex (operator) algebras, there is a canonical linear map from the tensor product of V and V to the algebraic completion of V realizing linearly the conformal equivalence class of a genus-zero Riemann surface with analytically parametrized boundary obtained by deleting two ordered disjoint disks from the unit disk and by giving the obvious parametrizations to the boundary components. We extend such a linear map to a linear map from the completed tensor product of H and H to H, and prove the continuity of the extension. For any finitely-generated C-graded V-module (W, Y_W) satisfying the standard grading-restriction axioms, the same method also gives a topological completion H^W of W and gives the continuous extensions from the completed tensor product of H and H^W to H^W of the linear maps from the tensor product of V and W to the algenbraic completion of W realizing linearly the above conformal equivalence classes of the genus-zero Riemann surfaces with analytically parametrized boundaries.


title: Toroidal and level 0 U'_q(\hat{sl_{n+1}}) actions on U_q(\hat{gl_{n+1}}) modules

abstract: (1) Utilizing a Braid group action on a completion of U_q(\hat{sl_{n+1}}), an algebra homomorphism from the toroidal algebra U_q(sl_{n+1,tor}) (n\ge 2) with fixed parameter to a completion of U_q(\hat{gl_{n+1}}) is obtained. (2) The toroidal actions by Saito induces a level 0 U'_q(\hat{sl_{n+1}}) action on level 1 integrable highest weight modules of U_q(\hat{sl_{n+1}}). Another level 0 U'_q(\hat{sl_{n+1}}) action is defined by Jimbo, et al., in the case n=1. Using the fact that the intertwiners of U_q(\hat{sl_{n+1}}) modules are intertwiners of toroidal modules for an appropriate comultiplication, the relation between these two level 0 U'_q(\hat{sl_{n+1}}) actions is clarified.


title: Convergent Perturbation Theory for a q-deformed Anharmonic Oscillator

abstract: A $q$--deformed anharmonic oscillator is defined within the framework of $q$--deformed quantum mechanics. It is shown that the Rayleigh--Schr\"odinger perturbation series for the bounded spectrum converges to exact eigenstates and eigenvalues, for $q$ close to 1. The radius of convergence becomes zero in the undeformed limit.


title: Complex structures on nilpotent Lie algebras

abstract: We classify real 6-dimensional nilpotent Lie algebras for which the corresponding Lie group has a left-invariant complex structure, and estimate the dimensions of moduli spaces of such structures.


title: Complex Reflection Groups and Fake Degrees

abstract: In this paper we study the Hecke algebra associated with a complex reflection group W. We discuss some properties of the Galois group of the splitting field of this algebra, and study its action on the so-called fake degrees of W. The methods we use to study the Hecke algebra are based on the construction of representations of this algebra as monodromy of equations of Knizhnik-Zamolodchikov type.


title: Some questions about the index of quantized contact transformations

abstract: An index formula is proposed for contact transformations between contact manifolds equipped with CR structures or with fillings by symplectic manifolds. The formula generalizes the Atiyah-Singer formula and gives a conjectured formula for the index of Fourier integral operators, as well as Epstein's relative index for CR structures.


title: Codimension one spheres which are null homotopic

abstract: This paper classifies embedded, codimension-one spheres which are null homotopic. This information is used to show that all null homotopic, immersed codimension-one spheres which are taut in the sense of Terng and Thorbergsson are actually distance spheres.


title: The quantization conjecture revisited

abstract: A strong version of the quantization conjecture of Guillemin and Sternberg is proved. For a reductive group action on a smooth, compact, polarized variety (X,L), the cohomologies of L over the GIT quotient X // G equal the invariant part of the cohomologies over X. This generalizes the theorem of [Invent. Math. 67 (1982), 515-538] on global sections, and strengthens its subsequent extensions to Riemann-Roch numbers. Remarkable by-products are the invariance of cohomology of vector bundles over X // G under a small change in the defining polarization or under shift desingularization, as well as a new proof of Boutot's theorem. Also studied are equivariant holomorphic forms and the equivariant Hodge-to-de Rham spectral sequences for X and its strata, whose collapse is shown. One application is a new proof of the Borel-Weil-Bott theorem of [Invent. Math. 134 (1998), 1-57] for the moduli stack of G-bundles over a curve, and of analogous statements for the moduli stacks and spaces of bundles with parabolic structures. Collapse of the Hodge-to-de Rham sequences for these stacks is also shown.


title: Planscherel Measure on E_q(2)

abstract: Following the construction of the invariant integral and the scalar product for the quantum Euclidean group E_q(2), we obtained the full matrix elements of its unitary irreducible representations from SU_q(2) by contraction and then derived the Planscherel measure.


title: Uncertainty Relations and Wave Packets on the Quantum Plane

abstract: (2+2)-dimensional quantum mechanical q-phase space which is the semi-direct product of the quantum plane E_q(2)/U(1) and its dual algebra e_q(2)/u(1) is constructed. Commutation and the resulting uncertainty relations are studied. ``Quantum mechanical q-Hamiltonian'' of the motion over the quantum plane is derived and the solution of the Schroedinger equation for the q-semiclassical motion governed by the expectation value of that Hamiltonian is solved.


title: K_0 of invariant rings and nonabelian H^1

abstract: We give a description of the kernel of the induction map K_0(R)->K_0(S), where S is a commutative ring and R is the ring of invariants of the action of a finite group G on S. The description is in terms of H^1(G,GL(S)).


title: An algebraic approach to Wigner's unitary-antiunitary theorem

abstract: We present an operator algebraic approach to Wigner's unitary-antiunitary theorem using some classical results from ring theory. To show how effective this approach is, we prove a generalization of this celebrated theorem for Hilbert modules over matrix algebras. We also present a Wigner-type result for maps on prime C*-algebras.


title: On the Structure of Lie Group C*-Algebras and Compact Quantum Groups

abstract: We expose a K-theoretic approach to study group C*-algebras and C*-algebraic compact quantum groups: 1. The conception of multidimensional geometric quantization and the index of group C*-algebras; 2. the entire homology of noncommutative de Rham currents and the noncommutative Chern characters, and their computation for C*-algebras of compact Lie groups and compact quantum groups.


title: Cuspidal hypergeometric functions

abstract: We prove the Plancherel formula for hypergeometric functions associated to a root system in the situation when the root multiplicities are negative (but close to 0). As a result we obtain a classification of the hypergeometric functions that are square integrable, and we find a closed formula for their square norm as a function of the root multiplicities.


title: Leibniz Cohomology and the Calculus of Variations

abstract: In this paper we continue the investigation of Loday's Leibniz cohomology as a new invariant for differentiable manifolds. In particular the Leibniz coboundary of a k-tensor (in the sense of differential geometry) is computed in a local coordinate chart and then interpreted in terms of the calculus of variations. For example, the Leibniz coboundary of the metric two-tensor reduces to the first variation of arc length.


title: On Function Theory in Quantum Disc: Covariance

abstract: Our previous work (math.QA/9808015) introduces the basic notions and announces some results on function theory in the quantum disc. The present paper establishes a relationship between those results and the quantum groups theory.


title: Quantum affine algebras at roots of unity and equivariant K-theory

abstract: In this short note, we show that the Ginzburg-Vasserot map between the quantum affine algebra of type A_(n-1) and the equivariant K-theory group of the Steinberg Variety (of n-step flags in C^d) restricts and remains surjective at the level of the integral forms. In particular, this shows that the parametrization of irreducible, finite-dimensional modules and the Kazhdan-Lusztig multiplicity formulas are valid for the (restricted) specialization at roots of unity.


title: Compact weakly symmetric spaces and spherical pairs

abstract: We prove that M. Kramer's classification of list of spherical pairs coincides with that for weakly symmetric spaces by examining the linear isotropy representation of the corresponding homogeneous space associated to each pair.


title: Polynomial Sequences of Binomial Type and Path Integrals

abstract: Polynomial sequences $p_n(x)$ of binomial type are a principal tool in the umbral calculus of enumerative combinatorics. We express $p_n(x)$ as a \emph{path integral} in the ``phase space'' $\Space{N}{} \times {[-\pi,\pi]}$. The Hamiltonian is $h(\phi)=\sum_{n=0}^\infty p_n'(0)/n! e^{in\phi}$ and it produces a Schr\"odinger type equation for $p_n(x)$. This establishes a bridge between enumerative combinatorics and quantum field theory. It also provides an algorithm for parallel quantum computations. Keywords: Feynman path integral, umbral calculus, polynomial sequence of binomial type, token, Schr\"odinger equation, propagator, wave function, cumulants, quantum computation.

categories: math.CO math-ph math.FA math.MP quant-ph


title: Integrable geometry and Soliton equations in 2+1 dimensions

abstract: Some aspects of the connection between differential geometry and multidimensional soliton equations are discussed.


title: Holomorphic functions of slow growth on nested covering spaces of compact manifolds

abstract: Let Y be an infinite covering space of a projective manifold M in P^N of dimension n geq 2. Let C be the intersection with M of at most n-1 generic hypersurfaces of degree d in P^N. The preimage X of C in Y is a connected submanifold. Let phi be the smoothed distance from a fixed point in Y in a metric pulled up from M. Let O_phi(X) be the Hilbert space of holomorphic functions f on X such that f^2 e^(-phi) is integrable on X, and define O_phi(Y) similarly. Our main result is that (under more general hypotheses than described here) the restriction O_phi(Y) to O_phi(X) is an isomorphism for d large enough. This yields new examples of Riemann surfaces and domains of holomorphy in C^n with corona. We consider the important special case when Y is the unit ball B in C^n, and show that for d large enough, every bounded holomorphic function on X extends to a unique function in the intersection of all the nontrivial weighted Bergman spaces on B. Finally, assuming that the covering group is arithmetic, we establish three dichotomies concerning the extension of bounded holomorphic and harmonic functions from X to B.


title: On quantum algebra symmetries of discrete Schr\"odinger equations

abstract: Two non-standard quantum deformations of the (1+1) Schr\"odinger algebra are identified with the symmetry algebras of either a space or time uniform lattice discretization of the Schr\"odinger equation. For both cases, the deformation parameter of the corresponding Hopf algebra can be interpreted as the step of the lattice. In this context, the introduction of nonlinear maps defining Schr\"odinger and $sl(2,\R)$ quantum algebras with classical commutation rules turns out to be relevant. The problem of finding a quantum algebra linked to the full space-time discretization is also discussed.


title: Simple proofing of Jordan's theorem

abstract: Here is present short proofing of Jordan's theorem about dividing of flat on two disjoint subsets by one closed curve.


title: Weight modules of direct limit Lie algebras

abstract: In this article we initiate a systematic study of irreducible weight modules over direct limits of reductive Lie algebras, and in particular over the simple Lie algebras $A(\infty)$, $B(\infty)$, $C(\infty)$ and $D(\infty)$. Our main tool is the shadow method introduced recently in \cite{DMP}. The integrable irreducible modules are an important particular class and we give an explicit parametrization of the finite integrable modules which are analogues of finite-dimensional irreducible modules over reductive Lie algebras. We then introduce the more general class of pseudo highest weight modules. Our most general result is the description of the support of any irreducible weight module.


title: Quadruple Points of Regular Homotopies of Surfaces in 3-Manifolds

abstract: Let GI denote the space of all generic immersions of a surface F into a 3-manifold M. Let q(H_t) denote the number mod 2 of quadruple points of a generic regular homotopy H_t : F -> M. We are interested in defining an invariant Q : GI -> Z/2 such that q(H_t) = Q(H_0) - Q(H_1) for any generic regular homotopy H_t : F -> M. Such an invariant exists iff q=0 for any "closed" generic regular homotopy (abbreviated CGRH.) Max and Banchoff proved that for any CGRH H_t: S^2 -> R^3 indeed q(H_t)=0. We generalize their result as follows: Theorem 3.9: Let F be a system of closed surfaces, and let H_t : F -> R^3 be any CGRH, then q(H_t)=0. Theorem 3.15: Let M be an orientable irreducible 3-manifold with pi_3(M)=0. Let F be a system of closed orientable surfaces. If H_t : F -> M is any CGRH in the regular homotopy class of an embedding, then q(H_t)=0. We demonstrate the need for the assumptions of Theorem 3.15 in various counter-examples. We give an explicit formula for the above mentioned invariant Q for embeddings of a system of tori in R^3.


title: On Function Theory in Quantum Disc: Invariant Kernels

abstract: In our earlier work math.QA/9808015 some results on integral representations of functions in quantum disc were announced. It was then shown in math.QA/9808037 that the validity of those results is related to the invariance of kernels of some integral operators. We introduce here a method which allows us to prove the invariance of the above kernels.


title: Frobenius Manifolds And Virasoro Constraints

abstract: For an arbitrary Frobenius manifold a system of Virasoro constraints is constructed. In the semisimple case these constraints are proved to hold true in the genus one approximation. Particularly, the genus $\leq 1$ Virasoro conjecture of T.Eguchi, K.Hori, M.Jinzenji, and C.-S.Xiong and of S.Katz is proved for smooth projective varieties having semisimple quantum cohomology.


title: The Repeated Solicitation Model

abstract: This paper presents a probabilistic analysis of what we call the "repeated solicitation model". To give a specific context, suppose B is a direct marketing company with a list of S sales prospects. At epoch 1, B sends a solicitation to every prospect on the list, and elicits X(1) replies. The company deletes the respondents from the list, and at epoch 2 sends a solicitation to the other prospects, of whom X(2) respond, and so on. This continues until an epoch n such that X(n) = 0, which we call epoch T, and then B makes no further solicitations. We seek (a) the probability distribution of T; (b) the distribution of the total number of respondents; (c) the expected total number of solicitations. All three quantities are explicitly computed, assuming that (i) prospects' response times are independent, and (ii) S is Poisson distributed.


title: Determinantal expressions for Macdonald polynomials

abstract: We show that the action of classical operators associated to the Macdonald polynomials on the basis of Schur functions, S_{\lambda}[X(t-1)/(q-1)], can be reduced to addition in \lambda-rings. This provides explicit formulas for the Macdonald polynomials expanded in this basis as well as in the ordinary Schur basis, S_{\lambda}[X], and the monomial basis, m_{\lambda}[X].


title: Planar Soap Bubbles

abstract: The generalized soap bubble problem seeks the least perimeter way to enclose and separate n given volumes in R^m. We study the possible configurations for perimeter minimizing bubble complexes enclosing more than two regions. We prove that perimeter minimizing planar bubble complexes with equal pressure regions and without empty chambers must have connected regions. As a consequence, we show that the least perimeter planar graph that encloses and separates three equal areas in R^2 using convex cells and without empty chambers is a "standard triple bubble" with connected regions.


title: Surgery and the Yamabe invariant

abstract: We study the Yamabe invariant of manifolds obtained as connected sums along submanifolds of codimension greater than 2. In particular, given a compact smooth manifold M which does not admit metrics of positive scalar curvature, we prove that the Yamabe invariant of M is an upper bound for the Yamabe invariant of any manifold obtained by performing surgery in M on spheres of codimension greater than 2 .


title: Computations of the Yamabe invariant

abstract: For a compact connected manifold M of dimension n greater than 3 and with no metric of positive scalar curvature, we prove that the Yamabe invariant is unchanged under surgery on spheres of dimension different from 1, n-2 and n-1. We use this result to give new computations of the invariant in dimension four and display new examples of 4-manifolds which do not admit Einstein metrics.


title: Algebraic Versions of a Finite-Dimensional Quantum Groupoid

abstract: We establish the equivalence of three versions of a finite dimensional quantum groupoid: a generalized Kac algebra introduced by T. Yamanouchi, a weak $C^*$-Hopf algebra introduced by G. Bohm, F. Nill and K. Szlachanyi (with an involutive antipode), and a Kac bimodule -- an algebraic version of a Hopf bimodule, the notion introduced by J.-M. Vallin. We also study the structure and construct examples of finite dimensional quantum groupoids.


title: Integral points on subvarieties of semiabelian varieties, II

abstract: This paper proves a finiteness result for families of integral points on a semiabelian variety minus a divisor, generalizing the corresponding result of Faltings for abelian varieties. Combined with the main theorem of the first part of this paper, this gives a finiteness statement for integral points on a closed subvariety of a semiabelian variety, minus a divisor. In addition, the last two sections generalize some standard results on closed subvarieties of semiabelian varieties to the context of closed subvarieties minus divisors.


title: More on cardinal invariants of Boolean algebras

abstract: We address several questions of Donald Monk related to irredundance and spread of Boolean algebras, gaining both some ZFC knowledge and consistency results. We show in ZFC that irr(B_0 times B_1)= max(irr(B_0),irr(B_1)). We prove consistency of the statement ``there is a Boolean algebra B such that irr(B)<s(B otimes B)'' and we force a superatomic Boolean algebra B_* such that s(B_*)=inc(B_*)=kappa, irr(B_*)=Id(B_*)=kappa^+ and Sub(B_*)=2^(kappa^+). Next we force a superatomic algebra B_0 such that irr(B_0)<inc(B_0) and a superatomic algebra B_1 such that t(B_1)>Aut(B_1). Finally we show that consistently there is a Boolean algebra B of size lambda such that there is no free sequence in B of length lambda, there is an ultrafilter of tightness lambda (so t(B)=lambda) and lambda notin Depth_(Hs)(B).


title: Badly approximable systems of affine forms

abstract: We prove an inhomogeneous analogue of W. M. Schmidt's (1969) theorem on Hausdorff dimension of the set of badly approximable systems of linear forms. The proof is based on ideas and methods from the theory of dynamical systems, in particular, on abundance of bounded orbits of mixing flows on homogeneous spaces of Lie groups.


title: Infinity Algebras, Massey Products, and Deformations

abstract: In this paper we give some examples of generalized Massey products, arising from deformations of A-infinity and L-infinity algebras. The generalized Massey products are given by certain graded commutative algebra structures, depending on the deformation problem considered. We show that the formal deformations of infinity algebras give rise to the same algebraic structure as the deformations of Z2-graded Lie algebras. However, the problem of deforming a Lie algebra into an L-infinity algebra, or an associative algebra into an A-infinity algebra gives rise to a new algebra. We also consider deformations of infinity algebras with a base. In math.QA/9602024, it was shown that the Jacobi identity for a bracket on the tensor product of a Lie algebra and a graded commutative algebra is equivalent to a Maurer-Cartan formula. We prove a generalized result in the case of infinity algebras.


title: Order 2 Algebraically Slice Knots

abstract: The concordance group of algebraically slice knots is the subgroup of the classical knot concordance group formed by algebraically slice knots. Results of Casson and Gordon and of Jiang showed that this group contains in infinitely generated free (abelian) subgroup. Here it is shown that the concordance group of algebraically slice knots also contain elements of finite order; in fact it contains an infinite subgroup generated by elements of order 2.


title: An Algebraic Characterization of the Affine Canonical Basis

abstract: The canonical basis for quantized universal enveloping algebras associated to the finite--dimensional simple Lie algebras, was introduced by Lusztig. The principal technique is the explicit construction (via the braid group action) of a lattice over $\bz[q^{-1}]$. This allows the algebraic characterization of the canonical basis as a certain bar-invariant basis of $\cl$. Here we present a similar algebraic characterization of the affine canonical basis. Our construction is complicated by the need to introduce basis elements to span the ``imaginary'' subalgebra which is fixed by the affine braid group. Once the basis is found we construct a PBW-type basis whose $\bz[q^{-1}]$-span reduces to a ``crystal'' basis at $q=\infty,$ with the imaginary component given by the Schur functions.


title: On the uniform distribution in residue classes of dense sets of integers with distinct sums

abstract: A set ${\cal A} \subseteq \Set{1,...,N}$ is of type $B_2$ if all sums $a+b$, with $a\ge b$, $a,b\in {\cal A}$, are distinct. It is well known that the largest such set is of size asymptotic to $N^{1/2}$. For a $B_2$ set ${\cal A}$ of this size we show that, under mild assumptions on the size of the modulus $m$ and on the difference $N^{1/2}-\Abs{{\cal A}}$ (these quantities should not be too large) the elements of ${\cal A}$ are uniformly distributed in the residue classes mod $m$. Quantitative estimates on how uniform the distribution is are also provided. This generalizes recent results of Lindstr\"om whose approach was combinatorial. Our main tool is an upper bound on the minimum of a cosine sum of $k$ terms, $\sum_1^k \cos{\lambda_j x}$, all of whose positive integer frequencies $\lambda_j$ are at most $(2-\epsilon)k$ in size.


title: The Yamabe invariant of simply connected manifolds

abstract: We prove that the Yamabe invariant of any simply connected smooth manifold of dimension n greater than four is non-negative. Equivalently that the infimum of the L^{n/2} norm of the scalar curvature, over the space of all Riemannian metrics on the manifold, is zero.


title: On symplectically aspherical manifolds with nontrivial pi_2

abstract: We construct closed symplectic manifolds for which spherical classes generate arbitrarily large subspaces in 2-homology, such that the first Chern class and cohomology class of the symplectic form both vanish on all spherical classes. We construct both Kaehler and non-Kaehler examples, and show independence of the conditions that these two cohomology classes vanish on spherical homology. In particular, we show that the symplectic form can pair trivially with all spherical classes even when the Chern class pairs nontrivially.


title: R-covered foliations of hyperbolic 3-manifolds

abstract: We produce examples of taut foliations of hyperbolic 3-manifolds which are R-covered but not uniform --- ie the leaf space of the universal cover is R, but pairs of leaves are not contained in bounded neighborhoods of each other. This answers in the negative a conjecture of Thurston `Three-manifolds, foliations and circles I' (math.GT/9712268). We further show that these foliations can be chosen to be C^0 close to foliations by closed surfaces. Our construction underscores the importance of the existence of transverse regulating vector fields and cone fields for R-covered foliations. Finally, we discuss the effect of perturbing arbitrary R-covered foliations.


title: Quantum determinants and quasideterminants

abstract: The notion of a quasideterminant and a quasiminor of a matrix A=(a_{ij}) with not necessarily commuting entries was introduced recently by I.Gelfand and the second author. The ordinary determinant of a matrix with commuting entries can be written (in many ways) as a product of quasiminors. Furthermore, it was noticed by a number of authors that such well-known noncommutative determinants as the Berezinian, the Capelli determinant, the quantum determinant of the generating matrix of the quantum group U_h(gl_n) and the Yangian Y(gl_n) can be expressed as products of commuting quasiminors. The aim of this paper is to extend these results to a rather general class of Hopf algebras given by the Faddeev-Reshetikhin-Takhtajan type relations -- the twisted quantum groups. Such quantum groups arise when Belavin-Drinfeld classical r-matrices are quantized. Our main result is that the quantum determinant of the generating matrix of a twisted quantum group equals the product of commuting quasiminors of this matrix.


title: Commutants of Analytic Toeplitz Operators on the Bergman Space

abstract: In this note we show that if two Toeplitz operators on a Bergman space commute and the symbol of one of them is analytic and nonconstant, then the other one is also analytic.


title: Quantum geometry of algebra factorisations and coalgebra bundles

abstract: We develop the noncommutative geometry (bundles, connections etc.) associated to algebras that factorise into two subalgebras. An example is the factorisation of matrices $M_2(\C)=\C\Z_2\cdot\C\Z_2$. We also further extend the coalgebra version of theory introduced previously, to include frame resolutions and corresponding covariant derivatives and torsions. As an example, we construct $q$-monopoles on all the Podle\'s quantum spheres $S^2_{q,s}$.


title: On Parity Complexes and Non-abelian Cohomology

abstract: To characterize categorical constraints - associativity, commutativity and monoidality - in the context of quasimonoidal categories, from a cohomological point of view, we define the notion of a parity (quasi)complex. Applied to groups gives non-abelian cohomology. The categorification - functor from groups to monoidal categories - provides the correspondence between the respective parity (quasi)complexes and allows to interpret 1-cochains as functors, 2-cocycles - monoidal structures, 3-cocycles - associators. The cohomology spaces H3, H2, H1, H0 correspond as usual to quasi-extensions, extensions, split extensions and invariants, as in the abelian case. A larger class of commutativity constraints for monoidal categories is identified. It is naturally associated with coboundary Hopf algebras.


title: Linear systems and ramification points on reducible nodal curves

abstract: In the 80's D. Eisenbud and J. Harris developed the general theory of limit linear series, Invent. math. 85 (1986), in order to understand what happens to linear systems and their ramification points on families of non-singular curves degenerating to curves of compact type. They applied their theory to the study of limits of Weierstrass points, among other endeavours. In one of their articles, Invent. math. 87 (1987), they asked: "What are the limits of Weierstrass points in families of curves degenerating to stable curves not of compact type?" In this eprint we address this question within a more general framework. More precisely, given a family of linear systems on a family of non-singular curves degenerating to a nodal curve we give a formula for the limit of the associated ramification divisors in terms of certain limits of the family of linear systems. In contrast with the theory of limit linear series of Eisenbud's and Harris', we do not need to blow up the family to swerve the degenerating ramification points away from the nodes of the limit curve. Indeed, we can assign the adequate weight to the limit ramification divisor at any point of the limit curve. In a forthcoming submission we shall deal with the specific question of limits of Weierstrass points, assuming certain generic conditions.


title: Geometry of the Prytz Planimeter

abstract: The Prytz planimeter is a simple example of a system governed by a non-holonomic constraint. It is unique among planimeters in that it measures something more subtle than area, combining the area, centroid and other moments of the region being measured, with weights depending on the length of the planimeter. As a tool for measuring area, it is most accurate for regions that are small relative to its length. The configuration space of the planimeter is a non-principal circle bundle acted on by SU(1,1), (isom. to SL(2,R)). The motion of the planimeter is realized as parallel translation for a connection on this bundle and for a connection on a principal SU(1,1)-bundle. The holonomy group is SU(1,1). As a consequence, the planimeter is an example of a system with a phase shift on the circle that is not a simple rotation. There is a qualitative difference in the holonomy when tracing large regions as opposed to small ones. Generic elements of SU(1,1) act on S^1 with two fixed points or with no fixed points. When tracing small regions, the holonomy acts without fixed points. Menzin's conjecture states (roughly) that if a planimeter of length L traces the boundary of a region with area A > pi L^2, then it exhibits an asymptotic behavior and the holonomy acts with two fixed points, one attracting and one repelling. This is obvious if the region is a disk, and intuitively plausible if the region is convex and A >> pi L^2. A proof of this conjecture is given for a special case, and the conjecture is shown to imply the isoperimetric inequality.


title: On the Dimensions of the Automorphism Groups of Hyperbolic Reinhardt Domains

abstract: We study the possible dimensions that the groups of holomorphic automorphisms of hyperbolic Reinhardt domains can have. We are particularly interested in the problem of characterizing Reinhardt domains with automorphism group of prescribed dimension.


title: Description of infinite dimensional abelian regular Lie groups

abstract: It is shown that every abelian regular Lie group is a quotient of its Lie algebra via the exponential mapping.


title: Birational automorphisms of a three-dimensional double quadric with an elementary singularity

abstract: It is proved that the group of birational automorphisms of a three-dimensional double quadric with a singular point arising from a double point on the branch divisor is a semidirect product of the free group generated by birational involutions of a special form and the group of regular automorphisms. The proof is based on the method of `untwisting' maximal singularities of linear systems.


title: Stable maps and Hurwitz schemes in mixed characteristic

abstract: In this short note, we propose a definition of complete Hurwitz schemes (and stacks) in mixed characteristic. We follow an idea of R. Pandharipande, and define the complete Hurwitz stack as a substack of stable maps of degree d of nodal pointed curves of genus g to the universal curve over the moduli stack of stable pointed curves of genus h. This substack is simply the closure of the locus of Hurwitz covers in characteristic 0. We describe in detail the reduction modulo 2 of the complete Hurwitz stack of genus 1 double covers of the projective line. The result is wilder than you would imagine in your wildest dreams. We end by speculating about a possible relationship with the work of Abramovich-Vistoli about stable maps into Deligne-Mumford stacks.


title: Analogs of q-Serre relations in the Yang-Baxter algebras

abstract: Yang-Baxter bialgebras, as previously introduced by the authors, are shown to arise from a double crossproduct construction applied to the bialgebra R T T = T T R, E T = T E R, \Delta(T) = T \hat{\otimes} T, \Delta(E) = E \hat{\otimes} T + 1 \hat{\otimes} E and its skew dual, with R being a numerical matrix solution of the Yang-Baxter equation. It is further shown that a set of relations generalizing q-Serre ones in the Drinfeld-Jimbo algebras U_q(g) can be naturally imposed on Yang-Baxter algebras from the requirement of non-degeneracy of the pairing.


title: The Abstract Lace Expansion

abstract: David Brydges and Thomas Spencer's Lace Expansion is abstracted, and it is shown how it sometimes gives rise to sieves.


title: Proof of Conway's Lost Cosmological Theorem

abstract: John Horton Conway's Cosmological Theorem, about Audioactive sequences, for which no extant proof existed, is given a computer-generated proof, hopefully for good.


title: A Comparison Of Two Methods For Random Labelling of Balls by Vectors of Integers

abstract: A combinatorial problem that came up in Combinatorial Chemistry is solved.


title: Dodgson's Determinant-Evaluation Rule proved by Two-Timing Men and Women

abstract: The Rev. Dodgson's determinant condensation rule is given a bijective proof.


title: The Enumeration of Permutations With a Prescribed Number of ``Forbidden'' Patterns

abstract: We initiate a general approach for the fast enumeration of permutations with a prescribed number of occurrences of `forbidden' patterns, that seems to indicate that the enumerating sequence is always P-recursive. We illustrate the method completely in terms of the patterns `abc',`cab' and `abcd'.


title: Double Lie algebroids and the double of a Lie bialgebroid

abstract: We define a general notion of abstract double Lie algebroid. We show (1) that the double Lie algebroid of a double Lie groupoid is a double Lie algebroid in this sense; (2) that the double cotangent constructed from Lie algebroid structures on a vector bundle A and its dual A* is a double Lie algebroid if and only if (A, A*) is a Lie bialgebroid; (3) that a vacant double Lie algebroid structure is equivalent to a matched pair structure on the side Lie algebroids.


title: Iterated Monoidal Categories

abstract: We develop a notion of iterated monoidal category and show that this notion corresponds in a precise way to the notion of iterated loop space. Specifically the group completion of the nerve of such a category is an iterated loop space and free iterated monoidal categories give rise to finite simplicial operads of the same homotopy type as the classical little cubes operads used to parametrize the higher H-space structure of iterated loop spaces. Iterated monoidal categories encompass, as a special case, the notion of braided tensor categories, as used in the theory of quantum groups.


title: Subvarieties of C^n with non-extendible Automorphisms

abstract: We investigate algebraic and analytic subvarieties of C^n with automorphisms which can not be extended to the ambient space.


title: Enumerative geometry of hyperelliptic plane curves

abstract: We recursively compute the Gromov-Witten invariants of the Hilbert scheme of two points in the plane. By studying the space of stable maps and computing virtual contributions, we use these invariants to enumerate hyperelliptic plane curves of degree d and genus g passing through 3d+1 general points.


title: On normal subgroups in the fundamental groups of complex surfaces

abstract: We show that for each aspherical compact complex surface $X$ whose fundamental group $\pi$ fits into a short exact sequence $$ 1\to K \to \pi \to \pi_1(S) \to 1 $$ where $S$ is a compact hyperbolic Riemann surface and the group $K$ is finitely-presentable, there is a complex structure on $S$ and a nonsingular holomorphic fibration $f: X\to S$ which induces the above short exact sequence. In particular, the fundamental groups of compact complex-hyperbolic surfaces cannot fit into the above short exact sequence. As an application we give the first example of a non-coherent uniform lattice in $PU(2,1)$.


title: Exterior Algebras Related to the Quantum Group O_q(3)$

abstract: For the 9-dimensional bicovariant differential calculi on the Hopf algebra $O(O_q(3))$ several kinds of exterior algebras are examined. The corresponding dimensions, bicovariant subbimodules and eigenvalues of the antisymmetrizer are given. Exactly one of the exterior algebras studied by the authors has a unique left invariant form with maximal degree.


title: Large Discrete Sets in Stein manifolds

abstract: Rosay and Rudin constructed examples of discrete subsets of C^n with remarkable properties. We generalize these constructions from C^n to arbitrary Stein manifolds. We prove: Given a Stein manifold X and a affine variety V of the same dimension there exists a discrete subset D in X such that (1) X-D is measure hyperbolic, (2) f(V) intersects D for every non-degenerate holomorphic map from V to X and (3) every automorphism of X preserving the set D is already the identity map. We also give examples which demonstrate that such discrete subsets can not be found in arbitrary non-Stein manifolds.


title: Automorphism Groups and Twisted Modules for Lattice Vertex Operator Algebras

abstract: We give a complete description of the full automorphism group of a lattice vertex operator algebra, determine the twisted Zhu's algebra for the automorphism lifted from the -1 isometry of the lattice and classify the corresponding irreducible twisted modules through the twisted Zhu algebra.


title: Constructions of E_n Operads

abstract: This paper discusses the question of how to recognize whether an operad is E_n (ie. equivalent to the little n-cubes operad). A construction is given which produces many new examples of E_n operads. This construction is developed in the context of an infinite family of right adjoint constructions for operads. Some other related constructions of E_n operads, so-called generalized tensor products, are also described.


title: Complete vector fields on (C-0)^n

abstract: We prove necessary and sufficient conditions for completeness of a rational vector field on C^n minus n hyperplanes in general position (n>1).


title: Unitary representations of the quantum algebra su_q(2) on a real two-dimensional sphere for $q \in R^+$ or generic $q \in S^1$

abstract: Some time ago, Rideau and Winternitz introduced a realization of the quantum algebra su_q(2) on a real two-dimensional sphere, or a real plane, and constructed a basis for its representations in terms of q-special functions, which can be expressed in terms of q-Vilenkin functions, and are related to little q-Jacobi functions, q-spherical functions, and q-Legendre polynomials. In their study, the values of q were implicitly restricted to $q \in R^+$. In the present paper, we extend their work to the case of generic values of $q \in S^1$ (i.e., q values different from a root of unity). In addition, we unitarize the representations for both types of q values, $q \in R^+$ and generic $q \in S^1$, by determining some appropriate scalar products. From the latter, we deduce the orthonormality relations satisfied by the q-Vilenkin functions.


title: C_{\lambda}-extended oscillator algebra and parasupersymmetric quantum mechanics

abstract: The C_{\lambda}-extended oscillator algebra is generated by {1,a,a^{\dagger},N,T}, where T is the generator of the cyclic group C_{\lambda} of order \lambda. It can be realized as a generalized deformed oscillator algebra (GDOA). Its unirreps can thus be exhibited using the representation theory of GDOAs and their carrier space show a Z_{\lambda} grading structure. Within its infinite-dimensional Fock space representation, this algebra provides a bosonization of parasupersymmetric quantum mechanics of order p= \lambda - 1.


title: Infinite Time Turing Machines

abstract: We extend in a natural way the operation of Turing machines to infinite ordinal time, and investigate the resulting supertask theory of computability and decidability on the reals. The resulting computability theory leads to a notion of computation on the reals and concepts of decidability and semi-decidability for sets of reals as well as individual reals. Every Pi^1_1 set, for example, is decidable by such machines, and the semi-decidable sets form a portion of the Delta^1_2 sets. Our oracle concept leads to a notion of relative computability for reals and sets of reals and a rich degree structure, stratified by two natural jump operators.


title: How Tall is the Automorphism Tower of a Group?

abstract: The automorphism tower of a group is obtained by computing its automorphism group, the automorphism group of THAT group and so on, iterating transfinitely. Each group maps into the next using inner automorphisms and one takes a direct limit at limit stages. The question is whether the process ever terminates in a fixed point, a group which is isomorphic to its automorphism group by the natural map. In this talk I will prove that every group has a terminating automorphism tower. After this, I will discuss the set-theoretic aspects of the height of the automorphism tower of a group, and sketch my recent proof with Simon Thomas that it is consistent to have a group whose automorphism tower is wildly modified by forcing; indeed, in various models of set theory the automorphism tower of this very same group can be almost arbitrarily specified.


title: The Relations of Inner and Outer Differential Calculi on Quantum Groups

abstract: The differential caluli $(Gamma,d)$ on quantum groups are classified due to the property of the generating element $X$ of its differential $d$. There are, on the one hand differential caluli which contain this element $X$ in the basis of one- forms that span $Gamma$, called Inner Differential Calculi. On the other hand, one has the differential caluli which do not contain the generating element $X$ of its differential $d$, thus they are called Outer Differential Calculi. We show that this two classes of differential caluli, for a given quantum group ${\cal A}$, are related by homomorphisms, which map the elements of one class on elements of the other class.


title: Generalized q-Schur algebras and modular representation theory of finite groups with split (BN)-pairs

abstract: We introduce a generalized version of a q-Schur algebra (of parabolic type) for arbitrary Hecke algebras over extended Weyl groups. We describe how the decomposition matrix of a finite group with split BN-pair, with respect to a non-describing prime, can be partially described by the decomposition matrices of suitably chosen q-Schur algebras. We show that the investigated structures occur naturally in finite groups of Lie type.


title: Quaternionic K\"ahler Manifolds of Cohomogeneity One

abstract: Classification results are given for (i) compact quaternionic K\"ahler manifolds with a cohomogeneity-one action of a semi-simple group, (ii) certain complete hyperK\"ahler manifolds with a cohomogeneity-two action of a semi-simple group preserving each complex structure, (iii) compact 3-Sasakian manifolds which are cohomogeneity one with respect to a group of 3-Sasakian symmetries. Information is also obtained about non-compact quaternionic K\"ahler manifolds of cohomogeneity one and the cohomogeneity of adjoint orbits in complex semi-simple Lie algebras.


title: Interactive games and representation theory. II. A second quantization

abstract: A second quantization procedure for the field-theoretic description of interactive games is analyzed. Its relation to the dynamical inverse problem of representation theory is emphasized.


title: On the Moduli of a quantized loop in P and KdV flows: Study of hyperelliptic curves as an extension of Euler's perspective of elastica I

abstract: Quantization needs evaluation of all of states of a quantized object rather than its stationary states with respect to its energy. In this paper, we have investigated moduli $\CMeP$ of a quantized elastica, a quantized loop with an energy functional associated with the Schwarz derivative, on a Riemann sphere $\PP$. Then it is proved that its moduli space is decomposed to a set of equivalent classes determined by flows obeying the Korteweg-de Vries (KdV) hierarchy which conserve the energy. Since the flow obeying the KdV hierarchy has a natural topology, it induces topology in the moduli space $\CMeP$. Using the topology, $\CMeP$ is classified. Studies on a loop space in the category of topological spaces $\Top$ are well-established and its cohomological properties are well-known. As the moduli space of a quantized elastica can be regarded as a loop space in the category of differential geometry $\DGeom$, we also proved an existence of a functor between a triangle category related to a loop space in {\bf Top} and that in $\DGeom$ using the induced topology. As Euler investigated the elliptic integrals and its moduli by observing a shape of classical elastica on $\CC$, this paper devotes relations between hyperelliptic curves and a quantized elastica on $\PP$ as an extension of Euler's perspective of elastica.


title: The curvature invariant of a Hilbert module over C[z_1,...,z_d]

abstract: A notion of curvature is introduced in multivariable operator theory and an analogue of the Gauss-Bonnet-Chern theorem is established for graded (contractive) Hilbert modules over the complex polynomial algebra in d variables, d=1,2,3,.... The curvature invariant, Euler characteristic, and degree are computed for some explicit examples based on varieties in (multidimensional) complex projective space, and applications are given to the structure of graded ideals in C[z_1,...,z_d] and to the existence of "inner sequences" for closed submodules of the free Hilbert module H^2(C^d).


title: Homotopy Algebras via Resolutions of Operads

abstract: The aim of this brief note is mainly to advocate our approach to homotopy algebras based on the minimal model of an operad. Our exposition is motivated by two examples which we discuss very explicitly - the example of strongly homotopy associative algebras and the example of strongly homotopy Lie algebras. We then indicate what must be proved in order to show that these homotopy algebraic structures are really `stable under a homotopy.' The paper is based on a talk given by the author on June 16, 1998, at University of Osnabrueck, Germany.


title: Exact sequence of semistable vector bundles on algebraic curves

abstract: Let X be a smooth complex projective curve of genus g bigger or equal to 1. If g is bigger than 1 assume further that X is either bielliptic or with general moduli. Under a natural condition on slopes, we prove that there exists a short exact sequence of semistable vector bundles with given ranks and degrees. The importance of the paper consists of the new method adopted for the proves.


title: Vanishing theorems and universal coverings of projective varieties

abstract: This article contains a new argument which proves vanishing of the first cohomology for negative vector bundles over a complex projective variety if the rank of the bundle is smaller than the dimension of the base. Similar argument is applied to the construction of holomorphic functions on the universal covering of the complex projective variety .


title: Forcing for hL and hd

abstract: The present paper addresses the problem of attainment of the supremums in various equivalent definitions of hereditary density hd and hereditary Lindelof degree hL of Boolean algebras. We partially answer two problems of J. Donald Monk (Problems 50 and 54 in his book "Cardinal Invariants on Boolean Algebras), showing consistency of different attainment behaviour and proving that (for the considered variants) this is the best result we can expect.


title: Differential Operator Endomorphisms of an Euler-Lagrange Complex

abstract: The main results of our paper deal with the lifting problem for multilinear differential operators between complexes of horizontal de Rham forms on the infinite jet bundle. We answer the question when does an n-multilinear differential operator from the space of (N,0)-forms (where N is the dimension of the base) to the space of (N-s,0)-forms allow an n-multilinear extension of degree (-s,0) defined on the whole horizontal de Rham complex. To study this problem we define a differential graded operad DEnd of multilinear differential endomorphisms, which we prove to be acyclic in positive degrees (negative mapping degrees) and describe the cohomology group in degree zero in terms of the characteristic. As a corollary, we solve the lifting problem. An important application to mathematical physics is the proof of existence of a strongly homotopy Lie algebra structure extending a Lie bracket on the space of functionals.


title: Variations of Mixed Hodge Structure, Higgs Fields, and Quantum Cohomology

abstract: Insprired by the work of C. Simpson, it is shown that every variation of graded-polarized mixed Hodge structure defined over Q gives rise to a natural Higgs field on the underlying vector bundle. In the context of Mirror Symmetry it is then shown that these Higgs fields share an intimate relationship with Quantum Cohomology.


title: Elementary proofs of identities for Schur functions and plane partitions

abstract: Elementary proofs are given for sums of Schur functions over partitions into at most n parts each less than or equal to m for which i) all parts are even, ii) all parts of the conjugate partition are even. Also, an elementary proof of a recent result of Ishikawa and Wakayama is given.


title: Smooth Modules over Lie Algebroids I

abstract: A Lie algebroid on a variety X/k is an extension \alpha: g_X \to T_X of the tangent sheaf both as O_X-module and Lie algebra over the base field, with the obvious compatibilities; and given a Lie algebroid one has its associated ring of differential operators D(g_X). Letting g'_X be some Lie sub-algebroid of g_X, a smooth coherent g_X-module M is one in which any (locally defined) coherent O_X-submodule M_0 \subset M generates a g'_X-submodule D(g'_X)M_0 that remains coherent over O_X. Depending on the choice of g'_X one gets in this way interesting classes of g_X-modules, where probably the most important one is that of g_X-modules with regular singularities. The paper is concerned with this notion of smoothness, including results about prolongation of smoothness over codimension \geq 2, preservation of smoothness for inverse and direct images of g_X-modules, and curve tests. In particular we treat g_X-modules with regular singularities, generalizing some of the main theorems for D-modules with new and hopefully transparent proofs.


title: Spatial discretization of partial differential equations with integrals

abstract: We consider the problem of constructing spatial finite difference approximations on a fixed, arbitrary grid, which have analogues of any number of integrals of the partial differential equation and of some of its symmetries. A basis for the space of of such difference operators is constructed; most cases of interest involve a single such basis element. (The ``Arakawa'' Jacobian is such an element.) We show how the topology of the grid affects the complexity of the operators.


title: Analysis on the 2-Dim Quantum Poincare` Group at Roots of Unity

abstract: 2-Dim quantum Poincare` Group E_q(1,1) at roots of unity, its dual U_q(e(1,1)) and some of its homogeneous spaces are introduced. Invariant integrals on E_q(1,1) and its invariant discrete subgroup E(1,1\mid p) are constructed. *-Representations of the quantum algebra U_q(e(1,1)) constructed in the homogeneous space SO(1,1\mid p) are integrated to the pseudo-unitary representations of E_q(1,1) by means of the universal T-matrix. U_q(e(1,1)) is realized on the quantum plane E_q^{(1,1)} and the eigenfunctions of the complete set of observables are obtained in the angular momentum and momentum basis. The matrix elements of the pseudo-unitary irreducible representations are given in terms of the cut off q-exponential and q-Bessel functions whose properties we also investigate.


title: Spaces of maps into classifying spaces for equivariant crossed complexes, II: The general topological group case

abstract: The results of a previous paper on the equivariant homotopy theory of crossed complexes are generalised from the case of a discrete group to general topological groups. The principal new ingredient necessary for this is an analysis of homotopy coherence theory for crossed complexes, using detailed results on the appropriate Eilenberg-Zilber theory from Tonks' thesis, and of its relation to simplicial homotopy coherence. Again, our results give information not just on the homotopy classification of certain equivariant maps, but also on the weak equivariant homotopy type of the corresponding equivariant function spaces.


title: Lie local subgroupoids and their holonomy and monodromy Lie groupoids

abstract: The notion of local equivalence relation on a topological space is generalised to that of local subgroupoid. The main result is the construction of the holonomy and monodromy groupoids of certain Lie local subgroupoids, and the formulation of a monodromy principle on the extendibility of local Lie morphisms.


title: Neighborhoods in Stratified Spaces with Two Strata

abstract: We develop a theory of tubular neighborhoods for the lower strata in manifold stratified spaces with two strata. In these topologically stratified spaces, manifold approximate fibrations and teardrops play the role that fibre bundles and mapping cylinders play in smoothly stratified spaces. Applications include the classification of neighborhood germs, the construction of exotic stratifications, a multiparameter isotopy extension theorem and an h-coborsism extension theorem.


title: Complete collineations revisited

abstract: The space of complete collineations is a compactification of the space of matrices of fixed dimension and rank, whose boundary is a divisor with normal crossings. It was introduced in the 19th century and has been used to solve many enumerative problems. We show that this venerable space can be understood using the latest quotient constructions in algebraic geometry. Indeed, there is a detailed analogy between the complete collineations and the moduli space of stable pointed curves of genus zero. The remarkable results of Kapranov exhibiting the latter space as a Chow quotient, Hilbert quotient, and so on, all have counterparts for complete collineations. This analogy encompasses Vainsencher's construction of the complete collineations, as well as a form of the Gel'fand-MacPherson correspondence. There is also a tangential relation with the Gromov-Witten invariants of Grassmannians. The symmetric and anti-symmetric versions of the problem are considered as well. An appendix explains the original motivation, which came from the space of broken Morse flows for the moment map of a circle action.


title: Numerical integrators that contract volume

abstract: We study numerical integrators that contract phase space volume even when the ODE does so at an arbitrarily small rate. This is done by a splitting into two-dimensional contractive systems. We prove a sufficient condition for Runge-Kutta methods to have the appropriate contraction property for these two-dimensional systems; the midpoint rule is an example.


title: Geometric Quantization of Vector Bundles

abstract: I repeat my definition for quantization of a vector bundle. For the case of Toeplitz and geometric quantization of a compact Kaehler Manifold, I give a construction for quantizing any smooth vector bundle which depends functorially on a choice of connection on the bundle.


title: The Fine Structure of Translation Functors

abstract: Let E be a simple finite dimensional representation of a semisimple Lie algebra with extremal weight nu and choose nonzero e in E_{nu}. Let M(tau) be the Verma module with highest weight tau and v_{tau} in M(tau)_{tau} its canonical generator. We investigate the projection of e \otimes v_{tau} in E \otimes M(tau) on the central character chi(tau + nu). This is a rational function in tau and we calculate its poles and zeros. We then apply this result in order to compare translation functors.


title: Identities for classical group characters of nearly rectangular shape

abstract: We derive several identities that feature irreducible characters of the general linear, the symplectic, the orthogonal, and the special orthogonal groups. All the identities feature characters that are indexed by shapes that are "nearly" rectangular, by which we mean that the shapes are rectangles except for one row or column that might be shorter than the others. As applications we prove new results in plane partitions and tableaux enumeration, including new refinements of the Bender-Knuth and MacMahon (ex-)conjectures.


title: "Weakly" Elliptic Gorenstein Singularities of Surfaces

abstract: The main message of the paper is that for Gorenstein singularities, whose (real) link is rational homology sphere, the Artin--Laufer program can be continued. Here we give the complete answer in the case of elliptic singularities. The main result of the paper says that in the case of an elliptic Gorenstein singularity whose link is rational homology sphere, the geometric genus is a topological invariant. Actually, it is exactly the length of the elliptic sequence in the minimal resolution (or, equivalently, in S. S.-T. Yau's terminology: these singularities are maximally elliptic). In the paper we characterize the singularities with this property, and we compute their Hilbert-Samuel function from their resolution graph (generalizing some results of Laufer and Yau). The obstruction for a normal surface singularity to be maximally elliptic can be connected with the torsion part of some Picard groups, this is the new idea of the paper.


title: Word hyperbolic Dehn surgery

abstract: The aim of this paper is to demonstrate that very many Dehn fillings on a cusped hyperbolic 3-manifold yield a 3-manifold which is irreducible, atoroidal and not Seifert fibred, and which has infinite, word hyperbolic fundamental group. We establish an extension of the Thurston-Gromov $2\pi$ theorem by showing that if each filling slope has length more than six, then the resulting 3-manifold has all the above properties. We also give a combinatorial version of the $2\pi$ theorem which relates to angled ideal triangulations. We apply these techniques by studying surgery along alternating links.


title: Quantization of Lie bialgebras, V

abstract: This paper is a continuation of "Quantization of Lie bialgebras I-IV". The goal of this paper is to define and study the notion of a quantum vertex operator algebra in the setting of the formal deformation theory and give interesting examples of such algebras. In particular, we construct a quantum vertex operator algebra from a rational, trigonometric, or elliptic R-matrix, which is a quantum deformation of the affine vertex operator algebra. The simplest vertex operator in this algebra is the quantum current of Reshetikhin and Semenov-Tian-Shansky.


title: Primitive ideals in Hopf algebra extensions

abstract: Let $H$ be a finite-dimensional Hopf algebra. We study the behaviou r of primitive and maximal ideals in certain types of ring extensions determined by $H$. The main focus is on the class of faithfully flat Galois extensions, which includes includes smash and crossed products. It is shown how analogous results can be obtained for the larger class of extensions possessing a total integral, which includes extensions $A^H\subseteq A $ when $H$ is semisimple. We use Passman's "primitivity machine" to reduce the whole theory of Kr ull relations for prime ideals to the case of primitive ideals. The concept of strongly semiprimitive Hopf algebra is introduced and investigated. Several examples and open problems are discussed.


title: Polycyclic-by-finite group algebras are catenary

abstract: We show that group algebras kG of polycyclic-by-finite groups G, where k is a field, are catenary: Given prime ideals P and P' of kG, with P contained in P', all saturated chains of primes between P and P' have the same length.


title: Small forcing creates neither strong nor Woodin cardinals

abstract: After small forcing, almost every strongness embedding is the lift of a strongness embedding in the ground model. Consequently, small forcing creates neither strong nor Woodin cardinals.


title: \'Etale cohomology and reduction of abelian varieties

abstract: In this paper we study the \'etale cohomology groups associated to abelian varieties. We obtain necessary and sufficient conditions for an abelian variety to have semistable reduction (or purely additive reduction which becomes semistable over a quadratic extension) in terms of the action of the absolute inertia group on the \'etale cohomology groups with finite coefficients.


title: Mordell-Lang plus Bogomolov

abstract: We formulate a conjecture for semiabelian varieties A over number fields that includes both the Mordell-Lang conjecture (now proven) and the Bogomolov conjecture. We prove the "Mordellic" (finitely generated) part of the conjecture when A is isogenous to the product of an abelian variety and a torus. The proof makes use of the Mordell-Lang conjecture, the Bogomolov conjecture, and an equidistribution theorem.


title: Mordell-Lang plus Bogomolov II: the division group

abstract: In "Mordell-Lang plus Bogomolov", we formulated a conjecture combining the Mordell-Lang conjecture (now proven) and the Bogomolov conjecture, and proved the Mordellic part when A is almost split (i.e., isogenous to the product of an abelian variety and a torus). Here we prove that the full conjecture would follow from the Bogomolov conjecture and an equidistribution result for general semiabelian varieties. These assumptions have been proved when A is almost split, so the conjecture is completely proven in that case.


title: Post's problem for supertasks has both positive and negative solutions

abstract: Recently we have introduced a new model of infinite computation by extending the operation of ordinary Turing machines into transfinite ordinal time. In this paper we will show that the infinite time Turing machine analogue of Post's problem, the question whether there are supertask degrees between 0 and the supertask jump 0^jump, has in a sense both positive and negative solutions. Namely, in the context of the reals there are no degrees between 0 and 0^jump, but in the context of SETS of reals, there are; indeed, there are incomparable semi-decidable supertask degrees. Both arguments employ a kind of transfinite-injury construction which generalizes canonically to oracles.


title: K3 Surfaces with Involution and Analytic Torsion

abstract: This is the abstruct of the revised paper. We study the equivariant analytic torsion for K3 surfaces with an anti-symplectic involution with the invariant lattice M (such a surface is called a 2-elementary K3 surface of type M in this paper), and show that it (together with the analytic torsion of the fixed curves) can be identified with the automorphic form on the moduli space characterizing the discriminant locus. Three lattices A_1, II_{1,1}(2), II_{1,9}(2) are of particular interest, because they consist of the building blocks of 2-elementary lattices. An explicit formula is given for them. In particular, if M is twice the Enriques lattice, the automorphic form coincides with Borcherds's Phi-function which confirms an observation by Jorgenson-Todorov and Harvey-Moore. Some other examples are shown to be related to Borcherds's product and generalized Kac-Moody algebras.


title: Homological Methods in Equations of Mathematical Physics

abstract: These lecture notes are a systematic and self-contained exposition of the cohomological theories naturally related to partial differential equations: the Vinogradov C-spectral sequence and the C-cohomology, including the formulation in terms of the horizontal (characteristic) cohomology. Applications to computing invariants of differential equations are discussed. The lectures contain necessary introductory material on the geometric theory of differential equations and homological algebra.

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


title: Relative positions of matroid algebras

abstract: A classification is given for (regular) positions of direct sums of two matroid algebras (unital algebraic limits of matrix algebras) in a matroid superalgebra, where the individual summands have index 2 in their associated corner algebra. A similar classification is obtained for positions of direct sums of 2-symmetric algebras and, in the odd case, for the positions of sums of 2-symmetric C*-algebras in matroid C*-algebras. The approach relies on an analysis of intermediate non-self-adjoint operator algebras and the classifications are given in terms of K0 invariants, partial isometry homology and scales in the associated composite K0-homology group.


title: Birational rigidity of a three-dimensional double cone

abstract: It is proved that a three-dimensional double cone is a birationally rigid variety. We also compute the group of birational automorphisms of such a variety. This work is based on the method of "untwisting" maximal singularities of linear system.


title: The Weyl Character Formula, the half-spin representations, and equal rank subgroups

abstract: Let B be a reductive Lie subalgebra of a semi-simple Lie algebra of the same rank both over the complex numbers. To each finite dimensional irreducible representation $V_\lambda$ of F we assign a multiplet of irreducible representations of B with m elements in each multiplet, where m is the index of the Weyl group of B in the Weyl group of F. We obtain a generalization of the Weyl character formula; our formula gives the character of $V_\lambda$ as a quotient whose numerator is an alternating sum of the characters in the multiplet associated to $V_\lambda$ and whose denominator is an alternating sum of the characters of the multiplet associated to the trivial representation of F.


title: Complete hyperkaehler 4n-manifolds with a local tri-Hamiltonian R^n-action

abstract: We classify those manifolds mentioned in the title which have finite topological type. Namely we show any such connected M is isomorphic to a hyperkaehler quotient of a flat quaternionic vector space by an abelian group. We also show that a compact connected and simply connected 3-Sasakian manifold of dimension 4n-1 whose isometry group has rank n+1 is isometric to a 3-Sasakian quotient of a sphere by a torus. As a corollary, a compact connected quaternion-Kaehler 4n-manifold with positive scalar curvature and isometry group of rank n+1 is isometric to the quaternionic projective space or the complex grassmanian.


title: Equivariant de Rham Theory and Graphs

abstract: Goresky, Kottwitz and MacPherson have recently shown that the computation of the equivariant cohomology ring of a G-manifold can be reduced to a computation in graph theory. This opens up the possibility that many of the fundamental theorems in equivariant de Rham theory may, on closer inspection, turn out simply to be theorems about graphs. In this paper we show that for some familiar theorems, this is indeed the case.


title: The Work of R.E. Borcherds

abstract: Laudation delivered at the International Congress of Mathematicians in Berlin following the award of the Fields Medal to Richard Borcherds.


title: The Twisted Photon Associated to Hyper-Hermitian Four-Manifolds

abstract: The Lax formulation of the hyper-Hermiticity condition in four dimensions is used to derive a potential that generalises Plebanski's second heavenly equation for hyper-Kahler 4-manifolds. A class of examples of hyper-Hermitian metrics which depend on two arbitrary functions of two complex variables is given. The twistor theory of four-dimensional hyper-Hermitian manifolds is formulated as a combination of the Nonlinear Graviton Construction with the Ward transform for anti-self-dual Maxwell fields.

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


title: Successors of singular cardinals and coloring theorems. I

abstract: We investigate the existence of strong colorings on successors of singular cardinals. This work continues Section 2 of [Sh:413] (math.LO/9809199), but now our emphasis is on finding colorings of pairs of ordinals, rather than colorings of finite sets of ordinals.


title: Non-existence of universal members in classes of abelian groups

abstract: We prove that if mu^+< lambda =cf(lambda)< mu^{aleph_0}, then there is no universal reduced torsion free abelian group. Similarly if aleph_0< lambda < 2^{aleph_0}. We also prove that if 2^{aleph_0}< mu^+< lambda =cf(lambda)< mu^{aleph_0}, then there is no universal reduced separable abelian p-group in lambda. (Note: both results fail if lambda = lambda^{aleph_0} or if lambda is strong limit, cf (mu)= aleph_0< mu).


title: Not collapsing cardinals <= kappa in (< kappa) --support iterations II

abstract: We deal with (< kappa)-supported iterated forcing notions which are (E_0,E_1)-complete, have in mind problems on Whitehead groups, uniformizations and the general problem. We deal mainly with the successor of a singular case. This continues [Sh:587]. We also deal with complimentary combinatorial results.


title: Completions of Z/(p)-Tate cohomology of periodic spectra

abstract: We construct splittings of some completions of the Z/(p)-Tate cohomology of E(n) and some related spectra. In particular, we split (a completion of) tE(n) as a (completion of) a wedge of E(n-1)'s as a spectrum, where t is shorthand for the fixed points of the Z/(p)-Tate cohomology spectrum (ie Mahowald's inverse limit of P_{-k} smash SE(n)). We also give a multiplicative splitting of tE(n) after a suitable base extension.


title: Integer solutions of a sequence of decomposable form inequalities

abstract: In this paper, we prove the finiteness of the number of integer solutions of the decomposable form inequalities. We also study the number of integer solutions of a sequence of decomposable form inequalities.


title: A peculiar modular form of weight one

abstract: In this paper we construct a modular form f of weight one attached to an imaginary quadratic field K. This form, which is non-holomorphic and not a cusp form, has several curious properties. Its negative Fourier coefficients are non-zero precisely for neqative integers -n such that n >0 is a norm from K, and these coefficients involve the exponential integral. The Mellin transform of f has a simple expression in terms of the Dedekind zeta function of K and the difference of the logarithmic derivatives of Riemann zeta function and of the Dirichlet L-series of K. Finally, the positive Fourier coefficients of f are connected with the theory of complex multiplication and arise in the work of Gross and Zagier on singular moduli.


title: Group structures of elementary supersingular abelian varieties over finite fields

abstract: Let A be a supersingular abelian variety over a finite field k. We give an approximate description of the structure of the group A(k) of rational points of A over k in terms of the characteristic polynomial f of the Frobenius endomorphism of A relative to k. If f=g^e for a monic irreducible polynomial g and a positive integer e, we show that there is a group homomorphism A(k) --> (Z/g(1)Z)^e whose kernel and cokernel are elementary abelian 2-groups. In particular, this map is an isomorphism if the characteristic of k is 2 or A is simple of dimension greater than 2; in the last case one has e=1 or 2, and A(k) is isomorphic to (Z/g(1)Z)^e.


title: Some cases of the Fontaine-Mazur conjecture, II

abstract: This is an updated and extended version of ANT-0024. We prove more special cases of the Fontaine-Mazur conjecture regarding p-adic Galois representations unramified at p, and we present evidence for and consequences of a generalization of it.


title: Counterexamples to a conjecture of Lemmermeyer

abstract: We produce infinitely many finite 2-groups that do not embed with index 2 in any group generated by involutions. This disproves a conjecture of Lemmermeyer and restricts the possible Galois groups of unramified 2-extensions, Galois over the rationals, of quadratic number fields.


title: Generic metrics, irreducible rank-one PU(2) monopoles, and transversality

abstract: We prove that the moduli space of solutions to the PU(2) monopole equations is a smooth manifold of the expected dimension for simple, generic parameters such as (and including) the Riemannian metric on the given four-manifold. In a previous article, dg-ga/9710032, we proved transversality using an extension of the holonomy-perturbation methods of Donaldson, Floer, and Taubes, together with the existence of an Uhlenbeck compactification for the perturbed moduli space. However, it remained an important and interesting question to see whether there were simpler, more intrinsic alternatives to the holonomy perturbations and this is the issue we settle here. The idea that PU(2) monopoles might lead to a proof of Witten's conjecture (hep-th/9411102, hep-th/9709193) concerning the relation between the two types of four-manifold invariants was first proposed by Pidstrigach and Tyurin in 1994 (dg-ga/9507004): the space of PU(2) monopoles contains the moduli space of anti-self-dual connections together with copies of the various Seiberg-Witten moduli spaces, these forming singular loci in the higher-dimensional space of PU(2) monopoles. Results in this direction, due to the author and Leness, are surveyed in dg-ga/9709022, with a detailed account appearing in dg-ga/9712005. Our transversality theorem ensures that the anti-self-dual and Seiberg-Witten loci are the only singularities and that the PU(2) monopole moduli space forms a smooth - though non-compact, because of bubbling - cobordism between the links of the singularities.

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


title: On Function Theory in Quantum Disc: q-Differential Equations and Fourier Transform

abstract: This work presents proofs of the main results of (math.QA/9808015), except those on q-Berezin transform to appear in a subsequent work. The notation and the results of (math.QA/9808037) and (math.QA/9808047) are used.


title: Quantum harmonic oscillator algebras as non-relativistic limits of multiparametric $gl(2)$ quantizations

abstract: Multiparametric quantum $gl(2)$ algebras are presented according to a classification based on their corresponding Lie bialgebra structures. From them, the non-relativistic limit leading to quantum harmonic oscillator algebras is implemented in the form of generalized Lie bialgebra contractions.


title: String Theory and Duality

abstract: This is a very brief survey of some results in the geometry of string duality delivered at a lecture given at ICM 1998, Berlin. String Duality is the statement that one kind of string theory compactified on one space is equivalent in some sense to another string theory compactified on a second space. This draws a connection between two quite different spaces. Mirror symmetry is an example of this. Here we discuss mirror symmetry and another ``heterotic/type II'' duality which relates vector bundles on a K3 surface to a Calabi-Yau threefold.


title: Distributions a support compact et representations unitaires

abstract: Dans cet article nous precisons les notions de representations unitaires fortement tracables et de front d'onde d'une representation unitaire, toutes deux introduites par Roger Howe. Nous montrons que pour toute distribution $\phi$ a support compact sur un groupe de Lie connexe dont le front d'onde ne rencontre pas l'oppose du front d'onde de la representation $\pi$ l'operateur $\pi(\phi)$ est regularisant. De plus, sous les memes hypotheses cet operateur est a trace si la representation est fortement tracable. Dans le cas ou la representation est irreductible et associee par la methode des orbites a une orbite fermee et temperee, nous montrons qu'elle est fortement tracable et nous etendons la formule des caracteres aux operateurs $\pi(\phi)$ pour les distributions $\phi$ a support compact dont le front d'onde verifie la condition de transversalite ci-dessus.


title: New Quantum Deformation of Osp(1;2)

abstract: The complete set of formulas describing the new quantum deformation of the OSP(1;2) supergroup is provided. A general ansatz is solved for the deformation of the Borel subalgebra of its dual quantum deformation of osp(1;2).


title: The Area of the Medial Parallelogram of a Tetrahedron

abstract: When a pair of non-incident edges of a tetrahedron is chosen, the midpoints of the remaining 4 edges are the vertices of a planar parallelogram. A formula is given in terms of the six edge lengths for the area of this parallelogram. It is not claimed that this formula is new, but it is certainly not well-known. The author would be very grateful for a citation to an occurence of the formula in previously existing literature (by e-mail to dyetter@math.ksu.edu). The result is of some current interest due to the work of Barbieri and Barrett/Crane on attempts to formulate simplicial versions of quantum gravity. The new version corrects the coefficient in the main result. A paper of the same title but with a vectorial version of the derivation of the area formula was published by the author in the American Mathematical Monthly 106 (10) December 1999 pp. 956-598.


title: Picard lattices of families of K3 surfaces

abstract: Using toric geometry, lattice theory, and elliptic surface techniques, we compute the Picard Lattice of certain K3 surfaces. In particular, we examine the generic member of each of M. Reid's list of 95 families of Gorenstein K3 surfaces which occur as hypersurfaces in weighted projective 3-spaces. The results appear in a multipage table near the end of the paper. As an application, we are able to determine whether the mirror family (in the sense of mirror symmetry for K3 surfaces) for each one is also on Reid's list.


title: Uncomputably Large Integral Points on Algebraic Plane Curves?

abstract: We show that the decidability of an amplification of Hilbert's Tenth Problem in three variables implies the existence of uncomputably large integral points on certain algebraic curves. We obtain this as a corollary of a new positive complexity result: the Diophantine prefixes EAE and EEAE are generically decidable. This means, taking the former prefix as an example, that we give a precise geometric classification of those polynomials f in Z[v,x,y] for which the question... ``Does there exists a v in N such that for all x in N, there exists a y in N with f(v,x,y)=0?'' ...may be undecidable, and we show that this set of polynomials is quite small in a rigourous sense. (The decidability of EAE was previously an open question.) The analogous result for the prefix EEAE is even stronger. We thus obtain a connection between the decidability of certain Diophantine problems, height bounds for points on curves, and the geometry of certain complex surfaces and 3-folds.


title: Quasi-isometric rigidity for the solvable Baumslag-Solitar groups, II

abstract: Let BS(1,n)= < a,b: aba^{-1}=b^n >. We prove that any finitely-generated group quasi-isometric to BS(1,n) is (up to finite groups) isomorphic to BS(1,n). We also show that any uniform group of quasisimilarities of the real line is bilipschitz conjugate to an affine group.


title: Novikov-Shubin invariants for arbitrary group actions and their positivity

abstract: We extend the notion of Novikov-Shubin invariant for free G-CW-complexes of finite type to spaces with arbitrary G-actions and prove some statements about their positivity. In particular we apply this to classifying spaces of discrete groups.


title: Some properties of the Sturm-Liouville operator in L_p(R)

abstract: We consider the boundary problem -y''(x)+q(x)y(x)=f(x), lim_{|x|\to\infty}y^{(i)}(x)=0, i=0,1, where f(x)\in L_p(R), p\in[1,\infty], 1\le q(x)\in L_1^{\loc}(R). For this boundary problem we obtain: 1) necessary and sufficient conditions for unique solvability and a priori properties of the solution; 2) a criterion for the resolvent to be compact in L_p(R), and some a priori properties of the spectrum.


title: Ordering the braid groups

abstract: We give an explicit geometric argument that Artin's braid group $B_n$ is right-orderable. The construction is elementary, natural, and leads to a new, effectively computable, canonical form for braids which we call left-consistent canonical form. The left-consistent form of a braid which is positive (respectively negative) in our order has consistently positive (respectively negative) exponent in the smallest braid generator which occurs. It follows that our ordering is identical to that of Dehornoy, constructed by very different means, and we recover Dehornoy's main theorem that any braid can be put into such a form using either positive or negative exponent in the smallest generator but not both. Our definition of order is strongly connected with Mosher's normal form and this leads to an algorithm to decide whether a given braid is positive, trivial, or negative which is quadratic in the length of the braid word.


title: Counting open negatively curved manifolds up to tangential homotopy equivalence

abstract: Under mild assumptions on a group G, we prove that the class of complete Riemannian n-manifolds of uniformly bounded negative sectional curvatures and with the fundamental groups isomorphic to G breaks into finitely many tangential homotopy types. It follows that many aspherical manifolds do not admit complete negatively curved metrics with prescribed curvature bounds.


title: Rational Points on Quartics

abstract: Let $S \subset \P^n$ be a smooth quartic hypersurface defined over a number field $K$. If $n \ge 4$, then for some finite extension $K'$ of $K$ the set $S(K')$ of $K'$-rational points of $S$ is Zariski dense.


title: Arithmetic height functions over finitely generated fields

abstract: In this paper, we propose a new height function for a variety defined over a finitely generated field over Q. For this height function, we will prove Northcott's theorem and Bogomolov's conjecture, so that we can recover the original Raynaud's theorem (Manin-Mumford's conjecture).


title: A construction of representations for quantum groups: an example of Uq(so(5))

abstract: A short description is given of a construction of representations for quantum groups. The method uses infinitesimal dressing transformation on quantum homogeneous spaces and is illustrated on an example of Uq(so(5)).


title: On Function Theory in Quantum Disc: A q-Analogue of Berezin Transform

abstract: This work contains a proof of theorem 7.3 from math.QA/9808015. This theorem demonstrates the Berezin method to be applicable for producing a well known one-parameter deformation of the quantum disc.


title: Stable sheaves on elliptic fibrations

abstract: We characterize the subscheme of the moduli space of torsion-free sheaves on an elliptic surface which are stable of relative degree zeero (with respect to a polarization of type aH+bf, H being the section and f the elliptic fibre) which is isomorphic, via the relative Fourier-Mukai transform, with the relative compactified Simpson Jacobian of the family of those curves D in the surface which are flat over the base of the elliptic fibration. This generalizes and completes earlier constructions due to Friedman, Morgan and Witten. We also study the relative moduli scheme of sheaves whose restriction to each fibre is torsion-free and semistable of rank n and degree zero for higher dimensional elliptic fibrations. The relative Fourier-Mukai transform induces an isomorphic between this relative moduli space and the relative n-th symmetric product of the fibration.


title: The level 2 and 3 modular invariants for the orthogonal algebras

abstract: This paper finds for all orthogonal algebras (i.e. the B and D series) all modular invariant 1-loop partition functions at levels 1,2,3. Previously, only those at level 1 were classified. An extraordinary number of exceptionals appear at level 2 -- indeed this is the primary motivation for this paper -- and we find infinitely many new ones there. The only level 3 exceptionals occur for $B_2$ and $D_7$, and the latter appear to be new. The $B_{2,3}$ and $D_{7,3}$ exceptionals are cousins of the "$E_6$" and "$E_8$" exceptionals in the A-D-E classification for affine $A_1$, while the level 2 exceptionals are related to the lattice invariants of affine u(1).


title: Separable functors for Doi-Hopf modules. Applications

abstract: There are theorems in the literature which are referred as Maschke type theorems, because of the attempt to generalize Maschke's classical theorem. Our remark is that all these theorems are in fact providing sufficient conditions for the separability of a certain forgetful functor. But, unlike classical Maschke's theorem, where the sufficient condition is also necessary, none of these theorems gives any necessary condition for the separability of the forgeful functor in question. Our job is to find a necessary and sufficient condition for the separability of the forgetful functor from the category of Doi-Hopf modules forgetting the comodule structure. As in the classical case, this functor is separable iff exists a certain "integral map" with a normalizing property. As particular cases, improved versions of "Maschke type" theorems are given. Other various applications are given. For example, keeping in mind that the category of Yetter-Drinfel'd modules is also a category of Doi-Hopf modules, we obtain the notion of quantum integral. For H a finite dimensional Hopf algebra, the existence of such a quantum integral is a necessary and sufficient condition for the Drinfel'd double to be a separable extension of H.


title: Rank one lattice type vertex operator algebras and their automorphism groups, II: E-series

abstract: Let L be the A_1 root lattice and G a finite subgroup of Aut(V_L), where $V_L$ is the associated lattice VOA (in this case, Aut(V) is isomorphic to PSL(2,\Bbb C)). The fixed point subVOA, V^G was studied in q-alg/9710017, which finds a set of generators and determines the automorphism group when G is cyclic (from the "A-series") or dihedral (from the "D-series"). In the present article, we obtain analogous results for the remaining possibilities for G, that it belong to the "E-series": G\cong Alt_4, Alt_5 or Sym_4.


title: Uniformity of stably integral points on principally polarized abelian surfaces

abstract: We prove, assuming that the conjecture of Lang and Vojta holds true, that there is a uniform bound on the number of stably integral points in the complement of the theta divisor on a principally polarized abelian surface defined over a number field. This gives a uniform version, in the spirit of a result of Caporaso-Harris-Mazur, of an unconditional theorem of Faltings. We utilize recent results of Alexeev and Nakamura on complete moduli for quasi-abelian varieties. We expect that a thorough understanding of current work of Alexeev should give a more general result for abelian varieties of an arbitrary dimension with a polarizing divisor of an arbitrary degree - a proposed approach for such a generalization is given at the end of the paper.


title: Gr\"obner-Shirshov Bases for Lie Superalgebras and Their Universal Enveloping Algebras

abstract: We show that a set of monic polynomials in the free Lie superalgebra is a Gr\"obner-Shirshov basis for a Lie superalgebra if and only if it is a Gr\"obner-Shirshov basis for its universal enveloping algebra. We investigate the structure of Gr\"obner-Shirshov bases for Kac-Moody superalgebras and give explicit constructions of Gr\"obner-Shirshov bases for classical Lie superalgebras.


title: Graded Lie Superalgebras, Supertrace Formula, and Orbit Lie Superalgebras

abstract: Let $\Gamma$ be a countable abelian semigroup and $A$ be a countable abelian group satisfying a certain finiteness condition. Suppose that a group $G$ acts on a $(\Gamma \times A)$-graded Lie superalgebra ${\frak L}=\bigoplus_{(\alpha,a) \in \Gamma\times A} {\frak L}_{(\alpha,a)}$ by Lie superalgebra automorphisms preserving the $(\Gamma\times A)$-gradation. In this paper, we show that the Euler-Poincar\'e principle yields the generalized denominator identity for ${\frak L}$ and derive a closed form formula for the supertraces $\text{str}(g|{\frak L}_{(\alpha,a)})$ for all $g\in G$,$(\alpha,a) \in \Gamma\times A$. We discuss the applications of our supertrace formula to various classes of infinite dimensional Lie superalgebras such as free Lie superalgebras and generalized Kac-Moody superalgebras. In particular, we determine the decomposition of free Lie superalgebras into a direct sum of irreducible $GL(n) \times GL(k)$-modules, and the supertraces of the Monstrous Lie superalgebras with group actions. Finally, we prove that the generalized characters of Verma modules and the irreducible highest weight modules over a generalized Kac-Moody superalgebra ${\frak g}$ corresponding to the Dynkin diagram automorphism $\sigma$ are the same as the usual characters of Verma modules and irreducible highest weight modules over the orbit Lie superalgebra $\breve{\frak g}={\frak g}(\sigma)$ determined by $\sigma$.


title: The Polynomial Behavior of Weight Multiplicities for the Affine Kac-Moody Algebras $A^{(1)}_r$

abstract: We prove that the multiplicity of an arbitrary dominant weight for an integrable highest weight representation of the affine Kac-Moody algebra $A_{r}^{(1)}$ is a polynomial in the rank $r$. In the process we show that the degree of this polynomial is less than or equal to the depth of the weight with respect to the highest weight. These results allow weight multiplicity information for small ranks to be transferred to arbitrary ranks.