title: Automatic Groups and Knuth-Bendix with Infinitely Many Rules

abstract: It is shown how to use a small finite state automaton in two variables in order to carry out part of the Knuth--Bendix process for rewriting words in a group. The main objective is to provide a substitute for the most space-demanding module of the existing software which attempts to find a shortlex-automatic structure for a group. The two-variable automaton can be used to store an infinite set of rules and to carry out fast reduction of arbitrary words using this infinite set. We introduce a new operation, which we call welding, which applies to an arbitrary finite state automaton. In our context this operation is vital. We point out a small potential improvement in the subset algorithm for making a non-deterministic automaton deterministic.


title: The homology of abelian coverings of knotted graphs

abstract: Let N be a regular branched cover of a homology 3-sphere M with deck group G isomorphic to Z_2^d and branch set a trivalent graph Gamma; such a cover is determined by a coloring of the edges of Gamma with elements of G. For each index-2 subgroup H of G, M_H = N/H is a double branched cover of M. Sakuma has proved that the first homology of N is isomorphic, modulo 2-torsion, to the direct sum of the first homology groups of the M_H, and has shown that H_1(N) is determined up to isomorphism by the direct sum of the H_1(M_H) in certain cases; specifically, when d=2 and the coloring is such that the branch set of each cover M_H -> M is connected, and when d=3 and Gamma is the complete graph K_4. We prove this for a larger class of coverings: when d=2, for any coloring of a connected graph; when d=3 or 4, for an infinite class of colored graphs; and when d=5, for a single coloring of the Petersen graph.


title: Moduli spaces of decomposable morphisms of sheaves and quotients by non-reductive groups

abstract: We extend the methods of geometric invariant theory to actions of non--reductive groups in the case of homomorphisms between decomposable sheaves whose automorphism groups are non--reductive. Given a linearization of the natural action of the group $\Aut(E)\times\Aut(F)$ on Hom(E,F), a homomorphism is called stable if its orbit with respect to the unipotent radical is contained in the stable locus with respect to the natural reductive subgroup of the automorphism group. We encounter effective numerical conditions for a linearization such that the corresponding open set of semi-stable homomorphisms admits a good and projective quotient in the sense of geometric invariant theory, and that this quotient is in addition a geometric quotient on the set of stable homomorphisms.


title: Non-Commutative Corepresentations of Quantum Groups

abstract: We consider a twisted version of quantum groups corepresentations. This generalization amounts to include in the theory the case where quantum space coordinates and its endomorphism matrix entries belong to a non-commutative quadratic algebra.


title: On the fundamental group and triple Massey's product

abstract: Let us say that a map of arcwise connected topological spaces (having the homotopy type of CW-complexes) is a pseudo-homeomorphism if it induces an isomorphism of the first integer homology groups and an epimorphism of the second integer homology groups. We prove that any invariant of a topological space w.r.t. pseudo-homeomorphisms is an invariant of the fundamental group of this space. We also describe a necessary condition for the fundamental groups to be distinguished by such invariants. As an example we show that the invariant used in math.AG/9805056 to distinguish the fundamental groups of combinatorially equivalent arrangements is, in fact, a form of triple Massey's product on the first integer homology group.


title: Equisingularity, Multiplicity, and Dependence

abstract: This is a report on some recent work by Gaffney, Massey, and the author, characterizing the conditions A_f and W_f for a family of ICIS germs equipped with a function. First we introduce the work informally. Then we review the formal definitions of A_f and W_f, and state the theorems that characterize them by the constancy of Milnor numbers. Next we review the definition of the Buchsbaum-Rim multiplicity, and reformulate the theorems by the constancy of certain Buchsbaum-Rim multiplicities. Finally, we review the theory of integral dependence of elements on submodules of free modules, and apply it to prove the reformulated theorems.


title: Construction of Spectral Triples Starting from Fredholm Modules

abstract: Let (A,H,F) be a p-summable Fredholm module where the algebra A= C \Gamma is generated by a discrete group of unitaries in L(H) which is of polynomial growth r. Then we construct a spectral triple (A,H,D) with F= sign D which is q-summable for each q > p+r+1. In case (A,H,F) is (p,\infty)-summable we obtain (q,\infty)-summability of (A,H,D) for each q > p+r+1.


title: Extrinsic Bounds for Eigenvalues of the Dirac Operator

abstract: We derive upper eigenvalue bounds for the Dirac operator of a closed hypersurface in a manifold with Killing spinors such as Euclidean space, spheres or hyperbolic space. The bounds involve the Willmore functional. Relations with the Willmore inequality are briefly discussed. In higher codimension we obtain bounds on the eigenvalues of the Dirac operator of the submanifold twisted with the spinor bundle of the normal bundle.


title: Zero Sets of Solutions to Semilinear Elliptic Systems of First Order

abstract: Consider a nontrivial solution to a semilinear elliptic system of first order with smooth coefficients defined over an $n$-dimensional manifold. Assume the operator has the strong unique continuation property. We show that the zero set of the solution is contained in a countable union of smooth $(n-2)$-dimensional submanifolds. Hence it is countably $(n-2)$-rectifiable and its Hausdorff dimension is at most $n-2$. Moreover, it has locally finite $(n-2)$-dimensional Hausdorff measure. We show by example that every real number between 0 and $n-2$ actually occurs as the Hausdorff dimension (for a suitable choice of operator). We also derive results for scalar elliptic equations of second order.


title: A Lower Bound for Partial List Colorings

abstract: Let G be an n-vertex graph with list-chromatic number $\chi_\ell$. Suppose each vertex of G is assigned a list of t colors. Albertson, Grossman, and Haas conjecture that at least $t n / {\chi_\ell}$ vertices can be colored from these lists. We prove a lower bound for the number of colorable vertices. As a corollary, we show that at least 6/7 of the conjectured number can be colored.


title: Multiple Flag Varieties of Finite Type

abstract: We classify all products of flag varieties with finitely many orbits under the diagonal action of the general linear group. We also classify the orbits in each case and construct explicit representatives. This generalizes the classical Schubert decompostion, which states that the GL(n)-orbits on a product of two flag varieties correspond to permutations. Our main tool is the theory of quiver representations.


title: Homogeneous Cyclotomic Polynomials and Rationality of Curves

abstract: This paper is withdrawn. The current main theorem can be proved by using a simple field theory. The main theorem is to placed by another theorem, shortly.


title: Equifocal families in symmetric spaces of compact type

abstract: An equifocal submanifold M of a symmetric space N of compact type induces a foliation with singular leaves on N. In this paper we will show how to reconstruct the equifocal foliation starting from one of the singular leaves, the so-called focal manifolds. To be more concrete: The equifocal submanifold is equal to a partial tube B around the focal manifold and we will show how to construct B in this paper. Moreover, we will find a geometrical characterization of focal manifolds.


title: L2-torsion of hyperbolic manifolds

abstract: The L^2-torsion is an invariant defined for compact L^2-acyclic manifolds of determinant class, for example odd dimensional hyperbolic manifolds. It was introduced by John Lott and Varghese Mathai and computed for hyperbolic manifolds in low dimensions. In this paper we show that the L^2-torsion of hyperbolic manifolds of arbitrary odd dimension does not vanish. This was conjectured by J. Lott and W. Lueck. Some concrete values are computed and an estimate of their growth with the dimension is given.


title: Vanishing of intersection numbers on the moduli space of Higgs bundles

abstract: In this paper we consider the topological side of a problem which is the analogue of Sen's S-duality testing conjecture for Hitchin's moduli space of rank 2 stable Higgs bundles of fixed determinant of odd degree over a Riemann surface. We prove that all intersection numbers in the compactly supported cohomology vanish, i.e. "there are no topological L^2 harmonic forms on Hitchin's space". This result generalizes the well known vanishing of the Euler characteristic of the moduli space of rank 2 stable bundles of fixed determinant of odd degree over the given Riemann surface. Our proof shows that the vanishing of all intersection numbers in the compactly supported cohomology of Hitchin's space is given by relations analogous to Mumford's relations in the cohomology ring of the moduli space of stable bundles.


title: Formality of canonical symplectic complexes and Frobenius manifolds

abstract: It is shown that the de Rham complex of a symplectic manifold $M$ satisfying the hard Lefschetz condition is formal. Moreover, it is shown that the differential Gerstenhaber-Batalin-Vilkoviski algebra associated to such a symplectic structure gives rise, along the lines explained in the papers of Barannikov and Kontsevich [alg-geom/9710032] and Manin [math/9801006], to the structure of a Frobenius manifold on the de Rham cohomology of $M$.


title: Geometrization of 3-orbifolds of cyclic type

abstract: We give a complete proof of Thurston's Orbifold Theorem for very good 3-orbifolds of cyclic type. An orbifold is said to be very good when it has a finite cover which is a manifold. A 3-orbifold is of cyclic type if the singular set is a non-empty 1-manifold transverse to the boundary.


title: B\"acklund Transformations and Loop Group Actions

abstract: We construct a local action of the group of rational maps from $S^2$ to $GL(n,C)$ on local solutions of flows of the ZS-AKNS $sl(n,C)$-hierarchy. We show that the actions of simple elements (linear fractional transformations) give local B\"acklund transformations, and we derive a permutability formula from different factorizations of a quadratic element. We prove that the action of simple elements on the vacuum may give either global smooth solutions or solutions with singularities. However, the action of the subgroup of the rational maps that satisfy the U(n)-reality condition $g(\bar\l)^*g(\l)=I$ on the space of global rapidly decaying solutions of the flows in the $u(n)$-hierarchy is global, and the action of a simple element gives a global B\"acklund transformation. The actions of certain elements in the rational loop group on the vacuum give rise to explicit time periodic multi-solitons (multi-breathers). We show that this theory generalizes the classical B\"acklund theory of the sine-Gordon equation. The group structures of B\"acklund transformations for various hierarchies are determined by their reality conditions. We identify the reality conditions (the group structures) for the $sl(n,R)$, $u(k,n-k)$, KdV, Kupershmidt-Wilson, and Gel'fand-Dikii hierarchies. The actions of linear fractional transformations that satisfies a reality condition, modulo the center of the group of rational maps, gives B\"acklund and Darboux transformations for the hierarchy defined by the reality condition. Since the factorization cannot always be carried out under these reality condition, the action is again local, and B\"acklund transformations only generate local solutions for these hierarchies unless singular solutions are allowed.


title: Asymptotic equisingularity and topology of complex hypersurfaces

abstract: We consider an equisingularity problem for polynomial families of affine hypersurfaces $X_\tau \subset \mathbb C^n$ with (at worst) isolated singularities. We show that the constancy of the global polar invariants $\gamma^* (X_\tau)$ is equivalent to the $t$-equisingularity at infinity, an asymptotic-type equisingularity that we introduce. We prove that $\gamma^*$-constancy implies C$^\infty$-triviality in the neighbourhood of infinity. We show how the invariants $\gamma^*$ enter in the description of a CW-complex model of a hypersurface $X_\tau$ and therefore provide in particular new invariants at infinity for polynomial functions $f: \mathbb C^n \to \mathbb C$.


