title: Separability, multi-valued operators, and zeroes of L-functions

abstract: Let $\k$ be a global function field in 1-variable over a finite extension of $\Fp$, $p$ prime, $\infty$ a fixed place of $\k$, and $\A$ the ring of functions of $\k$ regular outside of $\infty$. Let $E$ be a Drinfeld module or $T$-module. Then, as in \cite{go1}, one can construct associated characteristic $p$ $L$-functions based on the classical model of abelian varieties {\it once} certain auxiliary choices are made. Our purpose in this paper is to show how the well-known concept of ``maximal separable (over the completion $\k_\infty$) subfield'' allows one to construct from such $L$-functions certain separable extensions which are independent of these choices. These fields will then depend only on the isogeny class of the original $T$-module or Drinfeld module and $y\in \Zp$, and should presumably be describable in these terms. Moreover, they give a very useful framework in which to view the ``Riemann hypothesis'' evidence of \cite{w1}, \cite{dv1}, \cite{sh1}. We also establish that an element which is {\it separably} algebraic over $\k_\infty$ can be realized as a ``multi-valued operator'' on general $T$-modules. This is very similar to realizing 1/2 as the multi-valued operator $x\mapsto \sqrt{x}$ on $\C^\ast$. Simple examples show that this result is false for non-separable elements. This result may eventually allow a ``two $T$'s'' interpretation of the above extensions in terms of multi-valued operators on $E$ and certain tensor twists.


title: Remarks on normal bases

abstract: We prove that any Galois extension of commutative rings with normal basis and abelian Galois group of odd order has a self dual normal basis. Also we show that if S/R is an unramified extension of number rings with Galois group of odd order and $R$ is totally real then the normal basis does not exist for S/R.


title: Torsion points on y^2=x^6+1

abstract: Let C be the curve y^2=x^6+1 of genus 2 over a field of characteristic zero. Consider C embedded in its Jacobian J by sending one of the points at infinity on C to the origin of J. In this brief note we show that the points of C whose image on J are torsion are precisely the two points at infinity and the six points with y=0.


title: A double complex for computing the sign-cohomology of the universal ordinary distribution

abstract: We give a new method for solving a problem originally solved about 20 years ago by Sinnott and Kubert, namely that of computing the cohomology of the universal ordinary distribution with respect to the action of the two-element group generated by complex conjugation. We develop the method in sufficient generality so as to be able to calculate analogous cohomology groups in the function field setting which have not previously been calculated. In particular, we are able to confirm a conjecture of L.~S.~Yin conditional on which Yin was able to obtain results on unit indices generalizing those of Sinnott in the classical cyclotomic case and Galovich-Rosen in the Carlitz cyclotomic case. The Farrell-Tate cohomology theory for groups of finite virtual cohomological dimension plays a key role in our proof of Yin's conjecture. The methods developed in the paper have recently been used by P.~Das to illuminate the structure of the Galois group of the algebraic extension of the rational number field generated by the roots of unity and the algebraic $\Gamma$-monomials. This paper has appeared as Contemp. Math. 224 (1999) 1-27.


title: Compactness of the d-bar-Neumann problem on convex domains

abstract: The d-bar-Neumann operator on (0,q)-forms ($1\le q \le n$) on a bounded convex domain Omega in C^n is compact if and only if the boundary of Omega contains no complex analytic (equivalently: affine) variety of dimension greater than or equal to q.


title: Combinatorial problems about free groups and algebras

abstract: This is a survey of recent progress in several areas of combinatorial algebra. We consider combinatorial problems about free groups, polynomial algebras, free associative and Lie algebras. Our main idea is to study automorphisms and, more generally, homomorphisms of various algebraic systems by means of their action on ``very small" sets of elements, as opposed to a traditional approach of studying their action on subsystems (like subgroups, normal subgroups; subalgebras, ideals, etc.) We will show that there is a lot that can be said about a homomorphism, given its action on just a single element, if this element is ``good enough". Then, we consider somewhat bigger sets of elements, like, for example, automorphic orbits, and study a variety of interesting problems arising in that framework. One more point that we make here is that one can use similar combinatorial ideas in seemingly distant areas of algebra, like, for example, group theory and commutative algebra. In particular, we use the same language of ``elementary transformations" in different contexts and show that this approach appears to be quite fruitful for all the areas involved.


title: The automorphism tower of a free group

abstract: We prove that the automorphism group of an arbitrary non-abelian free group is complete. It generalizes the result by J.Dyer and E.Formanek (1975) stating the completeness of automorphism group of finitely generated free groups. Using the description of involutions in automorphism groups of free groups (J. Dyer, P. Scott, 1975) we obtain a group-theoretic characterization of inner automorphisms determined by primitive elements in the automorphism group of any non-abelian free group F. It follows that the subgroup Inn(F) is characteristic in Aut(F), and hence the latter one is complete.


title: Aspects of Computability in Physics

abstract: This paper reviews connections between physics and computation, and explores their implications. The main topics are computational "hardness" of physical systems, computational status of fundamental theories, quantum computation, and the Universe as a computer.


title: What internal set theory knows about standard sets

abstract: We characterize those standard models M of ZFC which are embeddable, as the class of all standard sets, in a model of internal set theory IST. The necessary and sufficient condition is that 1) there is a wellordering < of M which does not destroy the ZFC schemata, and 2) the truth relation for (M,<) does not destroy Separation. The result is interpreted as the answer for the question in the title.


title: Nonlinear quotients

abstract: New concepts related to approximating a Lipschitz function between Banach spaces by affine functions are introduced. Results which clarify when such approximations are possible are proved and in some cases a complete characterization of the spaces $X$, $Y$ for which any Lipschitz function from $X$ to $Y$ can be so approximated is obtained. This is applied to the study of Lipschitz and uniform quotient mappings between Banach spaces. It is proved, in particular, that any Banach space which is a uniform quotient of $L_p$, $1<p<\infty$, is already isomorphic to a linear quotient of $L_p$.


title: A pair of optimal inequalities related to the error function

abstract: The Error Function \begin{eqnarray} V(x) & \equiv & \sqrt{\pi} e^{x^2} [1 - \hbox{erf}(x)] \\ & = & \int_0^\infty \frac{ e^{-u} }{\sqrt{x^2 + u}} du = 2 e^{x^2}\int_x^\infty e^{-t^2} dt \nonumber \end{eqnarray} arises in many contexts, from probability to mathematical physics. We give estimates for the Error Function from above and below which are optimal within a certain class of functions.


title: Reflexivity of the automorphism and isometry groups of the suspension of $B(H)$

abstract: The aim of this paper is to show that the automorphism and isometry groups of the suspension of $B(H)$, $H$ being a separable infinite dimensional Hilbert space, are algebraically reflexive. This means that every local automorphism, respectively local surjective isometry of $C_0(\mathbb R)\otimes B(H)$ is an automorphism, respectively a surjective isometry.


title: Bellman functions and two weight inequalities for Haar multipliers

abstract: We give necessary and sufficient conditions for two weight norm inequalities for Haar multipliers operators and for square functions. We also give sufficient conditions for two weight norm inequalities for the Hilbert transform.


title: Weak type estimates and Cotlar inequalities for Calder\'{o}n-Zygmund operators in nonhomogeneous spaces

abstract: In the paper we consider Calder\'{o}n-Zygmund operators in nonhomogeneous spaces. We are going to prove the analogs of classical results for homogeneous spaces. Namely, we prove that a Calder\'{o}n-Zygmund operator is of weak type if it is bounded in $L^2$. We also prove several versions of Cotlar's inequality for maximal singular operator. One version of Cotlar's inequality (a simpler one) is proved in Euclidean setting, another one in a more abstract setting when Besicovich covering lemma is not available. We obtain also the weak type of maximal singular operator from these inequalities.


title: The Calder\'{o}n Commutator Along a Parabola

abstract: We introduce an analogue of Calder\'on's first commutator along a parabola, and establish its $L^2$ boundedness under essentially sharp hypotheses.


title: Singular Integrals Associated to Hypersurfaces: $L^2$ Theory

abstract: We consider singular integrals associated to a classical Calder\'on-Zygmund kernel $K$ and a hypersurface given by the graph of $\varphi(\psi(t))$ where $\varphi$ is an arbitrary $C^1$ function and $\psi$ is a smooth convex function of finite type. We give a characterization of those Calder\'on-Zygmund kernels $K$ and convex functions $\psi$ so that the associated singular integral operator is bounded on $L^2$ for all $C^1$ functions $\varphi$.


title: Rational parameter rays of the Mandelbrot set

abstract: We give a new proof that all external rays of the Mandelbrot set at rational angles land, and of the relation between the external angle of such a ray and the dynamics at the landing point. Our proof is different from the original one, given by Douady and Hubbard and refined by Lavaurs, in several ways: it replaces analytic arguments by combinatorial ones; it does not use complex analytic dependence of the polynomials with respect to parameters and can thus be made to apply for non-complex analytic parameter spaces; this proof is also technically simpler. Finally, we derive several corollaries about hyperbolic components of the Mandelbrot set. Along the way, we introduce partitions of dynamical and parameter planes which are of independent interest, and we interpret the Mandelbrot set as a symbolic parameter space of kneading sequences and internal addresses.


title: Rigidity of critical circle mappings, I

abstract: We prove that two $C^r$ critical circle maps with the same rotation number of bounded type are $C^{1+\alpha}$ conjugate for some $\alpha>0$ provided their successive renormalizations converge together at an exponential rate in the $C^0$ sense. The number $\alpha$ depends only on the rate of convergence. We also give examples of $C^\infty$ critical circle maps with the same rotation number that are not $C^{1+\beta}$ conjugate for any $\beta>0$.


title: Rigidity of critical circle mappings, II

abstract: We prove that any two real-analytic critical circle maps with cubic critical point and the same irrational rotation number of bounded type are $C^{1+\alpha}$ conjugate for some $\alpha>0$.


title: Geometry of the Feigenbaum map

abstract: We show that the Feigenbaum-Cvitanovic equation can be interpreted as a linearizing equation, and the domain of analyticity of the Feigenbaum fixed point of renormalization as a basin of attraction. There is a natural decomposition of this basin which enables to recover a result of local connectivity by Jiang and Hu for the Feigenbaum Julia set.


title: On sums of powers of zeros of polynomials

