title: A Topological Reconstruction Theorem for $D^{\infty}$-Modules

abstract: In this paper, we prove that any perfect complex of $D^{\infty}$-modules may be reconstructed from its holomorphic solution complex provided that we keep track of the natural topology of this last complex. This is to be compared with the reconstruction theorem for regular holonomic $D$-modules which follows from the well-known Riemann-Hilbert correspondence. To obtain our result, we consider sheaves of holomorphic functions as sheaves with values in the category of ind-Banach spaces and study some of their homological properties. In particular, we prove that a K\"{u}nneth formula holds for them and we compute their Poincar\'{e}-Verdier duals. As a corollary, we obtain the form of the kernels of ``continuous'' cohomological correspondences between sheaves of holomorphic forms. This allows us to prove a kind of holomorphic Schwartz' kernel theorem and to show that $D^{\infty}=RHomtop(O,O)$. Our reconstruction theorem is a direct consequence of this last isomorphism. Note that the main problem is the vanishing of the topological Ext's and that this vanishing is a consequence of the acyclicity theorems for DFN spaces which are established in the paper.


title: The Geometry of the Moduli Space of Curves of Genus 23

abstract: We prove that the Kodaira dimension of the moduli space M_{23} of curves of genus 23 is at least 2. We also present some evidence for the hypothesis that the Kodaira dimension of the moduli space is actually equal to 2. Note that for g > 23 the moduli space is of general type, while for g\leq 22, Harris and Morrison conjectured that M_g is uniruled. The result on M_{23} is obtained by investigating the relative position of three explicit multicanonical divisors which are of Brill-Noether type.


title: Dynamical systems arising from elliptic curves

abstract: We exhibit a family of dynamical systems arising from rational points on elliptic curves in an attempt to mimic the familiar toral automorphisms. At the non-archimedean primes, a continuous map is constructed on the local elliptic curve whose topological entropy is given by the local canonical height. Also, a precise formula for the periodic points is given. There follows a discussion of how these local results may be glued together to give a map on the adelic curve. We are able to give a map whose entropy is the global canonical height and whose periodic points are counted asymptotically by the real division polynomial (although the archimedean component of the map is artificial). Finally, we set out a precise conjecture about the existence of elliptic dynamical systems and discuss a possible connection with mathematical physics.


title: A dynamical property unique to the Lucas sequence

abstract: The only recurrence sequence satisfying the Fibonacci recurrence and realizable as the number of periodic points of a map is (a multiple of) the Lucas sequence.


title: L\'evy Processes on $U_q(g)$ as Infinitely Divisible Representations

abstract: L\'evy processes on bialgebras are families of infinitely divisible representations. We classify the generators of L\'evy processes on the compact forms of the quantum algebras $U_q(g)$, where $g$ is a simple Lie algebra. Then we show how the processes themselves can be reconstructed from their generators and study several classical stochastic processes that can be associated to these processes.


title: Mutual braiding and the band presentation of braid groups

abstract: This paper is concerned with detecting when a closed braid and its axis are 'mutually braided' in the sense of Rudolph. It deals with closed braids which are fibred links, the simplest case being closed braids which present the unknot. The geometric condition for mutual braiding refers to the existence of a close control on the way in which the whole family of fibre surfaces meet the family of discs spanning the braid axis. We show how such a braid can be presented naturally as a word in the `band generators' of the braid group discussed by Birman, Ko and Lee in their recent account of the band presentation of the braid groups. In this context we are able to convert the conditions for mutual braiding into the existence of a suitable sequence of band relations and other moves on the braid word, and derive a combinatorial method for deciding whether a braid is mutually braided.


title: Canonical heights on elliptic curves in characteristic p

abstract: We define a new canonical height pairing on the rational points of elliptic curves over global function fields which takes values in the multiplicative group of a completion of the function field. This height serves as an analogue of both the classical Neron-Tate height and analytic p-adic heights. Our main result is that under some general hypotheses this pairing is non-degenerate.


title: A Riemann Hypothesis for characteristic p L-functions

abstract: We propose analogs of the classical Generalized Riemann Hypothesis and the Generalized Simplicity Conjecture for the characteristic p L-series associated to function fields over a finite field. These analogs are based on the use of absolute values. Further we use absolute values to give similar reformulations of the classical conjectures (with, perhaps, finitely many exceptional zeroes). We show how both sets of conjectures behave in remarkably similar ways.


title: K3 surfaces with order 11 automorphisms

abstract: In the present paper we describe the K3 surfaces admitting order 11 automorphisms and apply this to classify log Enriques surfaces of global index 11.


title: Unitary Representations of Noncompact Quantum Groups at Roots of Unity

abstract: Noncompact forms of the Drinfeld-Jimbo quantum groups U_q(g) with (H_i)* = H_i, (X_i^{+-})* = s_i X_i^{-+} for s_i= +-1 are studied at roots of unity. This covers g = so(n,2p), su(n,p), so*(2l), sp(n,p), sp(l,R), and exceptional cases. Finite-dimensional unitary representations are found for all these forms, for even roots of unity. Their classical symmetry induced by the Frobenius-map is determined, and the meaning of the extra quasi-classical generators appearing at even roots of unity is clarified. The unitary highest weight modules of the classical case are recovered in the limit q -> 1.


title: On the groupoid of transformations of rigid structures on surfaces

abstract: We prove that the groupoid of transformations of rigid structures on surfaces has a finite presentation as a 2-groupoid establishing a result first conjectured by G.Moore and N.Seiberg. An alternative proof was given by B.Bakalov and A.Kirillov Jr. We present some applications to TQFTs. This is also related to recent work on the Grothendieck-Teichmuller groupoid by P.Lochak, A.Hatcher and L.Schneps.


title: Propagator on the h-deformed Lobachevsky plane

abstract: The action of the isometry algebra U_h(sl(2)) on the h-deformed Lobachevsky plane is found. The invariant distance and the invariant 2-point functions are shown to agree precisely with the classical ones. The propagator of the Laplacian is calculated explicitely. It is invariant only after adding a `non-classical' sector to the Hilbert space.


title: Antisymmetry, pseudospectral methods, and conservative PDEs

