title: Nonresonance and global existence of prestressed nonlinear elastic waves

abstract: The nonlinear hyperbolic system of pde's governing the evolution of the deformation of isotropic hyperelastic materials is considered. In the absence of boundaries and with an additional nonresonance or null condition, the system has global smooth solutions starting close to a one-parameter family of homogeneous dilations. The proof combines energy estimates with new decay estimates for the linear problem.


title: 3-Manifolds with complexity at most 9

abstract: We describe an algorithm which has enabled us to give a complete list, without repetitions, of all closed oriented irreducible 3-manifolds of complexity up to 9. More interestingly, we have actually been able to give a "name" to each such manifold, by recognizing its canonical decomposition into Seifert fibred spaces and hyperbolic manifolds. The algorithm relies on the extension of Matveev's theory of complexity to the case of manifolds bounded by suitably marked tori, and on the notion of assembling of two such manifolds. We show that every manifold is an assembling of manifolds which cannot be further deassembled, and we prove that there are surprisingly few such manifolds up to complexity 9. Our most interesting experimental discovery is the following: there are 4 hyperbolic manifolds having complexity 9, and they turn out to be precisely the 4 closed hyperbolic manifolds of least known volume. All other manifolds having complexity at most 9 are graph manifolds.


title: Rigidity property of diagram groups

abstract: We show a rigid connection between two classical objects: the R.Thompson group F and the Dunce hat. A diagram group of a directed 2-complex contains a copy of F if and only if the complex contains a copy of the Dunce hat.


title: Derivations with Quantum Group Action

abstract: The derivations of a left coideal subalgebra B of a Hopf algebra A which are compatible with the comultiplication of A (that is, the covariant first order differential calculi, as defined by Woronowicz, on a quantum homogeneous space) are related to certain right ideals of B. The correspondence is one-to-one if A is faithfully flat as a right B-module. This generalizes the result for B=A due to Woronowicz. A definition for the dimension of a first order differential calculus at a classical point is given. For the quantum 2-sphere S(q,c) of Podles under the assumptions "q is not a root of unity" and "c is not equal to -q^(2n)/(q^(2n)+1)^2" for all n=0,1,..., three 2-dimensional covariant first order differential calculi exist if c=0, one exists if c=-q/(q+1)^2 or c=q/(-q+1)^2 and none else. This extends a result of Podles.


title: Th\'eor\`eme de Hartogs-Bochner dans $P_2(\mathbb{C})$

abstract: The present paper have been replaced by the paper: Hartogs-Bochner type theorem in Projective Space (math.CV/0011095) in which we prove the following Hartogs-Bochner type theorem: Let $M$ be a connected $C^2$ hypersurface of $P_n(\mathbb{C})$ ($n\geq 2$) which divides $P_n(\mathbb{C})$ in two connected open sets $\Omega_1$ and $\Omega_2$. Then there exists $i \in \{1,2\}$ such that $C^{1}$ CR functions defined on $M$ extends holomorphically to $\Omega_i$.


title: Invariants of knot diagrams and relations among Reidemeister moves

abstract: In this paper a classification of Reidemeister moves, which is the most refined, is introduced. In particular, this classification distinguishes some $\Omega_3$-moves that only differ in how the three strands that are involved in the move are ordered on the knot. To transform knot diagrams of isotopic knots into each other one must in general use $\Omega_3$-moves of at least two different classes. To show this, knot diagram invariants that jump only under $\Omega_3$-moves are introduced. Knot diagrams of isotopic knots can be connected by a sequence of Reidemeister moves of only six, out of the total of 24, classes. This result can be applied in knot theory to simplify proofs of invariance of diagrammatical knot invariants. In particular, a criterion for a function on Gauss diagrams to define a knot invariant is presented.


title: Cotangent and tangent modules on quantum orbits

abstract: Let $k(S^2_q)$ be the "coordinate ring" of a quantum sphere. We introduce the cotangent module on the quantum sphere as a one-sided $k(S^2_q)$-module and show that there is no Yang-Baxter type operator converting it into a $k(S^2_q)$-bimodule which would be a flatly deformed object w.r.t. its classical counterpart. This implies non-flatness of any covariant differential calculus on the quantum sphere making use of the Leibniz rule. Also, we introduce the cotangent and tangent modules on generic quantum orbits and discuss some related problems of "braided geometry".


title: Approximately finitely acting operator algebras

abstract: Let E be an operator algebra on a Hilbert space with finite-dimensional generated C*-algebra. A classification is given of the locally finite algebras and the operator algebras obtained as limits of direct sums of matrix algebras over E with respect to star-extendible homomorphisms. The invariants in the algebraic case consist of an additive semigroup, with scale, which is a right module for the semiring $V_E = Hom_u(E \otimes \sK, E \otimes \sK)$ of unitary equivalence classes of star-extendible homomorphisms. This semigroup is referred to as the dimension module invariant. In the operator algebra case the invariants consist of a metrized additive semigroup with scale and a contractive right module $V_E$-action. Subcategories of algebras determined by restricted classes of embeddings, such as 1-decomposable embeddings between digraph algebras, are also classified in terms of simplified dimension module invariants.


title: RTT presentation of finite W-algebras

abstract: We construct a wide class of finite W-algebras as truncations of Yangians. These truncations correspond to algebra homomorphisms and allow to construct the W-algebras as exchange algebras, the R-matrix being the Yangian's one. As an application, we classify all irreducible finite dimensionnal representations of these W-algebras and determine their center.


title: Embeddings of relatively free groups into finitely presented groups

abstract: We construct easy embeddings of relatively free groups (say the free Burnside group, the free solvable group) into finitely presented groups. We introduce a concept of verbal isoperimetric function of a group variety. We prove that if the verbal Dehn function of a relatively free group is bounded by a polynomial then the group can be embedded quasi-isometrically into a finitely presented group with polynomial isoperimetric function. We also construct an easy embedding of any Baumslag-Solitar solvable group into a finitely presented group with polynomial Dehn function.


title: On the Word and Period Growth of some Groups of Tree Automorphisms

abstract: We generalize a class of groups defined by Rostislav Grigorchuk to a much larger class of groups, and provide upper and lower bounds for their word growth (they are all of intermediate growth) and period growth (under a small additional condition, they are periodic).


title: On subgroups of R.Thompson's group F and other diagram groups

abstract: In this paper, we continue our study of the class of diagram groups. Simply speaking, a diagram is a labelled plane graph bounded by a pair of paths (the top path and the bottom path). To multiply two diagrams, one simply identifies the top path of one diagram with the bottom path of the other diagram, and removes pairs of "reducible" cells. Each diagram group is determined by an alphabet $X$, containing all possible labels of edges, a set of relations ${\cal R}=\{u_i=v_i\mid i=1,2,... \}$, containing all possible labels of cells, and a word $w$ over $X$ -- the label of the top and bottom paths of diagrams. Diagrams can be considered as 2-dimensional words, and diagram groups can be considered as 2-dimensional analogue of free groups. In our previous paper, we showed that the class of diagram groups contains many interesting groups including the famous R. Thompson group $F$ (it corresponds to the simplest set of relations $\{x=x^2 \}$), closed under direct and free products and some other constructions. In this paper we study mainly subgroups of diagram groups. We show that not every subgroup of a diagram group is itself a diagram group (this answers a question from the previous paper). We prove that every nilpotent subgroup of a diagram group is abelian, every abelian subgroup is free, but even the Thompson group contains solvable subgroups of any degree. We also study distortion of subgroups in diagram groups, including the Thompson group. It turnes out that centralizers of elements and abelian subgroups are always undistorted, but the Thompson group contains distorted soluble subgroups.


title: Coarse Obstructions to Positive Scalar Curvature Metrics in Noncompact Arithmetic Manifolds

abstract: Block and Weinberger show that an arithmetic manifold can be endowed with a positive scalar curvature metric if and only if its $\rationals$-rank exceeds 2. We show in this article that these metrics are never in the same coarse class as the natural metric inherited from the base Lie group. Furthering the coarse $C^\ast$-algebraic methods of Roe, we find a nonzero Dirac obstruction in the $K$-theory of a particular operator algebra which encodes information about the quasi-isometry type of the manifold as well as its local geometry.


title: An Eulerian-Lagrangian approach to the Navier-Stokes equations

abstract: This work presents an approach to the Navier-Stokes equations that is phrased in unbiased Eulerian coordinates, yet describes objects that have Lagrangian significance: particle paths, their dispersion and diffusion. The commutator between Lagrangian and Eulerian derivatives plays an important role in the Navier-Stokes equations: it contributes a singular perturbation to the Euler equations, in addition to the Laplacian. Bounds for the Lagrangian displacements, their first and second derivatives are obtained without assumptions. Some of these rigorous bounds can be interpreted in terms of the heuristic Richardson law of pair dispersion in turbulent flows.


title: A Nonlinear Approximation of Operator Equation $V^{*}QV=Q$ : Nonspectral Decomposition of Nonnormal Operator and Theory of Stability

abstract: $V$ denotes arbitrary bounded bijection on Hilbert space $H$. We try to describe the sets of $V$-stable vectors, i.e. the set of elements $x$ of $H$ such that the sequence $\|V^N x\| (N=1,2,...)$ is bounded (we also consider some other analogous sets). We do it in terms of one-parameter operator equation $ Q_t=V^*(Q_t+tI)(I+tQ_t)^{-1}V, 0\leq Q$, ($t$ is real valued parameter $0\leq t \leq 1$,$Q$ is operator to be found $). Definition: for $t \to +0 $ denote $R_0:=w-limpt (I+Q_t)^{-1}, Y_0:= strong-lim tQ_t^{-1}, X_t:= strong-lim tQ_t $ In the case of the normal $V$ it is noted that the operators $X_0,Y_0,R_0$ define (in essential) the spectral subspaces of $V$ (with $V$ together one can consider $aV-b, b/a \not\in spectrum V$). In this article we will show that the similar situation holds for the arbitrary bounded bijection $V$.


title: From Special Lagrangian to Hermitian-Yang-Mills via Fourier-Mukai Transform

abstract: We exhibit a transformation taking special Lagrangian submanifolds of a Calabi-Yau together with local systems to vector bundles over the mirror manifold with connections obeying deformed Hermitian-Yang-Mills equations. That is, the transformation relates supersymmetric A- and B-cycles. In this paper, we assume that the mirror pair are dual torus fibrations with flat tori and that the A-cycle is a section. We also show that this transformation preserves the (holomorphic) Chern-Simons functional for all connections. Furthermore, on corresponding moduli spaces of supersymmetric cycles it identifies the graded tangent spaces and the holomorphic m-forms. In particular, we verify Vafa's mirror conjecture with bundles in this special case.


