title: A note on generalized chromatic number and generalized girth

abstract: Erd\H{o}s proved that there are graphs with arbitrarily large girth and chromatic number. We study the extension of this for generalized chromatic numbers.


title: Characters of Representations of Quantum Groups of Type $A_n$

abstract: We introduce the notion of characters of comodules over coribbon Hopf algebras. The case of quantum groups of type $A_n$ is studied. We establish a characteristic equation for the quantum matrix and a q-analogue of Harish-Chandra- Itzykson-Zuber integral


title: Unitary Representations of Su_q(2) on the Plane for q in R+ or Generic q in S1

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


title: Logarithmic differential operators and logarithmic de Rham complexes relative to a free divisor

abstract: We prove a structure theorem for the differential operator in the 0-term of the ${\cal V}$-filtration with respect to a free divisor. Using this theorem, we give a formula for the logarithmic de Rham complex in terms of ${\cal V}_0$-modules. We also give a sufficient condition for perversity of the logarithmic de Rham complex.


title: Universal construction of W_{p,q} algebras

abstract: We present a direct construction of abstract generators for q-deformed W_N algebras. This procedure hinges upon a twisted trace formula for the elliptic algebra A_{q,p}(sl(N)_c) generalizing the previously known formulae for quantum groups.


title: Descente pour les n-champs (Descent for n-stacks)

abstract: We develop the theory of n-stacks (or more generally Segal n-stacks which are $\infty$-stacks such that the morphisms are invertible above degree n). This is done by systematically using the theory of closed model categories (cmc). Our main results are: a definition of n-stacks in terms of limits, which should be perfectly general for stacks of any type of objects; several other characterizations of n-stacks in terms of ``effectivity of descent data''; construction of the stack associated to an n-prestack; a strictification result saying that any ``weak'' n-stack is equivalent to a (strict) n-stack; and a descent result saying that the (n+1)-prestack of n-stacks (on a site) is an (n+1)-stack. As for other examples, we start from a ``left Quillen presheaf'' of cmc's and introduce the associated Segal 1-prestack. For this situation, we prove a general descent result, giving sufficient conditions for this prestack to be a stack. This applies to the case of complexes, saying how complexes of sheaves of $\Oo$-modules can be glued together via quasi-isomorphisms. This was the problem that originally motivated us.


title: Eigenvalues of conformally invariant operators on spheres

abstract: Spectrum of a certain class of first order conformally invariant operators on the sphere is explicitly computed. The class contains the (elliptic verions of) Rarita-Schwinger operator and its higher spin analogues.


title: Drinfeld twist for two-parametric deformation of gl(2) and sl(1/2)

abstract: Drinfeld twist is applied to the Lie algebra gl(2) so that a two-parametric deformation of it is obtained, which is identical to the Jordanian deformation of the gl(2) obtained by Aneva et al. The same twist element is applied to deform the Lie superalgebra sl(1/2), since the gl(2) is embedded into the sl(1/2). By making use of the FRT-formalism, we construct a deformation of the Lie supergroup $ SL(1/2). $


title: Line bundles on quantum spheres

abstract: The (left coalgebra) line bundle associated to the quantum Hopf fibration of any quantum two-sphere is shown to be a finitely generated projective module. The corresponding projector is constructed and its monopole charge is computed. It is shown that the Dirac $q$-monopole connection on any quantum two-sphere induces the Grassmannian connection built with this projector.


title: Spaces of polynomials with roots of bounded multiplicity

abstract: We describe an alternative approach to some results of Vassiliev on spaces of polynomials, by using the scanning method which was used by Segal in his investigation of spaces of rational functions. We explain how these two approaches are related by the Smale-Hirsch Principle or the h-Principle of Gromov. We obtain several generalizations, which may be of interest in their own right.


title: Representable bimodules over C*-algebras

abstract: Given two C*-algebras A and B, abstract A-B bimodules that can be isometrically represented as operator bimodules are characterised in terms of their norm. Various properties of such bimodules are given. Their theory is very similar to those of classical normed spaces.


title: On Einstein Manifolds of Positive Sectional Curvature

abstract: Let (M,g) be a compact oriented Einstein 4-manifold. If M has positive intersection form and g has non-negative sectional curvature, we show that, up to rescaling and isometry, (M,g) is CP2, equipped with its standard Fubini-Study metric.


title: On a new inverse spectral problem

abstract: The differential operators pencil recovery uniqueness theorem is proved in our article. Novelty of this result is not equation coefficient recovery, but boundary conditions coefficients recovery. We show that all conditions of the theorem are essential. We also give some interesting examples.


title: Von Neumann algebras and linear independence of translates

abstract: For x,y in R (where R denotes the real numbers) and f in L^2(R), define (x,y)f(t) = e^{2 pi i yt}f(t+x) and if L is a subset of R^2, define S(f,L) = {(x,y)f | (x,y) in L}. It has been conjectured that if f is not 0, then S(f,L) is linearly independent over C; one motivation for this problem comes from Gabor analysis. We shall prove that S(f,L) is linearly independent if f is nonzero and L is contained in a discrete subgroup of R^2, and as a byproduct we shall obtain some results on the group von Neumann algebra generated by the operators {(x,y) | (x,y) in L}. Also we shall prove these results for the obvious generalization to R^n.


title: Quantum generalized cohomology

abstract: We construct a ring structure on complex cobordism tensored with the rationals, which is related to the usual ring structure as quantum cohomology is related to ordinary cohomology. The resulting object defines a generalized two- dimensional topological field theory taking values in a category of spectra.


title: Schur Q-functions and a Kontsevich-Witten genus

abstract: The Virasoro operations in Witten's theory of two-dimensional topological gravity have a homotopy-theoretic interpretation as endomorphisms of an ordinary cohomology theory with coefficients in a localization of I. Schur's ring \Delta of Q-functions. The resulting theory has many of the features of a vertex operator algebra.


title: Contact structures on algebraic 5-dimensional manifolds

abstract: In this note we study contact structures on 5-dimensional manifolds. We give a complete answer under the assumption that the Abundance conjecture holds in dimension 5.


title: Symplectic multiple flag varieties of finite type

abstract: Problem: Given a reductive algebraic group G, find all k-tuples of parabolic subgroups (P_1,...,P_k) such that the product of flag varieties G/P_1 x ... x G/P_k has finitely many orbits under the diagonal action of G. In this case we call G/P_1 x ... x G/P_k a multiple flag variety of finite type. (If P_1 is a Borel subgroup, the partial product G/P_2 x ... x G/P_k is a spherical variety.) In this paper we solve this problem in the case of the symplectic group G = Sp(2n). We also give a complete enumeration of the orbits, and explicit representatives for them. (It is well known that for k=2 the orbits are essentially Schubert varieties.) Our main tool is the algebraic theory of quiver representations. Rather unexpectedly, it turns out that we can use the same techniques in the present case as we did for G = GL(n) in math.AG/9805067.


title: Analysis and Probability over Infinite Extensions of a Local Field

abstract: We consider an infinite extension $K$ of a local field of zero characteristic which is a union of an increasing sequence of finite extensions. $K$ is equipped with an inductive limit topology; its conjugate $\bar{K}$ is a completion of $K$ with respect to a topology given by certain explicitly written seminorms. We construct and study a Gaussian measure, a Fourier transform, a fractional differentiation operator and a cadlag Markov process on $\bar{K}$. If we deal with Galois extensions then all these objects are Galois-invariant.


title: Fractional Differentiation Operator over an Infinite Extension of a Local Field

abstract: We study a fractional differentiation operator for functions on the conjugate space to an infinite extension of a local field of zero characteristic which is a union of an increasing sequence of finite extensions. In particular, a representation in the form of a hypersingular integral operator is obtained. It is also shown that the corresponding diffusion measure is not absolutely continuous with respect to the Gaussian measure.


title: Nodal sets for the groundstate of the Schroedinger operator with zero magnetic field in a non simply connected domain

abstract: We investigate nodal sets of magnetic Schroedinger operators with zero magnetic field, acting on a non simply connected domain in $\r^2$. For the case of circulation 1/2 of the magnetic vector potential around each hole in the region, we obtain a charactisation of the nodal set, and use this to obtain bounds on the multiplicity of the groundstate. For the case of one hole and a fixed electric potential, we show that the first eigenvalue takes its highest value for circulation 1/2.


title: Cohomologies and deformations of right-symmetric algebras

abstract: An algebra $A$ with identity $(a\circ b)\circ c-a\circ(b\circ c)=(a\circ c)\circ b-a\circ(c\circ b),$ is called right-symmetric. Cohomology and deformation theory for right-symmetric algebras are developed. Cohomologies of $gl_n$ and half-Witt algebras $W_n^{rsym}, p=0,$ $W_n^{rsym}({\bf m}), p>0,$ are calculated. In particular, one right-symmetric central extension of $W_1^{rsym}$ is constructed.


title: On the existence of plane curves with prescribed multiple points

abstract: We address the problem of determining the degree a plane curve must have in order to pass with multiplicity m through r points in general position. A conjecture of Nagata states that one must have d > m \sqrt{r}. We prove the inequalities d \geq m(r-1)\prod_{i=2}^{r-1}(1-i/(i^2+r-1)) and d > m (\sqrt{r-1} - \pi/8).


title: Regular minimal nets on surfaces of constant negative curvature

abstract: An embedded cubic graph consisting of segments of geodesics such that the angles at any vertex are equal to $2\pi/3$ is a closed local minimal net. This net is regular if all segments of geodesics are equal. The problem of classification of closed local minimal nets on surfaces of constant negative curvature has been formulated in the context of the famous Plateau problem in the one-dimensional case. In this paper we prove an asymptotic for $\sharp (W^r(g))$ as $g\to +\infty$ where $g$ is genus and $W^r(g)$ is the set of the regular single-face minimal nets on surfaces of curvature -1. Then we construct some examples of $f$-face regular nets, $f>1$.


title: Another involution principle-free bijective proof of Stanley's hook-content formula