abstract: `Dual composition', a new method of constructing energy-preserving discretizations of conservative PDEs, is introduced. It extends the summation-by-parts approach to arbitrary differential operators and conserved quantities. Links to pseudospectral, Galerkin, antialiasing, and Hamiltonian methods are discussed.


title: Area preservation in computational fluid dynamics

abstract: Incompressible two-dimensional flows such as the advection (Liouville) equation and the Euler equations have a large family of conservation laws related to conservation of area. We present two Eulerian numerical methods which preserve a discrete analog of area. The first is a fully discrete model based on a rearrangement of cells; the second is more conventional, but still preserves the area within each contour of the vorticity field. Initial tests indicate that both methods suppress the formation of spurious oscillations in the field.


title: On the Toeplitz algebras of right-angled and finite-type Artin groups

abstract: The graph product of a family of groups lies somewhere between their direct and free products, with the graph determining which pairs of groups commute and which do not. We show that the graph product of quasi-lattice ordered groups is quasi-lattice ordered, and, when the underlying groups are amenable, that it satisfies Nica's amenability condition for quasi-lattice orders. As a consequence the Toeplitz algebras of these groups are universal for covariant isometric representations on Hilbert space, and their representations are faithful if the isometries satisfy a properness condition given by Laca and Raeburn. An application of this to right-angled Artin groups gives a uniqueness theorem for the C^*-algebra generated by a collection of isometries such that any two of them either *-commute or else have orthogonal ranges. In contrast, the nonabelian Artin groups of finite type considered by Brieskorn and Saito and Deligne have canonical quasi-lattice orders that are not amenable in the sense of Nica, so their Toeplitz algebras are not universal and the C^*-algebra generated by a collection of isometries satisfying the Artin relations fails to be unique.


title: Elliptic operators in even subspaces

abstract: In the paper we consider the theory of elliptic operators acting in subspaces defined by pseudodifferential projections. This theory on closed manifolds is connected with the theory of boundary value problems for operators violating Atiyah-Bott condition. We prove an index formula for elliptic operators in subspaces defined by even projections on odd-dimensional manifolds and for boundary value problems, generalizing the classical result of Atiyah-Bott. Besides a topological contribution of Atiyah-Singer type, the index formulas contain an invariant of subspaces defined by even projections. This homotopy invariant can be expressed in terms of the eta-invariant. The results also shed new light on P.Gilkey's work on eta-invariants of even-order operators.


title: Birational involutions of P^2

abstract: We give a "modern" version, based on Mori theory, of the classification of birational involutions of P^2 up to conjugacy. The result has been known for more than one century but the classical proofs are not always convincing.


title: A q-analogue of a formula of Hernandez obtained by inverting a result of Dilcher

abstract: We prove a q-analogue of the formula $ \sum_{1\le k\le n} \binom nk(-1)^{k-1}\sum_{1\le i_1\le i_2\le... \le i_m=k}\frac1{i_1i_2... i_m} = \sum_{1\le k\le n}\frac{1}{k^m} $ by inverting a formula due to Dilcher.


title: Hopf C*-algebras

abstract: In this paper we introduce the notion of a Hopf C*-algebra and construct the counit and antipode. A Hopf C*-algebra is a C*-algebra with comultiplication satisfying some extra condition which makes possible the construction of the counit and antipode. The leading example is of course the C*-algebra of continuous, vanishing at infinity functions on a locally compact group. Also locally compact quantum groups will be examples. We include several formulas for the counit and antipode which are familiar from Hopf algebra theory.


title: $L_{\infty}$-algebra of an unobstructed deformation functor

abstract: This is a comment on the Kuranishi method of constructing analytic deformation spaces. It is based on a simple observation that the Kuranishi map can always be inverted in the category of $L_{\infty}$-algebras. The $L_{\infty}$-structure obtained by this inversion is used to define an ''unobstructed'' deformation functor which is always representable by a smooth pointed moduli space. The singular nature of the original Kuranishi deformation space emerges in this setting merely as a result of the truncation of this ``naive'' $L_{\infty}$-algebra controlling the deformations to a usual differential Lie algebra.


title: Combinatorial optimization in geometry

abstract: We study the moduli space of euclidean structures with cone points on a surface, and describe a decomposition into cells each of which corresponds to a given combinatorial type of Delaunay tessellation. We use some of the ideas to study hyperbolic structures on three-dimensional manifolds


title: Homotopical Dynamics: Suspension and Duality

abstract: Flow type suspension and homotopy suspension agree for attractor-repellor homotopy data.The connection maps associated in Conley index theory to an attractor-repellor decomposition with respect to the direct flow and its inverse are Spanier-Whitehead duals in the stably parallelizable context and are duals modulo a certain Thom construction in general.


title: Lectures on Special Lagrangian Submanifolds

abstract: These notes consist of a study of special Lagrangian submanifolds of Calabi-Yau manifolds and their moduli spaces. The particular case of three dimensions, important in string theory, allows us to introduce the notion of gerbes. These offer an appropriate language for describing many significant features of the Strominger-Yau-Zaslow approach to mirror symmetry.


title: On Thom spaces, Massey products and non-formal symplectic manifolds

abstract: In this work we analyze the behavior of Massey products of closed manifolds under the blow-up construction. The results obtained in the article are applied to the problem of constructing closed symplectic non-formal manifolds. The proofs use Thom spaces as an important technical tool. This application of Thom spaces is of conceptual interest.


title: Representation Theory and Numerical AF-invariants: The representations and centralizers of certain states on O_d

abstract: Let O_d be the Cuntz algebra on generators S_1,...,S_d, 2 \leq d < \infty, and let D_d \subset O_d be the abelian subalgebra generated by monomials S_\alpha S_\alpha^* =S_{\alpha_{1}}...S_{\alpha_{k}}S_{\alpha_{k}}^*...S_{\alpha_{1}}^* where \alpha=(\alpha_1...\alpha_k) ranges over all multi-indices formed from {1,...,d}. In any representation of O_d, D_d may be simultaneously diagonalized. Using S_i(S_\alpha S_\alpha^*) =(S_{i\alpha}S_{i\alpha}^*)S_i, we show that the operators S_i from a general representation of O_d may be expressed directly in terms of the spectral representation of D_d. We use this in describing a class of type III representations of O_d and corresponding endomorphisms, and the heart of the paper is a description of an associated family of AF-algebras arising as the fixed-point algebras of the associated modular automorphism groups. Chapters 5--18 are devoted to finding effective methods to decide isomorphism and non-isomorphism in this class of AF-algebras.


title: Random walks and random permutations

abstract: A connection is made between the random turns model of vicious walkers and random permutations indexed by their increasing subsequences. Consequently the scaled distribution of the maximum displacements in a particular asymmeteric version of the model can be determined to be the same as the scaled distribution of the eigenvalues at the soft edge of the GUE. The scaling of the distribution gives the maximum mean displacement $\mu$ after $t$ time steps as $\mu = (2t)^{1/2}$ with standard deviation proportional to $\mu^{1/3}$. The exponent 1/3 is typical of a large class of two-dimensional growth problems.


title: Symplecton for U_h(sl(2)) and representations of SL_h(2)

abstract: Polynomials of boson creation and annihilation operators which form irreducible tensor operators for Jordanian quantum algebra U_h(sl(2)), called h-symplecton, are introduced and their properties are investigated. It is shown that many properties of symplecton for Lie algebra sl(2) are extended to h-symplecton. The h-symplecton is also a basis of irreducible representation of SL_h(2) dual to U_h(sl(2)). As an application of the procedure used to construct h-symplecton, we construct the representation bases of SL_h(2) on the quantum h-plane.


title: Elliptic operators in odd subspaces

abstract: An elliptic theory is constructed for operators acting in subspaces defined via odd pseudodifferential projections. Subspaces of this type arise as Calderon subspaces for first order elliptic differential operators on manifolds with boundary, or as spectral subspaces for self-adjoint elliptic differential operators of odd order. Index formulas are obtained for operators in odd subspaces on closed manifolds and for general boundary value problems. We prove that the eta-invariant of operators of odd order on even-dimesional manifolds is a dyadic rational number.


title: Primitive vectors of Kac-modules of the Lie superalgebras sl(m/n)

abstract: To study finite-dimensional modules of the Lie superalgebras, Kac introduced the Kac-modules and divided them into typical or atypical modules according as they are simple or not. For Lambda being atypical, Hughes et al have an algorithm to determine all the composition factors of a Kac-module; they conjectured that there exists a bijection between the composition factors of a Kac-module and the so-called permissible codes. The aim of this paper is to prove this conjecture. We give a partial proof here, i.e., to any unlinked code, by constructing explicitly the primitive vector, we prove that there corresponds a composition factor of the Kac-module. We will give a full proof of the conjecture in another paper.


title: Simple curves on surfaces

abstract: We show that the number of simple closed geodesics of length bounded by L on a hyperbolic surface of genus g with c cusps and b boundary components grows roughly like L^{6g+2b+2c-6}. This has been conjectured for some time.


title: Quantum anchor : $\uqs$ case

abstract: We introduce the tangent space $ T({\rm H}_q) $ on the quantum hyperboloid ($ {\cal A}_{0,q}^c $) and equip it with an action on $ {\cal A}_{0,q}^c $ being a deformation of the action of vectors fields on functions. An embedding $ \displaystyle sl(2)_q \longrightarrow T({\rm H}_q) $ of $q$-deformed Lie algebra $ sl(2) $ being an analogue of the anchor $ \displaystyle sl(2) \longrightarrow \Vect({\rm H}) $ is called "quantum anchor".


title: A Note on Toric Contact Geometry

abstract: After observing that the well-known convexity theorems of symplectic geometry also hold for compact contact manifolds with an effective action of a torus whose Reeb vector field corresponds to an element of the Lie algebra of the torus, we use this fact together with a recent symplectic orbifold version of Delzant's theorem due to Lerman and Tolman [LT] to show that every such compact toric contact manifold can be obtained by a contact reduction from an odd dimensional sphere.


abstract: Infinite time Turing machines with only one tape are in many respects fully as powerful as their multi-tape cousins. In particular, the two models of machine give rise to the same class of decidable sets, the same degree structure and, at least for functions f:R-->N, the same class of computable functions. Nevertheless, there are infinite time computable functions f:R-->R that are not one-tape computable, and so the two models of supertask computation are not equivalent. Surprisingly, the class of one-tape computable functions is not closed under composition; but closing it under composition yields the full class of all infinite time computable functions. Finally, every ordinal which is clockable by an infinite time Turing machine is clockable by a one-tape machine, except certain isolated ordinals that end gaps in the clockable ordinals.


title: Lifting Monomial Ideals

abstract: We show how to lift any monomial ideal J in n variables to a saturated ideal I of the same codimension in n+t variables. We show that I has the same graded Betti numbers as J and we show how to obtain the matrices for the resolution of I. The cohomology of I is described. Making general choices for our lifting, we show that I is the ideal of a reduced union of linear varieties with singularities that are `as small as possible' given the cohomological constraints. The case where J is Artinian is the nicest. In the case of curves we obtain stick figures for I, and in the case of points we obtain certain k-configurations which we can describe in a very precise way.


title: Indestructible weakly compact cardinals and the necessity of supercompactness for certain proof schemata

abstract: We show that if the weak compactness of a cardinal is made indestructible by means of any preparatory forcing of a certain general type, including any forcing naively resembling the Laver preparation, then the cardinal was originally supercompact. We then apply this theorem to show that the hypothesis of supercompactness is necessary for certain proof schemata.


title: Elliptic operators in subspaces and the eta invariant

abstract: The spectral eta-invariant of a self-adjoint elliptic differential operator on a closed manifold is rigid, provided that the parity of the order is opposite to the parity of dimension of the manifold. The paper deals with the calculation of the fractional part of the eta-invariant in this case. The method used to obtain the corresponding formula is based on the index theorem for elliptic operators in subspaces. It also utilizes K-theory with coefficients Z_n. In particular, it is shown that the group K(T^*M,Z_n) is realized by elliptic operators (symbols) acting in appropriate subspaces.


title: The coisotropic subgroup structure of SL_q(2,R)

abstract: We study the coisotropic subgroup structure of standard SL_q(2,R) and the corresponding embeddable quantum homogeneous spaces. While the subgroups S^1 and R_+ survive undeformed in the quantization as coalgebras, we show that R is deformed to a family of quantum coisotropic subgroups whose coalgebra can not be extended to an Hopf algebra. We explicitly describe the quantum homogeneous spaces and their double cosets.


title: Points de petite hauteur sur les varietes semi-abeliennes

abstract: We extend to the case of semi-abelian varieties the statements of various variants of the conjecture alla Bogomolov about the non-density of small points of small height in abelian varieties. Inspired by recent work of Ullmo, Zhang and Bilu, we then prove these conjectures when the semi-abelian variety is almost split. The proof uses Arakelov geometry and equirepartition arguments.


title: On some extremal problems in graph theory

abstract: In this paper we are concerned with various graph invariants (girth, diameter, expansion constants, eigenvalues of the Laplacian, tree number) and their analogs for weighted graphs -- weighing the graph changes a combinatorial problem to one in analysis. We study both weighted and unweighted graphs which are extremal for these invariants. In the unweighted case we concentrate on finding extrema among all (usually) regular graphs with the same number of vertices; we also study the relationships between such graphs.


title: Un Lemme de Morse pour les surfaces convexes

abstract: We describe the "hyperbolic" properties of a riemann surface lamination M canonically associated to every compact three manifolds of curvature less than 1. More precisely, if the geodesic flow is the phase space attached to an ordinary differential equation, our space M is the "phase space" attached to a certain elliptic equation, which geometrically describes surfaces of constant Gauss-Kronecker curvature k (k-surfaces), 0<k<1. These hyperbolic properties are : a generic leaf is dense, the union of compact leaves is dense, and stability. They follow from an analogous of the Morse lemma for geodesics, which we call Morse lemma for convex surfaces, and which play the role of a shadowing lemma. We also prove theorems on existence and unicity of k-surfaces.


title: Injectivity Radius Bounds in Hyperbolic I-Bundle Convex Cores

abstract: A version of a conjecture of McMullen is as follows: Given a hyperbolizable 3-manifold M with incompressible boundary, there exists a uniform constant K such that if N is a hyperbolic 3-manifold homeomorphic to the interior of M, then the injectivity radius based at points in the convex core of N is bounded above by K. This conjecture suggests that convex cores are uniformly congested. We will give a proof in the case when M is an I-bundle over a closed surface, taking into account the possibility of cusps.


title: Asymptotics via Steepest Descent for an Operator Riemann-Hilbert Problem

abstract: In this paper, we take the first step towards an extension of the nonlinear steepest descent method of Deift, Its and Zhou to the case of operator Riemann-Hilbert problems. In particular, we provide long range asymptotics for a Fredholm determinant arising in the computation of the probability of finding a string of n adjacent parallel spins up in the antiferromagnetic ground state of the spin 1/2 XXX Heisenberg Chain. Such a determinant can be expressed in terms of the solution of an operator Riemann-Hilbert factorization problem.


