title: Dualizing Complexes, Morita Equivalence and the Derived Picard Group of a Ring

abstract: Two rings A and B are said to be derived Morita equivalent if their derived categories of modules are equivalent. By results of Rickard, if A and B are derived Morita equivalent algebras over a field k, then there is a complex of bimodules T s.t. the derived tensor product with T is an equivalence. The complex T is called a tilting complex. When B = A the isomorphism classes of tilting complexes T form the derived Picard group DPic(A). We prove that when the algebra A is either local or commutative, then any derived Morita equivalent algebra B is actually Morita equivalent. So we can compute DPic(A) in these cases. Assume A is noetherian. Dualizing complexes over A were defined by the author some years ago. These are complexes of bimodules which generalize the commutative definition of Grothendieck. We prove that the group DPic(A) classifies the set of isomorphism classes of dualizing complexes. Finally we consider finite k-algebras. For the algebra A of upper triangular 2 x 2 matrices over k, we prove that t^{3} = s, where t, s are the classes in DPic(A) of Hom_{k}(A, k) and A[1] respectively. In the Appendix by Elena Kreines this result is generalized to upper triangular n x n matrices, and it is shown that the relation t^{n + 1} = s^{n - 1} holds.


title: The moduli space ${\cal M}_n(\Si)$ of stable fiber bundles over a compact Riemann surface

abstract: The moduli space of holomorphic fiber bundles ${\cal M}_n(\Si)$ over a compact Riemann surface $\Si$ is considered. A formula for the regularised determinant and an other for the symplectic form at trivial bundle are proposed.


title: On the asymptotics of Morse numbers of finite covers of manifolds

abstract: Let M be a closed connected manifold. Let m(M) be the Morse number of M, that is, the minimal number of critical points of a Morse function on M. Let N be a finite cover of M of degree d. M.Gromov posed the following question: what are the asymptotic properties of m(N) as d goes to infinity? In this paper we study the case of high dimensional manifolds M with free abelian fundamental group. Let x be a non-zero element of H^1(M), let M(x) be the infinite cyclic cover corresponding to x, and t be a generator of the structure group of this cover. Set M(x,k)=M(x)/t^k. We prove that the sequence m(M(x,k))/k converges as k goes to infinity. For x outside of a finite union of hyperplanes in H^1(M) we obtain the asymptotics of m(M(x,k)) as k goes to infinity, in terms of homotopy invariants of M related to Novikov homology of M.


title: Bohr-Sommerfeld conditions for Integrable Systems with critical manifolds of focus-focus type

