title: Unstable hyperplanes for Steiner bundles and multidimensional matrices

abstract: We study some properties of the natural action of $SL(V_0) \times...\times SL(V_p)$ on nondegenerate multidimensional complex matrices $A\in\P (V_0\otimes...\otimes V_p)$ of boundary format(in the sense of Gelfand, Kapranov and Zelevinsky); in particular we characterize the non stable ones,as the matrices which are in the orbit of a "triangular" matrix, and the matrices with a stabilizer containing $\C^*$, as those which are in the orbit of a "diagonal" matrix. For $p=2$ it turns out that a non degenerate matrix $A\in\P (V_0\otimes V_1\otimes V_2)$ detects a Steiner bundle $S_A$ (in the sense of Dolgachev and Kapranov) on the projective space $\P^{n}, n = dim (V_2)-1$. As a consequence we prove that the symmetry group of a Steiner bundle is contained in SL(2) and that the SL(2)-invariant Steiner bundles are exactly the bundles introduced by Schwarzenberger [Schw], which correspond to "identity" matrices. We can characterize the points of the moduli space of Steiner bundles which are stable for the action of $Aut(\P^n)$, answering in the first nontrivial case a question posed by Simpson. In the opposite direction we obtain some results about Steiner bundles which imply properties of matrices. For example the number of unstable hyperplanes of $S_A$ (counting multiplicities) produces an interesting discrete invariant of $A$, which can take the values $0, 1, 2, ... ,\dim~V_0+1$ or $ \infty$; the $\infty$ case occurs if and only if $S_A$ is Schwarzenberger (and $A$ is an identity). Finally, the Gale transform for Steiner bundles introduced by Dolgachev and Kapranov under the classical name of association can be understood in this setting as the transposition operator on multidimensional matrices.


title: On Family Rigidity Theorems I

abstract: In this paper, we first prove a local family version of the Atiyah-Bott-Segal-Singer Lefschetz fixed point formula, then we extend the famous Witten's rigidity Theorems to the family case. Several family vanishing theorems for elliptic genera are also proved.


title: Optimal prediction and the Klein-Gordon equation

abstract: The method of optimal prediction is applied to calculate the future means of solutions to the Klein-Gordon equation. It is shown that in an appropriate probability space, the difference between the average of all solutions that satisfy certain constraints at time t=0, and the average computed by an approximate method, is small with high probability.


title: A smooth space of tetrahedra

abstract: We construct a smooth symmetric compactification of the space of all labeled tetrahedra in P^3.


title: How to Couple from the Past Using a Read-Once Source of Randomness

abstract: We give a new method for generating perfectly random samples from the stationary distribution of a Markov chain. The method is related to coupling from the past (CFTP), but only runs the Markov chain forwards in time, and never restarts it at previous times in the past. The method is also related to an idea known as PASTA (Poisson arrivals see time averages) in the operations research literature. Because the new algorithm can be run using a read-once stream of randomness, we call it read-once CFTP. The memory and time requirements of read-once CFTP are on par with the requirements of the usual form of CFTP, and for a variety of applications the requirements may be noticeably less. Some perfect sampling algorithms for point processes are based on an extension of CFTP known as coupling into and from the past; for completeness, we give a read-once version of coupling into and from the past, but it remains unpractical. For these point process applications, we give an alternative coupling method with which read-once CFTP may be efficiently used.


title: Submanifold Differential Operators in $\Cal D$-Module Theory I : Schr\"odinger Operators

abstract: For this quarter of century, differential operators in a lower dimensional submanifold embedded or immersed in real $n$-dimensional euclidean space $\EE^n$ have been studied as quantum mechanical models, which are realized as restriction of the operators in $\EE^n$ to the submanifold. For this decade, the Dirac operators in the submanifold have been investigated in such a scheme , which are identified with operators of the Frenet-Serret relation for a space curve case and of the generalized Weierstrass relation for a conformal surface case. These Dirac operators are concerned well in the differential geometry, since they completely represent the submanifolds. In this and a future series of articles, we will give mathematical construction of the differential operators on a submanifold in $\EE^n$ in terms of $\DMod$-module theory and rewrite recent results of the Dirac operators mathematically. In this article, we will formulate Schr\"odinger operators in a low-dimensional submanifold in $\EE^n$.


title: Submanifold Differential Operators in $\Cal D$-Module Theory II: Generalized Weierstrass and Frenet-Serret Relations as Dirac Equations

abstract: This article is one of a series of papers. For this decade, the Dirac operator on a submanifold has been studied as a restriction of the Dirac operator in $n$-dimensional euclidean space $\EE^n$ to a surface or a space curve as physical models. These Dirac operators are identified with operators of the Frenet-Serret relation for a space curve case and of the generalized Weierstrass relation for a conformal surface case and completely represent the submanifolds. For example, the analytic index of Dirac operator of a space curve is identified with its writhing number. As another example, the operator determinants of the Dirac operators are closely related to invariances of the immersed objects, such as Euler-Bernoulli and Willmore functionals for a space curve and a conformal surface respectively. In this article, we will give mathematical construction of the Dirac operator by means of $\Cal D$-module and reformulate my recent results mathematically.


title: Determinant bundle in a family of curves, after A. Beilinson and V. Schechtman

abstract: In Comm. Math. Physics 118 (1988), 651-701, A. Beilinson and V. Schechtman define on the total space of a smooth family of curves a so-called trace complex associated to a vector bundle, the 0-th relative cohomology of which is the Atiyah algebra of the determinant bundle. Their proof reduces the general case to the acyclic one. In particular, one needs a comparison of the image of the trace complex for a bundle, and its twist by an \'etale multisection. We analyse this and correct a point in the original proof.


title: Unfolding polynomial maps at infinity

abstract: We give a topological model for a polynomial map from $\C^n$ to $\C$ in the neighborhood of a fiber with isolated singularities. This is motivated out of the ``unfolding of links'' described earlier by the first author and Lee Rudolph. The topological model gives a useful encoding of the local and global monodromy for the map. The new ingredients --- the topology of the singularities at infinity of an irregular fiber, as encoded by the Milnor fibers at infinity and the monodromy maps on these Milnor fibers --- are recoverable for n=2 in full from the link at infinity of the irregular fiber. They can thus be computed completely in terms of splice diagrams. We illustrate our results by computing the global monodromy of the Briancon polynomial.


title: A note on Nyman's equivalent formulation of the Riemann Hypothesis

abstract: A certain subspace of the Hilbert space of square-integrable functions on the unit interval has been considered by Nyman, Beurling, and others, with the result that the constant function 1 belongs to it if and only if the Riemann Hypothesis holds. I show that the product of |1 - 1/rho| taken over the zeros with real parts strictly greater than 1/2, counted with multiplicities, is the norm of the projection of 1 to this subspace. This provides a quantitative refinement to Nyman's theorem.


title: Lamps, Factorizations and Finite Fields

abstract: I answer a question from the 1993 International Mathematical Olympiads by constructing an equivalent algebraic problem, and unearth a surprising behaviour of some polynomials over the two-element field.


title: Topology of symplectomorphism groups of rational ruled surfaces

abstract: Let $M$ be either $S^2\times S^2$ or the one point blow-up $\cp# \bcp$ of $\cp$. In both cases $M$ carries a family of symplectic forms $\om_\la$, where $\la > -1$ determines the cohomology class $[\om_\la]$. This paper calculates the rational (co)homology of the group $G_\la$ of symplectomorphisms of $(M,\om_\la)$ as well as the rational homotopy type of its classifying space $BG_\la$. It turns out that each group $G_\la$ contains a finite collection $K_k, k = 0,...,\ell = \ell(\la)$, of finite dimensional Lie subgroups that generate its homotopy. We show that these subgroups "asymptotically commute", i.e. all the higher Whitehead products that they generate vanish as $\la\to \infty$. However, for each fixed $\la$ there is essentially one nonvanishing product that gives rise to a "jumping generator" $w_\la$ in $H^*(G_\la)$ and to a single relation in the rational cohomology ring $H^*(BG_\la)$. An analog of this generator $w_\la$ was also seen by Kronheimer in his study of families of symplectic forms on 4-manifolds using Seiberg--Witten theory. Our methods involve a close study of the space of $\om_\la$-compatible almost complex structures on $M$.


title: The Abel-Jacobi map for a cubic threefold and periods of Fano threefolds of degree 14

abstract: The Abel-Jacobi maps of the families of elliptic quintics and rational quartics lying on a smooth cubic threefold are studied. It is proved that their generic fiber is the 5-dimensional projective space for quintics, and a smooth 3-dimensional variety birational to the cubic itself for quartics. The paper is a continuation of the recent work of Markushevich-Tikhomirov, who showed that the first Abel-Jacobi map factors through the moduli component of stable rank 2 vector bundles on the cubic threefold with Chern numbers $c_1=0, c_2=2$ obtained by Serre's construction from elliptic quintics, and that the factorizing map from the moduli space to the intermediate Jacobian is \'etale. The above result implies that the degree of the \'etale map is 1, hence the moduli component of vector bundles is birational to the intermediate Jacobian. As an applicaton, it is shown that the generic fiber of the period map of Fano varieties of degree 14 is birational to the intermediate Jacobian of the associated cubic threefold.


title: Recent Advances in the Theory of Holonomy

abstract: This article is a report on the status of the problem of classifying the irriducibly acting subgroups of GL(n,R) that can appear as the holonomy of a torsion-free affine connection. In particular, it contains an account of the completion of the classification of these groups by Chi, Merkulov, and Schwachhofer as well as of the exterior differential systems analysis that shows that all of these groups do, in fact, occur. Some discussion of the results of Joyce on the existence of compact examples with holonomy G_2 or Spin(7) is also included.


title: Semisymmetric polynomials and the invariant theory of matrix vector pairs

abstract: In this paper we introduce and investigate a one-parameter family of polynomials. They are semisymmetric, i.e. symmetric in the variables with odd and even index separately. In fact, the family forms a basis of the space of semisymmetric polynomials. For two values of the parameter r, namely r=1/2 and r=1, the polynomials have a representation theoretic meaning. In general, they form the semisymmetric analogue of (shifted) Jack polynomials.


title: On a Stratification of the Moduli of K3 Surfaces

abstract: In this paper we give a characterization of the height of K3 surfaces in positive characteristic. This enables us to calculate the cycle classes of the loci in families of K3 surfaces where the height is at least h. The formulas for such loci can be seen as generalizations of the famous formula of Deuring for the number of supersingular elliptic curves in positive characteristic. In order to describe the tangent spaces to these loci we study the first cohomology of higher closed forms.


title: Efficient sphere-covering and converse measure concentration via generalized coding theorems

