title: Quantization of Lie bialgebras and shuffle algebras of Lie algebras

abstract: To any field K of characteristic 0, we associate a set Sha(K). Elements of Sha(K) are equivalence classes of families of Lie polynomials subject to associativity relations. We construct an injection and a retraction between Sha(K) and the set of quantization functors of Lie bialgebras over K. This construction involves the following steps. 1) To each element \varpi of Sha(K), we associate a functor g\mapsto Sh(g) from the category of Lie algebras to that of Hopf algebras; Sh(g) contains Ug. 2) When g and h are Lie algebras, and r_{gh} \in g\otimes h, we construct an element R(r_{gh}) of Sh(g)\otimes Sh(h) satisfying quasitriangularity identities; R(r_{gh}) defines a Hopf algebra morphism from Sh(g)^* to Sh(h). 3) When g = h and r\in g\otimes g is a solution of CYBE, we construct a series \rho(r) such that R(\rho(r)) is a solution of QYBE. The expression of \rho(r) in terms of r involves Lie polynomials, and we show that this expression is unique at a universal level. This step relies on vanishing statements for cohomologies arising from universal algebras for the solutions of CYBE. 4) We define the quantization of a Lie bialgebra g as the image of the morphism defined by R(\rho(r)), where r\in g\otimes g^* is the canonical element attached to g.


title: Kahler-Einstein metrics on log del Pezzo surfaces in weighted projective 3-spaces

abstract: We determine the complete list of anticanonically embedded quasi smooth log del Pezzo surfaces in weighted projective 3-spaces. We prove that many of these admit a K\"ahler-Einstein metric and most of them do not have tigers.


title: Analysis of geometric operators on open manifolds: A groupoid approach

abstract: We use algebras of pseudodifferential operators on groupoids to study geometric operators on non-compact manifolds and singular spaces. The first step is to establish that the geometric operators are in our algebras. This then leads to criteria for Fredholmness for geometric operators on suitable non-compact manifolds, as well as to an inductive procedure to study their essential spectrum. As an application, we answer a question of Melrose on the essential spectrum of the Laplace operator on manifolds with multi-cylindrical ends.


title: Homology of complete symbols and non-commutative geometry

abstract: We identify the periodic cyclic homology of the algebra of complete symbols on a differential groupoid $\GR$ in terms of the cohomology of $S^*(\GR)$, the cosphere bundle of $A(\GR)$, where $A(\GR)$ is the Lie algebroid of $\GR$. We also relate the Hochschild homology of this algebra with the homogeneous Poisson homology of the space $A^*(\GR) \smallsetminus 0 \cong S^*(\GR) \times (0,\infty)$, the dual of $A(\GR)$ with the zero section removed. We use then these results to compute the Hochschild and cyclic homologies of the algebras of complete symbols associated with manifolds with corners, when the corresponding Lie algebroid is rationally isomorphic to the tangent bundle.


title: Universal Spectra and Tijdeman's Conjecture on Factorization of Cyclic Groups

abstract: A spectral set in R^n is a set X of finite Lebesgue measure such that L^2(X) has an orthogonal basis of exponentials. It is conjectured that every spectral set tiles R^n by translations. A set of translations T has a universal spectrum if every set that that tiles by translations by T has this spectrum. A recent result proved that many periodic tiling sets have universal spectra, using results from factorizations of abelian groups, for groups for which a strong form of a conjecture of Tijdeman is valid. This paper shows Tijdeman's conjecture does not hold for the cyclic group of order 900. It formulates a new sufficient conjecture for a periodic tiling set to have a universal spectrum, and uses it to show that the tiling sets for the counterexample above do have universal spectra.


title: Higher orbital integrals, Shalika germs, and the Hochschild homology of Hecke algebras

abstract: We give a detailed calculation of the Hochschild and cyclic homology of the algebra $\CIc(G)$ of locally constant, compactly supported functions on a reductive p-adic group G. We use these calculations to extend to arbitrary elements the definition the higher orbital integrals introduced in \cite{Blanc-Brylinski} for regular semisimple elements. Then we extend to higher orbital integrals some results of Shalika. We also investigate the effect of the ``induction morphism'' on Hochschild homology.


title: Cyclic covers of the projective line, their jacobians and endomorphisms

abstract: We study the endomorphism ring $End(J(C))$ of the complex jacobian $J(C)$ of a curve $y^p=f(x)$ where $p$ is an odd prime and $f(x)$ is a polynomial with complex coefficiens of degree $n>4$ and without multiple roots. Assume that all the coefficients of $f$ lie in a (sub)field $K$ and the Galois group of $f$ over $K$ is either the full symmetric group $S_n$ or the alternating group $A_n$. Then we prove that $End(J(C))$ is the ring of integers in the in the $p$th cyclotomic field, if $p$ is a Fermat prime (e.g., $p=3,5,17,257$). Similar results for $p=2$ (the case of hyperelliptic curves) were obtained by the author in Math. Res. Lett. 7(2000), 123--132.


title: A discrete form of the Beckman-Quarles theorem for two-dimensional strictly convex normed spaces

abstract: Let X be a real normed vector space and dim X \ge 2. Let d>0 be a fixed real number. We prove that if x,y \in X and ||x-y||/d is a rational number then there exists a finite set {x,y} \subseteq S(x,y) \subseteq X with the following property: for each strictly convex Y of dimension 2 each map from S(x,y) to Y preserving the distance d preserves the distance between x and y. It implies that each map from X to Y that preserves the distance d is an isometry.


title: Spectral Theory of Pseudo-Ergodic Operators

abstract: We define a class of pseudo-ergodic non-self-adjoint Schr\"odinger operators acting in spaces $l^2(X)$ and prove some general theorems about their spectral properties. We then apply these to study the spectrum of a non-self-adjoint Anderson model acting on $l^2(\Z)$, and find the precise condition for 0 to lie in the spectrum of the operator. We also introduce the notion of localized spectrum for such operators.


title: Sextactic points on a simple closed curve

abstract: We give optimal lower bounds for the number of sextactic points on a simple closed curve in the real projective plane. Sextactic points are after inflection points the simplest projectively invariant singularities on such curves. Our method is axiomatic and can be applied in other situations.


title: Relative Yamabe Invariant

abstract: We define a relative Yamabe invariant of a smooth manifold with given conformal class on its boundary. In the case of empty boundary the invariant coincides with the classic Yamabe invariant. We develop approximation technique which leads to gluing theorems of two manifolds along their boundaries for the relative Yamabe invariant. We show that there are many examples of manifolds with both positive and non-positive relative Yamabe invariants.


title: Manifolds of Positive Scalar Curvature and Conformal Cobordism Theory

abstract: We study here compact manifolds with positive scalar curvature metrics. We use the relative Yamabe invariant from math.DG/0008138 to define the conformal cobordism relation on the category of such manifolds. We prove that corresponding conformal cobordism groups $\Pos_n^{\conf}(\gamma)$ are isomorphic to the cobordism groups $\Pos_n(\gamma)$ defined topologically by S. Stolz. As a corollary we show that the conformal concordance of positive scalar curvature metrics coincides with the standard concordance relation. Our main technical tools came from the analysis and conformal geometry.


title: Distribution of the partition function modulo m