title: An Introduction to Total Least Squares

abstract: The method of ``Total Least Squares'' is proposed as a more natural way (than ordinary least squares) to approximate the data if both the matrix and and the right-hand side are contaminated by ``errors''. In this tutorial note, we give a elementary unified view of ordinary and total least squares problems and their solution. As the geometry underlying the problem setting greatly contributes to the understanding of the solution, we introduce least squares problems and their generalization via interpretations in both column space and (the dual) row space and we shall use both approaches to clarify the solution. After a study of the least squares approximation for simple regression we introduce the notion of approximation in the sense of ``Total Least Squares (TLS)'' for this problem and deduce its solution in a natural way. Next we consider ordinary and total least squares approximations for multiple regression problems and we study the solution of a general overdetermined system of equations in TLS-sense. In a final section we consider generalizations with multiple right-hand sides and with ``frozen'' columns. We remark that a TLS-approximation needs not exist in general; however, the line (or hyperplane) of best approximation in TLS-sense for a regression problem does exist always.


title: Hypergeometric periods for a tame polynomial

abstract: We analyse the Gauss-Manin system of differential equations---and its Fourier transform---attached to regular functions satisfying a tameness assupmption on a smooth affine variety over C (e.g. tame polynomials on C^{n+1}). We give a solution to the Birkhoff problem and prove Hodge-type results analogous to those existing for germs of isolated hypersurface singularities.


title: Positive knots, closed braids and the Jones polynomial

abstract: Using the recent Gauss diagram formulas for Vassiliev invariants of Polyak-Viro-Fiedler and combining these formulas with the Bennequin inequality, we prove several inequalities for positive knots relating their Vassiliev invariants, genus and degrees of the Jones polynomial. As a consequence, we prove that for any of the polynomials of Alexander/Conway, Jones, HOMFLY, Brandt-Lickorish-Millett-Ho and Kauffman there are only finitely many positive knots with the same polynomial and no positive knot with trivial polynomial. We also discuss an extension of the Bennequin inequality, showing that the unknotting number of a positive knot not less than its genus, which recovers some recent unknotting number results of A'Campo, Kawamura and Tanaka, and give applications to the Jones polynomial of a positive knot.


title: Mixed Bruhat operators and Yang-Baxter equations for Weyl groups

abstract: We introduce and study a family of operators which act in the span of a Weyl group $W$ and provide a multi-parameter solution to the quantum Yang-Baxter equations of the corresponding type. Our operators generalize the "quantum Bruhat operators" that appear in the explicit description of the multiplicative structure of the (small) quantum cohomology ring of $G/B$. The main combinatorial applications concern the "tilted Bruhat order," a graded poset whose unique minimal element is an arbitrarily chosen element $w\in W$. (The ordinary Bruhat order corresponds to the case $w=1$.) Using the mixed Bruhat operators, we prove that these posets are lexicographically shellable, and every interval in a tilted Bruhat order is Eulerian. This generalizes well known results of Verma, Bjorner, Wachs, and Dyer.


title: Regular Polynomial Endomorphisms of C^k

abstract: We study the dynamics of polynomial mappings f:C^k to C^k of degree at least 2 that extend continuously to projective space P^k. Our approach is to study the dynamics near the hyperplane at infinity and then making a descent to K --- the set of points with bounded orbits --- via external rays.


title: The dual of the Bourgain-Delbaen space

abstract: It is shown that a script L_infty-space with separable dual constructed by Bourgain and Delbaen has small Szlenk index and thus does not have a quotient isomorphic to C(omega^omega). It follows that this is a script L_infty-space which is the same size as c_0 in the sense of the Szlenk index but does not contain c_0. This has some consequences in the theory of uniform homeomorphism of Banach spaces.


title: On the Classification of K3-Surfaces with Nine Cusps

abstract: By a K3-surface with nine cusps I mean a compact complex surface with nine isolated double points $A_2$, but otherwise smooth, such that its minimal desingularisation is a K3-surface. In an earlier paper I showd that each such surface is a quotient of a complex torus by a cyclic group of order three. Here I try to classify these $K3$-surfaces, using the period map for complex tori. In particular I show: A $K3$-surface with nine cusps carries polarizations only of degrees 0 or 2 modulo 6. This implies in particular that there is no quartic surface in projective three-space with nine cusps. (T. Urabe pointed out to me how to deduce this from a theorem of Nikulin.) In an appendix I give explicit equations of quartic surfaces in three-space with eight cusps.


title: Algebraic Isomorphism of Limit Algebras

abstract: We prove that algebraic isomorphisms between limit algebras are automatically continuous, and consider consequences of this result. In particular, we give partial solutions to a conjecture of Power [Limit Algebras, Longman, 1992, Notes to Chapter 8] and to an open problem [op. cit., Problem 7.8]. As a further consequence, we describe epimorphisms between various classes of limit algebras.


title: Coloring Distance Graphs on the Integers

abstract: Given a set D of positive integers, the associated distance graph on the integers is the graph with the integers as vertices and an edge between distinct vertices if their difference lies in D. We investigate the chromatic numbers of distance graphs. We show that, if $D = {d_1,d_2,d_3,...}$, with $d_n | d_{n+1}$ for all n, then the distance graph has a proper 4-coloring. We further find the exact chromatic numbers of all such distance graphs. Next, we characterize those distance graphs that have periodic proper colorings and show a relationship between the chromatic number and the existence of periodic proper colorings.


title: The Ext class of an approximately inner automorphism, II

abstract: Let A be a simple unital AT algebra of real rank zero and Inn(A) the group of inner automorphisms of A. In the previous paper we have shown that the natural map of the group of approximately inner automorphisms into Ext(K_1(A),K_0(A)) oplus Ext(K_0(A),K_1(A)) is surjective; the kernel of this map includes the subgroup of automorphisms which are homotopic to Inn(A). In this paper we consider the quotient of the group of approximately inner automorphisms by the smaller normal subgroup AInn(A) which consists of asymptotically inner automorphisms and describe it as OrderExt(K_1(A),K_0(A)) oplus Ext(K_0(A),K_1(A)), where OrderExt(K_1(A),K_0(A)) is a kind of extension group which takes into account the fact that K_0(A) is an ordered group and has the usual Ext as a quotient.


title: Semicontinuity of the spectrum at infinity

abstract: We prove that, for an analytic family of ``weakly tame'' regular functions on an affine manifold, the spectrum at infinity of each function of the family is semicontinuous in the sense of Varchenko.


title: On a twisted de Rham complex

abstract: We show that, given a projective regular function f on a smooth quasi-projective variety over C, the corresponding cohomology groups of the algebraic de Rham complex with twisted differential d-df and of the complex of algebraic forms with differential df have the same dimension (a result announced by Barannikov and Kontsevitch). We generalize the result to de Rham complexes with coefficients in a mixed Hodge Module.


title: Good rotations

abstract: Numerical integrations in celestial mechanics often involve the repeated computation of a rotation with a constant angle. A direct evaluation of these rotations yields a linear drift of the distance to the origin. This is due to roundoff in the representation of the sine s and cosine c of the angle theta. In a computer, one generally gets c^2 + s^2 <> 1, resulting in a mapping that is slightly contracting or expanding. In the present paper we present a method to find pairs of representable real numbers s and c such that c^2 + s^2 is as close to 1 as possible. We show that this results in a drastic decrease of the systematic error, making it negligible compared to the random error of other operations. We also verify that this approach gives good results in a realistic celestial mechanics integration.


title: Difference Equations and Highest Weight Modules of U_q[sl(n)]

abstract: The quantized version of a discrete Knizhnik-Zamolodchikov system is solved by an extension of the generalized Bethe Ansatz. The solutions are constructed to be of highest weight which means they fully reflect the internal quantum group symmetry.


title: Some crystal Rogers-Ramanujan type identities

abstract: By using the Kang-Kashiwara-Misra-Miwa-Nakashima-Nakayashiki crystal base character formula for the basic $A_2^{(1)}$-module, and the principally specialized Weyl-Kac character formula, we obtain a Rogers-Ramanujan type combinatorial identity for colored partitions. The difference conditions between parts are given by the energy function of certain perfect $A_2^{(1)}$-crystal. We also recall some other identities for this type of colored partitions, but coming from the vertex operator constructions and with no apparent connection to the crystal base theory.


title: Effective Nullstellensatz for Arbitrary Ideals

abstract: Let $f_i$ be polynomials in $n$ variables without a common zero. Hilbert's Nullstellensatz says that there are polynomials $g_i$ such that $\sum g_if_i=1$. The effective versions of this result bound the degrees of the $g_i$ in terms of the degrees of the $f_j$. The aim of this paper is to generalize this to the case when the $f_i$ are replaced by arbitrary ideals. Applications to the B\'ezout theorem, to \L ojasiewicz--type inequialities and to deformation theory are also discussed.


title: Vassiliev invariants and knots modulo pure braid subgroups

abstract: We show that two knots have matching Vassiliev invariants of order less than n if and only if they are equivalent modulo the nth group of the lower central series of some pure braid group, thus characterizing Vassiliev's knot invariants in terms of the structure of the braid groups. We also prove some results about knots modulo the nth derived subgroups of the pure braid groups, and about knots modulo braid subgroups in general.


title: Nontrivial rational polynomials in two variables have reducible fibres

abstract: It has been proved several times in the literature that a polynomial map from $C^2$ to $C$ with irreducible rational fibers cannot be a component of a counterexample to the Jacobian Conjecture. This note points out that this result is empty: it is implicit in 1980 work of Miyanish and Sugie that such a polynomial is equivalent to $f(x,y)=x$ by a polynomial automorphism of $C^2$.


title: Frobenius Manifold Structure on Dolbeault Cohomology and Mirror Symmetry

abstract: We construct a differential Gerstenhaber-Batalin-Vilkovisky algebra from Dolbeault complex of any close Kaehler manifold, and a Frobenius manifold structure on Dolbeault cohomology.


title: Identification of Two Frobenius Manifolds In Mirror Symmetry

abstract: We identify two Frobenius manifolds obtained from two different differential Gerstenhaber-Batalin-Vilkovisky algebras on a compact Kaehler manifold. One is constructed on the Dolbeault cohomology, and the other on the de Rham cohomology. Our result can be considered as a generalization of the identification of the Dolbeault cohomology ring with the complexified de Rham cohomology ring on a Kaehler manifold.


title: Geometic vertex operators

