title: Free subproducts and free scaled products of II_1 factors

abstract: The constructions of free subproducts of von Neumann algebras and free scaled products are introduced, and results about them are proved, including rescaling results and results about free trade in free scaled products.


title: Fromula for the Projectively Invariant Quantization on Degree Three

abstract: We give an explicit formula for the projectively invariant quantization map between the space of symbols of degree three and the space of third-order linear differential operators, both viewed as modules over the group of diffeomorphisms and the Lie algebra of vector fields on a manifold.


title: A locally compact quantum group analogue of the normalizer of SU(1,1) in SL(2,C)

abstract: S.L. Woronowicz proved in 1991 that quantum SU(1,1) does not exist as a locally compact quantum group. Results by L.I. Korogodsky in 1994 and more recently by Woronowicz gave strong indications that the normalizer N of SU(1,1) in SL(2,C) is a much better quantization candidate than SU(1,1) itself. In this paper we show that this is indeed the case by constructing N_q, a new example of a unimodular locally compact quantum group (depending on a parameter q) that is a deformation of N. After defining the underlying von Neumann algebra of N_q we use a certain class of q-hypergeometric functions and their orthogonality relations to construct the comultiplication. The coassociativity of this comultiplication is the hardest result to establish. We define the Haar weight and obtain simple formulas for the antipode and its polar decomposition. As a final result we produce the underlying C*-algebra of N_q. The proofs of all these results depend on various properties of q-hypergeometric 1\phi1 functions.


title: On the nonhamiltonian character of shocks in 2-D pressureless gas

abstract: The paper deals with the 2-D system of gas dynamics without pressure which was introduced in 1970 by Ya.Zeldovich to describe the formation of large-scale structure of the Universe. Such system occurs to be an intermediate object between the systems of ordinary differential equations and hyperbolic systems of PDE. The main its feature is the arising of singularities: discontinuities for velocity and delta functions of various types for density. The rigorous notion of generalized solutions in terms of Radon measures is introduced and the generalization of Rankine-Hugoniot conditions is obtained. On the basis of such conditions it is shown that the variational representation for the generalized solutions, which is valid for 1-D case, in 2-D case generally speaking does not take place. A nontrivial 1-D system of nonstrictly hyperbolic type is also obtained to describe the evolution inside the shock.


title: New Cohomogeneity One Metrics With Spin(7) Holonomy

abstract: We construct new explicit non-singular metrics that are complete on non-compact Riemannian 8-manifolds with holonomy Spin(7). One such metric, which we denote by A_8, is complete and non-singular on R^8. The other complete metrics are defined on manifolds with the topology of the bundle of chiral spinors over S^4, and are denoted by B_8^+, B_8^- and B_8. The metrics on B_8^+ and B_8^- occur in families with a non-trivial parameter. The metric on B_8 arises for a limiting value of this parameter, and locally this metric is the same as the one for A_8. The new Spin(7) metrics are asymptotically locally conical (ALC): near infinity they approach a circle bundle with fibres of constant length over a cone whose base is the squashed Einstein metric on CP^3. We construct the covariantly-constant spinor and calibrating 4-form. We also obtain an L^2-normalisable harmonic 4-form for the A_8 manifold, and two such 4-forms (of opposite dualities) for the B_8 manifold.


title: Sur certains espaces de Hilbert de fonctions entieres, lies a la transformation de Fourier et aux fonctions L de Dirichlet et de Riemann

abstract: We construct in a Sonine Space of entire functions a subspace related to the Riemann zeta function and we show that the quotient contains vectors intrinsically attached to the non-trivial zeros and their multiplicities.


title: The monoid of families of quiver representations

abstract: A monoid structure on families of representations of a quiver is introduced by taking extensions of representations in families, i.e. subvarieties of the varieties of representations. The study of this monoid leads to interesting interactions between representation theory, algebraic geometry and quantum group theory. For example, it produces a wealth of interesting examples of families of quiver representations, which can be analyzed by representation theoretic and geometric methods. Conversely, results from representation theory, in particular A. Schofield's work on general properties of quiver representations, allow us to relate the monoid to certain degenerate forms of quantized enveloping algebras.


title: Formal groups over Hopf algebras

abstract: In this paper we study some generalization of the notion of a formal group over ring, which may be called a formal group over Hopf algebra (FGoHA). The first example of FGoHA was found under the study of cobordism's ring of some $H$-space $\hat{Gr}$. The results, which are represented in this paper, show that some constructions of the theory of formal group may be generalized to FGoHA. For example, if ${\frak F}(x\otimes 1,1\otimes x) \in (H{\mathop{\hat{\otimes}}\limits_R}H)[[x\otimes 1,1\otimes x]]$ is a FGoHA over a Hopf algebra $(H,\mu,\nu, \Delta,\epsilon, S)$ over a ring $R$ without torsion, then there exists a logarithm, i.e. the formal series ${\frak g}(x)\in H_\mathbb{Q}[[x]]$ such that $(\Delta {\frak g})({\frak F}(x\otimes 1,1\otimes x))= {\frak c}+{\frak g}(x)\otimes 1+1\otimes {\frak g}(x),$ where ${\frak c}\in H_\mathbb{Q}{\mathop{\hat{\otimes}}\limits_{R_ \mathbb{Q}}}H_\mathbb{Q}, (\id \otimes \epsilon){\frak c}=0=(\epsilon \otimes \id){\frak c}$ and $(\id \otimes \Delta){\frak c}+1\otimes {\frak c}-(\Delta \otimes \id){\frak c}-{\frak c}\otimes 1=0$ (recall that the last condition means that ${\frak c}$ is a cocycle in the cobar complex of the Hopf algebra $H_\mathbb{\mathbb{Q}}$). On the other hand, FGoHA have series of new properties. For example, the convolution on a Hopf algebra allows us to get new FGoHA from given.


title: Crew's Euler characteristic formula fails for nonzero slopes

abstract: A result of Crew implies that for an etale Galois p-cover of smooth proper varieties over a field of characteristic p, the alternating sum of the p-ranks of the cohomology groups behave like Euler characteristics in characteristic 0. That is, the sum for the top curve equals the sum for the bottom curve times the degree of the cover. We exhibit an example to show that this relation fails in general if the p-rank is replaced by the part of some fixed slope (other than 0).


title: Letter about component groups of elliptic curves

abstract: This is the text of a letter written by K. Ribet to J.-F. Mestre in November, 1987. The letter proves three formulas that had been conjectured by Mestre and Oesterl\'e. These formulas concern component groups of elliptic curves that occur as optimal quotients of certain Jacobians of modular curves, and relations between the component groups and the character group of the toric component of the Jacobian. (The "toric component" and component groups are computed in positive characteristic.)


title: Tiling spaces are Cantor set fiber bundles