abstract: Due to Girard's (sometimes called Waring's) formula the sum of the $r-$th power of the zeros of every one variable polynomial of degree $N$, $P_{N}(x)$, can be given explicitly in terms of the coefficients of the monic ${\tilde P}_{N}(x)$ polynomial. This formula is closely related to a known \par \noindent $N-1$ variable generalization of Chebyshev's polynomials of the first kind, $T_{r}^{(N-1)}$. The generating function of these power sums (or moments) is known to involve the logarithmic derivative of the considered polynomial. This entails a simple formula for the Stieltjes transform of the distribution of zeros. Perron-Stieltjes inversion can be used to find this distribution, {\it e.g.} for $N\to \infty$.\par Classical orthogonal polynomials are taken as examples. The results for ordinary Chebyshev $T_{N}(x)$ and $U_{N}(x)$ polynomials are presented in detail. This will correct a statement about power sums of zeros of Chebyshev's $T-$polynomials found in the literature. For the various cases (Jacobi, Laguerre, Hermite) these moment generating functions provide solutions to certain Riccati equations.


title: A conjectural description of the tautological ring of the moduli space of curves

abstract: The purpose of this paper is to formulate a number of conjectures giving a rather complete description of the tautological ring of M_g and to discuss the evidence for these conjectures.


title: A non-vanishing result for the tautological ring of {\cal M}_g

abstract: Looijenga recently proved that the tautological ring of M_g vanishes in degree d>g-2 and is at most one-dimensional in degree g-2, generated by the class of the hyperelliptic locus. Here we show that K_{g-2} is non-zero on M_g. The proof uses the Witten conjecture, proven by Kontsevich. With similar methods, we expect to be able to prove some (possibly all) of the identities in degree g-2 in the tautological ring that are part of the author's conjectural explicit description of the ring.


title: More on entangled linear orders

abstract: This paper grew as a continuation of [Sh462] but in the present form it can serve as a motivation for it as well. We deal with the same notions, and use just one simple lemma from there. Originally entangledness was introduced in order to get narrow Boolean algebras and examples of the nonmultiplicativity of c.c-ness. These applications became marginal when the hope to extract new such objects or strong colourings were not materialized, but after the pcf constructions which made their debut in [Sh:g] it seems that this notion gained independence. Generally we aim at characterizing the existence strong and weak entangled orders in cardinal arithmetic terms. In [Sh462] necessary conditions were shown for strong entangledness which in a previous version was erroneously proved to be equivalent to plain entangledness. In section 1 we give a forcing counterexample to this equivalence and in section 2 we get those results for entangledness (certainly the most interesting case). In section 3 we get weaker results for positively entangledness, especially when supplemented with the existence of a separating point. An antipodal case is defined and completely characterized. Lastly we outline a forcing example showing that these two subcases of positive entangledness comprise no dichotomy.


title: New non-free Whitehead groups (corrected version)

abstract: We show that it is consistent that there is a strongly aleph_1-free aleph_1-coseparable group of cardinality aleph_1 which is not aleph_1-separable.


title: After all, there are some inequalities which are provable in ZFC

abstract: We address ZFC inequalities between some cardinal invariants of the continuum, which turned to be true in spite of strong expectations given by [RoSh:470].


title: Dominating numbers for countable structures

abstract: This paper is concerned with certain generalizations of meagreness and their combinatorial equivalents. The simplest example, and the one which motivated further study in this area, comes about by considering the following definition: a set X subseteq R is said to be Q-nowhere dense if and only if for every rational q there exists and integer k such that the interval whose endpoints are q and q+1/k is disjoint from X. A set which is the union of countably many Q-nowhere dense sets will be called Q-very meagre. Steprans considered the least number of Q-meagre sets required to cover the real line and denoted by d_1. He showed that there is a continuous function H --- first constructed by Lebesgue --- such that the least number of smooth functions into which H can be decomposed is equal to d_1. This paper will further study d_1 and some of its generalizations. As well, an equivalence will be established between Q-meagreness and certain combinatorial properties of trees. This will lead to new cardinal invariants and various independence results about these will then be established.


title: Complexity problems associated with matrix rings, matrix semigroups and Rees matrix semigroups

abstract: Complexity problems associated with finite rings and finite semigroups, particularly semigroups of matrices over a field and the Rees matrix semigroups, are examined. Let M_nF be the ring of n x n matrices over the finite field F and let T_nF be the multiplicative semigroup of n x n matrices over the finite field F. It is proved that for any finite field F and positive integer n >= 2, the polynomial equivalence problem for the T_n F is co-NPcomplete, thus POL-EQ_\Sigma(M_n F) (POL-EQ_\Sigma is a polynomial equivalence problem for which polynomials are presented as sums of monomials) is also co-NP-complete thereby resolving a problem of J. Lawrence and R. Willard and completing the description of POL-EQ_\Sigma for the finite simple rings. In connection with our results on rings, we exhibit a large class of combinatorial Rees matrix semigroups whose polynomial equivalence problem is co-NP-complete. On the other hand, if S is a combinatorial Rees matrix semigroup with a totally balanced structure matrix M, then we prove that the polynomial equivalence problem for S is in P. Fully determining the complexity of the polynomial equivalence problem for combinatorial Rees matrix semigroups may be a difficult problem. We describe a connection between the polynomial equivalence problem for combinatorial Rees matrix semigroups and the retraction problem RET for bipartite graphs, a problem which computer scientists suspect may not admit a dichotomy into P and NP-complete problems (assuming P is not equal to NP).


title: Variational problems for Riemannian functionals and arithmetic groups

abstract: In this paper we introduce a new approach to variational problems on the space Riem(M^n) of Riemannian structures (i.e. isometry classes of Riemannan metrics) on any fixed compact manifold M^n of dimension n >= 5. This approach often enables one to replace the considered variational problem on Riem(M^n) (or on some subset of Riem(M^n)) by the same problem but on spaces Riem(N^n) for every manifold N^n from a class of compact manifolds of the same dimension and with the same homology as M^n but with the following two useful properties: (1) If \nu is any Riemannian structure on any manifold N^n from this class such that Ric_(N^n,\nu) >= -(n-1), then the volume of (N^n,\nu) is greater than one; and (2) Manifolds from this class do not admit Riemannian metrics of non-negative scalar curvature. As a first application we prove a theorem which can be informally explained as follows: Let M be any compact connected smooth manifold of dimension greater than four, M et(M) be the space of isometry classes of compact metric spaces homeomorphic to M endowed with the Gromov-Hausdorff topology, Riem_1(M) in M et(M ) be the space of Riemannian structures on M such that the absolute values of sectional curvature do not exceed one, and R_1(M) denote the closure of Riem_1(M) in M et(M ). Then diameter regarded as a functional on R_1(M) has infinitely many "very deep" local minima.


title: Primitive representations of finite semigroups I

abstract: Primitive representations of finite groups as well as primitive finite groups were classified in the O'Nan-Scott Theorem. In this paper we classify faithful finite primitive semigroup representations. To each finite primitive representation, we associate an invariant, a finite dimensional matirix with entries in a primitive finite groups representation. To a large extent, this matrix determines the representation. In later papers in this series the invariant is further explored. Our primitivity resoullts rely on two main ideas, one of which is a small but important part of the theory of tame algebras developed by R. McKenzie, while the other is our adaptation of Rees matrix theory to the representation theory of finite semigroups. Using the latter idea we are able to provide a description of all representations of a regular T class of a finite semigroup.


title: Computing all S-integral points on elliptic curves

abstract: In this note we combine the advantages of the methods of Siegel-Baker-Coates and of Lang-Zagier for the computation of S-integral points on elliptic curves in Weierstrass normal form over the rationals. In this way we are able to overcome the absence of an explicit lower bound for linear forms in q-adic elliptic logarithms. We present an efficient algorithm for determining all S-integral points on such curves.


title: Enumeration of rhombus tilings of a hexagon which contain a fixed rhombus on its symmetry axis

abstract: We compute the number of rhombus tilings of a hexagon with sides $N,M,N,N,M,N$, which contain a fixed rhombus on the symmetry axis. A special case solves a problem posed by Jim Propp.


title: Determinant identities and a generalization of the number of totally symmetric self-complementary plane partitions

abstract: We prove a constant term conjecture of Robbins and Zeilberger (J. Combin. Theory Ser. A 66 (1994), 17-27), by translating the problem into a determinant evaluation problem and evaluating the determinant. This determinant generalizes the determinant that gives the number of all totally symmetric self-complementary plane partitions contained in a $(2n)\times(2n)\times(2n)$ box and that was used by Andrews (J. Combin. Theory Ser. A 66 (1994), 28-39) and Andrews and Burge (Pacific J. Math. 158 (1993), 1-14) to compute this number explicitly. The evaluation of the generalized determinant is independent of Andrews and Burge's computations, and therefore in particular constitutes a new solution to this famous enumeration problem. We also evaluate a related determinant, thus generalizing another determinant identity of Andrews and Burge (loc. cit.). By translating some of our determinant identities into constant term identities, we obtain several new constant term identities.


title: The number of rhombus tilings of a "punctured" hexagon and the minor summation formula

abstract: We compute the number of all rhombus tilings of a hexagon with sides $a,b+1,c,a+1,b,c+1$, of which the central triangle is removed, provided $a,b,c$ have the same parity. The result is a product of four numbers, each of which counts the number of plane partitions inside a given box. The proof uses nonintersecting lattice paths and a new identity for Schur functions, which is proved by means of the minor summation formula of Ishikawa and Wakayama. A symmetric generalization of this identity is stated as a conjecture.


title: Schur function identities and the number of perfect matchings of holey Aztec rectangles

abstract: We compute the number of perfect matchings of an $M\times N$ Aztec rectangle where $|N-M|$ vertices have been removed along a line. A particular case solves a problem posed by Propp. Our enumeration results follow from certain identities for Schur functions, which are established by the combinatorics of nonintersecting lattice paths.


title: Quadrisecants of knots and links

abstract: We show that every non-trivial tame knot or link in R^3 has a quadrisecant, i.e. four collinear points. The quadrisecant must be topologically non-trivial in a precise sense. As an application, we show that a nonsingular, algebraic surface in R^3 which is a knotted torus must have degree at least eight.


title: Another homogeneous, non-bihomogeneous Peano continuum

abstract: K. Kuperberg found a locally connected, finite-dimensional continuum which is homogeneous but not bihomogeneous. We give a similar but simpler example. Like previous constructions, the example is locally a Cartesian product of Menger spaces. The new idea is to choose a fundamental group in which not every element is conjugate to its inverse.


title: Another proof of the alternating sign matrix conjecture

abstract: Robbins conjectured, and Zeilberger recently proved, that there are 1!4!7!...(3n-2)!/n!/(n+1)!/.../(2n-1)! alternating sign matrices of order n. We give a new proof of this result using an analysis of the six-vertex state model (also called square ice) based on the Yang-Baxter equation.