abstract: We present a detailed study, in the semi-classical regime $h \to 0$, of microlocal properties of systems of two commuting h-PDO s $P_1(h)$, $P_2(h)$ such that the joint principal symbol $p=(p_1,p_2)$ has a special kind of singularity called a "focus-focus" singularity. Typical examples include the quantum spherical pendulum or the quantum Champagne bottle. In the spirit of Colin de Verdi\`ere and Parisse, we show that such systems have a universal behavior described by singular quantization conditions of Bohr-Sommerfeld type. These conditions are used to give a precise description of the joint spectrum of such systems, including the phenomenon of quantum monodromy and different formulations of the counting function for the joint eigenvalues close to the singularity, in which a logarithm of the semi-classical constant $h$ appears. Thanks to numerical computations done by M.S. Child for the case of the Champagne bottle, we are able to accurately illustrate our statements.


title: Induced surfaces and their integrable dynamics. II. Generalized Weierstrass representations in 4D spaces and deformations via DS hierarchy

abstract: Extensions of the generalized Weierstrass representation to generic surfaces in 4D Euclidean and pseudo-Euclidean spaces are given. Geometric characteristics of surfaces are calculated. It is shown that integrable deformations of such induced surfaces are generated by the Davey -Stewartson hierarchy. Geometrically these deformations are characterized by the invariance of an infinite set of functionals over surface. The Willmore functional (the total squared mean curvature) is the simplest of them. Various particular classes of surfaces and their integrable deformations are considered.


title: Operations on Cyclic Homology, the X Complex, and a Conjecture of Deligne

abstract: The goal of this article is to relate recent developments in cyclic homology theory with the theory of operads and homotopical algebra, and hence to provide a general framework to define and study operations in cyclic homology theory.


title: On the projective geometry of homogeneous spaces

abstract: We study the projective geometry of homogeneous varieties $X= G/P\subset P(V)$, where $G$ is a complex simple Lie group, $P$ is a maximal parabolic subgroup and $V$ is the minimal $G$-module associated to $P$. Our study began with the observation that Freudenthal's magic chart could be derived from Zak's theorem on Severi varieties and standard geometric constructions. Our attempt to understand this observation led us to discover further connections between projective geometry and representation theory. Among other things, we calculate the variety of tangent directions to lines on $X$ through a point and determine unirulings of $X$. We show this variety is a Hermitian symmetric space if and only if $P$ does not correspond to a short root. We describe the spaces corresponding to the exceptional short roots and their unirulings using the octonions. Further calculations, in the case $X$ is a Hermitian symmetric space, give rise to a strict prolongation property and the appearance of secant varieties at the infinitesimal level. Our work complements and advances that of Freudenthal and Tits, who studied homogeneous varieties in an abstract/axiomatic setting.


title: The Schwartz functions and the derivation

abstract: The derivation is studied in relation with the space of Schwartz of functions. This paper has been withdrawn by the author.


title: The Algebraic Closure of the Power Series Field in Positive Characteristic

abstract: We answer a question of Abhyankar by constructing an algebraic closure of the field of power series over a field of positive characteristic, using "generalized power series". (The corresponding construction in characteristic 0 dates back to Newton.)


title: Enumeration of tilings of diamonds and hexagons with defects

abstract: We show how to count tilings of Aztec diamonds and hexagons with defects using determinants. In several cases these determinants can be evaluated in closed form. In particular, we obtain solutions to problems 1, 2, and 10 in James Propp's list of problems on enumeration of matchings.


title: Periodic cyclic homology as sheaf cohomology

abstract: We study a noncommutative version of the infinitesimal site of Grothendieck. A theorem of Grothendieck establishes that the cohomology of the structure sheaf on the infinitesimal topology of a scheme of characteristic zero is de Rham cohomology. We prove that, for the noncommutative infinitesimal topology of an associative algebra over a field of characteristic zero, the cohomology of the structure sheaf modulo commutators is periodic cyclic cohomology. We also compute the noncommutative infinitesimal cohomology of other sheaves. For example we show that hypercohomology with coefficients in $K$-theory gives the fiber of the Jones-Goodwillie character which goes from $K$-theory to negative cyclic homology.


title: Lyapunov functions: necessary and sufficient conditions for practical stability

abstract: We prove the necessary and sufficient conditions for practical stability of nonlinear dynamical system at general phase restrictions. In such a case the Lyapunov function is nondifferentiable. But if the set of initial data is starry compact, then it is possible building Lyapunov function which belongs to differentiable functions class. We also estimate the optimal sets of initial conditions in structural forms for linear system and concrete phase restrictions.


title: The spectrum of Kleininan manifolds

abstract: We obtain the Plancherel theorem for the quotient of a simple Lie group of real rank one by a convex-cocompact discrete subgroup and its consequences for the spectrum of locally invariant differential operators on bundles over Kleinian manifolds. We develop a geometric version of scattering theory. The paper is an update of dg-ga/9609011, which is completely rewritten from the point of view of representation theory. In particular, we are now able to show the meromorphy of Eisenstein series for all parameters.


title: Fermat limit and congruence of Ohtsuki invariants

abstract: By calculating the Fermat limit of certain q-Fermat functions, we get explicit surgery formulae for the second and third Ohtsuki invariants for homology 3-spheres. The surgery formula of the second Ohtsuki invariant \lambda _2, combined with an argument using the general theory of finite type invariants of homology 3-spheres, leads to a congruence relation between the first and second Ohtsuki invariants: \lambda _1=2\lambda _2 mod 24.


title: The Howe duality and the Projective Representations of Symmetric Groups

abstract: The symmetric group S_n possesses a nontrivial central extension, whose irreducible representations, different from the irreducible representations of S_n itself, coincide with the irreducible representations of a certain algebra A_n. Recently M.~Nazarov realized irreducible representations of A_n and Young symmetrizers by means of the Howe duality between the Lie superalgebra q(n) and the Hecke algebra H_n, the semidirect product of S_n with the Clifford algebra C_n on n indeterminates. Here I construct one more analog of Young symmetrizers in H_n as well as the analogs of Specht modules for A_n and H_n.


title: A new integral solution of the hypergeometric equation

abstract: This paper will be replaced later by a revised version.


title: On the quantum cohomology of blow-ups of projective spaces along linear subspaces

abstract: We give an explicit presentation with generators and relations of the quantum cohomology ring of the blow-up of a projective space along a linear subspace.


title: A Hochschild homology Euler characteristic for circle actions

abstract: We define a "circle Euler characteristic" of a circle action on a compact manifold or finite complex X. It lies in the first Hochschild homology group of ZG where G is the fundamental group of X. It is analogous in many ways to the ordinary Euler characteristic. One application is an intuitively satisfying formula for the Euler class (integer coefficients) of the normal bundle to a smooth circle action without fixed points on a manifold. In the special case of a 3-dimensional Seifert fibered space, this formula is particularly effective. \~


title: Gorensteinness of invariant subrings of quantum algebras

abstract: We prove Auslander-Gorenstein and $\GKdim$-Macaulay properties for certain invariant subrings of some quantum algebras, the Weyl algebras, and the universal enveloping algebras of finite dimensional Lie algebras.


title: The geometry of Siegel modular varieties

abstract: This is a survey article about Siegel modular varieties over the complex numbers. It is written mostly from the point of view of moduli of abelian varieties, especially surfaces. We cover compactification of Siegel modular varieties; classification of the compactified varieties by Kodaira dimension, etc.; moduli of abelian surfaces and especially applications of the lifting of Jacobi forms to modular forms; projective models of some special Siegel modular 3-folds; non-principally polarized abelian surfaces; and constructing degenerating families of abelian varieties.


title: On the volume of a certain polytope

abstract: Let n >= 2 be an integer and consider the set T_n of n by n permutation matrices pi for which pi_{ij}=0 for j>=i+2. In this paper we study the convex hull of T_n, which we denote by P_n. P_n is a polytope of dimension binom{n}{2}. Our main purpose is to provide evidence for the following conjecture concerning its volume. Let v_n denote the minimum volume of a simplex with vertices in the affine lattice spanned by T_n. Then the volume of P_n is v_n times the product for i varying from 0 to n-2 of frac{1}{i+1} binom{2i}{i}. That is, P_n is the product of v_n and the first n-1 Catalan numbers. We also give a related result on the Ehrhart polynomial of P_n.


title: Several Constants Arising in Statistical Mechanics

abstract: This is a brief survey of certain constants associated with random lattice models, including self-avoiding walks, polyominoes, the Lenz-Ising model, monomers and dimers, ice models, hard squares and hexagons, and percolation models.

categories: math.CO cond-mat.stat-mech hep-lat math-ph math.MP


title: A Heat Kernel Lower Bound for Integral Ricci Curvature

abstract: In this note we give a heat kernel lower bound in term of integral Ricci curvature, extending Cheeger-Yau's estimate.


title: Moebius geometry of surfaces of constant mean curvature 1 in hyperbolic space

abstract: Various transformations of isothermic surfaces are discussed and their interrelations are analyzed. Applications to cmc-1 surfaces in hyperbolic space and their minimal cousins in Euclidean space are presented: the Umehara-Yamada perturbation, the classical and Bryant's Weierstrass type representations, and the duality for cmc-1 surfaces are interpreted in terms of transformations of isothermic surfaces. A new Weierstrass type representation is introduced and a Moebius geometric characterization of cmc-1 surfaces in hyperbolic space and minimal surfaces in Euclidean space is given.


title: Deformation quantization of the $n$-tuple point

abstract: Contrary to the classical methods of quantum mechanics, the deformation quantization can be carried out on phase spaces which are not even topological manifolds. In particular, the Moyal star product gives rise to a canonical functor $F$ from the category of affine analytic spaces to the category of associative (in general, non-commutative) $\C$-algebras. Curiously, if $X$ is the $n$-tuple point, $x^{n}=0$, then $F(X)$ is the algebra of $n\times n$ matrices.


title: The Hartpgs-type extension theorem for meromorphic mappings into q-complete complex spaces

abstract: We prove in this note a result on extension of meromorphic mappings, which can be considered as a direct generalisation of the Hartogs extension theorem for holomorphic functions. Namely: THEOREM. Every meromorphic mapping $f:H_n^q(r)\to Y$, where $Y$ is a $q$ - -complete complex space, extends to a meromorphic mapping from $\Delta^{n+q}$ to $Y$. Here $H_n^q(r):=\Delta^n\times (\Delta^q\setminus \bar\Delta_r^q)\cup \Delta_r^n\times \Delta^q$ is a "q-concave" Hartogs figure in $C^{n+q}$. Remark that in the case $q=1$, i.e. when $Y$ is Stein, the statement of the Theorem is exactly the Theorem of Hartogs.


title: Points in generic position and conductor of varieties with ordinary multiple subvarieties of codimension one

abstract: We extend results of our previous papers, on ordinary multiple points of curves, and on the computation of their conductor, to ordinary multiple subvarieties of codimension one.


title: Nonstandard GL_h(n) quantum groups and contraction of covariant q-bosonic algebras

abstract: $GL_h(n) \times GL_h(m)$-covariant $h$-bosonic algebras are built by contracting the $GL_q(n) \times GL_q(m)$-covariant $q$-bosonic algebras considered by the present author some years ago. Their defining relations are written in terms of the corresponding $R_h$-matrices. Whenever $n=2$, and $m=1$ or 2, it is proved by using U_h(sl(2)) Clebsch-Gordan coefficients that they can also be expressed in terms of coupled commutators in a way entirely similar to the classical case. Some U_h(sl(2)) rank-1/2 irreducible tensor operators, recently contructed by Aizawa in terms of standard bosonic operators, are shown to provide a realization of the $h$-bosonic algebra corresponding to $n=2$ and $m=1$.


title: Lifting formulas, Moyal product, and Feigin spectral sequence

abstract: It is shown, that each Lifting cocycle $\Psi_{2n+1},\Psi_{2n+3},\Psi_{2n+5},...$ ([Sh1], [Sh2]) on the Lie algebra $\Dif_n$ of polynomial differential operators on an $n$-dimensional complex vector space is the sum of two cocycles, its even and odd part. We study in more details the first case $n=1$. It is shown, that any nontrivial linear combination of two 3-cocycles on the Lie algebra $\Dif_1$, arising from the 3-cocycle~$\Psi_3$, is not cohomologous to zero, in a contradiction with the Feigin conjecture~[F]. The new conjecture on the cohomology $H^\ndot_\Lie(\Dif_1;\C)$ is made.


title: A general Hsu-Robbins-Erdos type estimate of tail probabilities of sums of independent identically distributed random variables

abstract: Let X_1,X_2,... be a sequence of independent and identically distributed random variables, and put S_n=X_1+...+X_n. Under some conditions on the positive sequence tau_n and the positive increasing sequence a_n, we give necessary and sufficient conditions for the convergence of sum_{n=1}^infty tau_n P(|S_n|>t a_n) for all t>0, generalizing Baum and Katz's (1965) generalization of the Hsu-Robbins-Erdos (1947, 1949) law of large numbers, also allowing us to characterize the convergence of the above series in the case where tau_n=1/n and a_n=(n log n)^{1/2} for n>1, thereby answering a question of Spataru. Moreover, some results for non-identically distributed independent random variables are obtained by a recent comparison inequality. Our basic method is to use a central limit theorem estimate of Nagaev (1965) combined with the Hoffman-Jorgensen inequality(1974).


title: From the Polya-Szego symmetrization inequality for Dirichlet integrals to comparison theorems for p.d.e.'s on manifolds

abstract: A method for proving symmetrization inequalities for some elliptic p.d.e.'s on manifolds equipped with appropriate isoperimetric inequalities is outlined. The method is based on a modification of an approach of Baernstein. The question of what is the most general result that can be proved in this way is still open, and the author can be consulted if the reader is interested in this question.


title: Finite dimensional representations of the soft torus

abstract: The soft tori constitute a continuous deformation, in a very precise sense, from the commutative C*-algebra C(T^2) to the highly non-commutative C*-algebra C*(F_2). Since both of these C*-algebras are known to have a separating family of finite dimensional representations, it is natural to ask whether that is also the case for the soft tori. We show that this is in fact the case.


title: Cycle groups for Artin stacks

abstract: We construct an algebraic homology functor for Artin stacks of finite type over a field, and we develop intersection-theoretic properties.


title: Monomial Bases of Quantized Enveloping Algebras

abstract: We construct a monomial basis of the positive part of the quantized enveloping algebra associated to a finite-dimensional simple Lie algebra. As an application we give a simple proof of the existence and uniqueness of the canonical basis of the positive part.


title: Amenable groups and measure concentration on spheres

abstract: It is proved that a discrete group $G$ is amenable if and only if for every unitary representation of $G$ in an infinite-dimensional Hilbert space $\cal H$ the maximal uniform compactification of the unit sphere $\s_{\cal H}$ has a $G$-fixed point, that is, the pair $(\s_{\cal H},G)$ has the concentration property in the sense of Milman. Consequently, the maximal $U({\cal H})$-equivariant compactification of the sphere in a Hilbert space $\cal H$ has no fixed points, which answers a 1987 question by Milman. This is a version as of November 19, 1998, incorporating some revisions.


title: The Explicit Formula in simple terms

abstract: This is a semi-expository paper on the easier aspects of the Explicit Formula for the Riemann Zeta Function. The topics reviewed here include: Weil's criterion for the Riemann Hypothesis and its probabilistic interpretation, various formulations of the contribution corresponding to the real place, Haran's version of the Explicit Formula, and the author's own derivation which puts all places on the same footing. This derivation, an addendum to Tate's Thesis, is in the spirit of Weil's insights towards an adelic understanding of the Explicit Formula. Whereas the analyst would likely formulate the Explicit Formula as a multiplicative convolution, Haran's theorem shows it is also an additive convolution. An intriguing conductor operator is considered whose spectral analysis is equivalent to the Explicit Formula. At a finite place it has a positive cuspidal spectrum. I also comment on the flexibility still left in the Explicit Formula, which shows that it has a symmetry group containing the non-zero rational numbers.


title: Superalgebras, their quantum deformations and the induced representation method

abstract: Some introductory concepts and basic definitions of the Lie superalgebras and their quantum deformations are exposed. Especially the induced representation methods in both cases are described. Based on the Kac representation theory we have succeeded in constructing representations of several higher rank superalgebras. When representations of quantum superalgebras are concerned, we have developed a method which can be applied not only to the one-parametric quantum deformations but also to the multi-parametric ones. As an intermediate step the Gel'fand-Zetlin basis description is extended to the case of superalgebras and their quantum deformations. Our approach also allows us to establish in consistent ways defining relations of quantum (super)algebras. Some illustrations are given.


title: Legendrian links of topological unknots

abstract: We use an estimate on the Thurston--Bennequin invariant of a Legendrian link in terms of its Kauffman-polynomial to show that links of topological unknots, e.g. the Borromean rings or the Whithead link, may not be represented by Legendrian links of Legendrian unknots.


title: Volume of Riemannian manifolds, geometric inequalities, and homotopy theory

abstract: We outline the current state of knowledge regarding geometric inequalities of systolic type, and prove new results, including systolic freedom in dimension 4. Namely, every compact, orientable, smooth 4-manifold X admits metrics of arbitrarily small volume such that every orientable, immersed surface of smaller than unit area is necessarily null-homologous in X.


title: Hodge integrals and Gromov-Witten theory

abstract: Integrals of the Chern classes of the Hodge bundle in Gromov-Witten theory are studied. We find a universal system of differential equations which determines the generating function of these integrals from the standard descendent potential (for any target X). We use virtual localization and classical degeneracy calculations to find trigonometric closed form solutions for special Hodge integrals over the moduli space of pointed curves. These formulas are applied to two computations in Gromov-Witten theory for Calabi-Yau 3-folds. The genus g, degree d multiple cover contribution of a rational curve is found to be simply proportional to the Euler characteristic of M_g. The genus g, degree 0 Gromov-Witten invariant is calculated (in agreement with recent string theoretic calculations of Gopakumar-Vafa and Marino-Moore). Finally, with Zagier's help, our Hodge integral formulas imply a general genus prediction of the punctual Virasoro constraints applied to the projective line.


title: On a stronger form of hereditary compactness in product spaces

abstract: The aim of this paper is to continue the study of sg-compact spaces. The class of sg-compact spaces is a proper subclass of the class of hereditarily compact spaces. In our paper we shall consider sg-compactness in product spaces. Our main result says that if a product space is sg-compact, then either all factor spaces are finite, or exactly one factor space is infinite and sg-compact and the remaining ones are finite and locally indiscrete.


title: A note on Saleh's paper `Almost continuity implies closure continuity'