abstract: Suppose A is a finite set equipped with a probability measure P and let M be a ``mass'' function on A. We give a probabilistic characterization of the most efficient way in which A^n can be almost-covered using spheres of a fixed radius. An almost-covering is a subset C_n of A^n, such that the union of the spheres centered at the points of C_n has probability close to one with respect to the product measure P^n. An efficient covering is one with small mass M^n(C_n); n is typically large. With different choices for M and the geometry on A our results give various corollaries as special cases, including Shannon's data compression theorem, a version of Stein's lemma (in hypothesis testing), and a new converse to some measure concentration inequalities on discrete spaces. Under mild conditions, we generalize our results to abstract spaces and non-product measures.


title: Symplectic structure on a moduli space of sheaves on the cubic fourfold

abstract: A 10-dimensional symplectic moduli space of torsion sheaves on the cubic 4-fold is constructed. It parametrizes the stable rank 2 vector bundles on the hypeplane sections of the cubic 4-fold which are obtained by Serre's construction from normal elliptic quintics. The natural projection to the dual projective 5-space parametrizing the hyperplane sections is a Lagrangian fibration. The symplectic structure is closely related (and conjecturally, is equal) to the quasi-symplectic one, induced by the Yoneda pairing on the moduli space.


title: Parusi\'nski's "Key Lemma" via algebraic geometry

abstract: The following ``Key Lemma'' plays an important role in Parusinski's work on the existence of Lipschitz stratifications in the class of semianalytic sets: For any positive integer n, there is a finite set of homogeneous symmetric polynomials W_1,...,W_N in Z[x_1,...,x_n] and a constant M >0 such that |dx_i/x_i| \le M \max_{j = 1,..., N} |dW_j/W_j| as densely defined functions on the tangent bundle of C^n. We give a new algebro-geometric proof of this result.


title: Partially ordered groups and geometry of contact transformations

abstract: We prove, for a class of contact manifolds, that the universal cover of the group of contact diffeomorphisms carries a natural partial order. It leads to a new viewpoint on geometry and dynamics of contactomorphisms. It gives rise to invariants of contactomorphisms which generalize the classical notion of the rotation number. Our approach is based on tools of Symplectic Topology.


title: Free Seifert surfaces and disk decompositions

abstract: A Seifert surface F for a knot K is disk decomposable if there is a taut sutured manifold heirarchy for the complement of F, whose decomposing surfaces are all disks. It follows that F has minimal genus for the knot K, and has handlebody complement, i.e., F is free. We show that these necessary conditions for disk decomposability are not sufficient, by constructing a family of knots with genus one free Seifert surfaces, which are not disk decomposable.


title: Growth series of some hyperbolic graphs and Salem numbers

abstract: Extending the analogous result of Cannon and Wagreich for the fundamental groups of surfaces, we show that, for the l-regular graphs X associated to regular tessellations of hyperbolic plane by m-gons, the denominators of the growth series (which are rational and were computed by Floyd and Plotnick) are reciprocal Salem polynomials. As a consequence, the growth rates of these graphs are Salem numbers. We then derive some regularity properties for the coefficients $a_n$ of the growth series: they satisfy $$K\lambda^n-R<a_n<K\lambda^n+R$$ for some constants $K,R>0$, $\lambda>1$.


title: Lower Bounds on the Growth of Grigorchuk's Torsion Group

abstract: In 1980 Rostislav Grigorchuk constructed a group $G$ of intermediate growth, and later obtained the following estimates on its growth $\gamma$: $e^{\sqrt{n}}\precsim\gamma(n)\precsim e^{n^\beta},$ where $\beta=\log_{32}(31)\approx0.991$. He conjectured that the lower bound is actually tight. In this paper we improve the lower bound to $e^{n^\alpha}\precsim\gamma(n),$ where $\alpha\approx0.5157$, with the aid of a computer. This disproves the conjecture that the lower bound be tight.


title: Hecke Algebras, SVD, and Other Computational Examples with {\sc CLIFFORD}

abstract: {\sc CLIFFORD} is a Maple package for computations in Clifford algebras $\cl (B)$ of an arbitrary symbolic or numeric bilinear form B. In particular, B may have a non-trivial antisymmetric part. It is well known that the symmetric part g of B determines a unique (up to an isomorphism) Clifford structure on $\cl(B)$ while the antisymmetric part of B changes the multilinear structure of $\cl(B).$ As an example, we verify Helmstetter's formula which relates Clifford product in $\cl(g)$ to the Clifford product in $\cl(B).$ Experimentation with Clifford algebras $\cl(B)$ of a general form~B is highly desirable for physical reasons and can be easily done with {\sc CLIFFORD}. One such application includes a derivation of a representation of Hecke algebras in ideals generated by q-Young operators. Any element (multivector) of $\cl(B)$ is represented in Maple as a multivariate Clifford polynomial in the Grassmann basis monomials although other bases, such as the Clifford basis, may also be used. Using the well-known isomorphism between simple Clifford algebras $\cl(Q)$ of a quadratic form Q and matrix algebras through a faithful spinor representation, one can translate standard matrix algebra problems into the Clifford algebra language. We show how the Singular Value Decomposition of a matrix can be performed in a Clifford algebra. Clifford algebras of a degenerate quadratic form provide a convenient tool with which to study groups of rigid motions in robotics. With the help from {\sc CLIFFORD} we can actually describe all elements of $\Pin(3)$ and $\Spin(3).$ Rotations in $\BR^3$ can then be generated by unit quaternions realized as even elements in $\cl^{+}_{0,3}.$ Throughout this work all symbolic computations are performed with {\sc CLIFFORD} and its extensions.


title: A q-analogue of the path length of binary search trees

abstract: A reformulation of the path length of binary search trees is given in terms of permutations, allowing to extend the definition to the instance of words, where the letters are obtained by independent geometric random variables (with parameter q). In this way, expressions for expectation and variance are obtained which in the limit for $q\to1$ are the classical expressions.


title: Extended deformation functors

abstract: We introduce a precise notion, in terms of few Schlessinger's type conditions, of extended deformation functors which is compatible with most of recent ideas in the Derived Deformation Theory (DDT) program and with geometric examples. With this notion we develop the (extended) analogue of Schlessinger and obstruction theories. The inverse mapping theorem holds for natural transformations of extended deformation functors and all such functors with finite dimensional tangent space are prorepresentable in the homotopy category.


title: Symmetric powers of Galois modules on Dedekind schemes