abstract: We prove that fairly general spaces of tilings of R^d are fiber bundles over the torus T^d, with totally disconnected fiber. This was conjectured (in a weaker form) in [W3], and proved in certain cases. In fact, we show that each such space is homeomorphic to the d-fold suspension of a Z^d subshift (or equivalently, a tiling space whose tiles are marked unit d-cubes). The only restrictions on our tiling spaces are that 1) the tiles are assumed to be polygons (polyhedra if d>2) that meet full-edge to full-edge (or full-face to full-face), 2) only a finite number of tile types are allowed, and 3) each tile type appears in only a finite number of orientations. The proof is constructive, and we illustrate it by constructing a `square' version of the Penrose tiling system.


title: On maximal curves and unramified coverings

abstract: We discuss sufficient conditions for a given curve to be covered by a maximal curve with the covering being unramified; it turns out that the given curve itself will be also maximal. We relate our main result to the question of whether or not a maximal curve is covered by the Hermitian curve. We also provide examples illustrating the results.


title: Links with surgery yielding the 3-sphere

abstract: For any n\ge 2, we give infinitely many unsplittable links of n components in the 3-sphere which admit non-trivial surgery yielding the 3-sphere again and whose components are mutually distinct hyperbolic knots. Berge and Kawauchi gave 2-component hyperbolic links with those two properties. We can also give infinitely many 2-component hyperbolic tunnel number one links with such properties.


title: Examples of integrable sub-Riemannian geodesic flows

abstract: Motivated by a paper of Bolsinov and Taimanov DG/9911193 we consider non-holonomic situation and exhibit examples of sub-Riemannian metrics with integrable geodesic flows and positive topological entropy. Moreover the Riemannian examples are obtained as "holonomization" of sub-Riemannian ones. A feature of non-holonomic situation is non-compactness of the phase space. We also exhibit a Liouvulle-integrable Hamiltonian system with topological entropy of all integrals positive.


title: Elliptic Gorenstein singularities, log canonical thresholds and log Enriques surfaces

abstract: We point out an interesting relation between hypersurface elliptic singularities and log Enriques surfaces: with a few exceptions, every hypersurface elliptic singularity define some klt log Enriques surface $(S,Diff)$. In many cases, the log canonical cover of $(S,Diff)$ is a Du Val K3 surface with ``large'' nonsymplectic automorphism group.


title: Nijenhuis tensors in pseudoholomorphic curves neighborhoods

abstract: Normal forms of almost complex structures in a neighborhood of pseudoholomorphic curve are considered. We define normal bundles of such curves and study the properties of linear bundle almost complex structures. We describe 1-jet of the almost complex structure along a curve in terms of its Nijenhuis tensor. For pseudoholomorphic tori we investigate the problem of pseudoholomorphic foliation of the neighborhood. We obtain some results on nonexistence of the tori deformation.


title: Stratification of prime spectrum of quantum solvable algebras

abstract: A quantum solvable algebra is an iterated $q$-skew extension of a commutative algebra. We get finite statification of prime spectrum for quantum solvable algebras obeying some natural conditions. We prove that for any prime ideal $I$ the skew field of fractions $Fract(R/I)$ is isomorphic to the skew field of fractions of an algebra of twisted polynomials (Quantum Gel'fand-Kirillov Conjecture).


title: Solutions of Neumann problems in domains with cracks and applications to fracture mechanics

abstract: The first part of the course is devoted to the study of solutions to the Laplace equation in $\Omega\setminus K$, where $\Omega$ is a two-dimensional smooth domain and $K$ is a compact one-dimensional subset of $\Omega$. The solutions are required to satisfy a homogeneous Neumann boundary condition on $K$ and a nonhomogeneous Dirichlet condition on (part of) $\partial\Omega$. The main result is the continuous dependence of the solution on $K$, with respect to the Hausdorff metric, provided that the number of connected components of $K$ remains bounded. Classical examples show that the result is no longer true without this hypothesis. Using this stability result, the second part of the course develops a rigorous mathematical formulation of a variational quasi-static model of the slow growth of brittle fractures, recently introduced by Francfort and Marigo. Starting from a discrete-time formulation, a more satisfactory continuous-time formulation is obtained, with full justification of the convergence arguments.


title: Quantum cohomology of the infinite dimensional generalized flag manifolds

abstract: Consider the infinite dimensional flag manifold $LK/T$ corresponding to the simple Lie group $K$ of rank $l$ and with maximal torus $T$. We show that, for $K$ of type $A$, $B$ or $C$, if we endow the space $H^*(LK/T)\otimes \bR[q_1,...,q_{l+1}]$ (where $q_1,...,q_{l+1}$ are multiplicative variables) with an $\bR[\{q_j\}]$-bilinear product satisfying some simple properties analogous to the quantum product on $QH^*(K/T)$, then the isomorphism type of the resulting ring is determined by the integrals of motion of a certain periodic Toda lattice system, in exactly the same way as the isomorphism type of $QH^*(K/T)$ is determined by the integrals of motion of the non-periodic Toda lattice (see the theorem of Kim). This is a generalization of a theorem of Guest and Otofuji.


title: On embedding models of arithmetic of cardinality aleph_1 into reduced powers

abstract: In the early 1970's S.Tennenbaum proved that all countable models of PA^- + forall_1-Th(N) are embeddable into the reduced product N^omega/F, where F is the cofinite filter. In this paper we show that if M is a model of PA^- + forall_1-Th(N), and |M|= aleph_1, then M is embeddable into N^omega/D, where D is any regular filter on omega.


title: On regular reduced products

abstract: Assume <aleph_0,aleph_1>-><lambda,lambda^+>. Assume M is a model of a first order theory T of cardinality at most lambda^+ in a vocabulary L(T) of cardinality <= lambda . Let N be a model with the same vocabulary. Let Delta be a set of first order formulas in L(T) and let D be a regular filter on lambda. Then M is Delta-embeddable into the reduced power N^lambda/D, provided that every Delta-existential formula true in M is true also in N. We obtain the following corollary: for M as above and D a regular ultrafilter over lambda, M^lambda/D is lambda^{++}-universal. Our second result is as follows: For i<mu let M_i and N_i be elementarily equivalent models of a vocabulary which has has cardinality <=lambda. Suppose D is a regular filter on mu and <aleph_0,aleph_1>-><lambda,lambda^+> holds. We show that then the second player has a winning strategy in the Ehrenfeucht-Fraisse game of length lambda^+ on prod_i M_i/D and prod_i N_i/D. This yields the following corollary: Assume GCH and lambda regular). For L, M_i and N_i as above, if D is a regular filter on lambda, then prod_i M_i/D cong prod_i N_i/D .


title: Model Companions of T_\sigma for stable T

abstract: Let T be a complete first order theory in a countable relational language L . We assume relation symbols have been added to make each formula equivalent to a predicate. Adjoin a new unary function symbol sigma to obtain the language L_sigma; T_sigma is obtained by adding axioms asserting that sigma is an L-automorphism. We provide necessary and sufficient conditions for T_sigma to have a model companion when T is stable. Namely, we introduce a new condition: T_sigma admits obstructions, and show that T_sigma has a model companion iff and only if T_sigma does not admit obstructions. This condition is weakening of the finite cover property: if a stable theory T has the finite cover property then T_sigma admits obstructions.


title: Morita theory for Hopf algebroids and presheaves of groupoids

abstract: Comodules over Hopf algebroids are of central importance in algebraic topology. It is well-known that a Hopf algebroid is the same thing as a presheaf of groupoids on Aff, the opposite category of commutative rings. We show in this paper that a comodule is the same thing as a quasi-coherent sheaf over this presheaf of groupoids. We prove the general theorem that internal equivalences of presheaves of groupoids with respect to a Grothendieck topology on Aff give rise to equivalences of categories of sheaves in that topology. We then show using faithfully flat descent that an internal equivalence in the flat topology gives rise to an equivalence of categories of quasi-coherent sheaves. The corresponding statement for Hopf algebroids is that weakly equivalent Hopf algebroids have equivalent categories of comodules. We apply this to formal group laws, where we get considerable generalizations of the Miller-Ravenel and Hovey-Sadofsky change of rings theorems in algebraic topology.


title: Circles Minimize most Knot Energies

abstract: We define a new class of knot energies (known as renormalization energies) and prove that a broad class of these energies are uniquely minimized by the round circle. Most of O'Hara's knot energies belong to this class. This proves two conjectures of O'Hara and of Freedman, He, and Wang. We also find energies not minimized by a round circle. The proof is based on a theorem of G. Luko on average chord lengths of closed curves.


title: Framed knots in 3-manifolds and affine self-linking numbers

abstract: The number $|K|$ of non-isotopic framed knots that correspond to a given unframed knot $K\subset S^3$ is infinite. This follows from the existence of the self-linking number $\slk$ of a zerohomologous framed knot. We use the approach of Vassiliev-Goussarov invariants to construct ``affine self-linking numbers'' that are extensions of $\slk$ to the case of nonzerohomologous framed knots. As a corollary we get that $|K|=\infty$ for all knots in an oriented (not necessarily compact) 3-manifold $M$ that is not realizable as a connected sum $(S^1\times S^2) # M'$. This result for compact manifolds was first stated by Hoste and Przytycki. They referred to the works of McCullough for the idea of the proof, however to the best of our knowledge the proof of this fundamental fact was not given in literature. Our proof is based on different ideas. For $M=(S^1\times S^2) # M'$ we construct $K$ in $M$ such that $|K|=2\neq \infty$.


title: On the homology of the spaces of long knots

abstract: This paper is a little more detailed version of math-QA/0010017 "Sur l'homologie des espaces de n\oe uds non-compacts", where the first term of the Vassiliev spectral sequence (computing the homology of the space of long knots in ${\mathbb R}^d$, $d\ge 3$) was described in terms of the Hochschild homology of the Poisson algebras operad for $d$ odd, and of the Gerstenhaber algebras operad for $d$ even. In particular, the bialgebra of chord diagrams arises as some subspace of this homology. The homology in question is the space of characteristic classes for Hochschild cohomology of Poisson (resp. Gerstenhaber) algebras considered as associative algebras. The paper begins with necessary preliminaries on operads. Also a simplification of the computations of the first term of the Vassiliev spectral sequence is given.


title: Global calibrations for the non-homogeneous Mumford-Shah functional

abstract: Using a calibration method we prove that, if $\Gamma\subset \Omega$ is a closed regular hypersurface and if the function $g$ is discontinuous along $\Gamma$ and regular outside, then the function $u_{\beta}$ which solves $$ \begin{cases} \Delta u_{\beta}=\beta(u_{\beta}-g)& \text{in $\Omega\setminus\Gamma$} \partial_{\nu} u_{\beta}=0 & \text{on $\partial\Omega\cup\Gamma$} \end{cases} $$ is in turn discontinuous along $\Gamma$ and it is the unique absolute minimizer of the non-homogeneous Mumford-Shah functional $$ \int_{\Omega\setminus S_u}|\nabla u|^2 dx +{\cal H}^{n-1}(S_u)+\beta\int_{\Omega\setminus S_u}(u-g)^2 dx, $$ over $SBV(\Omega)$, for $\beta$ large enough. Applications of the result to the study of the gradient flow by the method of minimizing movements are shown.


title: Graph Subspaces and the Spectral Shift Function

abstract: We extend the concept of Lifshits--Krein spectral shift function associated with a pair of self-adjoint operators to the case of pairs of admissible operators that are similar to self-adjoint operators. Our main result is the following. Let \cH_0 and \cH_1 be separable Hilbert spaces, A_0 a self-adjoint operator in \cH_0, A_1 a self-adjoint operator in \cH_1, and B_{ij} a bounded operator from \cH_j to \cH_i, i=0,1, j=1-i, and B_10=B_01^*. Assume that the block operator matrix \bH=\bA+\bB=(A_0 & B_01 B_{10}& A_1) has reducing graph subspaces of the form {x_i\oplus Q_ji x_i: x_i\in\cH_i}, i=0,1, j=1-i, and Q_ji are Hilbert-Schmidt operators such that Q_ji=-Q_ij^*. If both (\bH-z\bI)^{-1}-(\bA-z\bI)^{-1} and \bB\bQ(\bA-z\bI)^{-1} are trace class operators in \cH for \Img(z)\neq 0, then the operators A_i+B_ij Q_ji and A_i, i=0,1, j=1-i, acting in the spaces \cH_i are resolvent comparable admissible operators. Moreover, the spectral shift function \xi(x,\bH,\bA) associated with the pair (\bH,\bA) admits the representation \xi(x,\bH,\bA)=\xi(x,A_0+B_01 Q_10,A_0)+ \xi(x,A_1+B_10 Q_01,A_1). We also obtain new representations for the solution to the operator Sylvester equation in the form of Stieltjes operator integrals and formulate sufficient criterion for the strong solvability of the operator Riccati equation that ensures the existence of reducing graph subspaces for block operator matrices.


title: Homoclinic classes and finitude of attractors for vector fields on n-manifolds

abstract: A homoclinic class of a vector field is the closure of the transverse homoclinic orbits associated to a hyperbolic periodic orbit. An attractor (a repeller) is a transitive set to which converges every positive (negative) nearby orbit. We show that a generic C1 vector field on a closed n-manifold has either infinitely many homoclinic classes or a finite collection of attractors (repellers) whose basins form an open-dense set. This result gives an approach to a conjecture by Palis. We also prove the existence of a locally residual subset of C1 vector fields on a 5-manifold having finitely many attractors and repellers but infinitely many homoclinic classes.


title: A Characterization of the Heat Kernel Coefficients

abstract: We consider the asymptotic expansion of the heat kernel of a generalized Laplacian for $t\to 0^+$ and characterize the coefficients $a_k$ of this expansion by a natural intertwining property. In particular we will give a closed formula for the infinite order jet of these coefficients on the diagonal in terms of the local expressions of the powers of the given generalized Laplacian in normal coordinates.


title: The canonical solutions of the Q-systems and the Kirillov-Reshetikhin conjecture

abstract: We study a class of systems of functional equations closely related to various kinds of integrable statistical and quantum mechanical models. We call them the finite and infinite Q-systems according to the number of functions and equations. The finite Q-systems appear as the thermal equilibrium conditions (the Sutherland-Wu equation) for certain statistical mechanical systems. Some infinite Q-systems appear as the relations of the normalized characters of the KR modules of the Yangians and the quantum affine algebras. We give two types of power series formulae for the unique solution (resp. the unique canonical solution) for a finite (resp. infinite) Q-system. As an application, we reformulate the Kirillov-Reshetikhin conjecture on the multiplicities formula of the KR modules in terms of the canonical solutions of Q-systems.


title: The Bethe Equation at q=0, The M"obius Inversion Formula, and Weight Multiplicities: III. The X^{(r)}_N case

abstract: It is shown that the numbers of off-diagonal solutions to the U_q(X^{(r)}_N) Bethe equation at q=0 coincide with the coefficients in the recently introduced canonical power series solution of the Q-system. Conjecturally the canonical solutions are characters of the KR (Kirillov-Reshetikhin) modules. This implies that the numbers of off-diagonal solutions agree with the weight multiplicities, which is interpreted as a formal completeness of the U_q(X^{(r)}_N) Bethe ansatz at q=0.


title: Global angle-action variables for Duffing system

abstract: The classical representation of Hamiltonian systems in terms of action-angle variables are defined for simply connected domains such as an interior of a homoclinic orbit. On this basis methods of (local) perturbations leading, in particular, to chaotic systems have been studied in literature. We are describing a new method for constructing global action-angle variables and successive perturbations based on a topological covering of the phase space. The method is demonstrated for representative example of the Duffing system.


title: Relative Lefschetz Action and BPS State Counting

abstract: In this paper, we propose a mathematical definition of a new ``numerical invariants" of Calabi--Yau 3-folds from stable sheaves of dimension one, which is motivated by the Gopakumar-Vafa conjecture in M-theory. Moreover, we show that for any projective morphism $f:X -> Y$ of normal projective varieties, there exists a natural $sl_2 \times sl_2$ action on the intersection cohomology group $IH(X, \Q)$ which fits into the perverse Leray spectral sequence.


title: A class of Lorenz-type systems, their factorizations and extensions

abstract: It is well known that the Lorenz system has $Z_2$-symmetry. Using introducted in math.DS/0105147 topological covering-coloring a new representation for the Lorenz system is obtained. Deleting coloring leads to the factorized Lorenz system that is in a sense more fundamental than the original one. Finally, $Z_n$ extensions define a class of Lorenz-type systems. The approach admits a natural generalization for regular and chaotic systems with arbitrary symmetries.


title: Inhomogeneous Diophantine Approximation and Angular Recurrence for Polygonal Billiards

abstract: For a given rotation number we compute the Hausdorff dimension of the set of well approximable numbers. We use this result and an inhomogeneous version of Jarnik's theorem to show strong recurrence properties of the billiard flow in certain polygons


title: The Hilbert Series of Pfaffian Rings

abstract: We give three determinantal expressions for the Hilbert series as well as the Hilbert function of a Pfaffian ring, and a closed form product formula for its multiplicity. An appendix outlining some basic facts about degeneracy loci and applications to multiplicity formulae for Pfaffian rings is also included.


title: Sur la conjecture combinatoire de Kashiwara-Vergne

abstract: We explain a connection between the combinatorial Kashiwara-Vergne conjecture and the Kontsevich formula for quantization of Poisson manifolds


title: Perturbed closed geodesics are periodic orbits: Index and Transversality

abstract: We study the classical action functional $\SMC_V$ on the free loop space of a closed, finite dimensional Riemannian manifold $M$ and the symplectic action $\AMC_V$ on the free loop space of its cotangent bundle. The critical points of both functionals can be identified with the set of perturbed closed geodesics in $M$. The potential $V\in C^\infty(M\times S^1,\R)$ serves as perturbation and we show that both functionals are Morse for generic $V$. In this case we prove that the Morse index of a critical point $x$ of $\SMC_V$ equals minus its Conley-Zehnder index when viewed as a critical point of $\AMC_V$ and if $x^*TM \to S^1$ is trivial. Otherwise a correction term +1 appears.


title: The Eratosthenes Progression p_{k+1} = \pi^{-1}(p_k), k=0,1,2,..., p_0 \in N \setminus P Determines An Inner Prime Number Distribution Law

abstract: Formulas of $\pi(x)$-fine structure are presented.


title: The Octonions

abstract: The octonions are the largest of the four normed division algebras. While somewhat neglected due to their nonassociativity, they stand at the crossroads of many interesting fields of mathematics. Here we describe them and their relation to Clifford algebras and spinors, Bott periodicity, projective and Lorentzian geometry, Jordan algebras, and the exceptional Lie groups. We also touch upon their applications in quantum logic, special relativity and supersymmetry.


title: Automatic convexity

abstract: In many cases the convexity of the image of a linear map with range is $R^n$ is automatic because of the facial structure of the domain of the map. We develop a four step procedure for proving this kind of ``automatic convexity''. To make this procedure more efficient, we prove two new theorems that identify the facial structure of the intersection of a convex set with a subspace in terms of the facial structure of the original set. Let $K$ be a convex set in a real linear space $X$ and let $H$ be a subspace of X that meets $K$. In Part I we show that the faces of $K\cap H$ have the form $F\cap H$ for a face $F$ of $K$. Then we extend our intersection theorem to the case where $X$ is a locally convex linear topological space, $K$ and $H$ are closed, and $H$ has finite codimension in $X$. In Part II we use our procedure to ``explain'' the convexity of the numerical range (and some of its generalizations) of a complex matrix. In Part III we use the topological version of our intersection theorem to prove a version of Lyapunov's theorem with finitely many linear constraints. We also extend Samet's continuous lifting theorem to the same constrained siuation.


title: Effective invariants of braid monodromy and topology of plane curves

abstract: In this paper we construct effective invariants for braid monodromy of affine curves. We also prove that, for some curves, braid monodromy determines their topology. We apply this result to find a pair of curves with conjugate equations in a number field but which do not admit any orientation-preserving homeomorphism.


title: Curves of maximal genus in P^5

abstract: Let C be a reduced, irreducible, not degenerate curve, not contained on surfaces of degree <s; when d=deg(C) is large with respect to s, the arithmetic genus p_a(c) is bounded by a function G(d, r, s) which is of type d^2/2s+O(d). The existence of such a bound for curves in P^3 was announced by Halphen in 1870 and proved by Gruson and Peskine in 1978; for curves in P^r, r>3, the bound is stated and proved by Chiantini, Ciliberto and Di Gennaro in 1993. The bound is sharp, at least for d sufficiently large (Chiantini-Ciliberto- Di Gennaro give examples of extremal curves for d large, that are in general singular). The classification and the existence of curves of genus G(d, r, s) is known for r=3 and d>s^2-s (Gruson and Peskine), and for r=4 and d> 12s^2 (Chiantini and Ciliberto in 1994). In this paper the author gives the classification for the curves of maximal genus for r=5, d as in the paper of Chiantini-Ciliberto-Di Gennaro, and s>8, and proves the existence of {\it smooth} curves of maximal genus G(d, 5, s) for every d and s. With the same techniques used for the classification in P^5 it is possible to classify curves in P^r of maximal genus G(d, r, s) for every r and s>2r-2. In math.AG/0105094 the author has given an example of the classification procedure and of the costruction of smooth extremal curves in P^r.


title: Carleson's theorem with quadratic phase

abstract: Carleson's theorem on the pointwise convergence of Fourier series provides bounds for a maximal operator, with the maximum taken over all choices of linear functions of a phase argument. We extend this to all quadratic choices of phase functions. Specifically, we show that the maximal operator below maps $L^p$ into itself for $1<p<\infty$. $$ \sup_a \sup_b |\int e^{i(ay^2+by)}f(x-y)dy/y| $$


title: Equivariant spectral flow and a Lefschetz theorem on odd dimensional spin manifolds

abstract: A notion of equivariant spectral flows for families of self-dual elliptic operators on Riemannian manifolds is purposed. As a consequence, a local version of a Lefschetz fix point theorem is proved for Toeplitz operators on odd-dimensional spin manifolds.


title: An Introduction to Pull-backs of Bundles and Homotopy Invariance

abstract: We define the pull-back of a smooth principal fibre bundle, and show that it has a natural principal fibre bundle structure. Next, we analyse the relationship between pull-backs by homotopy equivalent maps. The main result of this article is to show that for a principal fibre bundle over a paracompact manifold, there is a principal fibre bundle isomorphism between pull-backs obtained from homotopic maps. This enables simple proofs of several results on the structure of principal fibre bundles. No new results are obtained---this is simply an accessible presentation of an important idea.


title: Integrable spin Calogero-Moser systems

abstract: We introduce spin Calogero-Moser systems associated with root systems of simple Lie algebras and give the associated Lax representations (with spectral parameter) and fundamental Poisson bracket relations. The associated integrable models (called integrable spin Calogero-Moser systems in the paper) and their Lax pairs are then obtained via Poisson reduction and gauge transformations. For Lie algebras of $A_{n}$-type, this new class of integrable systems includes the usual Calogero-Moser systems as subsystems. Our method is guided by a general framework which we develop here using dynamical Lie algebroids.


title: Regularized traces and Taylor expansions for the heat semigroup

abstract: We compute the coefficients in asymptotics of regularized traces and associated trace (spectral) distributions for Schrodinger operators, with short and long range potentials. A kernel expansion for the Schrodinger semigroup is derived, and a connection with non-commutative Taylor formulas is established.


title: On Averaging for Hamiltonian Systems with One Fast Phase and Small Amplitudes

abstract: The problem of averaging for systems with one fast phase was considered from various points of view in many papers. The averaging method of Krylov and Bogolyubov and methods of KAM theory originated this line of research, the most complete results were obtained by Neishtadt, where the coefficients are assumed real analytic. However, in many problems which are interesting from the point of view of applications, analytic dependence ceases to hold in the neighborhoods of some points. We show that one can choose a transformation such that the averaging procedure of Neishtadt is applicable in these neighborhoods and such passage to limit is uniform.


title: Anomalous Slow Diffusion from Perpetual Homogenization

abstract: This paper is concerned with the asymptotic behavior of solutions of stochastic differential equations $dy_t=d\omega_t -\nabla V(y_t) dt$, $y_0=0$. When $d=1$ and $V$ is not periodic but obtained as a superposition of an infinite number of periodic potentials with geometrically increasing periods ($V(x) = \sum_{k=0}^\infty U_k(x/R_k)$, where $U_k$ are smooth functions of period 1, $U_k(0)=0$, and $R_k$ grows exponentially fast with $k$) we can show that $y_t$ has an anomalous slow behavior and we obtain quantitative estimates on the anomaly using and developing the tools of homogenization. Pointwise estimates are based on a new analytical inequality for sub-harmonic functions. When $d\geq 1$ and $V$ is periodic, quantitative estimates are obtained on the heat kernel of $y_t$, showing the rate at which homogenization takes place. The latter result proves Davies's conjecture and is based on a quantitative estimate for the Laplace transform of martingales that can be used to obtain similar results for periodic elliptic generators


title: On Euler-Jaczewski sequence and Remmert-Van de Ven problem for toric varieties

abstract: Let X be a complete toric variety and let Y be a smooth projective variety with Picard number one. We prove that, if there exists a surjective morphism from X to Y, then Y is a projective space.


title: C++ Codes of Implicit Lu Algorithms for Absdll01

abstract: This report is devoted to some C++ codes implementing the implicit LU class algorithms for solving linear determined, and undetermined systems with $n$ variables and $m$ equations. A main program used in part of the numerical test is given in the last section.


title: An ABS Algorithm for a Class of Systems of Stochastic Linear Equations

abstract: This paper is to explore a model of the ABS Algorithms for dealing with a class of systems of linear stochastic equations A xi=eta satisfying eta sim N_m(v, I_{m}). It is shown that the iteration step alpha_{i} is N(V,\pi) and approximation solutions is xi_{i} \sim N_n(U,\Sigma) for this algorithm model. And some properties of (V,\pi)$ and $(U,\Sigma) are given.


title: BMT Invariants of Surfaces and 4-Manifolds

abstract: In this paper we present the Braid Monodromy Type (BMT) of curves and surfaces; past, present and future. The BMT is an invariant that can distinguish between non-isotopic curves; between different families of surfaces of general type; between connected components of moduli space of surfaces and between non symplectmorphic 4-manifolds. BMT is a finer invariant than the Sieberg-Witten invariants. Consider 2 simply connected surfaces of general type with the same Chern classes. It is known that if they are in the same deformation class, they are diffeomorphic to each other. Are there computable invariants distinguishing between these 2 classes? The new invariant, proposed here, is located between the 2 classes. In this paper we shall introduce the new invariant, state the current results and pose an open question.


title: An Integral PBW Basis of the Quantum Affine Algebra of Type A$_{2}^{(2)}$

abstract: We construct an integral PBW basis and an integral crystal basis of the quantum affine algebra of type A$_{2}^{(2)}$.


title: Poincare-Einstein metrics and the Schouten tensor

abstract: We examine here the space of conformally compact metrics $g$ on the interior of a compact manifold with boundary which have the property that the $k^{th}$ elementary symmetric function of the Schouten tensor $A_g$ is constant. When $k=1$ this is equivalent to the familiar Yamabe problem, and the corresponding metrics are complete with constant negative scalar curvature. We show for every $k$ that the deformation theory for this problem is unobstructed, so in particular the set of conformal classes containing a solution of any one of these equations is open in the space of all conformal classes. We then observe that the common intersection of these solution spaces coincides with the space of conformally compact Einstein metrics, and hence this space is a finite intersection of closed analytic submanifolds.


title: A New Bound for Kloosterman Sums

abstract: We give generating functions for Gauss sums for finite general linear and unitary groups. For the general linear case only our method of proof is new, but we deduce a bound on Kloosterman sums which is sometimes sharper than Deligne's bound from algebraic geometry.


title: Quiver varieties and t-analogs of q-characters of quantum affine algebras

abstract: Let us consider a specialization of an untwisted quantum affine algebra of type $ADE$ at a nonzero complex number, which may or may not be a root of unity. The Grothendieck ring of its finite dimensional representations has two bases, simple modules and standard modules. We identify entries of the transition matrix with special values of ``computable'' polynomials, similar to Kazhdan-Lusztig polynomials. At the same time we ``compute'' $q$-characters for all simple modules. The result is based on ``computations'' of Betti numbers of graded/cyclic quiver varieties. (The reason why we put `` '' will be explained in the end of the introduction.)


title: On the Theory of Discontinuous Solutions to Some Strongly Degenerate Parabolic Equations

abstract: It is studied the Cauchy problem for the equations of Burgers' type but with bounded dissipation flux. Such equations degenerate to hyperbolic ones as the velocity gradient tends to infinity. Thus the discontinuous solutions are permitted. In the paper the definition of the generalized solution is given and the existence theorem is established in the classes of functions close to ones of bounded variation. The main feature of used a priori estimates is the fact that one needs to estimate only the diffusion flux, which allows to have in fact arbitrary local growth of the velocity gradient. The uniqueness theorem is proven for essentially narrower class of piecewise smooth functions with regular behavior of discontinuity lines.


title: Cohomological constraint to deformations of compact Kaehler manifolds

abstract: We prove that for every compact K\"ahler manifold $X$ there exists an $L$-infinity morphism, lifting the usual cup product in cohomology, from the Kodaira-Spencer differential graded Lie algebra to the suspension of the space of linear endomorphisms of the singular cohomology of $X$. As a consequence we get an algebraic proof of the principle ``obstructions to deformations of compact Kaehler manifolds annihilate ambient cohomology''.


title: Numerical characterization of the K\"ahler cone of a compact K\"ahler manifold

abstract: The goal of this work is give a precise numerical description of the K\"ahler cone of a compact K\"ahler manifold. Our main result states that the K\"ahler cone depends only on the intersection form of the cohomology ring, the Hodge structure and the homology classes of analytic cycles: if $X$ is a compact K\"ahler manifold, the K\"ahler cone $\cK$ of $X$ is one of the connected components of the set $\cP$ of real $(1,1)$ cohomology classes $\{\alpha\}$ which are numerically positive on analytic cycles, i.e. $\int_Y\alpha^p>0$ for every irreducible analytic set $Y$ in $X$, \hbox{$p=\dim Y$}. This result is new even in the case of projective manifolds, where it can be seen as a generalization of the well-known Nakai-Moishezon criterion, and it also extends previous results by Campana-Peternell and Eyssidieux. The principal technical step is to show that every nef class $\{\alpha\}$ which has positive highest self-intersection number $\int_X\alpha^n>0$ contains a K\"ahler current; this is done by using the Calabi-Yau theorem and a mass concentration technique for Monge-Amp\`ere equations. The main result admits a number of variants and corollaries, including a description of the cone of numerically effective $(1,1)$ classes and their dual cone. Another important consequence is the fact that for an arbitrary deformation $\cX\to S$ of compact K\"ahler manifolds, the K\"ahler cone of a very general fibre $X_t$ is ``independent'' of $t$, i.e.\ invariant by parallel transport under the $(1,1)$-component of the Gauss-Manin connection.


title: Cohomological restrictions on Kahler groups

abstract: The number of the relations of a Kahler group is bounded below by the number of the generators and some geometric invariants of the corresponding compact Kahler manifold, like the irregularity, the Albanese dimension and the Albanese genera. Appropriate functions of the aforementioned geometric invariants are shown to be lower bounds for the Betti numbers of the Kahler group within the range, determined by the Albanese dimension.


title: Combinatorial Lie bialgebras of curves on surfaces

abstract: Goldman and Turaev found a Lie bialgebra structure on the vector space generated by non-trivial free homotopy classes of curves on a surface. When the surface has non-empty boundary, this vector space has a basis of cyclic reduced words in the generators of the fundamental group and their inverses. We give a combinatorial algorithm to compute this Lie bialgebra on this vector space of cyclic words. Using this presentation, we prove a generalization of Goldman's result relating the bracket to disjointness of curve representatives when one of the classes is simple. We exhibit some examples we found by programming the algorithm which answer negatively Turaev's question about the characterization of simple curves in terms of the cobracket. Further computations suggest an alternative characterization of simple curves in terms of the bracket of a curve and its inverse. Turaev's question is still open in genus zero.


title: Fibres affines

abstract: We study affine maps between affine manifolds. Even when the fibers are compact and diffeomorphic, two of them can inherit different affine structures from the source space. This leads to a fixed linear holonomy deformation theory of the affine structure of an affine manifold. We found various conditions which make the fibers to be affinely isomorphic. We also classify affine bundles which total space is a compact and complete affine manifold.


title: Lines Tangent to 2n-2 spheres in R^n

abstract: We show that there are 3 \cdot 2^(n-1) complex common tangent lines to 2n-2 general spheres in R^n and that there is a choice of spheres with all common tangents real.


title: Some non-Gorenstein Hecke algebras attached to spaces of modular forms

abstract: This paper answers a question of Gross and others, by exhibiting specific examples of Hecke algebras where mod 2 multiplicity one fails for some modular forms, and the associated Hecke algebras are not Gorenstein. It shows that the methods of Wiles, Gross, Edixhoven, Buzzard, Mazur and others have an upper bound to their applicability.


title: Linear algebra algorithms for divisors on an algebraic curve

abstract: We use an embedding of the symmetric $d$th power of any algebraic curve $C$ of genus $g$ into a Grassmannian space to give algorithms for working with divisors on $C$, using only linear algebra in vector spaces of dimension $O(g)$, and matrices of size $O(g^2)\times O(g)$. When the base field $k$ is finite, or if $C$ has a rational point over $k$, these give algorithms for working on the Jacobian of $C$ that require $O(g^4)$ field operations, arising from the Gaussian elimination. Our point of view is strongly geometric, and our representation of points on the Jacobian is fairly simple to work with; in particular, none of our algorithms involves arithmetic with polynomials. We note that our algorithms have the same asymptotic complexity for general curves as the more algebraic algorithms in Hess' 1999 Ph.D. thesis, which works with function fields as extensions of $k[x]$. However, for special classes of curves, Hess' algorithms are asymptotically more efficient than ours, generalizing other known efficient algorithms for special classes of curves, such as hyperelliptic curves (Cantor), superelliptic curves (Galbraith, Paulus, and Smart), and $C_{ab}$ curves (Harasawa and Suzuki); in all those cases, one can attain a complexity of $O(g^2)$.


title: A counterexample to a conjecture of Akemann and Anderson

abstract: Akemann and Anderson made a conjecture about ``paving'' projections in finite dimensional matrix algebras which, if true, would settle the well-known Kadison-Singer problem. We falsify their conjecture by an explicit seqence of counterexamples.


title: Some Explicit Solutions of the Additive Deligne-Simpson Problem and Their Applications (Preprint)

abstract: In this paper we construct three infinite series and two extra triples of complex matrices B, C, and A=B+C of special spectral types associated to C. Simpson's classification in his paper ``Products of Matrices'' and a classification of multiple flag varieties with finitely many orbits of the diagonal action of the general linear group by P. Magyar, J. Weyman, and A. Zelevinsky. This enables us to construct Fuchsian systems of differential equations which generalize the hypergeometric equation of Gauss-Riemann. In a sense, they are the closest relatives of the famous equation, because their triples of spectral flags have finitely many orbits of the diagonal action of the general linear group in the space of solutions. We also construct a scalar product such that A, B, and C are self-adjoint with respect to it. In the context of Fuchsian systems, this scalar product becomes a monodromy invariant complex symmetric bilinear form in the space of solutions. When the eigenvalues of A, B, and C are real, the matrices and the scalar product become real as well. We find inequalities on the eigenvalues of A, B, and C which make the scalar product positive-definite. As proved by A. Klyachko, the spectra of three hermitian (or real symmetric) matrices B, C, and A=B+C form a polyhedral convex cone in the space of triple spectra. He also gave a recursive algorithm to generate inequalities describing the cone. The inequalities we obtain describe non-recursively some faces of the Klyachko cone.


title: Hilbert Space Representations of Cross Product Algebras

abstract: Hilbert space representations of cross product *-algebras of the Hopf *-algebras U_q(gl_2) with the coordinate algebras O(C^2_q) and O(R^3_q) of quantum vector spaces and U_q(su_2) with coordinate algebras O(SU_q(2)) and O(S^2_q) of corresponding quantum spheres are investigated and classified. Invariant states on the coordinate *-algebras are described by two variants of the quantum trace.


title: A long exact sequence for symplectic Floer cohomology

abstract: The long exact sequence describes how the Floer cohomology of two Lagrangian submanifolds changes if one of them is modified by applying a Dehn twist. We give a proof in the simplest case (no bubbling). The paper contains a certain amount of material that may be of interest independently of the exact sequence: in particular, chapter 1 covers "symplectic Picard-Lefschetz theory" in some detail, and chapter 2 contains a generalization of the usual TQFT setup for Floer cohomology.


title: Determinant Expressions for Hyperelliptic Functions in Genus Three

abstract: In this paper we generalize the formula of Frobenius-Stickelberger and the formula of Kiepert to genus-three case. The latter is well-known determinant expression for any division polynomial of any elliptic curve.


title: Determinant Expressions for Abelian Functions in Genus Two

abstract: In this paper we generalize the formula of Frobenius-Stickelberger and the formula of Kiepert type to the genus-two case.


title: Determinant Expressions for Hyperelliptic Functions (with an Appendix by Shigeki Matsutani)

abstract: In this paper we give quite pretty generalization of the formula of Frobenius-Stickelberger to all hyperelliptic curves. The formula of Kiepert type is also obtained by limiting process from this generalization. In Appendix a determinant expression of D.G. Cantor is also given.


title: An almost-integral universal Vassiliev invariant of knots

abstract: A `total Chern class' invariant of knots is defined. This is a universal Vassiliev invariant which is integral `on the level of Lie algebras' but it is not expressible as an integer sum of diagrams. The construction is motivated by similarities between the Kontsevich integral and the topological Chern character.