abstract: Vertex operators, being families of birational transformations of infinite-dimensional algebraic ``varieties'' M, act on appropriate line bundles on M. However, they act on (meromorphic) sections only as_partial operators_: they are defined on a subspace (in an appropriate_lattice of subspaces_ of Mer(M)), and send "smooth families" of vectors in such a subspace to smooth families. Axiomatizing this, we define_conformal fields_ as arbitrary families of partial operators in Mer(M) which satisfy both these properties. The ``variety'' M related to standard vertex operators is formed by rational functions of one variable z in Z=P^1, changing the variety Z one obtains different examples of M, and multidimensional analogues of vertex operators. One can cover Mer(M) by ``big smooth subsets''; these subsets are parameterized by appropriate projective bundles over Hilbert schemes of points on Z. We deduce conformal associativity relation for conformal fields, and conformal commutation relations for Laurent coefficients of commuting conformal fields from geometric properties of the Hilbert schemes. We start with providing examples of OPE in smooth families, i.e., smooth families a(s) and b(t) (of partial linear operators) such that a(s)b(t) has a pole when s=t. We also provide geometric description of boson-fermion correspondence, and relations of this correspondence to geometry of the set of meromorphic functions.


title: On the work of Givental relative to mirror symmetry

abstract: These are the informal notes of two seminars held at the Universita` di Roma "La Sapienza", and at the Scuola Normale Superiore in Pisa in Spring and Autumn 1997. We discuss in detail the content of the parts of Givental's paper dealing with mirror symmetry for projective complete intersections.


title: On Dynamics of Cubic Siegel Polynomials

abstract: Motivated by the work of Douady, Ghys, Herman and Shishikura on Siegel quadratic polynomials, we study the one-dimensional slice of the cubic polynomials which have a fixed Siegel disk of rotation number theta, with theta being a given irrational number of Brjuno type. Our main goal is to prove that when theta is of bounded type, the boundary of the Siegel disk is a quasicircle which contains one or both critical points of the cubic polynomial. We also prove that the locus of all cubics with both critical points on the boundary of their Siegel disk is a Jordan curve, which is in some sense parametrized by the angle between the two critical points. A main tool in the bounded type case is a related space of degree 5 Blaschke products which serve as models for our cubics. Along the way, we prove several results about the connectedness locus of these cubic polynomials.


title: Desingularized moduli spaces of sheaves on a K3, II

abstract: In preprint alg-geom/9708009 we have constructed a (ten-dimensional) symplectic desingularization of the moduli space of rank-two torsion-free semistable sheaves on a $K3$, with trivial determinant and second Chern class equal to 4. In the present paper we prove that (every deformation of) this desingularization is a new irreducible symplectic variety. More precisely we show that the desingularization is irreducible symplectic, and that its second Betti number is at least 24.


title: Ring structure, uniform expressions and intersection homology

abstract: Although intersection homology lacks a ring structure, certain expressions (called uniform) in the intersection homology of an irreducible projective variety $X$ always give the same value, when computed via the decomposition theorem on any resolution $X_r\to X$. This paper uses uniform (and non-uniform) expressions to define what is believed to be the usual intersection homology (and its local-global variant) of a convex polytope (or a projective toric variety). Such expressions are generated by the facets, and so may lead to necessary numerical conditions on the flag vector. Most of the concepts, however, apply to more general algebraic varieties, and perhaps some other situations also.

categories: math.AG math.AT math.CO math.MG math.RA math.RT


title: Notes on the construction of the moduli space of curves

abstract: The purpose of these notes is to give an introduction to Deligne-Mumford stacks and their moduli spaces, with emphasis on the moduli problem for curves. The paper has 4 sections. In section 1 we discuss the general problem of constructing a moduli "space" of curves. In section 2 we give an introduction to Deligne-Mumford stacks and their moduli spaces. In section 3 we return to curves and outline Deligne and Mumford's proof that the stack of stable curves is a smooth and irreducible Deligne-Mumford stack which is proper over Spec Z. In section 4 we explain how to use geometric invariant to construct moduli spaces for quotient stacks. Finally, we briefly outline Gieseker's geometric invariant theory construction of the moduli scheme of projective curves defined over an algebraically closed field. These notes are a slightly revised version of notes which the author has circulated privately for several years, and are based on lectures the author gave at the Weizmann Institute in July 1994. They are also available at the URL http://math.missouri.edu/~edidin/Papers/ Any updates will be posted to this URL.


title: Nuclear and Trace Ideals in Tensored *-Categories

abstract: We generalize the notion of nuclear maps from functional analysis by defining nuclear ideals in tensored *-categories. The motivation for this study came from attempts to generalize the structure of the category of relations to handle what might be called ``probabilistic relations''. The compact closed structure associated with the category of relations does not generalize directly, instead one obtains nuclear ideals. We introduce the notion of nuclear ideal to analyze these classes of morphisms. In compact closed categories, we see that all morphisms are nuclear, and in the category of Hilbert spaces, the nuclear morphisms are the Hilbert-Schmidt maps. We also introduce two new examples of tensored *-categories, in which integration plays the role of composition. In the first, morphisms are a special class of distributions, which we call tame distributions. We also introduce a category of probabilistic relations which was the original motivating example. Finally, we extend the recent work of Joyal, Street and Verity on traced monoidal categories to this setting by introducing the notion of a trace ideal. For a given symmetric monoidal category, it is not generally the case that arbitrary endomorphisms can be assigned a trace. However, we can find ideals in the category on which a trace can be defined satisfying equations analogous to those of Joyal, Street and Verity. We establish a close correspondence between nuclear ideals and trace ideals in a tensored *-category, suggested by the correspondence between Hilbert-Schmidt operators and trace operators on a Hilbert space.


title: Semiintegrable almost Grassmann structures

abstract: In the present paper we study locally semiflat (we also call them semiintegrable) almost Grassmann structures. We establish necessary and sufficient conditions for an almost Grassmann structure to be alpha- or beta-semiintegrable. These conditions are expressed in terms of the fundamental tensors of almost Grassmann structures. Since we are not able to prove the existence of locally semiflat almost Grassmann structures in the general case, we give many examples of alpha- and beta-semiintegrable structures, mostly four-dimensional. For all examples we find systems of differential equations of the families of integral submanifolds V_alpha and V_beta of the distributions Delta_alpha and Delta_beta of plane elements associated with an almost Grassmann structure. For some examples we were able to integrate these systems and find closed form equations of submanifolds V_alpha and V_beta.


title: Axioms for Weak Bialgebras

abstract: Let A be a finite dimensional unital associative algebra over a field K, which is also equipped with a coassociative counital coalgebra structure (\Delta,\eps). A is called a Weak Bialgebra if the coproduct \Delta is multiplicative. We do not require \Delta(1) = 1 \otimes 1 nor multiplicativity of the counit \eps. Instead, we propose a new set of counit axioms, which are modelled so as to guarantee that \Rep\A becomes a monoidal category with unit object given by the cyclic A-submodule \E := (A --> \eps) \subset \hat A (\hat A denoting the dual weak bialgebra). Under these monoidality axioms \E and \bar\E := (\eps <-- A) become commuting unital subalgebras of \hat A which are trivial if and only if the counit \eps is multiplicative. We also propose axioms for an antipode S such that the category \Rep\A becomes rigid. S is uniquely determined, provided it exists. If a monoidal weak bialgebra A has an antipode S, then its dual \hat A is monoidal if and only if S is a bialgebra anti-homomorphism, in which case S is also invertible. In this way we obtain a definition of weak Hopf algebras which in Appendix A will be shown to be equivalent to the one given independently by G. B\"ohm and K. Szlach\'anyi. Special examples are given by the face algebras of T. Hayashi and the generalised Kac algebras of T. Yamanouchi.


title: On symmetries of KdV-like evolution equations

abstract: The $x$-dependence of the symmetries of (1+1)-dimensional scalar translationally invariant evolution equations is described. The sufficient condition of (quasi)polynomiality in time $t$ of the symmetries of evolution equations with constant separant is found. The general form of time dependence of the symmetries of KdV-like non-linearizable evolution equations is presented.


title: On Finite-Dimensional Semisimple and Cosemisimple Hopf Algebras in Positive Characteristic

abstract: Recently, important progress has been made in the study of finite-dimensional semisimple Hopf algebras over a field of characteristic zero. Yet, very little is known over a field of positive characteristic. In this paper we prove some results on finite-dimensional semisimple and cosemisimple Hopf algebras A over a field of positive characteristic, notably Kaplansky's 5th conjecture on the order of the antipode of A. These results have already been proved over a field of characteristic zero, so in a sense we demonstrate that it is sufficient to consider semisimple Hopf algebras over such a field (they are also cosemisimple), and then to use our Lifting Theorem 2.1 to prove it for semisimple and cosemisimple Hopf algebras over a field of positive characteristic. In our proof of Lifting Theorem 2.1 we use standard arguments of deformation theory from positive to zero characteristic. The key ingredient of the proof is the theorem that the bialgebra cohomology groups of A vanish.


title: Conformal and Grassmann structures

abstract: The main results on the theory of conformal and almost Grassmann structures are presented. The common properties of these structures and also the differences between them are outlined. In particular, the structure groups of these structures and their differential prolongations are found. A complete system of geometric objects of the almost Grassmann structure totally defining its geometric structure is determined. The vanishing of these objects determines a locally Grassmann manifold. It is proved that the integrable almost Grassmann structures are locally Grassmann. The criteria of semiintegrability of almost Grassmann structures is proved in invariant form.


title: An Application of Okada's Minor Summation Formula

abstract: Noam Elkies and Everett Howe independently noticed a certain elegant product formula for the multiple integral \int_R \prod_{1 \le i < j \le k} (x_j-x_i) dx_1 \cdots dx_k, where the region $R$ is the set of $k$-tuples satisfying $0 < x_1 < \cdots < x_k < 1$. Later this formula turned out to be a special case of a formula of Selberg. We prove an apparently different generalization \int_R \det\left(x_i^{a_j-1}\right)dx_1 \cdots dx_k = {\prod_{1 \le i<j \le k}(a_j-a_i)\over \prod_{1 \le i \le k} a_i \prod_{1 \le i<j \le k} (a_j+a_i)}. The key tool is a limiting form of a remarkable identity of Okada for summing the k by k minors of an n by k matrix.


title: On the theory of almost Grassmann structures

abstract: The differential geometry of almost Grassmann structures defined on a differentiable manifold of dimension n = pq by a fibration of Segre cones SC (p, q) is studied. The peculiarities in the structure of almost Grassmann structures for the cases p=q=2; p = 2, q > 2 (or p > 2, q = 2), and p > 2, q > 2 are clarified. The fundamental geometric objects of these structures up to fourth order are derived. The conditions under which an almost Grassmann structure is locally flat or locally semiflat are found for all cases indicated above.


title: Even compositions of entire functions and related matters

abstract: We examine when the composition of two entire functions f and g is even, and extend some of our results to cyclic compositions in general. We prove some theorems for the cases when f or g is a polynomial. Two of the key theorems we use are a well-known result of Borel, and a theorem of Baker and Gross concerning when f(p(z))=f(q(z)).


title: Geometrie d'Arakelov et hauteurs canoniques sur des varietes semi-abeliennes

abstract: Canonical heights and Arakelov geometry on semi-abelian varieties. In this paper, we propose a construction of the canonical heights on an extension of an abelian variety by the multiplicative group, in the framework of Arakelov geometry. These canonical heights are the sum of some height coming from the abelian variety and something we call a relative height. We finally give some complements about the points whose relative height is zero.


title: Time-Periodic Quasigeostrophic Motion under Dissipation and Forcing

abstract: The quasigeostrophic equation is a prototypical geophysical fluid model. In this paper, we consider time-periodic motions of this model under dissipation and time-dependent wind forcing. We show that when the wind forcing is time-periodic and the spatial square-integral of the wind forcing is bounded in time, the full nonlinear quasigeostrophic model has time-periodic motions, under some conditions on $\beta$ parameter, Ekman number, viscousity and the domain size.


title: Dissipative Quasigeostrophic Dynamics under Random Forcing

abstract: The quasigeostrophic model is a simplified geophysical fluid model at asymptotically high rotation rate or at small Rossby number. We consider the quasigeostrophic equation with dissipation under random forcing in bounded domains. We show that global unique solutions exist for appropriate initial data. Unlike the deterministic quasigeostrophic equation whose well-posedness is well-known, there seems no rigorous result on global existence and uniqueness of the randomly forced quasigeostrophic equation. Our work provides such a rigorous result on global existence and uniqueness, under very mild conditions.


title: Virasoro constraints and the Chern classes of the Hodge bundle

abstract: We analyse the consequences of the Virasoro conjecture of Eguchi, Hori and Xiong for Gromov-Witten invariants, in the case of zero degree maps to the manifolds CP^1 and CP^2 (or more generally, smooth projective curves and smooth simply-connected projective surfaces). We obtain predictions involving intersections of psi and lambda classes on the compactification of M_{g,n}. In particular, we show that the Virasoro conjecture for CP^2 implies the numerical part of Faber's conjecture on the tautological Chow ring of M_g.


title: A Series of Smooth Irregular Varieties in Projective Space

abstract: One of the simplest examples of a smooth, non degenerate surface in P^4 is the quintic elliptic scroll. It can be constructed from an elliptic normal curve E by joining every point on E with the translation of this point by a non-zero 2-torsion point. The same construction can be applied when E is replaced by a (lineaerly normally embedded) abelian variety A. In this paper we ask the question when the resulting scroll Y is smooth. If A is an abelian surface embedded by a line bundle L of type (d_1,d_2) and r=d_1d_2, then we prove that for general A the scroll Y is smooth if r is at least 7 with the one exception where r=8 and the 2-torsion point is in the kernel K(L) of L. In this case Y is singular.The case r=7 is particularly interesting, since then Y is a smooth threefold in P^6 with irregularity 2. The existence of this variety seems not to have been noticed before. One can also show that the case of the quintic elliptic scroll and the above case are the only possibilities where Y is smooth and the codimension of Y is at most half the dimension of the surrounding projective space.


title: Weak Hopf Algebras I: Integral Theory and C^*-structure

abstract: We give an introduction to the theory of weak Hopf algebras proposed recently as a coassociative alternative of weak quasi-Hopf algebras. We follow an axiomatic approach keeping as close as possible to the "classical" theory of Hopf algebras. The emphasis is put on the new structure related to the presence of canonical subalgebras A^L and A^R in any weak Hopf algebra A that play the role of non-commutative numbers in many respects. A theory of integrals is developed in which we show how the algebraic properties of A, such as the Frobenius property, or semisimplicity, or innerness of the square of the antipode, are related to the existence of non-degenerate, normalized, or Haar integrals. In case of C^*-weak Hopf algebras we prove the existence of a unique Haar measure h in A and of a canonical grouplike element g in A implementing the square of the antipode and factorizing into left and right algebra elements. Further discussion of the C^*-case will be presented in Part II.


title: Minimal Surfaces of Least Total Curvature and Moduli Spaces of Plane Polygonal Arcs

abstract: We prove the existence of complete minimal surfaces of genus g>1 which minimize the total curvature for their genus. Our method is first to identify this (Weierstrass high dimensional period) problem with the problem of finding a particular type of polygonal arc in the complex domain: the arc alternates between horizontal and vertical segments, and the two complementary regions admit a conformal, vertex-preserving map. The pair of complementary domains represent flat structures for pieces of the Weierstrass data. We then find such an arc within a moduli space of candidate polygonal arcs by exploring differences in conformal geometry between the regions. The argument is sufficiently robust that it generalizes to prove the existence of other types of minimal surfaces. (Those surfaces will be described in a forthcoming paper; the surfaces described here extend work of Chen-Gackst\"atter and do Esp\'irito Santo, and our argument represents a proof independent of one given at about the same time by K. Sato.)


title: Quasi--Projective Reduction of Toric Varieties

abstract: We define a quasi--projective reduction of a complex algebraic variety $X$ to be a regular map from $X$ to a quasi--projective variety that is universal with respect to regular maps from $X$ to quasi--projective varieties. A toric quasi--projective reduction is the analogous notion in the category of toric varieties. For a given toric variety $X$ we first construct a toric quasi--projective reduction. Then we show that $X$ has a quasi--projective reduction if and only if its toric quasi--projective reduction is surjective. We apply this result to characterize when the action of a subtorus on a quasi--projective toric variety admits a categorical quotient in the category of quasi--projective varieties.


title: On the Geometry of Inhomogeneous Quantum Groups

abstract: We first give a pedagogical introduction to the differential calculus on q-groups and analize the relation between differential calculus and q-Lie algebra. Equivalent definitions of bicovariant differential calculus are studied and their geometrical interpretation is explained. Vectorfields, contraction operator and Lie derivative are defined and their properties discussed. After a review of the geometry of the (multiparametric) linear q-group $GL_{q,r}(N)$ we construct the inhomogeneous q-group $IGL_{q,r}(N)$ as a projection from $GL_{q,r}(N+1)$, i.e. as a quotient of $GL_{q,r}(N+1)$ with respect to a suitable Hopf algebra ideal. The semidirect product structure of $IGL_{q,r}(N)$ given by the $GL_{q,r}(N)$ q-subgroup times translations is easily analized. A bicovariant calculus on $IGL_{q,r}(N)$ is explicitly obtained as a projection from the one on $GL_{q,r}(N+1)$. The universal enveloping algebra of $IGL_{q,r}(N)$ and its $R$-matrix formulation are constructed along the same lines. We proceed similarly in the orthogonal and symplectic case. We find the inhomogeneous multiparametric q-groups of the $B_n,C_n,D_n$ series via a projection from $B_{n+1}, C_{n+1},D_{n+1}$. We give an $R$-matrix formulation and discuss real forms. We study their universal enveloping algebras and differential calculi. In particular we obtain the bicovariant calculus on a dilatation-free minimal deformation of the Poincar\'e group $ISO_q(3,1)$. The projection procedure is also used to construct differential calculi on multiparametric q-orthogonal planes in any dimension $N$. Real forms are studied and in particular we obtain a q-Minkowski space and its q-deformed phase-space with hermitian operators $x^a$ and $p_a$.


title: Real forms of quantum orthogonal groups, q-Lorentz groups in any dimension

abstract: We review known real forms of the quantum orthogonal groups SO_q(N). New *-conjugations are then introduced and we contruct all real forms of quantum orthogonal groups. We thus give an RTT formulation of the *-conjugations on SO_q(N) that is complementary to the U_q(g) *-structure classification of Twietmeyer \cite{Twietmeyer}. In particular we easily find and describe the real forms SO_q(N-1,1) for any value of N. Quantum subspaces of the q-Minkowski space are analized.


title: Plane quartics with Jacobians isomorphic to a hyperelliptic Jacobian

abstract: We show how for every integer n one can explicitly construct n distinct plane quartics and one hyperelliptic curve over the complex numbers all of whose Jacobians are isomorphic to one another as abelian varieties without polarization. When we say that the curves can be constructed ``explicitly'', we mean that the coefficients of the defining equations of the curves are simple rational expressions in algebraic numbers in R whose minimal polynomials over Q can be given exactly and whose decimal approximations can be given to as many places as is necessary to distinguish them from their conjugates. We also prove a simply-stated theorem that allows one to decide whether or not two plane quartics over the complex numbers, each with a pair of commuting involutions, are isomorphic to one another.


title: Particles and Quantum Symmetries

abstract: The concept of quantum commutativity with respect to an action or coaction of a given Hopf algebra is used for the algebraic description of a system of particles and their interaction with certain quantum field. Graded commutativity and particles in singular magnetic field are considered as a particular example of the general formalism. The corresponding statistics and generalized Pauli exclusion principle are also mentioned.


title: The fake monster formal group

abstract: The main result of this paper is the construction of ``good'' integral forms for the universal enveloping algebras of the fake monster Lie algebra and the Virasoro algebra. As an application we construct formal group laws over the integers for these Lie algebras. We also prove a form of the no-ghost theorem over the integers, and use this to verify an assumption used in the proof of the modular moonshine conjectures.


title: On the modulus of C. J. Read's operator

abstract: Let T be the quasinilpotent operator on ell_1 without an invariant subspace constructed by C. J. Read in [R3]. We prove that the modulus of this operator has an invariant subspace (and even an eigenvector). This answers a question posed by Y. Abramovich, C. Aliprantis and O. Burkinshaw in [AAB1,AAB3]


title: The Attractor of Renormalization and Rigidity of Towers of Critical Circle Maps

abstract: We demonstrate the existence of a global attractor A with a Cantor set structure for the renormalization of critical circle mappings. The set A is invariant under a generalized renormalization transformation, whose action on A is conjugate to the two-sided shift.


title: Enumeration Schemes And (More Importantly) Their Automatic Generation

abstract: It is way too soon to teach our computers how to become full-fledged humans. It is even premature to teach them how to become mathematicians, it is even unwise, at present, to teach them how to become combinatorialists. But the time is ripe to teach them how to become experts in a suitably defined and narrowly focused subarea of combinatorics. In this article, I will describe my efforts to teach my beloved computer, Shalosh B. Ekhad, how to be an enumerator of Wilf classes.


title: Vanishing theorems for the kernel of a Dirac operator

abstract: We obtain a vanishing theorem for the kernel of a Dirac operator on a Clifford module twisted by a sufficiently large power of a line bundle, whose curvature is non-degenerate at any point of the base manifold. In particular, if the base manifold is almost complex, we prove a vanishing theorem for the kernel of a $\spin^c$ Dirac operator twisted by a line bundle with curvature of a mixed sign. In this case we also relax the assumption of non-degeneracy of the curvature. These results are generalization of a vanishing theorem of Borthwick and Uribe. As an application we obtain a new proof of the classical Andreotti-Grauert vanishing theorem for the cohomology of a compact complex manifold with values in the sheaf of holomorphic sections of a holomorphic vector bundle, twisted by a large power of a holomorphic line bundle with curvature of a mixed sign. As another application we calculate the sign of the index of a signature operator twisted by a large power of a line bundle.


title: Orlik-Solomon algebras and Tutte polynomials

abstract: The $OS$ algebra $A$ of a matroid $M$ is a graded algebra related to the Whitney homology of the lattice of flats of $M$. In case $M$ is the underlying matroid of a hyperplane arrangement \A in $\C^r$, $A$ is isomorphic to the cohomology algebra of the complement $\C^r\setminus \bigcup \A.$ Few examples are known of pairs of arrangements with non-isomorphic matroids but isomorphic $OS$ algebras. In all known examples, the Tutte polynomials are identical, and the complements are homotopy equivalent but not homeomorphic. We construct, for any given simple matroid $M_0$, a pair of infinite families of matroids $M_n$ and $M'_n$, $n\geq 1$, each containing $M_0$ as a submatroid, in which corresponding pairs have isomorphic $OS$ algebras. If the seed matroid $ M_0$ is connected, then $M_n$ and $M'_n$ have different Tutte polynomials. As a consequence of the construction, we obtain, for any $m$, $m$ different matroids with isomorphic $OS$ algebras. Suppose one is given a pair of central complex hyperplane arrangements $\A_0$ and $\A_1$. Let $\S$ denote the arrangement consisting of the hyperplane $\{0\}$ in $\C^1$. We define the parallel connection $P(\A_0,\A_1)$, an arrangement realizing the parallel connection of the underlying matroids, and show that the direct sums $\A_0 \oplus \A_1$ and $\S\oplus P(\A_0,\A_1)$ have diffeomorphic complements.


title: The Moduli Space of Hyperbolic Cone Structures

abstract: Let $\Sigma$ be a hyperbolic link with $m$ components in a 3-dimensional manifold $X$. In this paper, we will show that the moduli space of marked hyperbolic cone structures on the pair $(X, \Sigma)$ with all cone angle less than $2\pi /3$ is an $m$-dimensional open cube, parameterized naturally by the $m$ cone angles. As a corollary, we will give a proof of a special case of Thurston's geometrization theorem for orbifolds.


title: Kobayashi hyperbolicity of almost complex manifolds

abstract: Our goal here is to give a simple proof of the non integrable version of Brody's characterisation theorem.


title: Operator Representations of a q-Deformed Heisenberg Algebra

abstract: A class of well-behaved *-representations of a q-deformed Heisenberg algebra is studied and classified.


title: A Siegel cusp form of degree 12 and weight 12

abstract: The theta series of the two unimodular even positive definite lattices of rank 16 are known to be linearly dependent in degree at most 3 and linearly independent in degree 4. In this paper we consider the next case of the 24 Niemeier lattices of rank 24. The associated theta series are linearly dependent in degree at most 11 and linearly independent in degree 12. The resulting Siegel cusp form of degree 12 and weight 12 is a Hecke eigenform which seems to have interesting properties.


title: Towards Drinfeld-Sokolov reduction for quantum groups

abstract: In this paper we study the Poisson-Lie version of the Drinfeld-Sokolov reduction defined in q-alg/9704011, q-alg/9702016. Using the bialgebra structure related to the new Drinfeld realization of affine quantum groups we describe reduction in terms of constraints. This realization of reduction admits direct quantization. As a byproduct we obtain an explicit expression for the symplectic form associated to the twisted Heisenberg double and calculate the moment map for the twisted dressing action. For some class of infinite-dimensional Poisson Lie groups we also prove an analogue of the Ginzburg-Weinstein isomorphism.


title: Reduction of quantum systems with arbitrary first class constraints and Hecke algebras

abstract: We propose a method for reduction of quantum systems with arbitrary first class constraints. An appropriate mathematical setting for the problem is homology of associative algebras. For every such an algebra $A$ and its subalgebra B with an augmentation e there exists a cohomological complex which is a generalization of the BRST one. Its cohomology is an associative graded algebra Hk^{*}(A,B) which we call the Hecke algebra of the triple (A,B,e). It acts in the cohomology space H^{*}(B,V) for every left A- module V. In particular the zeroth graded component Hk^{0}(A,B) acts in the space of B- invariants of V and provides the reduction of the quantum system.


title: A family of combinatorial identities arising form quantum affine algebras

abstract: We obtain a family of new combinatorial identities for symmetric formal power series.


title: Plane Geometry: An Elementary School Textbook (ca. 2050)

abstract: In this reverse archeological find, we see how mathematics will be written in fifty years.


title: Aufgabe VII.47 of Polya-Szego Implies Robbins's Multi-Integral Evaluation

abstract: It is remarked that Dave Robbins's Expression for the integral of an alternant over the unit simplex (math.CO/9805108) follows immediately from an excercise in Polya-Szego.


title: Actions of compact groups on coherent sheaves

abstract: Let K be a compact Lie group and G its complexification. For a not necessarily reduced Stein K-space X we show that there is a complex space Z endowed with a holomorphic action of the universal complexification G of K that contains X as an open K-stable subset. The correspondence is functorial. As our main result we prove that every coherent K-sheaf on X extends uniquely to a G-sheaf on Z.


title: Differential Hopf Algebras on Quantum Groups of Type A

abstract: Let A be a Hopf algebra and $Gamma$ be a bicovariant first order differential calculus over A. It is known that there are three possibilities to construct a differential Hopf algebra $Gamma^wedge$ that contains $Gamma$ as its first order part; namely the universal exterior algebra, the second antisymmetrizer exterior algebra, and Woronowicz' external algebra. Now let A be one of the quantum groups GL_q(N) or SL_q(N). Let $Gamma$ be one of the N^2-dimensional bicovariant first order differential calculi over A and let q be transcendental. For Woronowicz' external algebra we determine the dimension of the space of left-invariant and of bi-invariant k-forms. Bi-invariant forms are closed and represent different de Rham cohomology classes. The algebra of bi-invariant forms is graded anti-commutative. For N>2 the three differential Hopf algebras coincide. However, in case of the 4D_\pm-calculi on SL_q(2) the universal differential Hopf algebra is strictly larger than Woronowicz' external algebra. The bi-invariant 1-form is not closed.


title: Smooth curves on projective K3 surfaces

abstract: In this paper we give for all $n \geq 2$, d>0, $g \geq 0$ necessary and sufficient conditions for the existence of a pair (X,C), where X is a K3 surface of degree 2n in $\matbf{P}^{n+1}$ and C is a smooth (reduced and irreducible) curve of degree d and genus g on X. The surfaces constructed have Picard group of minimal rank possible (being either 1 or 2), and in each case we specify a set of generators. For $n \geq 4$ we also determine when X can be chosen to be an intersection of quadrics (in all other cases X has to be an intersection of both quadrics and cubics). Finally, we give necessary and sufficient conditions for $\O_C (k)$ to be non-special, for any integer $k \geq 1$.


title: Ruelle operators: Functions which are harmonic with respect to a transfer operator

abstract: Let $ N \in \mathbb{N} $, $ N \geq 2 $, be given. Motivated by wavelet analysis, we consider a class of normal representations of the $ C^* $-algebra $ \mathfrak{A}_{N} $ on two unitary generators $ U $, $ V $ subject to the relation \[ UVU^{-1}=V^{N}. \] The representations are in one-to-one correspondence with solutions $ h \in L^{1}(\mathbb{T}) $, $ h \geq 0 $, to $ R(h)=h $ where $ R $ is a certain transfer operator (positivity-preserving) which was studied previously by D. Ruelle. The representations of $ \mathfrak{A}_{N} $ may also be viewed as representations of a certain (discrete) $ N $-adic $ ax+b $ group which was considered recently by J.-B. Bost and A. Connes.


title: Discrete Darboux transformation for discrete polynomials of hypergeometric type

abstract: Darboux Transformation, well known in second order differential operator theory, is applied here to the difference equation satisfied by the discrete hypergeometric polynomials(Charlier, Meixner-Krawchuk, Hahn).


title: The factorization method for the Askey-Wilson polynomials.

abstract: A special Infeld-Hall factorization is given for the Askey-Wilson second order q-difference operator. It is then shown how to deducd a generalization of the corresponding Askey-Wilson polynomials.


title: Integral transforms with H-function kernels on $\LLL_{\nu,r}$-Spaces

abstract: Integral transforms $$(\mbox{\boldmath$H$}f)(x)=\int^\infty_0H^{m,n}_{\thinspace p,q} \left[xt\left|\begin{array}{c}(a_i,\alpha_i)_{1,p}\\[1mm](b_j,\beta_j)_{1,q} \end{array}\right.\right]f(t)dt$$ involving Fox's $H$-functions as kernels are studied in the spaces $\Ls_{\nu,r}$ of functions $f$ such that $$\int^\infty_0|t^\nu f(t)|^r\frac{dt}t<\infty\quad(1\ \eqls\ r<\infty, \ \nu\in\Rs).$$ Mapping properties such as the boundedness, the representation and the range of the transforms \boldmath$H$ are given.


title: Length of Boolean algebras and ultraproducts

abstract: We prove the consistency with ZFC of ``the length of an ultraproduct of Boolean algebras is smaller than the ultraproduct of the lengths''. Similarly for some other cardinal invariants of Boolean algebras.


title: Categoricity of an abstract elementary class in two successive cardinals

abstract: We investigate categoricity of abstract elementary classes without any remnants of compactness (like non-definability of well ordering, existence of E.M. models or existence of large cardinals). We prove (assuming a weak version of GCH around lambda) that if K is categorical in lambda, lambda^+, LS(K) <= lambda and 1 <= I(lambda^{++},K)< 2^{lambda^{++}} then K has a model in lambda^{+++} .


title: On distinguishing quotients of symmetric groups

abstract: A study is carried out of the elementary theory of quotients of symmetric groups in a similar spirit to [Sh:24]. Apart from the trivial and alternating subgroups, the normal subgroups of the full symmetric group S(mu) on an infinite cardinal mu are all of the form S_kappa(mu)= the subgroup consisting of elements whose support has cardinality <kappa for some kappa <= mu^+. A many-sorted structure M_{kappa lambda mu} is defined which, it is shown, encapsulates the first order properties of the group S_lambda (mu)/S_kappa (mu). Specifically, these two structures are (uniformly) bi-interpretable, where the interpretation of M_{kappa lambda mu} in S_lambda(mu)/S_kappa(mu) is in the usual sense, but in the other direction is in a weaker sense, which is nevertheless sufficient to transfer elementary equivalence. By considering separately the cases cf(kappa) > 2^{aleph_0}, cf(kappa) <= 2^{aleph_0}< kappa, aleph_0< kappa < 2^{aleph_0}, and kappa = aleph_0, we make a further analysis of the first order theory of S_lambda(mu)/S_kappa(mu), introducing many-sorted second order structures N^2_{kappa lambda mu}, all of whose sorts have cardinality at most 2^{aleph_0} .


title: Strongly meager sets do not form an ideal

abstract: A set X subseteq R is strongly meager if for every measure zero set H, X+H not= R. Let SM denote the collection of strongly meager sets. We show that assuming CH, SM is not an ideal.


title: On the existence of universal models

abstract: Suppose that $\lambda=\lambda^{<\lambda} \ge\aleph_0$, and we are considering a theory $T$. We give a criterion on $T$ which is sufficient for the consistent existence of $\lambda^{++}$ universal models of $T$ of size $\lambda^+$ for models of $T$ of size $\le\lambda^+$, and is meaningful when $2^{\lambda^+}>\lambda^{++}$. In fact, we work more generally with abstract elementary classes. The criterion for the consistent existence of universals applies to various well known theories, such as triangle-free graphs and simple theories. Having in mind possible applications in analysis, we further observe that for such $\lambda$, for any fixed $\mu>\lambda^+$ regular with $\mu=\mu^{\lambda^+}$, it is consistent that $2^\lambda=\mu$ and there is no normed vector space over ${\Bbf Q}$ of size $<\mu$ which is universal for normed vector spaces over ${\Bbf Q}$ of dimension $\lambda^+$ under the notion of embedding $h$ which specifies $(a,b)$ such that $\norm{h(x)}/\norm{x}\in (a,b)$ for all $x$.


title: Regressive Ramsey numbers are Ackermannian

abstract: We give an elementary proof of the fact that regressive Ramsey numbers are Ackermannian. This fact was first proved by Kanamori and McAloon with mathematical logic techniques.


title: Uniformly antisymmetric function with bounded range

abstract: The goal of this note is to construct a uniformly antisymmetric function f:R-> R with a bounded countable range. This answers Problem 1(b) of Ciesielski and Larson. (See also list of problems in Thomson and Problem 2(b) from Ciesielski's survey.) A problem of existence of uniformly antisymmetric function f:R-> R with finite range remains open.


title: Group negative curvature for 3-manifolds with genuine laminations

abstract: We show that if a closed atoroidal 3-manifold M contains a genuine lamination, then it is group negatively curved in the sense of Gromov. Specifically, we exploit the structure of the non-product complementary regions of the genuine lamination and then apply the first author's Ubiquity Theorem to show that M satisfies a linear isoperimetric inequality.


title: The generalized Witt algebras using additive maps

abstract: Wawamoto generalized the Witt algebra using Laurent extension of polynomial ring. We construct the generalized Witt algebra $W(g_p,n)$ by using an additive map $g_p$ from a set of integers into a field of characteristic zero where $1\leq p \leq n.$


title: A conformal differential invariant and the conformal rigidity of hypersurfaces

abstract: For a hypersurface V of a conformal space, we introduce a conformal differential invariant I = h^2/g, where g and h are the first and the second fundamental forms of V connected by the apolarity condition. This invariant is called the conformal quadratic element of V. The solution of the problem of conformal rigidity is presented in the framework of conformal differential geometry and connected with the conformal quadratic element of V. The main theorem states: Let n \geq 4 and V and V' be two nonisotropic hypersurfaces without umbilical points in a conformal space C^n or a pseudoconformal space C^n_q of signature (p, q), p = n - q. Suppose that there is a one-to-one correspondence f: V ---> V' between points of these hypersurfaces, and in the corresponding points of V and V' the following condition holds: I' = f_* I, where f_*: T (V) ---> T (V) is a mapping induced by the correspondence f. Then the hypersurfaces V and V' are conformally equivalent.


title: Growth and spectrum of diffusions

abstract: We prove an upper bound on the bottom of the essential spectrum of a diffusion in term of the growth of the volume of $X$, generalizing a result by R. Brooks.


title: A tower of genus 2 curves related to the Kowalewski top

abstract: Several curves of genus 2 are known, such that the equations of motion of the Kowalewski top are linearized on their Jacobians. One can expect from transcendental approaches via solutions of equations of motion in theta-functions, that their Jacobians are isogeneous. The paper focuses on two such curves: Kowalewski's and that of Bobenko-Reyman-Semenov-Tian-Shansky, the latter arising from the solution of the problem by the method of spectral curves. An isogeny is established between the Jacobians of these curves by purely algebraic means, using Richelot's transformation of a genus 2 curve. It is shown that this isogeny respects the Hamiltonian flows. The two curves are completed into an infinite tower of genus 2 curves with isogeneous Jacobians.


title: A contribution of a U(1)-reducible connection to quantum invariants of links I: R-matrix and Burau representation

abstract: We use the relation between the quantum su(2) R-matrix and the Burau representation of the braid group in order to study the structure of the colored Jones polynomial of links. We show that similarly to the case of a knot, the colored Jones polynomial of a link can be presented as a formal series in powers of q-1. The coefficients of this series are rational functions of q^(color) whose denominators are powers of the Alexander-Conway polynomial.


title: Cross-projective representations of pairs of anticommutative algebras, alloys and finite-dimensional irreducible representations of some infinite-dimensional Lie algebras

abstract: The article is devoted to some ``strange'' phenomena of representation theory and their interrelations. Cross-projective representations of pairs of anticommutative algebras, alloys, their universal envelopping Lie algebras and their representations, quaternary algebras and their alloyability are discussed. Considered examples allow to conclude that new representations have some intriguing features (continuous moduli of finite-dimensional irreducible representations, sophisticated Clebsch-Gordan coefficient calculus, etc.).


title: Special Langrangian geometry and slightly deformed algebraic geometry (spLag and sdAG)

abstract: The special geometry of calibrated cycles, closely related to mirror symmetry among Calabi--Yau 3-folds, is itself a real form of a new subject, which we call slightly deformed algebraic geometry. On the other hand, both of these geometries are parallel to classical gauge theories and their complexifications. This article explains this parallelism, so that the appearance of invariants of new type in complexified gauge theory (see Donaldson--Thomas [D-T] and Thomas [T]) can be accompanied by analogous invariants in the theory of special Lagrangian cycles, for which the development is at present much more modest than in gauge theory. We discuss related geometric constructions, arising from mirror symmetry and symplectic geometry.


title: Invariant Linear Manifolds for CSL-Algebras and Nest Algebras

abstract: Every invariant linear manifold for a CSL-algebra is a closed subspace if, and only if, each non-zero projection in the projection lattice is generated by finitely many atoms. In the case of a nest, this condition is equivalent to the condition that every non-zero projection in the nest has an immediate predecessor (the nest of orthogonal complements is well ordered). The invariant linear manifolds of a nest algebra are totally ordered by inclusion if, and only if, every non-zero projection in the nest has an immediate predecessor.


title: Construction of Covariant Differential Calculi on Quantum Homogeneous Spaces

abstract: A method of constructing covariant differential calculi on a quantum homogeneous space is devised. The function algebra X of the quantum homogeneous space is assumed to be a left coideal of a coquasitriangular Hopf algebra H and to contain the coefficients of any matrix over H which is the two-sided inverse of one with entries in X. The method is based on partial derivatives. For the quantum sphere of Podles and the quantizations of symmetric spaces due to Noumi, Dijkhuizen and Sugitani the construction produces the subcalculi of the standard bicovariant calculus on the quantum group.


title: The normed and Banach envelopes of Weak L^1

abstract: The space Weak L^1 consists of all measurable functions on [0,1] such that q(f) = sup_{c>0} c \lambda{t : |f(t)| > c} is finite, where \lambda denotes Lebesgue measure. Let \rho be the gauge functional of the unit ball {f : q(f) \leq 1} of the quasi- norm q, and let N be the null space of \rho. The normed envelope of Weak L^1, which we denote by W, is the space (Weak L^1/N, \rho). The Banach envelope of Weak L^1, \overline{W}, is the completion of W. We show that \overline{W} is isometrically lattice isomorphic to a sublattice of W. It is also shown that all rearrangement invariant Banach function spaces are isometrically isomorphic to a sublattice of W.


title: Lefschetz Fibrations and 3-Fold Branched Covering Spaces

abstract: This paper is withdrawn by the author. See math.GT/9811093 for replacement.


title: The Modular Form of the Barth-Nieto Quintic

abstract: Barth and Nieto have found a remarkable quintic threefold which parametrizes Heisenberg invariant Kummer surfaces which belong to abelian surfaces with a (1,3)-polarization and a lecel 2 structure. A double cover of this quintic, which is also a Calabi-Yau variety, is birationally equivalent to the moduli space {\cal A}_3(2) of abelian surfaces with a (1,3)-polarization and a level 2 structure. As a consequence the corresponding paramodular group \Gamma_3(2) has a unique cusp form of weight 3. In this paper we find this cusp form which is \Delta_1^3. The form \Delta_1 is a remarkable weight 1 cusp form with a character with respect to the paramodular group \Gamma_3. It has several interesting properties. One is that it admits an infinite product representation, the other is that it vanishes of order 1 along the diagonal in Siegel space. In fact \Delta_1 is an element of a short series of modular forms with this last property. Using the fact that \Delta_1 is a weight 3 cusp form with respect to the group \Gamma_3(2) we give an independent construction of a smooth projective Calabi-Yau model of the moduli space {\cal A}_3(2).


title: A Remark on the Three Dimensional Baroclinic Quasigeostrophic Dynamics

abstract: We consider time-periodic patterns of the dissipative three dimensional baroclinic quasigeostrophic model in spherical coordinates, under time-dependent forcing. We show that when the forcing is time-periodic and the spatial square-integral of the forcing is bounded in time, the model has time-periodic solutions.


title: Gromov-Witten Invariants of Symplectic Sums

abstract: The natural sum operation for symplectic manifolds is defined by gluing along codimension two submanifolds. Specifically, let X be a symplectic 2n-manifold with a symplectic (2n-2)-submanifold V. Given a similar pair (Y,W) with a symplectic identification V=W and a complex anti-linear isomorphism between the normal bundles of V and W, we can form the symplectic sum Z=X # Y. This note announces a general formula for computing the Gromov-Witten invariants of the sum Z in terms of relative Gromov-Witten invariants of (X,V) and (Y,W). Two applications are presented: a short derivation of the Caporaso-Harris formula [CH], and new proof that the rational enumerative invariants of the rational elliptic surface are given by the ``modular form'' (5.2).


title: Extended jordanian twists for Lie algebras

abstract: Jordanian quantizations of Lie algebras are studied using the factorizable twists. For a restricted Borel subalgebras ${\bf B}^{\vee}$ of $sl(N)$ the explicit expressions are obtained for the twist element ${\cal F}$, universal ${\cal R}$-matrix and the corresponding canonical element ${\cal T}$. It is shown that the twisted Hopf algebra ${\cal U}_{\cal F} ({\bf B}^{\vee})$ is self dual. The cohomological properties of the involved Lie bialgebras are studied to justify the existence of a contraction from the Dinfeld-Jimbo quantization to the jordanian one. The construction of the twist is generalized to a certain type of inhomogenious Lie algebras.


title: Non-removable sets for quasiconformal and locally biLipschitz mappings in R^3

abstract: We give an example of a totally disconnected set E in R^3 which is not removable for quasiconformal homeomorphisms, i.e., there is a homeomorphism f of R^3 to itself which is quasiconformal off E, but not quasiconformal on all of R^3. The set E may be taken with Hausdorff dimension 2. The construction also gives a non-removable set for locally biLipschitz homeomorphisms.


title: Sl_n-character varieties as spaces of graphs

abstract: An SL_n-character of a group G is the trace of an SL_n-representation of G. We show that all algebraic relations between SL_n-characters of G can be visualized as relations between graphs (resembling Feynman diagrams) in any topological space X, with pi_1(X)=G. We also show that all such relations are implied by a single local relation between graphs. In this way, we provide a topological approach to the study of SL_n-representations of groups. The motivation for this paper was our work with J. Przytycki on invariants of links in 3-manifolds which are based on the Kauffman bracket skein relation. These invariants lead to a notion of a skein module of M which, by a theorem of Bullock, Przytycki, and the author, is a deformation of the SL_2-character variety of pi_1(M). This paper provides a generalization of this result to all SL_n-character varieties.


title: Green's Conjecture for the generic canonical curve

abstract: Green's Conjecture states the following : syzygies of the canonical model of a curve are simple up to the p^th stage if and only if the Clifford index of C is greater than p. We prove that the generic curve of genus g satisfies Green's conjecture.


title: Singular points of lightlike hypersurfaces of the de Sitter space

abstract: The authors study singular points of lightlike hypersurfaces of the de Sitter space S^{n+1}_1 and the geometry of hypersurfaces and use them for construction of an invariant normalization and an invariant affine connection of lightlike hypersurfaces.


title: Heegaard Splittings with Boundary and Almost Normal Surfaces

abstract: This paper generalizes the definition of a Heegaard splitting to unify Scharlemann and Thomspon's concept of thin position for 3-manifolds, Gabai's thin position for knots, and Rubinstein's almost normal surface theory. This gives generalizations of theorems of Scharlemann, Thompson, Rubinstein, and Stocking. In the final section, we use this machinery to produce an algorithm to determine the bridge number of a knot, provided thin position for the knot coincides with bridge position. We also present several finiteness and algorithmic results about Dehn fillings with "small" Heegaard genus.


title: Convolution theorem for non-degenerate maps and composite singularities

abstract: We give a formula for the spectral pairs (after Steenbrink) for composite singularities of several variables. (Note that for two variable case is studyed by Nemethi-Steenbrink.) Here composite singularity is given by the equation f(g_1, ..., g_n) = 0. For technical reason, we assume that f is non-degenerated with respect to the Newton boundary.


title: A Lefschetz type coincidence theorem

abstract: A Lefschetz-type coincidence theorem for two maps f,g:X->Y from an arbitrary topological space X to a manifold Y is given: I(f,g)=L(f,g), the coincidence index is equal to the Lefschetz number. It follows that if L(f,g) is not equal to zero then there is an x in X such that f(x)=g(x). In particular, the theorem contains some well-known coincidence results for (i) X,Y manifolds and (ii) f with acyclic fibers.


title: Concrete representation of martingales

abstract: Let (f_n) be a mean zero vector valued martingale sequence. Then there exist vector valued functions (d_n) from [0,1]^n such that int_0^1 d_n(x_1,...,x_n) dx_n = 0 for almost all x_1,...,x_{n-1}, and such that the law of (f_n) is the same as the law of (sum_{k=1}^n d_k(x_1,...,x_k)) . Similar results for tangent sequences and sequences satisfying condition (C.I.) are presented. We also present a weaker version of a result of McConnell that provides a Skorohod like representation for vector valued martingales. This paper may be found at http://math.missouri.edu/~stephen/preprints


title: Structures and Diagrammatics of Four Dimensional Topological Lattice Field Theories

abstract: Crane and Frenkel proposed a state sum invariant for triangulated 4-manifolds.They defined and used new algebraic structures called Hopf categories for their construction. Crane and Yetter studied Hopf categories and gave some examples using group cocycles that are associated to the Drinfeld double of a finite group. In this paper we define a state sum invariant of triangulated 4-manifolds using Crane-Yetter cocycles as Boltzmann weights. Our invariant generalizes the 3-dimensional invariants defined by Dijkgraaf and Witten and the invariants that are defined via Hopf algebras. We present diagrammatic methods for the study of such invariants that illustrate connections between Hopf categories and moves to triangulations.


title: Normal surfaces with strictly nef anticanonical divisors

abstract: In this paper we study normal surfaces whose anticanonical divisors are strictly nef, i.e. (-K)C>0 for every curve C.


title: Frobenius properties and Maschke-type theorems for entwined modules

abstract: Entwined modules arose from the coalgebra-Galois theory. They are a generalisation of unified Doi-Hopf modules. In this paper, Frobenius properties and Maschke-type theorems, known for Doi-Hopf modules are extended to the case of entwined modules.


title: Full crossed products by Hopf C*-algebras

abstract: We show that when a co-involutive Hopf C*-algebra $S$ coacts via $\delta$ on a C*-algebra $A$, there exists a full crossed product $A\times_\delta S$, with universal properties analogous to those of full crossed products by locally compact groups. The dual Hopf C*-algebra is then defined by $\hat S:={\Bbb C}\times_{\id} S$.


title: S_3 x S_3 acts freely on S^3 x S^3

abstract: A free action of the direct product of two copies of the symmetric group on 3 elements on the cartesian product of two copies of the 3-sphere is constructed. This nonlinear action is constructed using surgery. The action provides a counterexample to a conjecture of Lewis made in 1968.


title: Virasoro Constraints For Quantum Cohomology

abstract: Eguchi-Hori-Xiong and S. Katz proposed a conjecture that the partition function of topological sigma model coupled to gravity is annihilated by infinitely many differential operators which form half branch of the Virasoro algebra. In this paper, we give a proof to this conjecture for the genus 0 part.


title: Exceptional quotient singularities

abstract: A singularity is said to be exceptional (in the sense of V. Shokurov), if for any log canonical boundary, there is at most one exceptional divisor of discrepancy -1. In our previous paper (math.AG/9805004) we found two examples of exceptional canonical singularities: these are quotients by Klein's simple group of order 168 or by its central extension of order 504. Now we classify all the three-dimensional exceptional quotient singularities.


title: Insurance policy value and Pareto-optimal retention in the hypothesis of rare loss events

abstract: In the hypothesis of rare loss events, the general expression of the policy value has been determined as a functional of the "expected frequency / loss severity" function and of the retention function. Exponential disutility has been chosen after mathematical characterization of some of its economical aspects, where functional properties of quasiarithmetic averages have been used. By means of variational techniques, in the case of a risk neutral Insurer the Pareto-optimal retention function has been finally determined.


title: Operator Algebras and Conformal Field Theory III. Fusion of positive energy representations of LSU(N) using bounded operators

abstract: Fusion of positive energy representations is defined using Connes' tensor product for bimodules over a von Neumann algebra. Fusion is computed using the analytic theory of primary fields and explicit solutions of the Knizhnik-Zamolodchikov equation.


title: Sugawara Construction for Higher Genus Riemann Surfaces

abstract: By the classical genus zero Sugawara construction one obtains from admissible representations of affine Lie algebras (Kac-Moody algebras of affine type) representations of the Virasoro algebra. In this lecture first the classical construction is recalled. Then, after giving a review on the global multi-point algebras of Krichever-Novikov type for compact Riemann surfaces of arbitrary genus, the higher genus Sugawara construction is introduced. Finally, the lecture reports on results obtained in joint work with O.K. Sheinman. We were able to show that also in the higher genus, multi-point situation one obtains from representations of the global algebras of affine type representations of a centrally extended algebra of meromorphic vector fields on Riemann surfaces. The latter algebra is the generalization of the Virasoro algebra to higher genus. Invited lecture at the XVI${}^{th}$ workshop on geometric methods in physics, Bialowieza, Poland, June 30 -- July 6, 1997.


title: Dynamics of a Nonlocal Kuramoto-Sivashinsky Equation

abstract: In this paper we study the effects of a ``nonlocal'' term on the global dynamics of the Kuramoto-Sivashinsky equation. We show that the equation possesses a ``family of maximal attractors'' parameterized by the mean value of the initial data. The dimension of the attractor is estimated as a function of the coefficient of the nonlocal term and the width of the periodic domain.


title: Trajectory and Attractor Convergence for a Nonlocal Kuramoto-Sivashinsky Equation

abstract: The nonlocal Kuramoto-Sivashinsky equation arises in the modeling of the flow of a thin film of viscous liquid falling down an inclined plane, subject to an applied electric field. In this paper, the authors show that, as the coefficient of the nonlocal integral term goes to zero, the solution trajectories and the maximal attractor of the nonlocal Kuramoto-Sivashinsky equation converge to those of the usual Kuramoto-Sivashinsky equation.


title: The Gassner representation for string links

abstract: The Gassner representation of the pure braid group to $GL_n(Z[Z^n])$ can be extended to give a representation of the concordance group of $n$-strand string links to $GL_n(F)$, where $F$ is the field of quotients of $\zz[\zz^n]$, $ F = Q(t_1,...,t_n)$; this was first observed by Le Dimet. Here we present simple new perspectives on its definition, its computation, and its applications to obtain both general results and interesting family of examples.


title: The Goulden-Jackson Cluster Method: Extensions, Applications and Implementations

abstract: The powerful (and so far under-utilized) Goulden-Jackson Cluster method for finding the generating function for the number of words avoiding, as factors, the members of a prescribed set of `dirty words', is tutorialized and extended in various directions. The authors' Maple implementations, contained in several Maple packages available from this paper's website (http://www.math.temple.edu/~zeilberg/gj.html), are described and explained.