title: s-convexity, model sets and their relation

abstract: The relation of s-convexity and sets modeling physical quasicrystals is explained for quasicrystals related to quadratic unitary Pisot numbers. We show that 1-dimensional model sets may be characterized by s-convexity for finite set of parameters s. It is shown that the three Pisot numbers $\frac12(1+\sqrt5)$, $1+\sqrt2$, and $2+\sqrt3$ related to experimentally observed non-crystallographic symmetries are exceptional with respect to s-convexity.


title: On the generalized Futaki invariant

abstract: We study the algebraic properties of the generalized Futaki invariant of an almost Fano variety and prove that it is in fact a pushforward to a point of an appropriate equivariant Chow cohomology class of the variety. This allows us to use Bott-type formulae for calculating the invariant. We show this use on some examples.


title: Explicit Construction of Complete Kahler Metrics of Saper Type by Desingularization

abstract: We construct complete Kahler metrics of Saper type on the nonsingular set of a subvariety X of a compact Kahler manifold using (a) a method for replacing a sequence of blow-ups along smooth centers, used to resolve the singularities of X, with a single blow-up along a product of coherent ideals corresponding to the centers and (b) an explicit local formula for a Chern form associated to this single blow-up. Our metrics have a particularly simple local formula, involving essentially a product of distances to the centers of the blow-ups used to resolve the singularities of X. Our proof of (a) uses a generalization of Chow's theorem for coherent ideals, proved using the Direct Image Theorem.


title: Variants of Schroeder Dissections

abstract: Some formulae are given for the enumeration of certain types of dissections of the convex (n+2)-gon by non-crossing diagonals. The classical Schroeder and Motzkin numbers are addressed using a cataloguing tool, the "reversive symbol". The elementary details are referred to three Web addresses.


title: Injectivity Radius Bounds in Hyperbolic Convex Cores I

abstract: A version of a conjecture of McMullen is as follows: Given a hyperbolizable 3-manifold M with incompressible boundary, there exists a uniform constant K such that if N is a hyperbolic 3-manifold homeomorphic to the interior of M, then the injectivity radius based at points in the convex core of N is bounded above by K. This conjecture suggests that convex cores are uniformly congested. In previous work, the author has proven the conjecture for $I$-bundles over a closed surface, taking into account the possibility of cusps. In this paper, we establish the conjecture in the case that M is a book of I-bundles or an acylindrical, hyperbolizable 3-manifold. In particular, we show that if M is a book of I-bundles, then the bound on injectivity radius depends on the number of generators in the fundamental group of M.


title: Some Applications of a Multiplicative Structure on Simple Loops in Surfaces

abstract: We discuss some applications of an intrinsic multipication in the space of simple loops in a surface.


title: Polynomial Homotopies for Dense, Sparse and Determinantal Systems

abstract: Numerical homotopy continuation methods for three classes of polynomial systems are presented. For a generic instance of the class, every path leads to a solution and the homotopy is optimal. The counting of the roots mirrors the resolution of a generic system that is used to start up the deformations. Software and applications are discussed.


title: The elliptic gamma function and SL(3,Z) x Z^3

abstract: The elliptic gamma function is a generalization of the Euler gamma function and is associated to an elliptic curve. Its trigonometric and rational degenerations are the Jackson q-gamma function and the Euler gamma function, respectively. The elliptic gamma function appears in Baxter's formula for the free energy of the eight-vertex model and in the hypergeometric solutions of the elliptic qKZB equations. In this paper, the properties of this function are studied. In particular we show that elliptic gamma functions are generalizations of automorphic forms of G=SL(3,Z) x Z^3 associated to a non-trivial class in H^3(G,Z).


title: The similarity degree of an operator algebra II

abstract: For every integer $d\ge 1$, there is a unital closed subalgebra $A_d\subset B(H)$ with similarity degree equal precisely to $d$, in the sense of our previous paper. This means that for any unital homomorphism $u\colon A_d\to B(H)$ we have $\|u\|_{cb} \le K\|u\|^d$ with $K>0$ independent of $u$, and the exponent $d$ in this estimate cannot be improved. The proof that the degree is larger than $d-1$ crucially uses an upper bound for the norms of certain Gaussian random matrices due to Haagerup and Thorbj\o rnsen. We also include several complements to our previous publications on the same subject.


title: An inequality for p-orthogonal sums in non-commutative ${\bf L_p}$

abstract: We give an alternate proof of one of the inequalities proved recently for martingales (=sums of martingale differences) in a non-commutative $L_p$-space, with $1<p<\infty$, by Q. Xu and the author. This new approach is restricted to $p$ an even integer, but it yields a constant which is $O(p)$ when $p\to \infty$ and it applies to a much more general kind of sums which we call $p$-orthogonal.


title: Permutations and primes

abstract: The problem of N-digit sets all permutations of which give primes is discussed. Such sets may include only digits 1, 3, 7 and 9, and none of 0, 2, 5, 4, 6, 8. Direct calculations show that such full-permutation digit sets occur at N = 1, 2, 3 and are absent in the 4 - 10 interval of N. On the other hand the formal full permutation at N = 19, 23, 317 and 1031 (as well at N = 2) cases is provided by repunits (integers all digits of which are 1). The existence/nonexistence of other (not repunits) full-permutation digit sets for arbitrary large N is an open question with probable negative answer. The maximal-permutation digit sets with maximal number of primes are given for N = 4 - 10.


title: The geometric triangle for 3-dimensional Seiberg-Witten monopoles

abstract: We establish a surgery formula for 3-dimensional Seiberg-Witten monopoles under (+1) Dehn surgery on a knot in a homology 3-sphere. (substantial revision)


title: Reidemeister torsion in generalized Morse theory

abstract: In two previous papers with Yi-Jen Lee, we defined and computed a notion of Reidemeister torsion for the Morse theory of closed 1-forms on a finite dimensional manifold. The present paper gives an a priori proof that this Morse theory invariant is a topological invariant. It is hoped that this will provide a model for possible generalizations to Floer theory.


title: Graded Lie algebras of maximal class IV

abstract: We describe the isomorphism classes of certain infinite-dimensional graded Lie algebras of maximal class, generated by an element of weight one and an element of weight two, over fields of odd characteristic.


title: Rationality of moduli of vector bundles on curves

abstract: The moduli space M(r,d) of stable, rank r, degree d vector bundles on a smooth projective curve of genus g>1 is shown to be birational to M(h,0) x A, where h=hcf(r,d) and A is affine space of dimension (r^2-h^2)(g-1). The birational isomorphism is compatible with fixing determinants in M(r,d) and M(h,0) and we obtain as a corollary that the moduli space of bundles of rank r and fixed determinant of degree d is rational, when r and d are coprime. A key ingredient in the proof is the use of a naturally defined Brauer class for the function field of M(r,d).


title: Algebraic Solutions of the Multicomponent KP Hierarchy

abstract: It is shown that it is possible to write down tau functions for the $n$-component KP hierarchy in terms of non-abelian theta functions. This is a generalization of the rank 1 situation; that is, the relation of theta functions of Jacobians and tau functions for the KP hierarchy.


title: Kleinian groups and the complex of curves