title: Deformation Quantization of Non Regular Orbits of Compact Lie Groups

abstract: In this paper we construct a deformation quantization of the algebra of polynomials of an arbitrary (regular and non regular) coadjoint orbit of a compact semisimple Lie group. The deformed algebra is given as a quotient of the enveloping algebra by a suitable ideal.


title: On conformally invariant subsets of the planar Brownian curve

abstract: We define and study a family of generalized non-intersection exponents for planar Brownian motions that is indexed by subsets of the complex plane: For each $A\subset\CC$, we define an exponent $\xi(A)$ that describes the decay of certain non-intersection probabilities. To each of these exponents, we associate a conformally invariant subset of the planar Brownian path, of Hausdorff dimension $2-\xi(A)$. A consequence of this and continuity of $\xi(A)$ as a function of $A$ is the almost sure existence of pivoting points of any sufficiently small angle on a planar Brownian path.


title: Convergence versus integrability in Poincare-Dulac normal form

abstract: We show that, to find a Poincare-Dulac normalization for a vector field is the same as to find and linearize a torus action which preserves the vector field. Using this toric characterization and other geometrical arguments, we prove that any local analytic vector field which is integrable in the non-Hamiltonian sense admits a local convergent Poincare-Dulac normalization. These results generalize the main results of our previous paper from the Hamiltonian case to the non-Hamiltonian case. Similar results are presented for the case of isochore vector fields.