abstract: We prove a certain Riemann-Roch type formula for symmetric powers of Galois modules on Dedekind schemes which, in the number field or function field case, specializes to a formula of Burns and Chinburg for Cassou-Nogu\`es-Taylor operations.


title: The solution to the Maurey extension problem for Banach spaces with the Gordon Lewis property and related structures

abstract: The main result of this paper states that if a Banach space X has the property that every bounded operator from an arbitrary subspace of X into an arbitrary Banach space of cotype 2 extends to a bounded operator on X, then $B(\ell_{\infty},X^*)=\Pi_2(\ell_{\infty},X^*)$. If in addition X has the Gaussian average property, then it is of type 2. This implies that the same conclusion holds if X has the Gordon-Lewis property (in particular X could be a Banach lattice) or if X is isomorphic to a subspace of a Banach lattice of finite cotype, thus solving the Maurey extension property for these classes of spaces. The paper also contains a detailed study of the property of extending operators with values in $\ell_p$-spaces, $1\le p<\infty$.


title: The bicanonical map of surfaces with $p_g=0$ and $K^2 \geq 7$

abstract: A minimal surface of general type with $p_g(S)=0$ satisfies $1\le K^2\le 9$ and it is known that the image of the bicanonical map $\fie$ is a surface for $K_S^2\geq 2$, whilst for $K^2_S\geq 5$, the bicanonical map is always a morphism. In this paper it is shown that $\fie$ is birational if $K_S^2=9$ and that the degree of $\fie$ is at most 2 if $K_S^2=7$ or $K_S^2=8$. By presenting two examples of surfaces $S$ with $K_S^2=7$ and 8 and bicanonical map of degree 2, it is also shown that this result is sharp. The example with $K_S^2=8$ is, to our knowledge, a new example of a surface of general type with $p_g=0$.


title: The spectrum of semistable vector bundles on certain algebraic spaces

abstract: We extend the notion of the spectrum of semistable rank two bundles (initially constructed on ${\bf P}^3$ by Barth and Elencwajg) to a certain class of compact complex algebraic threefolds.


title: Monomial resolutions of morphisms of algebraic surfaces

abstract: Suppose that $f: Y\to X$ is a proper, dominant, tamely ramified morphism of algebraic surfaces, over a perfect field. We show that it is possible to perform sequences of monoidal transforms $Y'\to Y$ and $X'\to X$ to obtain an induced morphism $Y'\to Y$ which is a monomial morphism.


title: Twelve points on the projective line, branched covers, and rational elliptic fibrations

abstract: The following divisors in the space Sym^{12} P^1 of twelve points on P^1 are actually the same: (A) the possible locus of the twelve nodal fibers in a rational elliptic fibration (i.e. a pencil of plane cubic curves); (B) degree 12 binary forms that can be expressed as a cube plus a square; (C) the locus of the twelve tangents to a smooth plane quartic from a general point of the plane; (D) the branch locus of a degree 4 map from a hyperelliptic genus 3 curve to P^1; (E) the branch locus of a degree 3 map from a genus 4 curve to P^1 induced by a theta-characteristic; and several more. The corresponding moduli spaces are smooth, but they are not all isomorphic; some are finite etale covers of others. We describe the web of interconnections between these spaces, and give monodromy, rationality, and Prym-related consequences. Enumerative consequences include: (i) the degree of this locus is 3762 (e.g. there are 3762 rational elliptic fibrations with nodes above 11 given general points of the base); (ii) if C --> P^1 is a cover as in (D), then there are 135 different such covers branched at the same points; (iii) the general set of 12 tangent lines that arises in (C) turns up in 120 essentially different ways. Some parts of this story are well-known, and some other parts were known classically (to Zeuthen, Zariski, Coble, Mumford, and others). The unified picture is surprisingly intricate and connects many beautiful constructions, including Recillas' trigonal construction and Shioda's E8-Mordell-Weil lattice.


title: Courant algebroids, derived brackets and even symplectic supermanifolds

abstract: In this dissertation we study Courant algebroids, objects that first appeared in the work of T. Courant on Dirac structures; they were later studied by Liu, Weinstein and Xu who used Courant algebroids to generalize the notion of the Drinfeld double to Lie bialgebroids. As a first step towards understanding the complicated properties of Courant algebroids, we interpret them by associating to each Courant algebroid a strongly homotopy Lie algebra in a natural way. Next, we propose an alternative construction of the double of a Lie bialgebroid as a homological hamiltonian vector field on an even symplectic supermanifold. The classical BRST complex and the Weil algebra arise as special cases. We recover the Courant algebroid via the derived bracket construction and give a simple proof of the doubling theorem of Liu, Weinstein and Xu. We also introduce a generalization, quasi-Lie bialgebroids, analogous to Drinfeld's quasi-Lie bialgebras; we show that the derived bracket construction in this case also yields a Courant algebroid. Finally, we compute the Poisson cohomology of a one-parameter family of SU(2)- covariant Poisson structures on S^2. As an application, we show that these structures are non-trivial deformations of each other, and that they do not admit rescaling.


title: Lichnerowicz-Jacobi cohomology and homology of Jacobi manifolds: modular class and duality

abstract: Lichnerowicz-Jacobi cohomology and homology of Jacobi manifolds are reviewed. We present both in a unified approach using the representation of the Lie algebra of functions on itself by means of the hamiltonian vector fields. The use of the associated Lie algebroid allows to prove that the Lichnerowicz-Jacobi cohomology and homology are invariant under conformal changes of the Jacobi structure and to stablish the duality between Lichnerowicz-Jacobi cohomology and homology when the modular class vanishes. We also compute the Lichnerowicz-Jacobi cohomology and homology for a large variety of examples.


title: Boolean algebras with prescribed topological densities

abstract: We give a simplified proof of a theorem of M. Rabus and S. Shelah claiming that for each cardinal mu there is a c.c.c Boolean algebra with topological density mu.


title: Irregular subsets of the Grassmannian manifolds

abstract: The book is devoted to study so-called irregular subsets of the Grassmannian manifold $G^{n}_{k}(V)$ (this class of sets was introduced by author). In the previous variant of the book we restrict ourself only to the case when $V$ is an $n$-dimensional vector space under the field $R$. Now we consider irregular subsets of $G^{n}_{k}(V)$, where $V$ is an $n$-dimensional vector space under arbitrary field.


title: Noncommutative curves and noncommutative surfaces

abstract: In this survey article we describe some geometric results in the theory of noncommutative rings and, more generally, in the theory of abelian categories. Roughly speaking and by analogy with the commutative situation, the category of graded modules modulo torsion over a noncommutative graded ring of quadratic, respectively cubic growth should be thought of as the noncommutative analogue of a projective curve, respectively surface. This intuition has lead to a remarkable number of nontrivial insights and results in noncommutative algebra. Indeed, the problem of classifying noncommutative curves (and noncommutative graded rings of quadratic growth) can be regarded as settled. Despite the fact that no classification of noncommutative surfaces is in sight, a rich body of nontrivial examples and techniques, including blowing up and down, has been developed.


title: Hirzebruch genera of manifolds with torus action

abstract: A quasitoric manifold is a smooth 2n-manifold M^{2n} with an action of the compact torus T^n such that the action is locally isomorphic to the standard action of T^n on C^n and the orbit space is diffeomorphic, as manifold with corners, to a simple polytope P^n. The name refers to the fact that topological and combinatorial properties of quasitoric manifolds are similar to that of non-singular algebraic toric varieties (or toric manifolds). Unlike toric varieties, quasitoric manifolds may fail to be complex; however, they always admit a stably (or weakly almost) complex structure, and their cobordism classes generate the complex cobordism ring. As it have been recently shown by Buchstaber and Ray, a stably complex structure on a quasitoric manifold is defined in purely combinatorial terms, namely, by an orientation of the polytope and a function from the set of codimension-one faces of the polytope to primitive vectors of an integer lattice. We calculate the \chi_y-genus of a quasitoric manifold with fixed stably complex structure in terms of the corresponding combinatorial data. In particular, this gives explicit formulae for the classical Todd genus and signature. We also relate our results with well-known facts in the theory of toric varieties.


title: On Blocking Sets of Affine Spaces

abstract: We consider the problem of finding the minimal number of points required to intersect all lines in an affine space over the finite field of order 3. We also consider the problem of finding the minimal number of points required to intersect all two dimensional affine subspaces in an affine space over the field of order 2.


title: Path-components of Morse mappings spaces of surfaces

abstract: Let $M$ be a compact surface and $P$ be a one dimensional manifold without boundary, that is the line $\mathbb{R}^1$ or a circle $S^1$. The classification of path-components of the space of Morse maps from $M$ into $P$ was recently obtained by S. V. Matveev and V. V. Sharko for the case $P=\mathbb{R}$. For $P=S^1$ the classification was obtained by the author. All this results can be reformulated as one theorem: "Two Morse maps $f,g:M \to P$ belong to the same path component of a space of Morse mappings from $M$ into $P$ if and only if they are homotopic and have the same number of crutucal points in each index and the same sets of positive and negative boundary circles". Here we give another independent proof of this theorem based on Lickorish's theorem on generators of homeotopy group of surface.


title: Generalized Loop Groups of Complex Manifolds, Gaussian Quasi-Invariant Measures on them and their Representations

abstract: Loop groups G as families of mappings of the complex manifold M into another complex manifold N preserving marked points $s_0\in M$ and $y_0\in N$ are investigated. Quasi-invariant measures $\mu $ on G relative to dense subgroups $G'$ are constructed. These measures are used for the studying of irreducible representations of such groups.


title: Affine shuffles, shuffles with cuts, the Whitehouse module, and patience sorting

abstract: Type A affine shuffles are compared with riffle shuffles followed by a cut. Although these probability measures on the symmetric group S_n are different, they both satisfy a convolution property. Strong evidence is given that when the underlying parameter $q$ satisfies $gcd(n,q-1)=1$, the induced measures on conjugacy classes of the symmetric group coincide. This gives rise to interesting combinatorics concerning the modular equidistribution by major index of permutations in a given conjugacy class and with a given number of cyclic descents. It is proved that the use of cuts does not speed up the convergence rate of riffle shuffles to randomness. Generating functions for the first pile size in patience sorting from decks with repeated values are derived. This relates to random matrices.


title: The vortex blob method as a second-grade non-Newtonian fluid

abstract: We show that a certain class of vortex blob approximations for ideal hydrodynamics in two dimensions can be rigorously understood as solutions to the equations of second-grade non-Newtonian fluids with zero viscosity, and initial data in the space of Radon measures ${\mathcal M}({\mathbb R}^2)$. The solutions of this regularized PDE, also known as the averaged Euler or Euler-$\alpha$ equations, are geodesics on the volume preserving diffeomorphism group with respect to a new weak right invariant metric. We prove global existence of unique weak solutions (geodesics) for initial vorticity in ${\mathcal M}({\mathbb R}^2)$ such as point-vortex data, and show that the associated coadjoint orbit is preserved by the flow. Moreover, solutions of this particular vortex blob method converge to solutions of the Euler equations with bounded initial vorticity, provided that the initial data is approximated weakly in measure, and the total variation of the approximation also converges. In particular, this includes grid-based approximation schemes of the type that are usually used for vortex methods.


title: On Local Borg-Marchenko Uniqueness Results

abstract: We provide a new short proof of the following fact, first proved by one of us in 1998: If two Weyl-Titchmarsh m-functions, $m_j(z)$, of two Schr\"odinger operators $H_j = -\f{d^2}{dx^2} + q_j$, j=1,2 in $L^2 ((0,R))$, $0<R\leq \infty$, are exponentially close, that is, $|m_1(z)- m_2(z)| \underset{|z|\to\infty}{=} O(e^{-2\Ima (z^{1/2})a})$, 0<a<R, then $q_1 = q_2$ a.e.~on $[0,a]$. The result applies to any boundary conditions at x=0 and x=R and should be considered a local version of the celebrated Borg-Marchenko uniqueness result (which is quickly recovered as a corollary to our proof). Moreover, we extend the local uniqueness result to matrix-valued Schr\"odinger operators.


title: The canonical arithmetic height of subvarieties of an abelian variety over a finitely generated field

abstract: This paper is the sequel of our paper "Arithmetic height functions over finitely generated fields" (cf. math.NT/9809016). In this paper, we define the canonical height of subvarieties of an abelian variety over a finitely generated field over Q. We also prove that the canonical height of a subvariety is zero if and only if it is a translation of an abelian subvariety by a torsion point.


title: Special complex manifolds

abstract: We introduce the notion of a special complex manifold: a complex manifold (M,J) with a flat torsionfree connection \nabla such that (\nabla J) is symmetric. A special symplectic manifold is then defined as a special complex manifold together with a \nabla-parallel symplectic form \omega . This generalises Freed's definition of (affine) special K\"ahler manifolds. We also define projective versions of all these geometries. Our main result is an extrinsic realisation of all simply connected (affine or projective) special complex, symplectic and K\"ahler manifolds. We prove that the above three types of special geometry are completely solvable, in the sense that they are locally defined by free holomorphic data. In fact, any special complex manifold is locally realised as the image of a holomorphic 1-form \alpha : C^n \to T^* C^n. Such a realisation induces a canonical \nabla-parallel symplectic structure on M and any special symplectic manifold is locally obtained this way. Special K\"ahler manifolds are realised as complex Lagrangian submanifolds and correspond to closed forms \alpha. Finally, we discuss the natural geometric structures on the cotangent bundle of a special symplectic manifold, which generalise the hyper-K\"ahler structure on the cotangent bundle of a special K\"ahler manifold.


title: On Generalized Van der Waerden Triples

abstract: Van der Waerden's classical theorem on arithmetic progressions states that for any positive integers k and r, there exists a least positive integer, w(k,r), such that any r-coloring of {1,2,...,w(k,r)} must contain a monochromatic k-term arithmetic progression {x,x+d,x+2d,...,x+(k-1)d}. We investigate the following generalization of w(3,r). For fixed positive integers a and b with a <= b, define N(a,b;r) to be the least positive integer, if it exists, such that any r-coloring of {1,2,...,N(a,b;r)} must contain a monochromatic set of the form {x,ax+d,bx+2d}. We show that N(a,b;2) exists if and only if b <> 2a, and provide upper and lower bounds for it. We then show that for a large class of pairs (a,b), N(a,b;r) does not exist for r sufficiently large. We also give a result on sets of the form {x,ax+d,ax+2d,...,ax+(k-1)d}.


title: Simple cycles

abstract: We obtain sharp bounds for the number of n-cycles in a finite graph as a function of the number of edges, and prove that the complete graph is optimal in more ways than could be imagined. En route, we prove some sharp estimates on power sums.


title: Methods of Equivariant Quantization

abstract: This article is a survey of recent work of the authors developing a new approach to quantization based on the equivariance with respect to some Lie group of symmetries. Examples are provided by conformal and projective differential geometry: given a smooth manifold M endowed with a flat conformal/projective structure, we establish a canonical isomorphism between the space of symmetric contravariant tensor fields on M and the space of differential operators on M. This leads to a notion of conformally/projectively invariant star-product on $T^*M$.


title: Actions of GL_q(2,C) on C(1,3) and its four dimensional representations

abstract: A complete classification is given of all inner actions on the Clifford algebra C(1,3) defined by representations of the quantum group GL_q(2,C), q^m\neq 1, which are not reduced to representations of two commuting "q-spinors". As a consequence of this classification it is shown that the space of invariants of every GL_q(2,C)-action of this type, which is not an action of SL_q(2,C), is generated by 1 and the value of the quantum determinant for the given representation.


title: Combinatorics of geometrically distributed random variables: New q-tangent and q-secant numbers

abstract: Up-down permutations are counted by tangent resp. secant numbers. Considering words instead, where the letters are produced by independent geometric distributions, there are several ways of introducing this concept; in the limit they all coincide with the classical version. In this way, we get some new q-tangent and q-secant functions. Some of them also have nice continued fraction expansions; in one particular case, we could not find a proof for it. Divisibility results a la Andrews/Foata/Gessel are also discussed.


title: Finite-gap difference opeators with elliptic coefficients and their spectral curves

abstract: We review recent results on the finite-gap properties of difference operators with elliptic coefficients and give explicit characterization of spectral curves for difference analogues of the higher Lam\'e operators. This curve parametrizes double-Bloch solutions to the difference Lam\'e equation. The curve depends on a positive integer number \ell, related to its genus g by g=2\ell, and two continuous parameters: the lattice spacing \eta and the modular parameter \tau. Isospectral deformations of the difference Lam\'e operator under Volterra flows are also discussed.


title: Semiclassical estimates in asymptotically Euclidean scattering

abstract: In this note we obtain semiclassical resolvent estimates for non-trapping long range perturbations of the Laplacian on asymptotically Euclidean manifolds. Our proof is based on a positive commutator argument which differs from Mourre-type estimates by making the commutant also positive. The resolvent estimates, including the weighting of the Sobolev spaces in the estimates, are an immediate consequence.


title: Levelling an unknotting tunnel

abstract: It is a consequence of theorems of Gordon-Reid [Tangle decompositions of tunnel number one knots and links, J. Knot Theory and its Ramifications, 4 (1995) 389-409] and Thompson [Thin position and bridge number for knots in the 3-sphere, Topology, 36 (1997) 505-507] that a tunnel number one knot, if put in thin position, will also be in bridge position. We show that in such a thin presentation, the tunnel can be made level so that it lies in a level sphere. This settles a question raised by Morimoto [A note on unknotting tunnels for 2-bridge knots, Bulletin of Faculty of Engineering Takushoku University, 3 (1992) 219-225], who showed that the (now known) classification of unknotting tunnels for 2-bridge knots would follow quickly if it were known that any unknotting tunnel can be made level.


title: On Projectively Related Einstein Metrics

abstract: We study the following problem: given an Einstein metric on a manifold, characterize and study all Einstein metrics which are pointwise projective to the given one. By definition, two metrics are said to be pointwise projectively related if they have the same geodesics as point sets. This is closely related to Hilbert's Fourth Problem. In this paper, we show that pointwise projectively related Einstein metrics satisfy a simple equation along geodesics. In particular, we prove the following rigidity theorem: if two pointwise projectively related Einstein metrics are complete with negative Einstein constants, then one is a multiple of another. A Riemann metric has two features: length and angle, while a Finsler metric has only one feature: length. In projective metric geometry, the second feature of Riemann metrics is generally not used. Thus, we do not restrict our attention to Riemannian metrics. Our method is ``Finslerian''.


title: Heat kernels, symplectic geometry, moduli spaces and finite groups

abstract: In this note we apply heat kernels to derive some localization formula in sympletcic geometry, to study moduli spaces of flat connections on a Riemann surface, to obtain the push-forward measures for certain maps between Lie groups and to solve equations in finite groups.


title: On the Spectrum of Hecke Type Operators related to some Fractal Groups

abstract: We give the first example of a connected 4-regular graph whose Laplace operator's spectrum is a Cantor set, as well as several other computations of spectra following a common ``finite approximation'' method. These spectra are simple transforms of the Julia sets associated to some quadratic maps. The graphs involved are Schreier graphs of fractal groups of intermediate growth, and are also ``substitutional graphs''. We also formulate our results in terms of Hecke type operators related to some irreducible quasi-regular representations of fractal groups and in terms of the Markovian operator associated to noncommutative dynamical systems via which these fractal groups were originally defined. In the computations we performed, the self-similarity of the groups is reflected in the self-similarity of some operators; they are approximated by finite counterparts whose spectrum is computed by an ad hoc factorization process.


title: Decidability of the isomorphism problem for stationary AF-algebras and the associated ordered simple dimension groups

abstract: The notion of isomorphism of stable AF-C*-algebras is considered in this paper in the case when the corresponding Bratteli diagram is stationary, i.e., is associated with a single square primitive nonsingular incidence matrix. C*-isomorphism induces an equivalence relation on these matrices, called C*-equivalence. We show that the associated isomorphism equivalence problem is decidable, i.e., there is an algorithm that can be used to check in a finite number of steps whether two given primitive nonsingular matrices are C*-equivalent or not.


title: Kontsevich quantization and invariant distributions on Lie groups

abstract: We study Kontsevich's deformation quantization for the dual of a finite-dimensional real Lie algebra (or superalgebra) g. In this case the Kontsevich star-product defines a new convolution on S(g), regarded as the space of distributions supported at 0 in g. For p in S(g), we show that the convolution operator f->f*p is a differential operator with analytic germ. We use this fact to prove a conjecture of Kashiwara and Vergne on invariant distributions on a Lie group. This yields a new proof of Duflo's result on local solvability of bi-invariant differential operators on a Lie group. Moreover, this new proof extends to Lie supergroups.


title: Gromov-Witten invariants of the moduli of bundles on a surface

abstract: We produce an equality between the Gromov-Witten invariants of the moduli space M of rank two odd degree stable vector bundles over a Riemann surface $\Sigma$ and the Donaldson invariants of the algebraic surface $\Sigma \times P^1$. We discuss on to how extent the Quantum cohomology of M determines its Gromow-Witten invariants. Finally we find the isomorphism between the usual cohomology and the Quantum cohomology for the moduli space M over a Riemann surface of genus g=3.


title: Invariants of Spin Three-Manifolds From Chern-Simons Theory and Finite-Dimensional Hopf Algebras

abstract: A version of Kirby calculus for spin and framed three-manifolds is given and is used to construct invariants of spin and framed three-manifolds in two situations. The first is ribbon *-categories which possess odd degenerate objects. This case includes the quantum group situations corresponding to the half-integer level Chern-Simons theories conjectured to give spin TQFTs by Dijkgraaf and Witten \cite{DW90}. In particular, the spin invariants constructed by Kirby and Melvin \cite{KM91} are shown to be identical to the invariants associated to $\mathrm{SO}(3).$ Second, an invariant of spin manifolds analogous to the Hennings invariant is constructed beginning with an arbitrary factorizable, unimodular quasitriangular Hopf algebra. In particular a framed manifold invariant is associated to every finite-dimensional Hopf algebra via its quantum double, and is conjectured to be identical to Kuperberg's noninvolutory invariant of framed manifolds associated to that Hopf algebra.


title: Definable sets, motives and p-adic integrals

abstract: We associate canonical virtual motives to definable sets over a field of characteristic zero. We use this construction to show that very general p-adic integrals are canonically interpolated by motivic ones.


title: On the imbedding of a finite family of closed disks into a plane or S^{2}

abstract: Let $\{V_{i}\}_{i=1}^{n}$ be a finite family of closed subsets of a plane or a sphere $S^{2}$, each homeomorphic to the two-dimensional disk. In this paper we discuss the question how the boundary of connected components of a complement $\rr^{2} \setminus \bigcup_{i=1}^{n} V_{i}$ (accordingly, $S^{2} \setminus \bigcup_{i=1}^{n} V_{i}$) is arranged. It appears, if a set $\bigcup_{i=1}^{n} \Int V_{i}$ is connected, that the boundary $\partial W$ of every connected component $W$ of the set $\rr^{2} \setminus \bigcup_{i=1}^{n} V_{i}$ (accordingly, $S^{2} \setminus \bigcup_{i=1}^{n} V_{i}$) is homeomorphic to a circle.


title: Injective envelopes and local multiplier algebras of C*-algebras

abstract: The local multiplier C*-algebra M_{loc}(A) of any C*-algebra A can *-isomorphicly embedded into the injective envelope I(A) of A in such a way that the canonical embeddings of A into both these C*-algebras are identified. If A is commutative then M_{loc}(A) = I(A) . The injective envelopes of A and M_{loc}(A) always coincide, and every higher order local multiplier C*-algebra of A is contained in the regular monotone completion \bar{A} in I(A) of A . In case the set Z(A).A is dense in A the center of the local multiplier C*-algebra of A is the local multiplier C*-algebra of the center of A, and both they are *-isomorphic to the injective envelope of the center of A . A Wittstock type extension theorem for completely bounded bimodule maps on operator bimodules taking values in M_{loc}(A) is proven to hold if and only if M_{loc}(A) = I(A). In general, a solution of the problem for which C*-algebras A the C*-algebras M_{loc}(A) is injective is shown to be equivalent to the solution of I. Kaplansky's 1951 problem whether all AW*-algebras are monotone complete.


title: Poisson measures for topological groups and their representations

abstract: Gaussian quasi-invariant measures on groups of diffeomorphisms and loop groups G relative to dense subgroups G' were constructed. In the non-Archimedean case the wider class of measures was investigated, than in the real case. The cases of Riemann and non-Archimedean manifolds were considered. This article is related with unitary representations of G' associated with Poisson measures on $G^{\bf N}$ and uses quasi-invariant measures on G from the previous works. Several groups are considered: (1) (a) diffeomorphisms and (b) loop groups of real manifolds, (2) (a) diffeomorphisms and (b) loop groups of non-Archimedean manifolds over local fields. Besides these four cases further the fifth and the sixth cases are considered: for (3) (a) real and (b) non-Archimedean groups of diffeomorphisms Diff(M) representations associated with Poisson measures on configuration spaces $\Gamma_M$ contained in products of manifolds $M^{\bf N}$ are investigated. Here the cases of infinite-dimensional Banach manifold M (3) (a), non-Archimdean locally compact and non-locally compact Banach manifolds (3) (b) are investigated.


title: Global Left Loop Structures on Spheres

abstract: On the unit sphere $\mathbb{S}$ in a real Hilbert space $\mathbf{H}$, we derive a binary operation $\odot$ such that $(\mathbb{S},\odot)$ is a power-associative Kikkawa left loop with two-sided identity $\mathbf{e}_0$, i.e., it has the left inverse, automorphic inverse, and $A_l$ properties. The operation $\odot$ is compatible with the symmetric space structure of $\mathbb{S}$. $(\mathbb{S},\odot)$ is not a loop, and the right translations which fail to be injective are easily characterized. $(\mathbb{S},\odot)$ satisfies the left power alternative and left Bol identities ``almost everywhere'' but not everywhere. Left translations are everywhere analytic; right translations are analytic except at $-\mathbf{e}_0$ where they have a nonremovable discontinuity. The orthogonal group $O(\mathbf{H})$ is a semidirect product of $(\mathbb{S},\odot)$ with its automorphism group (cf. http://www.arxiv.org/abs/math.GR/9907085). The left loop structure of $(\mathbb{S},\odot)$ gives some insight into spherical geometry.


title: On Positive Deformations of *-Algebras

abstract: Motivated by deformation quantization we consider $^*$-algebras over ordered rings and their deformations: we investigate formal associative deformations compatible with the $^*$-involution and discuss a cohomological description in terms of a Hermitian Hochschild cohomology. As an ordered ring allows for a meaningful definition of positive functionals and as the formal power series with coefficients in an ordered ring are again an ordered ring we define a deformation to be positive if any positive linear functional of the undeformed algebra can be deformed into a positive linear functional of the deformed algebra. We discuss various examples and prove in particular that star products on symplectic manifolds are positive deformations.


title: Bloch's Conjecture, Deligne Cohomology and Higher Chow Groups

abstract: We express the kernel of Griffiths' Abel-Jacobi map by using the inductive limit of Deligne cohomology in the generalized sense (i.e. the absolute Hodge cohomology of A. Beilinson). This generalizes a result of L. Barbieri-Viale and V. Srinivas in the surface case. We then show that the Abel-Jacobi map for codimension 2 cycles and the Albanese map are bijective if a general hyperplane section is a surface for which Bloch's conjecture is proved. In certain cases we verify Nori's conjecture on the Griffiths group. We also prove a weak Lefschetz-type theorem for (higher) Chow groups, generalize a formula for the Abel-Jacobi map of higher cycles due to Beilinson and Levine to the smooth non proper case, and give a sufficient condition for the nonvanishing of the transcendental part of the image by the Abel-Jacobi map of a higher cycle on an elliptic surface, together with some examples.


title: On the Ghost Centre of Lie Superalgebras

abstract: We define a notion of ghost centre of a Lie superalgebra g=g_0+g_1 which is a sum of invariants with respect to the usual adjoint action (centre) and invariants with respect to a twisted adjoint action (``anticentre''). We calculate the anticentre in the case when the top external degree of g_1 is a trivial g_0-module. We describe the Harish-Chandra projection of the ghost centre for basic classical Lie superalgebras and show that for these cases the ghost centre coincides with the centralizer of the even part of the enveloping algebra. The ghost centre of a Lie superalgebra plays a role of the usual centre of a Lie algebra in some problems of representation theory. For instance, for osp(1,2l) the annihilator of a Verma module is generated by the intersection with the ghost centre.


title: On the non-existence of tight contact structures

abstract: We exhibit a 3-manifold which admits no tight contact structure.


title: Multiplication on the tangent bundle

abstract: Manifolds with a commutative and associative multiplication on the tangent bundle are called F-manifolds if a unit field exists and the multiplication satisfies a natural integrability condition. They are studied here. They are closely related to discriminants and Lagrange maps. Frobenius manifolds are F-manifolds. As an application a conjecture of Dubrovin on Frobenius manifolds and Coxeter groups is proved.


title: Robinson-Schensted correspondence and left cells

abstract: Although the Robinson-Schensted-Knuth correspondence is a classical subject, its study is still active because of new development in last two decades. In this field, fundamental results are sometimes proved by using machineries which may be bypassed. Hence we still feel a lack of good source for these elementary materials. This paper is intended to fill in this lack about the RSK correspondence and the left cells of the symmetric group. It is mostly survey-like, but shows the variety of fields the RSK correspondence is related to.


title: Semi-continuity of complex singularity exponents and K\"ahler-Einstein metrics on Fano orbifolds

abstract: We introduce complex singularity exponents of plurisubharmonic functions and prove a general semi-continuity result for them. This concept contains as a special case several similar concepts which have been considered e.g. by Arnold and Varchenko, mostly for the study of hypersurface singularities. The plurisubharmonic version is somehow based on a reduction to the algebraic case, but it also takes into account more quantitative informations of great interest for complex analysis and complex differential geometry. We give as an application a new derivation of criteria for the existence of K\"ahler-Einstein metrics on certain Fano orbifolds, following Nadel's original ideas (but with a drastic simplication in the technique, once the semi-continuity result is taken for granted). In this way, 3 new examples of rigid K\"ahler-Einstein Del Pezzo surfaces with quotient singularities are obtained.


title: On elliptic operator pencils with general boundary conditions

abstract: In this paper operator pencils $A(x,D,\lambda)$ are investigated which depend polynomially on the parameter $\lambda$ and act on a manifold with boundary. The operator A is assumed to satisfy the condition of N-ellipticity with parameter which is an ellipticity condition formulated with the use of the Newton polygon. We consider general boundary operators $B_1(x,D),...,B_m(x,D)$ and define N-ellipticity for the boundary value problem $(A,B_1,...,B_m)$ analogously to the Shapiro-Lopatinskii condition. It is shown that the boundary value problem is N-elliptic if and only if an a priori estimate holds, where the norms in the estimate are again defined in terms of the Newton polygon. These results are closely connected with singular perturbation theory and lead to uniform estimates for problems of Vishik-Lyusternik type containing a small parameter.


title: Nahm transform for doubly-periodic instantons

abstract: We present the Nahm transform of the doubly-periodic instantons introduced in math.DG/9909069, converting them into certain meromorphic solutions of Hitchin's equations over an elliptic curve.


title: Monodromy of fiber-type arrangements and orbit configuration spaces

abstract: We prove similar theorems concerning the structure of bundles involving complements of fiber-type hyperplane arrangements and orbit configuration spaces. These results facilitate analysis of the fundamental groups of these spaces, which may be viewed as generalizations of the Artin pure braid group. In particular, we resolve two disparate conjectures. We show that the Whitehead group of the fundamental group of the complement of a fiber-type arrangement is trivial, as conjectured by Aravinda, Farrell, and Rouchon. For the orbit configuration space corresponding to the natural action of a finite cyclic group on the punctured plane, we determine the structure of the Lie algebra associated to the lower central series of the fundamental group. Our results show that this Lie algebra is isomorphic to the module of primitives in the homology of the loop space of a related orbit configuration space, as conjectured by Xicotencatl.


title: A solution to the problem of $L^p-$maximal regularity

abstract: We give a negative solution to the problem of the $L^p$-maximal regularity on various classes of Banach spaces including $L^q$-spaces with $1<q \neq 2<+\infty$.


title: Hypersurface exceptional singularities

abstract: This paper studies hypersurface exceptional singularities in $\mathbb C^n$ defined by non-degenerate function. For each canonical hypersurface singularity, there exists a weighted homogeneous singularity such that the former is exceptional if and only if the latter is exceptional. So we study the weighted homogeneous case and prove that the number of weights of weighted homogeneous exceptional singularities are finite. Then we determine all exceptional singularities of the Brieskorn type of dimension 3.


title: An explicit algebraic family of genus-one curves violating the Hasse principle

abstract: We prove that for any t in Q, the curve 5 x^3 + 9 y^3 + 10 z^3 + 12((t^12-t^4-1)/(t^12-t^8-1))^3 (x+y+z)^3 = 0 in P^2 is a genus 1 curve violating the Hasse principle. An explicit Weierstrass model for its Jacobian E_t is given. The Shafarevich-Tate group of each E_t contains a subgroup isomorphic to Z/3 x Z/3.


title: Soliton equations in N-dimensions as exact reductions of Self-dual Yang-Mills equation III. Soliton geometry in 2+1 and 3+1 dimensions

abstract: Some aspects of the relation between differential geometry of curves and surfaces and multidimensional soliton equations is discussed. The connection between multidimensional soliton equations and Self-dual Yang-Mills equation is studied.


title: A solution of Deligne's conjecture

abstract: Deligne asked in 1993 whether the Hochschild cochain complex of an associative ring has a natural action by the singular chains of the little 2-cubes operad. In this paper we give an affirmative answer to this question. We also show that the topological Hochschild cohomology spectrum of an associative ring spectrum has an action of an operad equivalent to the little 2-cubes.


title: On the classification of tight contact structures I

abstract: We develop new techniques in the theory of convex surfaces to prove complete classification results for tight contact structures on lens spaces, solid tori, and T^2 X I. Erratum: In this note we seek to remedy errors which appeared in version 2 and were propagated in subsequent papers.


title: Riccati equations and convolution formulas for functions of Rayleigh type

abstract: N. Kishore, Proc. Amer. Math. Soc. 14 (1963), 523, considered the Rayleigh functions sigma_n, sums of the negative even powers of the (non-zero) zeros of the Bessel function J_nu(z) and provided a convolution type sum formula for finding sigma_n in terms of sigma_1, ...,sigma_{n-1}. His main tool was the recurrence relation for Bessel functions. Here we extend this result to a larger class of functions by using Riccati ifferential equations. We get new results for the zeros of certain combinations of Bessel functions and their first and second derivatives as well as recovering some results of Buchholz for zeros of confluent hypergeometric functions.


title: Nielsen zeta function, 3-manifolds and asymptotic expansions in Nielsen theory

abstract: We prove that the Nielsen zeta function is a rational function or a radical of a rational function for orientation preserving homeomorphisms on closed orientable 3-dimensional manifolds which are special Haken or Seifert manifolds. In the case of pseudo-Anosov homeomorphism of surface we compute an asymptotic for the number of twisted conjugacy classes or for the number of Nielsen fixed point classes whose norm is at most $x$.


title: Contractions of Symplectic Varieties

abstract: We consider birational projective contractions f:X -> Y from a smooth symplectic variety X over the complex numbers. We first show that exceptional rational curves on X deform in a family of dimension at least 2n-2. Then we show that these contractions are generically coisotropic, provided X is projective. Then we specialize to contractions with 1-dimensional exceptional fibres. We classify them in a natural way in terms of (\Gamma, G), where \Gamma is a Dynkin diagram of type A_l, D_l or E_l and G is a permutation group of automorphisms of \Gamma. The 1-dimensional fibres do not degenerate, except if the contraction is of type (A_{2l},S_2). In that case they do not degenerate in codimension 1. Furthermore we show that the normalization of any irreducible component of Sing(Y) is a symplectic variety. We also provide examples for contractions of any type (\Gamma, G).


title: An infinite analogue of rings with stable rank one

abstract: Replacing invertibility with quasi-invertibility in Bass' first stable range condition we discover a new class of rings, the QB-rings. These constitute a considerable enlargement of the class of rings with stable rank one (B-rings), and include examples like the ring of endomorphisms of a vector space over a field F, and the ring of all row- and column- finite matrices over F. We show that the category of QB-rings is stable under the formation of corners, ideals and quotients, as well as matrices and direct limits. We also give necessary and sufficient conditions for an extension of QB-rings to be again a QB-ring, and show that extensions of B-rings often lead to QB-rings. Specializing to the category of exchange rings we characterize the subset of exchange QB-rings as those in which every von Neumann regular element extends to a maximal regular element, i.e. a quasi-invertible element. Finally we show that the C*- algebras that are QB-rings are exactly the extremally rich C*-algebras previously studied by L.G. Brown and the second author.


title: Constructing irreducible representations of finitely presented algebras

abstract: By combining well-known techniques from both noncommutative algebra and computational commutative algebra, we observe that an algorithmic approach can be applied to the study of irreducible representations of finitely presented algebras. In slightly more detail: Assume that $n$ is a positive integer, that $k$ is a computable field, that $\bar{k}$ denotes the algebraic closure of $k$, and that $M_n(\bar{k})$ denotes the algebra of $n \times n$ matrices with entries in $\bar{k}$. Let $R$ be a finitely presented $k$-algebra. Calculating over $k$, the procedure will (a) decide whether an irreducible representation $R \to M_n(\bar{k})$ exists, and (b) explicitly construct an irreducible representation $R \to M_n(\bar{k})$ if at least one exists. (For (b), it is necessary to assume that $k[x]$ is equipped with a factoring algorithm.) An elementary example is worked through.


title: Quartic 3-fold: Pfaffians, instantons and half-canonical curves

abstract: A generic quartic 3-fold X admits a 7-dimensional family of representations as the Pfaffian of an 8 by 8 skew-symmetric matrix of linear forms. This provides a 7-dimensional moduli space M of rank 2 vector bundles on X. A precise geometric description of a 14-dimensional family of half-canonical curves C of genus 15 in X such that the above vector bundles are obtained by Serre's construction from C is given. It is proved that the Abel-Jacobi map of this family factors through M, and the resulting map from M to the intermediate Jacobian is quasi-finite. In particular, every component of M has non-negative Kodaira dimension. Some other constructions of rank 2 vector bundles with small Chern classes are discussed; it is proved that the smallest possible charge of an instanton on X is 4.


title: Mathematical Problems in the Control of Underactuated Systems

abstract: In this paper we will discuss problems and techniques related to underactuated systems. We give a mathematical formulation of several problems arising from applications, review some standard and new techniques, and pose some interesting and challenging open questions.


title: C*-tensor categories and free product bimodules

abstract: A C*-tensor category with simple unit object is realized by von Neumann algebra bimodules of finite Jones index if and only if it is rigid.


title: Genus Two Meromorphic Conformal Field Theory

abstract: We construct the genus two (or two loop) partition function for meromorphic bosonic conformal field theories. We use a sewing procedure involving two genus one tori by exploiting an explicit relationship between the genus two period matrix and pinching modular parameters. We obtain expressions for the partition function for the chiral bosonic string, even rank lattice theories and self-dual meromorphic conformal field theories including the Moonshine Module. In particular, we find that for self-dual theories with central charge 24, the genus two partition function multiplied by a universal holomorphic function of the moduli is given by a meromorphic Siegel modular form of weight 2 where this universal function includes ghost contributions. We also discuss a novel expansion for certain Siegel modular forms.


title: Deformation quantization of compact Kaehler manifolds by Berezin-Toeplitz quantization

abstract: For arbitrary compact quantizable Kaehler manifolds it is shown how a natural formal deformation quantization (star product) can be obtained via Berezin-Toeplitz operators. Results on their semi-classical behaviour (their asymptotic expansion) due to Bordemann, Meinrenken and Schlichenmaier are used in an essential manner. It is shown that the star product is null on constants and fulfills parity. A trace is constructed and the relation to deformation quantization by geometric quantization is given.

categories: math.QA math-ph math.CV math.DG math.MP quant-ph


title: Symmetry groups and Lagrangians associated to Tzitzeica surfaces

abstract: One applies the symmetry group theory for study the partial differential equations of Tzitzeica surfaces theory. One finds infinitesimal symmetries, Lagrangians and a new solution of Titzeica equation.


title: Configuration spaces and Vassiliev classes in any dimension

abstract: The real cohomology of the space of imbeddings of S^1 into R^n, n>3, is studied by using configuration space integrals. Nontrivial classes are explicitly constructed. As a by-product, we prove the nontriviality of certain cycles of imbeddings obtained by blowing up transversal double points in immersions. These cohomology classes generalize in a nontrivial way the Vassiliev knot invariants. Other nontrivial classes are constructed by considering the restriction of classes defined on the corresponding spaces of immersions.

categories: math.GT hep-th math-ph math.AT math.MP math.QA


title: On a property of special groups

abstract: Let G be an algebraic group defined over an algebraically closed field k of characteristic zero. We give a simple proof of the following result: if H^1(L, G) = {1} for some finitely generated field extension L/k of transcendence degree \ge 3 then H^1(K, G) = {1} for every field extension K/k.


title: Toric modular forms and nonvanishing of L-functions

abstract: In a previous paper \cite{BorGunn}, we defined the space of toric forms $\TTT(l)$, and showed that it is a finitely generated subring of the holomorphic modular forms of integral weight on the congruence group $\Gamma_1(l)$. In this article we prove the following theorem: modulo Eisenstein series, the weight two toric forms coincide exactly with the vector space generated by all cusp eigenforms f such that $L(f,1) \not = 0$. The proof uses work of Merel, and involves an explicit computation of the intersection pairing on Manin symbols.


title: Symmetry Group of Tzitzeica Surfaces PDE

abstract: Using the symmetry group theory of second order PDEs, one finds the symmetry group associated to Tzitzeica surfaces partial differential equation. One studies the inverse problem and one shows that the Tzitzeica surfaces PDE is an Euler-Lagrange equation. One determines the variational symmetry group of the associated functional and one obtains the conservation laws of the Tzitzeica surfaces PDE. All these results shows that the Tzitzeica surfaces theory is strongly related to variational problems and hence it is a subject of global differential geometry.


title: Generalized hyperbolic functions, circulant matrices and functional equations

abstract: There is a contrast between the two sets of functional equations f_0(x+y) = f_0(x)f_0(y) + f_1(x)f_1(y), f_1(x+y) = f_1(x)f_0(y) + f_0(x)f_1(y), and f_0(x-y) = f_0(x)f_0(y) - f_1(x)f_1(y), f_1(x-y) = f_1(x)f_0(y) - f_0(x)f_1(y) satisfied by the even and odd components of a solution of f(x+y) = f(x) f(y). J. Schwaiger and, later, W. F\"org-Rob and J. Schwaiger considered the extension of these ideas to the case where f is sum of n components. Here we shorten and simplify the statements and proofs of some of these results by a more systematic use of matrix notation.


title: Topological groups: where to from here?

abstract: This is an account of one man's view of the current perspective of theory of topological groups. We survey some recent developments which are, from our viewpoint, indicative of the future directions, concentrating on actions of topological groups on compacta, embeddings of topological groups, free topological groups, and `massive' groups (such as groups of homeomorphisms of compacta and groups of isometries of various metric spaces).