abstract: We examine the internal geometry of a Kleinian surface group and its relations to the asymptotic geometry of its ends, using the combinatorial structure of the complex of curves on the surface. Our main results give necessary conditions for the Kleinian group to have `bounded geometry' (lower bounds on injectivity radius) in terms of a sequence of coefficients (subsurface projections) computed using the ending invariants of the group and the complex of curves. These results are directly analogous to those obtained in the case of punctured-torus surface groups. In that setting the ending invariants are points in the closed unit disk and the coefficients are closely related to classical continued-fraction coefficients. The estimates obtained play an essential role in the solution of Thurston's ending lamination conjecture in that case.


title: Braid commutators and delta finite-type invariants

abstract: Delta finite-type invariants are defined analogously to finite-type invariants, using delta moves instead of crossing changes. We show that they are closely related to the lower central series of the commutator subgroup of the pure braid group.


title: Brunnian braids and some of their generalizations

abstract: We use a variation on the commutator collection process to characterize those pure braids which become trivial when any one strand is deleted, or, more generally, those pure braids which become trivial when all the strands in any one of a list of sets of strands is deleted.


title: Configuration spaces with summable labels

abstract: Let M be an n-manifold, and let A be a space with a partial sum behaving as an n-fold loop sum. We define the space C(M;A) of configurations in M with summable labels in A via operad theory. Some examples are symmetric products, labelled configuration spaces, and spaces of rational curves. We show that C(I^n,dI^n;A) is an n-fold delooping of C(I^n;A), and for n=1 it is the classifying space by Stasheff. If M is compact, parallelizable, and A is path connected, then C(M;A) is homotopic to the mapping space Map(M,C(I^n,dI^n;A)).


title: Bezout's theorem and Cohen-Macaulay modules

abstract: We define very proper intersections of modules and projective subschemes. It turns out that equidimensional locally Cohen-Macaulay modules intersect very properly if and only if they intersect properly. We prove a Bezout theorem for modules which meet very properly. Furthermore, we show for equidimensional subschemes $X$ and $Y$: If they intersect properly in an arithmetically Cohen-Macaulay subscheme of positive dimension then $X$ and $Y$ are arithmetically Cohen-Macaulay. The module version of this result implies splitting criteria for reflexive sheaves.


title: A rationality criterion for unbounded operators

abstract: Let G be a group, let U(G) denote the set of unbounded operators on L^2(G) which are affiliated to the group von Neumann algebra W(G) of G, and let D(G) denote the division closure of CG in U(G). Thus D(G) is the smallest subring of U(G) containing CG which is closed under taking inverses. If G is a free group then D(G) is a division ring, and in this case we shall give a criterion for an element of U(G) to be in D(G). This extends a result of Duchamp and Reutenauer, which was concerned with proving a conjecture of Connes.


title: A Noncommutative Chromatic Symmetric Function

abstract: Stanley associated with a graph G a symmetric function X_G which reduces to G's chromatic polynomial under a certain specialization of variables. He then proved various theorems generalizing results about the chromatic polynomial, as well as new ones that cannot be interpreted at that level. Unfortunately, X_G does not satisfy a Deletion-Contraction Law which makes it difficult to apply induction. We introduce a symmetric function in noncommuting variables which does have such a law and specializes to X_G when the variables are allowed to commute. This permits us to further generalize some of Stanley's theorems and prove them in a uniform and straightforward manner. Furthermore, we make some progress on the (3+1)-free Conjecture of Stanley and Stembridge.


title: 3-manifold invariants from cosets

abstract: We construct unitary modular categories for a general class of coset conformal field theories based on our previous study of these theories in the algebraic quantum field theory framework using subfactor theory. We also consider the calculations of the corresponding 3-manifold invariants. It is shown that under certain index conditions the link invaraints colored by the representations of coset factorize into the products of the the link invaraints colored by the representations of the two groups in the coset. But the 3-manifold invariants do not behave so simply in general due to the nontrivial branching and selection rules of the coset. Examples in the parafermion cosets and diagonal cosets show that 3-manifold invariants of the coset may be finer than the products of the 3-manifold invariants associated with the two groups in the coset, and these two invariants do not seem to be simply related in some cases, for an example, in the cases when there are issues of ``fixed point resolutions''. In the later case our framework provides a representation theory understanding of the underlying unitary modular categories which has not been obtained by other methods.


title: Sinks in Acyclic Orientations of Graphs

abstract: Greene and Zaslavsky proved that the number of acyclic orientations of a graph with a unique sink is, up to sign, the linear coefficient of the chromatic polynomial. We give three new proofs of this result using pure induction, noncommutative symmetric functions, and an algorithmic bijection.


title: The Multiplicities of a Dual-thin Q-polynomial Association Scheme

abstract: Let Y denote a symmetric association scheme which is Q-polynomial with respect to an ordering E_0,...,E_D of the primitive idempotents. Bannai and Ito conjectured that the associated sequence of multiplicities m_0,...,m_D is unimodal. We prove that if Y is dual-thin in the sense of Terwilliger, then the sequence of multiplicities satisfies m_i <= m_{i+1} and m_i <= m_{D-i} for i < D/2.


title: Exact triangles in Seiberg-Witten Floer theory. Part II: geometric limits of flow lines

abstract: This is the second part of the proof of the exact traiangles in Seiberg-Witten Floer theory. We analyse the splitting and gluing of flow lines of the Chern-Simons-Dirac functional when the underlying three-manifold splits along a torus. (two corrections added)


title: Ample vector bundles and branched coverings

abstract: Given a covering f: X \to Y of projective manifolds, we consider the vector bundle E on Y given as the dual of f_*(\O_X) / \O_Y. This vector bundles often has positivity properties, e.g. E is ample when Y is projective space by a theorem of Lazarsfeld. In general however E will not be ample due to the geometry of Y. We prove various results when E is spanned, nef or generically nef, under some assumptions on the base Y.


title: Logged Rewriting Procedures with Application to Identities Among Relations

abstract: The key idea is that rewriting procedures can be enhanced so that they not only rewrite words but record (log) how the rewriting has taken place. We introduce logged rewrite systems and present a variation on the Knuth-Bendix algorithm for obtaining (where possible) complete logged rewrite systems. This procedure is then applied to work of Brown and Razak Salleh, and an algorithm is developed which provides a set of generators for the module of identities among relations of a group presentation.


title: Rewriting Procedures Generalise to Kan Extensions of Actions of Categories

abstract: Kan extensions provide a natural general framework for a variety of combinatorial problems. We have developed rewriting procedures for Kan extensions (over the category of sets) and this enables one program to address a wide range of problems. Thus it is possible to use the same framework (and therefore program) to enumerate monoid or group (or category of groupoid) elements, to enumerate cosets or congruence classes on monoids, calculate equivariant equivalence relations, induced actions of groups, monoids or categories and even more. This extended abstract is an outline of "Using Rewriting Systems to Compute Kan Extensions and Induced Actions of Categories" by R. Brown and A. Heyworth.


title: Nahm Algebras

abstract: Given a Lie algebra $\frak{g}$, the \emph{Nahm algebra} of $\frak{g}$ is the vector space $\frak{g}\times \frak{g}\times \frak{g}$ with the natural commutative, nonassociative algebra structure associated with the Nahm equations $\dot{x} = [y,z]$, $\dot{y} = [z,x]$, $\dot{z} = [x,y]$. Motivated by potential application to the study of these equations, we herein initiate the study of Nahm algebras.


title: Loops and Semidirect Products

abstract: A \emph{loop} $(B,\cdot)$ is a set $B$ together with a binary operation $\cdot$ such that (i) for each $a\in B$, the left and right translation mappings $L_{a}:B\to B: x \mapsto a\cdot x$ and $R_{a}:B\to B: x \mapsto x\cdot a$ are bijections, and (ii) there exists a two-sided identity element $1\in B$. Thus loops can be thought of as "nonassociative groups". In this paper we study standard, internal and external semidirect products of loops with groups. These are generalizations of the familiar semidirect product of groups.


title: Dynamics forced by surface trellises

abstract: Given a saddle fixed point of a surface diffeomorphism, its stable and unstable curves $W^S$ and $W^U$ often form a homoclinic tangle. Given such a tangle, we use topological methods to find periodic points of the diffeomorphism, using only a subset of the tangle with finitely many points of intersection, which we call a trellis. We typically obtain exponential growth of periodic orbits, symbolic dynamics and a strictly positive lower bound for topological entropy. For a simple example occurring in the Henon family, we show that the topological entropy is at least 0.527.


title: McKay correspondence for symplectic quotient singularities

abstract: We consider the quotients $X = V/G$ of a symplectic complex vector space $V$ by a finite subgroup $G \subset Sp(V)$ which admit a smooth crepant resolution $Y \to X$. For such quotients, we prove the homological McKay correspondence conjectured by M. Reid. Namely, we construct a natural basis in the homology space $H_\cdot(Y,\Q)$ whose elements are numbered by the conjugacy classes in the finite group $G$.


title: On a Map From Pure Braids to Knots

abstract: We study a certain type of braid closure which resembles the plat closure but has certain advantages; for example, it maps pure braids to knots. The main results of this note are a Markov-type theorem and a description of how Vassiliev invariants behave under this braid closure.


title: Semi-affine Coxeter-Dynkin graphs and $G \subseteq SU_2(C)$

abstract: These graphs generalize both affine and finite type and provide an explanation for some quantum properties of roots of unity.


title: On the minimal cardinality of a subset of R which is not of first category

abstract: Let M be the ideal of first category subsets of R and non(M)=min{card X: X \subseteq R, X \not\in M}. We consider families \Phi of sequences converging to \infty, with the property that for every open set U \subseteq R that is unbounded above there exists a sequence belonging to \Phi, which has an infinite number of terms belonging to U. We present assumptions about \Phi which imply that the minimal cardinality of \Phi equals non(M).


title: An Algebraic Treatment of Totally Linear Partial Differential Equations

abstract: We construct the field A generated by n algebraically independent elements, and show that the linear space of derivations over this field is faithfully represented by the linear space of the n-th fold Cartesian product of this field acting through inner product on the gradient of this field. We prove also that functional independence of a set in this field is equivalent to linear independence of the gradient set in the space of Cartesian product. It is shown that every subfield S of A which is generated by (n-1) functionally independent elements defines an one-dimensional space of derivations, such that each member L of the latter subspace has S as its kernel. Each coset of the multiplicative subgroup S defines a non-homogeneous differential operator L+q whose kernel coincide with this coset. We prove also that every element of A defines a coset of the subgroup ker(L+q) in the additive group A, on which L+q is constant.


title: Restricting Schubert classes

abstract: Let V be a 2n-dimensional complex symplectic space. Let G' be the Lagrangian Grassmannian of maximal isotropic subspaces of V embedded via the inclusion i into the Grassmannian G of all n-dimensional subspaces of V. We discuss the restriction via i* of a Schubert class from H(G), as an integral linear combination of Schubert classes in H(G'). Among the main tools we mention Stembridge's results on shifted tableaux. Using these results and a generalization of the Macdonald-You identity from an earlier author's paper, we establish several related algebro-geometric formulas.


title: Exceptional surgery curves in triangulated 3-manifolds

abstract: For the purposes of this paper, Dehn surgery along a curve K in a 3-manifold M with slope r is `exceptional' if the resulting 3-manifold M_K(r) is reducible or a solid torus, or the core of the surgery solid torus has finite order in the fundamental group of M_K(r). We show that, providing the exterior of K is irreducible and atoroidal, and the distance between r and the meridian slope is more than one, and a homology condition is satisfied, then there is (up to ambient isotopy) only a finite number of such exceptional surgery curves in a given compact orientable 3-manifold M, with the boundary of M a (possibly empty) union of tori. Moreover, there is a simple algorithm to find all these surgery curves, which involves inserting tangles into the 3-simplices of any given triangulation of M. As a consequence, we deduce some results about the finiteness of certain unknotting operations on knots in the 3-sphere.


title: A modified BFGS quasi-Newton iterative formula

abstract: The quasi-Newton equation is the very basis of a variety of the quasi-Newton methods. By using a relationship formula between nonlinear polynomial equations and the corresponding Jacobian matrix. presented recently by the present author, we established an exact alternative of the approximate quasi-Newton equation and consequently derived an modified BFGS updating formulas.


title: The Williams Conjecture is false for irreducible subshifts

abstract: We show the Williams Conjecture is false for irreducible shifts of finite type by examining relative sign-gyration numbers of conjugacies between shifts with no points of period one or two.


title: A Change of Coordinates on the Large Phase Space of Quantum Cohomology

abstract: The Gromov-Witten invariants of a smooth, projective variety $V$, when twisted by the tautological classes on the moduli space of stable maps, give rise to a family of cohomological field theories and endow the base of the family with coordinates. We prove that the potential functions associated to the tautological $\psi$ classes (the large phase space) and the $\kappa$ classes are related by a change of coordinates which generalizes a change of basis on the ring of symmetric functions. Our result is a generalization of the work of Manin--Zograf who studied the case where $V$ is a point. We utilize this change of variables to derive the topological recursion relations associated to the $\kappa$ classes from those associated to the $\psi$ classes.


title: Commutative Partial Differential Operators

abstract: In one variable, there exists a satisfactory classification of commutative rings of differential operators. In several variables, even the simplest generalizations seem to be unknown and in this report we give examples and pose questions that may suggest a theory to be developed. In particular, we address the existence of a ``spectral variety'' generalizing the spectral curve of the one dimensional theory and the role of the differential resultant.


title: Kohomologie von Periodenbereichen ueber endlichen Koerpern