title: On adic genus, Postnikov conjugates, and lambda-rings

abstract: Sufficient conditions on a space are given which guarantee that the $K$-theory ring and the ordinary cohomology ring with coefficients over a principal ideal domain are invariants of, respectively, the adic genus and the SNT set. An independent proof of Notbohm's theorem on the classification of the adic genus of $BS^3$ by $KO$-theory $\lambda$-rings is given. An immediate consequence of these results about adic genus is that the power series ring $\mathbf{Z} \lbrack \lbrack x \rbrack \rbrack$ admits uncountably many pairwise non-isomorphic $\lambda$-ring structures.


title: Crossed-Products by Finite Index Endomorphisms and KMS states

abstract: Given a unital C*-algebra A, an injective endomorphism \alpha:A --> A preserving the unit, and a conditional expectation E from A to the range of \alpha we consider the crossed-product of A by \alpha relative to the transfer operator L=\alpha^{-1}E. When E is of index-finite type we show that there exists a conditional expectation G from the crossed-product to A which is unique under certain hypothesis. We define a "gauge action" on the crossed-product algebra in terms of a central positive element h and study its KMS states. The main result is: if h>1 and E(ab)=E(ba) for all a,b in A (e.g. when A is commutative) then the KMS_\beta states are precisely those of the form \psi = \phi G, where \phi is a trace on A satisfying the identity \phi(a) = \phi(L(h^{-\beta}ind(E)a)), where ind(E) is the Jones-Kosaki-Watatani index of E.