title: Affine Lie Algebras and Tame Quivers

abstract: C.M. Ringel defined Hall algebra associated with the category of representations of a quiver of Dynkin type and gave an explicit description of the structure constants of the corresponding Lie algebra. We utilize functorial properties of the Hall algebra to give a simple proof of Ringel's result, and to generalize it to the case of a quiver of affine type.


title: Reduction of covers and Hurwitz spaces

abstract: In this paper we study the reduction of Galois covers of curves, from characteristic 0 to characteristic p. The starting point is a is a recent result of Raynaud which gives a criterion for good reduction for covers of the projective line branch at 3 points. Under some condition on the Galois group, we extend this criterion to the case of 4 branch points. Moreover, we describe the reduction of the Hurwitz space of such covers and compute the number of covers with good reduction.


title: The cover time, the blanket time, and the Matthews bound

abstract: The cover time C of a graph G is the expected time for a random walk starting from the worst vertex to cover all vertices in G. Similarly, the blanket time B is the expected time to visit all vertices within a constant factor of number of times suggested by the stationary distribution. (Our definition will be slightly stronger than this.) Obviously, all vertices are covered when the graph is blanketed, and hence C <= B. The blanket time is introduced by Winkler and Zuckerman motivated by applications in Markov estimation and distributed computing. They conjectured B =O(C) and proved B=O(C ln n ). In this paper, we introduce another parameter M motivated by Matthews' theorem and prove M/2 <= C <= B = O(( M ln ln n)^2). In particular, B = O(C (ln ln n)^2). The lower bound is still valid for the cover time C(\pi) starting from the stationary distribution. We also show that there is a polynomial time algorithm to approximate M within a factor of 2 and so does for C within a factor of O((ln ln n)^2), improving previous bound of O(ln n) of Matthews'.


title: Induced Representations of the Two Parametric Quantum Deformation U$_{pq}$[gl(2/2)]

abstract: The two-parametric quantum superalgebra $U_{p,q}[gl(2/2)]$ and its induced representations are considered. A method for constructing all finite-dimensional irreducible representations of this quantum superalgebra is also described in detail. It turns out that finite-dimensional representations of the two-parametric $U_{p,q}[gl(2/2)]$, even at generic deformation parameters, are not simply trivial deformations from those of the classical superalgebra $gl(2/2)$, unlike the one-parametric cases.

categories: math.QA hep-th math-ph math.GR math.MP math.RT nlin.SI quant-ph


title: Refined q-trinomial coefficients and character identities

abstract: A refinement of the q-trinomial coefficients is introduced, which has a very powerful iterative property. This ``T-invariance'' is applied to derive new Virasoro character identities related to the exceptional simply-laced Lie algebras E_6,E_7 and E_8.


title: Orbifold Hodge numbers of the wreath product orbifolds

abstract: We prove that the wreath product orbifolds studied earlier by the first author provide a large class of higher dimensional examples of orbifolds whose orbifold Hodge numbers coincide with the ordinary ones of suitable resolutions of singularities. We also make explicit conjectures on elliptic genera for the wreath product orbifolds.


title: Algebra of Principal Fibre Bundles, and Connections

abstract: We put together some of the efforts by several people of making aspects of fibre bundle theory into algebra. The initiator of these efforts was Charles Ehresmann, who put the notion of groupoid and groupoid action in the focus of fibre bundle theory in general, and in connection theory in particular.


title: On the Leibniz cohomology of vector fields

abstract: I. M. Gelfand and D. B. Fuks have studied the cohomology of the Lie algebra of vector fields on a manifold. In this article, we generalize their main tools to compute the Leibniz cohomology, by extending the two spectral sequences associated to the diagonal and the order filtration. In particular, we determine some new generators for the diagonal Leibniz cohomology of the Lie algebra of vector fields on the circle.


title: Decomposition of the Hochschild Complex of a Scheme in Arbitrary Characteristic

abstract: The paper has been withdrawn by the author, due a gap in the proof of Theorem 6.1. The gap was discovered by M. Van den Bergh. Theorem 6.1 is used to prove the main result of the paper, namely Theorem 0.7 (decomposition in arbitrary characteristic). At this time we do not have an alternate proof. Other results of the paper (Theorems 0.2, 0.3, 0.6 and 3.1) are not effected by this problem, and they remain valid.


title: From planar graphs to embedded graphs - a new approach to Kauffman and Vogel's polynomial

abstract: In \cite{4} Kauffman and Vogel constructed a rigid vertex regular isotopy invariant for unoriented four-valent graphs embedded in three dimensional space. It assigns to each embedded graph $G$ a polynomial, denoted $[G]$, in three variables, $A$, $B$ and $a$, satisfies the skein relation: $$ [\psdiag{2}{6}{overcross}]=A [\psdiag{2}{6}{horlines}]+B [\psdiag{2}{6}{verlines}]+[\psdiag{2}{6}{vertex}]$$ and is defined in terms of a state-sum and the Dubrovnik polynomial for links. Using the graphical calculus of \cite{4} it is shown that the polynomial of a planar graph can be calculated recursively from that of planar graphs with less vertices, which also allows the polynomial of an embedded graph to be calculated without resorting to links. The same approach is used to give a direct proof of uniqueness of the (normalized) polynomial restricted to planar graphs. In the case $B=A^{-1}$ and $a=A$, it is proved that for a planar graph $G$ we have $[G]=2^{c-1}(-A-A^{-1})^v $, where $c$ is the number of connected components of $G$ and $v$ is the number of vertices of $G$. As a corollary, a necessary, but not sufficient, condition is obtained for an embedded graph to be ambient isotopic to a planar graph.


title: The fourth tautological group of $\bar{\mathcal{M}_{g,n}}$ and relations with the cohomology

abstract: We give a complete description of the tautological subgroup of the fourth cohomology group of the moduli space of pointed stable curves, and prove that for g \geq 8 it coincides with the cohomology group itself. We further give a conjectural upper bound depending on the genus for the degree of new tautological relations.


title: F-Products and Nonstandard Hulls for Strongly Continuous One-parameter Semigroups of Linear Operators

abstract: We give an overview of the F-product construction and the corresponding nonstandard constructions for strongly continuous one-parameter semigroups of linear operators, and show that (in the case of bounded ultrapowers) both constructs are isomorphic. From this we also deduce a "classical" corollary about the nonexistace of certain semigroups.


title: Regular coverings in filter and ideal lattices

abstract: The Dedekind-Birkhoff theorem for finite-height modular lattices has previously been generalized to complete modular lattices using the theory of regular coverings. In this paper, we investigate regular coverings in lattices of filters and lattices of ideals, and the regularization strategy--embedding the lattice into its lattice of filters or lattice of ideals, thereby possibly converting a covering which is not regular into a covering which is regular. One application of the theory is a generalization of the notion of chief factors, and of the Jordan-Holder Theorem, to cases where the modular lattice in question is of infinite height. Another application is a formalization of the notion of the steps in the proof of a theorem.


title: The gerbe of Higgs bundles

abstract: The purpose of this work is to describe the (category of) Higgs bundles on a complex scheme X having a given cameral cover X~. We show that this category is a T_{X~}-gerbe, where T_{X~} is a certain sheaf of abelian groups on X, and we describe the class of this gerbe precisely. In particular, it follows that the set of isomorphism classes of Higgs bundles with a fixed cameral cover X~ is a torsor over the group H^1(X, T_{X~}), which itself parametrizes T_{X~}-torsors on X. This underlying group can be described as a generalized Prym variety, whose connected component is either an abelian variety or a degeneration thereof.


title: Limit Theorems for Height Fluctuations in a Class of Discrete Space and Time Growth Models

abstract: We introduce a class of one-dimensional discrete space-discrete time stochastic growth models described by a height function $h_t(x)$ with corner initialization. We prove, with one exception, that the limiting distribution function of $h_t(x)$ (suitably centered and normalized) equals a Fredholm determinant previously encountered in random matrix theory. In particular, in the universal regime of large $x$ and large $t$ the limiting distribution is the Fredholm determinant with Airy kernel. In the exceptional case, called the critical regime, the limiting distribution seems not to have previously occurred. The proofs use the dual RSK algorithm, Gessel's theorem, the Borodin-Okounkov identity and a novel, rigorous saddle point analysis. In the fixed $x$, large $t$ regime, we find a Brownian motion representation. This model is equivalent to the Sepp\"al\"ainen-Johansson model. Hence some of our results are not new, but the proofs are.

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


title: Abelian extensions of algebras in congruence-modular varieties

abstract: We define abelian extensions of algebras in congruence-modular varieties. The theory is sufficiently general that it includes, in a natural way, extensions of R-modules for a ring R. We also define a cohomology theory, which we call clone cohomology, such that the cohomology group in dimension one is the group of equivalence classes of extensions.


title: G\'eom\'etrie de l'espace tangent sur l'hyperbolo\"ide quantique

abstract: We introduce the tangent space on a quantum hyperboloid. We define an action of this tangent space on the corresponding "quantum function space" ${\cal A}$, what converts the elements of the tangent space into "braided vector fields". The tangent space is shown to be a projective ${\cal A}$-module and we define a quantum (pseudo)metric and a quantum connection (partially defined) on it.


title: On the critical exponents of random k-SAT

abstract: There has been much recent interest in the satisfiability of random Boolean formulas. A random k-SAT formula is the conjunction of m random clauses, each of which is the disjunction of k literals (a variable or its negation). It is known that when the number of variables n is large, there is a sharp transition from satisfiability to unsatisfiability; in the case of 2-SAT this happens when m/n --> 1, for 3-SAT the critical ratio is thought to be m/n ~ 4.2. The sharpness of this transition is characterized by a critical exponent, sometimes called \nu=\nu_k (the smaller the value of \nu the sharper the transition). Experiments have suggested that \nu_3 = 1.5+-0.1, \nu_4 = 1.25+-0.05, \nu_5=1.1+-0.05, \nu_6 = 1.05+-0.05, and heuristics have suggested that \nu_k --> 1 as k --> infinity. We give here a simple proof that each of these exponents is at least 2 (provided the exponent is well-defined). This result holds for each of the three standard ensembles of random k-SAT formulas: m clauses selected uniformly at random without replacement, m clauses selected uniformly at random with replacement, and each clause selected with probability p independent of the other clauses. We also obtain similar results for q-colorability and the appearance of a q-core in a random graph.


title: Homology for irregular connections

abstract: Homology with values in a connection with possibly irregular singular points on an algebraic curve is defined, generalizing homology with values in the underlying local system for a connection with regular singular points. Integration defines a perfect pairing between de Rham cohomology with values in the connection and homology with values in the dual connection.