title: Elementary Proof of MacMahon's Conjecture

abstract: Major Percy A. MacMahon's first paper on plane partitions included a conjectured generating function for symmetric plane partitions. This conjecture was proven almost simultaneously by George Andrews and Ian Macdonald, Andrews using the machinery of basic hypergeometric series and Macdonald employing his knowledge of symmetric functions. The purpose of this paper is to simplify Macdonald's proof by providing a direct, inductive proof of his formula which expresses the sum of Schur functions whose partitions fit inside a rectangular box as a ratio of determinants.


title: The number of centered lozenge tilings of a symmetric hexagon

abstract: Propp conjectured that the number of lozenge tilings of a semiregular hexagon of sides $2n-1$, $2n-1$ and $2n$ which contain the central unit rhombus is precisely one third of the total number of lozenge tilings. Motivated by this, we consider the more general situation of a semiregular hexagon of sides $a$, $a$ and $b$. We prove explicit formulas for the number of lozenge tilings of these hexagons containing the central unit rhombus, and obtain Propp's conjecture as a corollary of our results.


title: Real trees in topology, geometry, and group theory

abstract: This is a survey of the theory of real trees and their applications.


title: A new approach to the word and conjugacy problems in the braid groups

abstract: A new presentation of the $n$-string braid group $B_n$ is studied. Using it, a new solution to the word problem in $B_n$ is obtained which retains most of the desirable features of the Garside-Thurston solution, and at the same time makes possible certain computational improvements. We also give a related solution to the conjugacy problem, but the improvements in its complexity are not clear at this writing.


title: The symmetry of intersection numbers in group theory

abstract: For suitable subgroups of a finitely generated group, we define the intersection number of one subgroup with another subgroup and show that this number is symmetric. We also give an interpretation of this number.


title: Deformations of Coxeter hyperplane arrangements

abstract: We investigate several hyperplane arrangements that can be viewed as deformations of Coxeter arrangements. In particular, we prove a conjecture of Linial and Stanley that the number of regions of the arrangement x_i - x_j = 1, 1 \leq i<j \leq n, is equal to the number of alternating trees on n+1 vertices. Remarkably, these numbers have several additional combinatorial interpretations in terms of binary trees, partially ordered sets, and tournaments. More generally, we give formulae for the number of regions and the Poincar'e polynomial of certain finite subarrangements of the affine Coxeter arrangement of type A_{n-1}. These formulae enable us to prove a "Riemann hypothesis" on the location of zeros of the Poincar'e polynomial. We also consider some generic deformations of Coxeter arrangements of type A_{n-1}.


title: Topological Quantum Field Theory And Strong Shift Equivalence

abstract: Given a TQFT in dimension d+1, and an infinite cyclic covering of a closed (d+1)-dimensional manifold M, we define an invariant taking values in a strong shift equivalence class of matrices. The notion of strong shift equivalence originated in R. Williams' work in symbolic dynamics. The Turaev-Viro module associated to a TQFT and an infinite cyclic covering is then given by the Jordan form of this matrix away from zero. This invariant is also defined if the boundary of M has a circle factor and the infinite cyclic cover of the boundary is standard. We define a variant of a TQFT associated to a finite group G which has been studied by Quinn. In this way, we recover a link invariant due to D. Silver and S. Williams. We also obtain a variation on the Silver-Williams invariant, by using the TQFT associated to G in its unmodified form.


title: Unimodality and the reflection principle

abstract: We show how lattice paths and the reflection principle can be used to give easy proofs of unimodality results. In particular, we give a "one-line" combinatorial proof of the unimodality of the binomial coefficients. Other examples include products of binomial coefficients, polynomials related to the Legendre polynomials, and a result connected to a conjecture of Simion.


title: Equivariant configuration spaces

abstract: We use the compression theorem (arxiv:math.GT/9712235) cf section 7, to prove results for equivariant configuration spaces analogous to the well-known non-equivariant results of May, Milgram and Segal.


title: The Tits alternative for Out(F_n) I: Dynamics of exponentially-growing automorphisms

abstract: The Tits alternative for Out(F_n) is reduced to the case where all elements in the subgroup under consideration grow polynomially.


title: The Tits Alternative for $Out(F_n)$ II: A Kolchin Type Theorem

abstract: The proof of the Tits alternative for $Out(F_n)$ is completed. The main tool is a Kolchin type theorem, proved in this paper. It states that a finitely generated subgroup of $Out(F_n)$ consisting of unipotent automorphisms can be conjugated into an upper-triangular subgroup (this is interpreted via train-tracks).


title: Solvable subgroups of Out(F_n) are virtually abelian

abstract: A companion result of the the Tits alternative for $Out(F_n)$ is proved: Every solvable subgroup of $Out(F_n)$ is finitely generated and virtually abelian.


title: 3-manifolds as viewed from the curve complex

abstract: A Heegaard diagram for a 3-manifold is regarded as a pair of simplexes in the complex of curves on a surface and a Heegaard splitting as a pair of subcomplexes generated by the equivalent diagrams. We relate geometric and combinatorial properties of these subcomplexes with topological properties of the manifold and/or the associated splitting. For example we show that for any splitting of a 3-manifold which is Seifert fibered or which contains an essential torus the subcomplexes are at a distance at most two apart in the simplicial distance on the curve complex; whereas there are splittings in which the subcomplexes are arbitrarily far apart. We also give obstructions, computable from a given diagram, to being Seifert fibered or to containing an essential torus.


title: Pure braids, a new subgroup of the mapping class group and finite type invariants

abstract: In the study of the relation between the mapping class group M of a surface and the theory of finite-type invariants of homology 3-spheres, three subgroups of the mapping class group play a large role. They are the Torelli group, the Johnson subgroup K and a new subgroup L, which contains K, defined by a choice of a Lagrangian subgroup of the homology of the surface. In this work we determine the quotient L/K, in terms of the precise description of M/K given by Johnson and Morita. We also study the lower central series of L and K, using some natural imbeddings of the pure braid group in L and the theory of finite-type invariants.


title: A topological method to compute spectral flow

abstract: This paper describes a topological method to compute the spectral flow of a family of twisted Dirac operators, it includes two detailed examples. Briefly, a formula of Atiyah, Patodi and Singer expresses the spectral flow in terms of Chern-Simons invariants and rho invariants. The first step is to construct a flat cobordism to a new bigger 3-manifold. The advantage of the new connection is that it is in the path component of a reducible connection. The second step is to calculate the effect of these operations on the invariants. The final step is an application of the G-signature theorem to compute the invariants.


title: How often is a permutation an n'th power?

abstract: We give a short argument that for any fixed n, the probability that a permutation on m letters is an n'th power is asymptotically C m^{phi(n)/n - 1}.


title: Bloch invariants of hyperbolic 3-manifolds

abstract: We define an invariant \beta(M) of a finite volume hyperbolic 3-manifold M in the Bloch group B(C) and show it is determined by the simplex parameters of any degree one ideal triangulation of M. \beta(M) lies in a subgroup of \B(\C) of finite \Q-rank determined by the invariant trace field of M. Moreover, the Chern-Simons invariant of M is determined modulo rationals by \beta(M). This leads to a simplicial formula and rationality results for the Chern Simons invariant which appear elsewhere. Generalizations of \beta(M) are also described, as well as several interesting examples. An appendix describes a scissors congruence interpretation of B(C).


title: Rationality problems for Chern-Simons invariants

abstract: This paper makes certain observations regarding some conjectures of Milnor and Ramakrishnan in hyperbolic geometry and algebraic K-theory. As a consequence of our observations, we obtain new results and conjectures regarding the rationality and irrationality of Chern-Simons invariants of hyperbolic 3-manifolds.


title: Hilbert's 3rd Problem and invariants of 3-manifolds