abstract: Recently, Saleh claimed to have solved `a long standing open question' in Topology; namely, he proved that every almost continuous function is closure continuous (= $\theta$-continuous). Unfortunately, this problem was settled long time ago and even a better result is known.


title: An answer to a question of Pyrih

abstract: We answer a recent question of Pyrih by proving that a topological space $(X,\tau)$ is open-normal if and only if it is extremally disconnected.


title: Survey on preopen sets

abstract: The aim of this survey article is to cover most of the recent research on preopen sets. I try to present majority of the results on preopen sets that I am aware of.


title: On the nonexistence of Smith-Toda complexes

abstract: Let p be a prime. The Smith-Toda complex V(k) is a finite spectrum whose BP-homology is isomorphic to BP_*/(p,v_1,...,v_k). For example, V(-1) is the sphere spectrum and V(0) the mod p Moore spectrum. In this paper we show that if p > 5, then V((p+3)/2) does not exist and V((p+1)/2), if it exists, is not a ring spectrum. The proof uses the new homotopy fixed point spectral sequences of Hopkins and Miller.


title: The Yellow Cake

abstract: We consider the following property: (*) For every function f from R^2 to R there are functions g_n,h_n from R to R (for n<omega) such that for all real numbers x and y, f(x,y) = sum_{n<omega} g_n(x)h_n(y). We show that, despite some expectation suggested by [Sh:675], (*) does not imply MA(sigma-centered). Next, we introduce cardinal characteristics of the continuum responsible for the failure of (*).


title: The saturation conjecture (after A. Knutson and T. Tao)

abstract: In this exposition we give a simple and complete treatment of A. Knutson and T. Tao's recent proof (http://front.math.ucdavis.edu/math.RT/9807160) of the saturation conjecture, which asserts that the Littlewood-Richardson semigroup is saturated. The main tool is Knutson and Tao's hive model for Berenstein-Zelevinsky polytopes. In an appendix of W. Fulton it is shown that the hive model is equivalent to the original Littlewood-Richardson rule.


title: Covering of the null ideal may have countable cofinality

abstract: We prove that it is consistent that the covering of the ideal of measure zero sets has countable cofinality.


title: The cubic moment of central values of automorphic L-functions

abstract: The authors study the central values of L-functions in certain families; in particular they bound the sum of the cubes of these values.Contents:


title: The mean curvature integral is invariant under bending

abstract: Suppose M_t is a smooth family of compact connected two dimensional submanifolds of Euclidean space E^3 without boundary varying isometrically in their induced Riemannian metrics. Then we show that the mean curvature integrals over M_t are constant. It is unknown whether there are nontrivial such bendings. The estimates also hold for periodic manifolds for which there are nontrivial bendings. In addition, our methods work essentially without change to show the similar results for submanifolds of H^n and S^n. The rigidity of the mean curvature integral can be used to show new rigidity results for isometric embeddings and provide new proofs of some well-known results. This, together with far-reaching extensions of the results of the present note is done in the preprint: I Rivin, J-M Schlenker, Schlafli formula and Einstein manifolds, IHES preprint (1998). Our result should be compared with the well-known formula of Herglotz.


title: Characterisation of a class of equations with solutions over torsion-free groups

abstract: We study equations over torsion-free groups in terms of their `t-shape' (the occurences of the variable t in the equation). A t-shape is good if any equation with that shape has a solution. It is an outstanding conjecture that all t-shapes are good. In [Klyachko's methods and the solution of equations over torsion-free groups, l'Enseign. Maths. 42 (1996) 49--74] we proved the conjecture for a large class of t-shapes called amenable. In [Tesselations of S^2 and equations over torsion-free groups, Proc. Edinburgh Maths. Soc. 38 (1995) 485--493] Clifford and Goldstein characterised a class of good t-shapes using a transformation on t-shapes called the Magnus derivative. In this note we introduce an inverse transformation called blowing up. Amenability can be defined using blowing up; moreover the connection with differentiation gives a useful characterisation and implies that the class of amenable t-shapes is strictly larger than the class considered by Clifford and Goldstein.


title: Minimal Seifert manifolds for higher ribbon knots

abstract: We show that a group presented by a labelled oriented tree presentation in which the tree has diameter at most three is an HNN extension of a finitely presented group. From results of Silver, it then follows that the corresponding higher dimensional ribbon knots admit minimal Seifert manifolds.


title: A brief survey of the deformation theory of Kleinian groups

abstract: We give a brief overview of the current state of the study of the deformation theory of Kleinian groups. The topics covered include the definition of the deformation space of a Kleinian group and of several important subspaces; a discussion of the parametrization by topological data of the components of the closure of the deformation space; the relationship between algebraic and geometric limits of sequences of Kleinian groups; and the behavior of several geometrically and analytically interesting functions on the deformation space.


title: Boundaries of strongly accessible hyperbolic groups

abstract: We consider splittings of groups over finite and two-ended subgroups. We study the combinatorics of such splittings using generalisations of Whitehead graphs. In the case of hyperbolic groups, we relate this to the topology of the boundary. In particular, we give a proof that the boundary of a one-ended strongly accessible hyperbolic group has no global cut point.


title: Controlled embeddings into groups that have no non-trivial finite quotients

abstract: If a class of finitely generated groups Curly(G) is closed under isometric amalgamations along free subgroups, then every G in Curly(G) can be quasi-isometrically embedded in a group Hat(G) in Curly(G) that has no proper subgroups of finite index. Every compact, connected, non-positively curved space X admits an isometric embedding into a compact, connected, non-positively curved space Overline(X) such that Overline(X) has no non-trivial finite-sheeted coverings.


title: All Fuchsian Schottky groups are classical Schottky groups

abstract: Not all Schottky groups of Moebius transformations are classical Schottky groups. In this paper we show that all Fuchsian Schottky groups are classical Schottky groups, but not necessarily on the same set of generators.


title: Automatic groups, subgroups and cosets

abstract: The history, definition and principal properties of automatic groups and their generalisations to subgroups and cosets are reviewed briefly, mainly from a computational perspective. A result about the asynchronous automaticity of an HNN extension is then proved and applied to an example that was proposed by Mark Sapir.


title: On the Burau representation modulo a small prime

abstract: We discuss techniques for analysing the structure of the group obtained by reducing the image of the Burau representation of the braid group modulo a prime. The main tools are a certain sesquilinear form first introduced by Squier and consideration of the action of the group on a Euclidean building.


title: Folding sequences

abstract: Bestvina and Feighn showed that a morphism S --> T between two simplicial trees that commutes with the action of a group G can be written as a product of elementary folding operations. Here a more general morphism between simplicial trees is considered, which allow different groups to act on S and T. It is shown that these morphisms can again be written as a product of elementary operations: the Bestvina-Feighn folds plus the so-called `vertex morphisms'. Applications of this theory are presented. Limits of infinite folding sequences are considered. One application is that a finitely generated inaccessible group must contain an infinite torsion subgroup.


title: On the fixed-point set of automorphisms of non-orientable surfaces without boundary

abstract: Macbeath gave a formula for the number of fixed points for each non-identity element of a cyclic group of automorphisms of a compact Riemann surface in terms of the universal covering transformation group of the cyclic group. We observe that this formula generalizes to determine the fixed-point set of each non-identity element of a cyclic group of automorphisms acting on a closed non-orientable surface with one exception; namely, when this element has order 2. In this case the fixed-point set may have simple closed curves (called ovals) as well as fixed points. In this note we extend Macbeath's results to include the number of ovals and also determine whether they are twisted or not.


title: The Riley slice revisited

abstract: In [4]: `The Riley slice of Schottky space', (Proc. London Math. Soc. 69 (1994), 72-90), Keen and Series analysed the theory of pleating coordinates in the context of the Riley slice of Schottky space R, the deformation space of a genus two handlebody generated by two parabolics. This theory aims to give a complete description of the deformation space of a holomorphic family of Kleinian groups in terms of the bending lamination of the convex hull boundary of the associated three manifold. In this note, we review the present status of the theory and discuss more carefully than in [4] the enumeration of the possible bending laminations for R, complicated in this case by the fact that the associated three manifold has compressible boundary. We correct two complementary errors in [4], which arose from subtleties of the enumeration, in particular showing that, contrary to the assertion made in [4], the pleating rays, namely the loci in R in which the projective measure class of the bending lamination is fixed, have two connected components.


title: On the continuity of bending

abstract: We examine the dependence of the deformation obtained by bending quasi-Fuchsian structures on the bending lamination. We show that when we consider bending quasi-Fuchsian structures on a closed surface, the conditions obtained by Epstein and Marden to relate weak convergence of arbitrary laminations to the convergence of bending cocycles are not necessary. Bending may not be continuous on the set of all measured laminations. However we show that if we restrict our attention to laminations with non negative real and imaginary parts then the deformation depends continuously on the lamination.


title: Complex projective structures on Kleinian groups