abstract: We construct a Gaudin type lattice model as the Wess-Zumino-Witten model on elliptic curves at the critical level. Bethe eigenvectors are obtained by the bosonisation technique.


title: Rational points near curves and small nonzero |x^3-y^2| via lattice reduction

abstract: We give a new algorithm using linear approximation and lattice reduction to efficiently calculate all rational points of small height near a given plane curve C. For instance, when C is the Fermat cubic, we find all integer solutions of |x^3+y^3-z^3|<M with 0<x<=y<z<N in heuristic time << L(N) M [where L(X):= (log X)^O(1)] provided M>>N, using only O(log N) space. Since the number of solutions should be asymptotically proportional to M log N (as long as M<N^3), the computational costs are essentially as low as possible. Moreover the algorithm readily parallelizes. It not only yields new numerical examples but leads to theoretical results, difficult open questions, and natural generalizations. We also adapt our algorithm to investigate Hall's conjecture: we find all integer solutions of 0<|x^3-y^2|<<x^(1/2) with x<X in time O(X^(1/2) L(X)). By implementing this algorithm with X=10^18 we shattered the previous record for x^(1/2)/|x^3-y^2|. The O(X^{1/2} L(X)) bound is rigorous; its proof also yields new estimates on the distribution mod 1 of sqrt(cx^3) for any positive rational c.


title: Explicit towers of Drinfeld modular curves

abstract: We give explicit equations for the simplest towers of Drinfeld modular curves over any finite field, and observe that they coincide with the asymptotically optimal towers of curves constructed by Garcia and Stichtenoth.


title: A lemma on the minimal surfaces

abstract: Stated lemma contains the assertions about isomorphism of exact m-forms and exterior differentials of regular m-maps, of linearly harmonic m-forms and exterior differentials of regular harmonic m-maps, of global minimal (n-m)-surfaces and level (n-m)-surfaces of regular minimal m-maps. It hold in n-dimensional Euclidean space.


title: On two simple criteria for recognizing complete intersections in codimension 2

abstract: Developing a previous idea of Faltings, we characterize the complete intersections of codimension 2 in P^n, n>=3, over an algebraically closed field of any characteristic, among l.c.i. X, as those that are subcanonical and scheme-theoretically defined by p<=n-1 equations. Moreover, we give some other results assuming that the normal bundle of X extends to a numerically split bundle on P^n, p<=n and the characteristic of the base field is zero. Finally, we give a (partial) answer to a question posed recently by Franco, Kleiman and Lascu on self-linking and complete intersections in positive characteristic.


title: Mirror symmetry and quantization of abelian varieties

abstract: The paper consists of two sections. The first section provides a new definition of mirror symmetry of abelian varieties making sense also over $p$-adic fields. The second section introduces and studies quantized theta-functions with two-sided multipliers, which are functions on non-commutative tori. This is an extension of an earlier work by the author. In the Introduction and in the Appendix the constructions of this paper are put into a wider context.


title: Moduli, Motives, Mirrors (Plenary talk at the 3rd ECM, Barcelona, July 10-14, 2000)

abstract: This talk is dedicated to various aspects of Mirror Symmetry. It summarizes some of the mathematical developments that took place since M. Kontsevich's report at the Z\"urich ICM and provides an extensive, although not exhaustive, bibliography.


title: Quantum Affine (Super)Algebras $U_q(A_{1}^{(1)})$ and $U_q(C(2)^{(2)})$

abstract: We show that the quantum affine algebra $U_{q}(A_{1}^{(1)})$ and the quantum affine superalgebra $U_{q}(C(2)^{(2)})$ admit a unified description. The difference between them consists in the phase factor which is equal to 1 for $U_{q}(A_{1}^{(1)})$ and it is equal to -1 for $U_{q}(C(2)^{(2)})$. We present such a description for the actions of the braid group, for the construction of Cartan-Weyl generators and their commutation relations, as well for the extremal projector and the universal R-matrix. We give also a unified description for the 'new realizations' of these algebras together with explicit calculations of corresponding R-matrices.


title: Unirationality of cubic hypersurfaces

abstract: Segre proved that a smooth cubic surface over Q is unirational iff it has a rational point. We prove that the result also holds for cubic hypersurfaces over any field, including finite fields.


title: Stieltjes integrals of H\"older continuous functions with applications to fractional Brownian motion

abstract: We give a new estimate on Stieltjes integrals of H\"older continuous functions and use it to prove an existence-uniqueness theorem for solutions of ordinary differential equations with H\"older continuous forcing. We construct stochastic integrals with respect to fractional Brownian motion, and establish sufficient conditions for its existence. We prove that stochastic differential equations with fractional Brownian motion have a unique solution with probability 1 in certain classes of H\"older-continuous functions. We give tail estimates of the maximum of stochastic integrals from tail estimates of the H\"older coefficient of fractional Brownian motion. In addition we apply the techniques used for ordinary Brownian motion to construct stochastic integrals of deterministic functions with respect to fractional Brownian motion and give tail estimates of its maximum.


title: On semi-infinite cohomology of finite dimensional algebras

abstract: We show that semi-infinite cohomology of a finite dimensional graded algebra (satisfying some additional requirements) are a particular case of a general categorical construction. The motivating example is provided by small quantum groups at a root of unity.


title: On one class of unipotent subgroups of semisimple algebraic groups

abstract: This paper contains a complete proof of a fundamental theorem on the normalizers of unipotent subgroups in semisimple algebraic groups.


title: Banach embedding properties of non-commutative L^p-spaces