abstract: This paper is an expansion of my lecture for David Epstein's birthday, which traced a logical progression from ideas of Euclid on subdividing polygons to some recent research on invariants of hyperbolic 3-manifolds. This `logical progression' makes a good story but distorts history a bit: the ultimate aims of the characters in the story were often far from 3-manifold theory. We start in section 1 with an exposition of the current state of Hilbert's 3rd problem on scissors congruence for dimension 3. In section 2 we explain the relevance to 3-manifold theory and use this to motivate the Bloch group via a refined `orientation sensitive' version of scissors congruence. This is not the historical motivation for it, which was to study algebraic K-theory of C. Some analogies involved in this `orientation sensitive' scissors congruence are not perfect and motivate a further refinement in section 4. Section 5 ties together various threads and discusses some questions and conjectures.


title: Canonical decompositions of 3-manifolds

abstract: We describe a new approach to the canonical decompositions of 3-manifolds along tori and annuli due to Jaco-Shalen and Johannson (with ideas from Waldhausen) - the so-called JSJ-decomposition theorem. This approach gives an accessible proof of the decomposition theorem; in particular it does not use the annulus-torus theorems, and the theory of Seifert fibrations does not need to be developed in advance.


title: Kleinian Groups Generated by Rotations

abstract: We discuss which Kleinian groups are commensurable with Kleinian groups generated by rotations, with particular emphasis on Kleinian groups that arise from Dehn surgery on a knot.


title: Descents, quasi-symmetric functions, and the chromatic symmetric function

abstract: We give a new proof of Chung and Graham's ``G-descent expansion'' of the classical chromatic polynomial, as well as a special case of the quasi-symmetric function expansion of the path-cycle symmetric function Xi_D. Both proofs rely on Stanley's quasi-symmetric function expansion of the chromatic symmetric function X_G. We also show that Stanley's expansion suggests that a Robinson-Schensted algorithm for (3+1)-free posets---something that has been sought for unsuccessfully for some time---ought to ``respect descents'' in a certain precise sense.


title: A note on a combinatorial interpretation of the e-coefficients of the chromatic symmetric function

abstract: Stanley has studied a symmetric function generalization X_G of the chromatic polynomial of a graph G. The innocent-looking Stanley-Stembridge Poset Chain Conjecture states that the expansion of X_G in terms of elementary symmetric functions has nonnegative coefficients if G is a clawfree incomparability graph. Here we give a combinatorial interpretation of these coefficients by combining Gasharov's work on the conjecture with Egecioglu and Remmel's combinatorial interpretation of the inverse Kostka matrix. This gives a new proof of a partial nonnegativity result of Stanley. As an interesting byproduct we derive a previously unnoticed result relating acyclic orientations to P-tableaux.


title: Akbulut's corks and h-cobordisms of smooth simply connected 4-manifolds

abstract: This is primarily an exposition, combining work of several authors (Curtis, Hsiang, Freedman, Stong, Matveyev, and Bizaca), of the proof that a smooth 5-dimensional h-cobordism between simply connected 4-manifolds is a product off of a contractible piece which itself is diffeomorphic to the 5-ball.


title: A convolution formula for the Tutte polynomial

abstract: We give a convolution formula for the Tutte polynomial T_M (x,y) of a matroid M.


title: The Generalized Smale Conjecture for 3-manifolds with genus 2 one-sided Heegaard splittings

abstract: The Generalized Smale Conjecture asserts that if M is a closed 3-manifold with constant positive curvature, then the inclusion of the group of isometries into the group of diffeomorphisms is a homotopy equivalence. For the 3-sphere, this was the classical Smale Conjecture proved by A. Hatcher. N. Ivanov proved the Generalized Smale Conjecture for the M which contain a 1-sided Klein bottle and such that no Seifert fibering is nonsingular on the complement of any vertical Klein bottle. We prove it in all remaining cases containing a one-sided Klein bottle, except for the lens space L(4,1).


title: Isospectrality and 3-manifold groups

abstract: The relationship between the Chern-Simons invariant and eta-invariant of a 3-manifold is shown to lead to an obstruction to a group being the fundamental group of a closed oriented 3-manifold. The proof uses Sunada's construction of isospectral manifolds as covering spaces over a common base space.


title: The compression theorem I

abstract: This the first of a set of three papers about the Compression Theorem: if M^m is embedded in Q^q X R with a normal vector field and if q-m > 0, then the given vector field can be straightened (ie, made parallel to the given R direction) by an isotopy of M and normal field in Q X R. The theorem can be deduced from Gromov's theorem on directed embeddings [M Gromov, Partial differential relations, Springer-Verlag (1986); 2.4.5 C'] and is implicit in the preceeding discussion. Here we give a direct proof that leads to an explicit description of the finishing embedding. In the second paper in the series we give a proof in the spirit of Gromov's proof and in the third part we give applications.


title: The Rogers-Ramanujan Identities, the Finite General Linear Groups, and the Hall-Littlewood Polynomials

abstract: The Rogers-Ramanujan identities have been studied from the viewpoints of combinatorics, number theory, affine Lie algebras, statistical mechanics, and quantum field theory. This note connects the Rogers-Ramanujan identities with the finite general linear groups and the Hall-Littlewood polynomials of symmetric function theory.


title: Probabilistic measures and algorithms arising from the Macdonald symmetric functions

abstract: The Macdonald symmetric functions are used to define measures on the set of all partitions of all integers. Probabilistic algorithms are given for growing partitions according to these measures. The case of Hall-Littlewood polynomials is related to the finite classical groups, and the corresponding algorithms simplify. The case of Schur functions leads to a $q$-analog of Plancharel measure, and a conditioned version of the corresponding algorithms yields generalizations of the hook walk of combinatorics.


title: A probabilistic approach toward the finite general linear and unitary groups

abstract: Probabilistic algorithms are applied to prove theorems about the finite general linear and unitary groups which are typically proved by techniques such as character theory and Moebius inversion. Among the theorems studied are Steinberg's count of unipotent elements, Rudvalis and Shindoda's work on the fixed space of a random matrix, and Lusztig's work on counting nilpotent matrices of a given rank.


title: Cycle indices for the finite classical groups

abstract: This paper defines and develops cycle indices for the finite classical groups. These tools are then applied to study properties of a random matrix chosen uniformly from one of these groups. Properties studied by this technique will include semisimplicity, regularity, regular semisimplicity, the characteristic polynomial, number of Jordan blocks, and average order of a matrix.


title: The combinatorics of biased riffle shuffles

abstract: This paper studies biased riffle shuffles, first defined by Diaconis, Fill, and Pitman. These shuffles generalize the well-studied Gilbert-Shannon-Reeds shuffle and convolve nicely. An upper bound is given for the time for these shuffles to converge to the uniform distribution; this matches lower bounds of Lalley. A careful version of a bijection of Gessel leads to a generating function for cycle structure after one of these shuffles and gives new results about descents in random permutations. Results are also obtained about the inversion and descent structure of a permutation after one of these shuffles.


title: Stein's Method and Non-Reversible Markov Chains

abstract: Let W be either the number of descents or inversions of a permutation. Stein's method is applied to show that W satisfies a central limit theorem with error rate n^(-1/2). The construction of an exchangeable pair (W,W') used in Stein's method is non-trivial and uses a non-reversible Markov chain.


title: Descent identities, Hessenberg varieties, and the Weil conjectures

abstract: The Weil Conjectures are applied to the Hessenberg Varieties to obtain interesting information about the combinatorics of descents in the symmetric group. Combining this with elementary linear algebra leads to elegant proofs of some identities from the theory of descents.


title: Semisimple orbits of Lie algebras and card shuffling measures on Coxeter groups

abstract: Solomon's descent algebra is used to define a family of signed measures M(W,x) for a finite Coxeter group W and non-zero x. The measures corresponding to W of types A and B are known to arise from the theory of card shuffling and to be related to the Poincare-Birkhoff-Witt theorem and splittings of Hochschild homology. Formulas for these measures are obtained in special cases. The eigenvalues of the associated Markov chains are computed. By elementary algebraic group theory, choosing a random semisimple orbit on a Lie algebra corresponding to a finite group of Lie type G^F induces a measure on the conjugacy classes of the Weyl group W of G^F. It is conjectured that this measure on conjugacy classes is equal to the measure arising from M(W,q) (and further that M(W,q) is non-negative on all elements of W). This conjecture is proved for all types for the identity conjugacy class of W, and is confirmed for all conjugacy classes for W of types A, B, and C.


title: The number of rhombus tilings of a symmetric hexagon which contain a fixed rhombus on the symmetry axis, I

abstract: We compute the number of rhombus tilings of a hexagon with sides $N,M,N,N,M,N$, which contain a fixed rhombus on the symmetry axis that cuts through the sides of length $M$.


title: Finite interpolation with minimum uniform norm in C^n

abstract: Given a finite sequence $a:={a_1, ..., a_N}$ in a domain $\Omega \subset C^n$, and complex scalars $v:={v_1, ..., v_N}$, consider the classical extremal problem of finding the smallest uniform norm of a holomorphic function verifying $f(a_j)=v_j$ for all $j$. We show that the modulus of the solutions to this problem must approach its least upper bound along a subset of the boundary of the domain large enough to contain the support of a measure whose hull contains a subset of the original $a$ large enough to force the same minimum norm. Furthermore, all the solutions must agree on a variety which also contains this hull. An example is given to show that the inclusions can be strict.


title: Counting semisimple orbits of finite Lie algebras by genus

abstract: The adjoint action of a finite group of Lie type on its Lie algebra is studied. A simple formula is conjectured for the number of split semisimple orbits of a given genus. This conjecture is proved for type A, and partial results are obtained for other types. For type A a probabilistic interpretation is given in terms of card shuffling.


title: On the spectrum of second order differential operators with complex coefficients

abstract: The Weyl-Sims classification for a second-order ordinary differential equation with general complex coefficients is investigated. Connections are then established between the associated m-function and the spectral properties of maximal-accretive realisations of the differential expression.


title: Orbifold Euler characteristics and the number of commuting n-tuples in symmetric groups

abstract: Generating functions for the number of commuting m-tuples in the symmetric groups are obtained. We define a natural sequence of ``orbifold Euler characteristics'' for a finite group G acting on a manifold X. Our definition generalizes the ordinary Euler characteristic of X/G and the string-theoretic orbifold Euler characteristic. Our formulae for commuting m-tuples underlie formulas that generalize the results of Macdonald and Hirzebruch-Hofer concerning the ordinary and string-theoretic Euler characteristics of symmetric products.


title: Set theory is interpretable in the automorphism group of a free group

abstract: In 1976 S. Shelah posed the following problem: for which variety V of algebras the automorphism group of any free algebra F from V of "large" infinite rank interprets by means of first-order logic set theory (according to his results, for every variety V the endomorphism semi-group of F interprets set theory if rank(F) is an infinite cardinal greater than the power of the language of V). There are examples of varieties for which the answer is negative; one such an example, the variety of all algebras in empty language, is due to Shelah (1973). The author earlier showed that the answer is positive for any variety of vector spaces over a fixed division ring. In the present paper it is proved that the same holds for the variety of all groups: the automorphism group of any infinitely generated free group F interprets set theory. It follows, in particular, that the group Aut(F) is as undecidable as possible.


title: Ubiquity of geometric finiteness in mapping class groups of Haken 3-manifolds

abstract: Mapping class groups of Haken 3-manifolds enjoy many of the homological finiteness properties of mapping class groups of 2-manifolds of finite type. For example, H(M) has a torsionfree subgroup of finite index, which is geometrically finite (i. e. is the fundamental group of a finite aspherical complex). This was proven by J. Harer for 2-manifolds and by the second author for Haken 3-manifolds. In this paper we prove that H(M) acts properly discontinuously on a contractible simplicial complex, with compact quotient. This implies that every torsionfree subgroup of finite index in H(M) is geometrically finite. Also, a simplified proof of the fact that torsionfree subgroups of finite index in H(M) exist is given. All results are proven for mapping class groups that preserve a boundary pattern in the sense of K. Johannson. As an application, we show that if F is a nonempty compact 2-manifold in the boundary of M, then the classifying space BDiff(M rel F) of the diffeomorphism group of M relative to F has the homotopy type of a finite aspherical complex.


title: Homotopy types of complements of 2-arrangements in R^4

abstract: We study the homotopy types of complements of arrangements of n transverse planes in R^4, obtaining a complete classification for n <= 6, and lower bounds for the number of homotopy types in general. Furthermore, we show that the homotopy type of a 2-arrangement in R^4 is not determined by the cohomology ring, thereby answering a question of Ziegler. The invariants that we use are derived from the characteristic varieties of the complement. The nature of these varieties illustrates the difference between real and complex arrangements.


title: Spectra of semi-regular polytopes

abstract: We compute the spectra of the adjacency matrices of the semi-regular polytopes. A few different techniques are employed: the most sophisticated, which relates the 1-skeleton of the polytope to a Cayley graph, is based on methods akin to those of Lov\'asz and Babai ([L], [B]). It turns out that the algebraic degree of the eigenvalues is at most 5, achieved at two 3-dimensional solids.


title: Complete Integrability of Completely Integrable Systems

abstract: The question of complete integrability of evolution equations associated to $n\times n$ first order isospectral operators is investigated using the inverse scattering method. It is shown that for $n>2$, e.g. for the three-wave interaction, additional (nonlinear) pointwise flows are necessary for the assertion of complete integrability. Their existence is demonstrated by constructing action-angle variables. This construction depends on the analysis of a natural 2-form and symplectic foliation for the groups GL(n) and SU(n).}


title: Action-Angle variables for the Gel'fand-Dikii flows

abstract: Using the scattering transform for $n^{th}$ order linear scalar operators, the Poisson bracket found by Gel'fand and Dikii, which generalizes the Gardner Poisson bracket for the KdV hierarchy, is computed on the scattering side. Action-angle variables are then constructed. Using this, complete integrability is demonstrated in the strong sense. Real action-angle variables are constructed in the self-adjoint case.


title: Scharlemann's manifold is standard

abstract: In his 1974 thesis, Martin Scharlemann constructed a fake homotopy equivalence from a closed smooth manifold f:Q -> S^3 x S^1 # S^2 x S^2 and asked whether the manifold Q itself is diffeomorphic to S^3 x S^1 # S^2 x S^2. Here we answer this question affirmatively.


title: Hopf Algebras and Edge-Labeled Posets

abstract: Given a finite graded poset with labeled Hasse diagram, we construct a quasi- symmetric generating function for (saturated) chains whose labels have fixed descents. This is a common generalization of a generating function for the flag f-vector defined by Ehrenborg and of a symmetric function associated to certain edge-labeled posets which arose in the theory of Schubert polynomials. We show this construction gives a Hopf morphism from an incidence algebra of edge-labeled posets to the Hopf algebra of quasi-symmetric functions.


title: Fiber polytopes for the projections between cyclic polytopes

abstract: The cyclic polytope $C(n,d)$ is the convex hull of any $n$ points on the moment curve ${(t,t^2,...,t^d):t \in \reals}$ in $\reals^d$. For $d' >d$, we consider the fiber polytope (in the sense of Billera and Sturmfels) associated to the natural projection of cyclic polytopes $\pi: C(n,d') \to C(n,d)$ which "forgets" the last $d'-d$ coordinates. It is known that this fiber polytope has face lattice indexed by the coherent polytopal subdivisions of $C(n,d)$ which are induced by the map $\pi$. Our main result characterizes the triples $(n,d,d')$ for which the fiber polytope is canonical in either of the following two senses: - all polytopal subdivisions induced by $\pi$ are coherent, - the structure of the fiber polytope does not depend upon the choice of points on the moment curve. We also discuss a new instance with a positive answer to the Generalized Baues Problem, namely that of a projection $\pi:P\to Q$ where $Q$ has only regular subdivisions and $P$ has two more vertices than its dimension.


title: A Monoid for the Universal K-Bruhat Order

abstract: Structure constants for the multiplication of Schubert polynomials by Schur symmetric polynomials are known to be related to the enumeration of chains in a new partial order on S_\infty, which we call the universal k-Bruhat order. Here we present a monoid M for this order and show that $M$ is analogous to the nil-Coxeter monoid for the weak order on S_\infty. For this, we develop a theory of reduced sequences for M. We use these sequences to give a combinatorial description of the structure constants above. We also give combinatorial proofs of some of the symmetry relations satisfied by these structure constants.


title: Tensor decompositions for SL(2) and outerplanar graphs

abstract: The main result of this article is the decomposition of tensor products of representations of SL(2) in the sum of irreducible representations parametrized by outerplanar graphs. An outerplanar graph is a graph with the vertices 0, 1, 2, ..., m, edges of which can be drawn in the upper half-plane without intersections. I allow for a graph to have multiple edges, but don't allow loops.


title: Finiteness of classifying spaces of relative diffeomorphism groups of 3-manifolds

abstract: The main theorem shows that if M is an irreducible compact connected orientable 3-manifold with non-empty boundary, then the classifying space BDiff(M rel dM) of the space of diffeomorphisms of M which restrict to the identity map on boundary(M) has the homotopy type of a finite aspherical CW-complex. This answers, for this class of manifolds, a question posed by M Kontsevich. The main theorem follows from a more precise result, which asserts that for these manifolds the mapping class group H(M rel dM) is built up as a sequence of extensions of free abelian groups and subgroups of finite index in relative mapping class groups of compact connected surfaces.


title: Rhombus Tilings of a Hexagon with Three Fixed Border Tiles

abstract: We compute the number of rhombus tilings of a hexagon with sides $a+2,b+2,c+2,a+2,b+2,c+2$ with three fixed tiles touching the border. The particular case $a=b=c$ solves a problem posed by Propp. Our result can also be viewed as the enumeration of plane partitions having $a+2$ rows and $b+2$ columns, with largest entry $\le c+2$, with a given number of entries $c+2$ in the first row, a given number of entries 0 in the last column and a given bottom-left entry.


title: Genus two Heegaard splittings of orientable three-manifolds

abstract: It was shown by Bonahon-Otal and Hodgson-Rubinstein that any two genus-one Heegaard splittings of the same 3-manifold (typically a lens space) are isotopic. On the other hand, it was shown by Boileau, Collins and Zieschang that certain Seifert manifolds have distinct genus-two Heegaard splittings. In an earlier paper, we presented a technique for comparing Heegaard splittings of the same manifold and, using this technique, derived the uniqueness theorem for lens space splittings as a simple corollary. Here we use a similar technique to examine, in general, ways in which two non-isotopic genus-two Heegard splittings of the same 3-manifold compare, with a particular focus on how the corresponding hyperelliptic involutions are related.


title: Some Generalizations of the Pinwheel Tiling

abstract: We introduce a new family of nonperiodic tilings, based on a substitution rule that generalizes the pinwheel tiling of Conway and Radin. In each tiling the tiles are similar to a single triangular prototile. In a countable number of cases, the tiles appear in a finite number of sizes and an infinite number of orientations. These tilings generally do not meet full-edge to full-edge, but CAN be forced through local matching rules. In a countable number of cases, the tiles appear in a finite number of orientations but an infinite number of sizes, all within a set range, while in an uncountable number of cases both the number of sizes and the number of orientations is infinite.


title: An Algebraic Invariant for Substitution Tiling Systems

abstract: We consider tilings of Euclidean spaces by polygons or polyhedra, in particular, tilings made by a substitution process, such as the Penrose tilings of the plane. We define an isomorphism invariant related to a subgroup of rotations and compute it for various examples. We also extend our analysis to more general dynamical systems.


title: On certain multiple Bailey, Rogers and Dougall type summation formulas

abstract: A multidimensional generalization of Bailey's very-well-poised bilateral basic hypergeometric ${}_6\psi_6$ summation formula and its Dougall type ${}_5H_5$ hypergeometric degeneration for $q\to 1$ is studied. The multiple Bailey sum amounts to an extension corresponding to the case of a nonreduced root system of certain summation identities associated to the reduced root systems that were recently conjectured by Aomoto and Ito and proved by Macdonald. By truncation, we obtain multidimensional analogues of the very-well-poised unilateral (basic) hypergeometric Rogers ${}_6\phi_5$ and Dougall ${}_5F_4$ sums (both nonterminating and terminating). The terminating sums may be used to arrive at product formulas for the norms of recently introduced ($q$-)Racah polynomials in several variables.


title: The Martin Boundary of the Young-Fibonacci Lattice

abstract: We find the Martin boundary for the Young-Fibonacci lattice YF. Along with the lattice of Young diagrams, this is the most interesting example of a differential poset. The Martin boundary construction provides an explicit Poisson-type integral representation of non-negative harmonic functions on YF. The latter are in a canonical correspondence with a set of traces on Okada locally semisimple algebra. The set is known to contain all the indecomposable traces. Presumably, all of the traces in the set are indecomposable, though we have no proof of this conjecture. Using a new explicit product formula for Okada characters, we derive precise regularity conditions under which a sequence of characters of finite-dimensional Okada algebras converges to a character of the infinite-dimensional one.


title: Anisotropic Young diagrams and Jack symmetric functions

abstract: We study the Young graph with edge multiplicities arising in a Pieri-type formula for Jack symmetric polynomials $P_\mu(x;a)$ with a parameter $a$. Starting with the empty diagram, we define recurrently the `dimensions' $\dim_a$ in the same way as for the Young lattice or Pascal triangle. New proofs are given for two known results. The first is the $a$-hook formula for $\dim_a$, first found by R.Stanley. Secondly, we prove (for all complex $u$ and $v$) a generalization of the identity $\sum\nu(c(b)+u)(c(b)+v)\dim\nu/\dim\mu=(n+1)(n+uv)$, where $\nu$ runs over immediate successors of a Young diagram $\mu$ with $n$ boxes. Here $c(b)$ is the content of a new box $b$. The identity is known to imply the existence of an interesting family of positive definite central functions on the infinite symmetric group. The approach is based on the interpretation of a Young diagram as a pair of interlacing sequences, so that analytic techniques may be used to solve combinatorial problems. We show that when dealing with Jack polynomials $P_\mu(x;a)$, it makes sense to consider `anisotropic' Young diagrams made of rectangular boxes of size $1\times a$.