title: A Fourier transform for sheaves on Lagrangian families of real tori

abstract: We systematically develop a transform of the Fourier-Mukai type for sheaves on symplectic manifolds $X$ of any dimension fibred in Lagrangian tori. One obtains a bijective correspondence between unitary local systems supported on Lagrangian submanifolds of $X$ and holomorphic vector bundles with compatible unitary connections supported on complex submanifolds of the relative Jacobian of $X$ (suitable conditions being verified on both sides).


title: Deflating infinite Coxeter groups to finite groups

abstract: This paper considers a smaller version of the 26-node presentation of the Bimonster group.


title: Viro theorem and topology of real and complex combinatorial hypersurfaces

abstract: We introduce a class of combinatorial hypersurfaces in the complex projective space. They are submanifolds of codimension~2 in $\C P^n$ and are topologically "glued" out of algebraic hypersurfaces in $(\C^*)^n$. Our construction can be viewed as a version of the Viro gluing theorem, relating topology of algebraic hypersurfaces to the combinatorics of subdivisions of convex lattice polytopes. If a subdivision is convex, then according to the Viro theorem a combinatorial hypersurface is isotopic to an algebraic one. We study combinatorial hypersurfaces resulting from non-convex subdivisions of convex polytopes, show that they are almost complex varieties, and in the real case, they satisfy the same topological restrictions (congruences, inequalities etc.) as real algebraic hypersurfaces.


title: Super-diffusivity in a shear flow model from perpetual homogenization

abstract: This paper is concerned with the asymptotic behavior solutions of stochastic differential equations $dy_t=d\omega_t -\nabla \Gamma(y_t) dt$, $y_0=0$ and $d=2$. $\Gamma$ is a $2\times 2$ skew-symmetric matrix associated to a shear flow characterized by an infinite number of spatial scales $\Gamma_{12}=-\Gamma_{21}=h(x_1)$, with $h(x_1)=\sum_{n=0}^\infty \gamma_n h^n(x_1/R_n)$ where $h^n$ are smooth functions of period 1, $h^n(0)=0$, $\gamma_n$ and $R_n$ grow exponentially fast with $n$. We can show that $y_t$ has an anomalous fast behavior ($\E[|y_t|^2]\sim t^{1+\nu}$ with $\nu>0$) and obtain quantitative estimates on the anomaly using and developing the tools of homogenization.


title: Deviation Bounds for Wavelet Shrinkage

abstract: We analyse the wavelet shrinkage algorithm of Donoho and Johnstone in order to assess the quality of the reconstruction of a signal obtained from noisy samples. We prove deviation bounds for the maximum of the squares of the error, and for the average of the squares of the error, under the assumption that the signal comes from a H"older class, and the noise samples are independent, of 0 mean, and bounded. Our main technique is Talgrand's isoperimetric theorem. Our bounds refine the known expectations for the average of the squares of the error.


title: Composition series of affine manifolds and n-gerbes

abstract: In this paper we study n-composition series of affine manifolds. One composition series are classified using gerbe theory. It is natural to think that n-composition series must be classified using n-gerbe theory. In the last section of this, we propose a notion of abelian n-gerbe theory


title: Holomorphic disks and three-manifold invariants: properties and applications

abstract: In an earlier paper (math.SG/0101206), we introduced Floer homology theories associated to closed, oriented three-manifolds Y and SpinC structures. In the present paper, we give calculations and study the properties of these invariants. The calculations suggest a conjectured relationship with Seiberg-Witten theory. The properties include a relationship between the Euler characteristics of these theories and Turaev's torsion, a relationship with the minimal genus problem (Thurston norm), and surgery exact sequences. We also include some applications of these techniques to three-manifold topology.


title: Surface bundles over surfaces of small genus

abstract: We construct examples of non-isotrivial algebraic families of smooth complex projective curves over a curve of genus 2. This solves a problem from Kirby's list of problems in low-dimensional topology. Namely, we show that 2 is the smallest possible base genus that can occur in a 4-manifold of non-zero signature which is an oriented fiber bundle over a Riemann surface. A refined version of the problem asks for the minimal base genus for fixed signature and fiber genus. Our constructions also provide new (asymptotic) upper bounds for these numbers.


title: Highest weight vectors of irreducible representations of the quantum superalgebra U_q(gl(m,n))

abstract: The Iwahori-Hecke algebra of type A acts on tensor product space of the natural representation of the quantum superalgebra U_q(gl(m,n)). We show this action of the Hecke algebra and the action of U_q(gl(m,n)) on the same space determine commuting actions of each other. Together with this result and Gyoja's q-analogue of the Young symmetrizer, we construct a highest weight vector of each irreducible summmand of the tensor product space.


title: Free group automorphisms, invariant orderings and topological applications

abstract: We are concerned with orderable groups and particularly those with orderings invariant not only under multiplication, but also under a given automorphism or family of automorphisms. Several applications to topology are given: we prove that the fundamental groups of hyperbolic nonorientable surfaces, and the groups of certain fibred knots are bi-orderable. Moreover, we show that the pure braid groups associated with hyperbolic nonorientable surfaces are left-orderable.


title: Hyper-Hermitian quaternionic Kaehler manifolds

abstract: We call a quaternionic Kaehler manifold with non-zero scalar curvature, whose quaternionic structure is trivialized by a hypercomplex structure, a hyper-Hermitian quaternionic Kaehler manifold. We prove that every locally symmetric hyper-Hermitian quaternionic Kaehler manifold is locally isometric to the quaternionic projective space or to the quaternionic hyperbolic space. We describe locally the hyper-Hermitian quaternionic Kaehler manifolds with closed Lee form and show that the only complete simply connected such manifold is the quaternionic hyperbolic space.


title: Remarks on two approaches to the horizontal cohomology: compatibility complex and the Koszul-Tate resolution

abstract: The Koszul-Tate resolution is described in the context of the geometry of jet spaces and differential equations. The application due to Barnich, Brandt, and Henneaux of this resolution to computing the horizontal cohomology is analyzed. Relations with the Vinogradov spectral sequence are discussed.

categories: math.DG hep-th math-ph math.AP math.MP nlin.SI


title: \nabla_\kappa, remarkable cardinals, and 0^#

abstract: For an uncountable regular cardinal \kappa we let \nabla_\kappa(A) be the statement that A \subset \kappa and for all regular \theta > \kappa, the set of all X \in [\theta]^<\kappa such that X \cap \kappa \in \kappa and otp(X \cap OR) is a cardinal in L[A \cap X \cap \kappa] is stationary. We had shown earlier that \nabla_{\omega_1}(A) can hold in a generic extension of L. We now prove that \nabla_{\omega_2}(A) can hold in a semi-proper generic extension of L, whereas \nabla_{\omega_3}(0) is equivalent with the existence of 0^#.