title: A Combinatorial Proof of Bass's Evaluations of the Ihara-Selberg Zeta Function for Graphs

abstract: We derive combinatorial proofs of the main two evaluations of the Ihara-Selberg Zeta function associated with a graph. We give three proofs of the first evaluation all based on the algebra of Lyndon words. In the third proof it is shown that the first evaluation is an immediate consequence of Amitsur's identity on the characteristic polynomial of a sum of matrices. The second evaluation of the Ihara-Selberg Zeta function is first derived by means of a sign-changing involution technique. Our second approach makes use of a short matrix-algebra argument.


title: Curing the Andrews syndrom

abstract: George Andrews's recent challenge to automated identity-proving and the WZ method is dealt with. It is argued that the rivalry between the classical and automated approaches to hypergeometric sums is beneficial to both.


title: A fractal dimension estimate for a graph-directed IFS of non-similarities

abstract: Suppose a graph-directed iterated function system consists of maps f_e with upper estimates of the form d(f_e(x),f_e(y)) <= r_e d(x,y). Then the fractal dimension of the attractor K_v of the IFS is bounded above by the dimension associated to the Mauldin--Williams graph with ratios r_e. Suppose the maps f_e also have lower estimates of the form d(f_e(x),f_e(y)) >= r'_e d(x,y) and that the IFS also satisfies the strong open set condition. Then the fractal dimension of the attractor K_v of the IFS is bounded below by the dimension associated to the Mauldin--Williams graph with ratios r'_e. When r_e = r'_e, then the maps are similarities and this reduces to the dimension computation of Mauldin & Williams for that case.