title: On quantum ergodicity for linear maps of the torus

abstract: We prove a strong version of quantum ergodicity for linear hyperbolic maps of the torus (``cat maps''). We show that there is a density one sequence of integers so that as N tends to infinity along this sequence, all eigenfunctions of the quantum propagator at inverse Planck constant N are uniformly distributed. A key step in the argument is to show that for a hyperbolic matrix in the modular group, there is a density one sequence of integers N for which its order (or period) modulo N is somewhat larger than the square root of N.

categories: math.NT chao-dyn math-ph math.MP nlin.CD


title: Transversal fluctuations for increasing subsequences on the plane

abstract: Consider a realization of a Poisson process in R^2 with intensity 1 and take a maximal up/right path from the origin to (N,N) consisting of line segments between the points, where maximal means that it contains as many points as possible. The number of points in such a path has fluctuations of order N^chi, where chi=1/3 by a result of Baik-Deift-Johansson. Here we show that typical deviations of a maximal path from the diagonal x=y is of order N^xi with xi=2/3. This is consistent with the scaling identity chi=2xi-1, which is believed to hold in many random growth models.


title: Tensor Products of Principal Unitary Representations of Quantum Lorentz Group and Askey-Wilson Polynomials

abstract: We study the tensor product of principal unitary representations of the quantum Lorentz group, prove a decomposition theorem and compute the associated intertwiners. We show that these intertwiners can be expressed in terms of complex continuations of 6j symbols of U_q(su(2)). These intertwiners are expressed in terms of q-Racah polynomials and Askey-Wilson polynomials. The orthogonality of these intertwiners imply some relation mixing these two families of polynomials. The simplest of these relations is the orthogonality of Askey-Wilson polynomials.