abstract: Let M^3 be a compact, oriented, irreducible, and boundary incompressible 3-manifold. Assume that its fundamental group is without rank two abelian subgroups and its boundary is non-empty. We will show that every homomorphism from pi_1(M) to PSL(2,C) which is not `boundary elementary' is induced by a possibly branched complex projective structure on the boundary of a hyperbolic manifold homeomorphic to M.


title: Mutants and SU(3)_q invariants

abstract: Details of quantum knot invariant calculations using a specific SU(3)_q-module are given which distinguish the Conway and Kinoshita-Teresaka pair of mutant knots. Features of Kuperberg's skein-theoretic techniques for SU(3)_q invariants in the context of mutant knots are also discussed.


title: The engulfing property for 3-manifolds

abstract: We show that there are Haken 3-manifolds whose fundamental groups do not satisfy the engulfing property. In particular one can construct a pi_1-injective immersion of a surface into a graph manifold which does not factor through any proper finite cover of the 3-manifold.


title: Coordinates for quasi-Fuchsian punctured torus space

abstract: We consider complex Fenchel-Nielsen coordinates on the quasi-Fuchsian space of punctured tori. These coordinates arise from a generalisation of Kra's plumbing construction and are related to earthquakes on Teichmueller space. They also allow us to interpolate between two coordinate systems on Teichmueller space, namely the classical Fuchsian space with Fenchel-Nielsen coordinates and the Maskit embedding. We also show how they relate to the pleating coordinates of Keen and Series.


title: Divergent sequences of Kleinian groups

abstract: One of the basic problems in studying topological structures of deformation spaces for Kleinian groups is to find a criterion to distinguish convergent sequences from divergent sequences. In this paper, we shall give a sufficient condition for sequences of Kleinian groups isomorphic to surface groups to diverge in the deformation spaces.


title: Hairdressing in groups: a survey of combings and formal languages

abstract: A group is combable if it can be represented by a language of words satisfying a fellow traveller property; an automatic group has a synchronous combing which is a regular language. This article surveys results for combable groups, in particular in the case where the combing is a formal language.


title: Sur les espaces-temps homogenes

abstract: Here, we classify Lie groups acting isometrically on compact Lorentz manifolds, and in particular we describe the geometric structure of compact homogeneous Lorentz manifolds.


title: Coarse extrinsic geometry: a survey

abstract: This paper is a survey of some of the developments in coarse extrinsic geometry since its inception in the work of Gromov. Distortion, as measured by comparing the diameter of balls relative to different metrics, can be regarded as one of the simplist extrinsic notions. Results and examples concerning distorted subgroups, especially in the context of hyperbolic groups and symmetric spaces, are exposed. Other topics considered are quasiconvexity of subgroups; behaviour at infinity, or more precisely continuous extensions of embedding maps to Gromov boundaries in the context of hyperbolic groups acting by isometries on hyperbolic metric spaces; and distortion as measured using various other filling invariants.


title: How to find discrete contact symmetries

abstract: This paper describes a new algorithm for determining all discrete contact symmetries of any differential equation whose Lie contact symmetries are known. The method is constructive and is easy to use. It is based upon the observation that the adjoint action of any contact symmetry is an automorphism of the Lie algebra of generators of Lie contact symmetries. Consequently, all contact symmetries satisfy various compatibility conditions. These conditions enable the discrete symmetries to be found systematically, with little effort.


title: On the analytical approach to the N-fold B\"acklund transformation of Davey-Stewartson equation

abstract: N-fold B\"acklund transformation for the Davey-Stewartson equation is constructed by using the analytic structure of the Lax eigenfunction in the complex eigenvalue plane. Explicit formulae can be obtained for a specified value of N. Lastly it is shown how generalized soliton solutions are generated from the trivial ones.


title: Fundamental solution of the Volkov problem (characteristic representation)

abstract: The characteristic representation, or Goursat problem, for the Klein-Fock-Gordon equation with Volkov interaction [1] is regarded. It is shown that in this representation the explicit form of the Volkov propagator can be obtained. Using the characteristic representation technique, the Schwinger integral [2] in the Volkov problem can be calculated.


title: Differential constraints compatible with linearized equations

abstract: Differential constraints compatible with the linearized equations of partial differential equations are examined. Recursion operators are obtained by integrating the differential constraints.


title: Bounding the torsion in CM elliptic curves

abstract: Merel has shown that the order of torsion subgroup of an elliptic curve over a number field can be bounded in terms of only the degree of the number field. The purpose of this note is to investigate what could be the `right bound'. In this paper we use the result of Deuring on the supersingular primes for a CM elliptic curves to give estimate on the number of torsion points on CM elliptic curves over any number field which depends only linearly with the degree of the number field. This result is also a simple corollary of a result of A. Silverberg bounding the order of torsion elements which was proved using the main theorem of Complex multiplication. We also give a heuristic for hoping that the number of torsion points on any elliptic curve be a bounded linearly with the degree of the number field.


title: Explicit upper bound for the rank of J_0(q)

abstract: We provide, on the Birch and Swinnerton-Dyer conjecture, an explicit upper bound for the rank of the Mordell-Weil group of the Jacobian of the modular curve X_0(q) for q prime large enough, namely rank J_0(q)< 6.5 dim J_0(q). The file j0q-pari.dvi contains the .dvi version of the commented listing of the Pari/GP program used for the computations of the paper ``Explicit Upper Bound for the rank of J_0(q)''.


title: Number fields with discriminant +-2^a 3^b: Examples from three point covers

abstract: In this paper we construct number fields ramified at 2 and 3 only, with various moderate-sized non-solvable Galois groups. We construct these fields by specializing three point covers, some from the literature and some new here. The specialization points come from solutions to a generalized Fermat equation. We conclude with a specific suggestion for further research and two general conjectures.


title: Quantization of geometric classical r-matrices

abstract: In this note we define geometric classical r-matrices and quantum R-matrices, and show how any geometric classical r-matrix can be quantized to a geometric quantum R-matrix. This is one of the simplest nontrivial examples of quantization of solutions of the classical Yang-Baxter equation, which can be explicitly computed.


title: Between ${\cal A}$- and ${\cal B}$-sets

abstract: The aim of this paper is to introduce the class of ${\cal A}{\cal B}$-sets as the sets that are the intersection of an open and a semi-regular set. Several classes of well-known topological spaces are characterized via the new concept. A new decomposition of continuity is provided.


title: Topological properties defined in terms of generalized open sets

abstract: This paper covers some recent progress in the study of sg-open sets, sg-compact spaces, N-scattered spaces and some related concepts. A subset $A$ of a topological space $(X,\tau)$ is called sg-closed if the semi-closure of $A$ is included in every semi-open superset of $A$. Complements of sg-closed sets are called sg-open. A topological space $(X,\tau)$ is called sg-compact if every cover of $X$ by sg-open sets has a finite subcover. N-scattered space is a topological spaces in which every nowhere dense subset is scattered.


title: The Coexponent of a Regular p-Group

abstract: A sharp bound is derived for the nilpotency class of a regular p-group in terms of its coexponent, and is used to show that the number of groups of order p^n with a given fixed coexponent, is independent of n, for p and n sufficiently large. Explicit formulae are calculated in the case of coexponent 3.


title: Limit constructions over Riemann surfaces and their parameter spaces, and the commensurability group actions

abstract: To any compact hyperbolic Riemann surface $X$, we associate a new type of automorphism group -- called its *commensurability automorphism group*, $ComAut(X)$. The members of $ComAut(X)$ arise from closed circuits, starting and ending at $X$, where the edges represent holomorphic covering maps amongst compact connected Riemann surfaces (and the vertices represent the covering surfaces). This group turns out to be the isotropy subgroup, at the point represented by $X$ (in $T_{\infty}$), for the action of the universal commensurability modular group on the universal direct limit of Teichm\"uller spaces, $T_{\infty}$. Now, each point of $T_{\infty}$ represents a complex structure on the universal hyperbolic solenoid. We notice that $ComAut(X)$ acts by holomorphic automorphisms on that complex solenoid. Interestingly, this action turns out to be ergodic (with respect to the natural measure on the solenoid) if and only if the Fuchsian group uniformizing $X$ is *arithmetic*. Furthermore, the action of the commensurability modular group, and of its isotropy subgroups, on some natural vector bundles over $T_{\infty}$, are studied by us.


title: Billiard knots in a cylinder

abstract: We define cylinder knots as billiard knots in a cylinder. We present a necessary condition for cylinder knots: after dividing cylinder knots by possible rotational symmetries we obtain ribbon knots. We obtain an upper bound for the number of cylinder knots with two fixed parameters (out of three). In addition we prove that rosette knots are cylinder knots.


title: Connectivity properties of group actions on non-positively curved spaces I: Controlled connectivity and openness results

abstract: Let G be a group and let M be a CAT(0) proper metric space (e.g. a simply connected complete Riemannian manifold of non-positive sectional curvature or a locally finite tree). Isometric actions of G on M are (by definition) points in the space R := Hom(G, Isom(M)) with the compact open topology. Sample theorems: 1. The cocompact actions form an open subset of R. 2. The cocompact actions with discrete orbits whose point-stabilizers have type F_n form an open subset of the subspace of R consisting of all actions with discrete orbits. (F_1 means finitely generated, F_2 means finitely presented etc.) The key idea is to introduce a new "controlled topology" invariant of such actions - dependent on n - which is unfamiliar when the orbits are not discrete but which becomes familiar (cf 2.) when the orbits are discrete. (This is the first of two papers.)


title: Connectivity properties of group actions on non-positively curved spaces II: The geometric invariants

abstract: This is the second of two papers but has been written so as to have minimal dependence on the first paper (which is also on this archive). Let G be a group and let M be a CAT(0) proper metric space (e.g. a simply connected complete Riemannian manifold of non-positive sectional curvature or a locally finite tree). Assume G is of type F_n (type F_1 is finitely generated, type F_2 is finitely presented etc.) The "boundary", bdM, of M at infinity has two customary topologies - the compact "cone" topology and the Tits metric topology. We associate with any isometric action of G on M two subsets of bdM, both dependent on n. These subsets consist of those points of bdM at which - in two senses - the action is "controlled (n-1)-connected". One of these sets is open in the Tits metric topology. Even in classical cases like familiar groups of isometries of the hyperbolic plane or of a locally finite tree these sets seem to be new and interesting invariants. The "SIGMA-theory" of Bieri-Neumann-Strebel-Renz is recovered in the special case in which M is G(abelianized) tensor R with the translation action.


title: Un modele semi-stable de la variete de Siegel de genre 3 avec structures de niveau de type \Gamma_0(p)

abstract: Let S(g,N,p) be the Siegel modular variety of principally polarized abelian varieties of dimension g with a \Gamma_0(p)-level structure and a full N-level structure (where p is a prime not dividing N \geq 3 and \Gamma_0(p) is the inverse image of a Borel subgroup of Sp(2g,F_p) in Sp(2g,Z)). This variety has a natural integral model over Z[1/N] which is not semi-stable over the prime p if g>1. Using the theory of local models of Rapoport-Zink, we construct a semi-stable model of S(g,N,p) over Z[1/N] for g=2 and g=3. For g=2, our construction differs from de Jong's one though the resulting model is the same.


title: Front d'onde et propagation des singularites pour un vecteur-distribution

abstract: Nous definissons le front d'onde d'un vecteur-distribution pour une representation unitaire d'un groupe de Lie reel $G$ a l'aide du calcul pseudo-differentiel mis au point dans un travail anterieur. Cette notion precise celle de front d'onde d'une representation introduite par R. Howe. En application nous donnons une condition suffisante pour qu'un vecteur-distribution reste un vecteur-distribution pour la restriction de la representation a un sous-groupe ferme $H$, et nous donnons un theoreme de propagation des singularites pour les vecteurs-distribution.