abstract: Another bijective proof of Stanley's hook-content formula for the generating function for semistandard tableaux of a given shape is given that does not involve the involution principle of Garsia and Milne. It is the result of a merge of the modified jeu de taquin idea from the author's previous bijective proof (``An involution principle-free bijective proof of Stanley's hook-content formula", Discrete Math. Theoret. Computer Science, to appear) and the Novelli-Pak-Stoyanovskii bijection (Discrete Math. Theoret. Computer Science 1 (1997), 53-67) for the hook formula for standard Young tableaux of a given shape. This new algorithm can also be used as an algorithm for the random generation of tableaux of a given shape with bounded entries. An appropriate deformation of this algorithm gives an algorithm for the random generation of plane partitions inside a given box.


title: On Generalized $h$--Vectors of Rational Polytopes with a Symmetry of Prime Order

abstract: We prove tight lower bounds for the coefficients of the generalized $h$-vector of a rational polytope with a symmetry of prime order that is fixed--point--free on the boundary. These bounds generalize results of R.~Stanley and R.~Adin for the $h$--vector of a simplicial rational polytope with a central symmetry or a symmetry of prime order respectively.


title: The mirror formula for quintic threefolds

abstract: Our earlier proof of mirror formulas for genus 0 Gromov -- Witten invariants of Fano and Calabi -- Yau toric complete intersections is illustrated in the example of quintic 3-folds.


title: Ideals in Triangulated Categories: Phantoms, Ghosts and Skeleta

abstract: We begin by showing that in a triangulated category, specifying a projective class is equivalent to specifying an ideal I of morphisms with certain properties, and that if I has these properties, then so does each of its powers. We show how a projective class leads to an Adams spectral sequence and give some results on the convergence and collapsing of this spectral sequence. We use this to study various ideals. In the stable homotopy category we examine phantom maps, skeletal phantom maps, superphantom maps, and ghosts. (A ghost is a map which induces the zero map of homotopy groups.) We show that ghosts lead to a stable analogue of the Lusternik-Schnirelmann category of a space, and we calculate this stable analogue for low-dimensional real projective spaces. We also give a relation between ghosts and the Hopf and Kervaire invariant problems. In the case of A-infinity modules over an A-infinity ring spectrum, the ghost spectral sequence is a universal coefficient spectral sequence. From the phantom projective class we derive a generalized Milnor sequence for filtered diagrams of finite spectra, and from this it follows that the group of phantom maps from X to Y can always be described as a lim^1 group. The last two sections focus on algebraic examples. In the derived category of an abelian category we study the ideal of maps inducing the zero map of homology groups and find a natural setting for a result of Kelly on the vanishing of composites of such maps. We also explain how pure exact sequences relate to phantom maps in the derived category of a ring and give an example showing that phantoms can compose non-trivially.


title: Coherent states and geometry

abstract: The coherent states are viewed as a powerful tool in differential geometry. It is shown that some objects in differential geometry can be expressed using quantities which appear in the construction of the coherent states. The following subjects are discussed via the coherent states: the geodesics, the conjugate locus and the cut locus; the divisors; the Calabi's diastasis and its domain of definition; the Euler-Poincar\'e characteristic of the manifold, the number of Borel-Morse cells, Kodaira embeding theorem....


title: Coherent states, line bundles and divisors

abstract: For homogeneous simply connected Hodge manifolds it is proved that the set of coherent vectors orthogonal to a given one is the divisor responsible for the homogeneous holomorphic line bundle of the coherent vectors. In particular, for naturally reductive spaces, the divisor is the cut locus.


title: A Heterosexual Mehler Formula for the Straight Hermite Polynomials (A La Foata)

abstract: The celebrated Foata combinatorial model for Hermite polynomials, and his seminal and beautiful proof of the Mehler formula, are straightened to deal with two sexes rather than one, with the exclusion of same-sex relationships (both marital and non-marital).


title: $F_q$-Linear Calculus over Function Fields

abstract: We define analogues of higher derivatives for $F_q$-linear functions over the field of formal Laurent series with coefficients in $F_q$. This results in a formula for Taylor coefficients of a $F_q$-linear holomorphic function, a definition of classes of $F_q$-linear smooth functions which are characterized in terms of coefficients of their Fourier-Carlitz expansions. A Volkenborn-type integration theory for $F_q$-linear functions is developed; in particular, an integral representation of the Carlitz logarithm is obtained.


title: Some minimal degree Vassiliev invariants not realizable by the Homfly and Kauffman polynomial

abstract: We collect some examples showing that some Vassiliev invariants are not obtainable from the HOMFLY and Kauffman polynomials in the real sense, namely, that they distinguish knots not distinguishable by the HOMFLY and/or Kauffman polynomial.


title: Some finiteness properties of regular vertex operator algebras

abstract: We give a natural extension of the notion of the contragredient module for a vertex operator algebra. By using this extension we prove that for regular vertex operator algebras, Zhu's $C_{2}$-finiteness condition holds, fusion rules are finite and the vertex operator algebras themselves are finitely generated.


title: Geometry and curvature of diffeomorphism groups with $H^1$ metric and mean hydrodynamics

abstract: Recently, Holm, Marsden, and Ratiu [1998] have derived a new model for the mean motion of an ideal fluid in Euclidean space given by the equation $\dot{V}(t) + \nabla_{U(t)} V(t) - \alpha^2 [\nabla U(t)]^t \cdot \triangle U(t) = -\text{grad} p(t)$ where $\text{div} U=0$, and $V = (1- \alpha^2 \triangle)U$. In this model, the momentum $V$ is transported by the velocity $U$, with the effect that nonlinear interaction between modes corresponding to length scales smaller than $\alpha$ is negligible. We generalize this equation to the setting of an $n$ dimensional compact Riemannian manifold. The resulting equation is the Euler-Poincar\'{e} equation associated with the geodesic flow of the $H^1$ right invariant metric on ${\mathcal D}^s_\mu$, the group of volume preserving Hilbert diffeomorphisms of class $H^s$. We prove that the geodesic spray is continuously differentiable from $T{\mathcal D}_\mu^s(M)$ into $TT{\mathcal D}_\mu^s(M)$ so that a standard Picard iteration argument proves existence and uniqueness on a finite time interval. Our goal in this paper is to establish the foundations for Lagrangian stability analysis following Arnold [1966]. To do so, we use submanifold geometry, and prove that the weak curvature tensor of the right invariant $H^1$ metric on ${\mathcal D}^s_\mu$ is a bounded trilinear map in the $H^s$ topology, from which it follows that solutions to Jacobi's equation exist. Using such solutions, we are able to study the infinitesimal stability behavior of geodesics.


title: Recognizing Schubert cells

abstract: This paper focuses on the properties of Schubert cells as quasi-projective subvarieties of a generalized flag variety. More specifically, we investigate the problem of distinguishing between different Schubert cells using vanishing patterns of generalized Plucker coordinates.


title: Multisymplectic geometry, variational integrators, and nonlinear PDEs

abstract: This paper presents a geometric-variational approach to continuous and discrete mechanics and field theories. Using multisymplectic geometry, we show that the existence of the fundamental geometric structures as well as their preservation along solutions can be obtained directly from the variational principle. In particular, we prove that a unique multisymplectic structure is obtained by taking the derivative of an action function, and use this structure to prove covariant generalizations of conservation of symplecticity and Noether's theorem. Natural discretization schemes for PDEs, which have these important preservation properties, then follow by choosing a discrete action functional. In the case of mechanics, we recover the variational symplectic integrators of Veselov type, while for PDEs we obtain covariant spacetime integrators which conserve the corresponding discrete multisymplectic form as well as the discrete momentum mappings corresponding to symmetries. We show that the usual notion of symplecticity along an infinite-dimensional space of fields can be naturally obtained by making a spacetime split. All of the aspects of our method are demonstrated with a nonlinear sine-Gordon equation, including computational results and a comparison with other discretization schemes.

categories: math.DG math-ph math.DS math.MP math.NA math.SG


title: Eulogy for Andrew Wiles

abstract: The text of an oration to present Prof Andrew Wiles for the degree of Doctor of Science, Honoris Causa, at the University of Warwick


title: Ample vector bundles with sections vanishing on special varieties

abstract: Let E be an ample vector bundle of rank r on a complex projective manifold X such that there exists a section $s \in \Gamma(\cal E)$ whose zero locus Z = (s = 0) is a smooth submanifold of the expected dimension dim X - r: = n -r. Assume that Z is not minimal; we investigate the hypothesis under which the extremal contractions of Z can be lifted to X. Finally we study in detail the cases in which Z is a scroll, a quadric bundle or a del Pezzo fibration.


title: Projective generalizations of Lelieuvre's formula

abstract: Generalizations of the classical affine Lelieuvre formula to surfaces in projective three-dimensional space and to hypersurfaces in multi- dimensional projective space are given. A discrete version of the projective Lelieuvre formula is presented too.


title: Metrics on states from actions of compact groups

abstract: Let a compact Lie group act ergodically on a unital $C^*$-algebra $A$. We consider several ways of using this structure to define metrics on the state space of $A$. These ways involve length functions, norms on the Lie algebra, and Dirac operators. The main thrust is to verify that the corresponding metric topologies on the state space agree with the weak-$*$ topology.


title: Weighted Norm Estimates and Representation Formulas for Rough Singular Integrals

abstract: Weighted norm estimates and representation formulas are proved for non-homogeneous singular integrals with no regularity condition on the kernel and only an L log L integrability condition. The representation formulas involve averages over a star-shaped set naturally associated with the kernel. The proof of the norm estimates is based on the representation formulas, some new variations of the Hardy-Littlewood maximal function, and weighted Littlewood-Paley theory.


title: Multisymplectic geometry, covariant Hamiltonians, and water waves

abstract: This paper concerns the development and application of the multisymplectic Lagrangian and Hamiltonian formalism for nonlinear partial differential equations. In this theory, solutions of a PDE are sections of a fiber bundle $Y$ over a base manifold $X$ of dimension $n$$+$1, typically taken to be spacetime. Given a connection on $Y$, a covariant Hamiltonian density ${\mathcal H}$ is then intrinsically defined on the primary constraint manifold $P_{\mathcal L}$, the image of the multisymplectic version of the Legendre transformation. One views $P_{\mathcal L}$ as a subbundle of $J^1(Y)^\star$, the affine dual of $J^1(Y)$, the first jet bundle of $Y$. A canonical multisymplectic ($n$$+$2)-form $\Omega_{\mathcal H}$ is then defined, from which we obtain a multisymplectic Hamiltonian system of differential equations that is equivalent to both the original PDE as well as the Euler-Lagrange equations of the corresponding Lagrangian. We show that the $n$$+$1 2-forms $\omega^{(\mu)}$ defined by Bridges [1997] are a particular coordinate representation for a single multisymplectic ($n$$+$2)-form, and in the presence of symmetries, can be assembled into $\Omega_{\mathcal H}$. A generalized Hamiltonian Noether theory is then constructed which recovers the vanishing of the divergence of the vector of $n$$+$1 distinct momentum mappings defined in Bridges [1997] and, when applied to water waves, recovers Whitham's conservation of wave action. We also show the utility of this theory in the study of periodic pattern formation and wave instability.


title: On conformal invariance of isotropic geodesics

abstract: We consider real isotropic geodesics on manifolds endowed with a pseudoconformal structure and their applications to the theory of lightlike hypersurfaces on such manifolds, the geometry of four-dimensional conformal structures of Lorentzian type, and a classification of the Einstein spaces.


title: On the asphericity of a symplectic M3 x S1

abstract: An interesting question in symplectic topology, which was posed by C. H. Taubes, concerns the topology of closed (i.e. compact and without boundary) connected oriented three dimensional manifolds whose product with a circle admits a symplectic structure. The only known examples of such manifolds are those which fiber over a circle. Taubes asked whether these examples are the only examples of such manifolds. An affirmative answer to Taubes' question would have the following consequence: any such manifold either is diffeomorphic to the product of a two-sphere with a circle or is irreducible and aspherical. In this paper, we prove that this implication holds up to connect sum with a manifold which admits no proper covering spaces with finite index. It is pointed out that Thurston's geometrization conjecture and known results in the theory of three dimensional manifolds imply that such a manifold is a three-dimensional sphere. Hence, modulo the present conjectural picture of three-dimensional manifolds, we have shown that the stated consequence of an affirmative answer to Taubes' question holds.


title: Orthonormal Compactly Supported Wavelets with Optimal Sobolev Regularity

abstract: Numerical optimization is used to construct new orthonormal compactly supported wavelets with Sobolev regularity exponent as high as possible among those mother wavelets with a fixed support length and a fixed number of vanishing moments. The increased regularity is obtained by optimizing the locations of the roots the scaling filter has on the interval (pi/2,\pi). The results improve those obtained by I. Daubechies [Comm. Pure Appl. Math. 41 (1988), 909-996], H. Volkmer [SIAM J. Math. Anal. 26 (1995), 1075-1087], and P. G. Lemarie-Rieusset and E. Zahrouni [Appl. Comput. Harmon. Anal. 5 (1998), 92-105].


title: Persistence of invariant manifolds for nonlinear PDEs

abstract: We prove that under certain stability and smoothing properties of the semi-groups generated by the partial differential equations that we consider, manifolds left invariant by these flows persist under $C^1$ perturbation. In particular, we extend well known finite-dimensional results to the setting of an infinite-dimensional Hilbert manifold with a semi-group that leaves a submanifold invariant. We then study the persistence of global unstable manifolds of hyperbolic fixed-points, and as an application consider the two-dimensional Navier-Stokes equation under a fully discrete approximation. Finally, we apply our theory to the persistence of inertial manifolds for those PDEs which possess them. te


title: Quantum Symmetry Groups of Finite Spaces

abstract: We determine the quantum automorphism groups of finite spaces and find they are all compact quantum groups in the sense of Woronowicz. This solves a problem of Connes for finite spaces.


title: Rieffel Type Discrete Deformation of Finite Quantum Groups

abstract: We introduce a discrete deformation of Rieffel type for finite (quantum) groups. Using this, we give a non-trivial example of a finite quantum group of order 18. We also give a deformation of finite groups of Lie type by using their maximal abelian subgroups.


title: Ergodic Actions of Universal Quantum Groups on Operator Algebras

abstract: We construct ergodic actions of compact quantum groups on C^*-algebras and von Neumann algebras, and exhibit phenomena of such actions that are of a different nature from ergodic actions of compact Lie groups. In particular, we construct: (1). ergodic actions of the compact quantum groups $A_u(Q)$ on the Powers factors; (2). ergodic actions of the compact quantum groups $A_u(n)$ on the hyperfinite II_1 factor; (3). ergodic actions of the compact quantum groups $A_u(Q)$ on the Cuntz algebras; (4). ergodic actions of general compact quantum groups on their homogeneous spaces and an example of a non-homogeneous classical space that nevertheless admits an ergodic action of a compact quantum group.


title: Quantum ax + b Group as Quantum Automorphism Group of k[x]

abstract: By introducing a result that guarantees a given bialgebra to be a Hopf algebra under a natural condition, we show that the quantum automorphism group of the algebra k[x] of polynomials over a field k (of any characteristic) is the universal quantum a x + b group, generalizing the fact that the automorphism group of k[x] is the a x + b group. The q-deformation of the a x + b group is then seen as one among a certain family ${\mathcal A}_{q, n}$ of quantum subgroups of this universal quantum group.


title: Structure and Isomorphism Classification of Compact Quantum Groups A_u(Q) and B_u(Q)

abstract: We classify the compact quantum groups $A_u(Q)$ (resp. $B_u(Q)$) up to isomorphism when $Q>0$ (resp. when $Q \bar{Q} \in {\mathbb R} I_n$). We show that the general $A_u(Q)$'s and $B_u(Q)$'s for arbitrary $Q$ have explicit decompositions into free products of these special $A_u(Q)$'s and $B_u(Q)$'s.


title: Lipschitz algebras and derivations II: exterior differentiation

abstract: Basic aspects of differential geometry can be extended to various non-classical settings: Lipschitz manifolds, rectifiable sets, sub-Riemannian manifolds, Banach manifolds, Weiner space, etc. Although the constructions differ, in each of these cases one can define a module of measurable 1-forms and a first-order exterior derivative. We give a general construction which applies to any metric space equipped with a sigma-finite measure and produces the desired result in all of the above cases. It also applies to an important class of Dirichlet spaces, where, however, the known first-order differential calculus in general differs from ours (although the two are related).


title: Classification of Differential Calculi on U_q(b+), Classical Limits, and Duality

abstract: We give a complete classification of bicovariant first order differential calculi on the quantum enveloping algebra U_q(b+) which we view as the quantum function algebra C_q(B+). Here, b+ is the Borel subalgebra of sl_2. We do the same in the classical limit q->1 and obtain a one-to-one correspondence in the finite dimensional case. It turns out that the classification is essentially given by finite subsets of the positive integers. We proceed to investigate the classical limit from the dual point of view, i.e. with ``function algebra'' U(b+) and ``enveloping algebra'' C(B+). In this case there are many more differential calculi than coming from the q-deformed setting. As an application, we give the natural intrinsic 4-dimensional calculus of kappa-Minkowski space and the associated formal integral.


title: Finite dimensional approximations to Wiener measure and path integral formulas on manifolds

abstract: Certain natural geometric approximation schemes are developed for Wiener measure on a compact Riemannian manifold. These approximations closely mimic the informal path integral formulas used in the physics literature for representing the heat semi-group on Riemannian manifolds. The path space is approximated by finite dimensional manifolds consisting of piecewise geodesic paths adapted to partitions $P$ of $[0,1]$. The finite dimensional manifolds of piecewise geodesics carry both an $H^{1}$ and a $L^{2}$ type Riemannian structures $G^i_P$. It is proved that as the mesh of the partition tends to $0$, $$ 1/Z_P^i e^{- 1/2 E(\sigma)} Vol_{G^i_P}(\sigma) \to \rho_i(\sigma)\nu(\sigma) $$ where $E(\sigma )$ is the energy of the piecewise geodesic path $\sigma$, and for $i=0$ and $1$, $Z_P^i$ is a ``normalization'' constant, $Vol_{G^i_P}$ is the Riemannian volume form relative $G^i_P$, and $\nu$ is Wiener measure on paths on $M$. Here $\rho_1 = 1$ and $$ \rho_0 (\sigma) = \exp( -1/6 \int_0^1 Scal(\sigma(s))ds ) $$ where $Scal$ is the scalar curvature of $M$. These results are also shown to imply the well know integration by parts formula for the Wiener measure.


title: Non-Commutative Chern Characters of Compact Quantum Groups

abstract: In this paper we compute the K-theory (algebraic and topological) and entire periodic cyclic homology for compact quantum groups, define Chern characters between them and show that the Chern characters in both topological and algebraic cases are isomorphisms modulo torsion. The case of compact Lie group C*-algebras was treated in  Non-Commutative Chern characters of compact Lie groups C*-algebras, 0257 , a revised version of which was accepted for publication in K-Theory.


title: Maps and twists relating $U(sl(2))$ and the nonstandard $U_{h}(sl(2))$: unified construction

abstract: A general construction is given for a class of invertible maps between the classical $U(sl(2))$ and the Jordanian $U_{h}(sl(2))$ algebras. Different maps are directly useful in different contexts. Similarity trasformations connecting them, in so far as they can be explicitly constructed, enable us to translate results obtained in terms of one to the other cases. Here the role of the maps is studied in the context of construction of twist operators between the cocommutative and noncocommutative coproducts of the $U(sl(2))$ and $U_{h}(sl(2))$ algebras respectively. It is shown that a particular map called the `minimal twist map' implements the simplest twist given directly by the factorized form of the ${\cal R}_{h}$-matrix of Ballesteros-Herranz. For other maps the twist has an additional factor obtainable in terms of the similarity transformation relating the map in question to the minimal one. The series in powers of $h$ for the operator performing this transformation may be obtained up to some desired order, relatively easily. An explicit example is given for one particularly interesting case. Similarly the classical and the Jordanian antipode maps may be interrelated by a similarity transformation. For the `minimal twist map' the transforming operator is determined in a closed form.


title: Non-Commutative Chern Characters of Compact Lie Group C*-Algebras

abstract: In this paper we compute the K-theory (algebraic and topological) and entire periodic cyclic homology of compact Lie group C*-algebras, define Chern characters between them and show that the Chern characters in both topological and algebraic cases are isomorphisms.


title: Lower Bounds for the Number of Smooth Values of a Polynomial

abstract: We investigate the problem of showing that the values of a given polynomial are smooth (i.e., have no large prime factors) a positive proportion of the time. Although some results exist that bound the number of smooth values of a polynomial from above, a corresponding lower bound of the correct order of magnitude has hitherto been established only in a few special cases. The purpose of this paper is to provide such a lower bound for an arbitrary polynomial. Various generalizations to subsets of the set of values taken by a polynomial are also obtained.


title: Pseudo vector bundles and quasifibrations

abstract: We prove a topological result concerning the kernel of a morphism d : E --> F of holomorphic vector bundles over a complex analytic space. As a consequence, we show that the projectivization P(ker d) is a quasifibration up to some dimension. We give an application to the Abel-Jacobi map of a Riemann surface, and to the space of rational curves in the symmetric product of a Riemann surface.


title: The Least Prime Primitive Root and the Shifted Sieve

abstract: We derive, for all prime moduli p except those in a very thin set, an upper bound for the least prime primitive root (mod p) of order of magnitude a constant power of log p. The improvement over previous results, where the upper bound was log p to an exponent tending to infinity with p, lies in the use of the linear sieve (a particular version called the shifted sieve) rather than Brun's sieve. The same methods allow us to rederive a conditional result of Shoup on the least prime primitive root (mod p) for all prime moduli p, assuming the generalized Riemann hypothesis. We also extend both results to composite moduli q, where the analogue of a primitive root is an element of maximal multiplicative order (mod q).


title: Uniform Bounds for the Least Almost-Prime Primitive Root

abstract: We investigate, using the weighted linear sieve, the distribution of almost-primes among the residue classes (mod p) that generate the multiplicative group of reduced residue classes. We are concerned with finding an upper bound for the least prime or almost-prime primitive root (mod p) that holds uniformly for all p, analogous to Linnik's Theorem on a uniform upper bound for the least prime in a single arithmetic progression (mod p).


title: An Extension of the Character Ring of sl(3) and Its Quantisation

abstract: We construct a commutative ring with identity which extends the ring of characters of finite dimensional representations of sl(3). It is generated by characters with values in the group ring $Z[\tilde{W}]$ of the extended affine Weyl group of $\hat{sl}(3)_k$ at $k\not \in Q$. The `quantised' version at rational level $k+3=3/p$ realises the fusion rules of a WZW conformal field theory based on admissible representations of $\hat{sl}(3)_k$.


title: Extremal Approximately Convex Functions and Estimating the Size of Convex Hulls

abstract: A real valued function $f$ defined on a convex $K$ is anemconvex function iff it satisfies $$ f((x+y)/2) \le (f(x)+f(y))/2 + 1. $$ A thorough study of approximately convex functions is made. The principal results are a sharp universal upper bound for lower semi-continuous approximately convex functions that vanish on the vertices of a simplex and an explicit description of the unique largest bounded approximately convex function~$E$ vanishing on the vertices of a simplex. A set $A$ in a normed space is an approximately convex set iff for all $a,b\in A$ the distance of the midpoint $(a+b)/2$ to $A$ is $\le 1$. The bounds on approximately convex functions are used to show that in $\R^n$ with the Euclidean norm, for any approximately convex set $A$, any point $z$ of the convex hull of $A$ is at a distance of at most $[\log_2(n-1)]+1+(n-1)/2^{[\log_2(n-1)]}$ from $A$. Examples are given to show this is the sharp bound. Bounds for general norms on $R^n$ are also given.


title: Farmer Ted Goes Natural

abstract: A traditional "Farmer Ted" calculus problem is to minimize the perimeter of a rectangular chicken coop given the area N, so that as little as possible will be spent on the fencing. But what if N is an integer, and we are only allowed to consider rectangles with integer side lengths? Often it will be more cost-effective to build a coop with area smaller than N, where the measure of cost-effectiveness is the ratio of the area to the perimeter. Those numbers N that are the areas of rectangles that are more cost-effective than any smaller rectangle are dubbed "almost-squares", in deference to our intuition that such numbers ought to be the product of two nearly equal factors. This paper investigates the characterization and distribution of the almost-squares. It is shown that almost-squares can be equivalently described in a surprisingly elegant way, and that computing whether a number is an almost-square and computing the least almost-square not exceeding N can be done surprisingly efficiently (much faster than factoring integers, for instance). Several bad jokes are included.


title: Counting curves which move with threefolds

abstract: Let X be a (possibly nodal) K-trivial threefold moving in a fixed ambient space P. Suppose X contains a continuous family of curves, all of whose members satisfy certain unobstructedness conditions in P. A formula is given for computing the corresponding virtual number of curves, that is, the number of curves on a generic deformation of X "contributed by" the continuous family on X.


title: Jeffrey-Kirwan-Witten Localization Formula for Reductions at Regular Co-adjoint Orbits

abstract: For Marsden-Weinstein reductions at the point 0 in the vector space dual to the Lie algebra, the well-known Jeffrey-Kirwan-Witten localization formula was proven and lastly modified by M. Vergne. We prove in this paper the same kind formula for the reductions at regular coadjoint orbits by using the universal orbital formula of characters.


title: Certain generating subspaces for vertex operator algebras

abstract: We study minimal generating subspaces of "weak PBW type" for vertex operator algebras that satisfy a certain condition on the grading, and we develop a procedure for finding such subspaces. As applications, we derive some results on generalized modules and produce a minimal generating space of weak PBW type for the vertex operator algebra $V_L$ associated with any positive-definite even lattice $L$.


title: Modules Whose Small Submodules Have Krull Dimension

abstract: The main aim of this paper is to show that an AB5*-module whose small submodules have Krull dimension has a radical having Krull dimension. The proof uses the notion of dual Goldie dimension.


title: On Semilocal Modules and Rings

abstract: It is well-known that a ring R is semiperfect if and only if R as a left (or as a right) R-module is a supplemented module. Considering weak supplements instead of supplements we show that weakly supplemented modules M are semilocal (i.e., M/Rad(M) is semisimple) and that R is a semilocal ring if and only if R as a left (or as a right) R-module is weakly supplemented. In this context the notion of finite hollow dimension (or finite dual Goldie dimension) of modules is of interest and yields a natural interpretation of the Camps-Dicks characterization of semilocal rings. Finitely generated modules are weakly supplemented if and only if they have finite hollow dimension (or are semilocal).


title: Dominions in finitely generated nilpotent groups

abstract: In the first part, we prove that the dominion (in the sense of Isbell) of a subgroup of a finitely generated nilpotent group is trivial in the category of all nilpotent groups. In the second part, we show that the dominion of a subgroup of a finitely generated nilpotent group of class two is trivial in the category of all metabelian nilpotent groups.


title: A generalized argument for dominions in varieties of groups

abstract: An argument used to show that certain varieties of nilpotent groups have instances of nontrivial dominions is considered, and generalized. The same is done with the argument used to show that there are nontrivial dominions in the variety of metabelian groups, to suggest how this general technique may be used.


title: Dominions in the variety of metabelian groups

abstract: This paper has been withdrawn. The results are now part of math.GR/9804072.


title: Nonsurjective epimorphisms in decomposable varieties of groups

abstract: A full characterization of when a subgroup $H$ of a group $G$ in a varietal product ${\cal NQ}$ is epimorphically embedded in $G$ (in the variety ${\cal NQ}$) is given. From this, a result of S.~McKay is derived, which states that if ${\cal NQ}$ has instances of nonsurjective epimorphisms, then ${\cal N}$ also has instances of nonsurjective epimorphisms. Two partial converses to McKay's result are also given: when~$G$ is a finite nonabelian simple group; and when~$G$ is finite and ${\cal Q}$ is a product of varieties of nilpotent groups, each of which contains the infinite cyclic group.


title: Dominions in decomposable varieties

abstract: Dominions, in the sense of Isbell, are investigated in the context of decomposable varieties of groups. An upper and lower bound for dominions in such a variety is given in terms of the two varietal factors, and the internal structure of the group being analyzed. Finally, the following result is established: If a variety ${\cal N}$ has instances of nontrivial dominions, then for any proper subvariety ${\cal Q}$ of ${\cal G}roup$, ${\cal NQ}$ also has instances of nontrivial dominions.


title: Dominions in varieties generated by simple groups

abstract: Let~$S$ be a finite nonabelian simple group, and let $H$ be a subgroup of $S$. In this work, the dominion (in the sense of Isbell) of $H$ in $S$ in rmVar(S)$ is determined, generalizing an example of B.H. Neumann. A necessary and sufficient condition for $H$ to be epimorphically embedded in $S$ is obtained. These results are then extended to a variety generated by a family of finite nonabelian simple groups.


title: Words and Dominions

abstract: A necessary and sufficient condition for an element of an algebra (in the sense of Universal Algebra) to be in the dominion of a subalgebra is given, in terms of transferable sets. This criterion is then used to formulate a more wieldy sufficient condition. Finally, some connections to a purely combinatorial setting are outlined.


title: Hermitian Positive Semidefinite Matrices Whose Entries Are 0 Or 1 in Modulus

abstract: We show that a matrix is a Hermitian positive semidefinite matrix whose nonzero entries have modulus 1 if and only if it similar to a direct sum of all $1's$ matrices and a 0 matrix via a unitary monomial similarity. In particular, the only such nonsingular matrix is the identity matrix and the only such irreducible matrix is similar to an all 1's matrix by means of a unitary diagonal similarity. Our results extend earlier results of Jain and Snyder for the case in which the nonzero entries (actually) equal 1. Our methods of proof, which rely on the so called principal submatrix rank property, differ from the approach used by Jain and Snyder.


title: Classical and quantum duality in jordanian quantizations

abstract: The limiting transitions between different types of quantizations are studied by the deformation theory methods. We prove that for the first order coboundary deformation (g,g*_1 + x g*_2) of a Lie bialgebra (g,g*) one can always get the quantized Lie bialgebra (g,g*_2) as a limit of the sequence of quantizations of the type A(g,g*_1). The obtained results are illustrated by some low-dimensional examples of quantized Lie algebras and superalgebras.


title: The Geometry of a $q$-Deformed Phase Space

abstract: The geometry of the $q$-deformed line is studied. A real differential calculus is introduced and the associated algebra of forms represented on a Hilbert space. It is found that there is a natural metric with an associated linear connection which is of zero curvature. The metric, which is formally defined in terms of differential forms, is in this simple case identifiable as an observable.


title: Non-Commutative Geometry Methods for Group C*-Algebras

abstract: This research notes is intended to provide a quick introduction to the subject. We expose a K-theoretic approach to study group C*-algebras: started in the elementary part, with one example of description of the structure of C*-algebras of the group of affine transformations of the real straight line, continued then for special classes of solvable and nilpotent Lie groups. In the second advanced part, we introduced the main tools of the theory. In particular, the conception of multidimensional geometric quantization and the index of group C*-algebras were created and developed.


title: An A$_2$ Bailey lemma and Rogers--Ramanujan-type identities

abstract: Using new $q$-functions recently introduced by Hatayama et al. and by (two of) the authors, we obtain an A_2 version of the classical Bailey lemma. We apply our result, which is distinct from the A_2 Bailey lemma of Milne and Lilly, to derive Rogers-Ramanujan-type identities for characters of the W_3 algebra.


title: The Octonionic Eigenvalue Problem

abstract: We discuss the eigenvalue problem for 2x2 and 3x3 octonionic Hermitian matrices. In both cases, we give the general solution for real eigenvalues, and we show there are also solutions with non-real eigenvalues.


title: The Projective Geometry of the Gale Transform

abstract: The Gale transform, an involution on sets of points in projective space, appears in a multitude of guises, in subjects as diverse as optimization, coding theory, theta-functions, and recently in our proof that certain general sets of points fail to satisfy the minimal free resolution conjecture. In this paper we reexamine the Gale transform in the light of modern algebraic geometry. We give a more general definition, in the context of finite (locally) Gorenstein subschemes. We put in modern form a number of the more remarkable examples discovered in the past, and we add new constructions and connections to other areas of algebraic geometry. We generalize Goppa's theorem in coding theory and we give new applications to Castelnuovo theory. We give references to classical and modern sources.


title: Stratified simplices and intersection homology

abstract: Intersection homology is obtained from ordinary homology by imposing conditions on how the embedded simplices meet the strata of a space $X$. In this way, for the middle perversity, properties such as strong Lefschetz are preserved. This paper defines local-global intersection homology groups, that record global information about the singularities of $X$. They differ from intersection homology in that stratified rather than ordinary simplices are used. An example of such is $\sigma_j\times C\sigma_i$, where $\sigma_i$ and $\sigma_j$ are ordinary simplices, and $C$ is the coning operator. The paper concludes with a sketch of the relationship between local-global homology and the geometry of convex polytopes. This paper is a more formal exposition of part of the author's `Local-global intersection homology', alg-geom/9709011.


title: Weierstrass representations for surfaces in 4D spaces and their integrable deformations via DS hierarchy

abstract: Generalized Weierstrass representations for generic surfaces conformally immersed into four-dimensional Euclidean and pseudo-Euclidean spaces of different signatures are presented. Integrable deformations of surfaces in these spaces generated by the Davey-Stewartson hierarchy of integrable equations are proposed. Willmore functional of a surface is invariant under such deformations.


title: A priori bounds for co-dimension one isometric embeddings

abstract: We prove a priori bounds for the trace of the second fundamental form of a $C^4$ isometric embedding into $R^{n+1}$ of a metric $g$ of non-negative sectional curvature on $S^n$, in terms of the scalar curvature, and the diameter of $g$. These estimates give a bound on the extrinsic geometry in terms of intrinsic quantities. They generalize estimates originally obtained by Weyl for the case $n=2$ and positive curvature, and then by P. Guan and the first author for non-negative curvature and $n=2$. Using $C^{2,\alpha}$ interior estimates of Evans and Krylov for concave fully nonlinear elliptic partial differential equations, these bounds allow us to obtain the following convergence theorem: For any $\epsilon>0$, the set of metrics of non-negative sectional curvature and scalar curvature bounded below by $\epsilon$ which are isometrically embedable in Euclidean space $R^{n+1}$ is closed in the H\"older space $C^{4,\alpha}$, $0<\alpha<1$. These results are obtained in an effort to understand the following higher dimensional version of the Weyl embedding problem which we propose: \emph{Suppose that $g$ is a smooth metric of non-negative sectional curvature and positive scalar curvature on \S^n$ which is locally isometrically embeddable in $R^{n+1}$. Does $(S^n,g)$ then admit a smooth global isometric embedding into $R^{n+1}$?}


title: q-deformed W-algebras and elliptic algebras

abstract: The elliptic algebra A_{q,p}(sl(N)_{c}) at the critical level c=-N has an extended center containing trace-like operators t(z). Families of Poisson structures, defining q-deformations of the W_N algebra, are constructed. The operators t(z) also close an exchange algebra when (-p^{1/2})^{NM} = q^{-c-N} for M \in Z. It becomes Abelian when in addition p=q^{Nh} where h is a non-zero integer. The Poisson structures obtained in these classical limits contain different q-deformed W_N algebras depending on the parity of h, characterizing the exchange structures at p =/ q^{Nh} as new W_{q,p}(sl(N)) algebras.


title: Principal pivot transforms: properties and applications

abstract: The principal pivot transform (PPT) of a matrix A partitioned relative to an invertible leading principal submatrix is a matrix B such that A [x_1^T x_2^T]^T = [y_1^T y_2^T]^T if and only if B [y_1^T x_2^T]^T = [x_1^T y_2^T]^T, where all vectors are partitioned conformally to A. The purpose of this paper is to survey the properties and manifestations of PPTs relative to arbitrary principal submatrices, make some new observations, present and possibly motivate further applications of PPTs in matrix theory. We pay special attention to PPTs of matrices whose principal minors are positive.


title: Finding Octonionic Eigenvectors Using Mathematica

abstract: The eigenvalue problem for 3x3 octonionic Hermitian matrices contains some surprises, which we have reported elsewhere. In particular, the eigenvalues need not be real, there are 6 rather than 3 real eigenvalues, and the corresponding eigenvectors are not orthogonal in the usual sense. The nonassociativity of the octonions makes computations tricky, and all of these results were first obtained via brute force (but exact) Mathematica computations. Some of them, such as the computation of real eigenvalues, have subsequently been implemented more elegantly; others have not. We describe here the use of Mathematica in analyzing this problem, and in particular its use in proving a generalized orthogonality property for which no other proof is known.


title: Non-Gaussian Surface Pinned by a Weak Potential

abstract: We consider a model of a two-dimensional interface of the SOS type, with finite-range, even, strictly convex, twice continuously differentiable interactions. We prove that, under an arbitrarily weak potential favouring zero-height, the surface has finite mean square heights. We consider the cases of both square well and $\delta$ potentials. These results extend previous results for the case of nearest-neighbours Gaussian interactions in \cite{DMRR} and \cite{BB}. We also obtain estimates on the tail of the height distribution implying, for example, existence of exponential moments. In the case of the $\delta$ potential, we prove a spectral gap estimate for linear functionals. We finally prove exponential decay of the two-point function (1) for strong $\delta$-pinning and the above interactions, and (2) for arbitrarily weak $\delta$-pinning, but with finite-range Gaussian interactions.

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


title: A Note on the Decay of Correlations Under $\delta$-Pinning

abstract: We prove that for a class of massless $\nabla\phi$ interface models on $\Ztwo$ an introduction of an arbitrary small pinning self-potential leads to exponential decay of correlation, or, in other words, to creation of mass.


title: Formation of singularities in relativistic fluid dynamics and in spherically symmetric plasma dynamics

abstract: We prove that for large enough data, the life span of smooth solutions to the Cauchy problem for the following two quasilinear hyperbolic systems is finite: (1) equations of relativistic compressible fluid dynamics, (2) equations of plasma dynamics (Euler-Maxwell equations with background charge) in the spherically symmetric case.


title: Dynamical q-deformation in quantum theory and the stochastic limit

abstract: A model of particle interacting with quantum field is considered. The model includes as particular cases the polaron model and non-relativistic quantum electrodynamics. We show that the field operators obey q-commutation relations with q depending on time. After the stochastic (or van Hove) limit, due to the nonlinearity, the atomic and field degrees of freedom become entangled in the sense that the field and the atomic variables no longer commute but give rise to a new algebra with new commutation relations replacing the Boson ones. This new algebra allows to give a simple proof of the fact that the non crossing half-planar diagrams give the dominating contribution in a weak coupling regime and to calculate explicitly the correlations associated to the new algebra. The above results depend crucially on the fact that we do not introduce any dipole or multipole approximation.


title: Persistently laminar tangles

abstract: A persistent lamination for a knot K is an essential lamination in the complement of the K, which remains essential after every non-trivial Dehn surgery along K. In particular, this implies that all of the Dehn surgery manifolds have universal cover R^3. This paper presents a method for building tangles T with the property that every knot K obtained by tangle sum with T has a persistent lamination. A natural generalization to 2n-string tangles is also given.


title: Persistent laminations from Seifert surfaces

abstract: A persistent lamination for a knot K is an essential lamination in the complement of K, which remains essential after every non-trivial Dehn surgery along K. Having a persistent lamination implies, for example, that every manifold obtained by non-trivial Dehn surgery along K has universal cover R^3. In this paper we present a method for building persistent laminations for knots from an incompressible Seifert surface for some `parent' knot. Using this construction, we can, for example, currently build persistent laminations for approximately 45 percent of the knots in the standard knot tables; see page 12 of the paper, or http://www.math.unt.edu/~britten/ldt/knots/knotlst1.html, for the exact list.


title: Quantum Lie algebras of type A_n positive, PBW bases and the Yang-Baxter equation

abstract: We show explicitly a generalised Lie algebra embedded in the positive and negative parts of the Drinfeld-Jimbo quantum groups of type A_n. Such a generalised Lie algebra satisfy axioms closely related to the ones found by S.L. Woronowicz. For the universal enveloping algebra of such generalised Lie algebras we establish several conditions in order to obtain bases of type Poincar\'e-Birkhoff-Witt. Besides a graded algebra is proposed and some relations with the quantum Yang-Baxter equation are studied.


title: Wavelets in Banach Spaces

abstract: We describe a construction of wavelets (coherent states) in Banach spaces generated by ``admissible'' group representations. Our main targets are applications in pure mathematics while connections with quantum mechanics are mentioned. As an example we consider operator valued Segal-Bargmann type spaces and the Weyl functional calculus. Keywords: Wavelets, coherent states, Banach spaces, group representations, covariant, contravariant (Wick) symbols, Heisenberg group, Segal-Bargmann spaces, Weyl functional calculus (quantization), second quantization, bosonic field.

categories: math.FA math-ph math.CV math.MP math.RT quant-ph


title: Infinite dimensional geometry of $M_1=Diff_+(S^1)/PSL(2,R)$ and $q_R$-conformal symmetries. II. Geometric quantization and hidden symmetries of Verma modules over Virasoro algebra

abstract: Some natural hidden symmetries in the Verma modules over the Virasoro algebra are constructed in terms of geometric quantization. Their differential geometric meaning is established and their expression via $q_R$-conformal symmetries in the Verma modules over the Lie algebra $sl(2,C)$ is found. The analysis and the unraveling of the algebraic structure of these families of hidden symmetries are performed.


title: Smooth Euclidean 4-spaces with few symmetries

abstract: We say that a topologically embedded 3-sphere in a smoothing of Euclidean 4-space is a barrier provided, roughly, no diffeomorphism of the 4-manifold moves the 3-sphere off itself. In this paper we construct infinitely many one parameter families of distinct smoothings of 4-space with barrier 3-spheres. \par The existence of barriers implies, amongst other things, that the isometry group of these manifolds, in any smooth metric, is finite. In particular, S^1 can not act smoothly and effectively on any smoothing of 4-space with barrier 3-spheres.


title: Drinfeld Functor and Finite-Dimensional Representations of Yangian

abstract: We extend the results of Drinfeld on Drinfeld functor to the case l>n. We present the character of finite-dimensional representations of the Yangian Y(sl_n) in terms of the Kazhdan-Lusztig polynomials as a consequence.


title: Commuting differential and difference operators associated to complex curves, I

abstract: We introduce twists by Cartan elements of conformal blocks on a curve X, corresponding to a Lie algebra g. We show that these twists define holomorphic functions, with theta-like behaviour, on a product of copies of its Jacobian J(X)^r. We then parametrise the conformal blocks by their twisted correlation functions of nilpotent currents, in the spirit of Feigin-Stoyanovsky. We compute the action of the Sugawara tensor in terms of these correlation functions. The result is a family of operators acting on forms on the product J(X)^r \times \prod_{i} S^{n_i}X of the Jacobian of X with its symmetric powers. These operators act by differentiation in the Jacobian directions, and evaluations and residues in the variables of the symmetric powers. They serve to express the KZB connection, which we view as a connection on the space of curves with marked a-cycles. These operators also make sense when the level is critical. In that case, they commute with each other. We explain their connection with the Beilinson-Drinfeld operators. In a sequel to this paper, we will do a similar computation in the q-deformed case, replacing the inclusion of the enveloping algebras of the Lie algebra of regular functions on X in that of functions on the formal disc by some inclusion of quasi-Hopf algebras, which were introduced in work of one of us and V. Rubtsov. The outcome is a commuting family of difference-evaluation operators, which may be viewed in the rational case as the Bethe ansatz formulation of the qKZ operators.


title: Cylinders over affine surfaces

abstract: For an affine variety $S$ we consider the ring $AK(S),$ which is the intersection of the rings of constants of all locally-nilpotent derivations of the ring $\Cal {O}(S).$ We show that $AK(S\times\Bbb {C}^n)=AK(S)$ for a smooth affine surface $S$ with $H^2(S,\Bbb {Z})=\{0\}.$


title: Compact Operators via the Berezin Transform

abstract: In this paper we prove that if S equals a finite sum of finite products of Toeplitz operators on the Bergman space of the unit disk, then S is compact if and only if the Berezin transform of S equals 0 on the boundary of the disk. This result is new even when S equals a single Toeplitz operator. Our main result can be used to prove, via a unified approach, several previously known results about compact Toeplitz operators, compact Hankel operators, and appropriate products of these operators.


title: The Laplacian on $p$-forms on the Heisenberg group

abstract: The Novikov-Shubin invariants for a non-compact Riemannian manifold M can be defined in terms of the large time decay of the heat operator of the Laplacian on square integrable p-forms on M. For the (2n+1)-dimensional Heisenberg group H, the Laplacian can be decomposed into operators in the conjugate of the generalised Bargmann representations which, when restricted to the centre of H, are characters. The representation space is an anti-Fock space of anti-holomorphic functions on complex n-space which are square integrable with respect to a Gaussian measure. In this paper, the eigenvalues of decomposed operators are calculated, using operators which commute with the Laplacian; this information determines all the Novikov-Shubin invariants of H. Further, some eigenvalues of operators connected with nilpotent Lie groups of Heisenberg type are calculated in the later sections.


title: On the limiting power of set of knots generated by 1+1- and 2+1- braids

abstract: We estimate from above the set of knots, $\Omega(n,\mu)$, generated by closure of n-string 1+1- and 2+1-dimensional braids of irreducible length $\mu$ ($\mu>>1$) in the limit n>>1.


title: Geometry of the complex of curves II: Hierarchical structure

abstract: This paper continues a geometric study of Harvey's Complex of Curves, whose ultimate goal is to apply the theory of hyperbolic spaces and groups to algorithmic questions for the Mapping Class Group and geometric properties of Kleinian representations. The authors' previous result that the complex is delta-hyperbolic was hard to apply because the complex is not locally finite; in this paper some tools are developed for overcoming this problem, and a combinatorial mechanism introduced which describes sequences of elementary moves in the graph of markings on a surface. These tools are applied to give a family of quasi-geodesic words in the Mapping Class Group, and a linear bound on the shortest word conjugating two conjugate pseudo-Anosov elements. A basic tool in the analysis is a family of subsurface projections, which are roughly analogous to closest-point projections to horoballs in classical hyperbolic space. These projections have a strong contraction property which makes it possible to tie together the geometry of the complex and that of the (infinite) subcomplexes that arise as links of vertices. The resulting layered structure of the complex is controlled by means of a combinatorial device called a hierarchy of geodesics, which is the central construction of the paper.


title: Convolution structures and arithmetic cohomology

abstract: In this paper we construct arithmetic analogs of the Riemann-Roch theorem and Serre's duality for line bundles. This improves on the works of Tate and van der Geer - Schoof. We define $H^0(L)$ and $H^1(L)$ as some convolution of measures structures. The $H^1$ is defined by a procedure very similar to the usual Cech cohomology. We get Serre's duality as Pontryagin duality of convolution structures. We get separately Riemann-Roch formula and Serre's duality. Instead of using the Poisson summation formula, we basically reprove it. The whole theory is pretty much parallel to the geometric case.


title: Generalized Weierstrass representation for surfaces in terms of Dirac-Hestenes spinor field

abstract: A representation of generalized Weierstrass formulae for an immersion of generic surfaces into a 4-dimensional complex space in terms of spinors treated as minimal left ideals of Clifford algebras is proposed. The relation between integrable deformations of surfaces via mVN-hierarchy and integrable deformations of spinor fields on the surface is also discussed.


title: On Boris Moishezon's multiple planes

abstract: The text of the talk on Workshop on Topology of Algebraic Varieties in honour of Boris Moishezon, Bonn, MPI, Monday July 27, 1998.


title: On Zariski's pairs of m-th canonical discriminant curves

abstract: In this note we give examples of Zariski's pairs $B_{1,m}, B_{2,m}$ ($m \in N$ and $m \geq 5$) of plane cuspidal curves such that (i) $B_{i,m}$ is the discriminant curve of a generic morphism $f_{i,m}:S_i \to P^2$, $i=1, 2$, (ii) $S_1$ and $S_2$ are homeomorphic surfaces of general type, (iii) $f_{i,m}$ is given by linear three-dimensional subsystem of the mth canonical class of $S_i$.


title: Kirby-Melvin's $\tau_r^{'}$ and Ohtsuki's $\tau$ for Lens spaces

abstract: In this note, we first derive explicit formulas for Kirby-Melvin's three-manifold invariants $\tau_r^{'}$ for all Lens spaces from our results for another set of invariants $\xi_r$ defined by the first author. Then, as a corollary, we obtain formulas for Othsuki's $\tau$ for all Lens spaces.


title: Surgery and Stratified Spaces

abstract: This paper surveys the significant progress over the past couple of decades in the theory of stratified spaces through the application of controlled methods as well as through the application of intersection homology.


title: Irreducible highest weight representations of the quantum algebra $U_h(A_\infty)$

abstract: A class of highest weight irreducible representations of the algebra $U_h(A_\infty)$, the quantum analogue of the completion and central extension $A_\infty$ of the Lie algebra $gl_\infty$, is constructed. It is considerably larger than the class of representations known so far. Within each module a basis is introduced and the transformation relations of the basis under the action of the Chevalley generators are explicitly given. The verification of the quantum algebra relations is shown to reduce to a set of nontrivial $q$-number identities. All representations are restricted in the terminology of S. Levendorskii and Y. Soibelman (Commun. Math. Phys. {\bf 140}, 399-414 (1991)).


title: On the relation of Clifford-Lipschitz groups to q-symmetric groups

abstract: It can be shown that it is possible to find a representation of Hecke algebras within Clifford algebras of multivectors. These Clifford algebras possess a unique gradation and a possibly non-symmetric bilinear form. Hecke algebra representations can be classified, for non-generic q, by Young tableaux of the symmetric group due to the isomorphy of the group algebras for q ->1. Since spinors can be constructed as elements of minimal left (right) ideals obtained by the left (right) action on primitive idempotents, we are able to construct q-spinors from q-Young operators corresponding to the appropriate symmetry type. It turns out that an anti-symmetric part in the Clifford bilinear form is necessary. q-deformed reflections (Hecke generators) can be obtained only for even multivector aggregates rendering this symmetry a composite one. In this construction one is able to deform spin groups only, though not pin groups. The method is closely related to a projective interpretation.


title: Invariant quantization in one and two parameters on semisimple coadjoint orbits of simple Lie groups

abstract: We study one and two parameter quantizations of the function algebra on a semisimple orbit in the coadjoint representation of a simple Lie group subject to the condition that the multiplication on the quantized algebra is invariant under action of the Drinfeld-Jimbo quantum group. We prove that the corresponding Poisson bracket must be the sum of the so-called R-matrix bracket and an invariant bracket. We classify such brackets for all semisimple orbits and show that they form a family of dimension equal to the rank equal to the second cohomology group of the orbit and then we quantize these brackets. A two parameter (or double) quantization corresponds to a pair of compatible Poisson brackets: the first is as described above and the second is the Kirillov-Kostant-Souriau bracket on the orbit. Not all semisimple orbits admit a compatible pair of Poisson brackets. We classify the semisimple orbits for which such pairs exist and construct the corresponding two parameter quantization of these pairs in some of the cases.


title: The honeycomb model of GL(n) tensor products I: proof of the saturation conjecture

abstract: We introduce the honeycomb model of BZ polytopes, which calculate Littlewood-Richardson coefficients, the tensor product rule for GL(n). Our main result is the existence of a particularly well-behaved honeycomb with given boundary conditions (choice of triple of representations to be tensored together). This honeycomb is necessarily integral, which proves the "saturation conjecture", extending results of Klyachko to give a complete answer to which L-R coefficients are positive. This in turn has as a consequence Horn's conjecture from 1962 characterizing the spectrum of the sum of two Hermitian matrices.


title: Four observations on n-triviality and Brunnian links

abstract: Brunnian links have been known for a long time in knot theory, whereas the idea of n-triviality is a recent innovation. We illustrate the relationship between the two concepts with four short theorems.


title: Finite Type Link Homotopy Invariants

abstract: Bar-Natan used Chinese characters to show that finite type invariants classify string links up to homotopy. In this paper, I construct the correct spaces of chord diagrams and Chinese characters for links up to homotopy. I use these spaces to show that the only rational finite type invariants of link homotopy are the pairwise linking numbers of the components.


title: A bilinear approach to the restriction and Kakeya conjectures

abstract: Bilinear restriction estimates have been appeared in work of Bourgain, Klainerman, and Machedon. In this paper we develop the theory of these estimates (together with the analogues for Kakeya estimates). As a consequence we improve the $(L^p,L^p)$ spherical restriction theorem of Wolff from $p > 42/11$ to $p > 34/9$, and also obtain a sharp $(L^p,L^q)$ spherical restriction theorem for $q > 4 - 5/27$.


title: Plurisubharmonic extremal functions, Lelong numbers and coherent ideal sheaves

abstract: We introduce a new type of pluricomplex Green function which has a logarithmic pole along a complex subspace A of a complex manifold X. It is the largest negative plurisubharmonic function on X whose Lelong number is at least the Lelong number of log max{|f_1|,...,|f_m|}, where f_1,...,f_m are local generators for the ideal sheaf of A. The pluricomplex Green function with a single logarithmic pole or a finite number of weighted poles is a very special case of our construction. We give several equivalent definitions of this function and study its properties, including boundary behaviour, continuity, and uniqueness. This is based on and extends our previous work on disc functionals and their envelopes.


title: Intersection representation of digraphs in trees with few leaves

abstract: The leafage of a digraph is the minimum number of leaves in a host tree in which it has a subtree intersection representation. We discuss bounds on the leafage in terms of other parameters (including Ferrers dimension), obtaining a string of sharp inequalities.


title: On curves covered by the Hermitian curve, II

abstract: We classify, up to isomorphism, maximal curves covered by the Hermitian curve \mathcal H by a prime degree Galois covering. We also compute the genus of maximal curves obtained by the quotient of \mathcal H by several automorphisms groups. Finally we discuss the value for the third largest genus that a maximal curve can have.


title: Axisymmetric Solutions of the Euler Equations for Sub-Square Polytropic Gases

abstract: We establish rigorously the existence of a three-parameter family of self-similar,globally bounded, and continuous weak solutions in two space dimensions to the compressible Euler equations with axisymmetry for gamma-law polytropic gases with gamma between 1 and 2, including 1. The initial data of these solutions have constant densities and outward-swirling velocities. We use the axisymmetry and self-similarity assumptions to reduce the equations to a system of three ordinary differential equations, from which we obtain detailed structures of solutions besides their existence. These solutions exhibit familiar structures seen in hurricanes and tornadoes. They all have finite local energy and vorticity with well-defined initial and boundary values.


title: Representations of vertex operator algebra V_L^+ for rank one lattice L

abstract: We classify the irreducible modules for the fixed point vertex operator subalgebra V_L^+ of the vertex operator algebra V_L associated to a positive definite even lattice of rank 1 under the automorphism lifted from the -1 isometry of L.


title: Gunther's proof of Nash's isometric embedding theorem

abstract: An complete exposition of Matthias Gunther's elementary proof of Nash's isometric embedding theorem.


title: Computing Global Extension Modules for Coherent Sheaves on a Projective Scheme

abstract: Let X be a projective scheme; let M and N be two coherent O_X-modules. Given an integer m, we present an algorithm for computing the global extension module Ext^m(X;M,N). In particular, this allows one to compute the sheaf cohomology H^m(X,N) and to construct the sheaf corresponding to an element of the module Ext^1(X;M,N). This algorithm can be implemented using only the computation of Grobner bases ans syzygies, and it has been implemented in the computer algebra system Macaulay2.


title: Local and global well-posedness of wave maps on $\R^{1+1}$ for rough data

abstract: We prove local and global existence from large, rough initial data for a wave map between 1+1 dimensional Minkowski space and an analytic manifold. Included here is global existence for large data in the scale-invariant norm $\dot L^{1,1}$, and in the Sobolev spaces $H^s$ for $s > 3/4$. This builds on previous work in 1+1 dimensions of Pohlmeyer, Gu, Ginibre-Velo and Shatah.


title: Norms on possibilities I: forcing with trees and creatures

abstract: We present a systematic study of the method of "norms on possibilities" of building forcing notions with keeping their properties under full control. This technique allows us to answer several open problems, but on our way to get the solutions we develop various ideas interesting per se.These include a new iterable condition for ``not adding Cohen reals'' (which has a flavour of preserving special properties of p-points), new intriguing properties of ultrafilters (weaker than being Ramsey but stronger than p-point) and some new applications of variants of the PP--property.


title: The cohomology rings of abelian symplectic quotients

abstract: Let $M$ be a symplectic manifold, equipped with a Hamiltonian action of a torus $T$. We give an explicit formula for the rational cohomology ring of the symplectic quotient $M//T$ in terms of the cohomology ring of $M$ and fixed point data. Under some restrictions, our formulas apply to integral cohomology. In certain cases these methods enable us to show that the cohomology of the reduced space is torsion-free.


title: A moduli space of non-compact curves on a complex surface

abstract: We show that under mild boundary conditions the moduli space of non-compact curves on a complex surface is (locally) an analytic subset of a ball in a Banach manifold, defined by {\it finitely} many holomorphic function.


title: Polyunsaturated Posets and Graphs and the Greene-Kleitman Theorem

abstract: A partition of a finite poset into chains places a natural upper bound on the size of a union of k antichains. A chain partition is k-saturated if this bound is achieved. Greene and Kleitman proved that, for each k, every finite poset has a simultaneously k- and k+1-saturated chain partition. West showed that the Greene-Kleitman Theorem is best-possible in a strong sense by exhibiting, for each c \ge 4, a poset with longest chain of cardinality c and no k- and l-saturated chain partition for any distinct, nonconsecutive k,l < c. We call such posets polyunsaturated. We give necessary and sufficient conditions for the existence of polyunsaturated posets with prescribed height, width, and cardinality. We prove these results in the more general context of graphs satisfying an analogue of the Greene-Kleitman Theorem. Lastly, we discuss analogous results for antichain partitions.


title: Algorithmic Computation of de Rham Cohomology of Complements of Complex Affine Varieties

abstract: Let $X=\C^n$. In this paper we present an algorithm that computes the de Rham cohomology groups $H^i_{dR}(U,\C)$ where $U$ is the complement of an arbitrary Zariski-closed set $Y$ in $X$. Our algorithm is a merger of the algorithm given by T.~Oaku and N.~Takayama (\cite{O-T2}), who considered the case where $Y$ is a hypersurface, and our methods from \cite{W-1} for the computation of local cohomology. We further extend the algorithm to compute de Rham cohomology groups with support $H^i_{dR,Z}(U,\C)$ where again $U$ is an arbitrary Zariski-open subset of $X$ and $Z$ is an arbitrary Zariski-closed subset of $U$. Our main tool is the generalization of the restriction process from \cite{O-T1} to complexes of modules over the Weyl algebra. All presented algorithms are based on Gr\"obner basis computations in the Weyl algebra.


title: PCF and infinite free subsets

abstract: We give another proof that for every lambda >= beth_omega for every large enough regular kappa < beth_omega we have lambda^{[kappa]}= lambda, dealing with sufficient conditions for replacing beth_omega by aleph_omega. In section 2 we show that large pcf(a) implies existence of free sets. An example is that if pp(aleph_omega)> aleph_{omega_1} then for every algebra M of cardinality aleph_omega with countably many functions, for some a_n in M (for n< omega) we have a_n notin cl_M({a_l: l not= n, l<omega}). Then we present results complementary to those of section 2 (but not close enough): if IND(mu,sigma) (in every algebra with universe lambda and <= sigma functions there is an infinite independent subset) then for no distinct regular lambda_i in Reg backslash mu^+ (for i< kappa) does prod_{i< kappa} lambda_i/[kappa]^{<= sigma} have true cofinality. We look at IND(< J^{bd}_{kappa_n}:n<omega >) and more general version, and from assumptions as in section 2 get results even for the non stationary ideal. Lastly, we deal with some other measurements of [lambda]^{>= theta} and give an application by a construction of a Boolean Algebra.


title: Lusin sequences under CH and under Martin's Axiom

abstract: Assuming the continuum hypothesis there is an inseparable sequence of length omega_1 that contains no Lusin subsequence, while if Martin's Axiom and the negation of CH is assumed then every inseparable sequence (of length omega_1) is a union of countably many Lusin subsequences.


title: Polynomial time logic: Inability to express

abstract: Here we deal with the logic of [GuSh 533], which tries to capture polynomial time (for finite models). There it is proved that the logic cannot say much on models with equality only. Here we prove that it cannot say much on models for which we expect it cannot say much, like random enough graphs. This is the result of having a general criterion.


title: More on Weak Diamond

abstract: We deal with the combinatorial principle Weak Diamond, showing that we always either a local version is not saturated or we can increase the number of colours. Then we point out a model theoretic consequence of Weak Diamond.


title: On inverse gamma-systems and the number of L_{infty,lambda}-equivalent, non-isomorphic models for lambda singular

abstract: Suppose lambda is a singular cardinal of uncountable cofinality kappa. For a model M of cardinality lambda, let No(M) denote the number of isomorphism types of models N of cardinality lambda which are L_{infty lambda}-equivalent to M. In [Sh:189] inverse kappa-systems A of abelian groups and their certain kind of quotient limits Gr(A)/Fact(A) were considered. It was proved that for every cardinal mu there exists an inverse kappa-system A such that A consists of abelian groups having cardinality at most mu^kappa and card(Gr(A)/Fact(A))= mu. In [Sh:228] a strict connection between inverse kappa-systems and possible values of No was proved. In this paper we show: for every nonzero mu <= lambda^kappa there is an inverse kappa-system A of abelian groups having cardinality < lambda such that card(Gr(A)/Fact(A))= mu (under the assumptions 2^kappa < lambda and theta^{< kappa}< lambda for all theta < lambda when mu > lambda), with the obvious new consequence concerning the possible value of No. Specifically, the case No(M)= lambda is possible when theta^kappa < lambda for every theta < lambda.


title: Consistency of the existence of a 4-place function on aleph_2 with no independent subset of size k_n

abstract: It is consistent that there is a set mapping from the four-tuples of omega_n into the finite subsets with no free subsets of size t_n for some natural number t_n. For any n< omega it is consistent that there is a set mapping from the pairs of omega_n into the finite subsets with no infinite free sets.


title: Strong dichotomy of cardinality

abstract: A usual dichotomy is that in many cases, reasonably definable sets, satisfy the CH, i.e. if they are uncountable they have cardinality continuum. A strong dichotomy is when: if the cardinality is infinite it is continuum as in [Sh:273]. We are interested in such phenomena when lambda = aleph_0 is replaced by lambda regular uncountable and also by lambda = beth_omega or more generally by strong limit of cofinality aleph_0 .


title: Non-degenerate conditionings of the exit measures of super-Brownian motion

abstract: We introduce several martingale changes of measure of the law of the exit measure of super Brownian motion. These changes of measure include and generalize one arising by conditioning the exit measures to charge a point on the boun dary of a 2-dimensional domain. In the case we discuss this is a non-degenerate conditioning. We give characterizations of the new processes in terms of "immortal particle" branching processes with immigration of mass, and give application s to the study of solutions to Lu = cu^2 in D. The representations are related to those in an earlier paper, which treated the case of degenerate conditionings.


title: Separating complexity classes using autoreducibility

abstract: A set is autoreducible if it can be reduced to itself by a Turing machine that does not ask its own input to the oracle. We use autoreducibility to separate the polynomial-time hierarchy from polynomial space by showing that all Turing-complete sets for certain levels of the exponential-time hierarchy are autoreducible but there exists some Turing-complete set for doubly exponential space that is not. Although we already knew how to separate these classes using diagonalization, our proofs separate classes solely by showing they have different structural properties, thus applying Post's Program to complexity theory. We feel such techniques may prove unknown separations in the future. In particular, if we could settle the question as to whether all Turing-complete sets for doubly exponential time are autoreducible, we would separate either polynomial time from polynomial space, and nondeterministic logarithmic space from nondeterministic polynomial time, or else the polynomial-time hierarchy from exponential time. We also look at the autoreducibility of complete sets under nonadaptive, bounded query, probabilistic and nonuniform reductions. We show how settling some of these autoreducibility questions will also read to new complexity class separations.


title: Elementary properties of power series fields over finite fields

abstract: In spite of the analogies between Q_p and F_p((t)) which became evident through the work of Ax and Kochen, an adaptation of the complete recursive axiom system given by them for Q_p to the case of F_p((t)) does not render a complete axiom system. We show the independence of elementary properties which express the action of additive polynomials as maps on F_p((t)). We formulate an elementary property expressing this action and show that it holds for all maximal valued fields. We also discuss the action of arbitrary polynomials on valued fields.


title: A conjecture for the sixth power moment of the Riemann zeta-function

abstract: The authors conjecture an asymptotic expression for the sixth power moment of the Riemann zeta function. They establish related results on the asymptotics of the zeta function that support the conjecture.


title: Symplectic fillings and positive scalar curvature

abstract: Let X be a 4-manifold with contact boundary. We prove that the monopole invariants of X introduced by Kronheimer and Mrowka vanish under the following assumptions: (i) a connected component of the boundary of X carries a metric with positive scalar curvature and (ii) either b_2^+(X)>0 or the boundary of X is disconnected. As an application we show that the Poincare homology 3-sphere, oriented as the boundary of the positive E_8 plumbing, does not carry symplectically semi-fillable contact structures. This proves, in particular, a conjecture of Gompf, and provides the first example of a 3-manifold which is not symplectically semi-fillable. Using work of Froyshov, we also prove a result constraining the topology of symplectic fillings of rational homology 3-spheres having positive scalar curvature metrics.


title: Intersections in hyperbolic manifolds

abstract: We obtain some restrictions on the topology of infinite volume hyperbolic manifolds. In particular, for any n and any closed negatively curved manifold M of dimension greater than 2, only finitely many hyperbolic n-manifolds are total spaces of orientable vector bundles over M.


title: Application of the group-theoretical method to physical problems

abstract: The concept of the theory of continuous groups of transformations has attracted the attention of applied mathematicians and engineers to solve many physical problems in the engineering sciences. Three applications are presented in this paper. The first one is the problem of time-dependent vertical temperature distribution in a stagnant lake. Two cases have been considered for the forms of the water parameters, namely water density and thermal conductivity. The second application is the unsteady free-convective boundary-layer flow on a non-isothermal vertical flat plate. The third application is the study of the dispersion of gaseous pollutants in the presence of a temperature inversion. The results are found in closed form and the effect of parameters are discussed.


title: Some homogenization and corrector results for nonlinear monotone operators

abstract: This paper deals with the limit behaviour of the solutions of quasi-linear equations of the form \ $\ds -\limfunc{div}\left(a\left(x, x/{\varepsilon _h},Du_h\right)\right)=f_h$ on $\Omega $ with Dirichlet boundary conditions. The sequence $(\varepsilon _h)$ tends to $0$ and the map $a(x,y,\xi )$ is periodic in $y$, monotone in $\xi $ and satisfies suitable continuity conditions. It is proved that $u_h\rightarrow u$ weakly in $H_0^{1,2}(\Omega )$, where $u$ is the solution of a homogenized problem \ $-\limfunc{div}(b(x,Du))=f$ on $\Omega $. We also prove some corrector results, i.e. we find $(P_h)$ such that $Du_h-P_h(Du)\rightarrow 0$ in $L^2(\Omega ,R^n)$.


title: Similarity reductions for a nonlinear diffusion equation

abstract: Similarity reductions and new exact solutions are obtained for a nonlinear diffusion equation. These are obtained by using the classical symmetry group and reducing the partial differential equation to various ordinary differential equations. For the equations so obtained, first integrals are deduced which consequently give rise to explicit solutions. Potential symmetries, which are realized as local symmetries of a related auxiliary system, are obtained. For some special nonlinearities new symmetry reductions and exact solutions are derived by using the nonclassical method.


title: Semistable bundles on curves and irreducible representations of the fundamental group

abstract: This note is an attempt to generalize Bolibruch's theorem from the projective line to curves of higher genus. We show that an irreducible representation of the fundamental group of an open in a curve of higher genus has always a representation as a regular system of differential equations on a semistable bundle of degree 0. Vice-versa, we show that given such a bundle and 3 points on the curve, one can construct an irreducible representation of the curve minus the 3 points such that an associated regular system of differential equations lives on this bundle.


title: Determinant formulas for the $\tau$-functions of the Painlev\'e equations of type $A$

abstract: Explicit determinant formulas are presented for the $\tau$ functions of the generalized Painlev\'e equations of type $A$. This result allows an interpretation of the $\tau$-functions as the Pl\"ucker coordinates of the universal Grassmann manifold.


title: Higher order Painlev\'e equations of type $A^{(1)}_l$

abstract: A series of systems of nonlinear equations with affine Weyl group symmetry of type $A^{(1)}_l$ is studied. This series gives a generalization of Painlev\'e equations $P_{IV}$ and $P_{V}$ to higher orders.


title: Universal Indestructibility

abstract: From a suitable large cardinal hypothesis, we provide a model with a supercompact cardinal in which universal indestructibility holds: every supercompact and partially supercompact cardinal kappa is fully indestructible by kappa-directed closed forcing. Such a state of affairs is impossible with two supercompact cardinals or even with a cardinal which is supercompact beyond a measurable cardinal.


title: On symplectic double groupoids and the duality of Poisson groupoids

abstract: We prove that the cotangent of a double Lie groupoid S has itself a double groupoid structure with sides the duals of associated Lie algebroids, and double base the dual of the Lie algebroid of the core of S. Using this, we prove a result outlined by Weinstein in 1988, that the side groupoids of a general symplectic double groupoid are Poisson groupoids in duality. Further, we prove that any double Lie groupoid gives rise to a pair of Poisson groupoids (and thus of Lie bialgebroids) in duality. To handle the structures involved effectively we extend to this context the dualities and canonical isomorphisms for tangent and cotangent structures of the author and Ping Xu.


title: Schwarzian derivative related to modules of differential operators on a locally projective manifold

abstract: We introduce a 1-cocycle on the group of diffeomorphisms Diff$(M)$ of a smooth manifold $M$ endowed with a projective connection. This cocycle represents a nontrivial cohomology class of $\Diff(M)$ related to the Diff$(M)$-modules of second order linear differential operators on $M$. In the one-dimensional case, this cocycle coincides with the Schwarzian derivative, while, in the multi-dimensional case, it represents its natural and new generalization. This work is a continuation of \cite{bo} where the same problems have been treated in one-dimensional case.


title: Theta functions and Hodge numbers of moduli spaces of sheaves on rational surfaces

abstract: Let (S,H) be a rational algebraic surface with an ample divisor. We compute generating functions for the Hodge numbers of the moduli spaces of H-stable rank 2 sheaves on S in terms of certain theta functions for indefinite lattices that were introduced in the paper alg-geom/9612020 written jointly with Don Zagier. If H lies in the closure of the ample cone and has self-intersection 0, it follows that the generating functions are Jacobi forms. In particular the generating functions for the Euler numbers have a similar transformation behaviour under SL(2,Z) as that predicted in Vafa and Witten: A strong coupling test of S-duality. In addition we get that also the generating functions for the signatures can be expressed in terms of modular forms. Finally it turns out that the generating function for the signatures is also (with respect to another developping parameter) the generating function for the Donaldson invariants of S evaluated on all powers of the point class. The paper is related to the recent papers math.AG/9805003 by Yoshioka, math.AG/9805054 and math.AG/9805055 by Qin and Li and hep-th/9802168 by Minahan, Nemeschansky, Vafa and Warner.


title: Almost Complex Structures on $S^2\times S^2$

abstract: In this note we investigate the structure of the space $\Jj$ of smooth almost complex structures on $S^2\times S^2$ that are compatible with some symplectic form. This space has a natural stratification that changes as the cohomology class of the form changes and whose properties are very closely connected to the topology of the group of symplectomorphisms of $S^2\times S^2$. By globalizing standard gluing constructions in the theory of stable maps, we show that the strata of $\Jj$ are Fr\'echet manifolds of finite codimension, and that the normal link of each stratum is a finite dimensional stratified space. The topology of these links turns out to be surprisingly intricate, and we work out certain cases. Our arguments apply also to other ruled surfaces, though they give complete information only for bundles over $S^2$ and $T^2$.


title: Mating Siegel Quadratic Polynomials

abstract: Let F be a quadratic rational map of the sphere which has two fixed Siegel disks with bounded type rotation numbers theta and nu. Using a new degree 3 Blaschke product model for the dynamics of F and an adaptation of complex a priori bounds for renormalization of critical circle maps, we prove that F can be realized as the mating of two Siegel quadratic polynomials with the corresponding rotation numbers theta and nu.


title: On the initial-value problem in the Lifshitz-Slyozov-Wagner theory of Ostwald ripening

abstract: The LSW theory of Ostwald ripening concerns the time evolution of the size distribution of a dilute system of particles that evolve by diffusional mass transfer with a common mean field. We prove global existence, uniqueness and continuous dependence on initial data for measure-valued solutions with compact support in particle size. These results are established with respect to a natural topology on the space of size distributions, one given by the Wasserstein metric which measures the smallest maximum volume change required to rearrange one distribution into another.