title: Relative Zeta Determinants and the Quillen Metric

abstract: We compute the relative zeta-function metric on the determinant line bundle for a family of elliptic boundary value problems of Dirac-type. To do this we prove a general formula relating the zeta-determinant to a Fredholm determinant over the boundary for a class of higher-order elliptic boundary value problems.


title: Rational points, genus and asymptotic behaviour in reduced algebraic curves over finite fields

abstract: The number A(q) shows the asymptotic behaviour of the quotient of the number of rational points over the genus of non-singular absolutely irreducible curves over a finite field Fq. Research on bounds for A(q) is closely connected with the so-called asymptotic main problem in Coding Theory. In this paper, we study some generalizations of this number for non-irreducible curves, their connection with A(q) and its application in Coding Theory.


title: Sheaves on Triangulated Spaces and Koszul Duality

abstract: Let $X$ be a finite connected simplicial complex, and let $\delta$ be a perversity (i.e., some function from integers to integers). One can consider two categories: (1) the category of perverse sheaves cohomologically constructible with respect to the triangulation, and (2) the category of sheaves constant along the perverse simplices ($\delta$-sheaves). We interpret the categories (1) and (2) as categories of modules over certain quadratic (and even Koszul) algebras $A(X,\delta)$ and $B(X,\delta)$ respectively, and we prove that $A(X,\delta)$ and $B(X,\delta)$ are Koszul dual to each other. We define the $\delta$-perverse topology on $X$ and prove that the category of sheaves on perverse topology is equivalent to the category of $\delta$ sheaves. Finally, we study the relationship between the Koszul duality functor and the Verdier duality functor for simplicial sheaves and cosheaves.