abstract: Periodenbereiche sind gewisse offene Unterraeume von verallgemeinerten Flaggenvarietaeten, welche durch Semistabilitaetsbedingungen beschrieben werden. In dem Fall eines endlichen Grundkoerpers bilden diese eine Zariski-offene Untervarietaet, im Fall eines lokalen Koerpers einen zulaessigen offenen Unterraum im Sinne der rigiden algebraischen Geometrie. In dieser Arbeit berechnen wir fuer den Fall eines endlichen Grundkoerpers die l-adische Kohomologie mit kompaktem Traeger dieser Periodenbereiche. Das Ergebnis bestaetigt eine Vermutung von Kottwitz und Rapoport.


title: (1+1) Schrodinger Lie bialgebras and their Poisson-Lie groups

abstract: All Lie bialgebra structures for the (1+1)-dimensional centrally extended Schrodinger algebra are explicitly derived and proved to be of the coboundary type. Therefore, since all of them come from a classical r-matrix, the complete family of Schrodinger Poisson-Lie groups can be deduced by means of the Sklyanin bracket. All possible embeddings of the harmonic oscillator, extended Galilei and gl(2) Lie bialgebras within the Schrodinger classification are studied. As an application, new quantum (Hopf algebra) deformations of the Schrodinger algebra, including their corresponding quantum universal R-matrices, are constructed.


title: The cohomology of period domains for reductive groups over finite fields

abstract: The goal of this paper is to give an explicit formula for the l-adic cohomology of period domains over finite fields for arbitrary reductive groups. The result is a generalisation of the computation in math.AG/9907098 which treats the case of the general linear group.


title: On the homotopy invariance of higher signatures for manifolds with boundary

abstract: If M is a compact oriented manifold-with-boundary whose fundamental group is virtually nilpotent or Gromov-hyperbolic, we show that the higher signatures of M are oriented-homotopy invariants.


title: Boundary value problems for a class of elliptic operator pencils

abstract: In this paper operator pencils $A(x,D,\lambda)$ are studied which act on a manifold with boundary and satisfy the condition of $N$-ellipticity with parameter, a generalization of the notion of ellipticity with parameter as introduced by Agmon and Agranovich--Vishik. Sobolev spaces corresponding to a Newton polygon are defined and investigated; in particular it is possible to describe their trace spaces. With respect to these spaces, an a priori estimate holds for the Dirichlet boundary value problem connected with an $N$-elliptic pencil, and a right parametrix is constructed.


title: Addendum to "Quaternionic Gamma functions..."

abstract: This note adds three annexes to my previous paper math/9904044 Annex 1. A sufficient condition for self-adjointness Annex 2. Invariant closed operators on locally compact abelian groups Annex 3. The trace of Connes for quaternions This last item is a minor variation on the evaluation of Connes's trace (math/9811068), which is explained here in the setting of quaternions and can be applied also to any abelian local field.


title: Orderings of mapping class groups after Thurston

abstract: We are concerned with mapping class groups of surfaces with nonempty boundary. We present a very natural method, due to Thurston, of finding many different left orderings of such groups. The construction involves equipping the surface with a hyperbolic structure, embedding the universal cover in the hyperbolic plane, and extending the action of the mapping class group on it to its limit points on the circle at infinity. We classify all orderings of braid groups which arise in this way. Moreover, restricting to a certain class of ``nonpathological'' orderings, we prove that there are only finitely many conjugacy classes of such orderings.


title: Hopf surfaces: a family of locally conformal Kaehler metrics and elliptic fibrations

abstract: We describe a family of locally conformal Kaehler metrics on class 1 Hopf surfaces H containing some recent metrics constructed by P. Gauduchon and L. ornea. We study some canonical foliations associated to these metrics, in particular a 2-dimensional foliation E that is shown to be independent of the metric. We elementary prove that E has compact leaves if and only if H is elliptic. In this case the leaves of E give explicitly the elliptic fibration of H, and the natural orbifold structure on the leaf space is illustrated.


title: Some Properties and Examples of Triangular Pointed Hopf Algebras

abstract: A fundamental problem in the theory of Hopf algebras is the classification and construction of finite-dimensional (minimal) triangular Hopf algebras (A,R) introduced by Drinfeld. Only recently Etingof and the author completely solved this problem for semisimple A over algebraically closed fields of characteristics 0 and p>>dim(A) (any p if one assumes that A is also cosemisimple). In this paper we take the first step towards solving this problem for finite-dimensional pointed Hopf algebras over an algebraically closed field k of characteristic 0. We first prove that the fourth power of the antipode of any triangular pointed Hopf algebra A is the identity. We do that by focusing on minimal triangular pointed Hopf algebras (A,R) (every triangular Hopf algebra contains a minimal triangular sub Hopf algebra) and proving that the group algebra of the group of grouplike elements of A (which must be abelian) admits a minimal triangular structure and consequently that A has the structure of a biproduct. We also generalize our result on the order of the antipode to any finite-dimensional quasitriangular Hopf algebra A whose Drinfeld element u acts as a scalar in any irreducible representation of A (e.g. when A^* is pointed). Second, we describe a method of construction of finite-dimensional pointed Hopf algebras which admit a minimal triangular structure, and classify all their minimal triangular structures. We conclude the paper by proving that any minimal triangular Hopf algebra which is generated as an algebra by grouplike elements and skew primitive elements is isomorphic to a minimal triangular Hopf algebra constructed using our method.


title: PU(2) monopoles. III: Existence of gluing and obstruction maps

abstract: This is the third installment in our series of articles (dg-ga/9712005, dg-ga/9710032) on the application of the PU(2) monopole equations to prove Witten's conjecture (hep-th/9411102) concerning the relation between the Donaldson and Seiberg-Witten invariants of smooth four-manifolds. The moduli space of solutions to the PU(2) monopole equations provides a noncompact cobordism between links of compact moduli spaces of U(1) monopoles of Seiberg-Witten type and the moduli space of anti-self-dual SO(3) connections, which appear as singularities in this larger moduli space. In this paper we prove the first part of a general gluing theorem for PU(2) monopoles, with the proof of the second half to appear in a companion article. The ultimate purpose of the gluing theorem is to provide topological models for neighborhoods of ideal Seiberg-Witten moduli spaces appearing in lower levels of the Uhlenbeck compactification of the moduli space of PU(2) monopoles and thus permit calculations of their contributions to Donaldson invariants using the PU(2)-monopole cobordism.

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


title: Knotting of Algebraic Curves in CP2

abstract: I construct "fake algebraic curves" in $Cp^2$. More precisely, for any k>2, I construct infinitely many pairwise smoothly non-isotopic (and moreover not ambient diffeomorphic) smooth surfaces $F\subset Cp^2$ homeomorphic to a non-singular algebraic curve of degree 2k, realizing the same homology class as such a curve and having abelian fundamental group of the complement $Cp^2-F$. This gives an answer to Problem 4.110 of Kirby's list.


title: Bipartite sandwiches: bounding the size of a maximum biclique

abstract: Paper withdrawn, due a crucial error in the proof of Lemma 4.3: thus Theorems 1.2 and 1.3 remain unproven.


title: Small eigenvalues of large Hankel matrices:The indeterminate case

abstract: In this paper we characterise the indeterminate case by the eigenvalues of the Hankel matrices being bounded below by a strictly positive constant. An explicit lower bound is given in terms of the orthonormal polynomials and we find expresions for this lower bound in a number of indeterminate moment problems.


title: The Similarity Boundary of a Self-Similar Set

abstract: We define the similarity boundary of a self-similar set and use it to analyze the properties of self-similar sets in the general setting of any complete metric space. The similarity boundary is an attempt at extending the concept of the topological boundary in a way that is consistent with our intuitive understanding of the term boundary. We also show how with the analysis of the similarity boundary, we can restrict ourselves to the space $K$ and disregard the ambient space.


title: Contact topology and hydrodynamics II: solid tori

abstract: We prove the existence of periodic orbits for steady $C^\omega$ Euler flows on all Riemannian solid tori. By using the correspondence theorem from part I of this series, we reduce the problem to the Weinstein Conjecture for solid tori. We prove the Weinstein Conjecture on the solid torus via a combination of results due to Hofer et al. and a careful analysis of tight contact structures on solid tori.


title: Elliptic Gromov-Witten Invariants And Virasoro Conjecture

abstract: The Virasoro conjecture proposed by Eguchi-Hori-Xiong and S. Katz predicts that the generating function of Gromov-Witten invariants is annihilated by infinitely many differential operators which form a half branch of the Virasoro algebra. In this paper, we study the genus-1 case of the conjecture. In particular, we will give some necessary and sufficient conditions for the genus-1 Virasoro conjecture.


title: Trigonal curves and Galois Spin(8)-bundles