abstract: Let N and M be von Neumann algebras. It is proved that L^p(N) does not Banach embed in L^p(M) for N infinite, M finite, 1 < or = p < 2. The following considerably stronger result is obtained (which implies this, since the Schatten p-class C_p embeds in L^p(N) for N infinite). Theorem: Let 1 < or = p < 2 and let X be a Banach space with a spanning set (x_{ij}) so that for some C < or = 1: (i) any row or column is C-equivalent to the usual ell^2-basis; (ii) (x_{i_k,j_k}) is C-equivalent to the usual ell^p-basis, for any i_1 < i_2 < ... and j_1 < j_2 < ... . Then X is not isomorphic to a subspace of L^p(M), for M finite. Complements on the Banach space structure of non-commutative L^p-spaces are obtained, such as the p-Banach-Saks property and characterizations of subspaces of L^p(M) containing ell^p isomorphically. The spaces L^p(N) are classified up to Banach isomorphism, for N infinite-dimensional, hyperfinite and semifinite, 1 < or = p< infty, p not= 2. It is proved that there are exactly thirteen isomorphism types; the corresponding embedding properties are determined for p < 2 via an eight level Hasse diagram. It is also proved for all 1 < or = p < infty that L^p(N) is completely isomorphic to L^p(M) if N and M are the algebras associated to free groups, or if N and M are injective factors of type III_lambda and III_{lambda'} for 0 < lambda, lambda' < or = 1.


title: Ordered group invariants for one-dimensional spaces

abstract: We show that the Bruschlinsky group with the winding order is a homeomorphism invariant for a class of one-dimensional inverse limit spaces. In particular we show that if a presentation of an inverse limit space satisfies the Simplicity Condition, then the Bruschlinsky group with the winding order of the inverse limit space is a dimension group and is a quotient of the dimension group with the standard order of the adjacency matrices associated with the presentation.


title: Perverse coherent sheaves (after Deligne)

abstract: This note is mostly an exposition of an unpublished result of Deligne, which introduces an analogue of perverse $t$-structure on the derived category of coherent sheaves on a Noetherian scheme with a dualizing complex. Construction extends to the category of coherent sheaves equivariant under an action of an algebraic group; though proof of the general statement in this case does not require new ideas, it provides examples (such as sheaves on the nilpotent cone of a semi-simple group equivariant under the adjoint action) where construction of coherent "intersection cohomology" sheaves works.


title: Algebras with a compatible uniformity

abstract: Given a variety of algebras V, we study categories of algebras in V with a compatible structure of uniform space. The lattice of compatible uniformities of an algebra, Unif A, can be considered a generalization of the lattice of congruences Con A. Mal'cev properties of V influence the structure of Unif A, much as they do that of Con A. The category V[CHUnif] of complete, Hausdorff uniform algebras in the variety V is particularly interesting; it has a natural factorization system extending the usual (onto, one-one) factorization system of V.


title: Asymptotic behaviour and the moduli space of doubly-periodic instantons

abstract: We study doubly-periodic instantons, i.e. instantons on the product of a 1-dimensional complex torus T with a complex line C, with quadratic curvature decay. We determine the asymptotic behaviour of these instantons, constructing new asymptotic invariants. We show that the underlying holomorphic bundle extends to TxP1. The converse statement is also true, namely a holomorphic bundle on TxP1 which is flat on the torus at infinity, and satisfies a stability condition, comes from a doubly-periodic instanton. Finally, we study the hyperkahler geometry of the moduli space of doubly-periodic instantons, and prove that the Nahm transform previously defined by the second author is a hyperkahler isometry with the moduli space of certain meromorphic Higgs bundles on the dual torus.


title: Derived Hilbert schemes

abstract: We construct the derived version of the Hilbert scheme parametrizing subschemes in a given projective scheme X with given Hilbert polynomial h. This is a dg-manifold (smooth dg-scheme) RHilb_h(X) which carries a natural family of commutative (up to homotopy) dg-algebras, which over the usual Hilbert scheme is just given by truncations of the homogeneous coordinate rings of subschemes in X. In particular, RHilb_h(X) differs from RQuot_h(O_X), the derived Quot scheme constructed in our previous paper (math.AG/9905174) which carries only a family of A-infinity modules over the coordinate algebra of X. As an application, we construct the derived version of the moduli stack of stable maps of (variable) algebraic curves to a given projective variety Y, thus realizing the original suggestion of M. Kontsevich.


title: Isospectral deformations of metrics on spheres

abstract: We construct non-trivial continuous isospectral deformations of Riemannian metrics on the ball and on the sphere in $\R^n$ for every $n\geq 9$. The metrics on the sphere can be chosen arbitrarily close to the round metric; in particular, they can be chosen to be positively curved. The metrics on the ball are both Dirichlet and Neumann isospectral and can be chosen arbitrarily close to the flat metric.


title: A four parameter generalization of Gollnitz's (BIG) partition theorem

abstract: We announce a new four parameter partition theorem from which the (big) theorem of Gollnitz follows by setting any one of the parameters equal to 0. This settles a problem of Andrews who asked whether there exists a result that goes beyond the partition theorem of Gollnitz. We state a four parameter q-series identity (key identity) which is the generating function form of this theorem. In a subsequent paper, the proof of the new four parameter key identity will be given.


title: Relations among Heegner Cycles on families of abelian surfaces

abstract: We compute relations of rational equivalence among special codimensional two cycles on families of abelian surfaces using elements of higher chow groups.


title: Automatic closure of invariant linear manifolds for operator algebras

abstract: Kadison's transitivity theorem implies that, for irreducible representations of C*-algebras, every invariant linear manifold is closed. It is known that CSL algebras have this propery if, and only if, the lattice is hyperatomic (every projection is generated by a finite number of atoms). We show several other conditions are equivalent, including the conditon that every invariant linear manifold is singly generated. We show that two families of norm closed operator algebras have this property. First, let L be a CSL and suppose A is a norm closed algebra which is weakly dense in Alg L and is a bimodule over the (not necessarily closed) algebra generated by the atoms of L. If L is hyperatomic and the compression of A to each atom of L is a C*-algebra, then every linear manifold invariant under A is closed. Secondly, if A is the image of a strongly maximal triangular AF algebra under a multiplicity free nest representation, where the nest has order type -N, then every linear manifold invariant under A is closed and is singly generated.


title: Shimura curve computations

abstract: We give some methods for computing equations for certain Shimura curves, natural maps between them, and special points on them. We then illustrate these methods by working out several examples in varying degrees of detail. For instance, we compute coordinates for all the rational CM points on the curves "X(1)" associated with the quaternion algebras over Q ramified at {2,3}, {2,5}, {2,7}, and {3,5}. We conclude with a list of open questions that may point the way to further computational investigation of these curves.


title: On associative algebras with unity and Lie index 1

abstract: We present a new method of analysis of associative algebras. This method bears a certain resemblance to the famous analysis of commutative $C^*$-algebras in which an important role is played by multiplicative functionals over the algebra. These functionals can be considered as "rank 1" in the framework of our method. In our approach a special position is taken by generic (maximal rank) functionals, which reveal a wealth of information on the structure of non-commutative algebras. We apply this method to derive interesting properties of index of Lie algebras and to analyze finite-dimensional associative algebras with unity and Lie index 1.


title: Encomplexing the writhe

abstract: A detailed version of preprint "Self-linking number of a real algebraic link" by the same author, alg-geom/9410030. For a nonsingular real algebraic curve in 3-dimensional projective space or 3-sphere, a new integer-valued characteristic is introduced. It is invariant under rigid isotopy and multiplied by -1 under mirror reflections. In a sense, it is a Vassiliev invariant of degree 1 and a counterpart of a link diagram writhe. For a regular complete intersection this invariant vanishes, while for rational knots of degree d it takes all the values between -(d-1)(d-2)/2 and (d-1)(d-2)/2.


title: Dequantization of real algebraic geometry on logarithmic paper

abstract: On logarithmic paper some real algebraic curves look like smoothed broken lines. Moreover, the broken lines can be obtained as limits of those curves. The corresponding deformation can be viewed as a quantization, in which the broken line is a classical object and the curves are quantum. This generalizes to a new connection between algebraic geometry and the geometry of polyhedra, which is more straight-forward than the other known connections and gives a new insight into constructions used in the topology of real algebraic varieties.


title: Special Lagrangian Cones

abstract: We study special Lagrangian cones in $\C^n$ with isolated singularities. Our main result constructs an infinite family of special Lagrangian cones in $\C^3$ each of which has a toroidal link. We obtain a detailed geometric description of these tori. We prove a regularity result for special Lagrangian cones in $\C^3$ with a spherical link -- any such cone must be a plane. We also construct a one-parameter family of asymptotically conical special Lagrangian submanifolds from any special Lagrangian cone.


title: Non-commutative Symplectic Geometry, Quiver varieties, and Operads

abstract: Quiver varieties have recently appeared in various different areas of Mathematics such as representation theory of Kac-Moody algebras and quantum groups, instantons on 4-manifolds, and resolutions Kleinian singularities. In this paper, we show that many important affine quiver varieties, e.g., the Calogero-Moser space, can be imbedded as coadjoint orbits in the dual of an appropriate infinite dimensional Lie algebra. In particular, there is an infinitesimally transitive action of the Lie algebra in question on the quiver variety. Our construction is based on an extension of Kontsevich's formalism of `non-commutative Symplectic geometry'. We show that this formalism acquires its most adequate and natural formulation in the much more general framework of P-geometry, a `non-commutative geometry' for an algebra over an arbitrary cyclic Koszul operad.


title: Generalization of Wigner's unitary-antiunitary theorem for indefinite inner product spaces

abstract: We present a generalization of Wigner's unitary-antiunitary theorem for pairs of ray transformations. As a particular case, we get a new Wigner-type theorem for non-Hermitian indefinite inner product spaces.


title: *-semigroup endomorphisms of B(H)

abstract: Let H be a complex infinite dimensional Hilbert space. We describe the form of all *-semigroup endomorphisms $\phi$ of B(H) which are uniformly continuous on every commutative C*-subalgebra. In particular, we obtain that if $\phi$ satisfies $\phi(0)=0$, then $\phi$ is additive.


title: On some automorphisms of the set of effects on Hilbert space

abstract: The set of all efects on a Hilbert space has an affine structure (it is a convex set) as well as a multiplicative structure (it can be equipped with the so-called Jordan triple product). In this paper we describe the corresponding automorphisms of that set.


title: Local automorphisms of the unitary group and the general linear group on a Hilbert space

abstract: We prove that every 2-local automorphism of the unitary group or the general linear group on a complex infinite-dimensional separable Hilbert space is an automorphism. Thus these types of transformations are completely determined by their local actions on the two-points subsets of the groups in question.


title: On isomorphisms of standard operator algebras

abstract: The aim of this paper is to show that between standard operator algebras every bijective map with a certain multiplicativity property related to Jordan triple isomorphisms of associative rings is automatically additive.


title: Indecomposable Higher Chow cycles on Jacobians

abstract: We construct some natural cycles with trivial regulator in the higher Chow groups of Jacobians. For hyperelliptic curves we use a criterion due to J. Lewis to prove that the cycles we construct are indecomposable, and then use a specialization argument to prove indecomposability for more general curves. Please note that math.AG/9909062 has become an obsolete version of some of the results in the present paper.


title: On t-structures and Torsion Theories Induced by Compact Objects

abstract: First, we show that a compact object $C$ in a triangulated category, which satisfies suitable conditions, induces a $t$-structure. Second, in an abelian category we show that a complex $P^{\centerdot}$ of small projective objects of term length two, which satisfies suitable conditions, induces a torsion theory. In the case of module categories, using a torsion theory, we give equivalent conditions for $P^{\centerdot}$ to be a tilting complex. Finally, in the case of artin algebras, we give one to one correspondence between tilting complexes of term length two and torsion theories with certain conditions.


title: On the construction of some Buchsbaum varieties and the Hilbert scheme of elliptic scrolls in P^5

abstract: We study the degeneracy loci of general bundle morphisms from the direct sum of m copies of the structural sheaf on $P^n$ to $\Omega(2)$, also from the point of view of the classical geometrical interpretation of the sections of $\Omega(2)$ as linear line complexes. We consider in particular the case of $P^5$ with m=2, 3. For n=5 and m=3 we give an explicit description of the Hilbert scheme H of elliptic normal scrolls in $P^5$, by defining a natural rational map from the Grassmannian G(2,14) to H, which results to be dominant with general fibre of degree four.


title: Sylvester Waves in the Coxeter Groups

abstract: A new recursive procedure of the calculation of partition numbers function $W(s,{\bf d}^m)$ is suggested. We find its zeroes and prove a lemma on the function parity properties. The explicit formulas of $W(s,{\bf d}^m)$ and their periods $\tau(G)$ for the irreducible Coxeter groups and a list for the first ten symmetric group ${\cal S}_m$ are presented. A {\it least common multiple} ${\cal L}(m)$ of the series of the natural numbers 1,2,..,$m$ plays a role of the period $\tau({\cal S}_m)$ of $W(s,{\bf d}^m)$ in ${\cal S}_m$. An asymptotic behaviour of ${\cal L}(m)$ with $m \to \infty$ is found.


title: 0^# and elementary end extensions of V_k

abstract: In this paper we prove that if k is a cardinal in L[0^#], then there is an inner model M such that M |= (V_k,E) has no elementary end extension. In particular if 0^# exists then weak compactness is never downwards absolute. We complement the result with a lemma stating that any cardinal greater than aleph_1 of uncountable cofinality in L[0^#] is Mahlo in every strict inner model of L[0^#].


title: Curvature and Smooth Topology in Dimension Four

abstract: Seiberg-Witten theory leads to a delicate interplay between Riemannian geometry and smooth topology in dimension four. In particular, the scalar curvature of any metric must satisfy certain non-trivial estimates if the manifold in question has a non-trivial Seiberg-Witten invariant. However, it has recently been discovered that similar statements also apply to other parts of the curvature tensor. This article presents the most salient aspects of these curvature estimates in a self-contained manner, and shows how they can be applied to the theory of Einstein manifolds. We then probe the issue of whether the known estimates are optimal by relating this question to a certain conjecture in Kaehler geometry.


title: Some isomorphisms for the Brauer groups of a Hopf algebra

abstract: Using equivalences of categories we provide isomorphisms between the Brauer groups of different Hopf algebras. As an example, we show that when k is a field of characteristic different from 2 the Brauer groups BC(k,H_4,r_t) for every dual quasitriangular structure r_t on Sweedler's Hopf algebra H_4 are all isomorphic to the direct sum of (k,+) and the Brauer-Wall group of k. We provide an isomorphism between the Brauer group of a Hopf algebra H and the Brauer group of the dual Hopf algebra H^* generalizing a result of Tilborghs. Finally we relate the Brauer groups of H and of its opposite and co-opposite Hopf algebras.


title: Normalizers of Operator Algebras and Reflexivity

abstract: The set of normalizers between von Neumann (or, more generally, reflexive) algebras A and B, (that is, the set of all operators x such that xAx* is a subset of B and x*Bx is a subset of A) possesses `local linear structure': it is a union of reflexive linear spaces. These spaces belong to the interesting class of normalizing linear spaces, namely, those linear spaces U for which UU*U is a subset of U. Such a space is reflexive whenever it is ultraweakly closed, and then it is of the form U={x:xp=h(p)x, for all p in P}, where P is a set of projections and h a certain map defined on P. A normalizing space consists of normalizers between appropriate von Neumann algebras A and B. Necessary and sufficient conditions are found for a normalizing space to consist of normalizers between two reflexive algebras. Normalizing spaces which are bimodules over maximal abelian selfadjoint algebras consist of operators `supported' on sets of the form [f=g] where f and g are appropriate Borel functions. They also satisfy spectral synthesis in the sense of Arveson.


title: A Power Function with A Fixed Finite Gap Everywhere

abstract: We give an application of our extender based Radin forcing to cardinal arithmetic. Using a preparation forcing and interleaving of Cohen and Levy forcings in the normal Radin sequence we get a model with a power function having a fixed finite gap on all cardinals.


title: Valleyless Sequences

abstract: Valleyless sequences of finite length $n$ and maximum entry $k$ occur in tree enumeration problems and provide an interesting correspondence between permutations and compositions. In this paper we introduce the notion of \emph {valleyless} sequences, explore the correspondence and enumerate them using the method of generating functions.


title: On the asymptotic geometry of abelian-by-cyclic groups

abstract: A finitely presented, torsion free, abelian-by-cyclic group can always be written as an ascending HNN extension Gamma_M of Z^n, determined by an n x n integer matrix M with det(M) \ne 0. The group Gamma_M is polycyclic if and only if |det(M)|=1. We give a complete classification of the nonpolycyclic groups Gamma_M up to quasi-isometry: given n x n integer matrices M,N with |det(M)|, |det(N)| > 1, the groups Gamma_M, Gamma_N are quasi-isometric if and only if there exist positive integers r,s such that M^r, N^s have the same absolute Jordan form. We also prove quasi-isometric rigidity: if Gamma_M is an abelian-by-cyclic group determined by an n x n integer matrix M with |det(M)| > 1, and if G is any finitely generated group quasi-isometric to Gamma_M, then there is a finite normal subgroup K of G such that G/K is abstractly commensurable to Gamma_N, for some n x n integer matrix N with |det(N)| > 1.


title: On the center of affine Hecke algebras of type A

abstract: We give an explicit expression for the central elements of affine Hecke algebras of type A in the Coxeter presentation, in terms of (parabolic) affine Kazhdan-Lusztig polynomials. Our approach is based on a version of quantum affine Schur-Weyl duality involving the Hall algebra of a cyclic quiver, on the theory of canonical bases and on the higher-level q-deformed Fock spaces recently introduced by Uglov.


title: Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic

abstract: Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Goedel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Goedel logics by Avron. It is shown that the system is sound and complete, and allows cut-elimination. A question by Takano regarding the eliminability of the Takeuti-Titani density rule is answered affirmatively.


title: Problems on the geometry of finitely generated solvable groups

abstract: A survey of problems, conjectures, and theorems about quasi-isometric classification and rigidity for finitely generated solvable groups.


title: A Proof of "Goldbach's Conjecture"

abstract: "Goldbach's Conjecture" proven by analysis of how all combinations of the odd primes, summed in pairs, generates all of the even numbers.


title: Thue equations and the method of Coleman-Chabauty

abstract: In this paper, we prove that a Thue equation F(x,y) = h, where h is an integer and F is a polynomial of degree n with integer coefficients and without repeated roots, has at most 2n^3 - 2n - 3 solutions provided that the Mordell-Weil rank of the Jacboian of the corresponding curve is less than (n-1)(n-2)/2. The proof uses the method of Coleman-Chabauty, extended here to apply to arbitrary regular models of curves, along with an explicit construction of a portion of a regular model for the curve corresponding to the Thue equation.


title: Pluricanonical maps of varieties of maximal Albanese dimension

abstract: Let $X$ be a smooth complex projective algebraic variety of maximal Albanese dimension. We give a characterization of $\kappa (X)$ in terms of the set $V^0(X,\omega_{X})$ $:=\{P\in {\text{\rm Pic}}^0(X)|h^0(X, \omega_X \otimes P) \ne 0\}$. An immediate consequence of this is that the Kodaira dimension $\kappa (X)$ is invariant under smooth deformations. We then study the pluricanonical maps $\phi_m:X -> \Bbb{P} (H^0(X,mK_X))$. We prove that if $X$ is of general type, $\phi_m$ is generically finite for $m\geq 5$ and birational for $m\geq 5 \text{\rm dim} (X) +1$. More generally, we show that for $m\geq 6$ the image of $\phi_m$ is of dimension equal to $\kappa (X)$ and for $m\geq 6\kappa (X)+2$, $\phi_m$ is the stable canonical map.


title: On the dynamic flows

abstract: It is investigated a possibility of physical interpretation of vector fields (dynamic flows) in Euclidean spaces of higher dimension. There are analyzed the methods of measurements of dynamic flows, the characteristics of dynamic flow and the connection between its differential and integral characteristics. It is obtained the criterion of local minimality of (n-1)-surfaces that is not connected with interior geometry of surface. It is analyzed some analogy between harmonicity of dynamic flows and dynamic principle of nature.


title: On the quantum model of gravitational electrodynamics

abstract: It is shown that application of dynamic flows concept in 4-dimensional Euclidean space makes possible to form Minkowski space and to formulate the generalized variational problem of electrodynamics and gravi- dynamics. It is shown that 1-dimensional (cylindrical) factorization of 4-dimensional Euclidean space provides a quantization of ths model.


title: Differential operators on equivariant vector bundles over symmetric spaces

abstract: Generalizing the algebra of motion-invariant differential operators on a symmetric space we study invariant operators on equivariant vector bundles. We show that the eigenequation is equivalent to the corresponding eigenequation with respect to the larger algebra of all invariant operators. We compute the possible eigencharacters and show that for invariant integral operators the eigencharacter is given by the Abel transform. We show that sufficiently regular operators are surjective, i.e. that equations of the form $Df=u$ are solvable for all $u$.


title: Goldbach's Rule

abstract: Goldbach`s Conjecture, "every even number greater than 2 can be expressed as the sum of two primes" is renamed Goldbach`s Rule for it can not be otherwise. The conjecture is proven by showing that the existence of prime pairs adding to any even number greater than 2 is a natural by-product of the existence of the prime sequence less than that even number. First it is shown that the remainder of cancellations process which identifies primes less than an even number also remainders prime pairs adding to that even number as a natural part of the process. Then a minimum limit for the remaindered number of prime pairs adding to an even number is expressed in terms of that even number and shown to exist for every even number greater than 2. Furthermore, the reasonings and formulations used in the proof are demonstrated to hold against observations.


title: Calculus of clovers and finite type invariants of 3-manifolds

abstract: A clover is a framed trivalent graph with some additional structure, embedded in a 3-manifold. We define surgery on clovers, generalizing surgery on Y-graphs used earlier by the second author to define a new theory of finite-type invariants of 3--manifolds. We give a systematic exposition of a topological calculus of clovers and use it to deduce some important results about the corresponding theory of finite type invariants. In particular, we give a description of the weight systems in terms of uni-trivalent graphs modulo the AS and IHX relations, reminiscent of the similar results for links. We then compare several definitions of finite type invariants of homology spheres (based on surgery on Y--graphs, blinks, algebraically split links, and boundary links) and prove in a self-contained way their equivalence.


title: Knotted Spheres and Graphs in Balls

abstract: Given a properly embedded graph Gamma in a ball B and a punctured sphere Sigma properly embedded in B - Gamma, we examine the conditions on Gamma that are necessary to assure that Sigma is boundary parallel.


title: Locally nonconical convexity

abstract: There is a hierarchy of structure conditions for convex sets. In this paper we study a recently defined [3, 8, 9] condition called locally nonconical convexity (abbreviated LNC). Is is easy to show that every strictly convex set is LNC, as are half-spaces and finite intersections of sets of either of these types, but many more sets are LNC. For instance, every zonoid (the range of a nonatomic vector-valued measure) is LNC (Corollary 34). However, there are no infinite-dimensional compact LNC sets (Theorem 23). The LNC concept originated in a search for continuous sections, and the present paper shows how it leads naturally (and constructively) to continuous sections in a variety of situations. Let Q be a compact, convex set in R^n, and let T be a linear map from R^n into R^m. We show (Theorem 1) that Q is LNC if and only if the restriction of any such T to Q is an open map of Q onto T(Q). This implies that if Q is LNC, then any such T has continuous sections (i.e. there are continuous right inverses of T) that map from T(Q) to Q, and in fact it is possible to define continuous sections constructively in various natural ways (Theorem 3, Corollary 4, and Theorem 5). If Q is strictly convex and T is not 1-1, we can construct continuous sections which take values in the boundary of Q (Theorem 6). When we give up compactness it is natural to consider a closed, convex, LNC subset Q of a Hilbert space X which may be infinite-dimensional. In this case we must assume that T is left Fredholm, i.e. a bounded linear map with closed range and finite-dimensional kernel. We can then prove results analogous to those mentioned in the last paragraph (Theorems 16-20). We also prove that T(Q) is LNC (Theorem 25).


title: Diffeomorphisms, symplectic forms, and Kodaira fibrations

abstract: As was recently pointed out by McMullen and Taubes [Math. Res. Lett. 6 (1999) 681-696], there are 4-manifolds for which the diffeomorphism group does not act transitively on the deformation classes of orientation-compatible symplectic structures. This note points out some other 4-manifolds with this property which arise as the orientation-reversed versions of certain complex surfaces constructed by Kodaira [J. Analyse Math. 19 (1967) 207-215]. While this construction is arguably simpler than that of McMullen and Taubes, its simplicity comes at a price: the examples exhibited herein all have large fundamental groups.


title: Group representations and the Euler characteristic of elliptically fibered Calabi-Yau threefolds

abstract: To every elliptic Calabi-Yau threefold with a section $X$ there can be associated a Lie group $G$ and a representation $\rho$ of that group. The group is determined from the Weierstrass model, which has singularities that are generically rational double points; these double points lead to local factors of $G$ which are either the corresponding A-D-E groups or some associated non-simply laced groups. The representation $\rho$ is a sum of representations coming from the local factors of $G$, and of other representations which can be associated to the points at which the singularities are worse than generic. This construction first arose in physics, and the requirement of anomaly cancellation in the associated physical theory makes some surprising predictions about the connection between $X$ and $\rho$. In particular, an explicit formula (in terms of $\rho$) for the Euler characteristic of $X$ is predicted. We give a purely mathematical proof of that formula in this paper, introducing along the way a new invariant of elliptic Calabi-Yau threefolds. We also verify the other geometric predictions which are consequences of anomaly cancellation, under some (mild) hypotheses about the types of singularities which occur. As a byproduct we also discover a novel relation between the Coxeter number and the rank in the case of the simply laced groups in the ``exceptional series'' studied by Deligne.


title: Cyclic operads and algebra of chord diagrams

abstract: We prove that the algebra $\cal{A}$ of chord diagrams, the dual to the associated graded algebra of Vassiliev knot invariants, is isomorphic to the universal enveloping algebra of a Casimir Lie algebra in a certain tensor category (the PROP for Casimir Lie algebras). This puts on a firm ground a known statement that the algebra $\cal{A}$ ``looks and behaves like a universal enveloping algebra''. An immediate corollary of our result is the conjecture of Bar-Natan, Garoufalidis, Rozansky, and Thurston on the Kirillov-Duflo isomorphism for algebras of chord diagrams. Our main tool is a general construction of a functor from the category $\mathtt{CycOp}$ of cyclic operads to the category $\mathtt{ModOp}$ of modular operads which is left adjoint to the ``tree part'' functor $\mathtt{ModOp} \to \mathtt{CycOp}$. The algebra of chord diagrams arises when this construction is applied to the operad for Lie algebras. Another example of this construction is Kontsevich's graph complex that corresponds to the operad for homotopy Lie algebras.


title: Orbifold Quantum Cohomology

abstract: This is a research announcement of the theory of orbifold quantum cohomology.


title: Moment-angle complexes and combinatorics of simplicial manifolds

abstract: Let $\rho:(D^2)^m\to I^m$ be the orbit map for the diagonal action of the torus $T^m$ on the unit poly-disk $(D^2)^m$, $I^m=[0,1]^m$ is the unit cube. Let $C$ be a cubical subcomplex in $I^m$. The moment-angle complex $\ma(C)$ is a $T^m$-invariant bigraded cellular decomposition of the subset $\rho^{-1}(C)\subset(D^2)^m$ with cells corresponding to the faces of $C$. Different combinatorial problems concerning cubical complexes and related combinatorial objects can be treated by studying the equivariant topology of corresponding moment-angle complexes. Here we consider moment-angle complexes defined by canonical cubical subdivisions of simplicial complexes. We describe relations between the combinatorics of simplicial complexes and the bigraded cohomology of corresponding moment-angle complexes. In the case when the simplicial complex is a simplicial manifold the corresponding moment-angle complex has an orbit consisting of singular points. The complement of an invariant neighbourhood of this orbit is a manifold with boundary. The relative Poincare duality for this manifold implies the generalized Dehn-Sommerville equations for the number of faces of simplicial manifolds.


title: A combinatorial property of generic immersions of curves

abstract: A divide is a relative generic immersion of a finite union of copies of the unit interval in the unit disk. A divide defines a classical link in the 3- sphere, which is a fibered link if the image of the immersion is connected. We prove in this paper, that the Lefschetz number of the monodromy is 0. This result was known for divides, which correspond to real morsifications of complexe plane curve singularities. The proof uses the space of gradient lines of a morse function.


title: Gerbes of chiral differential operators. III

abstract: This note is a sequel to "Gerbes of chiral differential operators. II", math.AG/0003170. We study gerbes of chiral differential operators acting on the exterior algebra $\Lambda E$ of a vector bundle over a smooth algebraic variety $X$. When $E=\Omega^1_X$ this gerbe admits a canonical global section which coincides with the chiral de Rham complex of $X$.


title: Grassmannians of secant varieties

abstract: For an irreducible projective variety X, we study the family of h-planes contained in the secant variety Sec_k(X), for 0<h<k. These families have an expected dimension and we study varieties for which the expected dimension is not attained; for these varieties, making general consecutive projections to lower dimensional spaces, we do not get the expected singularities. In particular, we examine the family G of lines sitting in 3-secant planes to a surface S. We show that the actual dimension of G is equal to the expected dimension unless S is a cone or a rational normal scroll of degree 4 in P^5.


title: On Lepowsky-Wilson's Z-algebra

abstract: We show that the deformed Virasoro algebra specializes in a certain limit to Lepowsky-Wilson's Z-algebra. This leads to a free field realization of the affine Lie algebra \hat{sl_2} which respects the principal gradation. We discuss some features of this bosonization including the screening current and vertex operators.


title: Algebraic Geometry Over Four Rings and the Frontier to Tractability

abstract: We present some new and recent algorithmic results concerning polynomial system solving over various rings. In particular, we present some of the best recent bounds on: (a) the complexity of calculating the complex dimension of an algebraic set, (b) the height of the zero-dimensional part of an algebraic set over C, and (c) the number of connected components of a semi-algebraic set. We also present some results which significantly lower the complexity of deciding the emptiness of hypersurface intersections over C and Q, given the truth of the Generalized Riemann Hypothesis. Furthermore, we state some recent progress on the decidability of the prefixes \exists\forall\exists and \exists\exists\forall\exists, quantified over the positive integers. As an application, we conclude with a result connecting Hilbert's Tenth Problem in three variables and height bounds for integral points on algebraic curves. This paper is based on three lectures presented at the conference corresponding to this proceedings volume. The titles of the lectures were ``Some Speed-Ups in Computational Algebraic Geometry,'' ``Diophantine Problems Nearly in the Polynomial Hierarchy,'' and ``Curves, Surfaces, and the Frontier to Undecidability.''


title: Absolute non-Archimedean polyhedral expansions of ultrauniform spaces

abstract: This work is devoted to the investigation of the problem about inverse mapping systems expansions of ultrauniform spaces $X$ using polyhedra over non-Archimedean locally compact fields $\bf L$. Theorems about expansions of complete ultrametric and ultrauniform spaces are proved. Absolute polyhedral expansions and inverse mapping systems of expansions for non-complete spaces are investigated. This article also contains results about a relation of $dim (X)$ and dimensions of polyhedra over $\bf L$.


title: Integration with respect to Euler characteristic over the projectivization of the space of functions and the Alexander polynomial of a plane curve singularity

abstract: We discuss a notion of integration with respect to the Euler characteristic in the projectivization $\P{\cal O}_{\C^n,0}$ of the ring ${\cal O}_{\C^n,0}$ of germs of functions on $C^n$ and show that the Alexander polynomial and the zeta-function of a plane curve singularity can be expressed as certain integrals over $\P{\cal O}_{\C^2,0}$ with respect to the Euler characteristic.


title: Divisorial contractions in dimension three which contract divisors to smooth points

abstract: We deal with a divisorial contraction in dimension 3 which contracts its exceptional divisor to a smooth point. We prove that any such contraction can be obtained by a suitable weighted blow-up.


title: On the consistency of the definable tree property on \aleph_1

abstract: In this paper we prove the equiconsistency of ``Every omega_1 tree which is first order definable over H_{omega_1} has a cofinal branch'' with the existence of a Pi^1_1 reflecting cardinal. The proof uses a definable version of Ramsey theorem on aleph_1 which is again equiconsistent with a Pi^1_1 reflecting cardinal. We also prove that the addition of $MA$ to the definable tree property increases the consistency strength to that of a weakly compact cardinal. Finally we comment on the generalization to higher cardinals.


title: Scalar Levin-Type Sequence Transformations

abstract: Sequence transformations are important tools for the convergence acceleration of slowly convergent scalar sequences or series and for the summation of divergent series. Transformations that depend not only on the sequence elements or partial sums $s_n$ but also on an auxiliary sequence of so-called remainder estimates $\omega_n$ are of Levin-type if they are linear in the $s_n$, and nonlinear in the $\omega_n$. Known Levin-type sequence transformations are reviewed and put into a common theoretical framework. It is discussed how such transformations may be constructed by either a model sequence approach or by iteration of simple transformations. As illustration, two new sequence transformations are derived. Common properties and results on convergence acceleration and stability are given. For important special cases, extensions of the general results are presented. Also, guidelines for the application of Levin-type sequence transformations are discussed, and a few numerical examples are given.


title: Quasi-actions on trees: research announcement

abstract: We develop a battery of tools for studying quasi-isometric rigidity and classification problems for splittings of groups. The techniques work best for finite graphs of groups where all edge and vertex groups are coarse PD groups. For example, if Gamma is a graph of coarse PD(n) groups for a fixed n, if the Bass-Serre tree of Gamma has infinitely many ends, and if H is a finitely generated group quasi-isometric to pi_1(Gamma), then we prove that H is the fundamental group of a graph of coarse PD(n) groups, with vertex and edge groups quasi-isometric to those of Gamma. We also have quasi-isometric rigidity theorems for graphs of coarse PD groups of nonconstant dimension, under various assumptions on the edge-to-vertex group inclusions.


title: On the fine structure of stationary measures in systems which contract-on-average

abstract: Suppose $\{f_1,...,f_m\}$ is a set of Lipschitz maps of $\mathbb{R}^d$. We form the iterated function system (IFS) by independently choosing the maps so that the map $f_i$ is chosen with probability $p_i$ ($\sum_{i=1}^m p_i=1$). We assume that the IFS contracts on average. We give an upper bound for the Hausdorff dimension of the invariant measure induced on $\mathbb{R}^d$ and as a corollary show that the measure will be singular if the modulus of the entropy $\sum_i p_i \log p_i$ is less than $d$ times the modulus of the Lyapunov exponent of the system. Using a version of Shannon's Theorem for random walks on semigroups we improve this estimate and show that it is actually attainable for certain cases of affine mappings of $\mathbb{R}$.


title: Semiinfinite cohomology of Lie-* algebras

abstract: We construct a geometric version of BRST cohomology complex of a chiral module over a Lie-* algebra using the language of differential graded Lie algebroids in the category of D-modules on a compact curve $X$.


title: On the generation of linear groups by combinatoric groups

abstract: It is described the group of arrowy permutations (that is extension of symmetric group) and the consequent process of generation of GL(n) and some its subgroups by this combinatoric group and its subgroups.


title: On the rigid algebraic structure of Euclidean spaces

abstract: It is shown that the groups of automorphisms of Euclidean spaces are isomorphic to the groups of topologic automorphisms of respectively factored arithmetic spaces. In particular, the geometry of Euclidean n-space with positive signature is associated with factorization of n-dimensional arithmetic space into n-dimensional sphere.


title: On some mathematical construction of many-dimensional cosmos

abstract: It is shown that classical Clifford algebras are group algebras of cyclic subgroups of arrowy rermutations. It is established that Euclidean 3-space, Pauli and Dirac algebras and groups of global guage transformations are corollary from the geometry of 8-dimensional vacuum and 9-dimensional cosmos.


title: On the interior structure of exterior algebra

abstract: It is constructed the functor from category of product linear space to category of skew-symmetric tensor space. It is defined and described the bound bundle as analog of a symplex and as basis element of new constructive homology theory.


title: Orbifold Euler characteristics of universal cotangent line bundles on $\bar{M}_{1,n}$

abstract: A scheme of computing $\chi(\mbar_{1,n}, L_1^{\otimes d_1}\otimes ... \otimes L_n^{\otimes d_n})$ is given. Here $\mbar_{1,n}$ is the moduli space of $n$-pointed stable curves of genus one and $L_i$ are the universal cotangent line bundles defined by $x_i^*(\omega_{C/M})$, where $C \to \mbar_{1,n}$ is the universal curve, $\omega_{C/M}$ the relative dualizing sheaf and $x_i$ the marked point. This work is a sequel to \cite{YL1}.


title: The Yang-Mills Measure in the Kauffman Bracket Skein Module

abstract: For each closed, orientable surface F, we construct a local, diffeomorphism invariant trace on the Kauffman bracket skein module K_t(F x [0,1]). The trace is defined when |t| is neither 0 nor 1, and at certain roots of unity. At t = - 1, the trace is integration against the symplectic measure on the SU(2) character variety of the fundamental group of F.


title: Locally compact quantum groups in the von Neumann algebraic setting

abstract: In this paper we complete in several aspects the picture of locally compact quantum groups. First of all we give a definition of a locally compact quantum group in the von Neumann algebraic setting and show how to deduce from it a C*-algebraic quantum group. Further we prove several results about locally compact quantum groups which are important for applications, but were not yet settled in our paper "Locally compact quantum groups". We prove a serious strengthening of the left invariance of the Haar weight, and we give several formulas connecting the locally compact quantum group with its dual. Loosely speaking we show how the antipode of the locally compact quantum group determines the modular group and modular conjugation of the dual locally compact quantum group.


title: Simple curves on hyperbolic tori

abstract: We describe a new approach to the study of the set of all simple geodesics on a hyperbolic punctured torus. We introduce a valuation on the first integral homology group of the torus. This valuation associates to each homology class the length of the unique simple geodesic in it. We show that this valuation extends to a norm on the homology with real coefficients. We analyze the structure of this norm, and its variation over the moduli space of punctured tori. These results are applied to obtain sharp asymptotic estimates on the number of simple geodesics of bounded length..


title: Compatible Poisson brackets of hydrodynamic type

abstract: Some general properties of compatible Poisson brackets of hydrodynamic type are discussed, in particular: (1) an invariant differential-geometric criterion of the compatibility based on the Nijenhuis tensor; (2) the Lax pair with a spectral parameter governing compatible Poisson brackets in the diagonalizable case; (3) the connection of this problem with the class of surfaces in Euclidean space which possess nontrivial deformations preserving the Weingarten operator.


title: A norm on homology of surfaces and counting simple geodesics

abstract: We define a norm on homology of punctured tori equipped with a complete hyperbolic metric of finite volume and use it to find asymptotics on the growth of the number of simple geodesics of bounded length.


title: Dirac operators and conformal invariants of tori in 3-space

abstract: We show how to assign to any immersed torus in $\R^3$ or $S^3$ a Riemann surface such that the immersion is described by functions defined on this surface. We call this surface the spectrum or the spectral curve of the torus. The spectrum contains important information about conformally invariant properties of the torus and, in particular, relates to the Willmore functional. We propose a simple proof that for isothermic tori in $\R^3$ (this class includes constant mean curvature tori and tori of revolution) the spectrum is invariant with respect to conformal transformations of $\R^3$. We show that the spectral curves of minimal tori in $S^3$ introduced by Hitchin and of constant mean curvature tori in $\R^3$ introduced by Pinkall and Sterling are particular cases of this general spectrum. The construction is based on the Weierstrass representation of closed surfaces in $\R^3$ and the construction of the Floquet--Bloch varieties of periodic differential operators.


title: A note on extended complex manifolds

abstract: We introduce a category of extended complex manifolds, and prove that the functor describing deformations of a classical compact complex manifold $M$ within this category is versally representable by (an analytic subspace in) $H^*(M,T_M)$. By restricting the associated versal family of extended complex manifolds over $H^*(M,T_M)$ to the subspace $H^1(M,T_M)$ one gets a correct limit to the classical picture.


title: On the Quantum Quarter Plane and the Real Quantum Plane

abstract: Suppose q is a complex number of modulus one and different from 1,-1. Let O(R^2_q) be the *-algebra with two hermitean generators x and y satisfying the relation xy=qyx. Using operator representations of the *-algebra O(R^2_q) on Hilbert space and the Weyl calculus of pseudodifferential operators we construct *-algebras of ``functions'' on the quantum quarter plane R^{++}_q and on the real quantum plane R^2_q which are left module *-algebras for the Hopf *-algebra U_q(gl_2(R)). We define a family h_k, k\in Z^2, of covariant positive linear functionals on these *-algebras and study the actions of the *-algebras O(R^2_q) and U_q(gl_2(R)) on the associated Hilbert spaces. Quantum analogs of the partial Fourier transforms and the Fourier transform are found. A differential calculus on the ``function'' *-algebras is also developed and investigated. A shorter version appeared in International Journal of Mathematics 13 (2002), 279-321.


title: Differential calculi on finite groups

abstract: A brief review of bicovariant differential calculi on finite groups is given, with some new developments on diffeomorphisms and integration. We illustrate the general theory with the example of the nonabelian finite group S_3.


title: Ideals and Formal Morita Equivalence of Algebras

abstract: Motivated by deformation quantization, we introduced in an earlier work the notion of formal Morita equivalence in the category of $^*$-algebras over a ring $\ring C$ which is the quadratic extension by $\im$ of an ordered ring $\ring R$. The goal of the present paper is twofold. First, we clarify the relationship between formal Morita equivalence, Ara's notion of Morita $^*$-equivalence of rings with involution, and strong Morita equivalence of $C^*$-algebras. Second, in the general setting of $^*$-algebras over $\ring C$, we define `closed' $^*$-ideals as the ones occuring as kernels of $^*$-representations of these algebras on pre-Hilbert spaces. These ideals form a lattice which we show is invariant under formal Morita equivalence. This result, when applied to Pedersen ideals of $C^*$-algebras, recovers the so-called Rieffel correspondence theorem. The triviality of the minimal element in the lattice of closed ideals, called the `minimal ideal', is also a formal Morita invariant and this fact can be used to describe a large class of examples of $^*$-algebras over $\ring C$ with equivalent representation theory but which are not formally Morita equivalent. We finally compute the closed $^*$-ideals of some $^*$-algebras arising in differential geometry.


title: Semi-Riemannian submersions from real and complex pseudo-hyperbolic spaces

abstract: We classify the semi-Riemannian submersions from a pseudo-hyperbolic space onto a Riemannian manifold under the assumption that the fibres are connected and totally geodesic. Also we obtain the classification of the semi-Riemannian submersions from a complex pseudo-hyperbolic space onto a Riemannian manifold under the assumption that the fibres are complex, connected and totally geodesic submanifolds.


title: Some Fundamental Properties of Successive Convex Relaxation Methods on LCP and Related Problems

abstract: General Successive Convex Relaxation Methods (SRCMs) can be used to compute the convex hull of any compact set, in an Euclidean space, described by a system of quadratic inequalities and a compact convex set which is not very complicated. Linear Complementarity Problems (LCPs) make an interesting and rich class of structured nonconvex optimization problems. In this paper, we study a few of the specialized lift-and-project methods and some of the possible ways of applying the general SCRMs to LCPs and related problems.


title: Isoscattering Schottky Manifolds

abstract: The authors exhibit pairs of infinite-volume, hyperbolic three-manifolds that have the same scattering poles and conformally equivalent boundaries, but which are not isometric. The examples are constructed using Schottky groups and the Sunada construction.


title: Occupation Time Fluctuations in Branching Systems

abstract: We consider particle systems in locally compact Abelian groups with particles moving according to a process with symmetric stationary independent increments and undergoing one and two levels of critical branching. We obtain long time fluctuation limits for the occupation time process of the one-and two-level systems. We give complete results for the case of finite variance branching, where the fluctuation limits are Gaussian random fields, and partial results for an example of infinite variance branching, where the fluctuation limits are stable random fields. The asymptotics of the occupation time fluctuations are determined by the Green potential operator G of the individual particle motion and its powers $G^2, G^3$, and by the growth as $t\to\infty$ of the operator $G_t=\int^t_0T_sds$ and its powers, where $T_t$ is the semigroup of the motion. The results are illustrated with two examples of motions: the symmetric $\alpha$-stable L\'evy process in $\erre^d$ $(0<\alpha\leq2)$,and the so called c-hierarchical random walk in the hierarchical group of order N (0<c<N). We show that the two motions have analogous asymptotics of $G_t$ and its powers that depend on an order parameter $\gamma$ for their transience /recurrence behavior. This parameter is $\gamma=d/\alpha-1$ for the $\alpha$-stable motion, and $\gamma=\log c/\log (N/c)$ for the c-hierarchical random walk. As a consequence of these analogies, the asymptotics of the occupation time fluctuations of the corresponding branching particle systems are also analogous. In the case of the c-hierarchical random walk, however, the growth of $G_t$ and its powers is modulated by oscillations on a logarithmic time scale.


title: Algebraic Surfaces Holomorphically Dominable by C2

abstract: An n-dimensional complex manifold M is said to be (holomorphically) dominable by $\CC^n$ if there is a map $F:\CC^n \ra M$ which is holomorphic such that the Jacobian determinant $\det(DF)$ is not identically zero. Such a map F is called a dominating map. In this paper, we attempt to classify algebraic surfaces X which are dominable by $\CC^2$ using a combination of techniques from algebraic topology, complex geometry and analysis. One of the key tools in the study of algebraic surfaces is the notion of Kodaira dimension (defined in section 2). By Kodaira's pioneering work and its extensions, an algebraic surface which is dominable by $\CC^2$ must have Kodaira dimension less than two. Using the Kodaira dimension and the fundamental group of X, we succeed in classifying algebraic surfaces which are dominable by $\CC^2$ except for certain cases in which X is an algebraic surface of Kodaira dimension zero and the case when X is rational without any logarithmic 1-form. More specifically, in the case when X is compact (namely projective), we need to exclude only the case when X is birationally equivalent to a K3 surface (a simply connected compact complex surface which admits a globally non-vanishing holomorphic 2-form) that is neither elliptic nor Kummer (see sections 3 and 4 for the definition of these types of surfaces).


title: Incidence relations among the Schubert cells of equivariant Hilbert Schemes

abstract: Let HH_{ab}(H) be the equivariant Hilbert scheme parametrizing the zero dimensional subschemes of the affine plane k^2, fixed under the one dimensional torus T_{ab}={(t^{-b},t^a), t\in k^*} and whose Hilbert function is H. This Hilbert scheme admits a natural stratification in Schubert cells which extends the notion of Schubert cells on Grassmannians. However, the incidence relations between the cells become more complicated than in the case of Grassmannians. In this paper, we give a necessary condition for the closure of a cell to meet another cell. In the particular case of Grassmannians, it coincides with the well known necessary and sufficient incidence condition. There is no known example showing that the condition wouldn't be sufficient.


title: Intrinsic geometry of convex ideal polyhedra in hyperbolic 3-space

abstract: The main result is that every complete finite area hyperbolic metric on a sphere with punctures can be uniquely realized as the induced metric on the surface of a convex ideal polyhedron in hyperbolic 3-space. A number of other observations are included.

categories: math.GT math-ph math.CO math.DG math.MG math.MP


title: Smoothness and decay properties of the limiting Quicksort density function

abstract: Using Fourier analysis, we prove that the limiting distribution of the standardized random number of comparisons used by Quicksort to sort an array of n numbers has an everywhere positive and infinitely differentiable density f, and that each derivative f^{(k)} enjoys superpolynomial decay at plus and minus infinity. In particular, each f^{(k)} is bounded. Our method is sufficiently computational to prove, for example, that f is bounded by 16.


title: A characterization of the set of fixed points of the Quicksort transformation

abstract: The limiting distribution \mu of the normalized number of key comparisons required by the Quicksort sorting algorithm is known to be the unique fixed point of a certain distributional transformation T -- unique, that is, subject to the constraints of zero mean and finite variance. We show that a distribution is a fixed point of T if and only if it is the convolution of \mu with a Cauchy distribution of arbitrary center and scale. In particular, therefore, \mu is the unique fixed point of T having zero mean.


title: Perfect simulation from the Quicksort limit distribution

abstract: The weak limit of the normalized number of comparisons needed by the Quicksort algorithm to sort n randomly permuted items is known to be determined implicitly by a distributional fixed-point equation. We give an algorithm for perfect random variate generation from this distribution.


title: Modelling of stock price changes: a real analysis approach

abstract: The paper discusses a path-wise approach to stock price modelling.


title: On the definition of geometric Dirac operators

abstract: In this largely expository paper we give a self-contained treatment of the Dirac operator. Emphasizing the algebraic point of view we first sketch the necessary prerequisites from Clifford algebras and their representations and then define (and characterize) spin structures and the corresponding Spin-Dirac operator purely in the spirit of irreducible representations. We also prove its equivalence with the usual approach via principal bundles. We conclude with other geometric Dirac operators and their properties using the afore-mentioned setting.


title: Expansion of real valued meromorphic functions into Fourier trigonometric series

abstract: In the main part of the paper, on the basis of contour integration of complex meromorphic functions whose singularities lie onto an integration contour, in the first step, a concept of improper integrals absolute existence of meromorphic functions, as more general one with respect to the concept of improper integrals convergence (existence), is introduced into analysis. In the second step, in the case when a modulus of complex parameter tends to infinity, an interval of improper integrals convergence of parametric meromorphic functions is defined. In accordance with this, it is shown that the class of real valued meromorphic functions, whose finitely many isolated singularities lie onto a real axis segment, may be expanded into Fourier trigonometric series, separately. At all points of the segment, at which the meromorphic functions are continuous ones, the Fourier trigonometric series is summable and its sum is equal to the function values at those points. Finally, that all is illustrated by two representative examples.


title: On a Vanishing Theorem of Kontsevich

abstract: This paper has been withdrawn by the authors, due a crucial mistake in Lemma 2


title: Class numbers of orders in cubic fields

abstract: We give an asymptotic formula for class numbers of orders in cubic number fields.


title: On representations of a q-analogue of the *-algebra Pol(Mat_{2,2})

abstract: Bounded Hilbert space *-representations are studied for a q-analogue of the *-algebra Pol(Mat_{2,2}) of polynomials on the space Mat_{2,2} of complex 2\times 2 matrices.


title: Witt groups and torsion Picard groups of smooth real curves

abstract: The Witt group of a smooth curve over a real closed field is explicitely calculated. The method uses a comparison theorem between the graded Witt group and the etale cohomology groups. In the second part of the paper, the torsion Picard group of a smooth real curve is also computed. The calculation depends on a new invariant introduced here. We prove that several problems of real algebraic geometry are related to this invariant.


title: Conformally symmetric circle packings. A generalization of Doyle spirals

abstract: From the geometric study of the elementary cell of hexagonal circle packings --- a flower of 7 circles --- the class of conformally symmetric circle packings is defined. Up to Moebius transformations, this class is a three parameter family, that contains the famous Doyle spirals as a special case. The solutions are given explicitly. It is shown, that these circle packings can be viewed as discretizations of the quotient of two Airy functions. There is an interactive version of this paper that contains JAVA applets that let you experiment with the circle packings directly. It is available at http://www-sfb288.math.tu-berlin.de/Publications/online/


title: Algebraization of Frobenius splitting via quantum groups

abstract: An important breakthrough in understanding the geometry of Schubert varieties was the introduction of the notion of Frobenius split varieties and the result that the flag varieties G/P are Frobenius split. The aim of this article is to give in this case a complete and self contained representation theoretic approach to this method. The geometric Frobenius method in (char k=p>0) will here be replaced by Lusztig's Frobenius maps for quantum groups at roots of unity (which exist not only for primes but any odd integer \ell >1).


title: Rigorous Numerics for Partial Differential Equations: the Kuramoto-Sivashinsky equation

abstract: We present a new topological method for the study of the dynamics of dissipative PDE's. The method is based on the concept of the self-consistent apriori bounds, which allows to justify rigorously the Galerkin projection. As a result we obtain a low-dimensional system of ODE's subject to rigorously controlled small perturbation from the neglected modes. To this ODE's we apply the Conley index to obtain information about the dynamics of the PDE under consideration. As an application we present a computer assisted proof of the existence of fixed points for the Kuramoto-Sivashinsky equation.


title: Commuting self-adjoint extensions of symmetric operators defined from the partial derivatives

abstract: We consider the problem of finding commuting self-adjoint extensions of the partial derivatives {(1/i)(\partial/\partial x_j):j=1,...,d} with domain C_c^\infty(\Omega) where the self-adjointness is defined relative to L^2(\Omega), and \Omega is a given open subset of R^d. The measure on \Omega is Lebesgue measure on R^d restricted to \Omega. The problem originates with I.E. Segal and B. Fuglede, and is difficult in general. In this paper, we provide a representation-theoretic answer in the special case when \Omega=I\times\Omega_2 and I is an open interval. We then apply the results to the case when \Omega is a d-cube, I^d, and we describe possible subsets \Lambda of R^d such that {e^(i2\pi\lambda \dot x) restricted to I^d:\lambda\in\Lambda} is an orthonormal basis in L^2(I^d).


title: The Chow groups and the motive of the Hilbert scheme of points on a surface

abstract: We compute the Chow motive and the Chow groups with rational coefficients of the Hilbert scheme of points on a smooth algebraic surface


title: The heat flow of the CCR algebra

abstract: Let P and Q be the canonical operators acting on the Hilbert space of all L^2 functions on the real line, defined appropriately on a common dense domain. The derivations D_P(A) = i(PA - AP) and D_Q(A) = i(QA - AQ) act on the *-algebra of all integral operators having smooth kernels of compact support, for example, and one may consider the noncommutative "Laplacian" L(A) = D_P^2(A) + D_Q^2(A), as a linear mapping of this *-algebra into itself. L generates a semigroup of normal completely positive maps on B(H), and we establish some basic properties of this semigroup and its minimal dilation to an E_0-semigroup. In particular, we show that the minimal dilation is pure, has no normal invariant states, and we discuss the significance of those facts for the interaction theory developed in a previous paper (appearing in the current issue of Comm. Math. Phys.). There are similar results for the canonical commutation relations with n degrees of freedom, n = 2, 3, ....


title: The domain algebra of a CP semigroup

abstract: A CP semigroup is a semigroup of normal unit-preserving completely positive maps acting on the algebra B(H) of all operators on a separable Hilbert space H. Such a semigroup has a natural generator L; since the individual maps of the semigroup need not be multiplicative, the domain Dom(L) of L is typically an operator system, but not an algebra. However, we show that the set of all operators A in Dom(L), with the property that both A*A and AA* belong to Dom(L), is a *-algebra, called the domain algebra of the CP semigroup. Using this algebra, it is possible to draw a very close parallel with the Laplacian of a Riemannian manifold. We discuss properties of the "symbol" of L as the noncommutative counterpart of a (semidefinite) Riemannian metric, and give examples for which the domain algebra is, and is not, strongly dense in B(H).


title: Groups quasi-isometric to H^2 x R

abstract: This paper is a more succinct version of the author's 1993 UCLA mathematics thesis. It proves that any group quasi-isometric to the product of the hyperbolic plane with the real line is a finite extension of a cocompact lattice in either the isometry group of the product of the hyperbolic plane with the real line or the isometry group of the universal cover of SL(2,R).


title: Un theoreme de Cartier-Milnor-Moore-Quillen pour les bigebres dendriformes et les algebres braces

abstract: We define an equivalence of categories, quite similar to the classical Cartier-Milnor-Moore-Quillen theorem, between the category of connected dendriform bialgebras and the category of brace algebras. This equivalence is given by the functors "subspace of primitive elements" and "universal enveloping dendriform algebra".


title: Semi-Riemannian submersions with totally geodesic fibres

abstract: We classify semi-Riemannian submersions with connected totally geodesic fibres from a real pseudo-hyperbolic space onto a semi-Riemannian manifold under the assumption that the dimension of the fibres is less than or equal to three and the metrics induced on fibres are negative definite. Also, we obtain the classification of semi-Riemannian submersions with connected complex totally geodesic fibres from a complex pseudo-hyperbolic space onto a semi-Riemannian manifold under the assumption that the dimension of the fibres is less than or equal to two and the metric induced on fibres are negative definite. We prove that there are no semi-Riemannian submersions with connected quaternionic fibres from a quaternionic pseudo-hyperbolic space onto a Riemannian manifold.


title: Fuchsian affine actions of surface groups

abstract: We define a fuchsian affine action of a surface group to be such that the linear part factors through a representation of $SL(2,{\mathbb R})$. We prove a fuchsian affine action of a surface group is never proper.


title: Lectures on differentials, generalized differentials and on some examples related to theoretical physics

abstract: These notes contain a survey of some aspects of the theory of differential modules and complexes as well as of their generalization, that is, the theory of $N$-differential modules and $N$-complexes. Several applications and examples coming from physics are discussed. The commun feature of these physical applications is that they deal with the theory of constrained or gauge systems. In particular different aspects of the BRS methods are explained and a detailed account of the $N$-complexes arising in the theory of higher spin gauge fields is given.