title: Decoding Algebraic Geometry codes by a key equation

abstract: A new effective decoding algorithm is presented for arbitrary algebraic-geometric codes on the basis of solving a generalized key equation with the majority coset scheme of Duursma. It is an improvement of Ehrhard's algorithm, since the method corrects up to the half of the Goppa distance with complexity order O(n**2.81), and with no further assumption on the degree of the divisor G.


title: Regions of instability for non-twist maps

abstract: In this paper we consider an analog of the regions of instability for twist maps in the context of area preserving diffeomorphisms which are not twist maps. Several properties analogous to those of classical regions of instability are proved.


title: Spaces having a small diagonal

abstract: We obtain several results and examples concerning the general question ``When must a space with a small diagonal have a G_delta-diagonal?". In particular, we show (1) every compact metrizably fibered space with a small diagonal is metrizable; (2) there are consistent examples of regular Lindelof (even hereditarily Lindelof) spaces with a small diagonal but no G_delta-diagonal; (3) every first-countable hereditarily Lindelof space with a small diagonal has a G_delta-diagonal; (4) assuming CH, every Lindelof Sigma-space with a small diagonal has a countable network; (5) whether countably compact spaces with a small diagonal are metrizable depends on your set theory; (6) there is a locally compact space with a small diagonal but no G_delta diagonal.