title: Two examples concerning almost continuous functions

abstract: We construct, under the assumption that union of less than continuum many meager subsets of R is meager in R, an additive connectivity function f:R-->R with Cantor intermediate value property which is not almost continuous. This gives a partial answer to a question of D. Banaszewski. We also show that every extendable function g:R-->R with a dense graph satisfies the following stronger version of the SCIVP property: for every a<b and every perfect set K between g(a) and g(b) there is a perfect subset C of (a,b) such that g[C] subset K and g|C is continuous strictly increasing. This property is used to construct a ZFC example of an additive almost continuous function f:R-->R which has the strong Cantor intermediate value property but is not extendable. This answers a question of H. Rosen. This also generalizes Rosen's result that a similar (but not additive) function exists under the assumption of the continuum hypothesis.


title: Computation in word-hyperbolic groups

abstract: We describe a procedure which verifies that a group given by generators and relators is word-hyperbolic. This procedure always works with a group which is word-hyperbolic, provided there is sufficient memory and time devoted to the problem. If the group is not word-hyperbolic, the procedure continues indefinitely. We also describe a procedure which computes the thinness of geodesic triangles in the Cayley graph of a word-hyperbolic group. Again this procedure is bound to work, given sufficient memory and time.


title: $q$-Wedge Modules for Quantized Enveloping Algebras of Classical Type

abstract: We use the fusion construction in the twisted quantum affine algebras to obtain a unified method to deform the wedge product for classical Lie algebras. As a byproduct we uniformly realize all non-spin fundamental modules for quantized enveloping algebras of classical types, and show that they admit natural crystal bases as modules for the (derived) twisted quantum affine algebra. These crystal bases are parametrized in terms of the $q$-wedge products.


title: Hamiltonian Dynamical Systems Without Periodic Orbits

abstract: The present paper is a review of counterexamples to the ``Hamiltonian Seifert conjecture'' or, more generally, of examples of Hamiltonian systems having no periodic orbits on a compact energy level. We begin with the discussion of the ``classical'' and volume--preserving Seifert conjectures. Then a construction of counterexamples to the Hamiltonian Seifert conjecture in dimensions greater than or equal to six is outlined, mainly following the method introduced by the author of the paper. The Hamiltonian version of Seifert's theorem is also stated. A list of all known at this moment examples and constructions of Hamiltonian flows without periodic flows concludes the review.


title: Characters and composition factor multiplicities for the Lie superalgebra gl(m/n)

abstract: The multiplicities a_{lambda,mu} of simple modules L(mu) in the composition series of Kac modules V(lambda) for the Lie superalgebra gl(m/n) were described by Serganova, leading to her solution of the character problem for gl(m/n). In Serganova's algorithm all mu with nonzero a_{lambda,mu} are determined for a given lambda; this algorithm turns out to be rather complicated. In this Letter a simple rule is conjectured to find all nonzero a_{lambda,mu} for any given weight mu. In particular, we claim that for an r-fold atypical weight mu there are 2^r distinct weights lambda such that a_{lambda,mu}=1, and a_{lambda,mu}=0 for all other weights lambda. Some related properties on the multiplicities a_{lambda,mu} are proved, and arguments in favour of our main conjecture are given. Finally, an extension of the conjecture describing the inverse of the matrix of Kazhdan-Lusztig polynomials is discussed.


title: Solution of a Yang-Baxter system

abstract: Yang-Baxter system related to quantum doubles is introduced and large class of both continuous and discrete symmetries of the solution manifold are determined. Strategy for solution of the system based on the symmetries is suggested and accomplished in the dimension two.The complete list of invertible solutions of the system is presented.


title: On representations of affine Temperley-Lieb algebras, II

abstract: We study some non-semisimple representations of affine Temperley--Lieb algebras and related cellular algebras. In particular, we classify extensions between simple standard modules. Moreover, we construct a completion which is an infinite dimensional cellular algebra.


title: Mixed sheaves on Shimura varieties and their higher direct images in toroidal compactifications

abstract: Let (P,X) be Shimura data, M=M(P,X,K) the Shimura variety of level K. To an algebraic representation of P, one can associate a mixed sheaf (variation of Hodge structure, l-adic sheaf) on M. In the paper, we study the degeneration of such sheaves along strata in toroidal compactifications of M. The main result (2.8 in the Hodge setting, 3.9 in the l-adic setting) gives a formula for this degeneration in terms of Hochschild cohomology of certain unipotent subgroups of P. The new version differs from the earlier one in that the proof of 2.8 was rewritten. In particular, the effect of Saito's specialization functor along a stratum is identified on variations obtained via representations.


title: Nondiffeomorphic symplectic 4-manifolds with the same Seiberg-Witten invariants

abstract: The goal of this paper is to demonstrate that, at least for nonsimply connected 4-manifolds, the Seiberg-Witten invariant alone does not determine diffeomorphism type within the same homeomorphism type.


title: Rigorous Covariant Path Integrals

abstract: Our rigorous path integrals costruction for the evolution operators is extended to metric-affine manifolds.

categories: math.FA hep-th math-ph math.AP math.MP quant-ph


title: Signatures of links and finite type invariants of cyclic branched covers

abstract: Recently, Mullins calculated the Casson-Walker invariant of the 2-fold cyclic branched cover of an oriented link in S^3 in terms of its Jones polynomial and its signature, under the assumption that the 2-fold branched cover is a rational homology 3-sphere. Using elementary principles, we provide a similar calculation for the general case. In addition, we calculate the LMO invariant of the p-fold branched cover of twisted knots in S^3 in terms of the Kontsevich integral of the knot.


title: On semipositivity of sheaves of differential operators and the degree of a unipolar Q-Fano variety

abstract: We consider normal projective n-dimensional varieties X whose anticanonical divisor class -K is ample and where every Weil divisor is a rational multiple of K. The index i is the largest integer such that K/i exists as a Weil divisor. We show (i) if X has log-terminal singularities, and in addition 1-forms on the smooth part of X are holomorphic on a resolution, then (-K)^n =< (max(in,n+1))^n; (ii) if the tangent sheaf of X is semistable, then (-K)^n =<(2n)^n. The proof is based on some elementary but possibly surprising slope estimates on sheaves of differential operators on plurianticanonical sheaves. Unlike previous arguments in the smooth case (Nadel, Campana, Kollar-Miyaoka-Mori), rational curves and rational connectedness are not used.


title: Fukaya category and Fourier transform

abstract: We construct a version of Fourier transform for families of real tori. This transform defines a functor from certain category associated with a symplectic family of tori to the category of holomorphic vector bundles on the dual family (the dual family has a natural complex structure). In the 1-dimensional case the former category is closely related to the Fukaya category.


title: A momentum construction for circle-invariant Kahler metrics

abstract: An ansatz of Calabi allows construction of Kahler metrics in an Hermitian disk bundle over a Kahler manifold. We attempt to give a definitive treatment of this ansatz, with the following results: We give curvature conditions on the disk bundle that guarantee existence of families of complete Kahler metrics of constant scalar curvature, including some Einstein-Kahler metrics. These curvature conditions are somewhat weaker than those used by prior authors, and are shown to give rise to large families of metrics that seem to be new. Further, these curvature hypotheses are necessary, in the sense that if the ansatz gives two distinct metrics of constant scalar curvature in a disk bundle, then the curvature hypotheses are satisfied.


title: Generalized q-deformed Gelfand-Dickey structures on the group of q-pseudodifference operators

abstract: We define the q-deformed Gelfand-Dickey bracket on the space of q-pseudodifference symbols which agrees with the Poisson Virasoro algebra of E.Frenkel and N.Reshetikhin and its generalizations and prove its uniqueness (in a natural class of quadratic Poisson structures). The associated hierarchies of nonlinear q-difference equations are also constructed.


title: Weil-Petersson volumes of moduli spaces of curves and the genus expansion in two dimensional gravity

abstract: A formula for the generating function of the Weil-Petersson volumes of moduli spaces of pointed curves that is identical to the genus expansion of the free energy in two dimensional gravity is obtained. The contribution of arbitrary genus is expressed in terms of the Bessel function $J_0$.


title: Phantom maps and chromatic phantom maps

abstract: In the first part, we determine conditions on spectra X and Y under which either every map from X to Y is phantom, or no nonzero maps are. We also address the question of whether such all or nothing behaviour is preserved when X is replaced with V smash X for V finite. In the second part, we introduce chromatic phantom maps. A map is n-phantom if it is null when restricted to finite spectra of type at least n. We define divisibility and finite type conditions which are suitable for studying n-phantom maps. We show that the duality functor W_{n-1} defined by Mahowald and Rezk is the analog of Brown-Comenetz duality for chromatic phantom maps, and give conditions under which the natural map Y --> W_{n-1}^2 Y is an isomorphism.


title: Virtual Knot Theory

abstract: Virtual knot theory is a generalization (discovered by the author in 1996) of knot theory to the study of all oriented Gauss codes. (Classical knot theory is a study of planar Gauss codes.) Graph theory studies non-planar graphs via graphical diagrams with virtual crossings. Virtual knot theory studies non-planar Gauss codes via knot diagrams with virtual crossings. This paper gives basic results and examples (such as non-trivial virtual knots with trivial Jones polynomial), studies fundamental group and quandles of virtual knots, extensions of the bracket and Jones polynomials, quantum link invariants with virtual framings, Vassiliev invariants and applications to knots in thickened surfaces.


title: Genus two 3-manifolds are built from handle number one pieces

abstract: Let M be a closed, irreducible, genus two 3-manifold, and F a maximal collection of pairwise disjoint, closed, orientable, incompressible surfaces embedded in M. Then each component manifold M_i of M-F has handle number at most one, i.e. admits a Heegaard splitting obtained by attaching a single 1-handle to one or two components of boundary M_i. This result also holds for a decomposition of M along a maximal collection of incompressible tori.


title: A Localization Algorithm for $D$-modules

abstract: We present a method to compute the holonomic extension of a $D$-module from a Zariski open set in affine space to the whole space. A particular application is the localization of coherent $D$-modules which are holonomic on the complement of an affine variety.


title: Decision problems in the space of Dehn fillings