title: Three-manifolds, Foliations and Circles, I

abstract: This paper investigates certain foliations of three-manifolds that are hybrids of fibrations over the circle with foliated circle bundles over surfaces: a 3-manifold slithers around the circle when its universal cover fibers over the circle so that deck transformations are bundle automorphisms. Examples include hyperbolic 3-manifolds of every possible homological type. We show that all such foliations admit transverse pseudo-Anosov flows, and that in the universal cover of the hyperbolic cases, the leaves limit to sphere-filling Peano curves. The skew R-covered Anosov foliations of Sergio Fenley are examples. We hope later to use this structure for geometrization of slithered 3-manifolds.


title: Algorithms for recognizing knots and 3-manifolds

abstract: This is a survey paper on algorithms for solving problems in 3-dimensional topology. In particular, it discusses Haken's approach to the recognition of the unknot, and recent variations.


title: Luzin and anti-Luzin almost disjoint families

abstract: Under MA_{omega_1} every uncountable almost disjoint family is either anti-Luzin or has an uncountable Luzin subfamily. This fails under CH. Related properties are also investigated.


title: Smooth graphs

abstract: A graph G on omega_1 is called <omega-smooth if for each uncountable subset W of omega_1, G is isomorphic to G[W-W'] for some finite W'. We show that in various models of ZFC if a graph G is <omega-smooth then G is necessarily trivial, i.e, either complete or empty. On the other hand, we prove that the existence of a non-trivial, <omega-smooth graph is also consistent with ZFC.


title: New Sigma^1_3 facts

abstract: We use ``iterated square sequences'' to show: There is an L-definable partition n: L-singulars --> omega such that if M is an inner model without 0#: (a) For some n, M satisfies that {alpha | n(alpha)=n} is stationary. (b) For each n there is a generic extension of M in which 0# does not exist and {alpha | n(alpha)<n} is non-stationary. The above result is then applied to show that if M is an inner model without 0# then some Sigma^1_3 sentence not true in M can be forced over M.


title: David's trick

abstract: We put into a general setting a technique of Rene' David (see "A Very Absolute Pi^1_2 Singleton, Annals of Pure and Applied Logic, 1982) to show that for S a Sigma^1_1 statement quantifying over subclasses of V of a special form, there is a stronger Sigma^1_3 statement quantifying over reals which can be forced over any model of S. Then I mention some application to Pi^1_2 Singletons and to Sigma^1_3 absoluteness.


title: Vaught's conjecture on analytic sets

abstract: This paper obtains an algebraic characterization of the Polish groups that satisfy Vaught's conjecture on $\bf{\Sigma}^1_1$ sets.


title: A version of the Jensen-Johnsbr{\aa}ten coding at arbitrary level $n\geq 3$

abstract: Theorem: Let $n\ge 2.$ There is a CCC in $L$ forcing notion $P=P_n\in L$ such that $P$-generic extensions of $L$ are of the form $L[a],$ where $a\subseteq\omega$ and 1) $a$ is $\Delta^1_{n+1}$ in $L[a]$; and 2) if $b\in L[a],$ $b\subseteq\omega$ is $\Sigma^1_n$ in $L[a]$ then $b\in L$ and $b$ is $\Sigma^1_n$ in $L$. In addition, if a model $M$ extends $L$ and contains two different $P$-generic sets $a,\,a'\subseteq\omega,$ then $\omega^M_1 > \omega^L_1$. Comment: For $n=2,$ this is a result of Jensen and Johnsbr{\aa}ten, 1974. In this case, 2) is a corollary of the Shoenfield absoluteness theorem.