title: Symbolic Hamburger-Noether expressions of plane curves and construction of AG codes

abstract: We present an algorithm to compute bases for the spaces L(G), provided G is a rational divisor over a non-singular absolutely irreducible algebraic curve, and also another algorithm to compute the Weierstrass semigroup at P together with functions for each value in this semigroup, provided P is a rational branch of a singular plane model for the curve. The method is founded on the Brill-Noether algorithm by combining in a suitable way the theory of Hamburger-Noether expansions and the imposition of virtual passing conditions. Such algorithms are given in terms of symbolic computation by introducing the notion of symbolic Hamburger-Noether expressions. Everything can be applied to the effective construction of Algebraic Geometry codes and also in the decoding problem of such codes, including the case of the Feng and Rao scheme for one-point codes.


title: Computing Weierstrass semigroups and the Feng-Rao distance from singular plane models

abstract: We present an algorithm to compute the Weierstrass semigroup at a point P together with functions for each value in the semigroup, provided P is the only branch at infinity of a singular plane model for the curve. As a byproduct, the method also provides us with a basis for the spaces L(mP) and the computation of the Feng-Rao distance for the corresponding array of geometric Goppa codes. A general computation of the Feng-Rao distance is also obtained. Everything can be applied to the decoding problem by using the majority scheme of Feng and Rao.


title: Vanishing cycles and Hermitian duality

abstract: We show the compatibility between the moderate or nearby cycle functor for regular holonomic $\mathcal{D}$-modules, as defined by Beilinson, Kashiwara and Malgrange, and the Hermitian duality functor, as defined by Kashiwara.


title: Nakano positivity and the L2-metric on the direct image of an adjoint positive line bundle

abstract: We prove that the $L^2$ metric on the direct image of an adjoint positive line bundle by a locally trivial submersion between projective manifolds is Nakano positive, under the assumption that the typical fiber has zero first Betti number. As a consequence, we get that the symmetric powers of an ample vector bundle tensorized by its determinant are Nakano positive, in particular Griffiths positive. This in turn gives vanishing theorems and an analytic characterization of ample vector bundles.


title: On what I do not understand (and have something to say), model theory

abstract: This is a non-standard paper, containing some problems, mainly in model theory, which I have, in various degrees, been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me, sometimes the problems are presented with a discussion of how I have tried to solve them, and sometimes with failed tries, anecdote and opinion. So the discussion is quite personal, in other words, egocentric and somewhat accidental. As we discuss many problems, history and side references are erratic, usually kept at a minimum ("See..." means: see the references there and possibly the paper itself). The base were lectures in Rutgers Fall '97 and reflect my knowledge then. The other half, math.LO/9906113, concentrating on set theory, is in print, but the two halves are independent. We thank A. Blass, G. Cherlin and R. Grossberg for some corrections.


title: Cotorsion Theories and Splitters

abstract: Let R be a subring of the rationals. We want to investigate self splitting R-modules G that is Ext_R(G,G)=0 holds and follow Schultz to call such modules splitters. Free modules and torsion-free cotorsion modules are classical examples for splitters. Are there others? Answering an open problem by Schultz we will show that there are more splitters, in fact we are able to prescribe their endomorphism R-algebras with a free R-module structure. As a byproduct we are able to answer a problem of Salce showing that all rational cotorsion theories have enough injectives and enough projectives.


title: Polynomial approximation on convex subsets of $\mathbb R^n

abstract: Let K be a closed bounded convex subset of $\Bbb R^n$; then by a result of the first author, which extends a classical theorem of Whitney there is a constant $w_m(K)$ so that for every continuous function f on K there is a polynomial $\phi$ of degree at most m-1 so that $$ |f(x)-\phi(x)|\le w_m(K)\sup_{x,x+mh\in K} |\Delta_h^m(f;x)|.$$ The aim of this paper is to study the constant $w_m(K)$ in terms of the dimension n and the geometry of K. For example we show that $w_2(K)\le \frac12[\log_2n]+\frac54$ and that for suitable K this bound is almost attained. We place special emphasis on the case when K is symmetric and so can be identified as the unit ball of finite-dimensional Banach space; then there are connections between the behavior of $w_m(K)$ and the geometry (particularly the Rademacher type) of the underlying Banach space. It is shown for example that if K is an ellipsoid then $w_2(K)$ is bounded, independent of dimension, and $w_3(K)\sim \log n.$ We also give estimates for $w_2$ and $w_3$ for the unit ball of the spaces $\ell_p^n$ where $1\le p\le \infty.$


title: Almost free splitters