abstract: Let SU_C(2) denote the moduli variety of rank 2 semistable vector bundles with trivial determinant on an algebraic curve C. We prove that if C is trigonal then there exists a projective moduli variety N_C containing SU_C(2) as a subvariety and smooth of dimension 7g-14 away from SU_C(2). N_C parametrises Galois Spin(8)-bundles on the Galois closure of C over P^1. Moreover, if x in J_C[2] is a 2-torsion point let R(x) be the Recillas tetragonal curve whose Jacobian is isomorphic to Prym(C,x). Then there is an injection of SU_R(x)(2) into N_C giving a `nonabelian Schottky configuration' in N_C singular along the classical Schottky configuration in SU_C(2).


title: Virtual operad algebras and realization of homotopy types

abstract: We prove that the category of algebras over a cofibrant operad admits a closed model category structure. This leads to the notion of "virtual operad algebra" - the algebra over a cofibrant resolution of the given operad. In particular, virtual commutative algebras can serve to an algebraic description of homotopy p-tipes as in the recent preprint of Mandell (electronic Hopf topology archive, october '98, see http://www.hopf.math.purdue.edu. Our main result allows one to significally simplify the proof of Mandell's theorem.


title: Arithmetic structure of Mumford's fake projective plane

abstract: This is a revised version of a part of the author's preprint "On p-adic uniformization of fake projective planes" (preprint, Max-Planck-Institut fuer Mathematik, 1998 (121)). In this paper we construct explicitly a Shimura surface of PEL-type, associated to a certain unitary group, whose connected components are isomorphic to Mumford's fake projective plane. We also give the canonical model, Shimura field and number of connected components of this Shimura surface. As a consequence of the construction we prove that the Mumford's fake projective plane is an arithmetic complex unit-ball quotient, and has the 7-th cyclotomic field as a field of definition. In Tohoku Math. J. 50 (1998), 537-555, Masanori Ishida and the author discussed two other possible fake projective planes. The author has also obtained the corresponding results as above for these fake projective planes and has written them in the above preprint, which is available in the web page: http://www.mpim-bonn.mpg.de/html/preprints/preprints.html


title: Arrangements and local systems

abstract: We use stratified Morse theory to construct a complex to compute the cohomology of the complement of a hyperplane arrangement with coefficients in a complex rank one local system. The linearization of this complex is shown to be the Orlik-Solomon algebra with the connection operator. Using this result, we establish the relationship between the cohomology support loci of the complement and the resonance varieties of the Orlik-Solomon algebra for any arrangement, and show that the latter are unions of subspace arrangements in general, resolving a conjecture of Falk. We also obtain lower bounds for the local system Betti numbers in terms of those of the Orlik-Solomon algebra, recovering a result of Libgober and Yuzvinsky. For certain local systems, our results provide new combinatorial upper bounds on the local system Betti numbers. These upper bounds enable us to prove that in non-resonant systems the cohomology is concentrated in the top dimension, without using resolution of singularities.


title: Finite Order Invariants of Legendrian, Transverse, and Framed Knots in Contact 3-manifolds

abstract: We show that for a big class of contact manifolds the groups of order $\leq n$ invariants (with values in an arbitrary Abelian group) of Legendrian, of transverse and of framed knots are canonically isomorphic. On the other hand for an arbitrary cooriented contact structure on $S^1\times S^2$ with the nonzero Euler class of the contact bundle we construct examples of Legendrian homotopic Legendrian knots $K_1$ and $K_2$ such that they realize isotopic framed knots but can be distinguished by finite order invariants of Legendrian knots in $S^1\times S^2$. We construct similar examples for a big class of contact manifolds $M$ such that $M$ is a total space of a locally trivial $S^1$-fibration over a nonorientable surface. We show that in some of these examples the complements of $K_1$ and of $K_2$ are overtwisted.


title: When is a Tensor Product of Circulant Graphs Circulant?

abstract: In this paper we determine partial answers to the question given in the title, thereby significantly extending results of Broere and Hattingh. We characterize completely those pairs of complete graphs whose tensor products are circulant. We establish that if the orders of these circulant graphs have greatest common divisor of 2, the product is circulant whenever both graphs are bipartite. We also establish that it is possible for one of the two graphs not to be circulant and the product still to be circulant.


title: Fusion rules for the free bosonic orbifold vertex operator algebra

abstract: Fusion rules among irreducible modules of the free bosonic orbifold vertex operator algebra are completely determined.


title: The trace on the K-theory of group C*-algebras

abstract: The canonical trace on the reduced C*-algebra of a discrete group gives rise to a homomorphism from the K-theory of this C^*-algebra to the real numbers. This paper addresses the range of this homomorphism. For torsion free groups, the Baum-Connes conjecture and Atiyah's L2-index theorem implies that the range consists of the integers. If the group is not torsion free, Baum and Connes conjecture that the trace takes values in the rational numbers. We give a direct and elementary proof that if G acts on a tree and admits a homomorphism \alpha to another group H whose restriction to every stabilizer group of a vertex is injective, then the range of the trace for G, tr_G(K(C_r^*G)) is contained in the range of the trace for H, tr_H(K(C_r^*H)). This follows from a general relative Fredholm module technique. Examples are in particular HNN-extensions of H where the stable letter acts by conjugation with an element of H, or amalgamated free products G=H*_U H of two copies of the same groups along a subgroup U.


title: Forgetable map and phantom maps

abstract: In this note, we attack a question posed ten years ago by Tsukiyama about the injectivity of the so- called Forgetable map. We show that we can insert the Forgetable map in an exact sequence and that the problem can be reduced to the computation of the sequence which turns out unexpectedly to be related to the phantom map problem and the famous Halperin conjecture in rational homotopy theory.


title: suq(2)-Invariant Harmonic Oscillator

abstract: We propose a q-deformation of the su(2)-invariant Schrodinger equation of a spinless particle in a central potential, which allows us not only to determine a deformed spectrum and the corresponding eigenstates, as in other approaches, but also to calculate the expectation values of some physically-relevant operators. Here we consider the case of the isotropic harmonic oscillator and of the quadrupole operator governing its interaction with an external field. We obtain the spectrum and wave functions both for q in R+ and generic q in S1, and study the effects of the q-value range and of the arbitrariness in the suq(2) Casimir operator choice. We then show that the quadrupole operator in l=0 states provides a good measure of the deformation influence on the wave functions and on the Hilbert space spanned by them.


title: Exactness, integrality, and log modifications

abstract: In this paper we discuss log blow-up's, introduced by Kazuya Kato, and define the concept of log modifications. Using this concept we prove that any morphism f: X ---> Y of locally noetherian fs log schemes with underlying structures of f and Y quasi-compact can be modified to an exact morphism, and moreover to an integral morphism. By a well-known fact on the underlying structure of an integral morphism this result can be considered as a weak log-version of flattening theorem by Raynaud and Gruson.


title: suq(2)-Invariant Schrodinger Equation of the Three-Dimensional Harmonic Oscillator


title: Diameter and Treewidth in Minor-Closed Graph Families

abstract: It is known that any planar graph with diameter D has treewidth O(D), and this fact has been used as the basis for several planar graph algorithms. We investigate the extent to which similar relations hold in other graph families. We show that treewidth is bounded by a function of the diameter in a minor-closed family, if and only if some apex graph does not belong to the family. In particular, the O(D) bound above can be extended to bounded-genus graphs. As a consequence, we extend several approximation algorithms and exact subgraph isomorphism algorithms from planar graphs to other graph families.


title: Infinite wedge and random partitions

abstract: Using techniques from integrable systems, we obtain a number of exact results for random partitions. In particular, we prove a simple formula for correlation functions of what we call the Schur measure on partitions (which is a far reaching generalization of the Plancherel measure, see math.CO/9905032) and also show that these correlations functions are tau-functions for the Toda lattice hierarchy. Also we give a new proof of the formula due to Bloch and the author, see alg-geom/9712009, for the so called n-point functions of the uniform measure on partitions and comment on the local structure of a typical partition.


title: Subgroups of monothetic groups

abstract: It is shown that every separable abelian topological group is isomorphic with a topological subgroup of a monothetic group (that is, a topological group with a single topological generator). In particular, every separable metrizable abelian group embeds into a metrizable monothetic group. More generally, we describe all topological groups that can be embedded into monothetic groups: they are exactly abelian topological groups of weight $\leq\frak c$ covered by countably many translations of every nonempty open subset.


title: Affine sl_p controls the representation theory of the symmetric group and related Hecke algebras

abstract: In this paper we prove theorems that describe how the representation theory of the affine Hecke algebra of type A and of related algebras such as the group algebra of the symmetric group are controlled by integrable highest weight representations of the characteristic zero affine Lie algebra \hat{sl}_l. In particular we parameterise the representations of these algebras by the nodes of the crystal graph, and give various Hecke theoretic descriptions of the edges. As a consequence we find for each prime p a basis of the integrable representations of \hat{sl}_l which shares many of the remarkable properties, such as positivity, of the global crystal basis/canonical basis of Lusztig and Kashiwara. This {\it $p$-canonical basis} is the usual one when p = 0, and the crystal of the p-canonical basis is always the usual one. The paper is self-contained, and our techniques are elementary (no perverse sheaves or algebraic geometry is invoked).


title: On a point symmetry analysis for generalized diffusion type equations

abstract: Generalized diffusion type equations are considered and point symmetry analysis is applied to them. The equations with extremal order point symmetry algebras are described. Some old geometrical results are rederived in connection with theory of these equation.


title: Projectivity via the dual K\"ahler cone - Huybrechts' criterion

abstract: We give an elementary proof of the following projectivity criterion of Huybrechts: a compact K\"ahler surface is projective if and only if the dual K\"ahler cone contains an inner integral point.


title: Bulk Burning Rate in Passive - Reactive Diffusion

abstract: We consider a passive scalar that is advected by a prescribed mean zero divergence-free velocity field, diffuses, and reacts according to a KPP-type nonlinear reaction. We introduce a quantity, the bulk burning rate, that makes both mathematical and physical sense in general situations and extends the often ill-defined notion of front speed. We establish rigorous lower bounds for the bulk burning rate that are linear in the amplitude of the advecting velocity for a large class of flows. These "percolating" flows are characterized by the presence of tubes of streamlines connecting distant regions of burned and unburned material and generalize shear flows. The bound contains geometric information on the velocity streamlines and degenerates when these oscillate on scales that are finer than the width of the laminar burning region. We give also examples of very different kind of flows, cellular flows with closed streamlines, and rigorously prove that these can produce only sub-linear enhancement of the bulk burning rate.

categories: math.AP chao-dyn nlin.CD physics.flu-dyn


title: Whittaker Patterns in the Geometry of Moduli Spaces of Bundles on Curves

abstract: Let G be a split connected reductive group over a finite field F_q, and N its maximal unipotent subgroup. V. Drinfeld has introduced a remarkable partial compactification of the moduli stack of N-bundles on a smooth projective curve X over F_q. In this paper we study Drinfeld's moduli space and a certain category of perverse sheaves on it. The definition of this category is motivated by the study of the Whittaker functions on the group G(K), where K=F_q((t)). We prove that our category is semi-simple, and that irreducible objects of this category are "clean", i.e., they are extenstions by 0 of local systems supported on the strata. As an application of these results, we obtain a purely geometric proof of the Casselman-Shalika formula for the Whittaker functions.


title: Level-One Highest Weight Representations of $U_q[\hat{gl(1|1)}]$ and Associated Vertex Operators

abstract: We study the level-one irreducible highest weight representations of $U_q[\hat{gl(1|1)}]$ and associated q-vertex operators. We obtain the exchange relations satisfied by the vertex operators. The characters and supercharacters associated with these irreducible representations are calculated.


title: Generalized cohomology for irreducible tensor fields of mixed Young symmetry type

abstract: We construct N-complexes of non completely antisymmetric irreducible tensor fields on $\mathbb R^D$ generalizing thereby the usual complex (N=2) of differential forms. These complexes arise naturally in the description of higher spin gauge fields. Although, for $N\geq 3$, the generalized cohomology of these N-complexes is non trivial, we prove a generalization of the Poincar\'e lemma. Several results which appeared in various contexts are shown to be particular cases of this generalized Poincar\'e lemma.


title: Noncommutative compact manifolds constructed from quivers

abstract: The moduli spaces of theta-semistable representations of a finite quiver can be packaged together to form a noncommutative compact manifold.


title: Strongly meager and strong measure zero sets

abstract: We show that the following are consistent with ZFC: 1. Strongly meager sets form an ideal with the same additivity as the ideal of meager sets. 2. There exists a strong measure zero set of size > d (dominating number).


title: Homotopy Algebras are Homotopy Algebras

abstract: We prove that strongly homotopy algebras (such as $A_\infty$, $C_\infty$, sh Lie, $B_\infty$, $G_\infty$,...) are homotopically invariant in the category of chain complexes. An important consequence is a rigorous proof that `strongly homotopy structures transfer over chain homotopy equivalences.'