title: On the p-affine surface area

abstract: We give geometric interpretations of certain affine invariants of convex bodies. The affine invariants are the p-affine surface areas introduced by Lutwak. The geometric interpretations involve generalizations of the Santal\'o-bodies introduced by the authors in a previous paper.


title: Interpolating hereditarily indecomposable Banach spaces

abstract: It is shown that every Banach space either contains $\ell ^1$ or it has an infinite dimensional closed subspace which is a quotient of a H.I. Banach space.Further on, $L^p(\lambda )$, $1<p<\infty $, is a quotient of a H.I Banach space.


title: Vortex Dynamics for the Ginzburg-Landau-Schr\"odinger Equation

abstract: The initial value problem for the Ginzburg-Landau-Schr\"odinger equation is examined in the $\epsilon \rightarrow 0$ limit under two main assumptions on the initial data $\phi^\epsilon$. The first assumption is that $\phi^\epsilon$ exhibits $m$ distinct vortices of degree $\pm 1$; these are described as points of concentration of the Jacobian $[J\phi^\epsilon]$ of $\phi^\epsilon$. Second, we assume energy bounds consistent with vortices at the points of concentration. Under these assumptions, we identify ``vortex structures'' in the $\epsilon \rightarrow 0$ limit of $\phi^\epsilon$ and show that these structures persist in the solution $u^\epsilon(t)$ of $GLS_\epsilon$. We derive ordinary differential equations which govern the motion of the vortices in the $\epsilon \rightarrow 0$ limit. The limiting system of ordinary differential equations is a Hamitonian flow governed by the renormalized energy of Bethuel, Brezis and H\'elein. Our arguments rely on results about the structural stability of vortices which are proved in a separate paper.


title: Completely regular multivariate stationary process and the Muckenhoupt condition

abstract: We give necessary and sufficient conditions for a multivariate stationary stochastic process to be completely regular. We also give the answer to a question of V.V. Peller concerning the spectral measure characterization of such processes.


title: A sharp Schwarz inequality on the boundary

abstract: A number of classical results reflect the fact that if a holomorphic function maps the unit disk into itself taking the origin into the origin, and if some boundary point $b$ maps to the boundary, then the map is a magnification at $b$. We prove a sharp quantitative version of this result which also sharpens a classical result of Loewner, and which implies that the map is a strict magnification at $b$ unless it is a rotation.


title: Deformations and stability in complex hyperbolic geometry

abstract: This paper concerns with deformations of noncompact complex hyperbolic manifolds (with locally Bergman metric), varieties of discrete representations of their fundamental groups into $PU(n,1)$ and the problem of (quasiconformal) stability of deformations of such groups and manifolds in the sense of L.Bers and D.Sullivan. Despite Goldman-Millson-Yue rigidity results for such complex manifolds of infinite volume, we present different classes of such manifolds that allow non-trivial (quasi-Fuchsian) deformations and point out that such flexible manifolds have a common feature being Stein spaces. While deformations of complex surfaces from our first class are induced by quasiconformal homeomorphisms, non-rigid complex surfaces (homotopy equivalent to their complex analytic submanifolds) from another class are quasiconformally unstable, but nevertheless their deformations are induced by homeomorphisms.


title: Was Sierpinski right? IV

abstract: We prove for any mu = mu^{< mu}< theta < lambda, lambda large enough (just strongly inaccessible Mahlo) the consistency of 2^mu = lambda-> [theta]^2_3 and even 2^mu = lambda-> [theta]^2_{sigma,2} for sigma < mu . The new point is that possibly theta > mu^+ .


title: Non-elementary proper forcing notions

abstract: We present reasons for developing a theory of forcing notions which satisfy the properness demand for countable models which are not necessarily elementary submodels of some (H(chi), in). This leads to forcing notions which are ``reasonably'' definable. We present two specific properties materializing this intuition: nep (non-elementary properness) and snep (Souslin non-elementary properness). For this we consider candidates (countable models to which the definition applies), and the older Souslin proper. A major theme here is ``preservation by iteration'', but we also show a dichotomy: if such forcing notions preserve the positiveness of the set of old reals for some naturally define c.c.c. ideals, then they preserve the positiveness of any old positive set. We also prove that (among such forcing notions) the only one commuting with Cohen is Cohen itself.


title: More on the lifting problem with the full ideal

abstract: We prove in ZFC that for mu >= aleph_2 there is a sigma --ideal I on mu and a Boolean sigma --subalgebra B of the family of subsets of mu which includes I such that the natural homomorphism from B onto B/I cannot be lifted.


title: Complete sigma-centered Boolean algebra not adding Cohen reals

abstract: It is shown that there exists a complete, atomless, sigma-centered Boolean algebra, which does not contain any regular countable subalgebra if and only if there exist a nowhere dense ultrafilter. Therefore the existence of such algebras is undecidable in ZFC.


title: Constructing Boolean algebras for cardinal invariants

abstract: We construct Boolean Algebras answering questions of Monk on cardinal invariants. The results are proved in ZFC (rather than giving consistency results). We deal with the existence of superatomic Boolean Algebras with ``few automorphisms'', with entangled sequences of linear orders, and with semi-ZFC examples of the non-attainment of the spread (and hL, hd).


title: A result related to the problem CN of Fremlin

abstract: We show that the set of injective functions from any uncountable cardinal less than the continuum into the real numbers is of second category in the box product topology.


title: The covering numbers of Mycielski ideals are all equal

abstract: The Mycielski ideal M_k is defined to consist of all sets A subseteq k^omega such that {f restriction X: f in A} not= k^X for all X in [omega]^{aleph_0}. It will be shown that the covering numbers for these ideals are all equal. However, the covering numbers of the closely associated Roslanowski ideals will be shown to be consistently different.


title: The condition in the Trichotomy Theorem is optimal

abstract: We show that the assumption lambda > kappa^+ in the Trichotomy Theorem cannot be relaxed to lambda > kappa .


title: Higher p invariants

abstract: The rho-invariant is an invariant of odd-dimensional manifolds with finite fundamental group, and lies in the representations modulo the regular representations (after tensoring with Q). It is a fundamental invariant that occurs in classifying lens spaces, their homotopy analogues, and is intimately related to the eta-invariant for the signature operator. The goal of this note is to use some of the technology developed in studying the Novikov higher signature conjecture to define an analogous invariant for certain situations with infinite fundamental group.


title: A finite basis theorem for residually finite, congruence meet-semidistributive varieties

abstract: We derive a Mal'cev condition for congruence meet-semidistributivity and then use it to prove two theorems. Theorem A: if a variety in a finite language is congruence meet-semidistributive and residually less than some finite cardinal, then it is finitely based. Theorem B: there is an algorithm which, given m<w and a finite algebra in a finite language, determines whether the variety generated by the algebra is congruence meet-semidistributive and residually less then m.


title: An invariant of smooth 4-manifolds

abstract: We define a diffeomorphism invariant of smooth 4-manifolds which we can estimate for many smoothings of R^4 and other smooth 4-manifolds. Using this invariant we can show that uncountably many smoothings of R^4 support no Stein structure. (Gompf has constructed uncountably many smoothings of R^4 which do support Stein structures.) Other applications of this invariant are given.


title: Simple Lie algebras which generalize Witt algebras

abstract: We introduce a new class of simple Lie algebras $W(n,m)$ that generalize the Witt algebra by using "exponential" functions, and also a subalgebra $W^*(n,m)$ thereof; and we show each derivation of $W^*(1,0)$ can be written as a sum of an inner derivation and a scalar derivation. The Lie algebra $W(n,m)$ is $Z$-graded and is infinite growth.


title: Generalized W-type and H-type algebras

abstract: It is well known that the Poisson Lie algebra is isomorphic to the Hamiltonian Lie algebra. We show that the Poisson Lie algebra can be embedded properly in the special type Lie algebra. We also generalize the Hamiltonian Lie algebra using exponential functions, and we show that these Lie algebras are simple.


title: Degeneration of the l-adic Eisenstein symbol and of the elliptic polylog

abstract: The main new result is the computation of the degeneration of l-adic Eisenstein classes at the cusps. This is done by relating it to the degeneration of the elliptic polylog. These classes come from K-theory and their Hodge regulator can also be computed (see: Dirichlet motives via modula curves, on the K-theory server). This gives a new proof of a comparison conjecture of Bloch and Kato which was used in the proof of their Tamagawa number conjecture for the Riemann zeta-function. The paper contains appendices on the definition of the classical and elliptic polylog, its degeneration and the comparison to Eisenstein classes.


title: Th\'eorie de Dieudonn\'e cristalline et p\'eriodes p-adiques