title: A binomial coefficient identity associated to a conjecture of Beukers

abstract: A combinatorial identity that was needed in Ahlgren and Ono's proof of a certain congruence conjecture of Frits Beukers is stated, and a pointer to its WZ proof is given.


title: How Much Should a 19th-Century French Bastard Inherit

abstract: Catalan's formula, for the portion of the inheritance that a legitimate child of a 19th-century deceased French gentleman should receive, is given a new proof (using Difference Operators), and generalized. Another, more computationally efficient, formula is also derived.


title: Proof of a determinant evaluation conjectured by Bombieri, Hunt and van der Poorten

abstract: A determinant evaluation is proven, a special case of which establishes a conjecture of Bombieri, Hunt, and van der Poorten (Experimental Math\. {\bf 4} (1995), 87--96) that arose in the study of Thue's method of approximating algebraic numbers.


title: Quantum Z-algebras and representations of quantum affine algebras

abstract: Generalizing our earlier work, we introduce the homogeneous quantum $Z$-algebras for all quantum affine algebras $\alg$ of type one. With the new algebras we unite previously scattered realizations of quantum affine algebras in various cases. As a result we find a realization of $U_q(F_4^{(1)})$.


title: Modules, comodules and cotensor products over Frobenius algebras

abstract: We characterize noncommutative Frobenius algebras A in terms of the existence of a coproduct which is a map of left A^e-modules. We show that the category of right (left) comodules over A, relative to this coproduct, is isomorphic to the category of right (left) modules. This isomorphism enables a reformulation of the cotensor product of Eilenberg and Moore as a functor of modules rather than comodules. We prove that the cotensor product M \Box N of a right A-module M and a left A-module N is isomorphic to the vector space of homomorphisms from a particular left A^e-module D to N \otimes M, viewed as a left A^e-module. Some properties of D are described. Finally, we show that when A is a symmetric algebra, the cotensor product M \Box N and its derived functors are given by the Hochschild cohomology over A of N \otimes M.