title: Constructing Hyperbolic Manifolds

abstract: In this paper we show how to obtain representations of Coxeter groups acting on H^n to certain classical groups. We determine when the kernel of such a representation is torsion-free and thus the quotient a hyperbolic n-manifold.


title: Dual pairs and infinite dimensional Lie algebras

abstract: We construct and study various dual pairs between finite dimensional classical Lie groups and infinite dimensional Lie algebras in some Fock representations. The infinite dimensional Lie algebras here can be either a completed infinite rank affine Lie algebra, the $\winf$ algebra or its certain Lie subalgebras. We give a formulation in the framework of vertex algebras. We also formulate several conjectures and open problems.


title: Dimension of a minimal nilpotent orbit

abstract: We show that the dimension of the minimal nilpotent coadjoint orbit for a complex simple Lie algebra is equal to twice the dual Coxeter number minus two.


title: Equity Allocation and Portfolio Selection in Insurance: A simplified Portfolio Model

abstract: A quadratic discrete time probabilistic model, for optimal portfolio selection in (re-)insurance is studied. For positive values of underwriting levels, the expected value of the accumulated result is optimized, under constraints on its variance and on annual ROE's. Existence of a unique solution is proved and a Lagrangian formalism is given. An effective method for solving the Euler-Lagrange equations is developed. The approximate determination of the multipliers is discussed. This basic model is an important building block for more complete models.


title: The symplectic geometry of polygons in hyperbolic 3-space

abstract: We study the symplectic geometry of the moduli space of closed n-gons with fixed side-lengths in hyperbolic 3-space. We prove that these moduli spaces have a symplectic structure coming from Poisson Lie theory. We construct completely integrable systems on these moduli spaces by bending n-gons along their diagonals. The results of this paper are the analogues of the results of the first two authors for n-gon linkages in Euclidean 3-space in JDG 44. We conclude by proving by a deformation argument that the moduli spaces of n-gon linkages in hyperbolic 3-space and Euclidean 3-space with the same set of side-lengths are symplectomorphic.


title: Flag vectors of Eulerian partially ordered sets

abstract: The closed cone of flag vectors of Eulerian partially ordered sets is studied. It is completely determined up through rank seven. Half-Eulerian posets are defined. Certain limit posets of Billera and Hetyei are half-Eulerian; they give rise to extreme rays of the cone for Eulerian posets. A new family of linear inequalities valid for flag vectors of Eulerian posets is given.


title: The Hausdorff dimension of the boundary of the L\'evy dragon

abstract: A theoretical approach to computing the Hausdorff dimension of the topological boundary of attractors of iterated function systems is developed. The curve known as the L\'evy Dragon is then studied in detail and the Hausdorff dimension of its boundary is computed using the theory developed. The actual computation is a complicated procedure. It involves a great deal of combinatorial topology as well as determining the structure and certain eigenvalues of a $752 \times 752$ matrix. Perron-Frobenius theory plays an important role in analyzing this matrix.


title: Einstein-Weyl structures from Hyper-K\"ahler metrics with conformal Killing vectors

abstract: We consider four (real or complex) dimensional hyper-K\"ahler metrics with a conformal symmetry K. The three-dimensional space of orbits of K is shown to have an Einstein-Weyl structure which admits a shear-free geodesics congruence for which the twist is a constant multiple of the divergence. In this case the Einstein-Weyl equations reduce down to a single second order PDE for one function. The Lax representation, Lie point symmetries, hidden symmetries and the recursion operator associated with this PDE are found, and some group invariant solutions are considered.


title: Complex hyperbolic cone structures on the configuration spaces

abstract: The space of marked n distinct points on the complex projective line up to projective transformations will be called a configuration space in this paper. There are two families of complex hyperbolic structures on the configuration space constructed by Deligne-Mostow and Thurston. We first confirm that these families are the same. Then in view of the deformation theory for real hyperbolic cone 3-manifolds, we review the families for small n.


title: Alternating Quotients of Fuchsian Groups

abstract: It is shown that any finitely generated non-elementary Fuchsian group has among its homomorphic images all but finitely many of the alternating groups. This settles in the affirmative a conjecture of Graham Higman.


title: Chiral structure of modular invariants for subfactors

abstract: In this paper we further analyze modular invariants for subfactors, in particular the structure of the chiral induced systems of M-M morphisms. The relative braiding between the chiral systems restricts to a proper braiding on their ``ambichiral'' intersection, and we show that the ambichiral braiding is non-degenerate if the original braiding of the N-N morphisms is. Moreover, in this case the dimensions of the irreducible representations of the chiral fusion rule algebras are given by the chiral branching coefficients which describe the ambichiral contribution in the irreducible decomposition of alpha-induced sectors. We show that modular invariants come along naturally with several non-negative integer valued matrix representations of the original N-N Verlinde fusion rule algebra, and we completely determine their decomposition into its characters. Finally the theory is illustrated by various examples, including the treatment of all SU(2)_k modular invariants, some SU(3) conformal inclusions and the chiral conformal Ising model.

categories: math.OA hep-th math-ph math.MP math.QA math.RT


title: Higher dimensional hypercategories

abstract: We introduce higher dimensional hypergraphs, which is a generalization of Baez-Dolans's opetopic sets and Hermida-Makkai-Power's multigraphs. This is based on a simple combinatorial structure called shells and the formal composites of pasting diagrams based on the closure of open shells. We give two types of graphical representation of higher dimensional cells which show effectively the relationship of cells of different dimensions. Using the hypergraphs, we define strict hypercategories and illustrate its use by taking Lafont's interaction combinator as an example. We also give a definition of weak $\omega$-hypercategories and show that usual category is identified with a special kind of weak hypercategory as an illustration of arguments provided by our framework In the replacement of 9 Aug, an omission of an important condition in the definition of shells is corrected. We are preparing two papers which develop two themes roughly presented in this preprint: (1) Hiroyuki Miyoshi and Toru Tsujishita, Weak $\omega$-Categories as $\omega$-Hypergraphs, presented at CT99, International Category Theory Meeting Category Theory, July 1999, Coimbra, and (2) Akira Huguchi and Toru Tsujishita, Strict $n$-hypercategories, after completion of which this manuscript will be withdrawn.


title: Equivariant K-theory, wreath products, and Heisenberg algebra

abstract: Given a finite group G and a G-space X, we show that a direct sum $F_G (X) = \bigoplus_{n \geq 0}K_{G_n} (X^n) \bigotimes \C$ admits a natural graded Hopf algebra and $\lambda$-ring structure, where $G_n$ denotes the wreath product $G \sim S_n$. $F_G (X)$ is shown to be isomorphic to a certain supersymmetric product in terms of $K_G(X)\bigotimes \C$ as a graded algebra. We further prove that $F_G (X)$ is isomorphic to the Fock space of an infinite dimensional Heisenberg (super)algebra. As one of several applications, we compute the orbifold Euler characteristic $e(X^n, G_n)$.


title: Perverse sheaves on Grassmannians

abstract: We give a complete quiver description of the category of perverse sheaves on Hermitian symmetric spaces in types A and D, constructible with respect to the Schubert stratification. The calculation is microlocal, and uses the action of the Borel group to study the geometry of the conormal variety.


title: The transformation groups whose C^*-algebras are Fell algebras

abstract: Let (G,X) be a locally compact transformation group, in which G acts freely on X. We show that the associated transformation-group C^*-algebra is a Fell algebra if and only if X is a Cartan G-space.


title: Lagrangian construction of the $(gl_n, gl_m)$-duality

abstract: We give a geometric realization of the symmetric algebra of the tensor space $C^n \bigotimes C^m$ together with the action of the dual pair $(gl_n, gl_m)$ in terms of lagrangian cycles in the cotangent bundles of certain varieties. We establish geometrically the equivalence between the $(gl_n, gl_m)$ duality and Schur duality. We establish the connection between Springer's construction of (representations of) Weyl groups and Ginzburg's construction of (representations of) Lie algebras of type $A$.


title: Relative Gromov-Witten Invariants