title: The Seiberg-Witten invariants and 4-manifolds with essential tori

abstract: A formula is given for the Seiberg-Witten invariants of a 4-manifold that is cut along certain kinds of 3-dimensional tori. The formula involves a Seiberg-Witten invariant for each of the resulting pieces.


title: Finite dimensional comodules over the Hopf algebra of rooted trees

abstract: The aim of this paper is an algebraic study of the Hopf algebra H_R of rooted trees, which was introduced in \cite{Kreimer1,Connes,Broadhurst,Kreimer2}. We first construct comodules over H_R from finite families of primitive elements. Furthermore, we classify these comodules by restricting the possible families of primitive elements, and taking the quotient by the action of certain groups. In the next section, we give a formula about primitive elements of the subalgebra of ladders, and construct a projection operator on the space of primitive elements. It allows us to obtain a basis of the primitive elements by an inductive process, which answers one of the questions of \cite{Kreimer}. In the last sections, we classify the Hopf algebra endomorphisms and the coalgebras endomorphisms, using the graded Hopf algebra gr(H_R) associated to the filtration by deg_p of \cite{Kreimer}. We then prove that H_R is isomorphic to gr(H_R), and deduce a decomposition of the group of the Hopf algebra automorphisms of H_R as a semi-direct product.


title: Some Remarks on the Distribution of twin Primes

abstract: The computer data up to $2^{44}\approx 1.76\times 10^{13}$ on the gaps between consecutive twins is presented. The simple derivation of the heuristic formula describing computer results contained in the recent papers by P.F.Kelly and T.Pilling \cite{Kelly1}, \cite{Kelly2} is provided and compared with the ``experimental'' values.


title: Les algebres de Hopf des arbres enracines decores

abstract: In \cite{Kreimer1,Connes,Broadhurst,Kreimer2}, a commutative, non cocommutative Hopf algebra H_R of (decorated) rooted trees was introduced. It is related to the Hopf algebra H_CM introduced in \cite{Moscovici}. Its dual Hopf algebra is the enveloping algebra of the Lie algebra of rooted trees L^1. In this paper, we introduce a non commutative, non cocommutative Hopf algebra H_PR of decorated planar rooted trees. We first show that H_PR is self dual. We then use this result to construct a non degenerate bilinear form (,) on H_PR, which respects the Hopf algebra structure of H_PR. Moreover, we give a combinatorial expression for the bilinear form (,). This allows us to give a direct formula for a basis of the primitive elements of H_PR. In the next sections, we show that H_PR is isomorphic to the Hopf algebra of planar binary trees introduced in \cite{Frabetti, Brouder}, and construct a subalgebra of formal non commutative diffeomorphisms. We then classify the Hopf algebra endomorphisms and coalgebra endomorphisms of H_PR. In the last sections, we give results about tensorial coalgebras and apply them to H_PR and H_R. We show how to construct the primitive elements of H_R from the primitive elements of H_PR and finally prove that L^1 is a free Lie algebra.


title: On the geometry of the Hilbert schemes of points in the projective plane

abstract: We classify minimal-degree curves in the Hilbert schemes of points on algebraic surfaces. When the algebraic surface is the projective plane, the nef cone and a flip structure of these Hilbert schemes are determined.


title: An Infinite-Time Relaxation Theorem for Differential Inclusions

abstract: The fundamental relaxation result for Lipschitz differential inclusions is the Filippov-Wazewski Relaxation Theorem, which provides approximations of trajectories of a relaxed inclusion on finite intervals. A complementary result is presented, which provides approximations on infinite intervals, but does not guarantee that the approximation and the reference trajectory satisfy the same initial condition.


title: Aging properties of Sinai's model of random walk in random environment

abstract: We study in this short note aging properties of Sinai's (nearest neighbour) random walk in random environment. With $\PP^o$ denoting the annealed law of the RWRE $X_n$, our main result is a full proof of the following statement due to P. Le Doussal, C. Monthus and D. S. Fisher: $$\lim_{\eta\to0} \lim_{n\to\infty} \PP^o (\frac{|X_{n^h} - X_n|}{(\log n)^2} < \eta) = \frac{1}{h^2} [ {5/3} - {2/3} e^{-(h-1)} ]. $$


title: Delzant models of moduli spaces

abstract: For every genus g, we construct a smooth, complete, rational polarized algebraic variety DM_g together with a normal crossing divisor D = sum D_i, such that for every moduli space M_C(2,0) of semistable topologically trivial vector bundles of rank 2 on an algebraic curve C of genus g there exists a holomorphic isomorphism f: M_C(2,0) minus K_2 -> DM_g minus D, where K_2 is the Kummer variety of the Jacobian of C, sending the polarization of DM_g to the theta divisor of the moduli space. This isomorphism induces isomorphisms of the spaces of conformal blocks.


title: Eigenfunctions on a Stadium Associated with Avoided Crossings of Energy Levels

abstract: The authors examine graphical properties of eigenfunctions with stadium boundaries associated with avoided crossings of energy levels.


title: On Explicit Formula for Restricted Partition Function

abstract: A new recursive procedure for calculation of restricted partition function is suggested. An explicit formula for the restricted partition function is found based on this procedure.


title: Factorization of integers and arithmetic functions

abstract: Elementary proofs of unique factorization in rings of arithmetic functions using a simple variant of Euclid's proof for the fundamental theorem of arithmetic.


title: Jordanian Quantum Algebra ${\cal U}_{\sf h}(sl(N))$ via Contraction Method and Mapping

abstract: Using the contraction procedure introduced by us in Ref. \cite{ACC2}, we construct, in the first part of the present letter, the Jordanian quantum Hopf algebra ${\cal U}_{\sf h}(sl(3))$ which has a remarkably simple coalgebraic structure and contains the Jordanian Hopf algebra ${\cal U}_{\sf h}(sl(2))$, obtained by Ohn, as a subalgebra. A nonlinear map between ${\cal U}_{\sf h}(sl(3))$ and the classical $sl(3)$ algebra is then established. In the second part, we give the higher dimensional Jordanian algebras ${\cal U}_{\sf h}(sl(N))$ for all $N$. The Universal ${\cal R}_{\sf h}$-matrix of ${\cal U}_{\sf h} (sl(N))$ is also given.


title: Statistical properties of unimodal maps: smooth families with negative Schwarzian derivative

abstract: We prove that there is a residual set of families of smooth or analytic unimodal maps with quadratic critical point and negative Schwarzian derivative such that almost every non-regular parameter is Collet-Eckmann with subexponential recurrence of the critical orbit. Those conditions lead to a detailed and robust statistical description of the dynamics. This proves the Palis conjecture in this setting.


title: Quasisymmetric robustness of the Collet-Eckmann condition in the quadratic family

abstract: We consider quasisymmetric reparametrizations of the parameter space of the quadratic family. We prove that the set of quadratic maps which are either regular or Collet-Eckmann with polynomial recurrence of the critical orbit has full Lebesgue measure. (The intent of this work is just to be a rigorous reference for the companion preprint Statistical properties of unimodal maps: smooth families with negative Schwarzian derivative. It is based on the LaTeX file of the paper Statistical properties of unimodal maps: the quadratic family. The proofs are very similar and in many places differ just by change of constants.)


title: On complexes related with calculus of variations

abstract: We consider the variational complex on infinite jet space and the complex of variational derivatives for Lagrangians of multidimensional paths and study relations between them. The discussion of the variational (bi)complex is set up in terms of a flat connection in the jet bundle. We extend it to supercase using a particular new class of forms. We establish relation of the complex of variational derivatives and the variational complex. Certain calculus of Lagrangians of multidimensional paths is developed. It is shown how covariant Lagrangians of higher order can be used to represent characteristic classes.


title: On the kinkiness of closed braids

abstract: In this note, we prove a lower bound for the positive kinkiness of a closed braid which we then use to derive an estimate for the positive kinkiness of a link in terms of its Seifert system. As an application, we show that certain pretzel knots cannot be unknotted using only positive crossing changes. We also describe a subgroup of infinite rank in the smooth knot concordance group of which no element has a strongly quasipositive representative.


title: Quantization of Slodowy slices

abstract: We give a direct proof of (a slight generalization of) the recent result of A. Premet related to generalized Gelfand-Graev representations and of an equivalence due to Skryabin.


title: Box-ball systems and Robinson-Schensted-Knuth correspondence

abstract: The box-ball system is studied from the viewpoint of combinatorics of words and tableaux. Each state of the box-ball system can be transformed into a pair of tableaux $(P,Q)$ by the Robinson-Schensted-Knuth correspondence. In the language of tableaux, the $P$-symbol gives rise to a conserved quantity of the box-ball system, and the $Q$-symbol evolves independently of the $P$-symbol. The time evolution of the $Q$-symbol is described explicitly in terms of the box-labels.


title: Discretization, Moyal, and integrability

abstract: Connections of KP, qKP, and Moyal type dKP constructions are developed. Some expansion of the Moyal KP procedures of Kemmoku-Saito is given with clarification of the role of spectral variables as a phase space.


title: Filtration Law for Polymer Flow through porous media

abstract: In this paper we study the filtration laws for the polymeric flow in a porous medium. We use the quasi-Newtonian models with share dependent viscosity obeying the power-law and the Carreau's law. Using the method of homogenization the coupled micro-macro homogenized law, governing the quasi-newtonian flow in a periodic model of a porous medium, was found. We decouple that law separating the micro from the macro scale. We write the macroscopic filtration law in the form of non-linear Darcy's law and we prove that the obtained law is well posed. We give the analytical as well as the numerical study of our model.


title: On derivation deviations in an abstract pre-operad

abstract: We consider basic algebraic constructions associated with an abstract pre-operad, such as a $\smile$-algebra, total composition $\bul$, pre-coboundary operator $\de$ and tribraces $\{\cdot,\cdot,\cdot\}$. A derivation deviation of the pre-coboundary operator over the tribraces is calculated in terms of the $\smile$-multiplication and total composition.


title: Invariant metrics on G-spaces

abstract: Let X be a G-space such that the orbit space X/G is metrizable. Suppose a family of slices is given at each point of X. We study a construction which associates, under some conditions on the family of slices, with any metric on X/G an invariant metric on X. We show also that a family of slices with the required properties exists for any action of a countable group on a locally compact and locally connected metric space.


title: Tetracomposition

abstract: We consider basic algebraic constructions associated with an abstract pre-operad, such as a $\smile$-algebra, total composition $\bul$, pre-coboundary operator $\de$, tribraces $\{\cdot,\cdot,\cdot\}$ and tetrabraces $\{\cdot,\cdot,\cdot,\cdot\}$. A derivation deviation of the pre-coboundary operator over the tetrabraces is calculated in terms of the $\smile$-multiplication and tribraces.


title: Modular Curves Of Genus 2