abstract: Nous proposons dans ce texte une th\'eorie des p\'eriodes $p$-adiques pour des sch\'emas en groupes finis et plats. Nous utilisons pour ce faire la th\'eorie de Dieudonn\'e cristalline de Berthelot, Breen et Messing, ainsi que l'interpr\'etation cristalline des anneaux de Fontaine. ----- We propose in this paper a theory of $p$-adic periods for finite flat group schemes. To this aim, we use the crystalline Dieudonn\'e theory of Berthelot, Breen and Messing, together with the crystalline interpretation of Fontaine's rings.


title: Formes modulaires p-adiques

abstract: This is the text of a talk to the study week on \emph{Modular forms and Galois representations} held in Luminy, 1997. We give a survey of $p$-adic modular forms, as developped by Serre, Katz, Hida, Wiles, Coleman and others...


title: Rational Calogero models based on rank-2 root systems: supertraces on the superalgebras of observables

abstract: It is shown that the superalgebra of observables of the rational Calogero model based on the root system of I_2(n) type possesses [(n+1)/2] supertraces. Model with three-particle interaction based on the root system G_2 belongs to this class of models and its superalgebra of observables has 3 independent supertraces.


title: C*-actions of r-discrete groupoids and inverse semigroups

abstract: Groupoid actions on C*-bundles and inverse semigroup actions on C*-algebras are closely related when the groupoid is r-discrete.


title: Topological recursion relations in genus 2

abstract: In Part 1 of this paper, we study gravitational descendents of Gromov-Witten invariants for general projective manifolds, applying the Behrend-Fantechi construction of the virtual fundamental classes. In Part 2, we calculate the topological recursion relations in genus 2. There are two of these, one for the second descendent of a field, and one for the first descendents of two fields. The proof uses the results of Part 1 together with a thorough study of intersection theory on the moduli space $\bar{M}_{2,2}$.


title: Intersection Numbers on the Moduli Spaces of Stable Maps in Genus 0

abstract: Let $V$ be a smooth, projective, convex variety. We define tautological $\psi$ and $\kappa$ classes on the moduli space of stable maps $\M_{0,n}(V)$, give a (graphical) presentation for these classes in terms of boundary strata, derive differential equations for the generating functions of the Gromov-Witten invariants of $V$ twisted by these tautological classes, and prove that these intersection numbers are completely determined by the Gromov-Witten invariants of $V$. This results in families of Frobenius manifold structures on the cohomology ring of $V$ which includes the quantum cohomology as a special case.


title: Stable maps of genus zero to flag spaces

abstract: We calculate a generating series for the virtual Euler-Poincar\'e characteristics of the spaces of stable maps of genus zero to flag spaces using the summation over trees technique.


title: Three constructions of Frobenius manifolds: a comparative study