title: Boundary Functions for Ideals in Analytic Limit Algebras

abstract: We develop a theory of boundary functions for ideals in trivially analytic subalgebras of simple AF C*-algebras with an injective 0-cocycle, a class which includes all full nest algebras. Boundary functions are maps from the spectrum of the diagonal of the analytic subalgebra to itself. The relation between boundary functions and ideal sets is explored and a description is given of meet and join irreducible boundary functions.


title: Abstract blowing down

abstract: Assume that $X$ is a surface over an algebraically closed field $k$. Let $\tilde{X}$ be obtained from $X$ by blowing up a smooth point and let $L$ be the exceptional curve. Let $\coh(X)$ be the category of coherent sheaves on $X$. In this note we show how to recover $\coh({X})$ from $\coh(\tilde{X})$, if we know the object $\Oscr_L(L)$.


title: A remark on algebraic surfaces with polyhedral Mori cone

abstract: We denote by FPMC the class of all non-singular projective algebraic surfaces X over C with a finite polyhedral Mori cone NE(X)\subset NS(X)\otimes R. If rho(X)=rk NS(X)\ge 3, then the set Exc(X) of all exceptional curves on X\in FPMC is finite and generates NE(X). Let \delta_E(X) be the maximum of (-E^2) and p_E(X) the maximum of p_a(E) respectively for E\in Exc(X). For fixed \rho \ge 3, \delta_E and p_E we denote by FPMC_{\rho,\delta_E,p_E} the class of all X\in FPMC such that \rho(X)=\rho, \delta_E(X)=\delta_E and p_E(X)=p_E. We prove that the class FPMC_{\rho,\delta_E,p_E} is bounded: for any X\in FPMC_{\rho,\delta_E,p_E} there exist an ample effective divisor h and a very ample divisor h' such that h^2\le N(\rho,\delta_E) and {h'}^2\le N'(\rho,\delta_E,p_E) where the constants N(\rho,\delta_E)$ and N'(\rho,\delta_E,p_E) depend only on (\rho, \delta_E) and (\rho, \delta_E, p_E) respectively. One can consider Theory of surfaces X\in FPMC as Algebraic Geometry analog of the Theory of arithmetic reflection groups in hyperbolic spaces.