abstract: We prove that there is only a finite number of genus 2 curves C defined over Q such that there exists a nonconstant morphism pi:X_1(N) --->C defined over Q and the jacobian of C, J(C), is a Q-factor of the new part of the jacobian of X_1(N), J_1(N)^{new}. Moreover, we prove that there are only 149 genus two curves of this kind with the additional requeriment that their jacobians are Q-simple. We determine the corresponding newforms and present equations for all these curves.


title: Amalgams of nilpotent groups of class two

abstract: We give necessary and sufficient conditions for weak and strong embeddability of amalgams in each subvariety of the category of all nilpotent groups of class at most two; this generalizes B. Maier's result for the latter class. We also discuss dominions (in the sense of Isbell), and characterize the weak, strong, and special amalgamation bases for each subvariety, contrasting the resulting classes with one another.


title: Mahler measure of Alexander polynomials

abstract: Let l be an oriented link of d components in a homology 3-sphere. For any nonnegative integer q, let l(q) be the link of d-1 components obtained from l by performing 1/q surgery on the dth component. Then the Mahler measure of the Alexander polynomial of l(q) converges to the Mahler measure of the Alexander polynomial of l as q goes to infinity, provided that some other component of l has nonzero linking number with the dth. Otherwise, the Mahler measure of the Alexander polynomial of l(q) has a well-defined bu different limiting behavior. Examples are given of links for which the Mahler measure of the Alexander polynomial is small. Possible connection with hyperbolic volume are discussed.


title: Mathematics of learning

abstract: We study the convergence properties of a pair of learning algorithms (learning with and without memory). This leads us to study the dominant eigenvalue of a class of random matrices. This turns out to be related to the roots of the derivative of random polynomials (generated by picking their roots uniformly at random in the interval [0, 1], although our results extend to other distributions). This, in turn, requires the study of the statistical behavior of the harmonic mean of random variables as above, which leads us to delicate question of the rate of convergence to stable laws and tail estimates for stable laws. The reader can find the proofs of most of the results announced here in the paper entitled "Harmonic mean, random polynomials, and random matrices", by the same authors.


title: Harmonic mean, random polynomials and stochastic matrices

abstract: Motivated by a problem in learning theory, we are led to study the dominant eigenvalue of a class of random matrices. This turns out to be related to the roots of the derivative of random polynomials (generated by picking their roots uniformly at random in the interval [0, 1], although our results extend to other distributions). This, in turn, requires the study of the statistical behavior of the harmonic mean of random variables as above, and that, in turn, leads us to delicate question of the rate of convergence to stable laws and tail estimates for stable laws.


title: Graded manifolds and Drinfeld doubles for Lie bialgebroids

abstract: We define \textit{graded manifolds} as a version of supermanifolds endowed with an additional $\mathbb Z$-grading in the structure sheaf, called \textit{weight} (not linked with parity). Examples are ordinary supermanifolds, vector bundles over supermanifolds, double vector bundles, iterated constructions like $TTM$, etc. I give a construction of \textit{doubles} for \textit{graded} $QS$- and \textit{graded $QP$-manifolds} (graded manifolds endowed with a homological vector field and a Schouten/Poisson bracket). Relation is explained with Drinfeld's Lie bialgebras and their doubles. Graded $QS$-manifolds can be considered, roughly, as ``generalized Lie bialgebroids''. The double for them is closely related with the analog of Drinfeld's double for Lie bialgebroids recently suggested by Roytenberg. Lie bialgebroids as a generalization of Lie bialgebras, over some base manifold, were defined by Mackenzie and P. Xu. Graded $QP$-manifolds give an {odd version} for all this, in particular, they contain ``odd analogs'' for Lie bialgebras, Manin triples, and Drinfeld's double.


title: Uniformity in the Mordell-Lang conjecture

abstract: We note that Pillay's result on the stability of an algebraically closed field with a predicate for a group of Lang type implies that number uniformity follows formally from the finiteness results analogous to Faltings' Theorem.


title: Generic singularities of Schubert varieties

abstract: We describe the generic singularity of a Schubert variety of type A on each irreducible component of its singular locus. This singularity is given either by a cone of rank one matrices, or a quadratic cone.


title: Scale Invariance of the PNG Droplet and the Airy Process

abstract: We establish that the static height fluctuations of a particular growth model, the PNG droplet, converges upon proper rescaling to a limit process, which we call the Airy process A(y). The Airy process is stationary, it has continuous sample paths, its single "time" (fixed y) distribution is the Tracy-Widom distribution of the largest eigenvalue of a GUE random matrix, and the Airy process has a slow decay of correlations as y^(-2). Roughly the Airy process describes the last line of Dyson's Brownian motion model for random matrices. Our construction uses a multi-layer version of the PNG model, which can be analyzed through fermionic techniques. Specializing our result to a fixed value of y, one reobtains the celebrated result of Baik, Deift, and Johansson on the length of the longest increasing subsequence of a random permutation.


title: Subvarieties of Shimura varieties

abstract: A conjecture by Yves Andre and Frans Oort says that closed subvarieties of Shimura varieties that contain a Zariski dense subset of special points are subvarieties of Hodge type. We prove this in the case where the subvariety is a curve that contains infinitely many special points that lie in one Hecke orbit. Via work of Juergen Wolfart, Paula Cohen and Gisbert Wuestholz, this result has an application to algebraicity of values of hypergeometric functions.


title: Indices of 1-forms on an isolated complete intersection singularity

abstract: There are some generalizations of the classical Eisenbud-Levine-Khimshashvili formula for the index of a singular point of an analytic vector field on $R^n$ for vector fields on singular varieties. We offer an alternative approach based on the study of indices of 1-forms instead of vector fields. When the variety under consideration is a real isolated complete intersection singularity (icis), we define an index of a (real) 1-form on it. In the complex setting we define an index of a holomorphic 1-form on a complex icis and express it as the dimension of a certain algebra. In the real setting, for an icis $V=f^{-1}(0)$, $f:(C^n, 0) \to (C^k, 0)$, $f$ is real, we define a complex analytic family of quadratic forms parameterized by the points $\epsilon$ of the image $(C^k, 0)$ of the map $f$, which become real for real $\epsilon$ and in this case their signatures defer from the "real" index by $\chi(V_\epsilon)-1$, where $\chi(V_\epsilon)$ is the Euler characteristic of the corresponding smoothing $V_\epsilon=f^{-1}(\epsilon)\cap B_\delta$ of the icis $V$.


title: Einstein metrics with prescribed conformal infinity on 4-manifolds

abstract: This paper considers the existence of conformally compact Einstein metrics on 4-manifolds. A reasonably complete understanding is obtained for the existence of such metrics with prescribed conformal infinity, when the conformal infinity is of positive scalar curvature. We find in particular that general solvability in this class depends on the topology of the filling manifold. The obstruction to solvability for arbitrary boundary values is also identified. While most of the paper concerns dimension 4, some general results on the structure of the space of such metrics hold in all dimensions.


title: Descent of morphisms of overconvergent F-crystals

abstract: Tsuzuki has conjectured that for crystals with Frobenius and connection over a local field k((t)), the embedding of the category of overconvergent crystals into the category of convergent crystals is fully faithful. We prove Tsuzuki's conjecture restricted to the subcategory of potentially semistable (or quasi-unipotent) crystals, following de Jong's proof of a slightly weaker result. We also prove Tsuzuki's conjecture restricted to crystals with at most two distinct slopes.


title: Improved bounds on the number of ternary square-free words

abstract: Improved upper and lower bounds on the number of square-free ternary words are obtained. The upper bound is based on the enumeration of square-free ternary words up to length 110. The lower bound is derived by constructing generalised Brinkhuis triples. The problem of finding such triples can essentially be reduced to a combinatorial problem, which can efficiently be treated by computer. In particular, it is shown that the number of square-free ternary words of length n grows at least as 65^(n/40), replacing the previous best lower bound of 2^(n/17).


title: Approximating the limiting Quicksort distribution

abstract: The limiting distribution of the normalized number of comparisons used by Quicksort to sort an array of n numbers is known to be the unique fixed point with zero mean of a certain distributional transformation S. We study the convergence to the limiting distribution of the sequence of distributions obtained by iterating the transformation S, beginning with a (nearly) arbitrary starting distribution. We demonstrate geometrically fast convergence for various metrics and discuss some implications for numerical calculations of the limiting Quicksort distribution. Finally, we give companion lower bounds which show that the convergence is not faster than geometric.


title: Normality of Marsden-Weinstein reductions for representations of quivers

abstract: We prove that the Marsden-Weinstein reductions for the moment map associated to representations of a quiver are normal varieties. We give an application to conjugacy classes of matrices.


title: Quicksort asymptotics

abstract: The number of comparisons X_n used by Quicksort to sort an array of n distinct numbers has mean mu_n of order n log n and standard deviation of order n. Using different methods, Regnier and Roesler each showed that the normalized variate Y_n := (X_n - mu_n) / n converges in distribution, say to Y; the distribution of Y can be characterized as the unique fixed point with zero mean of a certain distributional transformation. We provide the first rates of convergence for the distribution of Y_n to that of Y, using various metrics. In particular, we establish the bound 2 n^{- 1 / 2} in the d_2-metric, and the rate O(n^{epsilon - (1 / 2)}) for Kolmogorov-Smirnov distance, for any positive epsilon.


title: Jacobson's Theorem near saddle-node bifurcations

abstract: We discuss one parameter families of unimodal maps, with negative Schwarzian derivative, unfolding a saddle-node bifurcation. It was previously shown that for a parameter set of positive Lebesgue density at the bifurcation, the maps possess attracting periodic orbits of high period. We show that there is also a parameter set of positive density at the bifurcation, for which the maps exhibit absolutely continuous invariant measures which are supported on the largest possible interval. We prove that these measures converge weakly to an atomic measure supported on the orbit of the saddle-node point. Using these measures we analyze the intermittent time series that result from the destruction of the periodic attractor in the saddle-node bifurcation and prove asymptotic formulae for the frequency with which orbits visit the region previously occupied by the periodic attractor.


title: Quantum solvable algebras. Ideals and representations at roots of 1

abstract: There studed correspondence between symplectic leaves, irreducible representations and prime ideals, which is invariant with respect to quantum adjoint action. The Conjecture of De Concini-Kac-Procesi on dimensions of irreducible representations is proved for sufficiently great $l$.


title: Commutator Representations of Covariant Differential Calculi on Quantum Groups

abstract: Let (G,d) be a first order differential *-calculus on a *-algebra A. We say that a pair (\pi,F) of a *-representation \pi of A on a dense domain D of a Hilbert space and a symmetric operator F on D gives a commutator representation of G if there exists a linear mapping t:G -> L(D) such that t(adb)=\pi(a)i[F,\pi(b)], a,b in A. Among others, it is shown that each left-covariant *-calculus G of a compact quantum group Hopf *-algebra A has a faithful commutator representation. For a class of bicovariant *-calculi on A there is a commutator representation such that F is the image of a central element of the quantum tangent space. If A is the Hopf *-algebra of the compact form of one of the quantum groups SL_q(n+1), O_q(n), Sp_q(2n) with real transcendental q, then this commutator representation is faithful. Keywords: Quantum Groups; Noncommuative Geometry; Differential Calculus