abstract: In this paper, we use normal surface theory to study Dehn filling on a knot-manifold. First, it is shown that there is a finite computable set of slopes on the boundary of a knot-manifold that bound normal and almost normal surfaces in a one-vertex triangulation of that knot-manifold. This is combined with existence theorems for normal and almost normal surfaces to construct algorithms to determine precisely which manifolds obtained by Dehn filling: 1) are reducible, 2) contain two--sided incompressible surfaces, 3) are Haken, 4) fiber over the circle, 5) are the 3--sphere, and 6) are a lens space. Each of these algorithms is a finite computation. Moreover, in the case of essential surfaces, we show that the topology of the filled manifolds is strongly reflected in the triangulation of the knot-manifold. If a filled manifold contains an essential surface then the knot-manifold contains an essential vertex solution that caps off to an essential surface of the same type in the filled manifold. (Vertex solutions are the premier class of normal surface and are computable.)


title: Instantons and Kaehler Geometry of Nilpotent Orbits

abstract: The first obstacle in building a Geometric Quantization theory for nilpotent orbits of a real semisimple Lie group has been the lack of an invariant polarization. In order to generalize the Fock space construction of the quantum mechanical oscillator, a polarization of the symplectic orbit invariant under the maximal compact subgroup is required. In this paper, we explain how such a polarization on the orbit arises naturally from the work of Kronheimer and Vergne. This occurs in the context of hyperkaehler geometry. The polarization is complex and in fact makes the orbit into a (positive) Kaehler manifold. We study the geometry of this Kaehler structure, the Vergne diffeomorphism, and the Hamiltonian functions giving the symmetry. We indicate how all this fits into a quantization program.


title: Geometric Quantization of Real Minimal Nilpotent Orbits

abstract: In this paper, we begin a quantization program for nilpotent orbits of a real semisimple Lie group. These orbits and their covers generalize the symplectic vector space. A complex structure polarizing the orbit and invariant under a maximal compact subgroup is provided by the Kronheimer-Vergne Kaehler structure. We outline a geometric program for quantizing the orbit with respect to this polarization. We work out this program in detail for minimal nilpotent orbits in the non-Hermitian case. The Hilbert space of quantization consists of holomorphic half-forms on the orbit. We construct the reproducing kernel. The Lie algebra acts by explicit pseudo-differential operators on half-forms where the energy operator quantizing the Hamiltonian is inverted. The Lie algebra representation exponentiates to give a minimal unitary ladder representation. Jordan algebras play a key role in the geometry and the quantization.


title: A construction of representations and quantum homogeneous spaces

abstract: A simplified construction of representations is presented for the quantized enveloping algebra Uq(g), with g being a simple complex Lie algebra belonging to one of the four principal series A, B, C or D. The carrier representation space is the quantized algebra of polynomials in antiholomorphic coordinate functions on the big cell of a coadjoint orbit of K where K is the compact simple Lie group with the Lie algebra g - the compact form of g.


title: Structurable algebras and groups of type E_6 and E_7

abstract: It is well-known that every algebraic group of type F_4 is the automorphism group of an exceptional Jordan algebra, and that up to isogeny all groups of type ^1E_6 with trivial Tits algebras arise as the isometry groups of norm forms of such Jordan algebras. We describe a similar relationship between groups of type E_6 and groups of type E_7 and use it to give explicit descriptions of the homogeneous projective varieties associated to groups of type E_7 with trivial Tits algebras. The underlying algebraic structure for the relationship considered here are a sort of 56-dimensional structurable algebra which are forms of an algebra constructed from an exceptional Jordan algebra.


title: A short proof that ``proper = unit''

abstract: A short proof is given that the graphs with proper interval representations are the same as the graphs with unit interval representations.


title: A model for the homotopy theory of homotopy theory

abstract: We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, ``functors between two homotopy theories form a homotopy theory'', or more precisely that the category of such models has a well-behaved internal hom-object.


title: Fibrations and homotopy colimits of simplicial sheaves

abstract: We show that homotopy pullbacks of sheaves of simplicial sets over a Grothendieck topology distribute over homotopy colimits; this generalizes a result of Puppe about topological spaces. In addition, we show that inverse image functors between categories of simplicial sheaves preserve homotopy pullback squares. The method we use introduces the notion of a sharp map, which is analogous to the notion of a quasi-fibration of spaces, and seems to be of independent interest.


title: Fusion rules for representations of compact quantum groups

abstract: We give a survey of some recent results on the fusion semirings of compact quantum groups (computations of and applications to discrete quantum groups) by using the following simplifying terminology: we say that a compact quantum group G is an R^+-deformation of a compact quantum group H if their fusion semirings are isomorphic. The paper contains also some easy related results (with proofs), two conjectures and many remarks and comments, some of them concerning classification by invariants related to R^+.


title: Spectral Analysis of the local Conductor Operator

abstract: The conductor operator acts on a function through multiplying it with the logarithm of the norm of the variable both in position and in momentum space and adding the outcomes. It makes sense at each completion of an arbitrary number field and arose in previous papers by the author where it was shown to be intimately connected with the Explicit Formula of Analytic Number Theory. I complete here its spectral analysis: the conclusion is that the local contribution to the Explicit Formula expressed as an integral over the critical line is completely equivalent to, indeed precisely realizes this spectral analysis. In this picture the inversion is related to complex conjugation, the additive Fourier transform is closely related to the Tate-Gel'fand-Graev Gamma function on the critical line, and the conductor operator itself is just the logarithmic derivative of the Gamma function, again on the critical line, acting as a multiplier. From this one gets that the conductor operator is not only dilation and Fourier invariant, which was obvious, but also inversion invariant. In this manner, an operator theoretic and spectral interpretation of each local contribution to the Explicit Formula on the critical line has been obtained.


title: Composition sums related to the hypergeometric function

abstract: The present note considers a certain family of sums indexed by the set of fixed length compositions of a given number. The sums in question cannot be realized as weighted compositions. However they can be be related to the hypergeometric function, thereby allowing one to factorize the corresponding generating polynomials. This factorization leads to some interesting identities.


title: The Obstacle Problem for Functions of Least Gradient

abstract: For a given domain $\Omega \subset \Bbb{R}^n$, we consider the variational problem of minimizing the $L^1$-norm of the gradient on $\Omega$ of a function $u$ with prescribed continuous boundary values and satisfying a continuous lower obstacle condition $u\ge \Psi$ inside $\Omega$. Under the assumption of strictly positive mean curvature of the boundary $\partial\Omega$, we show existence of a continuous solution, with H\"older exponent half of that of data and obstacle. This generalizes previous results obtained for the unconstrained and double-obstacle problems. The main new feature in the present analysis is the need to extend various maximum principles from the case of two area-minimizing sets to the case of one sub- and one superminimizing set. This we accomplish subject to a weak regularity assumption on one of the sets, sufficient to carry out the analysis. Interesting open questions include the uniqueness of solutions and a complete analysis of the regularity properties of area superminimizing sets. We provide some preliminary results in the latter direction, namely a new monotonicity principle for superminimizing sets, and the existence of ``foamy'' superminimizers in two dimensions.


title: On the density of rational points on elliptic fibrations

abstract: Let $V_1$ be the Fano threefold given as a hypersurface of degree 6 in $P(1,1,1,2,3)$ (over a number field $K$). Then there exists a finite extension $K'/K$ such that the set of $K'$-rational points of $X$ is Zariski dense.


title: On twisting solutions to the Yang-Baxter equation

abstract: Sufficient conditions for an invertible two-tensor $F$ to relate two solutions to the Yang-Baxter equation via the transformation $R\to F^{-1}_{21} R F$ are formulated. Those conditions include relations arising from twisting of certain quasitriangular bialgebras.


title: Additivity of free genus of knots

abstract: We show that free genus of knots is additive under connected sum.


title: Area Minimizing Sets Subject to a Volume Constraint in a Convex Set

abstract: In this paper we consider the problem of minimizing area subject to a volume constraint in a given convex set.


title: Group categories and their field theories

abstract: A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible simple objects. This paper gives a detailed exploration of "topological quantum field theories" for group-categories, in hopes of finding clues to a better understanding of the general situation. Group-categories are classified in several ways extending results of Froelich and Kerler. Topological field theories based on homology and cohomology are constructed, and these are shown to include theories obtained from group-categories by Reshetikhin-Turaev constructions. Braided-commutative categories most naturally give theories on 4-manifold thickenings of 2-complexes; the usual 3-manifold theories are obtained from these by normalizing them (using results of Kirby) to depend mostly on the boundary of the thickening. This is worked out for group-categories, and in particular we determine when the normalization is possible and when it is not.


title: Completeness of the Hypergeometric Solutions of the qKZ Equation at Level Zero

abstract: We discuss the hypergeometric solutions of the quantized Knizhnik-Zamolodchikov (qKZ) equation at level zero and show that they give all solutions of the qKZ equation. We completely describe linear relations between the hypergeometric solutions and give an interpretation of the relations in terms of the quantum group $U_q(sl_2)$ at $q=e^{\pi i/2}$.


title: The Correspondence between Geometric Quantization and Formal Deformation Quantization

abstract: Using the classification of formal deformation quantizations, and the formal, algebraic index theorem, I give a simple proof as to which formal deformation quantization (modulo isomorphism) is derived from a given geometric quantization.


title: Combinatorial Identities Related to Representations of $U_q(\tilde{gl_2})$

abstract: Recently N.Jing discovered a certain combinatorial identity from validity of the Serre relations in some vertex representations of quantum Kac-Moody algebras. We generalize this identity, in particular, extending it from polynomials to elliptic functions, and interprete the obtained identities in terms of tensor products of evaluation representations of the quantum loop algebra $U_q(\tilde{gl_2})$ or the elliptic quantum group $E_{\rho,\gamma}(sl_2)$.


title: Semiinvariants of Finite Reflection Groups

abstract: Let G be a finite group of complex n by n unitary matrices generated by reflections acting on C^n. Let R be the ring of invariant polynomials, and \chi be a multiplicative character of G. Let \Omega^\chi be the R-module of \chi-invariant differential forms. We define a multiplication in \Omega^\chi and show that under this multiplication \Omega^\chi has an exterior algebra structure. We also show how to extend the results to vector fields, and exhibit a relationship between \chi-invariant forms and logarithmic forms.


title: Casimir Invariants from Quasi-Hopf (Super)algebras

abstract: We show how to construct, starting from a quasi-Hopf (super)algebra, central elements or Casimir invariants. We show that these central elements are invariant under quasi-Hopf twistings. As a consequence, the elliptic quantum (super)groups, which arise from twisting the normal quantum (super)groups, have the same Casimir invariants as the corresponding quantum (super)groups.


title: The GIT-equivalence for $G$-line bundles