abstract: Ramanujan (and others) proved that the partition function satisfies a number of striking congruences modulo powers of 5, 7 and 11. A number of further congruences were shown by the works of Atkin, O'Brien, and Newman. In this paper we prove that there are infinitely many such congruences for every prime modulus exceeding 3. In addition, we provide a simple criterion guaranteeing the truth of Newman's conjecture for any prime modulus exceeding 3 (recall that Newman's conjecture asserts that the partition function hits every residue class modulo a given integer M infinitely often).


title: On the geometry of generalized Chaplygin systems

abstract: Some aspects of the geometry and the dynamics of generalized Chaplygin systems are investigated. First, two different but complementary approaches to the construction of the reduced dynamics are reviewed: a symplectic approach and an approach based on the theory of affine connections. Both are mutually compared and further completed. Next, a necessary and sufficient condition is derived for the existence of an invariant measure for the reduced dynamics of generalized Chaplygin systems of mechanical type. A simple example is then constructed of a generalized Chaplygin system which does not verify this condition, thereby answering in the negative a question raised by Koiller.


title: Wedderburn Polynomials over Division Rings

abstract: A Wedderburn polynomial over a division ring K is a minimal polynomial of an algebraic subset of K. Special cases of such polynomials include, for instance, the minimal polynomials (over the center F=Z(K)) of elements of K that are algebraic over F. In this note, we give a survey on some of our ongoing work on the structure theory of Wedderburn polynomials. Throughout the note, we work in the general setting of an Ore skew polynomial ring K[t,S,D].


title: Annihilation Theorem and Separation Theorem for basic classical Lie superalgebras

abstract: In this article we prove that for a basic classical Lie superalgebra the annihilator of a strongly typical Verma module is a centrally generated ideal. For a basic classical Lie superalgebra of type I we prove that the localization of the enveloping algebra by a certain central element is free over its centre.


title: Homotopy of vector states

abstract: Let $B$ be a C$^*$-algebra and $X$ a C$^*$ Hilbert $B$-module. If $p\in B$ is a projection, denote by $S_p =\{x\in X : < x,x> =p\}$, the $p$-sphere of $X$. For $\phi$ a state of $B$ with support $p$ in $B$ and $x\in S_p$, consider the state $\phi_x$ of $L_B(X)$ given by $\phi_x(t)= \phi(< x,t(x)>)$. In this paper we study certain sets associated to these states, and examine their topologic properties. As an application of these techniques, we prove that the space of states of the hyperfinite II$_1$ factor $R_0$, with support equivalent to a given projection $p\in R_0$, regarded with the norm topology (of the conjugate space of $R_0$), has trivial homotopy groups of all orders. The same holds for the space $$ S_p(R_0)=\{v\in R_0:v^*v=p\}\subset R_0 $$ of partial isometries with initial space $p$, regarded with the ultraweak topology.


title: Cellular Structures determined by Polygons and Trees

abstract: The polytope structure of the associahedron is decomposed into two categories, types and classes. The classification of types is related to integer partitions, whereas the classes present a new combinatorial problem. We solve this and incorporate the results into properties of the real moduli space of Riemann spheres. Connections are discussed with relation to classic combinatorial problems as well as to other sciences.


title: Prime Type III Factors

abstract: We show that for each (0<\lambda <1), the free Araki-Woods factor of type III(_{\lambda}) cannot be written as a tensor product of two diffuse von Neumann algebras (i.e., is prime), and does not contain a Cartan subalgebra.


title: Mechanical systems subjected to generalized nonholonomic constraints

abstract: We study mechanical systems subject to constraint functions that can be dependent at some points and independent at the rest. Such systems are modelled by means of generalized codistributions. We discuss how the constraint force can transmit an impulse to the motion at the points of dependence and derive an explicit formula to obtain the ``post-impact'' momentum in terms of the ``pre-impact'' momentum.


title: On the spectrum of Dehn twists in quantum Teichmuller theory

abstract: The operator realizing a Dehn twist in quantum Teichmuller theory is diagonalized and continuous spectrum is obtained. This result is in agreement with the expected spectrum of conformal weights in quantum Liouville theory at c>1. The completeness condition of the eigenvectors includes the integration measure which appeared in the representation theoretic approach to quantum Liouville theory by Ponsot and Teschner. The underlying quantum group structure is also revealed.


title: Trace functionals on non-commutative deformations of moduli spaces of flat connections

abstract: We describe an efficient construction of a canonical non-commutative deformation of the algebraic functions on the moduli spaces of flat connections on a Riemann surface. We show that this algebra, which is a variant of the quantum moduli algebra introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche, has a trace functional which is related to the canonical trace in the formal index theory of Fedosov and Nest-Tsygan via the Verlinde formula.


title: Stochastic Optimal Prediction with Application to Averaged Euler Equations

abstract: Optimal prediction (OP) methods compensate for a lack of resolution in the numerical solution of complex problems through the use of an invariant measure as a prior measure in the Bayesian sense. In first-order OP, unresolved information is approximated by its conditional expectation with respect to the invariant measure. In higher-order OP, unresolved information is approximated by a stochastic estimator, leading to a system of random or stochastic differential equations. We explain the ideas through a simple example, and then apply them to the solution of Averaged Euler equations in two space dimensions.


title: Bounds for Local Density of Sphere Packings and the Kepler Conjecture

abstract: This paper describes the local density inequality approach to getting upper bounds for sphere packing densities in R^n. This approach was first suggested by L. Fejes-Toth in 1956 to prove the Kepler conjecture that the densest sphere packing in R^3 is the "cannonball packing". The approaches of L. Fejes-Toth, W.-Y. Hsiang, and T. Hales to the Kepler conjecture are each based on (different) local density inequalities. Recently T. Hales and S. P. Ferguson have presented extensive details carrying out a modified version of the otrignal Hales approach to prove the Kepler conjecture. We describe the particular local density inequality undelying the Hales and Ferguson approach and sketch some features of their proof.


title: Some remarks on the characters of the general Lie superalgebra

abstract: We compute an explicit formula the Hilbert (Poincar\'e) series for the ring of hook Schur functions and (equivalently) the generating function for partitions which fit in a $(k,l)$-hook.


title: Closed Loop Solitons and Sigma Functions: Classical and Quantized Elasticas with Genera One and Two

abstract: Closed loop solitons in a plane, whose curvatures obey the modified Korteweg-de Vries equation, were investigated. It was shown that their tangential vectors are expressed by ratio of Weierstrass sigma functions for genus one case and ratio of Baker's sigma functions for the genus two case. This study is closely related to classical and quantized elastica problems.


title: On chiral differential operators over homogeneous spaces

abstract: In this note we study algebras of chiral differential operators over an algebraic group and over homogeneous spaces $G/G'$ where $G$ is simple and $G'$ is unipotent or parabolic.


title: Constructing special Lagrangian m-folds in C^m by evolving quadrics

abstract: This is the second in a series of papers constructing explicit examples of special Lagrangian submanifolds in C^m. The first paper was math.DG/0008021, which studied special Lagrangian m-folds with large symmetry groups. The third is math.DG/0010036, which uses ideas from this paper to construct families of special Lagrangian 3-folds in C^3. This paper describes a construction of special Lagrangian m-folds in C^m which are fibred by (m-1)-submanifolds which are quadrics in Lagrangian planes R^m in C^m. Generically they have only discrete symmetry groups. Some of our examples have been previously constructed by Lawlor and Harvey, using different methods. The principal motivation for these papers is to lay the foundations for the study of singularities of compact special Lagrangian m-folds in Calabi-Yau m-folds. Understanding such singularities will be important in resolving the SYZ conjecture on Mirror Symmetry of Calabi-Yau 3-folds. The special Lagrangian m-folds in C^m we construct here include many cones on S^a x S^b x S^1 for a+b=m-2, which are local models for singularities of special Lagrangian m-folds in Calabi-Yau m-folds.


title: Classical Yang-Baxter equation and the $A_{\infty}$-constraint

abstract: We show that elliptic solutions of the classical Yang-Baxter equation can be obtained from triple Massey products on elliptic curve. We introduce the associative version of this equation which has two spectral parameters and construct its elliptic solutions. We also study some degenerations of these solutions.


title: How to calculate the Fedosov star--product (Exercices de style)

abstract: This is an expository note on Fedosov's construction of deformation quantization. Given a symplectic manifold and a connection on it, we show how to calculate the star-product step by step. We draw simple diagrams to solve the recursive equations for the Fedosov connection and for flat sections of the Weyl algebra bundle corresponding to functions. We also reflect on the differences of symplectic and Riemannian geometries.


title: A universal bound for surfaces in 3-manifolds with a given Heegaard genus

abstract: It is shown that for given positive integers g and b, there is a number C(g,b), such that any orientable compact irreducible 3-manifold of Heegaard genus g has at most C(g,b) disjoint, nonparallel incompressible surfaces with first Betti number b_1 < b.


title: Some second-order partial differential equations associated with Lie groups

abstract: In this note we survey results in recent research papers on the use of Lie groups in the study of partial differential equations. The focus will be on parabolic equations, and we will show how the problems at hand have solutions that seem natural in the context of Lie groups. The research is joint with D.W. Robinson, as well as other researchers who are listed in the references.


title: The distributions of the entries of Young tableaux

abstract: Let T^* be a standard Young tableau of k cells. We show that the probability that a Young tableau of n cells contains T^* as a subtableau is, in the limit n -> \infty, equal to \nu(\pi(T^*))/k!, where \pi(T^*) is the shape (= Ferrers diagram) of T^* and \nu(\pi) is the number of all tableaux of shape \pi. In other words, the probability that a large tableau contains T^* is equal to the number of tableaux whose shape is that of T^*, divided by k!. We give several applications, to the probabilities that a set of prescribed entries will appear in a set of prescribed cells of a tableau, and to the probabilities that subtableaux of given shapes will occur. Our argument rests on a notion of quasirandomness of families of permutations, and we give sufficient conditions for this to hold. We then extend these results by finding an explicit formula for the limiting probability that a Young tableau has a given set of entries in a given set of positions. The result is that the limiting probability that a Young tableau has a prescribed set of entries k_1,k_2,..., k_m in a prescribed set of m cells is equal to the sum of the measures of all tableaux on K cells (K=\max{\{k_i\}}) that have the given entries in the given positions, where the measure of a tableau of K cells is the number of tableaux of its shape divided by K!. In the proof we also develop conditions that ensure the quasirandomness of certain families of permutations.


title: The Geography of Spin Symplectic 4-Manifolds

abstract: In this paper we construct a family of simply connected, spin, non-complex, symplectic 4-manifolds which cover all but finitely many allowed lattice points $(\chi, c)$ lying in $0 \leq c \leq 8.76\chi$. Furthermore, as a corollary, we prove that there exist infinitely many exotic smooth structures on $(2n+1)(S^2 \times S^2)$ for all n large enough.


title: Coupling Tensors and Poisson Geometry Near a Single Symplectic Leaf

abstract: In the framework of the connection theory, a contravariant analog of the Sternberg coupling procedure is developed for studying a natural class of Poisson structures on fiber bundles, called coupling tensors. We show that every Poisson structure near a closed symplectic leaf can be realized as a coupling tensor. Our main result is a geometric criterion for the neighborhood equivalence between Poisson structures over the same leaf. This criterion gives a Poisson analog of the relative Darboux theorem due to Weinstein. Within the category of the algebroids, coupling tensors are introduced on the dual of the isotropy of a transitive Lie algebroid over a symplectic base. As a basic application of these results, we show that there is a well defined notion of a ``linearized'' Poisson structure over a symplectic leaf which gives rise to a natural model for the linearization problem.


title: Ribbon Operators and Hall-Littlewood Symmetric Functions

abstract: Given a partition $\la = (\la_1, \la_2, ... \la_k)$, let $\la^{rc} = (\la_2-1, \la_3-1, ... \la_k-1)$. It is easily seen that the diagram $\la\slash \la^{rc}$ is connected and has no $2 \times 2$ subdiagrams which we shall refer to as a ribbon. To each ribbon $R$, we associate a symmetric function operator $S^R$. We may define the major index of a ribbon $maj(R)$ to be the major index of any permutation that fits the ribbon. This paper is concerned with the operator $H_{1^k}^q = \sum_R q^{maj(R)} S^R$ where the sum is over all $2^{k-1}$ ribbons of size $k$. We show here that $H_{1^k}^q$ has truly remarkable properties, in particular that it is a Rodriguez operator that adds a column to the Hall-Littlewood symmetric functions. We believe that some of the tools we introduce here to prove our results should also be of independent interest and may be useful to establish further symmetric function identities.


title: On Bures distance over standard form vN-algebras

abstract: In case of a standard form vN-algebra, the Bures distance is the natural distance between the fibres of implementing vectors at normal positive linear forms. Thereby, it is well-known that to each two normal positive linear forms implementing vectors exist such that the Bures distance is attained by the metric distance of the implementing vectors in question. We discuss to which extend this can remain true if a vector in one of the fibres is considered as fixed. For each nonfinite algebra, classes of counterexamples are given and situations are analyzed where the latter type of result must fail. In the course of the paper, an account of those facts and notions is given, which can be taken as a useful minimum of basic C^*-algebraic tools needed in order to efficiently develop the fundamentals of Bures geometry over standard form vN-algebras.

categories: math.OA math-ph math.DG math.FA math.MG math.MP quant-ph


title: Local subgroupoids II: Examples and properties

abstract: The notion of local subgroupoid as a generalisation of a local equivalence relation was defined in a previous paper by the first two authors. Here we use the notion of star path connectivity for a Lie groupoid to give an important new class of examples, generalising the local equivalence relation of a foliation, and develop in this new context basic properties of coherence, due earlier to Rosenthal in the special case. These results are required for further applications to holonomy and monodromy.


title: Infinite Order Amphicheiral Knots

abstract: In answer to a question of Long, Flapan constructed an example of a prime strongly positive amphicheiral knot that is not slice. Long had proved that all such knots are algebraically slice. Here we show that the concordance group of algebraically slice knots contains an infinitely generated free subgroup that is generated by prime strongly positive amphicheiral knots. A simple corollary of this result is the existence of positive amphicheiral knots that are not of order two in concordance.


title: Projectivity of modules for infinitesimal unipotent group schemes

abstract: In this paper, it is shown that the projectivity of a rational module for an infinitesimal unipotent group scheme over an algebraically closed field of positive characteristic can be detected on a family of closed subgroups.


title: Cohomology and projectivity of modules for finite group schemes

abstract: Let G be a finite group scheme over an algebraically closed field of positive characteristic. Assume further that the connected component of G is unipotent. It is shown that the projectivity of a rational G-module can be detected on a family of closed subgroups. It is further shown that nilpotent cohomology or extension classes can be detected on this family of subgroups.


title: On kth-order embeddings of K3 surfaces and Enriques surfaces

abstract: We give necessary and sufficient conditions for a big and nef line bundle L of any degree on a K3 surface or Enriques surface to be k-very ample and k-spanned. Furthermore, we give necessary and sufficient conditions for a spanned and big line bundle on a K3 surface to be birationally k-very ample and birationally k-spanned, and relate these concepts to the Clifford index and gonality of smooth curves in |L|.


title: Half twists and the cohomology of hypersurfaces

abstract: A Hodge structure V of weight k on which a CM field acts defines, under certain conditions, a Hodge structure of weight k-1, its half twist. In this paper we consider hypersurfaces in projective space with a cyclic automorphism which defines an action of a cyclotomic field on a Hodge substructure in the cohomology. We determine when the half twist exists and relate it to the geometry and moduli of the hypersurfaces. We use our results to prove the existence of a Kuga-Satake correspondance for certain cubic 4-folds.


title: A Homeomorphism Invariant for Substitution Tiling Spaces

abstract: We derive a homeomorphism invariant for those tiling spaces which are made by rather general substitution rules on polygonal tiles, including those tilings, like the pinwheel, which contain tiles in infinitely many orientations. The invariant is a quotient of Cech cohomology, is easily computed directly from the substitution rule, and distinguishes many examples, including most pinwheel-like tiling spaces. We also introduce a module structure on cohomology which is very convenient as well as of intuitive value.


title: One-Dimensional Peg Solitaire, and Duotaire

abstract: We solve the problem of one-dimensional Peg Solitaire. In particular, we show that the set of configurations that can be reduced to a single peg forms a regular language, and that a linear-time algorithm exists for reducing any configuration to the minimum number of pegs. We then look at the impartial two-player game, proposed by Ravikumar, where two players take turns making peg moves, and whichever player is left without a move loses. We calculate some simple nim-values and discuss when the game separates into a disjunctive sum of smaller games. In the version where a series of hops can be made in a single move, we show that neither the P-positions nor the N-positions (i.e. wins for the previous or next player) are described by a regular or context-free language.


title: Layered restrictions and Chebyshev polynomials

abstract: A permutation is called layered if it consists of the disjoint union of substrings (layers) so that the entries decrease within each layer, and increase between the layers. We find the generating function for the number of permutations on $n$ letters avoiding $(1,2,3)$ and a layered permutation on $k$ letters. In the most interesting case of two layers, the generating function depends only on $k$ and is expressed via Chebyshev polynomials of the second kind.


title: Perturbations of Weyl-Heisenberg frames

abstract: We develop a usable perturbation theory for Weyl-Heisenberg frames. In particular, we prove that if $(E_{mb}T_{na}g)_{m,n\inmathbb Z}$ is a WH-frame and $h$ is a function which is close to $g$ in the Wiener Amalgam space norm, then $(E_{mb}T_{na}h)_{m,n\in \mathbb Z}$ is also a WH-frame.


title: Classifying characteristic functions giving Weyl-Heisenberg frames

abstract: We examine the question of which characteristic functions yield Weyl-Heisenberg frames for various values of the parameters. We also give numerous applications of frames of characteristic functions to the general case (g,a,b).


title: A geometric interpretation and a new proof of a relation by Cornalba and Harris

abstract: In the 80's M. Cornalba and J. Harris discovered a relation among the Hodge class and the boundary classes in the Picard group with rational coefficients of the moduli space of stable, hyperelliptic curves. They proved the relation by computing degrees of the classes involved for suitable one-parameter families. In the present article we show that their relation can be obtained as the class of an appropriate, geometrically meaningful empty set, thus conforming with C. Faber's general philosophy to finding relations among tautological classes in the Chow ring of the moduli space of curves. The empty set we consider is the closure of the locus of smooth, hyperelliptic curves having a special ramification point.


title: An Elementary Problem Equivalent to the Riemann Hypothesis

abstract: This paper shows the equivalence of the Riemann hypothesis to an sequence of elementary inequalities involving the harmonic numbers H_n, the sum of the reciprocals of the integers from 1 to n. It is a modification of a criterion due to Guy Robin.


title: The Topological Structure of Contact and Symplectic Quotients

abstract: We show that if a Lie group acts properly on a co-oriented contact manifold preserving the contact structure, then the contact quotient is topologically a stratified space (in the sense that a neighborhood of a point in the quotient is a product of a disk with a cone on a compact stratified space). As a corollary, we obtain that symplectic quotients for proper Hamiltonian actions are topologically stratified spaces in this strong sense thereby extending and simplifying previous work.


title: AF flows and continuous symmetries

abstract: We consider AF-flows, i.e., one-parameter automorphism groups of a unital simple C*-algebra which leave invariant the dense union of an increasing sequence of finite-dimensional *-subalgebras, and derive two properties for these; an absence of continuous symmetry breaking and a kind of real rank zero property for the almost fixed points.


title: A continued fraction expansion for a q-tangent function

abstract: We prove a continued fraction expansion for a certain q--tangent function that was conjectured by Prodinger.


title: On Quasidiagonal C*-algebras

abstract: We give a detailed survey of the theory of quasidiagonal C*-algebras. The main structural results are presented and various functorial questions around quasidiagonality are discussed. In particular we look at what is currently known (and not known) about extensions, quotients, tensor products, ect. of quasidiagonal C*-algebras. We also point out how quasidiagonality is connected to some important open problems.


title: Extensions of Quasidiagonal C*-algebras and K-theory

abstract: We study the extension problem for quasidiagonal (QD) C*-algebras (i.e. when is an extension of QD C*-algebras again QD?). The main positive result states that in many instances an extension will remain QD provided that a certain boundary arising from the K-theory of the extension vanishes. A K-theoretic Hahn-Banach type property is also introduced for QD C*-algebras. We show that every nuclear QD C*-algebra has this Hahn-Banach property if and only if the extension problem for many QD C*-algebras is completely determined by a boundary map on K-theory.


title: Covariant first order differential calculus on quantum Euclidean spheres

abstract: We study covariant differential calculus on the quantum spheres S_q^{N-1} which are quantum homogeneous spaces with coactions of the quantum groups O_q(N). The first part of the paper is devoted to first order differential calculus. A classification result is proved which says that for N>=6 there exist exactly two covariant first order differential calculi on S_q^{N-1} which satisfy the classification constraint that the bimodule of one-forms is generated as a free left module by the differentials of the generators of S_q^{N-1}. Both calculi exist also for 3<=N<=5. The same calculi can be constructed using a method introduced by Hermisson. In case N=3, the result is in accordance with the known result by Apel and Schm\"udgen for the Podles sphere. In the second part, higher order differential calculus and symmetry are treated. The relations which hold for the two-forms in the universal higher order calculus extending one of the two first order calculi are given. A "braiding" homomorphism is found. The existence of an upper bound for the order of differential forms is discussed.


title: Symmetry classes of alternating-sign matrices under one roof

abstract: In a previous article [math.CO/9712207], we derived the alternating-sign matrix (ASM) theorem from the Izergin-Korepin determinant for a partition function for square ice with domain wall boundary. Here we show that the same argument enumerates three other symmetry classes of alternating-sign matrices: VSASMs (vertically symmetric ASMs), even HTSASMs (half-turn-symmetric ASMs), and even QTSASMs (quarter-turn-symmetric ASMs). The VSASM enumeration was conjectured by Mills; the others by Robbins [math.CO/0008045]. We introduce several new types of ASMs: UASMs (ASMs with a U-turn side), UUASMs (two U-turn sides), OSASMs (off-diagonally symmetric ASMs), OOSASMs (off-diagonally, off-antidiagonally symmetric), and UOSASMs (off-diagonally symmetric with U-turn sides). UASMs generalize VSASMs, while UUASMs generalize VHSASMs (vertically and horizontally symmetric ASMs) and another new class, VHPASMs (vertically and horizontally perverse). OSASMs, OOSASMs, and UOSASMs are related to the remaining symmetry classes of ASMs, namely DSASMs (diagonally symmetric), DASASMs (diagonally, anti-diagonally symmetric), and TSASMs (totally symmetric ASMs). We enumerate several of these new classes, and we provide several 2-enumerations and 3-enumerations. Our main technical tool is a set of multi-parameter determinant and Pfaffian formulas generalizing the Izergin-Korepin determinant for ASMs and the Tsuchiya determinant for UASMs [solv-int/9804010]. We evaluate specializations of the determinants and Pfaffians using the factor exhaustion method.


title: Action of the mapping class group on a complex of curves and a presentation for the mapping class group of a surface

abstract: S. Gervais gave a finite presentation for the mapping class group of a surface (math.GT/9811162). We show this presentation without using Wajnryb's simple presentation. We use a complex of curves defined by Harvey, in place of Hatcher and Thurston's complex.


title: The modelling and analysis of fractional-order control systems in frequency domain

abstract: This paper deals with fractional-order controlled systems and fractional-order controllers in the frequency domain. The mathematical description by fractional transfer functions and properties of these systems are presented. The new ways for modelling of fractional-order systems are illustrated with a numerical example and obtained results are discussed in conclusion.


title: Kauffman Monoids

abstract: This paper gives a self-contained and complete proof of the isomorphism of freely generated monoids extracted from Temperley-Lieb algebras with monoids made of Kauffman's diagrams.


title: q-Analogs of symmetric function operators

abstract: For any homomorphism V on the space of symmetric functions, we introduce an operation which creates a q-analog of V. By giving several examples we demonstrate that this quantization occurs naturally within the theory of symmetric functions. In particular, we show that the Hall-Littlewood symmetric functions are formed by taking this q-analog of the Schur symmetric functions and the Macdonald symmetric functions appear by taking the q-analog of the Hall-Littlewood symmetric functions in the parameter t. This relation is then used to derive recurrences on the Macdonald q,t-Kostka coefficients.


title: Fano hypersurfaces in weighted projective 4-spaces

abstract: We determine the complete list of anticanonically embedded quasi smooth log Fano 3-folds in weighted projective 4-spaces. This implies that the Reid-Fletcher list of 95 types of anticanonically embedded quasi smooth terminal Fano threefolds in weighted projective 4-spaces is complete. We also prove that there are only finitely many families of quasi smooth Calabi-Yau hypersurfaces in weighted projective spaces of any given dimension.


title: Representability for some moduli stacks of framed sheaves

abstract: We prove a representability theorem for moduli functors of framed torsion-free sheaves on nonsingular complex projective surfaces, using formal geometry along a curve in the surface. This has as a consequence that a certain restriction morphism for moduli stacks of sheaves has fibers that are schemes.


title: Explicit isoperimetric constants and phase transitions in the random-cluster model

abstract: The random-cluster model is a dependent percolation model that has applications in the study of Ising and Potts models. In this paper, several new results are obtained for the random-cluster model on nonamenable graphs with cluster parameter $q\geq 1$. Among these, the main ones are the absence of percolation for the free random-cluster measure at the critical value, and examples of planar regular graphs with regular dual where $\pc^\f (q) > \pu^\w (q)$ for $q$ large enough. The latter follows from considerations of isoperimetric constants, and we give the first nontrivial explicit calculations of such constants. Such considerations are also used to prove non-robust phase transition for the Potts model on nonamenable regular graphs.


title: The Witten genus and equivariant elliptic cohomology

abstract: We construct a Thom class in complex equivariant elliptic cohomology extending the equivariant Witten genus. This gives a new proof of the rigidity of the Witten genus, which exhibits a close relationship to recent work on non-equivariant orientations of elliptic spectra.


title: Characterization of ${\bf C}^n$ by its automorphism group

abstract: We show that if the group of holomorphic automorphisms of a connected Stein manifold $M$ is isomorphic to that of ${\bf C}^n$ as a topological group equipped with the compact-open topology, then $M$ is biholomorphically equivalent to ${\bf C}^n$.


title: Ergodicity of Mapping Class Group Actions on Representation Varieties, II. Surfaces with Boundary

abstract: The mapping class group of a compact oriented surface of genus greater than one with boundary acts ergodically on connected components of the representation variety corresponding to a connected compact Lie group, for every choice of conjugacy class boundary condition.


title: De Rham Cohomology and Hodge decomposition for Quantum Groups

abstract: Let G=G(t,z) be one of the N^2-dimensional bicovariant first order differential calculi for the quantum groups GL_q(N), SL_q(N), O_q(N), or Sp_q(N), where q is a transcendental complex number and z is a regular parameter. It is shown that the de Rham cohomology of Woronowicz' external algebra G^ coincides with the de Rham cohomologies of its left-coinvariant, its right-coinvariant and its (twosided) coinvariant subcomplexes. In the cases GL_q(N) and SL_q(N) the cohomology ring is isomorphic to the coinvariant external algebra G^_{inv} and to the vector space of harmonic forms. We prove a Hodge decomposition theorem in these cases. The main technical tool is the spectral decomposition of the quantum Laplace-Beltrami operator. Keywords: quantum groups, bicovariant differential calculi, de Rham cohomology, Laplace-Beltrami operator, Hodge theory


title: Summation Formulas for the product of the q-Kummer Functions from $E_q(2)$

abstract: Using the representation of E_q(2) on the non-commutative space zz^*-qz^*z=\sigma; q<1, \sigma>0 summation formulas for the product of two, three and four q-Kummer functions are derived.


title: Bounded Point Evaluations and Local Spectral Theory

abstract: We study in this paper the concept of bounded point evaluations for cyclic operators. We give a negative answer to a question of L.R. Williams {\it Dynamic Systems and Apllications} 3(1994) 103-112. Furthermore, we generalize some results of Williams and give a simple proof of theorem 2.5 of L.R. Williams (The Local Spectra of Pure Quasinormal Operators J. Math. anal. Appl. 187(1994) 842-850) that non normal hyponormal weighted shifts have fat local spectra.


title: Moduli spaces of framed sheaves on certain ruled surfaces over elliptic curves

abstract: Fix a ruled surface S obtained as the projective completion of a line bundle L on a complex elliptic curve; we study the moduli problem of parametrizing certain pairs consisting of a sheaf E on S and a map of E to a fixed reference sheaf on S. We prove that the full moduli stack for this problem is representable by a scheme in some cases. Moreover, the moduli stack admits an action by the group ${\mathbf C}^*$, and we determine its fixed-point set, which leads in some special cases to explicit formulas for the rational homology of the moduli space.


title: Polynomiality of the q,t-Kostka Revisited

abstract: Let $K(q,t)= \|K_{\la\mu}(q,t)\|_{\la,\mu}$ be the Macdonald q,t-Kostka matrix and $K(t)=K(0,t)$ be the matrix of the Kostka-Foulkes polynomials K_{\la\mu}(t). In this paper we present a new proof of the polynomiality of the q,t-Kostka coefficients that is both short and elementary. More precisely, we derive that $K(q,t)$ has entries in \ZZ[q,t] directly from the fact that the matrix $K(t)^{-1}$ has entries in \ZZ[t]. The proof uses only identities that can be found in the original paper [7] of Macdonald.


title: From moment graphs to intersection cohomology

abstract: We describe a method of computing equivariant and ordinary intersection cohomology of certain varieties with actions of algebraic tori, in terms of structure of the zero- and one-dimensional orbits. The class of varieties to which our formula applies includes Schubert varieties in flag varieties and affine flag varieties. We also prove a monotonicity result on local intersection cohomology stalks.


title: The spectral gap of the 2-D stochastic Ising model with mixed boundary conditions

abstract: We establish upper bounds for the spectral gap of the stochastic Ising model at low temperatures in an n-by-n box with boundary conditions which are not purely plus or minus; specifically, we assume the magnitude of the sum of the boundary spins over each interval of length n in the boundary is bounded by \delta n, where \delta < 1. We show that for any such boundary condition, when the temperature is sufficiently low (depending on \delta), the spectral gap decreases exponentially in n.


title: On the genus of a maximal curve

abstract: Previous results on genera g of F_{q^2}-maximal curves are improved: (1) Either g\leq (q^2-q+4)/6, or g=\lfloor(q-1)^2/4\rfloor, or g=q(q-1)/2; (2) The hypothesis on the existence of a particular Weierstrass point in \cite{at} is proved; (3) For q\equiv 1\pmod{3}, q\ge 13, no F_{q^2}-maximal curve of genus (q-1)(q-2)/3 exists; (4) For q\equiv 2\pmod{3}, q\ge 11, the non-singular F_{q^2}-model of the plane curve of equation y^q+y=x^{(q+1)/3} is the unique F_{q^2}-maximal curve of genus g=(q-1)(q-2)/6; (5) Assume \dim(\cD_\cX)=5, and char(\fq)\geq 5. For q\equiv 1\pmod{4}, q\geq 17, the Fermat curve of equation x^{(q+1)/2}+y^{(q+1)/2}+1=0 is the unique F_{q^2}-maximal curve of genus g=(q-1)(q-3)/8. For q\equiv 3\pmod{4}, q\ge 19, there are exactly two F_{q^2}-maximal curves of genus g=(q-1)(q-3)/8, namely the above Fermat curve and the non-singular F_{q^2}-model of the plane curve of equation y^q+y=x^{(q+1)/4}. The above results provide some new evidences on maximal curves in connection with Castelnuovo's bound and Halphen's theorem, especially with extremal curves; see for instance the conjecture stated in Introduction.


title: What is missing in canonical models for proper normal algebraic surfaces?

abstract: Smooth surfaces have finitely generated canonical rings and projective canonical models. For normal surfaces, however, the graded ring of multicanonical sections is possibly nonnoetherian, such that the corresponding homogeneous spectrum is noncompact. I construct a canonical compactification by adding finitely many non-Q-Gorenstein points at infinity, provided that each Weil divisor is numerically equivalent to a Q-Cartier divisor. Similar results hold for arbitrary Weil divisors instead of the canonical class.


title: Homology TQFT's and the Alexander-Reidemeister Invariant of 3-Manifolds via Hopf Algebras and Skein Theory

abstract: We develop an explicit skein theoretical algorithm to compute the Alexander polynomial of a 3-manifold from a surgery presentation employing the methods used in the construction of quantum invariants of 3-manifolds. As a prerequisite we establish and prove a rather unexpected equivalence between the topological quantum field theory constructed by Frohman and Nicas using the intersection homology of U(1)-representation varieties on the one side and the combinatorially constructed Hennings-TQFT based on the quasitriangular Hopf algebra ${\cal N}=\Z/2\ltimes \ext *\R^2$ on the other side. We find that both TQFT's are $SL(2,\R)$-equivariant functors and also as such isomorphic. The $SL(2,\R)$-action in the Hennings construction comes from the natural action on $\cal N$ and in the case of the Frohman-Nicas theory from the Hard-Lefschetz decomposition of the U(1)-moduli spaces given that they are naturally K\"ahler. The irreducible components of this TQFT, corresponding to simple representations of $SL(2,\Z)$ and $Sp(2g,\Z)$, thus yield a large family of homological TQFT's by taking sums and products. We give several examples of TQFT's and invariants that appear to fit into this family, such as Milnor and Reidemeister Torsion, Seiberg-Witten theories, Casson type theories for homology circles \'a la Donaldson, higher rank gauge theories following Frohman and Nicas, and the $\Z/r$ reductions of Reshetikhin-Turaev theories over the cyclotomic integers $\Z[\zeta_r]$. We also conjecture that the Hennings TQFT for quantum-${\mathfrak sl}_2$ is the product of the Reshetikhin-Turaev TQFT and such a homological TQFT.


title: Endomorphisms of hypersurfaces and other manifolds

abstract: We prove that a smooth hypersurface of degree >2 and dimension >1 admits no endomorphism of degree >1 (for hyperquadrics this is due to Paranjape and Srinivas). We then collect some general results on endomorphisms of projective manifolds; we prove in particular that ramified endomorphisms occur only on varieties of negative Kodaira dimension, and we classify those Del Pezzo surfaces which admit such endomorphism.


title: Microlocal properties of basic operations in Colombeau algebras

abstract: The Colombeau algebra of generalized functions allows to unrestrictedly carry out products of distributions. We analyze this operation from a microlocal point of view, deriving a general inclusion relation for wave front sets of products in the algebra. Furthermore, we give explicit examples showing that the given result is optimal, i.e. its assumptions cannot be weakened. Finally, we discuss the interrelation of these results with the concept of pullback under smooth maps.


title: The transcendental part of the regulator map for K_1 on a mirror family of K3 surfaces

abstract: We compute the transcendental part of the normal function corresponding to the Deligne class of a cycle in K_1 of a mirror family of quartic K3 surfaces. The resulting multivalued function does not satisfy the hypergeometric differential equation of the periods and we conclude that the cycle is indecomposable for most points in the mirror family. The occurring inhomogenous Picard-Fuchs equation are related to Painlev\'e VI type differential equations.


title: Pathwise description of dynamic pitchfork bifurcations with additive noise

abstract: The slow drift (with speed $\eps$) of a parameter through a pitchfork bifurcation point, known as the dynamic pitchfork bifurcation, is characterized by a significant delay of the transition from the unstable to the stable state. We describe the effect of an additive noise, of intensity $\sigma$, by giving precise estimates on the behaviour of the individual paths. We show that until time $\sqrt\eps$ after the bifurcation, the paths are concentrated in a region of size $\sigma/\eps^{1/4}$ around the bifurcating equilibrium. With high probability, they leave a neighbourhood of this equilibrium during a time interval $[\sqrt\eps, c\sqrt{\eps\abs{\log\sigma}}]$, after which they are likely to stay close to the corresponding deterministic solution. We derive exponentially small upper bounds for the probability of the sets of exceptional paths, with explicit values for the exponents.


title: Enumeration of chord diagrams

abstract: We determine the number of nonequivalent chord diagrams of order $n$ under the action of two groups, $C_{2n}$, a cyclic group of order $2n$, and $D_{2n}$, a dihedral group of order $4n$. Asymptotic formulas are also established.


title: Legendrian mirrors and Legendrian isotopy

abstract: We resolve a question of Fuchs and Tabachnikov by showing that there is a Legendrian knot in standard contact three-space with zero Maslov number which is not Legendrian isotopic to its mirror. The proof uses the differential graded algebras of Chekanov.


title: Approximating $L^2$ torsion on amenable covering spaces

abstract: It was pointed out to us that the proof of a crucial lemma (Lemma 5.3) in the paper is incorrect. Thus the approximation theorem (Theorem 0.1) for L^2 torsion of an amenable covering of a finite simplicial complex remains unproved. However, results and proofs of the first four sections (in particular, the approximation theorem (Theorem 0.3) for the spectral density function of an amenable covering) are correct.


title: Exponential separation in 4-manifolds

abstract: We use a new geometric construction, grope splitting, to give a sharp bound for separation of surfaces in 4-manifolds. We also describe applications of this technique in link-homotopy theory, and to the problem of locating pi_1-null surfaces in 4-manifolds. In our applications to link-homotopy, grope splitting serves as a geometric substitute for the Milnor group.


title: Complex Structures on some Stiefel Manifolds

abstract: We discuss conditions for the integrability of an almost complex structure defined on the total space of an induced Hopf S^3-bundle over a Sasakian manifold . As an application, we obtain an uncountable family of inequivalent complex structures on the Stiefel manifolds of orthonormal 2-frames in C^{n+1}, non compatible with its standard hypercomplex structure. Similar families of complex structures are constructed on the Stiefel manifold of oriented orthonormal 4-frames in R^{n+1}, as well as on some special Stiefel manifolds related to the groups G_2 and Spin(7).


title: Lomonosov's Invariant Subspace Theorem for Multivalued Linear Operators

abstract: The famous Lomonosov's invariant subspace theorem states that if a continuous linear operator T on an infinite-dimensional normed space E "commutes" with a compact nonzero operator K, i.e., TK=KT, then T has a non-trivial closed invariant subspace. We generalize this theorem for multivalued linear operators.


title: The geometry of surface-by-free groups

abstract: We show that every word hyperbolic, surface-by-(noncyclic) free group Gamma is as rigid as possible: the quasi-isometry group of Gamma equals the abstract commensurator group Comm(Gamma), which in turn contains Gamma as a finite index subgroup. As a corollary, two such groups are quasi-isometric if and only if they are commensurable, and any finitely generated group quasi-isometric to Gamma must be weakly commensurable with Gamma. We use quasi-isometries to compute Comm(Gamma) explicitly, an example of how quasi-isometries can actually detect finite index information. The proofs of these theorems involve ideas from coarse topology, Teichmuller geometry, pseudo-Anosov dynamics, and singular solv-geometry.


title: The spectral gap of the 2-D stochastic Ising model with nearly single-spin boundary conditions

abstract: We establish upper bounds for the spectral gap of the stochastic Ising model at low temperature in an N-by-N box, with boundary conditions which are ``plus'' except for small regions at the corners which are either free or ``minus.'' The spectral gap decreases exponentially in the size of the corner regions, when these regions are of size at least of order \log N. This means that removing as few as O(\log N) plus spins from the corners produces a spectral gap far smaller than the order N^{-2} gap believed to hold under the all-plus boundary condition. Our results are valid at all subcritical temperatures.


title: Cube-root boundary fluctuations for droplets in random cluster models

abstract: For a family of bond percolation models on Z^{2} that includes the Fortuin-Kasteleyn random cluster model, we consider properties of the ``droplet'' that results, in the percolating regime, from conditioning on the existence of an open dual circuit surrounding the origin and enclosing at least (or exactly) a given large area A. This droplet is a close surrogate for the one obtained by Dobrushin, Koteck\'y and Shlosman by conditioning the Ising model; it approximates an area-A Wulff shape. The local part of the deviation from the Wulff shape (the ``local roughness'') is the inward deviation of the droplet boundary from the boundary of its own convex hull; the remaining part of the deviation, that of the convex hull of the droplet from the Wulff shape, is inherently long-range. We show that the local roughness is described by at most the exponent 1/3 predicted by nonrigorous theory; this same prediction has been made for a wide class of interfaces in two dimensions. Specifically, the average of the local roughness over the droplet surface is shown to be O(l^{1/3}(\log l)^{2/3}) in probability, where l = \sqrt{A} is the linear scale of the droplet. We also bound the maximum of the local roughness over the droplet surface and bound the long-range part of the deviation from a Wulff shape, and we establish the absense of ``bottlenecks,'' which are a form of self-approach by the droplet boundary, down to scale \log l. Finally, if we condition instead on the event that the total area of all large droplets inside a finite box exceeds A, we show that with probability near 1 for large A, only a single large droplet is present.


title: Hausdorff Convergence and Universal Covers

abstract: We prove that if $Y$ is the Gromov-Hausdorff limit of a sequence of compact manifolds, $M^n_i$, with a uniform lower bound on Ricci curvature and a uniform upper bound on diameter, then $Y$ has a universal cover. We then show that, for $i$ sufficiently large, the fundamental group of $M_i$ has a surjective homeomorphism onto the group of deck transforms of $Y$. Finally, in the non-collapsed case where the $M_i$ have an additional uniform lower bound on volume, we prove that the kernels of these surjective maps are finite with a uniform bound on their cardinality. A number of theorems are also proven concerning the limits of covering spaces and their deck transforms when the $M_i$ are only assumed to be compact length spaces with a uniform upper bound on diameter.


title: Effective actions of the unitary group on complex manifolds

abstract: We classify all connected $n$-dimensional complex manifolds admitting an effective action of the unitary group $U_n$ by biholomorphic transformations. One consequence of this classification is a characterization of ${\bf C}^n$ by its automorphism group.


title: A variational principle for domino tilings

abstract: We formulate and prove a variational principle (in the sense of thermodynamics) for random domino tilings, or equivalently for the dimer model on a square grid. This principle states that a typical tiling of an arbitrary finite region can be described by a function that maximizes an entropy integral. We associate an entropy to every sort of local behavior domino tilings can exhibit, and prove that almost all tilings lie within epsilon (for an appropriate metric) of the unique entropy-maximizing solution. This gives a solution to the dimer problem with fully general boundary conditions, thereby resolving an issue first raised by Kasteleyn. Our methods also apply to dimer models on other grids and their associated tiling models, such as tilings of the plane by three orientations of unit lozenges.


title: Symmetry and specializability in continued fractions

abstract: We study explicit continued fraction expansions for certain series. Some of these expansions have symmetry that generalizes some remarkable examples discovered independently by Kmosek and Shallit. Furthermore, we prove the following theorem: Suppose f(x) is a polynomial with integer coefficients, and consider the sum of 1/f^n(x) as n goes from 0 to infinity, where f^n denotes the n-th iterate of f. This series has a continued fraction expansion over the polynomials. The case when the partial quotients have integer coefficients is particularly interesting, since then one can obtain simple continued fractions when one substitutes integer values for x. In this case, the continued fraction expansion is called specializable. We determine all polynomials f(x) such that the sum of 1/f^n(x) has a specializable continued fraction: this holds iff f(x) satisfies one of 14 congruences.


title: 2-adic behavior of numbers of domino tilings

abstract: We study the 2-adic behavior of the number of domino tilings of a 2n-by-2n square as nvaries. It was previously known that this number was of the form 2^n f(n)^2, where f(n) is an odd, positive integer. We show that the function f is uniformly continuous under the 2-adic metric, and thus extends to a function on all of Z. The extension satisfies the functional equation f(-1-n) = +- f(n), where +- sign is + if n is congruent to 0 or 3 modulo 4 and - otherwise.


title: Gel'fand-Dorfman Bialgebras

abstract: This is a survey talk on the study of Gel'fand-Dorfman bialgebras.


title: Simple Conformal Algebras Generated by Jordan Algebras

abstract: In this article, we first give a short introduction to conformal algebras. Then we present three families of simple conformal algebras finite growth generated by simple Jordan algebras of types A, B, C.


title: Optimizing Schroedinger functionals using Sobolev gradients: Applications to Quantum Mechanics and Nonlinear Optics

abstract: In this paper we study the application of the Sobolev gradients technique to the problem of minimizing several Schr\"odinger functionals related to timely and difficult nonlinear problems in Quantum Mechanics and Nonlinear Optics. We show that these gradients act as preconditioners over traditional choices of descent directions in minimization methods and show a computationally inexpensive way to obtain them using a discrete Fourier basis and a Fast Fourier Transform. We show that the Sobolev preconditioning provides a great convergence improvement over traditional techniques for finding solutions with minimal energy as well as stationary states and suggest a generalization of the method using arbitrary linear operators.

categories: math.NA cond-mat.soft nlin.PS physics.optics


title: Integral Presentations for the Universal R-matrix

abstract: We present an integral formula for the universal R-matrix of quantum affine algebra with 'Drinfeld comultiplication'. We show that the properties of the universal R-matrix follow from the factorization properties of the cycles in proper configuration spaces. For general g we conjecture that such cycles exist and unique. For $U_q(\hat{sl}_2)$ describe precisely the cycles and present a new simple expression for the universal R-matrix as a result of calculation of corresponding integrals.


title: Factorization of the Universal R-matrix for $U_q(\hat{sl}_2)$

abstract: The factorization of the universal R-matrix corresponding to so called Drinfeld Hopf structure is described on the example of quantum affine algebra $U_q(\hat{sl}_2)$. As a result of factorization procedure we deduce certain differential equations on the factors of the universal ${\cal R}$-matrix, which allow to construct uniquely these factors in the integral form.


title: Algebraic Poincare cobordism

abstract: This paper is an introduction to the use of the cobordism of chain complexes with Poincar\'e duality in surgery theory. It is a companion to the author's paper "An introduction to algebraic surgery" math.AT/0008071 (to appear in Volume 2 of Surveys in Surgery Theory, Ann. of Maths. Studies, Princeton, 2001) which is an introduction to algebraic surgery using forms and formations.


title: On the Cohomology of Central Frattini Extensions

abstract: We use topological methods to compute the mod p cohomology of certain p-groups. More precisely we look at central Frattini extensions of elementary abelian by elementary abelian groups such that their defining k-invariants span the entire image of the Bockstein. We show that if p is sufficiently large, then the mod p cohomology of the extension can be explicitly computed as an algebra.


title: The Cohomology of the Sylow 2-subgroup of the Higman-Sims Group

abstract: In this paper we compute the mod 2 cohomology of the Sylow 2-subgroup of the Higman-Sims group HS, one of the 26 sporadic simple groups. We obtain its Poincare series as well as an explicit description of it as a ring with 17 generators and 79 relations


title: Computing and Sampling Restricted Vertex Degree Subgraphs and Hamiltonian Cycles

abstract: Let $G=(V,E)$ be a bipartite graph embedded in a plane (or $n$-holed torus). Two subgraphs of $G$ differ by a {\it $Z$-transformation} if their symmetric difference consists of the boundary edges of a single face---and if each subgraph contains an alternating set of the edges of that face. For a given $\phi: V \mapsto \mathbb Z^+$, $S_{\phi}$ is the set of subgraphs of $G$ in which each $v\in V$ has degree $\phi(v)$. Two elements of $S_{\phi}$ are said to be adjacent if they differ by a $Z$-transformation. We determine the connected components of $S_{\phi}$ and assign a {\it height function} to each of its elements. If $\phi$ is identically two, and $G$ is a grid graph, $S_{\phi}$ contains the partitions of the vertices of $G$ into cycles. We prove that we can always apply a series of $Z$-transformations to decrease the total number of cycles provided there is enough ``slack'' in the corresponding height function. This allows us to determine in polynomial time the minimal number of cycles into which $G$ can be partitioned provided $G$ has a limited number of non-square faces. In particular, we determine the Hamiltonicity of polyomino graphs in $O(|V|^2)$ steps. The algorithm extends to $n$-holed-torus-embedded graphs that have grid-like properties. We also provide Markov chains for sampling and approximately counting the Hamiltonian cycles of $G$.


title: Triangular Hopf algebras with the Chevalley property

abstract: We say that a Hopf algebra has the Chevalley property if the tensor product of any two simple modules over this Hopf algebra is semisimple. In this paper we classify finite dimensional triangular Hopf algebras with the Chevalley property, over the field of complex numbers. Namely, we show that all of them are twists of triangular Hopf algebras with R-matrix having rank <=2, and explain that the latter ones are obtained from group algebras of finite supergroups by a simple modification procedure. We note that all examples of finite dimensional triangular Hopf algebras which are known to the authors, do have the Chevalley property, so one might expect that our classification potentially covers all finite dimensional triangular Hopf algebras.


title: Fredholm theory of the linearized ${{\bar \partial}}$-operator and additivity of its index

abstract: In this paper, we established Fredholm theory of the linearized ${{\bar \partial}}$-operator and studied the additivity of its index.


title: Dual elliptic structures on CP2

abstract: We consider an almost complex structure J on CP2, or more generally an elliptic structure E which is tamed by the standard symplectic structure. An E-curve is a surface tangent to E (this generalizes the notion of J(holomorphic)-curve), and an E-line is an E-curve of degree 1. We prove that the space of E-lines is again a CP2 with a tame elliptic structure E^*, and that each E-curve has an associated dual E^*-curve. This implies that the E-curves, and in particular the J-curves, satisfy the Pl\"ucker formulas, which restricts their possible sets of singularities.


title: Braid structures in knot complements, handlebodies and 3-manifolds

abstract: We consider braids on $m+n$ strands, such that the first $m$ strands are trivially fixed. We denote the set of all such braids by $B_{m,n}$. Via concatenation $B_{m,n}$ acquires a group structure. The objective of this paper is to find a presentation for $B_{m,n}$ using the structure of its corresponding pure braid subgroup, $P_{m,n}$, and the fact that it is a subgroup of the classical Artin group $B_{m+n}$. Then we give an irredundant presentation for $B_{m,n}$. The paper concludes by showing that these braid groups or appropriate cosets of them are related to knots in handlebodies, in knot complements and in c.c.o. 3--manifolds.


title: Exactness and stability in homotopical algebra

abstract: Exact sequences are a well known notion in homological algebra. We investigate here the more vague properties of 'homotopical exactness', appearing for instance in the fibre or cofibre sequence of a map. Such notions of exactness can be given for very general 'categories with homotopies' having homotopy kernels and cokernels, but become more interesting under suitable stability hypotheses, satisfied - in particular - by chain complexes. It is then possible to measure the default of homotopical exactness of a sequence by the homotopy type of a certain object, a sort of 'homotopical homology'.


title: Number theory casting a look at the mirror

abstract: In this work, we give a purely analytic introduction to the phenomenon of mirror symmetry for quintic threefolds via classical hypergeometric functions and differential equations for them. Starting with a modular map and recent transcendence results for its values, we regard a mirror map $z(q)$ as a concept generalizing the modular one. We give an alternative approach demonstrating the existence of non-linear differential equations for the mirror map, and exploit both an elegant construction of Klemm-Lian-Roan-Yau and the Ax theorem to prove that the Yukawa coupling $K(q)$ does not satisfy any algebraic differential equation of order less than 7 with coefficients from $\mathbb{C}(q)$.


title: On the Hitchin morphism in positive characteristic

abstract: Let X be a smooth projective curve over a field of characteristic p>0. We show that the Hitchin morphism, which associates to a Higgs bundle its characteristic polynomial, has a non-trivial deformation over the affine line. This deformation is constructed by considering the moduli stack of t-connections on vector bundles on X and an analogue of the p-curvature, and by observing that the associated characteristic polynomial is, in a suitable sense, a p-th power.


title: Recovering plane curves from their bitangents

abstract: We show that a general plane curve of degree at least 4 is uniquely determined by the full set of its bitangent lines. This problem has an elementary solution for degree at least 5, and the paper is almost entirely devoted to curves of degree 4, where we generalize the result to nodal quartics. In other words, we show that a general curve of genus 3 can be recovered from its 28 odd theta-characteristics.


title: Immersions of surfaces in almost complex 4-manifolds

abstract: In this note, we investigate the relation between double points and complex points of immersed surfaces in almost-complex 4-manifolds and show how estimates for the minimal genus of embedded surfaces lead to inequalities between the number of double points and the number of complex points of an immersion. We also provide a generalization of a classical genus estimate due to V.A. Rokhlin to the case of immersed surfaces.


title: Proof of the Boltzmann-Sinai Ergodic Hypothesis for Typical Hard Disk Systems

abstract: We consider the system of $N$ ($\ge2$) hard disks of masses $m_1,...,m_N$ and radius $r$ in the flat unit torus $\Bbb T^2$. We prove the ergodicity (actually, the B-mixing property) of such systems for almost every selection $(m_1,...,m_N;r)$ of the outer geometric parameters.


title: Maximal Thurston-Bennequin Number of Two-Bridge Links

abstract: We compute the maximal Thurston-Bennequin number for a Legendrian two-bridge knot or oriented two-bridge link in standard contact R^3, by showing that the upper bound given by the Kauffman polynomial is sharp. As an application, we present a table of maximal Thurston-Bennequin numbers for prime knots with nine or fewer crossings.


title: Local statistics for random domino tilings of the Aztec diamond

abstract: We prove an asymptotic formula for the probability that, if one chooses a domino tiling of a large Aztec diamond at random according to the uniform distribution on such tilings, the tiling will contain a domino covering a given pair of adjacent lattice squares. This formula quantifies the effect of the diamond's boundary conditions on the behavior of typical tilings; in addition, it yields a new proof of the arctic circle theorem of Jockusch, Propp, and Shor. Our approach is to use the saddle point method to estimate certain weighted sums of squares of Krawtchouk polynomials (whose relevance to domino tilings is demonstrated elsewhere), and to combine these estimates with some exponential sum bounds to deduce our final result. This approach generalizes straightforwardly to the case in which the probability distribution on the set of tilings incorporates bias favoring horizontal over vertical tiles or vice versa. We also prove a fairly general large deviation estimate for domino tilings of simply-connected planar regions that implies that some of our results on Aztec diamonds apply to many other similar regions as well.


title: Minimizing area among Lagrangian surfaces: the mapping problem

abstract: This paper introduces a geometrically constrained variational problem for the area functional. We consider the area restricted to the langrangian surfaces of a Kaehler surface, or, more generally, a symplectic 4-manifold with suitable metric, and study its critical points and in particular its minimizers. We apply this study to the problem of finding canonical representatives of the lagrangian homology (that part of the homology generated by lagrangian cycles).


title: Combinatorial Dehn surgery on cubed and Haken 3-manifolds

abstract: A combinatorial condition is obtained for when immersed or embedded incompressible surfaces in compact 3-manifolds with tori boundary components remain incompressible after Dehn surgery. A combinatorial characterisation of hierarchies is described. A new proof is given of the topological rigidity theorem of Hass and Scott for 3-manifolds containing immersed incompressible surfaces, as found in cubings of non-positive curvature.


title: On the relation between 2 and infty in Galois cohomology of number fields

abstract: We remove the assumption "let p be odd or k totally imaginary" from several well-known theorems in Galois cohomology of number fields. For example, we show that the Galois group of the maximal extension of a number field k which is unramified outside 2 has a finite cohomological 2-dimension (also if k has real places). (The dvi-file requires the xypic-package)


title: Moduli spaces of stable sheaves on abelian surfaces

abstract: In this paper, we consider moduli spaces of stable sheaves on abelian surfaces. Our main assumption is the primitivity of the associated Mukai vector. We construct many isomorphisms of muduli spaces induced by Fourier-Mukai functor. As an application, we show that deformation type of these spaces are determined by their dimension. We next show that the fiber of the albanese map is irreducible symplectic manifolds In particular, we describe the period by using Mukai lattice. We also discuss deformation type of moduli spaces of stable sheaves on K3 surfaces.


title: Classification of polynomials from C^2 to C with one critical value

abstract: We give the classification, up to homeomorphisms, of reduced complex polynomials with 2 variables with one critical value.


title: Group algebras whose involutory units commute

abstract: Let K be a field of characteristic 2 and G a nonabelian locally finite 2-group. Let V(KG) be the group of units with augmentation 1 in the group algebra KG. An explicit list of groups is given, and it is proved that all involutions in V(KG) commute with each other if and only if G is isomorphic to one of the groups on this list. In particular, this property depends only on G and not at all on K.


title: Higher fundamental functors for simplicial sets

abstract: This is a sequel to a previous paper, developing an intrinsic, combinatorial homotopy theory for simplicial complexes; the latter form the cartesian closed subcategory of 'simple presheaves' in !Smp, the topos of symmetric simplicial sets, or presheaves on the category of finite, positive cardinals. We show here how this homotopy theory can be extended to the topos itself, !Smp. As a crucial advantage, the fundamental groupoid functor !Smp --> Gpd is left adjoint to a natural functor Gpd --> !Smp, the symmetric nerve of a groupoid, and preserves all colimits - a strong van Kampen property. Similar results hold in all higher dimensions. Analogously, a notion of (non-reversible) directed homotopy can be developed in the ordinary simplicial topos Smp, with applications to image analysis as in the previous paper. We have now a 'homotopy n-category functor' Smp --> n-Cat, left adjoint to a nerve functor. This construction can be applied to various presheaf categories; the basic requirements seem to be: finite products of representables are finitely presentable and there is a representable 'standard interval'.


title: Why a Conjecture of Poincare Doesn't Work

abstract: Poincare had conjectured that the fact that closed loops could be shrunk to points on a surface topologically equivalent to the surface of a sphere can be generalised to three (and more) dimensions. After nearly a century the conjecture has remained unproven. We given arguments below to show that the conjecture doesn't work in three dimensions.


title: On symmetric units in group algebras

abstract: Let $U(KG)$ be the group of units of the group ring $KG$ of the group $G$ over a commutative ring $K$. The anti-automorphism $g\mapsto g\m1$ of $G$ can be extended linearly to an anti-automorphism $a\mapsto a^*$ of $KG$. Let $S_*(KG)=\{x\in U(KG) \mid x^*=x\}$ be the set of all symmetric units of $U(KG)$. We consider the following question: for which groups $G$ and commutative rings $K$ it is true that $S_*(KG)$ is a subgroup in $U(KG)$. We answer this question when either a) $G$ is torsion and $K$ is a commutative $G$-favourable integral domain of characteristic $p\geq 0$ or b) $G$ is non-torsion nilpotent group and $KG$ is semiprime.