abstract: Let R be a subring of the rationals. We want to investigate self splitting R-modules G that is Ext_R(G,G)=0 holds. For simplicity we will call such modules splitters. Our investigation continues math.LO/9910159. In math.LO/9910159, we answered an open problem by constructing a large class of splitters. Classical splitters are free modules and torsion-free, algebraically compact ones. In math.LO/9910159 we concentrated on splitters which are larger then the continuum and such that countable submodules are not necessarily free. The `opposite' case of aleph_1-free splitters of cardinality less or equal to aleph_1 was singled out because of basically different techniques. This is the target of the present paper. If the splitter is countable, then it must be free over some subring of the rationals by a result of Hausen. We can show that all aleph_1-free splitters of cardinality aleph_1 are free indeed.


title: Infinitary Axiomatizability of Slender and Cotorsion-Free Groups

abstract: The classes of slender and cotorsion-free abelian groups are axiomatizable in the infinitary logics L_{infty,omega_1} and L_{infty,omega}, respectively. The Baer-Specker group Z^omega is not L_{infty,omega_1}-equivalent to a slender group.


title: Solution of a problem of Peller concerning similarity

abstract: We answer a question of Peller by showing that for any c>1 there exists a power-bounded operator T on a Hilbert space with the property that any operator S similar to T satisfies $\sup_n\|S^n\|>c.$


title: The Classification of Circulant Weighing Matrices of Weight 16 and Odd Order

abstract: In this paper we completely classify the circulant weighing matrices of weight 16 and odd order. It turns out that the order must be an odd multiple of either 21 or 31. Up to equivalence, there are two distinct matrices in CW(31,16), one matrix in CW(21,16) and another one in CW(63,16) (not obtainable by Kronecker product from CW(21,16)). The classification uses a multiplier existence theorem.


title: Descent Functions and Random Young Tableaux

abstract: The expectation of the descent number of a random Young tableau of a fixed shape is given, and concentration around the mean is shown. This result is generalized to the major index and to other descent functions. The proof combines probabilistic arguments together with combinatorial character theory. Connections with Hecke algebras are mentioned.


title: A Modular Compactification of the General Linear Group

abstract: We define a certain compactifiction of the general linear group and give a modular description for its points with values in arbitrary schemes. This is a first step in the construction of a higher rank generalization of Gieseker's degeneration of moduli spaces of vector bundles over a curve. We show that our compactification has similar properties as the ``wonderful compactification'' of algebraic groups of adjoint type as studied by de Concini and Procesi. As a byproduct we obtain a modular description of the points of the wonderful compactification of $\text{PGl}_n$.


title: Interactions in noncommutative dynamics

abstract: A mathematical notion of interaction is introduced for noncommutative dynamical systems, i.e., for one parameter groups of *-automorphisms of $\Cal B(H)$ endowed with a certain causal structure. With any interaction there is a well-defined "state of the past" and a well-defined "state of the future". We describe the construction of many interactions involving cocycle perturbations of the CAR/CCR flows and show that they are nontrivial. The proof of nontriviality is based on a new inequality, relating the eigenvalue lists of the "past" and "future" states to the norm of a linear functional on a certain C^*-algebra.


title: The Art of Frame Theory

abstract: Thye theory of frames for a Hilbert space plays a fundamental role in signal processing, image processing, data compression, sampling theory and much more, as well as being a fruitful area of research in abstract mathematics. In this ``tutorial'' on abstract frame theory, we will try to point out the major directions of research in abstract frame theory and give some sample techniques from each of the areas. We will also bring out some of the important open questions, discuss some of the limitations of the existing theory, and point to some new directions for research.


title: Weyl-Heisenberg Frames, Translation Invariant Systems and the Walnut Representation

abstract: We present a comprehensive analysis of the convergence properties of the frame operators of Weyl-Heisenberg systems and shift-invariant systems, and relate these to the convergence of the Walnut representation. We give a deep analysis of necessary conditions and sufficient conditions for convergence of the frame operator. We show that symmetric, norm and unconditional convergence of the Walnut series are all different, but that weak and norm convergence are the same, while there are WH-systems for which the Walnut representation has none of these convergence properties. We make a detailed study of the CC-Condition (a sufficient condition for WH-systems to have finite upper frame bounds), and show that (for ab rational) a uniform version of this passes to the Wexler-Raz dual. We also show that a condition of Tolimieri and Orr implies the uniform CC-Condition. We obtain stronger results in the case when (g,a,b) is a WH-system and ab is rational. For example, if ab is rational, then the CC-Condition becomes equivalent to the unconditional convergence of the Walnut representation - even in a more general setting. Many of the results are generalized to shift-invariant systems. We give classifications for numerous important classes of WH-systems including: (1) The WH-systems for which the frame operator extends to a bounded operator on L^p(R), 1\leq p; (2) The WH-systems for which the frame operator extends to a bounded operator on the Wiener amalgam space; (3) The families of frames which have the same frame operator.


title: On transversally simple knots

abstract: Final revision. To appear in the Journal of Differential Geometry. This paper studies knots that are transversal to the standard contact structure in $\reals^3$, bringing techniques from topological knot theory to bear on their transversal classification. We say that a transversal knot type $\cTK$ is {\it transversally simple} if it is determined by its topological knot type $\cK$ and its Bennequin number. The main theorem asserts that any $\cTK$ whose associated $\cK$ satisfies a condition that we call {\em exchange reducibility} is transversally simple. As a first application, we prove that the unlink is transversally simple, extending the main theorem in \cite{El}. As a second application we use a new theorem of Menasco (Theorem 1 of \cite{Me}) to extend a result of Etnyre \cite{Et} to prove that iterated torus knots are transversally simple. We also give a formula for their maximum Bennequin number. We show that the concept of exchange reducibility is the simplest of the constraints that one can place on $\cK$ in order to prove that any associated $\cTK$ is transversally simple. We also give examples of pairs of transversal knots that we conjecture are {\em not} transversally simple.


title: Shift Equivalence and the Conley index

abstract: In this paper we introduce filtration pairs for isolated invariant sets of continuous maps. We prove the existence of filtration pairs and show that, up to shift equivalence, the induced map on the corresponding pointed space is an invariant of the isolated invariant set. Moreover, the maps defining the shift equivalence can be chosen canonically. Lastly, we define partially ordered Morse decompositions and prove the existence of Morse set filtrations for such decompositions.


title: Quasifinite representations of W_{\infty}

abstract: We classify the quasifinite highest weight modules over a family of subalgebras W_{\infty}^{n} of the central extension W_{1+\infty} of the Lie algebra of differential operators on the circle consisting of operators of order \geq n. We classify the unitary quasifinite highest weight modules over W_{\infty}=W_{\infty}^{1} and realize them in terms of unitary highest weight representations of the Lie algebra of infinite matrices with finitely many non-zero diagonals.


title: Actions of the Dipper-Donkin quantization GL_2 on the Clifford algebra C(1,3)

abstract: Following the method already developed for studying the actions of GL_q(2,C) on the Clifford algebra C(1,3) and its quantum invariants (Commun. in Algebra 27, 1843-1878(1999)), we study the action on C(1,3) of the quantum group GL_2 constructed by Dipper and Donkin. We are able of proving that there exists only two non-equivalent cases of actions with nontrivial "perturbation". The space of invariants are trivial in both cases. We also prove that each irreducible finite dimensional algebra representation of the quantum group GL_2, q^m\neq 1, is one dimensional. By studying the cases with zero "perturbation" we find that the cases with nonzero "perturbation" are the only ones with maximal possible dimension for the operator algebra \Re.


title: The Hodge polynomial of \Mbar_{3,1}

abstract: We give formulas for the Dolbeault numbers of \Mbar_{3,1}, using the first author's calculations of the weights of the cohomology of M_{2,2} and M_{2,3} and the second author's calculation of the weights of the cohomology of M_{3,1}.


title: Polynomial method in coding and information theory

abstract: Polynomial, or Delsarte's, method in coding theory accounts for a variety of structural results on, and bounds on the size of, extremal configurations (codes and designs) in various metric spaces. In recent works of the authors the applicability of the method was extended to cover a wider range of problems in coding and information theory. In this paper we present a general framework for the method which includes previous results as particular cases. We explain how this generalization leads to new asymptotic bounds on the performance of codes in binary-input memoryless channels and the Gaussian channel, which improve the results of Shannon et al. of 1959-67, and to a number of other results in combinatorial coding theory.


title: The geometry of bifurcation surfaces in parameter space. I. A walk through the pitchfork

abstract: The classical pitchfork of singularity theory is a twice-degenerate bifurcation that typically occurs in dynamical system models exhibiting Z_2 symmetry. Non-classical pitchfork singularities also occur in many non-symmetric systems, where the total bifurcation environment is usually more complex. In this paper three-dimensional manifolds of critical points, or limit-point shells, are introduced by examining several bifurcation problems that contain a pitchfork as an organizing centre. Comparison of these surfaces shows that notionally equivalent problems can have significant positional differences in their bifurcation behaviour. As a consequence, the parameter range of jump, hysteresis, or phase transition phenomena in dynamical models (and the physical systems they purport to represent) is determined by other singularities that shape the limit-point shell.

categories: math.DS chao-dyn math-ph math.MP math.NA nlin.CD


title: Manifolds with singularities accepting a metric, of positive scalar curvature

abstract: We study the question of existence of a Riemannian metric of positive scalar curvature metric on manifolds with the Sullivan-Baas singularities. The manifolds we consider are Spin and simply connected. We prove an analogue of the Gromov-Lawson Conjecture for such manifolds in the case of particular type of singularities. We give an affirmative answer when such manifolds with singularities accept a metric of positive scalar curvature in terms of the index of the Dirac operator valued in the corresponding "K-theories with singularities". The key ideas are based on the construction due to Stolz, some stable homotopy theory, and the index theory for the Dirac operator applied to the manifolds with singularities. As a side-product we compute homotopy types of the corresponding classifying spectra.


title: Bimodule complexes via strong homotopy actions

abstract: We present a new and explicit method for lifting a tilting complex to a bimodule complex. The key ingredient of our method is the notion of a strong homotopy action in the sense of Stasheff.


title: Introduction to A-infinity algebras and modules

abstract: These are expanded notes of four introductory talks on A-infinity algebras, their modules and their derived categories.


title: Harmonic morphisms and the Jacobi operator

abstract: We prove that harmonic morphisms preserve the Jacobi operator along harmonic maps. We apply this result to prove infinitesimal and local rigidity (in the sense of Toth) of harmonic morphisms to a sphere.


title: A Compactification of Open Varieties

abstract: In this paper we show a general method to compactify certain open varieties by adding normal crossing divisors. This is done by proving that {\it blowing up along an arrangement of subvarieties} can be carried out. Important examples such as Ulyanov's configuration spaces, spaces of holomorphic maps, etc., are covered. Intersection ring and (non-recursive) Hodge polynomails are computed. Further general structures arising from the blowup process are described and studied.


title: Indexed identity and fuzzy set theory

abstract: We introduce the concept of indexed identity, where the usual notion of identity is a particular case. Our mathematical framework allows us a generalized method for `indexing' predicates, which corresponds to `fuzzification' of properties, in an intuitive sense. It can be established a relationship between this indexed mathematics and fuzzy mathematics. We show some few examples that illustrate our ideas.


title: Bohr-Sommerfeld tori and relative Poincare series on a complex hyperbolic space

abstract: Automorphic forms on a bounded symmetric domain D=G/K can be viewed as holomorphic sections of $L^{\otimes k}$, where L is a quantizing line bundle on a compact quotient of D and k is a positive integer. Let $\Gamma$ be a cocompact discrete subgroup of SU(n,1) which acts freely on SU(n,1)/U(n). We suggest a construction of relative Poincar\'e series associated to loxodromic elements in $\Gamma$. In complex dimension 2 we describe Bohr-Sommerfeld tori in $\Gamma\backslash SU(n,1)/U(n)$ associated to hyperbolic elements of $\Gamma$ and prove that the relative Poincar\'e series associated to the hyperbolic elements of $\Gamma$ are not identically zero for large k.


title: Biases in the Shanks-Renyi Prime Number Race

abstract: Rubinstein and Sarnak investigated systems of inequalities of the form pi(x;q,a_1) > ... > pi(x;q,a_r), where pi(x;q,a) denotes the number of primes up to x that are congruent to a mod q. They showed, under standard hypotheses on the zeros of Dirichlet L-functions mod q, that the set of positive real numbers x for which these inequalities hold has positive (logarithmic) density delta_{q;a_1,dots,a_r} > 0. They also discovered the surprising fact that a certain distribution associated with these densities is not symmetric under permutations of the residue classes a_j in general, even if the a_j are all squares or all nonsquares mod q (a condition necessary to avoid obvious biases of the type first observed by Chebyshev). This asymmetry suggests, contrary to prior expectations, that the densities delta_{q;a_1,dots,a_r} themselves vary under permutations of the a_j. In this paper, we derive (under the hypotheses used by Rubinstein and Sarnak) a general formula for the densities delta_{q;a_1,dots,a_r}, and we use this formula to calculate many of these densities when q <= 12 and r <= 4. For the special moduli q = 8 and q = 12, and for {a_1,a_2,a_3} a permutation of the nonsquares {3,5,7} mod 8 and {5,7,11} mod 12, respectively, we rigorously bound the error in our calculations, thus verifying that these densities are indeed asymmetric under permutation of the a_j. We also determine several situations in which the densities delta_{q;a_1,dots,a_r} remain unchanged under certain permutations of the a_j, and some situations in which they are provably different.


title: Geometric Thickness of Complete Graphs

abstract: We define the geometric thickness of a graph to be the smallest number of layers such that we can draw the graph in the plane with straight-line edges and assign each edge to a layer so that no two edges on the same layer cross. The geometric thickness lies between two previously studied quantities, the (graph-theoretical) thickness and the book thickness. We investigate the geometric thickness of the family of complete graphs, K_n. We show that the geometric thickness of K_n lies between ceiling((n/5.646) + 0.342) and ceiling(n/4), and we give exact values of the geometric thickness of K_n for n <= 12 and n in {15,16}. We also consider the geometric thickness of the family of complete bipartite graphs. In particular, we show that, unlike the case of complete graphs, there are complete bipartite graphs with arbitrarily large numbers of vertices for which the geometric thickness coincides with the standard graph-theoretical thickness.


title: On the K-theory of local fields

abstract: The authors establish a connection between the Quillen K-theory of certain local fields and the de Rham-Witt complex of their rings of integers with logarithmic poles at the maximal ideal. They consider fields K that are complete discrete valuation fields of characteristic zero with perfect residue fields k of characteristic p > 2. They evaluate the K-theory with Z/p^v-coefficients of K, and verify the Lichtenbaum-Quillen conjecture for K.


title: Examples of Riemannian manifolds with positive curvature almost everywhere

abstract: We show that the unit tangent bundle of S^4 and a real cohomology CP^3 admit Riemannian metrics with positive sectional curvature almost everywhere. These are the only examples so far with positive curvature almost everywhere that are not also known to admit positive curvature.