title: Extension of Fill's perfect rejection sampling algorithm to general chains

abstract: By developing and applying a broad framework for rejection sampling using auxiliary randomness, we provide an extension of the perfect sampling algorithm of Fill (1998) to general chains on quite general state spaces, and describe how use of bounding processes can ease computational burden. Along the way, we unearth a simple connection between the Coupling From The Past (CFTP) algorithm originated by Propp and Wilson (1996) and our extension of Fill's algorithm.


title: Noncommutative Differentials and Yang-Mills on Permutation Groups S_N

abstract: We study noncommutative differential structures on the group of permutations $S_N$, defined by conjugacy classes. The 2-cycles class defines an exterior algebra $\Lambda_N$ which is a super analogue of the Fomin-Kirillov algebra $\CE_N$ for Schubert calculus on the cohomology of the $GL_N$ flag variety. Noncommutative de Rahm cohomology and moduli of flat connections are computed for $N<6$. We find that flat connections of submaximal cardinality form a natural representation associated to each conjugacy class, often irreducible, and are analogues of the Dunkl elements in $\CE_N$. We also construct $\Lambda_N$ and $\CE_N$ as braided groups in the category of $S_N$-crossed modules, giving a new approach to the latter that makes sense for all flag varieties.


title: Positivity in the Grothendieck group of complex flag varieties

abstract: We prove a conjecture of A. S. Buch concerning the structure constants of the Grothendieck ring of a flag variety with respect to its basis of Schubert structure sheaves. For this, we show that the coefficients in this basis of the structure sheaf of any subvariety with rational singularities, have alternating signs. Equivalently, the class of the dualizing sheaf of such a subvariety is a nonnegative combination of classes of dualizing sheaves of Schubert varieties.


title: Quantum Computing and the Jones Polynomial

abstract: This paper is an exploration of relationships between the Jones polynomial and quantum computing. We discuss the structure of the Jones polynomial in relation to representations of the Temperley Lieb algebra, and give an example of a unitary representation of the braid group. We discuss the evaluation of the polynomial as a generalized quantum amplitude and show how the braiding part of the evaluation can be construed as a quantum computation when the braiding representation is unitary. The question of an efficient quantum algorithm for computing the whole polynomial remains open.


title: Recursion categories of coalgebras

abstract: We construct recursion categories from categories of coalgebras. Let $F$ be a nontrivial endofunctor on the category of sets that weakly preserves pullbacks and such that the category $\textbf{Set}_F$ of $F$-coalgebras is complete. The category $\textbf{Set}_F$ may be embedded in the category $\mathbf{Pfn}_F$ of $F$-coalgebras and partial morphisms, which is a $P$-category that is prodominical but not dominical in general. An existence theorem of A. Heller is applied to certain subcategories of $\textbf{Pfn}_F$ to obtain examples of recursion categories of coalgebras.


title: A non-ribbon plumbing of fibered ribbon knots

abstract: A closer look at an example introduced by Livingston & Melvin and later studied by Miyazaki shows that a plumbing of two fibered ribbon knots (along their fiber surfaces) may be algebraically slice yet not ribbon.


title: Multi-scale homogenization with bounded ratios and Anomalous Slow Diffusion

abstract: We show that the effective diffusivity matrix $D(V^n)$ for the heat operator $\partial_t-(\Delta/2-\nabla V^n \nabla)$ in a periodic potential $V^n=\sum_{k=0}^n U_k(x/R_k)$ obtained as a superposition of Holder-continuous periodic potentials $U_k$ (of period $\T^d:=\R^d/\Z^d$, $d\in \N^*$, $U_k(0)=0$) decays exponentially fast with the number of scales when the scale-ratios $R_{k+1}/R_k$ are bounded above and below. From this we deduce the anomalous slow behavior for a Brownian Motion in a potential obtained as a superposition of an infinite number of scales: $dy_t=d\omega_t -\nabla V^\infty(y_t) dt$


title: A q-analogue of the Wigner-Eckart theorem for the nonstandard q-deformed algebra U'_q(so(n))

abstract: The tensor product of vector and arbitrary representations of the nonstandard q-deformation U'_q(so(n)) of the universal enveloping algebra U(so(n)) of Lie algebra so(n) is defined. The Clebsch-Gordan coefficients of tensor product of vector and arbitrary classical or nonclassical type representations of q-algebra U'_q(so(n)) are found in an explicit form. The Wigner-Eckart theorem for vector operators is proved.


title: Brolin's Theorem for curves in two complex dimensions

abstract: Given a holomorphic selfmap f of the complex projective plane of algebraic degree at least 2, we give sufficient conditions on a positive closed (1,1) current S of unit mass under which the normalized pullbacks of S under iterates of f converge to the Green current T. In particular, we completely characterize the plane algebraic curves whose normalized pullbacks converge weakly to T.


title: The impact of the infinite primes on the Riemann hypothesis for characteristic p L-series

abstract: In math.NT/9907019 we proposed an analog of the classical Riemann hypothesis for characteristic p valued L-series based on the work of Wan, Diaz-Vargas, Thakur, Poonen, and Sheats for the zeta function $\zeta_{\Fr[\theta]}(s)$. During the writing of math.NT/9907019, we made two assumptions that have subsequently proved to be incorrect. The first assumption is that we can ignore the trivial zeroes of characteristic p L-series in formulating our conjectures. Instead, we show here how the trivial zeroes influence nearby zeroes and so lead to counter-examples of the original Riemann hypothesis analog. We then sketch an approach to handling such ``near-trivial'' zeroes via Hensel's and Krasner's Lemmas (whereas classically one uses Gamma-factors). Moreover, we show that $\zeta_{\Fr[\theta]}(s)$ is not representative of general L-series as, surprisingly, all its zeroes are near-trivial, much as the Artin-Weil zeta-function of $\mathbb{P}^1/\Fr$ is not representative of general complex L-functions of curves over finite fields. Consequently, the ``critical zeroes'' (= all zeroes not effected by the trivial zeroes) of characteristic p L-series now appear to be quite mysterious. The second assumption made while writing math.NT/9907019 is that certain Taylor expansions of classical L-series of number fields would exhibit complicated behavior with respect to their zeroes. We present a simple argument that this is not so, and, at the same time, give a characterization of functional equations.


title: Yet More Projective Curves Over F2

abstract: All binary plane curves of degree less than 7 are examined for curves with a large number of Fq rational points on their smooth model, for q = 2^m ; m = 3, 4,...,11. Previous results are improved, and many new curves are found meeting or close to Serre's, Lauter's, and Ihara's upper bounds.


title: Selfdual Einstein metrics with torus symmetry

abstract: It is well known that any 4-dimensional hyperkahler metric with two commuting Killing fields may be obtained explicitly, via the Gibbons-Hawking Ansatz, from a harmonic function invariant under a Killing field on R^3. In this paper, we find all selfdual Einstein metrics of nonzero scalar curvature with two commuting Killing fields. They are given explicitly in terms of a local eigenfunction of the Laplacian on the hyperbolic plane. We discuss the relation of this construction to a class of selfdual spaces found by Joyce, and some Einstein-Weyl spaces found by Ward, and then show that certain `multipole' hyperbolic eigenfunctions yield explicit formulae for the quaternion-kahler quotients of HP(m-1) by an (m-2)-torus first studied by Galicki and Lawson. As a consequence we are able to place the well-known cohomogeneity one metrics, the quaternion-kahler quotients of HP(2) (and noncompact analogues), and the more recently studied selfdual Einstein hermitian metrics in a unified framework, and give new complete examples.


title: Ideal triangle groups, dented tori, and numerical analysis

abstract: We prove the Goldman-Parker Conjecture: A complex hyperbolic ideal triangle group is directly embedded in PU(2,1) if and only if the product of its three standard generators is not elliptic. We also prove that such a group is indiscrete if the product of its three standard generators is elliptic. A novel feature of this paper is that it uses a rigorous computer assisted proof to deal with difficult geometric estimates.


title: The geometry of finite topology Bryant surfaces

abstract: In this paper we shall establish that properly embedded constant mean curvature one surfaces in H^3 of finite topology are of finite total curvature and each end is regular. In particular, this implies the horosphere is the only simply connected such example, and the catenoid cousins the only annular examples of this nature. In general each annular end of such a surface is asymptotic to an end of a horosphere or an end of a catenoid cousin.


title: A sharp bilinear cone restriction estimate

abstract: The purpose of this paper is to prove an essentially sharp L^2 Fourier restriction estimate for light cones, of the type which is called bilinear in the recent literature.


title: Decomposable form inequalities

abstract: We consider Diophantine inequalities of the kind |f(x)| \le m, where F(X) \in Z[X] is a homogeneous polynomial which can be expressed as a product of d homogeneous linear forms in n variables with complex coefficients and m\ge 1. We say such a form is of finite type if the total volume of all real solutions to this inequality is finite and if, for every n'-dimensional subspace S\subseteq R^n defined over Q, the corresponding n'-dimensional volume for F restricted to S is also finite. We show that the number of integral solutions x \in Z^n to our inequality above is finite for all m if and only if the form F is of finite type. When F is of finite type, we show that the number of integral solutions is estimated asymptotically as m\to \infty by the total number of integral solutions is estimated asymptotically as m\to \infty by the total volume of all real solutions. This generalizes a previous result due to Mahler for the case n=2. Further, we prove a conjecture of W. M. Schmidt, showing that for F of finite type the number of integral solutions is bounded above by c(n,d)m^(n/d), where c(n,d) is an effectively computable constant depending only on n and d.


title: Feynman Diagrams via Graphical Calculus

abstract: This paper is an introduction to the language of Feynman Diagrams. We use Reshetikhin-Turaev graphical calculus to define Feynman diagrams and prove that asymptotic expansions of Gaussian integrals can be written as a sum over a suitable family of graphs. We discuss how different kind of interactions give rise to different families of graphs. In particular, we show how symmetric and cyclic interactions lead to ``ordinary'' and ``ribbon'' graphs respectively. As an example, the 't Hooft-Kontsevich model for 2D quantum gravity is treated in some detail.


title: Extension of Fill's perfect rejection sampling algorithm to general chains (Extended abstract)

abstract: We provide an extension of the perfect sampling algorithm of Fill (1998) to general chains, and describe how use of bounding processes can ease computational burden. Along the way, we unearth a simple connection between the Coupling From The Past (CFTP) algorithm originated by Propp and Wilson (1996) and our extension of Fill's algorithm.


title: Nonstandard Analysis of Graphs

abstract: This paper shows certain classes of metric spaces characterized by volume growth properties of balls can viewed as graphs with infinitesimal edges. Our approach is based on nonstandard analysis.