abstract: The paper studies three classes of Frobenius manifolds: Quantum Cohomology (topological sigma-models), unfolding spaces of singularities (K. Saito's theory, Landau-Ginzburg models), and the recent Barannikov-Kontsevich construction starting with the Dolbeault complex of a Calabi-Yau manifold and conjecturally producing the B--side of the Mirror Conjecture in arbitrary dimension. Each known construction provides the relevant Frobenius manifold with an extra structure which can be thought of as a version of ``non-linear cohomology''. The comparison of thesestructures sheds some light on the general Mirror Problem: establishing isomorphisms between Frobenius manifolds of different classes. Another theme is the study of tensor products of Frobenius manifolds, corresponding respectively to the K\"unneth formula in Quantum Cohomology, direct sum of singularities in Saito's theory, and presumably, the tensor product of the differential Gerstenhaber-Batalin-Vilkovisky algebras. We extend the initial Gepner's construction of mirrors to the context of Frobenius manifolds and formulate the relevant mathematical conjecture.


title: Regular infinite dimensional Lie groups

abstract: Regular Lie groups are infinite dimensional Lie groups with the property that smooth curves in the Lie algebra integrate to smooth curves in the group in a smooth way (an `evolution operator' exists). Up to now all known smooth Lie groups are regular. We show in this paper that regular Lie groups allow to push surprisingly far the geometry of principal bundles: parallel transport exists and flat connections integrate to horizontal foliations as in finite dimensions. As consequences we obtain that Lie algebra homomorphisms intergrate to Lie group homomorphisms, if the source group is simply connected and the image group is regular.


title: Characteristic and Ehrhart polynomials

abstract: Let A be a subspace arrangement and let chi(A,t) be the characteristic polynomial of its intersection lattice L(A). We show that if the subspaces in A are taken from L(B_n), where B_n is the type B Weyl arrangement, then chi(A,t) counts a certain set of lattice points. One can use this result to study the partial factorization of chi(A,t) over the integers and the coefficients of its expansion in various bases for the polynomial ring R[t]. Next we prove that the characteristic polynomial of any Weyl hyperplane arrangement can be expressed in terms of an Ehrhart quasi-polynomial for its affine Weyl chamber. Note that our first result deals with all subspace arrangements embedded in B_n while the second deals with all finite Weyl groups but only their hyperplane arrangements.


title: Mobius functions of lattices

abstract: We introduce the concept of a bounded below set in a lattice. This can be used to give a generalization of Rota's broken circuit theorem to any finite lattice. We then show how this result can be used to compute and combinatorially explain the M\"obius function in various examples including non-crossing set partitions, shuffle posets, and integer partitions in dominance order. Next we present a generalization of Stanley's theorem that the characteristic polynomial of a semimodular supersolvable lattice factors over the integers. We also give some applications of this second main theorem, including the Tamari lattices.


title: Arithmetic properties of generalized Euler numbers

abstract: The generalized Euler number E_{n|k} counts the number of permutations of {1,2,...,n} which have a descent in position m if and only if m is divisible by k. The classical Euler numbers are the special case when k=2. In this paper, we study divisibility properties of a q-analog of E_{n|k}. In particular, we generalize two theorems of Andrews and Gessel about factors of the q-tangent numbers.


title: The Wiener polynomial of a graph

abstract: The Wiener index is a graphical invariant that has found extensive application in chemistry. We define a generating function, which we call the Wiener polynomial, whose derivative is a q-analog of the Wiener index. We study some of the elementary properties of this polynomial and compute it for some common graphs. We then find a formula for the Wiener polynomial of a dendrimer, a certain highly regular tree of interest to chemists, and show that it is unimodal. Finally, we point out a connection with the Poincare polynomial of a finite Coxeter group.


title: On a New Algorithm for the Computation of Enclosures for the Titchmarsh-Weyl m-Function

abstract: The paper reports on computation of verified enclosures for the Titchmarsh-Weyl m-function. It examines some cases in which Lohner's AWA algorithm must be suplimented by mathematical analysis.


title: Mathematics Journals Should Be Electronic and Free

abstract: Many important journal functions would be lost if the mathematical community replaced all paper journals with electronic media. Electronic media are useful for some purposes, but they will not be the basis for a publishing revolution in the near future.


title: Sub-Riemannian metrics for quantum Heisenberg manifolds

abstract: Every Heisenberg manifold has a natural "sub-Riemannian" metric with interesting properties. We describe the corresponding noncommutative metric structure for Rieffel's quantum Heisenberg manifolds.


title: A Geometric Characteristic Splitting in all Dimensions

abstract: We prove the existence of a geometric characteristic submanifold for non-positively curved manifolds of any dimension greater than or equal to three. In dimension three, our result is a geometric version of the topological characteristic submanifold theorem due to Jaco, Shalen and Johannson.


title: Automated counting of LEGO towers

abstract: H. N. V. Temperley's method for counting vertically convex polyominoes is modified, generalized, and most importantly, programmed (in Maple).


title: A sheaf-theoretic reformulation of the Tate conjecture

abstract: Let p be a prime number. We give a conjecture of a sheaf-theoretic nature which is equivalent to the strong form of the Tate conjecture for smooth, projective varieties X over F_p: for all n>0, the order of pole of the Hasse-Weil zeta function of X at s=n equals the rank of the group of algebraic cycles of codimension n modulo numerical equivalence. Our main result is that this conjecture implies other well-known conjectures in characteristic p, among which: - The (weak) Tate conjecture for smooth, projective varieties X over any finitely generated field of characteristic p: given a prime l different from p, the geometric cycle map from algebraic cycles over X to the Galois invariants of the l-adic cohomology of the geometric fibre of X, tensored by Q_l, is surjective. - For X as above, the algebraicity of the Kunneth components of the diagonal and the hard Lefschetz theorem for cycles modulo numerical equivalence. - For X as above, the existence of a filtration conjectured by Beilinson on the Chow groups of X. - The rational Bass conjecture: for any smooth variety X over F_p, the algebraic K-groups of X have finite rank. - The Bass-Tate conjecture: for F a field of characteristic p, of absolute transcendence degree d, the i-th Milnor K-group of F is torsion for i>d. - Soule's conjecture: given a quasi-projective variety over F_p, the order of the zero of its Hasse-Weil zeta function at an integer n is given by the alternating sum of the ranks of the weight n part of its algebraic K'-groups.


title: Simple Loops on Surfaces and Their Intersection Numbers

abstract: Given a compact orientable surface $\Sigma$, let $\Cal S(\Sigma)$ be the set of isotopy classes of essential simple loops on $\Sigma$. We determine a complete set of relations for a function from $\Cal S(\Sigma)$ to $\bold Z$ to be a geometric intersection number function. As a consequence, we obtain explicit equations in $\bold R^{\Cal S(\Sigma)}$ and $P(\bold R^{\Cal S(\Sigma)})$ defining Thurston's space of measured laminations and Thurston's compactification of the Teichm\"uller space. These equations are not only piecewise integral linear but also semi-real algebraic.


title: Hyperbolic Structures on 3-manifolds, I: Deformation of acylindrical manifolds

abstract: This is the first in a series of papers showing that Haken manifolds have hyperbolic structures; this first was published, the second two have existed only in preprint form, and later preprints were never completed. This eprint is only an approximation to the published version, which is the definitive form for part I, and is provided for convenience only. All references and quotations should be taken from the published version, since the theorem numbering is different and not all corrections have been incorporated into the present version. Parts II and III will be made available as eprints shortly.


title: Quantum and braided diffeomorphism groups

abstract: We develop a general theory of `quantum' diffeomorphism groups based on the universal comeasuring quantum group $M(A)$ associated to an algebra $A$ and its various quotients. Explicit formulae are introduced for this construction, as well as dual quasitriangular and braided R-matrix versions. Among the examples, we construct the $q$-diffeomorphisms of the quantum plane $yx=qxy$, and recover the quantum matrices $M_q(2)$ as those respecting its braided group addition law.


title: On the number of particles which a curved quantum waveguide can bind

abstract: We discuss the discrete spectrum of N particles in a curved planar waveguide. If they are neutral fermions, the maximum number of particles which the waveguide can bind is given by a one-particle Birman-Schwinger bound in combination with the Pauli principle. On the other hand, if they are charged, e.g., electrons in a bent quantum wire, the Coulomb repulsion plays a crucial role. We prove a sufficient condition under which the discrete spectrum of such a system is empty.


title: The Weierstrass representation of spheres in $R^3$, the Willmore numbers, and soliton spheres

abstract: The Weierstrass representation for spheres in $\R^3$ and, in particular, effective construction of immersions from data of spectral theory origin is discussed. These data are related to Dirac operators on a plane and on an infinite cylinder and these operators are just representations of Dirac operators acting in spinor bundles over the two-sphere which is naturally obtained as a completion of a plane or of a cylinder. Spheres described in terms of Dirac operators with one-dimensional potentials on a cylinder are completely studied and, in particular, for them a lower estimate of the Willmore functional in terms of the dimension of the kernel of the corresponding Dirac operator on a two-sphere is obtained. It is conjectured that this estimate is valid for all Dirac operators on spheres and some reasonings for this conjecture are discussed. In Appendix a criterion distinguishing Weierstrass representations, of universal coverings of compact surfaces of higher genera, converted into immersions of compact surfaces is given.


title: No slices on the space of generalized connections

abstract: On a fiber bundle without structure group the action of the gauge group (the group of all fiber respecting diffeomorphisms) on the space of (generalized) connections is shown not to admit slices.


title: Geodesic Length Functions and Teichm\"uller Spaces

abstract: Given a compact orientable surface with finitely many punctures $\Sigma$, let $\Cal S(\Sigma)$ be the set of isotopy classes of essential unoriented simple closed curves in $\Sigma$. We determine a complete set of relations for a function from $\Cal S(\Sigma)$ to $\bold R$ to be the geodesic length function of a hyperbolic metric with geodesic boundary and cusp ends on $\Sigma$. As a conse quence, the Teichm\"uller space of hyperbolic metrics with geodesic boundary and cusp ends on $\Sigma$ is reconstructed from an intrinsic $(\bold QP^1, PSL(2, \bold Z))$ structure on $\Cal S(\Sigma)$.


title: A Presentation of the Mapping Class Groups

abstract: Using the works of Gervais, Harer, Hatcher and Thurston and others, we show that the mapping class group of a compact orientable surface has a presentation so that the generators are the set of all Dehn twists and the relations are supported in subsurfaces homeomorphic to the one-holed torus or the four-holed sphere. It turns out that all the relations were discovered by Dehn in 1938.


title: Choosing roots of polynomials smoothly

abstract: We clarify the question whether for a smooth curve of polynomials one can choose the roots smoothly and related questions. Applications to perturbation theory of operators are given.


title: H\"older Regularity and Dimension Bounds for Random Curves

abstract: Random systems of curves exhibiting fluctuating features on arbitrarily small scales ($\delta$) are often encountered in critical models. For such systems it is shown that scale-invariant bounds on the probabilities of crossing events imply that typically all the realized curves admit H\"older continuous parametrizations with a common exponent and a common random prefactor, which in the scaling limit ($\delta\to 0$) remains stochastically bounded. The regularity is used for the construction of scaling limits, formulated in terms of probability measures on the space of closed sets of curves. Under the hypotheses presented here the limiting measures are supported on sets of curves which are H\"older continuous but not rectifiable, and have Hausdorff dimensions strictly greater than one. The hypotheses are known to be satisfied in certain two dimensional percolation models. Other potential applications are also mentioned.

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


title: Poisson structures on double Lie groups

abstract: Lie bialgebra structures are reviewed and investigated in terms of the double Lie algebra, of Manin- and Gau{\ss}-decompositions. The standard R-matrix in a Manin decomposition then gives rise to several Poisson structures on the correponding double group, which is investigated in great detail.


title: Lifting smooth curves over invariants for representations of compact Lie groups

abstract: We show that one can lift locally real analytic curves from the orbit space of a compact Lie group representation, and that one can lift smooth curves even globally, but under an assumption.


title: Lattice points, Dedekind-Rademacher sums and a conjecture of Kronheimer and Mrowka

abstract: We express the number of lattice points inside certain simplices via Dedekind-Rademacher sums. As an application, we prove a conjecture of Kronheimer and Mrowka in the special case of Brieskorn spheres (with at most 4 singular fibers). This conjecture relates the Euler characteristic of the Seiberg-Witten-Floer homology to the Casson invariant.


title: Braided Chains of q-Deformed Heisenberg Algebrae

abstract: Given M copies of a q-deformed Weyl or Clifford algebra in the defining representation of a quantum group $G_q$, we determine a prescription to embed them into a unique, inclusive $G_q$-covariant algebra. The different copies are "coupled" to each other and are naturally ordered into a "chain". In the case $G_q=SL_q(N)$ a modified prescription yields an inclusive algebra which is even explicitly $SL_q(M) X SL_q(N)$-covariant, where $SL_q(M)$ is a symmetry relating the different copies. By the introduction of these inclusive algebrae we significantly enlarge the class of $G_q$-covariant deformed Weyl/Clifford algebrae available for physical applications.


title: Hamiltonian Reduction and the Construction of q-Deformed Extensions of the Virasoro Algebra

abstract: In this paper we employ the construction of Dirac bracket for the remaining current of $sl(2)_q$ deformed Kac-Moody algebra when constraints similar to those connecting the $sl(2)$-WZW model and the Liouville theory are imposed and show that it satisfy the q-Virasoro algebra proposed by Frenkel and Reshetikhin. The crucial assumption considered in our calculation is the existence of a classical Poisson bracket algebra induced, in a consistent manner by the correspondence principle, mapping the quantum generators into commuting objects of classical nature preserving their algebra.


title: Germs of de Rham cohomology classes which vanish at the generic point

abstract: We show that hypergeometric differential equations, unitary and Gauss-Manin connections give rise to de Rham cohomology sheaves which do not admit a Bloch-Ogus resolution. The latter is in contrast to Panin's theorem asserting that corresponding \'etale cohomology sheaves do fulfill Bloch-Ogus theory.


title: The Burau matrix and Fiedler's invariant for a closed braid

abstract: It is shown how Fiedler's `small state-sum' invariant for a braid can be calculated from the 2-variable Alexander polynomial of the link which consists of the closed braid together with the braid axis.


title: On Gauss decomposition of quantum groups and Jimbo homomorphism

abstract: It is shown that the properties of the Gauss decomposition of quantum groups and the known Jimbo homomorphism permit us to realize these groups as subalgebras of well defined algebras constructed from generators of the corresponding undeformed Lie algebras.


title: "Wick Rotations": The Noncommutative Hyperboloids, and other surfaces of rotations

abstract: A ``Wick rotation'' is applied to the noncommutative sphere to produce a noncommutative version of the hyperboloids. A harmonic basis of the associated algebra is given. It is noted that, for the one sheeted hyperboloid, the vector space for the noncommutative algebra can be completed to a Hilbert space, where multiplication is not continuous. A method of constructing noncommutative analogues of surfaces of rotation, examples of which include the paraboloid and the $q$-deformed sphere, is given. Also given are mappings between noncommutative surfaces, stereographic projections to the complex plane and unitary representations. A relationship with one dimensional crystals is highlighted.


title: Some examples of quantum groups in higher genus

abstract: This is a survey of our construction of current algebras, associated with complex curves and rational differentials. We also study in detail two classes of examples. The first is the case of a rational curve with differentials $z^n dz$; these algebras are ``building blocks'' for the quantum current algebras introduced in our earlier work. The second is the case of a genus $>1$ curve $X$, endowed with a regular differential having only double zeroes.


title: Trianalytic subvarieties of generalized Kummer varieties

abstract: Let $X$ be a hyperkaehler manifold. Trianalytic subvarieties of $X$ are subvarieties which are complex analytic with respect to all complex structures induced by the hyperkaehler structure. Given a 2-dimensional complex torus $T$, the Hilbert scheme $T^{[n]}$ classifying zero-dimensional subschemes of $T$ admits a hyperkaehler structure. A finite cover of $T^{[n]}$ is a product of $T$ and a simply connected hyperkaehler manifold $K^{[n-1]}$, called generalized Kummer variety. We show that for $T$ generic, the corresponding generalized Kummer variety has no trianalytic subvarieties. This implies that a generic deformation of the generalized Kummer variety has no proper complex subvarieties.


title: Minimal stretch maps between hyperbolic surfaces

abstract: This paper develops a theory of Lipschitz comparisons of hyperbolic surfaces analogous to the theory of quasi-conformal comparisons. Extremal Lipschitz maps (minimal stretch maps) and geodesics for the `Lipschitz metric' are constructed. The extremal Lipschitz constant equals the maximum ratio of lengths of measured laminations, which is attained with probability one on a simple closed curve. Cataclysms are introduced, generalizing earthquakes by permitting more violent shearing in both directions along a fault. Cataclysms provide useful coordinates for Teichmuller space that are convenient for computing derivatives of geometric function in Teichmuller space and measured lamination space.


title: Algebraicity of local holomorphisms between real-algebraic submanifolds of complex spaces

abstract: We prove that a germ of a holomorphic map $f$ between $C^n$ and $C^{n'}$ sending one real-algebraic submanifold $M\subset C^n$ into another $M'\subset C^{n'}$ is algebraic provided $M'$ contains no complex-analytic discs and $M$ is generic and minimal. We also propose an algorithm for finding complex-analytic discs in a real submanifold.


title: Germs of local automorphisms of real-analytic CR structures and analytic dependence on $k$-jets

abstract: The topic of the paper is the study of germs of local holomorphisms $f$ between $C^n$ and $C^{n'}$ such that $f(M)\subset M'$ and $df(T^cM)=T^cM'$ for $M\subset C^n$ and $M'\subset C^{n'}$ generic real-analytic CR submanifolds of arbitrary codimensions. It is proved that for $M$ minimal and $M'$ finitely nondegenerate, such germs depend analytically on their jets. As a corollary, an analytic structure on the set of all germs of this type is obtained.


title: Domains of polyhedral type and boundary extensions of biholomorphisms

abstract: For $D$, $D'$ analytic polyhedra in $C^n$, it is proven that a biholomorphic mapping $f\colon D\to D'$ extends holomorphically to a dense boundary subset under certain condition of general position. This result is also extended to a more general class of domains with no smoothness condition on the boundary.