abstract: Let $X$ be a projective variety with an action of a reductive group $G$. Each ample $G$-line bundle $L$ on $X$ defines an open subset $X^{\rm ss}(L)$ of semi-stable points. Following Dolgachev and Hu, define a GIT-class as the set of algebraic equivalence classes of $L'$s with fixed $X^{\rm ss}(L)$. We show that the GIT-classes are the relative interiors of rational polyhedral convex cones, which form a fan in the $G$-ample cone. We also study the corresponding variations of quotients $X^{\rm ss}(L)//G$. This sharpens results of Thaddeus and Dolgachev-Hu.


title: Twisting of quantum differentials and the Planck scale Hopf algebra

abstract: We show that the crossed modules and bicovariant different calculi on two Hopf algebras related by a cocycle twist are in 1-1 correspondence. In particular, for quantum groups which are cocycle deformation-quantisations of classical groups the calculi are obtained as deformation-quantisation of the classical ones. As an application, we classify all bicovariant differential calculi on the Planck scale Hopf algebra $\C[x]\bicross_{\hbar,\grav}\C[p]$. This is a quantum group which has an $\hbar\to 0$ limit as the functions on a classical but non-Abelian group and a $\grav\to 0$ limit as flat space quantum mechanics. We further study the noncommutative differential geometry and Fourier theory for this Hopf algebra as a toy model for Planck scale physics. The Fourier theory implements a T-duality like self-duality. The noncommutative geometry turns out to be singular when $\grav\to 0$ and is therefore not visible in flat space quantum mechanics alone.


title: On representations of star product algebras over cotangent spaces on Hermitian line bundles

abstract: For every formal power series $B=B_0 + \lambda B_1 + O(\lambda^2)$ of closed two-forms on a manifold $Q$ and every value of an ordering parameter $\kappa\in [0,1]$ we construct a concrete star product $\star^B_\kappa$ on the cotangent bundle $\pi : T^*Q\to Q$. The star product $\star^B_\kappa$ is associated to the formal symplectic form on $T^*Q$ given by the sum of the canonical symplectic form $\omega$ and the pull-back of $B$ to $T^*Q$. Deligne's characteristic class of $\star^B_\kappa$ is calculated and shown to coincide with the formal de Rham cohomology class of $\pi^*B$ divided by $\im\lambda$. Therefore, every star product on $T^*Q$ corresponding to the Poisson bracket induced by the symplectic form $\omega + \pi^*B_0$ is equivalent to some $\star^B_kappa$. It turns out that every $\star^B_kappa$ is strongly closed. In this paper we also construct and classify explicitly formal representations of the deformed algebra as well as operator representations given by a certain global symbol calculus for pseudodifferential operators on $Q$. Moreover, we show that the latter operator representations induce the formal representations by a certain Taylor expansion. We thereby obtain a compact formula for the WKB expansion.


title: Groups of type E_7 over arbitrary fields

abstract: Freudenthal triple systems come in two flavors, degenerate and nondegenerate. The best criterion for distinguishing between the two which is available in the literature is by descent. We provide an identity which is satisfied only by nondegenerate triple systems. We then use this to define algebraic structures whose automorphism groups produce all adjoint algebraic groups of type E_7 over an arbitrary field of characteristic not 2 or 3. The main advantage of these new structures is that they incorporate a previously unconsidered invariant (a symplectic involution) of these groups in a fundamental way. As an application, we give a construction of adjoint groups with Tits algebras of index 2 which provides a complete description of this involution and apply this to groups of type E_7 over a real-closed field.


title: Holomorphic quantization formula in singular reduction

abstract: We show that the holomorphic Morse inequalities proved by Tian and the author [TZ1, 2] are in effect equalities by refining the analytic arguments in [TZ1, 2].


title: A Lie Algebra Correspondence for a Family of Finite p-Groups

abstract: For a prime p and natural number n with p greater than or equal to n, we establish the existence of a non-functorial one-to-one correspondence between isomorphism classes of groups of order p^n whose derived subgroup has exponent dividing p, and isomorphism classes of nilpotent p^n-element Lie algebras L over the truncated polynomial ring F_p[T]/(T^n) in which T[L,L]=0.


title: Complete moduli for families over semistable curves

abstract: This note is but a research announcement, summarizing and explaining results proven and detailed in forthcoming papers. When one studies families of objects over curves, and the objects are parametrized by a Deligne-Mumford stack M, then the families are equivalent to morphisms of curves into M. In order to have complete moduli for such families, one needs to compactify the stack of stable maps into M. It turns out that in the boundary, the curve must acquire extra structure and you'd better read the paper to see what that structure is. Applications to fibered surfaces (see math.AG/9804097), admissible covers, and level structures are discussed.


title: Symmetries of a generic coaction

abstract: If B is C*-algebra of finite dimension n>3 then the finite dimensional irreducible representations of the compact quantum automorphism group of B, say G, have the same fusion rules as the ones of SO(3). As consequences, we get (1) a structure result for G in the case where B is a matrix algebra (2) if n>4 then the dual of G is not amenable (3) the fixed point subfactor P^G\subset (B\otimes P)^G has index n and principal graph A_\infty.


title: Notes on 2D Conformal Field Theory and String Theory

abstract: We explain the basics of conformal theory using the language of chiral algebras of Beilinson and Drinfeld.


title: On Quasi-Hopf superalgebras

abstract: In this work we investigate several important aspects of the structure theory of the recently introduced quasi-Hopf superalgebras (QHSAs), which play a fundamental role in knot theory and integrable systems. In particular we introduce the opposite structure and prove in detail (for the graded case) Drinfeld's result that the coproduct $\Delta ' \equiv (S\otimes S)\cdot T\cdot \Delta \cdot S^{-1}$ induced on a QHSA is obtained from the coproduct $\Delta$ by twisting. The corresponding ``Drinfeld twist'' $F_D$ is explicitly constructed, as well as its inverse, and we investigate the complete QHSA associated with $\Delta'$. We give a universal proof that the coassociator $\Phi'=(S\otimes S\otimes S)\Phi_{321}$ and canonical elements $\alpha' = S(\beta),$ $\beta' = S(\alpha)$ correspond to twisting the original coassociator $\Phi = \Phi_{123}$ and canonical elements $\alpha,\beta$ with the Drinfeld twist $F_D$. Moreover in the quasi-triangular case, it is shown algebraically that the R-matrix $R' = (S\otimes S)R$ corresponds to twisting the original R-matrix $R$ with $F_D$. This has important consequences in knot theory, which will be investigated elsewhere.


title: Non-regularity for Banach function algebras

abstract: Let $A$ be a unital Banach function algebra with character space $\Phi_A$. For $x\in \Phi_A$, let $M_x$ and $J_x$ be the ideals of functions vanishing at $x$, and in a neighbourhood of $x$, respectively. It is shown that the hull of $J_x$ is connected, and that if $x$ does not belong to the Shilov boundary of $A$ then the set $\{y\in\Phi_A: M_x\supseteq J_y\}$ has an infinite, connected subset. Various related results are given.


title: On Jordanian U_{h,\alpha}(gl(2)) Algebra and Its T Matrices Via a Contraction Method

abstract: The $R_h^{j_1;j_2}$ matrices of the Jordanian U$_h$(sl(2)) algebra at arbitrary dimensions may be obtained from the corresponding $R_q^{j_1;j_2}$ matrices of the standard $q$-deformed U$_q$(sl(2)) algebra through a contraction technique. By extending this method, the coloured two-parametric ($h, \alpha$) Jordanian $R_{h,\alpha}^{j_1,z_1;j_2,z_2}$ matrices of the U$_{h,\alpha}$(gl(2)) algebra may be derived from the corresponding coloured $R_{q,\lambda}^{j_1,z_1;j_2,z_2}$ matrices of the standard ($q, \lambda$)-deformed U$_{q,\lambda}$(gl(2)) algebra. Moreover, by using the contraction process as a tool, the coloured $T_{h,\alpha}^{j,z}$ matrices for arbitrary ($j, z$) representations of the Jordanian Fun$_{h,\alpha}$(GL(2)) algebra may be extracted from the corresponding $T_{q,\lambda}^{j,z}$ matrices of the standard Fun$_{q,\lambda}$(GL(2)) algebra.


title: Un th\'eor\'eme de Nakai-Moishezon pour certaines classes de type (1,1)

abstract: Let $X$ be a smooth compact projective variety over $\mathbb C$. Let $H^2(\pi_1(X),\mathbb R)^{1,1}$ be the intersection of $H^{1,1}(X,{\mathbb R})$ with the image of the map $H^2(\pi_1(X),{\mathbb R})\to H^2(X)$ induced by the classifying map $X\to B\pi_1(X)$. Let $NS(X)$ be the N\'eron-Severi group of $X$. Let $[\omega]\in H^2(\pi_1(X),\mathbb R)^{1,1}+ NS(X)\otimes {\mathbb R}$. In this note, we prove that $[\omega]$ is the cohomology class of a K\"ahler metric if and only if for every $d$-dimensional reduced closed algebraic subvariety $Z\subset X$, $[\omega]^d.Z>0$.


title: Continuum-sites stepping-stone models, coalescing exhcangeable partitions, and random trees

abstract: Analogues of stepping--stone models are considered where the site--space is continuous, the migration process is a general Markov process, and the type--space is infinite. Such processes were defined in previous work of the second author by specifying a Feller transition semigroup in terms of expectations of suitable functionals for systems of coalescing Markov processes. An alternative representation is obtained here in terms of a limit of interacting particle systems. It is shown that, under a mild condition on the migration process, the continuum--sites stepping--stone process has continuous sample paths. The case when the migration process is Brownian motion on the circle is examined in detail using a duality relation between coalescing and annihilating Brownian motion. This duality relation is also used to show that a random compact metric space that is naturally associated to an infinite family of coalescing Brownian motions on the circle has Hausdorff and packing dimension both almost surely equal to 1/2 and, moreover, this space is capacity equivalent to the middle--1/2 Cantor set (and hence also to the Brownian zero set).


title: A sefl-dual poset on objects counted by the Catalan numbers

abstract: We examine the poset $P$ of 132-avoiding $n$-permutations ordered by descents. We show that this poset is the "coarsening" of the well-studied poset $Q$ of noncrossing partitions . In other words, if $x<y$ in $Q$, then $f(y)<f(x)$ in $P$, where $f$ is the canonical bijection from the set of noncrossing partitions onto that of 132-avoiding permutations. This enables us to prove many properties of $P$.