title: Differential operators and the loop group via chiral algebras

abstract: Let $G$ be an algebraic group and let $\widetilde{\mathfrak g}$ be the corresponding affine algebra on some level. Consider the induced module $V:=Ind^{\widetilde{\mathfrak g}}_{{\mathfrak g}[[t]](O_{G[[t]]})$, where $O_{G[[t]]}$ is the ring of regular functions on the group $G[[t]]$. In this paper we show that $V$ is naturally a vertex operator algebra, which is "responsible" for D-modules on the loop group $G((t))$. Using the techiques of VOA we show that $V$ is in fact a bimodule over the affine algebra. In addition, we show that $V$ possesses a remarkable property related to its BRST reduction with respect to $\widetilde{\mathfrak g}$. This paper has a considerable intersection with a recent preprint of Gorbunov, Malikov and Schechtman.


title: On a filtered multiplicative basis of group algebras

abstract: Let $K$ be a field of characteristic $p$ and $G$ a nonabelian metacyclic finite $p$-group. We give an explicit list of all metacyclic $p$-groups $G$, such that the group algebra $KG$ over a field of characteristic $p$ has a filtered multiplicative $K$-basis. We also present an example of a non-metacyclic 2-group $G$, such that the group algebra $KG$ over any field of characteristic 2 has a filtered multiplicative $K$-basis.


title: Variational representations of Varadhan Functionals

abstract: Motivated by the theory of large deviations, we introduce a class of non-negative non-linear functionals that have a variational "rate function" representation.


title: On the analyticity of CR mappings between nonminimal hypersurfaces

abstract: Let M be a connected real-analytic hypersurface in two dimensional complex space, $\mathbb C^2$, containing a connected complex hypersurface E, and let f be a smooth CR mapping sending M into another real-analytic hypersurface M' in $\mathbb C^2$. In this paper, we prove that if f does not collapse E to a point and does not collapse M into the image of E, and if the Levi form of M vanishes to first order along E, then f is real-analytic in a neighborhood of E. In general, the corresponding statement is false if the Levi form of M vanishes to second order or higher, in view of an example due to the author. We also show analogous results in higher dimensions provided that the target M' satisfies a certain nondegeneracy condition. The main ingredient in the proof, which seems to be of independent interest, is the prolongation of the system defining a CR mapping sending M into M' to a Pfaffian system on M with singularities along E. The nature of the singularity is described by the order of vanishing of the Levi form along E.


title: Field theory and the Cohomology of Some Galois Groups

abstract: We prove that two arithmetically significant extensions of a field F coincide if and only if the Witt ring WF is a group ring Z/n[G]. Furthermore, working modulo squares with Galois groups which are 2-groups, we establish a theorem analogous to Hilbert's Theorem 90 and show that an identity linking the cohomological dimension of the Galois group of the quadratic closure of F, the length of a filtration on a certain module over a Galois group, and the dimension over Z/2 of the square class group of the field holds for a number of interesting families of fields. Finally we discuss the cohomology of a particular Galois group in a topological context.


title: A note on sigular limits to hyperbolic systems

abstract: In this note we consider two different singular limits to hyperbolic system of conservation laws, namely the standard backward schemes for non linear semigroups and the semidiscrete scheme. Under the assumption that the rarefaction curve of the corresponding hyperbolic system are straight lines, we prove the stability of the solution and the convergence to the perturbed system to the unique solution of the limit system for initial data with small total variation.


title: Symplectic geometry on moduli spaces of holomorphic bundles over complex surfaces

abstract: We give a comparative description of the Poisson structures on the moduli spaces of flat connections on real surfaces and holomorphic Poisson structures on the moduli spaces of holomorphic bundles on complex surfaces. The symplectic leaves of the latter are classified by restrictions of the bundles to certain divisors. This can be regarded as fixing a "complex analogue of the holonomy" of a connection along a "complex analogue of the boundary" in analogy with the real case.


title: A note on the Legendrian isotopy problem

abstract: This paper has been withdrawn by the authors, due to a mistake pointed out by Lenny Ng and Josh Sabloff.


title: Polar Homology

abstract: For complex projective manifolds we introduce polar homology groups, which are holomorphic analogues of the homology groups in topology. The polar k-chains are subvarieties of complex dimension k with meromorphic forms on them, while the boundary operator is defined by taking the polar divisor and the Poincare residue on it.


title: Unlinked Embedded Graphs

abstract: This paper is a self-contained development of an invariant of graphs embedded in three-dimensional Euclidean space using the Jones polynomial and skein theory. Some examples of the invariant are computed. An unlinked embedded graph is one that contains only trivial knots or links. Examples show that the invariant is sufficiently powerful to distinguish some different unlinked embeddings of the same graph.


title: On the Albanese map for smooth quasi-projective varieties

abstract: Let k be an algebraically closed field and X a smooth projective k-variety. A famous theorem of A. A. Roitman states that the canonical map from the degree zero part of the Chow group of zero cycles on X to the group of k-points of its Albanese variety induces an isomorphism on torsion prime to the characteristic of k. In the present paper we prove a generalisation to quasi-projective varieties admitting a smooth compactification. As was first observed by Ramachandran, for such a generalisation one should replace the Chow group of zero cycles by Suslin's 0-th algebraic singular homology group and the Albanese variety by the generalised Albanese of Serre. The method of proof is new even in the projective case and makes the motivic nature of the Albanese transparent. We also prove that the generalised Albanese map is an isomorphism if k is the algebraic closure of a finite field.


title: Critical Behavior in Lossy Source Coding

abstract: The following critical phenomenon was recently discovered. When a memoryless source is compressed using a variable-length fixed-distortion code, the fastest convergence rate of the (pointwise) compression ratio to the optimal $R(D)$ bits/symbol is either $O(\sqrt{n})$ or $O(\log n)$. We show it is always $O(\sqrt{n})$, except for discrete, uniformly distributed sources.


title: An analogous of Jouanolou's Theorem in positive characteristic

abstract: We show that a generic vector field on an affine space of positive characteristic admits an invariant algebraic hypersurface. This contrast with Jouanolou's Theorem that shows that in characteristic zero the situation is completely opposite. That is a generic vector field in the complex plane does not admit any invariant algebraic curve.


title: Multiplicity of Invariant Algebraic Curves and Darboux Integrability

abstract: We define four different kinds of multiplicity of an invariant algebraic curve for a given polynomial vector field and investigate their relationships. After taking a closer look at the singularities and at the line of infinity, we improve the Darboux theory of integrability using these new notions of multiplicity.


title: Covering groups of non-connected topological groups revisited

abstract: In general a universal covering of a non connected topological group need not admit a topological group structure such that the covering map is a morphism of topological groups. This result is due to R.L. Taylor (1953). We generalise this result and relate it to the theory of obstructions to group extensions. The methods use: the equivalence between covering maps of X and covering groupoids of the fundamental groupoid of X; the equivalence between group groupoids and crossed modules; and descriptions of cohomology in terms of crossed complexes.


title: A new proof of the Frobenius conjecture on the dimensions of real algebras without zero divisors

abstract: A new simple way to prove the Frobenius conjecture on the dimensions of real algebras without zero divisors is given.


title: Classical versions of q-Gaussian processes: conditional moments and Bell's inequality

abstract: We show that classical processes corresponding to operators what satisfy a q-commutative relation have linear regressions and quadratic conditional variances. From this we deduce that Bell's inequality for their covariances can be extended from q=-1 to the entire range -1<q<1.


title: Symplectic representations of inertia groups

abstract: Suppose $\ell$ is a prime number, $\ell >3$, $K$ is a field that is an unramified finite extension of the field $\Q_\ell$ of $\ell$-adic numbers, and $G$ is a finite group that is a semi-direct product of a normal $\ell'$-subgroup $H$ and a cyclic $\ell$-group $L$. Suppose that the group algebra $K[H]$ is decomposable. If there exists an embedding of $G$ in the symplectic group $\Sp_{2d}(K)$ for some positive integer $d$, then there exists an embedding of $G$ in $\Sp_{2d}({\mathcal O}_K)$, where ${\mathcal O}_K$ is the ring of integers of $K$.


title: BPS states of curves in Calabi--Yau 3--folds

abstract: The Gopakumar-Vafa conjecture is defined and studied for the local geometry of a curve in a Calabi-Yau 3-fold. The integrality predicted in Gromov-Witten theory by the Gopakumar-Vafa BPS count is verified in a natural series of cases in this local geometry. The method involves Gromov-Witten computations, Mobius inversion, and a combinatorial analysis of the numbers of etale covers of a curve.


title: Max-Min Representation of Piecewise Linear Functions

abstract: It is shown that a piecewise linear function can be represented as a Max-Min polynomial of its linear components.


title: Abstract mechanical connection and Abelian reconstruction for almost Kahler manifolds

abstract: When the phase space P of a Hamiltonian G-system (P, \omega, G, J, H) has an almost Kahler structure a preferred connection, called abstract mechanical connection, can be defined by declaring horizontal spaces at each point to be metric orthogonal to the tangent to the group orbit. Explicit formulas for the corresponding connection one-form A are derived in terms of the momentum map, symplectic and complex structures. Such connection can play the role of the reconstruction connection (see A. Blaom, Reconstruction phases via Poisson reduction. Diff. Geom. Appl., 12:231--252, 2000.), thus significantly simplifying computations of the corresponding dynamic and geometric phases for an Abelian group G. These ideas are illustrated using the example of the resonant three-wave interaction. Explicit formulas for the connection one-form and the phases are given together with some new results on the symmetry reduction of the Poisson structure.


title: Convergence or generic divergence of Birkhoff normal form

abstract: We prove that Birkhoff normal form of hamiltonian flows at a non-resonant singular point with given quadratic part are always convergent or generically divergent. The same result is proved for the normalization mapping and any formal first integral.


title: Total convergence or general divergence in Small Divisors

abstract: We study generic holomorphic families of dynamical systems presenting problems of small divisors with fixed arithmetic. We prove that we have convergence for all parameter values or divergence everywhere except for an exceptional set in the potential theory sense. We illustrate this general principle in different problems of small divisors.


title: Linearization of holomorphic germs with resonant linear part

abstract: We study the linearization problem of germs of holomorphic diffeomorphisms with resonant linear part. The formal linearization requires in general an infinite number of algebraic relations to be satisfied by the coefficients of the power series defining the holomorphic germ. For a fixed germ, the linearizing mappings are not unique, but the existence of a finite jet with a formal divergent linearization but no convergent one forces all the other linearizing mappings to be diverging. We consider also polynomial families formally conjugated to a fixed resonant linear part. Then all the elements of the family are holomorphically linearizable, or we are in the precedent diverging situation for all but an exceptional set of parameter values of zero $\Gamma$-capacity. In the case of maximal non-trivial resonance we prove the optimality of Bruno condition.


title: A note on holomorphic extensions

abstract: We give a criterium of holomorphy for some type formal power series. This gives a stronger form of a Rothstein's type extension theorem for a particular ring of holomorphic functions.


title: On elements in algebras having finite number of conjugates

abstract: Let $R$ be a ring with unity and $U(R)$ its group of units. Let $\Delta U=\{a\in U(R)\mid [U(R):C_{U(R)}(a)]<\infty\}$ be the $FC$-radical of $U(R)$ and let $\nabla(R)=\{a\in R\mid [U(R):C_{U(R)}(a)]<\infty\}$ be the $FC$-subring of $R$. An infinite subgroup $H$ of $U(R)$ is said to be an $\omega$-subgroup if the left annihilator of each nonzero Lie commmutator $[x,y]$ in $R$ contains only finite number of elements of the form $1-h$, where $x,y \in R$ and $h\in H$. In the case when $R$ is an algebra over a field $F$, and $U(R)$ contains an $\omega$-subgroup, we describe its $FC$-subalgebra and the $FC$-radical. This paper is an extension of [1].


title: On the order of the unitary subgroup of modular group algebra

abstract: Let KG be a group algebra of a finite p-group G over a finite field K of characteristic p. We compute the order of the unitary subgroup of the group of units when G is either an extraspecial 2-group or the central product of such a group with a cyclic group of order 4 or G has an abelian subgroup A of index 2 and an element b such that b inverts each element of A.


title: Boundedness and surjectivity in Banach spaces

abstract: We define the ($w^\ast$-) boundedness property and the ($w^\ast$-) surjectivity property for sets in normed spaces. We show that these properties are pairwise equivalent in complete normed spaces by characterizing them in terms of a category-like property called ($w^\ast$-) thickness. We give examples of interesting sets having or not having these properties. In particular, we prove that the tensor product of two $w^\ast$-thick sets in $\Xastast$ and $\Yast$ is a $w^\ast$-thick subset in $L(X,Y)^\ast$ and obtain as a concequense that the set $w^\ast -exp\:B_{K(l_2)^\ast}$ is $w^\ast$-thick.


title: Homogeneous hyper-Hermitian metrics which are conformally hyper-K\"ahler

abstract: Let $g$ be a hyper-Hermitian metric on a simply connected hypercomplex four-manifold $M$. We show that when the isometry group $I(M,g)$ contains a subgroup acting simply transitively on $M$ by hypercomplex isometries then the metric $g$ is conformal to a hyper-K\"ahler metric. We describe explicitely the corresponding hyper-K\"ahler metrics and it follows that, in four dimensions, these are the only hyper-K\"ahler metrics containing a homogeneous metric in its conformal class.


title: Franklin's argument proves an identity of Zagier

abstract: Recently Zagier proved a remarkable q-series identity. We show that this identity can also be proved by modifying Franklin's classical proof of Euler's pentagonal number theorem.


title: Optimal Acoustic Measurements

abstract: We consider the problem of obtaining information about an inaccessible half-space from acoustic measurements made in the accessible half-space. If the measurements are of limited precision, some scatterers will be undetectable because their scattered fields are below the precision of the measuring instrument. How can we make measurements that are optimal for detecting the presence of an object? In other words, what incident fields should we apply that will result in the biggest measurements? There are many ways to formulate this question, depending on the measuring instruments. In this paper we consider a formulation involving wave-splitting in the accessible half-space: what downgoing wave will result in an upgoing wave of greatest energy? A closely related question arises in the case when we have a guess about the configuration of the inaccessible half-space. What measurements should we make to determine whether our guess is accurate? In this case we compare the scattered field to the field computed from the guessed configuration. Again we look for the incident field that results in the greatest energy difference. We show that the optimal incident field can be found by an iterative process involving time reversal ``mirrors''. For band-limited incident fields and compactly supported scatterers, in the generic case this iterative process converges to a single time-harmonic field. In particular, the process automatically "tunes" to the best frequency. This analysis provides a theoretical foundation for the frequency-shifting and pulse-broadening observed in certain computations and time-reversal experiments.


title: Hodge theory on hyperbolic manifolds of infinite volume

abstract: Let $Y=\Gamma\backslash H^n$ be a quotient of the hyperbolic space by the action of a discrete convex-cocompact group of isometries. We describe certain spaces of $\Gamma$-invariant currents on the sphere at infinity of $H^n$ with support on the limit set of $\Gamma$. These spaces are finite-dimensional. The main result identifies the cohomology of $Y$ with a quotient of such spaces. We explain in which sense this result generalizes the classical Hodge theorem for compact quotients. We obtain analogous results for the cohomology groups $H^p(\Gamma,F)$, where $F$ is a finite-dimensional representation of the full group of orientation preserving isometries of $H^n$.


title: L^2-invariants of locally symmetric spaces

abstract: We explain how the Harish-Chandra Plancherel Theorem and results in relative Lie algebra cohomology can be used in order to compute in a uniform way the $L^2$-Betti numbers, the Novikov-Shubin invariants, and the $L^2$-torsion of compact locally symmetric spaces thus completing results previously obtained by Borel, Lott, Mathai, Hess and Schick. It turns out that the behaviour of these invariants is essentially determined by the fundamental rank of the group of isometries of the corresponding globally symmetric space. In particular, we show the nonvanishing of the $L^2$-torsion whenever the fundamental rank is equal to 1.


title: Second class particles as microscopic characteristics in totally asymmetric nearest-neighbor K-exclusion processes

abstract: We study aspects of the hydrodynamics of one-dimensional totally asymmetric K-exclusion, building on the hydrodynamic limit of Seppalainen (1999). We prove that the weak solution chosen by the particle system is the unique one with maximal current past any fixed location. A uniqueness result is needed because we can prove neither differentiability nor strict concavity of the flux function, so we cannot use the Lax-Oleinik formula or jump conditions to define entropy solutions. Next we prove laws of large numbers for a second class particle in K-exclusion. The macroscopic trajectories of second class particles are characteristics and shocks of the conservation law for the particle density. In particular, we extend to K-exclusion Ferrari's result that the second class particle follows a macroscopic shock in the Riemann solution. The technical novelty of the proofs is a variational representation for the position of a second class particle, in the context of the variational coupling method.


title: The modularity conjecture for rigid Calabi-Yau threefolds over Q

abstract: We formulate the modularity conjecture for rigid Calabi-Yau threefolds defined over the field Q of rational numbers. We establish the modularity for the rigid Calabi-Yau threefold arising from the root lattice A_3. Our proof is based on geometric analysis.


title: New time-type and space-type non-standard quantum algebras and discrete symmetries

abstract: Starting from the classical r-matrix of the non-standard (or Jordanian) quantum deformation of the sl(2,R) algebra, new triangular quantum deformations for the real Lie algebras so(2,2), so(3,1) and iso(2,1) are simultaneously constructed by using a graded contraction scheme; these are realized as deformations of conformal algebras of (1+1)-dimensional spacetimes. Time-type and space-type quantum algebras are considered according to the generator that remains primitive after deformation: either the time or the space translation, respectively. Furthermore by introducing differential-difference conformal realizations, these families of quantum algebras are shown to be the symmetry algebras of either a time or a space discretization of (1+1)-dimensional (wave and Laplace) equations on uniform lattices; the relationship with the known Lie symmetry approach to these discrete equations is established by means of twist maps.


title: Canonical abelianization of finite group actions

abstract: In these notes we present a corrected version of the algorithm for abelianization of stabilizers of finite group actions on smooth manifolds using equivariant blow ups.


title: Extensions of Higgs Bundles

abstract: We prove a Hitchin-Kobayashi correspondence for extensions of Higgs bundles. The results generalize known results for extensions of holomorphic bundles. Using Simpson's methods, we construct moduli spaces of stable objects. In an appendix we construct Bott-Chern forms for Higgs bundles