title: A formula for the Euler characteristic of $\bar{\cal M}_{2,n}$

abstract: In this paper we compute the generating function for the Euler characteristic of the Deligne-Mumford compactification of the moduli space of smooth n-pointed genus 2 curves.


title: Quotients of Toric Varieties by the Action of a Subtorus

abstract: We consider the action of a subtorus of the big torus on a toric variety. The aim of the paper is to define a natural notion of a quotient for this setting and to give an explicit algorithm for the construction of this quotient from the combinatorial data corresponding to the pair consisting of the subtorus and the toric variety. Moreover, we study the relations of such quotients with good quotients. We construct a good model, i.e. a dominant toric morphism from the given toric variety to some ``maximal'' toric variety having a good quotient by the induced action of the given subtorus.


title: A Faithful Representation of the Singular Braid Monoid on Three Strands

abstract: We show that a certain linear representation of the singular braid monoid on three strands is faithful. Furthermore we will give a second - group theoretically motivated - solution to the word problem in this monoid.


title: Classification of irreducible modules for the vertex operator algebra M(1)^+

abstract: We classify the irreducible modules for the fixed point vertex operator subebra of the rank 1 free bosonic VOA under the -1 automorphism.


title: On some finite generation properties

abstract: In the algebra $\Cal A=\Cal L(PSL(2,\Bbb Z)\otimes B(H)=\Cal L(F_N)\otimes B(H)$, $N$ finite, there exists a bounded subnormal operator $Z$, such that $\Cal A$ is the weak closure of linear span of the set ${(Z^*)^n Z^m| n,m=0,1,2...}$.


title: Projective representation of k-Galilei group

abstract: The projective representations of k-Galilei group G_k are found by contracting the relevant representations of k-Poincare group. The projective multiplier is found. It is shown that it is not possible to replace the projective representations of G_k by vector representations of some its extension.


title: Subfactors associated to compact Kac algebras

abstract: We construct inclusions of the form $(B_0\otimes P)^G\subset (B_1\otimes P)^G$, where $G$ is a compact quantum group of Kac type acting on an inclusion of finite dimensional $\c^*$-algebras $B_0\subset B_1$ and on a $II_1$ factor $P$. Under suitable assumptions on the actions of $G$, this is a subfactor, whose Jones to er and standard invariant can be computed by using techniques of A. Wassermann. The subfactors associated to subgroups of compact groups, to projective representations of compact groups, to finite quantum groups, to finitely generated discrete groups, to vertex models and to spin models are of this form.


title: Spanning trees and a conjecture of Kontsevich

abstract: Kontsevich conjectured that the number f(G,q) of zeros over the finite field with q elements of a certain polynomial connected with the spanning trees of a graph G is polynomial function of q. We have been unable to settle Kontsevich's conjecture. However, we can evaluate f(G,q) explicitly for certain graphs G, such as the complete graph. We also point out the connection between Kontsevich's conjecture and such topics as the Matrix-Tree Theorem and orthogonal geometry.


title: Monodromy of certain Painleve' VI transcendents and reflection groups

abstract: We study the global analytic properties of the solutions of a particular family of Painleve' VI equations with the parameters $\beta=\gamma=0$, $\delta={1\over2}$ and $\alpha$ arbitrary. We introduce a class of solutions having critical behaviour of algebraic type, and completely compute the structure of the analytic continuation of these solutions in terms of an auxiliary reflection group in the three dimensional space. The analytic continuation is given in terms of an action of the braid group on the triples of generators of the reflection group. This result is used to classify all the algebraic solutions of our Painleve' VI equation.


title: Flag-symmetry of the poset of shuffles and a local action of the symmetric group

abstract: We show that the poset of shuffles introduced by Greene in 1988 is flag-symmetric, and we describe a "local" permutation action of the symmetric group on the maximal chains which is closely related to the flag symmetric function of the poset. A key tool is provided by a new labeling of the maximal chains of a poset of shuffles, which is also used to give bijective proofs of enumerative properties originally obtained by Greene. In addition we define a monoid of multiplicative functions on all posets of shuffles and describe this monoid in terms of a new operation on power series in two variables.


title: Solutions of the Yang-Baxter equation and quantum sl(2)

abstract: We construct a quantum deformation of a family of the Yang-Baxter equation solutions naturally arising from a Lie algebra sl(2).


title: Hyperbolic groups with 1-dimensional boundary

abstract: If a torsion-free hyperbolic group G has 1-dimensional boundary, then the boundary is a Menger curve or a Sierpinski carpet provided G does not split over a cyclic group. When the boundary of G is a Sierpinski carpet we show that G is a quasi-convex subgroup of a 3-dimensional hyperbolic Poincare duality group. We also construct a ``topologically rigid'' hyperbolic group G: any homeomorphism of the boundary of G is induced by an element of G.


title: Zelevinsky's involution at roots of unity

abstract: We give a combinatorial algorithm for computing Zelevinsky's involution of the set of isomorphism classes of irreducible representations of the affine Hecke algebra $\H_m(t)$ when $t$ is a primitive $n$th root of 1. We show that the same map can also be interpreted in terms of aperiodic nilpotent orbits of $\Zb/n\Zb$-graded vector spaces.


title: Numerical Analysis of Two-Phase Flow in Gas-Dynamic Filter

abstract: This paper presents numerical and analytical investigation of gas flow in gas-dynamic filter - a device for cleaning gas from solid particles with counter flow of large water particles in order to prevent their release to the atmosphere. Ideal and viscous gas flows are considered. It is assumed, that gas flow is stationary, incompressible and plane, thus in the case of ideal gas stream function is considered, and in its terms boundary conditions are formulated. To determine stream function Dirichlet problem for Laplace equation is solved. Numerical solution is obtained using five-point scheme, and analytical - by conformal mapping. It is demonstrated that numerical solution fits very accurately with the analytical one. Then in the already known gas flow field trajectories of particles of different size are calculated in Lagrange formulation, taking into account dust particles as well as filtering water drops. Trajectories of particles of several different sizes under different modes of filter operation were analysed. The adequacy of real and computed flow is demonstrated. Computation of the flow is done using full Navier-Stokes equations. The possibility of formation of rotation and separation zones in the flow is demonstrated.