title: Trace formula in noncommutative geometry and the zeros of the Riemann zeta function

abstract: We give a spectral interpretation of the critical zeros of the Riemann zeta function as an absorption spectrum, while eventual noncritical zeros appear as resonances. We give a geometric interpretation of the explicit formulas of number theory as a trace formula on the noncommutative space of Adele classes. This reduces the Riemann hypothesis to the validity of the trace formula and eliminates the parameter $\delta$ of our previous approach.


title: Twilled Lie-Rinehart algebras and differential Batalin-Vilkovisky algebras

abstract: Twilled L(ie)-R(inehart) algebas generalize, in the Lie-Rinehart context, complex structures on smooth manifolds. An almost complex manifold determines an almost twilled pre-LR algebra, which is a true twilled LR-algebra iff the almost complex structure is integrable. We characterize twilled LR-structures in terms of certain associated differential (bi)graded Lie and G(erstenhaber)-algebras; in particular, the G-algebra arising from an almost complex structure is a d(ifferential) G-algebra iff the almost complex structure is integrable. Such G-algebras, endowed with a generator turning them into a B(atalin)-V(ilkovisky) algebra, occur on the B-side of the mirror conjecture. We generalize a result of Koszul to those dG-algebras which arise from twilled LR-algebras. A special case thereof explains the relationship between holomorphic volume forms and exact generators for the corresponding dG-algebras and thus yields in particular a conceptual proof of the Tian-Todorov lemma. We give a differential homological algebra interpretation for twilled LR-algebras and by means of it we elucidate the notion of generator in terms of homological duality for differential graded LR-algebras. Finally we indicate how some of our results might be globalized by means of Lie groupoids.


title: WZ Theory, Chapter II

abstract: The impact of the computer on present and especially future mathematics is illustrated by means of the iconic example of WZ theory.


title: An overview of the Kepler conjecture

abstract: This is the first in a series of papers giving a proof of the Kepler conjecture, which asserts that the density of a packing of congruent spheres in three dimensions is never greater than $\pi/\sqrt{18}\approx 0.74048...$. This is the oldest problem in discrete geometry and is an important part of Hilbert's 18th problem. An example of a packing achieving this density is the face-centered cubic packing. This paper has a historical overview and a synopsis of the rest of the series. The other papers in the series are math.MG/9811072, math.MG/9811073, math.MG/9811074, math.MG/9811075, math.MG/9811076, math.MG/9811077, and math.MG/9811078.


title: A formulation of the Kepler conjecture

abstract: This is the second in a series of papers giving a proof of the Kepler conjecture, which asserts that the density of a packing of congruent spheres in three dimensions is never greater than $\pi/\sqrt{18}\approx 0.74048...$. This is the oldest problem in discrete geometry and is an important part of Hilbert's 18th problem. An example of a packing achieving this density is the face-centered cubic packing. This paper defines a local formulation of the conjecture which is used in the proof.


title: Sphere packings I

abstract: We describe a program to prove the Kepler conjecture on sphere packings. We then carry out the first step of this program. Each packing determines a decomposition of space into Delaunay simplices, which are grouped together into finite configurations called Delaunay stars. A score, which is related to the density of packings, is assigned to each Delaunay star. We conjecture that the score of every Delaunay star is at most the score of the stars in the face-centered cubic and hexagonal close packings. This conjecture implies the Kepler conjecture. To complete the first step of the program, we show that every Delaunay star that satisfies a certain regularity condition satisfies the conjecture.


title: Sphere packings II

abstract: An earlier paper describes a program to prove the Kepler conjecture on sphere packings. This paper carries out the second step of that program. A sphere packing leads to a decomposition of $R^3$ into polyhedra. The polyhedra are divided into two classes. The first class of polyhedra, called quasi-regular tetrahedra, have density at most that of a regular tetrahedron. The polyhedra in the remaining class have density at most that of a regular octahedron (about 0.7209).


title: Sphere packings III

abstract: This is the fifth in a series of papers giving a proof of the Kepler conjecture, which asserts that the density of a packing of congruent spheres in three dimensions is never greater than $\pi/\sqrt{18}\approx 0.74048...$. This is the oldest problem in discrete geometry and is an important part of Hilbert's 18th problem. An example of a packing achieving this density is the face-centered cubic packing. This paper carries out the third step of the program outlined in math.MG/9811073: A proof that if all of the standard regions are triangles or quadrilaterals, then the total score is less than $8 \pt$ (excluding the case of pentagonal prisms).


title: Sphere packings IV

abstract: This is the sixth in a series of papers giving a proof of the Kepler conjecture, which asserts that the density of a packing of congruent spheres in three dimensions is never greater than $\pi/\sqrt{18}\approx 0.74048...$. This is the oldest problem in discrete geometry and is an important part of Hilbert's 18th problem. An example of a packing achieving this density is the face-centered cubic packing. This paper completes part of the fourth step of the program outlined in math.MG/9811073: A proof that if some standard region has more than four sides, then the star scores less than $8 \pt$.


title: Sphere packings V

abstract: The Hales program to prove the Kepler conjecture on sphere packings consists of five steps, which if completed, will jointly comprise a proof of the conjecture. We carry out step five of the program [outlined in math.MG/9811073], a proof that the local density of a certain combinatorial arrangement, the pentahedral prism, is less than that of the face-centered cubic lattice packing. We prove various relations on the local density using computer-based interval arithmetic methods. Together, these relations imply the local density bound.


title: The Kepler conjecture

abstract: This is the eighth and final paper in a series giving a proof of the Kepler conjecture, which asserts that the density of a packing of congruent spheres in three dimensions is never greater than $\pi/\sqrt{18}\approx 0.74048...$. This is the oldest problem in discrete geometry and is an important part of Hilbert's 18th problem. An example of a packing achieving this density is the face-centered cubic packing. This paper completes the fourth step of the program outlined in math.MG/9811073: A proof that if some standard region has more than four sides, then the star scores less than $8 \pt$.


title: A proof of the dodecahedral conjecture

abstract: The dodecahedral conjecture states that the volume of the Voronoi polyhedron of a sphere in a packing of equal spheres is at least the volume of a regular dodecahedron with inradius 1. The authors prove the conjecture following the methodology of the proof the Kepler conjecture. (See math.MG/9811071.)


title: On a new class of the commutative subalgebras of the maximal Gel'fand-Kirillov dimension in the universal enveloping algebra of a simple Lie algebra

abstract: New commutative subalgebras of the maximal Gel'fand-Kirillov dimension in the universal enveloping algebras of classical Lie algebras gl(n) and so(n) are constructed. In the case of sp(n) Gel'fand-Tsetlin algebra is extended to a maximally commutative one.


title: n-Schur Functions and Determinants on an Infinite Grassmannian

abstract: A set of functions is defined which is indexed by a positive integer $n$ and partitions of integers. The case $n=1$ reproduces the standard Schur polynomials. These functions are seen to arise naturally as a determinant of an action on the frame bundle of an infinite grassmannian. This fact is well known in the case of the Schur polynomials ($n=1$) and has been used to decompose the $\tau$-functions of the KP hierarchy as a sum. In the same way, the new functions introduced here ($n>1$) are used to expand quotients of $\tau$-functions as a sum with Plucker coordinates as coefficients.


title: Dehn surgery and negatively curved 3-manifolds

abstract: We show that, for any given 3-manifold M, there are at most finitely many hyperbolic knots K in the 3-sphere and fractions p/q (with q > 22), such that M is obtained by p/q surgery along K. This is a corollary of the following result. If M is obtained by Dehn filling the cusps of a hyperbolic 3-manifold X, where each filling slope has length more than 2 \pi + \epsilon, then, for any given M and \epsilon > 0, there are only finitely many possibilities for X and for the filling slopes. In this paper, we also investigate the length of boundary slopes, and sequences of negatively curved metrics on a given 3-manifold.


title: Linear systems representing threefolds which are scrolls on a rational surface

abstract: Let X be a scroll over a rational surface. We construct a linear system of surfaces in P^3 yielding a birational map from P^3 to X. We apply this construction to the scrolls of Bordiga and Palatini.


title: Alexander Numbering of Knotted Surface Diagrams

abstract: A formula that relates triple points, branch points, and their distances from infinity is presented. We recover trivial normal Euler classes for oriented surfaces, and formulas on signed triple points.


title: Counting faces of cubical spheres modulo two

abstract: Several recent papers have addressed the problem of characterizing the $f$-vectors of cubical polytopes. This is largely motivated by the complete characterization of the $f$-vectors of simplicial polytopes given by Stanley, Billera, and Lee in 1980. Along these lines Blind and Blind have shown that unlike in the simplicial case, there are parity restrictions on the $f$-vectors of cubical polytopes. In particular, except for polygons, all even dimensional cubical polytopes must have an even number of vertices. Here this result is extended to a class of zonotopal complexes which includes simply connected odd dimensional manifolds. This paper then shows that the only modular equations which hold for the $f$-vectors of all d-dimensional cubical polytopes (and hence spheres) are modulo two. Finally, the question of which mod two equations hold for the $f$-vectors of PL cubical spheres is reduced to a question about the Euler characteristics of multiple point loci from codimension one PL immersions into the $d$-sphere. Some results about this topological question are known (Eccles,Herbert,Lannes) and Herbert's result we translate into the cubical setting, thereby removing the PL requirement. A central definition in this paper is that of the derivative complex, which captures the correspondence between cubical spheres and codimension one immersions.


title: Polygon dissections and Euler, Fuss, Kirkman and Cayley numbers

abstract: We give a short proof for a formula for the number of divisions of a convex (sn+2)-gon along non-crossing diagonals into (sj+2)-gons, where 1<=j<=n-1. In other words, we consider dissections of an (sn+2)-gon into pieces which can be further subdivided into (s+2)-gons. This formula generalizes the formulas for classical numbers of polygon dissections: Euler-Catalan number, Fuss number and Kirkman-Cayley number. Our proof is elementary and does not use the method of generating functions.


title: The symplectic Thom conjecture

abstract: In this paper, we demonstrate a relation among Seiberg-Witten invariants which arises from embedded surfaces in four-manifolds whose self-intersection number is negative. These relations, together with Taubes' basic theorems on the Seiberg-Witten invariants of symplectic manifolds, are then used to prove the symplectic Thom conjecture: a symplectic surface in a symplectic four-manifold is genus-minimizing in its homology class. Another corollary of the relations is a general adjunction inequality for embedded surfaces of negative self-intersection in four-manifolds.