abstract: We define relative Gromov-Witten invariants of a symplectic manifold relative to a codimension two symplectic submanifold. These invariants are the key ingredients in the symplectic sum formula of [IP4]. The main step is the construction of a compact space of `V-stable' maps. Simple special cases include the Hurwitz numbers for algebraic curves and the enumerative invariants of Caporaso and Harris.


title: Averaged shelling for quasicrystals

abstract: The shelling of crystals is concerned with counting the number of atoms on spherical shells of a given radius and a fixed centre. Its straight-forward generalization to quasicrystals, the so-called central shelling, leads to non-universal answers. As one way to cope with this situation, we consider shelling averages over all quasicrystal points. We express the averaged shelling numbers in terms of the autocorrelation coefficients and give explicit results for the usual suspects, both perfect and random.


title: Unipotent Jacobian Matrices and Univalent Maps

abstract: The Jacobian Conjecture would follow if it were known that real polynomial maps with a unipotent Jacobian matrix are injective. The conjecture that this is true even for $C^1$ maps is explored here. Some results known in the polynomial case are extended to the $C^1$ context, and some special cases are resolved.


title: A knot bounding a grope of class n is n/2-trivial

abstract: In this article it is proven that if a knot, K, bounds an imbedded grope of class n, then the knot is n/2-trivial in the sense of Gusarov and Stanford. That is, all type n/2 invariants vanish on K. We also give a simple way to construct all knots bounding a grope of a given class. It is further shown that this result is optimal in the sense that for any n there exist gropes which are not n/2+1- trivial.


title: Limit Theorems for Motions in a Flow with a Nonzero Drift

abstract: We establish diffusion and fractional Brownian motion approximations for motions in a Markovian Gaussian random field with a nonzero mean.


title: Equity Allocation and Portfolio Selection in Insurance

abstract: A discrete time probabilistic model, for optimal equity allocation and portfolio selection, is formulated so as to apply to (at least) reinsurance. In the context of a company with several portfolios (or subsidiaries), representing both liabilities and assets, it is proved that the model has solutions respecting constraints on ROE's, ruin probabilities and market shares currently in practical use. Solutions define global and optimal risk management strategies of the company. Mathematical existence results and tools, such as the inversion of the linear part of the Euler-Lagrange equations, developed in a preceding paper in the context of a simplified model are essential for the mathematical and numerical construction of solutions of the model.


title: A new definition of nonlinear statistics mean and variance

abstract: This note presents a new definition of nonlinear statistics mean and variance to simplify the nonlinear statistics computations. These concepts aim to provide a theoretical explanation of a novel nonlinear weighted residual methodology presented recently by the present author.


title: On imbedding of closed 2-dimensional disks into $R^2$

abstract: Let $X$ be a topological space, $U$ -- opened subset of $X$. We will say that point $x \in \partial U$ is {\it accessible} from $U$ if there exists continuous injective mapping $\phi : I \to \Cl D$ such that $\phi(1)=x$, $\phi([0,1)) \subset \Int U$. We proove the next main theorem. The following conditions are neccesary and suffficient for a compact subset $D$ of $R^2$ with a nonempty interior $\Int D$ to be homeomorphic to a closed 2-dimensional disk: 1) sets $\Int D$ and $R^2 \setminus D$ are connected; 2) any $x \in \partial D$ is accessible both from $\Int D$ and from $R^2 \setminus D$.


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

abstract: In our previous paper, we discussed the hyperbolization of the configuration space of n(> 4) marked points with weights in the projective line up to projective transformations. A variation of the weights induces a deformation. It was shown that this correspondence of the set of the weights to the Teichm\"uller space when n = 5 and to the Dehn filling space when n= 6 is locally one-to-one near the equal weight. In this paper, we establish its global injectivity.


title: Deformation Quantization of Lagrangian Fiber Bundles

abstract: Let (M, \om) be a symplectic manifold. A Lagrangian fiber bundle \pi : M -> B determines a completely integrable system on M. First integrals of this system are the pull-backs of functions on the base of the bundle. We show that for each Lagrangian fiber bundle \pi there exist star products on C^\infty(M)[[h]] which do not deform the pointwise multiplication on the subalgebra \pi^*(C^\infty (B)) [[h]]. The set of equivalence classes of such star products is in bijection with formal deformations of the symplectic structure \om for which \pi : M -> B remains Lagrangian taken modulo formal symplectomorphisms of M.


title: A Fredholm determinant formula for Toeplitz determinants

abstract: We prove a formula expressing a general n by n Toeplitz determinant as a Fredholm determinant of an operator 1-K acting on l_2({n,n+1,...}), where the kernel K admits an integral representation in terms of the symbol of the original Toeplitz matrix. The proof is based on the results of one of the authors, see math.RT/9907127, and a formula due to Gessel which expands any Toeplitz determinant into a series of Schur functions. We also consider 3 examples where the kernel involves the Gauss hypergeometric function and its degenerations.


title: Vertex representations via finite groups and the McKay correspondence

abstract: Given a finite group $\Gamma$ and a virtual character $\wt$ on it, we construct a Fock space and associated vertex operators in terms of representation ring of wreath products $\Gamma\sim S_n$. We recover the character tables of wreath products $\Gamma\sim S_n$ by vertex operator calculus. When $\Gamma$ is a finite subgroup of $SU_2$, our construction yields a group theoretic realization of the basic representations of the affine and toroidal Lie algebras of $ADE$ type, which can be regarded as a new form of McKay correspondence.


title: A new class of positive recurrent functions

abstract: Recently O. Sarig has introduced and explored the concept of positively recurrent functions. In this paper we construct a natural wide class of such functions and we showthat they have stronger ergodic properties than the general functions considered in Sarig's paper.


title: On certain lattices associated with generic division algebras

abstract: Let S_n denote the symmetric group on n letters. We consider the S_n-root lattice A_{n-1} = {(z1,...,zn) in Z^n | z1+...+zn = 0}, where S_n acts on Z^n by permuting the coordinates, and its tensor, symmetric, and exterior squares. For odd values of n, we show that the tensor square is equivalent, in the sense of Colliot-Thelene and Sansuc, to the exterior square. Consequently, the rationality problem for generic division algebras, for odd values of n, amounts to proving stable rationality of the multiplicative S_n-invariant field of the exterior square of A_{n-1}. Furthermore, confirming a conjecture of Le Bruyn, we show that n=2 and n=3 are the only cases where the tensor square of A_{n-1} is equivalent to a permutation S_n-lattice. In the course of the proof of this result, we construct subgroups H of S_n, for all n that are not prime, so that the algebra of multiplicative H-invariants of A_{n-1} has a non-trivial Picard group.


title: Integrable deformations of Hamiltonian systems and q-symmetries

abstract: The complete integrability of the hyperbolic Gaudin Hamiltonian and other related integrable systems is shown to be easily derived by taking into account their sl(2,R) coalgebra symmetry. By using the properties induced by such a coalgebra structure, it can be proven that the introduction of any quantum deformation of the sl(2,R) algebra will provide an integrable deformation for such systems. In particular, the Gaudin Hamiltonian arising from the non-standard quantum deformation of the sl(2,R) Poisson algebra is presented, including the explicit expressions for its integrals of motion. A completely integrable system of nonlinearly coupled oscillators derived from this deformation is also introduced.


title: Two-photon algebra deformations

abstract: In order to obtain a classification of all possible quantum deformations of the two-photon algebra $h_6$, we introduce its corresponding general Lie bialgebra, which is a coboundary one. Two non-standard quantum deformations of $h_6$, together with their associated quantum universal R-matrix, are presented; each of them contains either a quantum harmonic oscillator subalgebra or a quantum gl(2) subalgebra. One-boson representations for these quantum two-photon algebras are derived and translated into Fock--Bargmann realizations. In this way, a systematic study of `deformed' states of light in quantum optics can be developed.


title: Deformation Quantization of Kahler Manifolds

abstract: We present an explicit formula for the deformation quantization on K\"{a}hler manifolds.


title: Virtual Knot Groups

abstract: Virtual knots, defined by Kauffman, provide a natural generalization of classical knots. Most invariants of knots extend in a natural way to give invariants of virtual knots. In this paper we study the fundamental groups of virtual knots and observe several new and unexpected phenomena. In the classical setting, if the longitude of a knot is trivial in the knot group then the group is infinite cyclic. We show that for any classical knot group there is a virtual knot with that group and trivial longitude. It is well known that the second homology of a classical knot group is trivial. We provide counterexamples of this for virtual knots. For an arbitrary group G, we give necessary and sufficient conditions for the existence of a virtual knot group that maps onto G with specified behavior on the peripheral subgroup. These conditions simplify those that arise in the classical setting.


title: Quasi-shuffle products

abstract: Given a locally finite graded set A and a commutative, associative operation on A that adds degrees, we construct a commutative multiplication * on the set of noncommutative polynomials in A which we call a quasi-shuffle product; it can be viewed as a generalization of the shuffle product. The resulting commutative algebra can be given the structure of a Hopf algebra (_A_,*,Delta). In the case where A is the set of positive integers and the operation on A is addition, (_A_,*,Delta) is the Hopf algebra of quasi-symmetric functions. If rational coefficients are allowed, there is a Hopf algebra isomorphism exp from the shuffle Hopf algebra on A onto (_A_,*,Delta). We discuss the dual of (_A_,*,Delta), and define a deformation *_q of * that coincides with * when q = 1 and is isomorphic to the concatenation product when q is not a root of unity. Finally, we discuss various examples of this construction.


title: Semi-invariants of quivers for arbitrary dimension vectors

abstract: The representations of dimension vector $\alpha$ of the quiver Q can be parametrised by a vector space $R(Q,\alpha)$ on which an algebraic group $\Gl(\alpha)$ acts so that the set of orbits is bijective with the set of isomorphism classes of representations of the quiver. We describe the semi--invariant polynomial functions on this vector space in terms of the category of representations. More precisely, we associate to a suitable map between projective representations a semi-invariant polynomial function that describes when this map is inverted on the representation and we show that these semi-invariant polynomial functions form a spanning set of all semi-invariant polynomial functions in characteristic 0. If the quiver has no oriented cycles, we may replace consideration of inverting maps between projective representations by consideration of representations that are left perpendicular to some representation of dimension vector $\alpha$. These left perpendicular representations are just the cokernels of the maps between projective representations that we consider.


title: Quantum vertex representations via finite groups and the McKay correspondence

abstract: We establish a $q$-analog of our recent work on vertex representations and the McKay correspondence. For each finite group $\Gamma$ we construct a Fock space and associated vertex operators in terms of wreath products of $\Gamma\times \mathbb C^{\times}$ and the symmetric groups. An important special case is obtained when $\Gamma$ is a finite subgroup of $SU_2$, where our construction yields a group theoretic realization of the representations of the quantum affine and quantum toroidal algebras of $ADE$ type.


title: Sur les integrales de mouvement du systeme de sinus-Gordon sur reseau

abstract: Cet artice donne des formules explicites pour des densites d'integrales de mouvement du systeme de sinus-Gordon sur reseau.


title: Plucker Relations on Schur Functions

abstract: We present a set of algebraic relations among Schur functions which are a multi-time generalization of the ``discrete Hirota relations'' known to hold among the Schur functions of rectangular partitions. We prove the relations as an application of a technique for turning Plucker relations into statements about Schur functions and other objects with similar definitions as determinants. We also give a quantum analog of the relations which incorporates spectral parameters. Our proofs are mostly algebraic, but the relations have a clear combinatorial side, which we discuss.


title: Constructions of Smooth 4-Manifolds

abstract: We describe a collection of constructions which illustrate a panoply of ``exotic'' smooth 4-manifolds.


title: Nonsymplectic 4-Manifolds with One Basic Class

abstract: It is the purpose of this paper to construct families of examples of nonsymplectic 4-manifolds which (up to sign) have just one Seiberg-Witten basic class.


title: Symmetry groups of four-manifolds

abstract: If a (possibly finite) compact Lie group acts effectively, locally linearly, and homologically trivially on a closed, simply-connected four-manifold with second Betti number at least three, then it must be isomorphic to a subgroup of S^1 x S^1, and the action must have nonempty fixed-point set. Our results strengthen and complement recent work by Edmonds, Hambleton and Lee, and Wilczynski, among others. Our tools include representation theory, finite group theory, and Borel equivariant cohomology.