title: The failure of the uncountable non-commutative Specker Phenomenon

abstract: Higman proved in 1952 that every free group is non-commutatively slender, this is to say that if G is a free group and h is a homomorphism from the countable complete free product (X_omega Z) to G, then there exists a finite subset F of omega and a homomorphism h:*_{i in F} Z --> G such that h=h rho_F, where rho_F is the natural map from (X_{i in omega})Z to *_{i in F}Z . Corresponding to the abelian case this phenomenon was called the non-commutative Specker Phenomenon. In this paper we show that Higman's result fails if one passes from countable to uncountable. In particular, we show that for non-trivial groups G_alpha (alpha in lambda) and uncountable cardinal lambda there are 2^{2^lambda} homomorphisms from the complete free product of the G_alpha 's to the ring of integers.


title: Where the Slopes Are

abstract: Fix a prime number p and choose, once and for all, an embedding of the algebraic closure of Q into Qp. Let k and N be integers, and suppose N is not divisible by p. If f is a modular form of weight k, level N, and trivial character which is an eigenform for the p-th Hecke operator Tp, we define the slope of f to be the p-adic valuation of the eigenvalue of Tp. This paper reports on computations that suggest that there is quite a lot of structure to the set of slopes for eigenforms of varying weight k. In particular, we find that the slopes are often smaller than expected, that they are almost always integers, that there is evidence of a connection between fractional slopes and slopes which are "bigger than usual", and that there are some hints of a connection to the theory of theta-cycles.


title: A space with only Borel subsets

abstract: Miklos Laczkovich asked if there exists a Haussdorff (or even normal) space in which every subset is Borel yet it is not meager. The motivation of the last condition is that under MA_kappa every subspace of the reals of cardinality kappa has the property that all subsets are F_sigma, however Martin's axiom also implies that these subsets are meager. Here we answer Laczkovich' question.


title: Honeycombs and sums of Hermitian matrices

abstract: Horn's conjecture, which given the spectra of two Hermitian matrices describes the possible spectra of the sum, was recently settled in the affirmative. In this survey we discuss one of the many steps in this, which required us to introduce a combinatorial gadget called a {\em honeycomb}; the question is then reformulable as about the existence of honeycombs with certain boundary conditions. Another important tool is the connection to the representation theory of the group U(n), by ``classical vs. quantum'' analogies.


title: Multi-Time Dependent Sprays and Harmonic Maps on $J^1(T,M)$

abstract: In this paper are constructed a series of geometrical objects on the 1-jet fibre bundle $J^1(T,M)$, which is a basic object in the study of classical and quantum field.


title: Classification of Elliptic Line Scrolls

abstract: The classification of projective elliptic line scrolls with the description of their singular loci is given. In particular we recover Atiyah Theorem by using classical methods.


title: Wonderful blowups associated to group actions

abstract: A group action on a smooth variety provides it with the natural stratification by irreducible components of the fixed point sets of arbitrary subgroups. We show that the corresponding maximal wonderful blowup in the sense of MacPherson-Procesi has only abelian stabilizers. The result is inspired by the abelianization algorithm of Batyrev.


title: Remarks on the similarity degree of an operator algebra

abstract: The "similarity" degree of a unital operator algebra $A$ was defined and studied in two recent papers of ours, where in particular we showed that it coincides with the "length" of an operator algebra. This paper brings several complements: we give direct proofs (with slight improvements) of several known facts on the length which were only known via the degree, and we show that the length of a type $II_1$ factor with property $\Gamma$ is at most 5, improving on a previous bound ($\le 44$) due to E. Christensen.


title: Flops and derived categories

abstract: This paper contains some applications of Fourier-Mukai techniques to the birational geometry of threefolds. In particular, we prove that birational Calabi-Yau threefolds have equivalent derived categories. To do this we show how flops arise naturally as moduli spaces of perverse coherent sheaves.


title: Examples of locally compact quantum groups through the bicrossed product construction

abstract: The main aim of this paper is to introduce some examples of non-compact locally compact quantum groups to a non-specialized audience. The major importance of these examples is their simplicity. Other examples as the quantum E(2) group of Woronowicz are much more difficult to construct. We will make use of the bicrossed product construction to obtain our examples. This construction dates back to Kac, Takeuchi and Majid. It was also considered by Baaj & Skandalis.


title: Gradient flows of closed 1-forms and their closed orbits

abstract: We consider the closed orbit structure of generic gradient flows of Morse closed 1-forms. The torsion of a chain homotopy equivalence between the Novikov complex and the completed simplicial chain complex of the universal cover detects the eta function of the flow. We extend this result to arbitrary Morse closed 1-forms. The case of rational forms was considered by A. Pajitnov.


title: Classification theory for theories with NIP - a modest beginning

abstract: A relevant thesis is that for the family of complete first order theories with NIP (i.e. without the independence property) there is a substantial theory, like the family of stable (and the family of simple) first order theories. We examine some properties.


title: Numerical Approximation of Real Functions and One Minkowski's Conjecture on Diophintine Approximations

abstract: In this paper I consider the applications of several kinds of approximations of real functions to the problem of verified computation (reliable computing) of the range of implicitly defined real function $x_{n+1} = G(x_{1}, ..., x_{n}),$ where dependency $F(x_{1}, ..., x_{n+1}) = 0$ is defined on some compact domain by a sufficiently smooth real function $F(x_{1}, ..., x_{n+1}) >.$ Constructive version of Kolmogorov-Arnold and implicit function theorems, results about floating-point approximation, floating-point approximations which give lower-bound and upper-bound estimates of some real functions, and approximate algebraic computation are used for the purpose. The rigorous theory can be build on the base of analysis on manifolds over floating points domains. In the text we demonstrate our approach on examples from investigation of Minkowski's conjecture on critical determinant of the region $\mid x \mid^p + \mid y \mid^p \leq 1, p > 1.$.


title: Characterizing Type I C*-algebras via Entropy

abstract: Let A be a unital separable C*-algebra. We observe that A is type I if and only if the CNT-entropy of every inner automorphism of A is zero.


title: Herrero's Approximation Problem for Quasidiagonal Operators

abstract: Let T be a quasidiagonal operator on a separable Hilbert space. Then T is the norm limit of operators, each of which generate a finite dimensional C*-algebra, if and only if the C*-algebra generated by T is exact.


title: Spectra of the Gamma-invariant of uniform modules

abstract: For a ring R, denote by Spec^R_kappa(Gamma) the kappa-spectrum of the Gamma-invariant of strongly uniform right R-modules. Recent realization techniques of Goodearl and Wehrung show that Spec^R_{aleph_1}(Gamma) is full for suitable von Neumann regular algebras R, but the techniques do not extend to cardinals kappa>aleph_1. By a direct construction, we prove that for any field F and any regular uncountable cardinal kappa there is an F-algebra R such that Spec^R_kappa(Gamma) is full. We also derive some consequences for the complexity of Ziegler spectra of infinite dimensional algebras.


title: The Center Variety of Polynomial Differential Systems

abstract: We investigate the symmetry component of the center variety of polynomial differential systems, corresponding to systems with an axis of symmetry in the real plane. We give a general algorithm to find this irreducible subvariety and compute its dimension. We show that our methods provide a simple way to compute the radical of the ideal generated by the focus quantities and, therefore, to estimate the cyclicity of a center in the case when the ideal is radical. In particular, we use our methods to get a simple proof of the famous Bautin theorem on the cyclicity of the quadratic system.


title: Reflexive subgroups of the Baer-Specker group and Martin's axiom

abstract: In two recent papers (math.LO/0003164 and math.LO/0003165) we answered a question raised in the book by Eklof and Mekler (p. 455, Problem 12) under the set theoretical hypothesis of diamondsuit_{aleph_1} which holds in many models of set theory, respectively of the special continuum hypothesis (CH). The objects are reflexive modules over countable principal ideal domains R, which are not fields. Following H.Bass, an R-module G is reflexive if the evaluation map s:G ---> G^{**} is an isomorphism. Here G^*=Hom(G,R) denotes the dual module of G. We proved the existence of reflexive R-modules G of infinite rank with G not cong G+R, which provide (even essentially indecomposable) counter examples to the question mentioned above. Is CH a necessary condition to find `nasty' reflexive modules? In the last part of this paper we will show (assuming the existence of supercompact cardinals) that large reflexive modules always have large summands. So at least being essentially indecomposable needs an additional set theoretic assumption. However the assumption need not be CH as shown in the first part of this paper. We will use Martin's axiom to find reflexive modules with the above decomposition which are submodules of the Baer-Specker module R^omega.


title: On our paper `Almost Free Splitter', a correction

abstract: Let R be a subring of Q and recall from math.LO/9910161 that an R-module G is a splitter if Ext_R(G,G)=0. We correct the statement of Main Theorem 1.5 in math.LO/9910161. Assuming CH any aleph_1$-free splitter of cardinality aleph_1 is free over its nucleus as shown in math.LO/9910161. Generally these modules are very close to being free as explained below. This change follows from math.LO/9910161 and is due to an incomplete proof (noticed thanks to Paul Eklof) in the first section of math.LO/9910161. Assuming the negation of CH, in Shelah [Sh:F417] (work in progress) it will be shown that under Martin's axiom these splitters are free indeed. However there are models of set theory having non-free aleph_1-free splitter of cardinality aleph_1.


title: On nice equivalence relations on 2^\lambda

abstract: The main question here is the possible generalization of the following theorem on ``simple'' equivalence relation on 2^omega to higher cardinals. Theorem: (1) Assume that: (a) E is a Borel 2-place relation on 2^omega, (b) E is an equivalence relation, (c) if eta, nu in 2^omega and (exists ! n)(eta(n) not= nu(n)), then eta, nu are not E --equivalent. Then there is a perfect subset of 2^omega of pairwise non E-equivalent members. (2) Instead of ``E is Borel'', ``E is analytic (or even a Borel combination of analytic relations)'' is enough. (3) If E is a Pi^1_2 relation which is an equivalence relation satisfying clauses (b)+(c) in V^Cohen, then the conclusion of (1) holds.


title: On the support of solutions to the g-KdV equation

abstract: We discuss the question whether solutions of the initial value problem for the generalized KdV equation can have compact support at two different times.


title: Gravitational Descendants and the Moduli Space of Higher Spin Curves

abstract: The purpose of this note is introduce a new axiom (called the Descent Axiom) in the theory of $r$-spin cohomological field theories. This axiom explains the origin of gravitational descendants in this theory. Furthermore, the Descent Axiom immediately implies the Vanishing Axiom, explicating the latter (which has no a priori analog in the theory of Gromov-Witten invariants), in terms of the multiplicativity of the virtual class. We prove that the Descent Axiom holds in the convex case, and consequently in genus zero.


title: The Hermitian Connection and the Jacobi Fields of a Complex Finsler Manifold

abstract: It is proved that all invariant functions of a complex Finsler manifold can be totally recovered from the torsion and curvature of the connection introduced by Kobayashi for holomorphic vector bundles with complex Finsler structures. Equations of the geodesics and Jacobi fields of a generic complex Finsler manifold, expressed by means Kobayashi's connection, are also derived.


title: Hua system and pluriharmonicity for symmetric irreducible Siegel domains of type II

abstract: We consider the Johnson-Koranyi-Hua system on symmetric Siegel domains of type two. We prove that all functions which are annihilated by the system and satisfy an H^2 integrability condition are pluriharmonic. So the situation is completely different on type two domains than on tube type domains: it was proved by Johnson and Koranyi that on symmetric tube type domains the system characterizes Poisson-Szego integrals.


title: Torsions and Curvatures on Jet Fibre Bundle J^1(T,M)

abstract: The paper introduces the notion of \Gamma-linear connection \nabla on the 1-jet fibre bundle J^1(T,M), and presents its local components. We also describe the local Ricci and Bianchi identities of $\nabla$.


title: Upon h-normal \Gamma-linear connections on J^1(T,M)

abstract: The paper introduces the notion of h-normal \Gamma-linear connection \nabla on 1-jet fibre bundle J^1(T,M), and studies its local d-torsions and d-curvatures togheter with theirs Bianchi identities. Also, it presents the important deflection d-tensors identities attached to \nabla.


title: The Geometry of Metrical Multi-time Lagrange Spaces

abstract: A geometrization of a Kronecker $h$-regular multi-time Lagrangian function with partial derivatives of order one is described, in the sense of d-connections, d-torsions and d-curvatures.


title: New Lorentz spaces for the restricted weak-type Hardy's inequalities

abstract: Associated to the class of restricted-weak type weights for the Hardy operator, we find a new class of Lorentz spaces for which the normability property holds. This result is analogous to the characterization given by Sawyer for the classical Lorentz spaces. We also show that these new spaces are very natural to study the existence of equivalent norms described in terms of the maximal function


title: H^1 n'a pas de base compl\`etement inconditionnelle

abstract: Let H^1 be the classical Hardy space of analytic functions on the unit disc. We show that this space does not admit any finite rank completely unconditional decomposition of the identity.


title: Multipliers of the Hardy space H^1 and power bounded operators

abstract: We study the space of functions $\phi\colon \NN\to \CC$ such that there is a Hilbert space $H$, a power bounded operator $T$ in $B(H)$ and vectors $\xi,\eta$ in $H$ such that $$\phi(n) = < T^n\xi,\eta>.$$ This implies that the matrix $(\phi(i+j))_{i,j\ge 0}$ is a Schur multiplier of $B(\ell_2)$ or equivalently is in the space $(\ell_1 \buildrel {\vee}\over {\otimes} \ell_1)^*$. We show that the converse does not hold, which answers a question raised by Peller [Pe]. Our approach makes use of a new class of Fourier multipliers of $H^1$ which we call ``shift-bounded''. We show that there is a $\phi$ which is a ``completely bounded'' multiplier of $H^1$, or equivalently for which $(\phi(i+j))_{i,j\ge 0}$ is a bounded Schur multiplier of $B(\ell_2)$, but which is not ``shift-bounded'' on $H^1$. We also give a characterization of ``completely shift-bounded'' multipliers on $H^1$.


title: Superatomic Boolean Algebras: maximal rigidity

abstract: We prove that for any superatomic Boolean Algebra of cardinality >beth_omega there is an automorphism moving uncountably many atoms. Similarly for larger cardinals. Any of those results are essentially best possible.


title: Polynomial Algebras on Coadjoint Orbits of Semisimple Lie Groups

abstract: We study the algebraic structure of the Poisson algebra P(O) of polynomials on a coadjoint orbit O of a semisimple Lie algebra. We prove that P(O) splits into a direct sum of its center and its derived ideal. We also show that P(O) is simple as a Poisson algebra iff O is semisimple.


title: The relative consistency of g<cf(Sym(omega))

abstract: We prove the consistency result from the title. By forcing we construct a model of g=aleph_1, b=cf(Sym(omega))=aleph_2.


title: On properties of theories which preclude the existence of universal models

abstract: In this paper we investigate some properties of first order theories which prevent them from having universal models under certain cardinal arithmetic assumptions. Our results give a new syntactical condition, oak property, which is a sufficient condition for a theory not to have universal models in cardinality lambda when certain cardinal arithmetic assumptions implying the failure of GCH (and close to the failure of SCH) hold.


title: Fallen Cardinals

abstract: We prove that for every singular cardinal mu of cofinality omega, the complete Boolean algebra compP_mu(mu) contains as a complete subalgebra an isomorphic copy of the collapse algebra Comp Col(omega_1,mu^{aleph_0}). Consequently, adding a generic filter to the quotient algebra P_mu(mu)=P(mu)/[mu]^{<mu} collapses mu^{aleph_0} to aleph_1. Another corollary is that the Baire number of the space U(mu) of all uniform ultrafilters over mu is equal to omega_2. The corollaries affirm two conjectures by Balcar and Simon. The proof uses pcf theory.


title: A Note on Extensions of Infinitary Logic

abstract: We show that a strong form of the so called Lindstrom's Theorem fails to generalize to extensions of L_{kappa,omega} and L_{kappa,kappa}: For weakly compact kappa there is no strongest extension of L_{kappa,omega} with the (kappa,kappa)-compactness property and the Lowenheim-Skolem theorem down to kappa. With an additional set-theoretic assumption, there is no strongest extension of L_{kappa,kappa} with the (kappa,kappa)-compactness property and the Lowenheim-Skolem theorem down to <kappa.


title: Mirror symmetry, Langlands duality, and commuting elements of Lie groups

abstract: By normalizing the space of commuting pairs of elements in a reductive Lie group G, and the corresponding space for the Langlands dual group, we construct pairs of hyperkahler orbifolds which satisfy the conditions to be mirror partners in the sense of Strominger-Yau-Zaslow. The same holds true for commuting quadruples in a compact Lie group. The Hodge numbers of the mirror partners, or more precisely their orbifold E-polynomials, are shown to agree, as predicted by mirror symmetry. These polynomials are explicitly calculated when G is a quotient of SL(n).


title: Towards a 2-dimensional notion of holonomy

abstract: Previous work (Pradines, 1966, Aof and Brown, 1992) has given a setting for a holonomy Lie groupoid of a locally Lie groupoid. Here we develop analogous 2-dimensional notions starting from a locally Lie crossed module of groupoids. This involves replacing the Ehresmann notion of a local smooth coadmissible section of a groupoid by a local smooth coadmissible homotopy (or free derivation) for the crossed module case. The development also has to use corresponding notions for certain types of double groupoids. This leads to a holonomy Lie groupoid rather than double groupoid, but one which involves the 2-dimensional information.


title: Projective bundles of singular plane cubics

abstract: Classification theory and the study of projective varieties which are covered by rational curves of minimal degrees naturally leads to the study of families of singular rational curves. Since families of arbitrarily singular curves are hard to handle, it has been shown in a previous paper that there exists a partial resolution of singularities which transforms a bundle of possibly badly singular curves into a bundle of nodal and cuspidal plane cubics. In cases which are of interest for classification theory, the total spaces of these bundles will clearly be projective. It is, however, generally false that an arbitrary bundle of plane cubics is globally projective. For that reason the question of projectivity seems to be of interest, and the present work gives a characterization of the projective bundles.


title: On the Distribution Function of the Complexity of Finite Sequences

abstract: Investigations of complexity of sequences lead to important applications such as effective data compression, testing of randomness, discriminating between information sources and many others. In this paper we establish formulas describing the distribution functions of random variables representing the complexity of finite sequences introduced by Lempel and Ziv in 1976. We show that the distribution functions depend in an affine way on the probabilities of the so called "exact" sequences.


title: Calculation of Thom polynomials for group actions

abstract: In this paper we propose a systematic study of Thom polynomials for group actions defined by M. Kazarian. On one hand we show that Thom polynomials are first obstructions for the existence of a section and are connected to several problems of topology, global geometry and enumerative algebraic geometry. On the other hand we describe a way to calculate Thom polynomials: the method of restriction equations. It turned out that though the idea is quite simple the method is very powerful. We reproduced and improved earlier result in several directions (singularities, Schubert calculus, quivers). However a proper introduction to the basic theorems was missing. In this paper we try to pay this debt as well as we present the connections with obstruction theory and equivariant cohomology. We give some new results and outline possible generalizations and problems.


title: Sheaves and Local Subgroupoids

abstract: This is an introduction to the notion of local subgroupoid introduced by the author and R. Brown. It can also serve as an introduction to an application of sheaf theory, and so could be useful to beginners in that theory. The main results are the construction of the holonomy groupoid and the notion of s-sheaf for certain local subgroupoids s.


title: On triangleleft^*-maximality

abstract: This paper investigates a connection between the ordering triangleleft^ast among theories in model theory and the (N)SOP_n hierarchy of Shelah. It introduces two properties which are natural extensions of this hierarchy, called SOP_2 and SOP_1, and gives a strong connection between SOP_1 and the maximality in Keisler ordering. Together with the known results about the connection between the (N)SOP_n hierarchy and the existence of universal models in the absence of GCH, the paper provides a step toward the classification of unstable theories without the strict order property.


title: Groups isomorphic to all their non-trivial normal subgroups

abstract: In answer to a question of P. Hall, we supply another construction of a group which is isomorphic to each of its non-trivial normal subgroups.


title: Localizations of Groups

abstract: A group homomorphism eta:A-> H is called a localization of A if every homomorphism phi:A-> H can be `extended uniquely' to a homomorphism Phi:H-> H in the sense that Phi eta = phi. This categorical concepts, obviously not depending on the notion of groups, extends classical localizations as known for rings and modules. Moreover this setting has interesting applications in homotopy theory. For localizations eta:A-> H of (almost) commutative structures A often H resembles properties of A, e.g. size or satisfying certain systems of equalities and non-equalities. Perhaps the best known example is that localizations of finite abelian groups are finite abelian groups. This is no longer the case if A is a finite (non-abelian) group. Libman showed that A_n-> SO_{n-1}(R) for a natural embedding of the alternating group A_n is a localization if n even and n >= 10 . Answering an immediate question by Dror Farjoun and assuming the generalized continuum hypothesis GCH we recently showed in math.LO/9912191 that any non-abelian finite simple has arbitrarily large localizations. In this paper we want to remove GCH so that the result becomes valid in ordinary set theory. At the same time we want to generalize the statement for a larger class of A 's.


title: On a construction of Friedman

abstract: H. Friedman obtained remarkable results about the longest finite sequence $x$ such that for all $i \not= j$ the word $x[i..2i]$ is not a subsequence of $x[j..2j]$. In this note we consider what happens when ``subsequence'' is replaced by ``subword''.


title: Philip Hall's Problem On Non-Abelian Splitters

abstract: Philip Hall raised around 1965 the following question which is stated in the Kourovka Notebook: Is there a non-trivial group which is isomorphic with every proper extension of itself by itself? We will decompose the problem into two parts: We want to find non-commutative splitters, that are groups G not= 1 with Ext(G,G)=1 . The class of splitters fortunately is quite large so that extra properties can be added to G. We can consider groups G with the following properties: There is a complete group L with cartesian product L^omega cong G, Hom(L^omega,S_omega)=0 (S_omega the infinite symmetric group acting on omega) and End(L,L)=Inn(L) cup {0}. We will show that these properties ensure that G is a splitter and hence obviously a Hall-group in the above sense. Then we will apply a recent result from our joint paper math.GR/0009089 which also shows that such groups exist, in fact there is a class of Hall-groups which is not a set.


title: Tamagawa numbers of diagonal cubic surfaces of higher rank

abstract: We consider diagonal cubic surfaces defined by an equation of the form ax^3+by^3+cz^3+dt^3 = 0. Numerically, one can find all rational points of height < B for B in the range of up to 100 000, thanks to a program due to D. J. Bernstein. On the other hand, there are precise conjectures concerning the constants in the asymptotics of rational points of bounded height due to Manin, Batyrev and the authors. Changing the coefficients one can obtain cubic surfaces with rank of the Picard group varying between 1 and 4. We check that numerical data are compatible with the above conjectures. In a previous paper we considered cubic surfaces with Picard groups of rank one with or without Brauer-Manin obstruction to weak approximation. In this paper, we test the conjectures for diagonal cubic surfaces with Picard groups of higher rank.


title: Twisted Higgs bundles and the fundamental group of compact K\"ahler manifolds

abstract: We study polystable Higgs bundles twisted by a line bundle over a compact K\"ahler manifold. These form a Tannakian category when the first and second Chern classes of the bundle are zero. In this paper we identify the corresponding Tannaka group in the case in which the line bundle is of finite order. This group is described in terms of the pro-reductive completion of the fundamental group of the manifold, and the character associated to the line bundle.


title: On the number of return words in infinite words with complexity 2n+1

abstract: In this article, we count the number of return words in some infinite words with complexity 2n+1. We also consider some infinite words given by codings of rotation and interval exchange transformations on k intervals. We prove that the number of return words over a given word w for these infinite words is exactly k.


title: Characterization of Local Configuration Controllability for a Class of Mechanical Systems

abstract: We investigate local configuration controllability for mechanical control systems within the affine connection formalism. Extending the work by Lewis for the single-input case, we are able to characterize local configuration controllability for systems with $n$ degrees of freedom and $n-1$ input forces.


title: Search for Three Forged Coins

abstract: Suppose we are given a set of t coins which look identical, but a known number s of them are counterfeit, with a known weight different from the others. Our problem is to locate the counterfeits by weighing subsets of the t coins, with as few weighings as possible. Despite a large literature on this problem, it remains wide open for s>2. In this paper, we give an efficient sequential weighing algorithm for the case s=3, with an average of 1.75 weighings per bit of t, as t approaches infinity. (It is known that any algorithm must have more than 1.5 weighings per bit.) We use our algorithm to give an efficient channel coding for the three-sender multiple-access adder channel with feedback.


title: A degeneration of stable morphisms and relative stable morphisms

abstract: The introduction is modified in the revised version. Also, many typos and errors were corrected. Let $W\to C$ be degeneration of smooth varieties so that the special fiber has normal crossing singularity. In this paper, we first constructed the stack of expanded degenerations of $W$. We then constructed the moduli space of stable morphisms to this stack, which provides a degeneration of the moduli spaces of stable morphisms associated to $W/C$. Using similar technique, for a pair of smooth variety and a smooth divisor $(Z,D)$, we constructed the stack of expanded relative pairs and then the moduli spaces of relative stable morphisms to $(Z,D)$. In the subsequent paper we will construct the relative Gromov-Witten invariants and prove a degeneration formula of Gromov-Witten invariants.


title: Random walks with strongly inhomogeneous rates and singular diffusions: convergence, localization and aging in one dimension

abstract: Let $\tau = (\tau_i : i \in {\Bbb Z})$ denote i.i.d.~positive random variables with common distribution $F$ and (conditional on $\tau$) let $X = (X_t : t\geq0, X_0=0)$, be a continuous-time simple symmetric random walk on ${\Bbb Z}$ with inhomogeneous rates $(\tau_i^{-1} : i \in {\Bbb Z})$. When $F$ is in the domain of attraction of a stable law of exponent $\alpha<1$ (so that ${\Bbb E}(\tau_i) = \infty$ and X is subdiffusive), we prove that $(X,\tau)$, suitably rescaled (in space and time), converges to a natural (singular) diffusion $Z = (Z_t : t\geq0, Z_0=0)$ with a random (discrete) speed measure $\rho$. The convergence is such that the ``amount of localization'', $\E \sum_{i \in {\Bbb Z}} [\P(X_t = i|\tau)]^2$ converges as $t \to \infty$ to $\E \sum_{z \in {\Bbb R}} [\P(Z_s = z|\rho)]^2 > 0$, which is independent of $s>0$ because of scaling/self-similarity properties of $(Z,\rho)$. The scaling properties of $(Z,\rho)$ are also closely related to the ``aging'' of $(X,\tau)$. Our main technical result is a general convergence criterion for localization and aging functionals of diffusions/walks $Y^{(\epsilon)}$ with (nonrandom) speed measures $\mu^{(\epsilon)} \to \mu$ (in a sufficiently strong sense).


title: Some Results for the Local Subgroupoids

abstract: The notion of local subgroupoids as generalition of a local equivalence relations was defined by the first author and R.Brown. Here we investigate some relations between transitive components and coherence properties of the local subgroupoids.


title: Extendibility, monodromy and local triviality for topological groupoids

abstract: A groupoid is a small category in which each morphism has an inverse. A topological groupoid is a groupoid in which both sets of objects and morphisms have topologies such that all groupoid structure maps are continuous. The notion of monodromy groupoid of a topological groupoid generalises those of fundamental groupoid and universal covering. It was earlier proved that the monodromy of a locally sectionable topological groupoid has a topological groupoid structure satisfying some properties. In this paper a similar problem is studied for compatible locally trivial topological groupoids.


title: The surjectivity problem for one-generator,, one-relator extensions of torsion-free groups

abstract: We use Klyachko's methods to prove that the natural map G to G-hat, where G is a torsion-free group and G-hat is obtained by adding a new generator t and a new relator w, is surjective only if w is conjugate to gt or gt^{-1} for some g in G. This solves a special case of the surjectivity problem for group extensions, raised by Cohen [Whitehead torsion, group extensions, and Zeeman's conjecture in high dimensions, Topology, 16 (1977) 79--88].


title: A New Convexity Result and the Multiple Access Channel

abstract: We compute the capacity region of the s-sender Multiple Access Adder Channel in information theory and obtain an explicit description of this region as only one polyhedron, instead of a convex hull of infinitely many polyhedrons. We obtain this by proving a conjecture raised by Lindstrom in 1975, which in turn follows from certain convexity results, both continuous and discrete.


title: Blocks of Lie Superalgebras of Type W(n)

abstract: We calculate the blocks of the category of finite-dimensional representations of W(0,n), with n > 2, and show that all are of wild type. As an application, we show that the centre of the universal enveloping algebra is trivial.


title: The top Chern class of the Hodge bundle on the moduli space of abelian varieties

abstract: We give upper and lower bounds for the order of the top Chern class of the Hodge bundle on the moduli space of principally polarized abelian varieties. We also give a generalization to higher genera of the famous formula $12 \lambda_1=\delta$ for genus 1.


title: A note on solvable Lie groups without lattices and the Felix-Thomas models of fibrations

abstract: In this paper we show that a certain solvable Lie group constructed in a paper by Benson and Gordon has no lattices. This result answers (in the negative way) a question posed by several authors in the context of symplectic geometry. The main theorem is proved with the use of rational homotopy theory.


title: Hopf quivers

abstract: We classify graded Hopf algebras structures over path coalgebras, that is over free pointed coalgebras, using Hopf quivers which are analogous to Cayley graphs. The description involves formulas for the product besides the canonical formulas for the coproduct. This makes explicit the quantum shuffle product making use of natural elements in a Hopf bimodule having a simple "geometrical" interpretation in the quiver sense, rather than working systematically with right or left coinvariants.


title: Calculating maps between n-categories

abstract: We give an explicit way of calculating the set of homotopy classes of morphisms from a Tamsamani n-category A to another one B. This calculation uses a Reedy-cofibrant cosimplicial resolution of A, using a new notion of ``free cofibration'' of n-precats. The free cofibrations of n-precats seem to be the analogue for n-categories of the Bousfield-Kan cofibrations in the theory of diagrams.


title: The Nash Conjecture for Nonprojective Threefolds

abstract: We prove that for every compact, connected, differentiable 3--manifold $M$ there is a compact complex manifold $X$ which can be obtained from projective 3--space by a sequence of smooth, real blow ups and downs such that $M$ is diffeomorphic to the set of real points of $X$. By earlier results, such an $X$ can almost never be projective.


title: Generators of the cohomology ring of moduli spaces of sheaves on symplectic surfaces

abstract: Let M be a moduli space of stable sheaves on a K3 or Abelian surface S. We express the class of the diagonal in the cartesian square of M in terms of the Chern classes of a universal sheaf. Consequently, we obtain generators of the cohomology ring of M. When S is a K3 and M is the Hilbert scheme of length n subschemes, this set of generators is sufficiently small in the sense that there aren't any relations among them in the stable cohomology ring. When S is the cotangent bundle of a Riemann surface, we recover the result of T. Hausel and M. Thaddeus: The cohomology ring of the moduli spaces of Higgs bundles is generated by the universal classes.


title: Large deviations for a zero mean asymmetric zero range process in random media

abstract: We consider an asymmetric zero range process in infinite volume with zero mean and random jump rates starting from equilibrium. We investigate the large deviations from the hydrodynamical limit of the empirical distribution of particles and prove an upper and a lower bound for the large deviation principle. Our main argument is based on a super-exponential estimate in infinite volume. For this we extend to our case a method developed by Kipnis & al. (1989) and Benois & al. (1995).


title: K-area, Hofer metric and geometry of conjugacy classes in Lie groups

abstract: Given a closed symplectic manifold $(M,\omega)$ we introduce a certain quantity associated to a tuple of conjugacy classes in the universal cover of the group ${\hbox{\it Ham}} (M,\omega)$ by means of the Hofer metric on ${\hbox{\it Ham}} (M,\omega)$. We use pseudo-holomorphic curves involved in the definition of the multiplicative structure on the Floer cohomology of a symplectic manifold $(M,\omega)$ to estimate this quantity in terms of actions of some periodic orbits of related Hamiltonian flows. As a corollary we get a new way to obtain Agnihotri-Belkale-Woodward inequalities for eigenvalues of products of unitary matrices. As another corollary we get a new proof of the geodesic property (with respect to the Hofer metric) of Hamiltonian flows generated by certain autonomous Hamiltonians. Our main technical tool is K-area defined for Hamiltonian fibrations over a surface with boundary in the spirit of L.Polterovich's work on Hamiltonian fibrations over $S^2$.


title: Descent-cycling in Schubert calculus

abstract: We prove two lemmata about Schubert calculus on generalized flag manifolds G/B, and in the case of the ordinary flag manifold GL_n/B we interpret them combinatorially in terms of descents, and geometrically in terms of missing subspaces. One of them gives a symmetry of Schubert calculus that we christen_descent-cycling_. Computer experiment shows that these lemmata suffice to determine all of GL_n Schubert calculus through n=5, and 99.97%+ at n=6. We use them to give a quick proof of Monk's rule. The lemmata also hold in equivariant (``double'') Schubert calculus for Kac-Moody groups G.


title: Apollonian Circle Packings: Number Theory

abstract: Apollonian circle packings arise by repeatedly filling the interstices between mutually tangent circles with further tangent circles. It is possible for every circle in such a packing to have integer radius of curvature, and we call such a packing an {\em integral Apollonian circle packing.} This paper studies number-theoretic properties of the set of integer curvatures appearing in such packings. Each Descartes quadruple of four tangent circles in the packing gives an integer solution to the {\em Descartes equation}, which relates the radii of curvature of four mutually tangent circles: $2 (x^2 + y^2 + z^2 + w^2) - (x + y + z + w)^2 = 0.$ Each integral Apollonian circle packing is classified by a certain {\em root quadruple} of integers that satisfies the Descartes equation, and that corresponds to a particular quadruple of circles appearing in the packing. We determine asymptotics for the number of root quadruples of size below $T$. We study which integers occur in a given integer packing, and determine congruence restrictions which sometimes apply. Finally, we present evidence suggesting that the set of integer radii of curvatures that appear in an integral Apollonian circle packing has positive density, and in fact represents all sufficiently large integers not excluded by congruence conditions. In a series of companion papersr ``Apollonian Circle Packings: Geometry and Group Theory,'' we investigate a variety of group-theoretic properties of these configurations, as well as various extensions to higher dimensions and other spaces, such as hyperbolic space.


title: Basic Dynamical Systems Control of Aeroengine Flow

abstract: The notions of basic controllability and basic control are defined using dynamical systems theory of partial differential equations. A quadratic optimal control of the linearized viscous Moore-Greitzer equation is presented and it is confirmed that stall is uncontrollable in this model. A basic control is constructed for the nonlinear viscous Moore-Greitzer equation which can control both surge and stall. Numerical simulations of the basic control are presented.


title: Hodge-theoretic obstruction to existence of quaternion algebras

abstract: The class in the Brauer group of a quaternion algebra over a field is 2-torsion. We study the following question: Which 2-torsion elements of the Brauer group of a complex function field are representable by quaternion algebras? Using intersection theory to show that a certain cohomology class (on a smooth projective model) is the class of an algebraic cycle, we arrive at an obstruction, defined on a subgroup of the 2-torsion of the Brauer group, to representability by quaternion algebras. For the function fields of some complex threefolds, the obstruction map is computed and found to be nontrivial.


title: Combinatorics of geometrically distributed random variables: Value and position of large left-to-right maxima

abstract: For words of length n, generated by independent geometric random variables, we consider the average value and the average position of the r-th left-to-right maximum counted from the right, for fixed r and n->oo. This complements previous research where the analogous questions were considered for the r-th left-to-right maximum counted from the left.


title: Metrical Multi-Time Lagrange Geometry of Physical Fields

abstract: The author exposes the metrical multi-time Lagrange geometry of physical fields which naturally generalizes the classical Lagrangian developped by Miron and Anastasiei. In other words, one constructs a natural theory of physical fields on the 1-jet fibre bundle, attached to a Kronecker h-regular multi-time Lagrangian with partial derivatives of order one.


title: Finding topology in a factory: configuration spaces

abstract: This expository article describes applications of topological configuration spaces to the control of robotic systems. In particular, we review recent work by the authors on configuration spaces of graphs. These are lovely spaces: we show for example that the configuration space of two points on the complete graph of five vertices is a closed orientable surface of genus six.


title: Finite quantum groups over abelian groups of prime exponent

abstract: Since the discovery of quantum groups (Drinfeld, Jimbo) and finite dimensional variations thereof (Lusztig, Manin), these objects were studied from different points of view and had many applications. The present paper is part of a series where we intend to show that important classes of Hopf algebras are quantum groups and therefore belong to Lie theory. One of our main results is the explicit construction of a general family of pointed Hopf algebras from Dynkin diagrams. All the Frobenius-Lusztig kernels and their parabolic subalgebras belong to this family, but in addition we get many new examples. We show that any finite dimensional pointed Hopf algebra with group of prime exponent (greater than 17) is indeed in this family. An important step in the proof follows from a another result, where we show that a wide family of finite dimensional pointed Hopf algebras is generated by group-like and skew-primitive elements, giving additional support to a conjecture in our previous paper "Finite quantum groups and Cartan matrices", Adv. Math. 154 (2000), 1--45.


title: Discrete Nodal Domain Theorems

abstract: We give a detailed proof for two discrete analogues of Courant's Nodal Domain Theorem.


title: The dihedral Lie algebras and Galois symmetries of \pi_1^l(P^1 - 0, infinity and N-th roots of unity)

abstract: We study the action of the Galois group on the pro-l-completion of the fundamental group of P^1 - {0, infinity and N-th roots of unity}. We describe the Lie algebra of the image of the Galois action and relate with the geometry of the modular varieties for GL_m for m = 1,2,3,... This story is the l-adic side of the motivic theory of multiple polylogarithms at roots of unity, which generalize the classical cyclotomy theory.


title: On polarized surfaces of low degree whose adjont bundles are not spanned

abstract: Smooth complex surfaces polarized with an ample and globally generated line bundle of degree three and four, such that the adjoint bundle is not globally generated, are considered. Scrolls of a vector bundle over a smooth curve are shown to be the only examples in degree three. Two classes of examples in degree four are presented, one of which is shown to characterize regular such pairs. A Reider-type theorem is obtained in which the assumption on the degree of the polarization is removed.


title: Hyperelliptic jacobians and projective linear Galois groups

abstract: In his previous paper (Math. Res. Letters 7(2000), 123--132) the author proved that in characteristic zero the jacobian $J(C)$ of a hyperelliptic curve $C: y^2=f(x)$ has only trivial endomorphisms over an algebraic closure $K_a$ of the ground field $K$ if the Galois group $Gal(f)$ of the irreducible polynomial $f(x) \in K[x]$ is either the symmetric group $S_n$ or the alternating group $A_n$. Here $n>4$ is the degree of $f$. In math.AG/0003002 we extended this result to the case of certain ``smaller'' Galois groups. In particular, we treated the infinite series $n=2^r+1, Gal(f)=L_2(2^r)$ and $n=2^{4r+2}+1, Gal(f)=Sz(2^{2r+1})$. In the present paper we prove that $J(C)$ has only trivial endomorphisms over $K_a$ if the set of roots of $f$ could be identified with the $(m-1)$-dimensional projective space $P^{m-1}(F_q)$ over a finite field $F_q$ of odd characteristic in such a way that $Gal(f)$, viewed as its permutation group, becomes either the projective linear group $PGL(m,F_q)$ or the projective special linear group $L_m(q):=PSL(m,F_q)$. Here we assume that $m>2$.


title: Grothendieck Groups of Poisson Vector Bundles

abstract: A new invariant of Poisson manifolds, a Poisson K-ring, is introduced. Hypothetically, this invariant is more tractable than such invariants as Poisson (co)homology. A version of this invariant is also defined for arbitrary algebroids. Basic properties of the Poisson K-ring are proved and the Poisson K-rings are calculated for a number of examples. In particular, for the zero Poisson structure the K-ring is the ordinary K-theory of the manifold and for the dual space to a Lie algebra the K-ring is the ring of virtual representations of the Lie algebra. It is also shown that the K-ring is an invariant of Morita equivalence. Moreover, the K-ring is a functor on a category, the weak Morita category, which generalizes the notion of Morita equivalence of Poisson manifolds.


title: Conjugated filter approach for solving Burgers' equation with high Reynolds number

abstract: We propose a conjugated filter oscillation reduction scheme for solving Burgers' equation with high Reynolds numbers. Computational accuracy is tested at a moderately high Reynolds number for which analytical solution is available. Numerical results at extremely high Reynolds numbers indicate that the proposed scheme is efficient, robust and reliable for shock capturing.


title: Automorphisms of Finite Order on Rational Surfaces

abstract: We classify minimal pairs (X, G) for smooth rational projective surface X and finite group G of automorphisms on X. We also determine the fixed locus X^G and the quotient surface Y = X/G as well as the fundamental group of the smooth part of Y. The realization of each pair is included. Mori's extremal ray theory and recent results of Alexeev and also Ambro on the existence of good anti-canonical divisors are used.


title: Sur l'anneau de cohomologie du sch\'ema de Hilbert de $\CC^2$

abstract: We express the product of the cohomology ring of the Hilbert scheme in terms of the center of the algebra of the symmetric group. We give a conjecture for the case of crepant resolutions of symplectic quotient singularities.


title: Idempotent functional analysis: an algebraic approach

abstract: In this paper we consider Idempotent Functional Analysis, an `abstract' version of Idempotent Analysis developed by V. P. Maslov and his collaborators. We give a review of the basic ideas of Idempotent Analysis. The correspondence between concepts and theorems of the traditional Functional Analysis and its idempotent version is discussed; this correspondence is similar to N. Bohr's correspondence principle in quantum theory. We present an algebraical approach to Idempotent Functional Analysis. Basic notions and results are formulated in algebraical terms; the essential point is that the operation of idempotent addition can be defined for arbitrary infinite sets of summands. We study idempotent analogs of the main theorems of linear functional analysis and results concerning the general form of a linear functional and scalar products in idempotent spaces.


title: Minimax Entropy and Maximum Likelihood. Complementarity of tasks, identity of solutions

abstract: Concept of exponential family is generalized by simple and general exponential form. Simple and general potential are introduced. Maximum Entropy and Maximum Likelihood tasks are defined. ML task on the simple exponential form and ME task on the simple potentials are proved to be complementary in set-up and identical in solutions. ML task on the general exponential form and ME task on the general potentials are weakly complementary, leading to the same necessary conditions. A hypothesis about complementarity of ML and MiniMax Entropy tasks and identity of their solutions, brought up by a special case analytical as well as several numerical investigations, is suggested in this case. MiniMax Ent can be viewed as a generalization of MaxEnt for parametric linear inverse problems, and its complementarity with ML as yet another argument in favor of Shannon's entropy criterion.


title: Hankel determinants of Eisenstein series

abstract: In this paper we prove Garvan's conjectured formula for the square of the modular discriminant $\Delta$ as a 3 by 3 Hankel determinant of classical Eisenstein series $E_{2n}$. We then obtain similar formulas involving minors of Hankel determinants for $E_{2r}\Delta^m$, for $m=1,2,3$ and $r=2,3,4,5,7$, and $E_{14}\Delta^4$. We next use Mathematica to discover, and then the standard structure theory of the ring of modular forms, to derive the general form of our infinite family of formulas extending the classical formula for $\Delta$ and Garvan's formula for $\Delta^2$. This general formula expresses the $n\times n$ Hankel determinant $\det(E_{2(i+j)}(q))_{1\leq i,j\leq n}$ as the product of $\Delta^{n-1}(\tau)$, a homogeneous polynomial in $E_4^3$ and $E_6^2$, and if needed, $E_4$. We also include a simple verification proof of the classical 2 by 2 Hankel determinant formula for $\Delta$. This proof depends upon polynomial properties of elliptic function parameters from Jacobi's Fundamenta Nova. The modular forms approach provides a convenient explanation for the determinant identities in this paper.


title: Symmetric groups and the cup product on the cohomology of Hilbert schemes

abstract: The integral cohomology ring of the Hilbert scheme of n-tuples on the affine plane is shown to be isomorphic to the graded ring associated to a filtration of the ring of integral class functions on the symmetric group.


title: Vertex algebras and the cohomology ring structure of Hilbert schemes of points on surfaces

abstract: Using vertex algebra techniques, we determine a set of generators for the cohomology ring of the Hilbert schemes of points on an arbitrary smooth projective surface over the field of complex numbers.


title: Exponents of an irreducible plane curve singularity

abstract: We give an explicit formula for the exponents (i.e. the spectra up to the shift by one) of an irreducible plane curve singularity in terms of Puiseux pairs. As an application we prove in this case Hertling's conjecture that the variance (i.e. the square of the standard deviation) of the exponents is bounded by the difference between the maximal and minimal exponents divided by 12.


title: Geometry and arithmetic on a quintic threefold

abstract: The paper investigates some aspects of the geometry and the arithmetic of a non-rigid Calabi-Yau threefold. Particular emphasis is given to the study of its L-function L(H^3,s) and the Galois representation.


title: Combinatorial and algebraic structure in Orlik-Solomon algebras

abstract: The Orlik-Solomon algebra ${\cal A}(G)$ of a matroid $G$ is the free exterior algebra on the points, modulo the ideal generated by the circuit boundaries. On one hand, this algebra is a homotopy invariant of the complement of any complex hyperplane arrangement realizing $G$. On the other hand, some features of the matroid $G$ are reflected in the algebraic structure of ${\cal A}(G)$. In this mostly expository article, we describe recent developments in the construction of algebraic invariants of ${\cal A}(G)$. We develop a categorical framework for the statement and proof of recently discovered isomorphism theorems which suggests a possible setting for classification theorems. Several specific open problems are formulated.


title: Levi foliations in pseudoconvex boundaries and vector fields that commute approximately with d-bar

abstract: Boas and Straube proved a general sufficient condition for global regularity of the d-bar Neumann problem in terms of families of vector fields that commute approximately with d-bar. In this paper, we study the existence of these vector fields on a compact subset of the boundary whose interior is foliated by complex manifolds. This question turns out to be closely related to properties of interest from the point of view of foliation theory.


title: A direct proof of a theorem of Blaschke and Lebesgue

abstract: The Blaschke-Lebesgue Theorem states that among all planar convex domains of given constant width B the Reuleaux triangle has minimal area. It is the purpose of the present note to give a direct proof of this theorem by analyzing the underlying variational problem. The advantages of the proof are that it shows uniqueness (modulo rigid deformations such as rotation and translation) and leads analytically to the shape of the area-minimizing domain. Most previous proofs have relied on foreknowledge of the minimizing domain. Key parts of the analysis extend to the higher-dimensional situation, where the convex body of given constant width and minimal volume is unknown.


title: Harmonic Maps between Generalized Lagrange Spaces

abstract: In this paper are studied the harmonic maps between two generalized Lagrange spaces. At the same time, it is proved that the solutions of $C^2$ class of certain ODEs or PDEs are harmonic maps between certain convenient generalized Lagrange spaces.


title: Solutions of Inverse Problems for Variational Calculus

abstract: The paper studies the harmonic maps on a direction between a Riemannian space and a generalized Lagrange space. Also, it is proved there that the solutions of C^2 class of certain ODEs or PDEs are harmonic maps, in the sense of this paper.


title: Geometrical Interpretation of Solutions of Certain PDEs

abstract: We proved that the solutions of $C^2$ class of certain ODEs or PDEs belong to a class of harmonic maps between two convenient generalized Lagrange spaces.


title: Heisenberg duoble, pentagon equation, structure and classification of finite dimensional Hopf algebras

abstract: The study of the pentagon (fusion) equation leds to the Structure and the Classification theorem for finite dimenasional Hopf algebras: there exists a one to one correspondence between the set of types of n-dimensional Hopf algebtras and the set of the orbits of the resticted Jordan action $GL_n(k) \times M_n(k)\otimes M_n(k) \to M_n(k) \otimes M_nk$ $(u, R) \to (u\otimes u)R (u\otimes u)^{-1}$, the representatives of wich are invertible solutions of length n of the pentagon equation.


title: $L^p$ version of a result by Rankin

abstract: We extend a classical result by Rankin. We consider the following question: given $n$ vectors $v_i$ in the ball of radius $R$ of an infinite dimensional Banach space ${\cal B}$ with $d(v_i,v_j)\geq 1$, can we bound the number $n$?


title: Stable mixing for cat maps and quasi-morphisms of the modular group

abstract: It is well-known that the action of a hyperbolic element (``cat map'') of the modular group on the 2-torus has strong chaotic dynamical properties such as mixing and exponential decay of correlations. In this note we study stability of this behaviour with respect to kicks. Our approach is based on geometric group theory, and in particular on a new result on quasimorphisms of the modular group.


title: An L^2-Index Theorem for Dirac Operators on S^1 * R^3

abstract: An expression is found for the $L^2$-index of a Dirac operator coupled to a connection on a $U_n$ vector bundle over $S^1\times{\mathbb R}^3$. Boundary conditions for the connection are given which ensure the coupled Dirac operator is Fredholm. Callias' index theorem is used to calculate the index when the connection is independent of the coordinate on $S^1$. An excision theorem due to Gromov, Lawson, and Anghel reduces the index theorem to this special case. The index formula can be expressed using the adiabatic limit of the $\eta$-invariant of a Dirac operator canonically associated to the boundary. An application of the theorem is to count the zero modes of the Dirac operator in the background of a caloron (periodic instanton).


title: On the Galois Theory of Grothendieck

abstract: In this paper we deal with Grothendieck's interpretation of Artin's interpretation of Galois's Galois Theory (and its natural relation with the fundamental group and the theory of coverings) as he developed it in Expose V, section 4, ``Conditions axiomatiques d'une theorie de Galois'' in the SGA1 1960/61. This is a beautiful piece of mathematics very rich in categorical concepts, and goes much beyond the original Galois's scope (just as Galois went much further than the non resubility of the quintic equation). We show explicitly how Grothendieck's abstraction corresponds to Galois work. We introduce some axioms and prove a theorem of characterization of the category (topos) of actions of a discrete group. This theorem corresponds exactly to Galois fundamental result. The theorem of Grothendieck characterizes the category (topos) of continuous actions of a profinite topological group. We develop a proof of this result as a "passage into the limit'' (in an inverse limit of topoi) of our theorem of characterization of the topos of actions of a discrete group. We deal with the inverse limit of topoi just working with an ordinary filtered colimit (or union) of the small categories which are their (respective) sites of definition. We do not consider generalizations of Grothendieck's work, except by commenting briefly in the last section how to deal with the prodiscrete (not profinite) case. We also mention the work of Joyal-Tierney, which falls naturally in our discussion. There is no need of advanced knowledge of category theory to read this paper, exept for the comments in the last section.


title: On the moduli space of the Schwarzenberger bundles

abstract: By proving a particular case of a conjecture of Drezet, we show that a component of the Maruyama scheme of the semi-stable sheaves on the projective space $\PP^n$ of rank n and Chern polynomial $(1+t)^{n+2}$ is isomorphic to the Kronecher moduli $N(n+1,2,n+2)$, for any odd n. In particular, such scheme defines a smooth minimal compactification of the moduli space of the rational normal curves in $\PP^n$, that generalizes the construction defined by G. Ellinsgrud, R. Piene and S. Str{\o}mme in the case $n=3$.


title: On C*-algebras Associated with Sofic Shifts

abstract: We show that for a sofic shift Lambda, Matsumoto's C*-algebra O_Lambda is isomorphic to the Cuntz-Krieger algebra of the left Krieger cover graph of Lambda.


title: Rank jumps in Codimension 2 A-Hypergeometric Systems

abstract: The holonomic rank of the A-hypergeometric system H_A(\beta) is shown to depend on the parameter vector \beta when the underlying toric ideal I_A is a non Cohen Macaulay codimension 2 toric ideal. The set of exceptional parameters is usually infinite.


title: Rigidity of geometrically finite hyperbolic cone-manifolds

abstract: In a recent paper Hodgson and Kerckhoff prove a local rigidity theorem for finite volume, three dimensional hyperbolic cone-manifolds. In this paper we extend this result to geometrically finite cone-manifolds. Our methods also give a new proof of a local version of the classical rigidity theorem for geometrically finite hyperbolic 3-manifolds.


title: Hyperbolic Dehn surgery on geometrically infinite 3-manifolds

abstract: In this paper we extend Thurston's hyperbolic Dehn surgery theorem to a class of geometrically infinite hyperbolic 3-manifolds. As an application we prove a modest density theorem for Kleinian groups. We also discuss hyperbolic Dehn surgery on geometrically finite hypebolic cone-manifolds.


title: Self-bumping of deformation spaces of hyperbolic 3-manifolds

abstract: Let $N$ be a hyperbolic 3-manifold and $B$ a component of the interior of $AH(\pi_1(N))$, the space of marked hyperbolic 3-manifolds homotopy equivalent to $N$. We will give topological conditions on $N$ sufficient to give $\rho \in \bar{B}$ such that for every small neighborhood $V$ of $\rho$, $V \cap B$ is disconnected. This implies that $\bar{B}$ is not manifold with boundary.


title: The Hanna Neumann Conjecture is true when one subgroup has a positive generating set

abstract: The Hanna Neumann conjecture states that if F is a free group, then for all finitely generated subgroups H,K <= F, rank(H intersect K) - 1 <= [ rank(H)-1 ] [ rank(K)-1 ] In this paper, we show that if one of the subgroups, say H, has a generating set consisting of only positive words, then H is not part of any counterexample to the conjecture. We further show that if H <= F({a,b}) is part of a counterexample to the conjecture, then its folding Gamma_H must contain source and/or sink vertices.


title: Closed nodal lines and interior hot spots of the second eigenfunction of the Laplacian on surfaces

abstract: We build a one-parameter family of S^{1}-invariant metrics on the unit disc with fixed total area for which the second eigenvalue of the Laplace operator in the case of both Neumann and Dirichlet boundary conditions is simple and has an eigenfunction with a closed nodal line. In the case of Neumann boundary conditions, we also prove that this eigenfunction attains its maximum at an interior point, and thus provide a counterexample to the hot spots conjecture on a simply connected surface. This is a consequence of the stronger result that within this family of metrics any given (finite) number of S^{1}-invariant eigenvalues can be made to be arbitrarily small, while the non-invariant spectrum becomes arbitrarily large.


title: Rel\`evement galoisien des rev\^etements de courbes nodales

abstract: Let R be a complete discrete valuation ring of mixed characteristics, with algebraically closed residue field k. We study the existence problem of equivariant liftings to R of Galois covers of nodal curves over k. Using formal geometry, we show that this problem is actually a local one. We apply this local-to-global principle to obtain new results concerning the existence of such liftings.


title: Exceptional groups and del Pezzo surfaces

abstract: Given a del Pezzo surface of degree d between 1 and 6, possibly with rational double points, we construct a "tautological" holomorphic G-bundle over X, where G is a reductive group which is an appropriate conformal form of the simply connected complex linear group whose coroot lattice is isomorphic to the primitive cohomology of the minimal resolution of X. For example, in case d=3 and X is a smooth cubic surface, the rank 27 vector bundle over X associated to the G-bundle constructed above and the standard 27-dimensional representation of E_6 is a direct sum of the line bundles associated to the 27 lines on X. We also discuss the restriction of the G-bundle to smooth hyperplane sections.


title: Explicit parallelizations on products of spheres

abstract: The aim of this paper is to write an explicit orthonormal parallelization for all parallelizable products of spheres, using an explicit isomorphism with a trivial vector bundle.


title: Exact triangles in Seiberg-Witten Floer theory. Part III: proof of exactness

abstract: This is the third part of the work on the exact triangles. We construct chain homomorphisms and show exactness of the resulting sequence.


title: Gluing theorems for complete anti-self-dual spaces

abstract: We give new and rather general gluing theorems for anti-self-dual (ASD) conformal structures, following the method suggested by Floer. The main result is a gluing theorem for pairs of conformally ASD manifolds `joined' across a common piece (union of connected components) of their boundaries. This theorem genuinely operates in the b-category (in the sense of Melrose) and in general the boundary of the joined manifold can be non-empty. The resulting metric is a conformally ASD b-metric or, in more traditional language, a complete conformally ASD metric with cylindrical asymptotics. We also study hermitian-ASD conformal structures on complex surfaces in relation to scalar-flat K\"ahler geometry. The general results are illustrated with a simple application, showing that the blow-up of C^2 at an arbitrary finite set of points admits scalar-flat K\"ahler metrics that are asymptotic to the Euclidean metric at infinity. A number of vanishing theorems for the obstruction space is also included.


title: Exact triangles in Seiberg-Witten Floer theory. Part IV: Z-graded monopole homology

abstract: Some aspects of the construction of SW Floer homology for manifolds with non-trivial rational homology are analyzed. In particular, the case of manifolds that are obtained as zero-surgery on a knot in a homology sphere, and for torsion spinc structures. We discuss relative invariants in the case of torsion spinc structures.


title: On contractively complemented subspaces of separable L_1-preduals

abstract: Let X be an L_1-predual space and let K be a countable linearly independent subset of the extreme points of its closed dual ball. It is shown that if the norm-closed linear span Y of K is w^*-closed in X^*, then Y is the range of a w^*-continuous contractive projection in X^*. This result is applied in order to provide new and simpler proofs of the results of Lazar, Lindenstrauss and Zippin on the embedding of C(K) spaces into X.


title: Singular Asymptotics Lemma and Push-Forward Theorem

abstract: The Singular Asymptotics Lemma by Br\"uning and Seeley and the Push-Forward Theorem by Melrose lie at the very heart of their respective approaches to singular analysis. We review both and show that they deal with the same basic problem, giving solutions that emphasize different aspects of it. This also points to a possible common extension.


title: The Rost invariant has trivial kernel for quasi-split groups of low rank

abstract: For G an almost simple simply connected algebraic group defined over a field F, Rost has shown that there exists a canonical map R_G: H^1(F, G) --> H^3(F, Q/Z(2)). This includes the Arason invariant for quadratic forms and Rost's mod 3 invariant for Albert algebras as special cases. We show that R_G has trivial kernel if G is quasi-split of type E_6 or E_7. A case-by-case analysis shows that it has trivial kernel whenever G is quasi-split of low rank.


title: The Multiplicative Inverse Eigenvalue Problem over an Algebraically Closed Field

abstract: Let $M$ be a square matrix and let $p(t)$ be a monic polynomial of degree $n$. Let $Z$ be a set of $n\times n$ matrices. The multiplicative inverse eigenvalue problem asks for the construction of a matrix in $Z$ such that the product matrix $MZ$ has characteristic polynomial $p(t)$. In this paper we provide new necessary and sufficient conditions when $Z$ is an affine variety over an algebraically closed field.


title: On the theorem converse to Jordan's curve theorem

abstract: Theorem converse to Jordan's curve theorem says that {\it if a compact set $K$ has two complementary domains in $R^{2}$, from each of which it is at every point accessible, it is a simple closed curve}. We show that the requirement of this theorem that {\it all} points of $K$ were accessible from {\it both} complementary domains is surplus and prove one generalization of this theorem.


title: On the volume conjecture for hyperbolic knots

abstract: In this article, we give a rough, and so not complete yet, proof of Kashaev's conjecture, that is, the volume conjecture for hyperbolic knots, where the hyperbolicity equations associated to knot diagrams appear as the stationary phase equations for Kashaev's invariants.


title: An intrinsic homotopy theory for simplicial complexes, with applications to image analysis

abstract: A simplicial complex is a set equipped with a down-closed family of distinguished finite subsets. This structure, usually viewed as codifying a triangulated space, is used here directly, to describe "spaces" whose geometric realisation can be misleading. An intrinsic homotopy theory, not based on such realisation but agreeing with it, is introduced. The applications developed here are aimed at image analysis in metric spaces and have connections with digital topology and mathematical morphology. A metric space X has a structure of simplicial complex at each (positive) resolution e; the resulting n-homotopy group detects those singularities which can be captured by an n-dimensional grid, with edges bound by e; this works equally well for continuous or discrete regions of euclidean spaces. Its computation is based on direct, intrinsic methods.


title: Generators for the cohomology ring of Hilbert schemes of points on surfaces

abstract: Using the methods developed in [LQW], math.AG/0009132, we obtain a second set of generators for the cohomology ring of the Hilbert scheme of points on an arbitrary smooth projective surface over the field of complex numbers. These generators have clear and simple geometric as well as algebraic descriptions.


title: The cohomology ring of free loop spaces

abstract: Let X be a simply connected space and k a commutative ring. Goodwillie, Burghelea and Fiedorowiscz proved that the Hochschild cohomology of the singular chains on the pointed loop space HH^{*}S_*(\Omega X) is isomorphic to the free loop space cohomology H^{*}(X^{S^{1}}). We proved that this isomorphism is compatible with both the cup product on HH^{*}S_*(\Omega X) and on H^{*}(X^{S^{1}}). In particular, we explicit the algebra H^{*}(X^{S^{1}}) when X is a suspended space, a complex projective space or a finite CW-complex of dimension p such that \frac {1}{(p-1)!}\in k.


title: Counting generic genus-0 curves on Hirzebruch surfaces

abstract: Hirzebruch surfaces provide an excellent example to underline the fact that in general symplectic manifolds, Gromov-Witten invariants might well count curves in the boundary components of the moduli space. We use this example to explain in detail that the counting argument given by Batyrev in "Quantum cohomology rings of toric manifolds" (Asterisque 218:9-34, 1993) does not work.


title: Deformation Quantization of Hermitian Vector Bundles

abstract: Motivated by deformation quantization, we consider in this paper $^*$-algebras $\mathcal A$ over rings $\ring C = \ring{R}(i)$, where $\ring R$ is an ordered ring and $i^2 = -1$, and study the deformation theory of projective modules over these algebras carrying the additional structure of a (positive) $\mathcal A$-valued inner product. For $A=C^\infty(M)$, M a manifold, these modules can be identified with Hermitian vector bundles E over M. We show that for a fixed Hermitian star-product on M, these modules can always be deformed in a unique way, up to (isometric) equivalence. We observe that there is a natural bijection between the sets of equivalence classes of local Hermitian deformations of $C^\infty(M)$ and $\Gamma^\infty(\End(E))$ and that the corresponding deformed algebras are formally Morita equivalent, an algebraic generalization of strong Morita equivalence of $C^*$-algebras. We also discuss the semi-classical geometry arising from these deformations.


title: New Weighted Rogers-Ramanujan Partition Theorems and their Implications

abstract: This paper has a two-fold purpose. First, by considering a reformulation of a deep theorem of G\"ollnitz, we obtain a new weighted partition identity involving the Rogers-Ramanujan partitions, namely, partitions into parts differing by at least two. Consequences of this include Jacobi's celebrated triple product identity for theta functions, Sylvester's famous refinement of Euler's theorem, as well as certain weighted partition identities. Next, by studying partitions with prescribed bounds on successive ranks and replacing these with weighted Rogers-Ramanujan partitions, we obtain two new sets of theorems - a set of three theorems involving partitions into parts $\not\equiv 0, \pm i$ ($mod$ 6), and a set of three theorems involving partitions into parts $\not\equiv 0, \pm i$ ($mod$ 7), $i=1,2,3$.


title: Curvature on determinant bundles and first Chern forms

abstract: The Quillen-Bismut-Freed construction associates a determinant line bundle with connection to an infinite dimensional super vector bundle with a family of Dirac-type operators. We define the regularized first Chern form of the infinite dimensional bundle, and relate it to the curvature of the Bismut-Freed connection on the determinant bundle. In finite dimensions, these forms agree (up to sign), but in infinite dimensions there is a correction term, which we express in terms of Wodzicki residues. We illustrate these results with a string theory computation. There is a natural super vector bundle over the manifold of smooth almost complex structures on a Riemannian surface. The Bismut-Freed superconnection is identified with classical Teichmuller theory connections, and its curvature and regularized first Chern form are computed.


title: Proof of the GGS Conjecture

abstract: We prove the GGS conjecture (1993), due to Gerstenhaber, Giaquinto, and Schack, which gives a particularly simple explicit quantization of classical r-matrices for Lie algebras gl(n) in terms of an element R satisfying the quantum Yang-Baxter equation and the Hecke condition. The r-matrices were classified by Belavin and Drinfeld in the 1980s in terms of combinatorial objects known as Belavin-Drinfeld triples. We prove this conjecture by showing that the GGS matrix coincides with another quantization due to Etingof, Schiffmann, and the author, which is a more general construction. We do this by explicitly expanding the product from the aforementioned paper using detailed combinatorial analysis in terms of Belavin-Drinfeld triples.


title: Symmetries of Gromov-Witten invariants

abstract: The group (Z/nZ)^2 is shown to act on the Gromov-Witten invariants of the complex flag manifold. We also deduce several corollaries of this result.


title: On a conjecture of Atiyah

abstract: In this note we explain how the computation of the spectrum of the lamplighter group from \cite{Grigorchuk-Zuk(2000)} yields a counterexample to a strong version of the Atiyah conjectures about the range of $L^2$-Betti numbers of closed manifolds.


title: Diffusion time and splitting of separatrices for nearly integrable isochronous Hamiltonian systems

abstract: We consider the problem of Arnold's diffusion for nearly integrable isochronous Hamiltonian systems. We prove a shadowing theorem which improves the known estimates for the diffusion time. We also justify for three time scales systems that the splitting of the separatrices is correctly predicted by the Poincare'-Melnikov function.


title: Variational construction of homoclinics and chaos in presence of a saddle-saddle equilibrium

abstract: We consider autonomous Lagrangian systems with two degrees of freedom, having an hyperbolic equilibrium of saddle-saddle type (that is the eingenvalues of the linearized system about the equilibrium are $\pm \lambda_1, \pm \lambda_2 $, $\lambda_1, \lambda_2 > 0$). We assume that $\lambda_1 > \lambda_2$ and that the system possesses two homoclinic orbits. Under a nondegeneracy assumption on the homoclinics and under suitable conditions on the geometric behaviour of these homoclinics near the equilibrium we prove, by variational methods, then they give rise to an infinite family of multibump homoclinic solutions and that the topological entropy at the zero energy level is positive. A method to deal also with homoclinics satisfying a weaker nondegeneracy condition is developed and it is applied, for simplicity, when $\lambda_1 \approx \lambda_2$. An application to a perturbation of a uncoupled system is also given.


title: RTT relations, a modified braid equation and noncommutative planes

abstract: With the known group relations for the elements $(a,b,c,d)$ of a quantum matrix $T$ as input a general solution of the $RTT$ relations is sought without imposing the Yang - Baxter constraint for $R$ or the braid equation for $\hat{R} = PR$. For three biparametric deformatios, $GL_{(p,q)}(2), GL_{(g,h)}(2)$ and $GL_{(q,h)}(1/1)$, the standard,the nonstandard and the hybrid one respectively, $R$ or $\hat{R}$ is found to depend, apart from the two parameters defining the deformation in question, on an extra free parameter $K$,such that only for two values of $K$, given explicitly for each case, one has the braid equation. Arbitray $K$ corresponds to a class (conserving the group relations independent of $K$) of the MQYBE or modified quantum YB equations studied by Gerstenhaber, Giaquinto and Schak. Various properties of the triparametric $\hat{R}(K;p,q)$, $\hat{R}(K;g,h)$ and $\hat{R}(K;q,h)$ are studied. In the larger space of the modified braid equation (MBE) even $\hat{R}(K;p,q)$ can satisfy $\hat{R}^2 = 1$ outside braid equation (BE) subspace. A generalized, $K$- dependent, Hecke condition is satisfied by each 3-parameter $\hat{R}$. The role of $K$ in noncommutative geometries of the $(K;p,q)$,$(K;g,h)$ and $(K;q,h)$ deformed planes is studied. K is found to introduce a "soft symmetry breaking", preserving most interesting properties and leading to new interesting ones. Further aspects to be explored are indicated.


title: Complex bounds for multimodal maps: bounded combinatorics

abstract: We proved the so called complex bounds for multimodal, infinitely renormalizable analytic maps with bounded combinatorics: deep renormalizations have polynomial-like extensions with definite modulus. The complex bounds is the first step to extend the renormalization theory of unimodal maps to multimodal maps.


title: Spin Calogero-Moser systems associated with simple Lie algebras

abstract: We introduce spin Calogero-Moser systems associated with root systems of simple Lie algebras and give the associated Lax representations (with spectral parameter) and fundamental Poisson bracket relations. Our analysis is based on a group-theoretic framework similar in spirit to the standard classical $r$-matrix theory for constant $r$-matrices.


title: A Kohno-Drinfeld theorem for quantum Weyl groups

abstract: Let g be a complex, simple Lie algebra and t a Cartan subalgebra of g. A new unitary, flat connection on t with values in any finite-dimensional g-module V and simple poles along the root hyperplanes was recently introduced by J. Millson and myself. This connection depends upon a complex parameter h and I conjectured that its monodromy is equivalent to the quantum Weyl group representation of the braid group of type g defined by Lusztig, Kirillov-Reshetikhin and Soibelman via the quantum group U_{h}g. In this paper, I prove this conjecture for g=sl_{n}.


title: Finite Affine Groups: Cycle Indices, Hall-Littlewood Polynomials, and Probabilistic Algorithms

abstract: The asymptotic study of the conjugacy classes of a random element of the finite affine group leads one to define a probability measure on the set of all partitions of all positive integers. Four different probabilistic understandings of this measure are given--three using symmetric function theory and one using Markov chains. This leads to non-trivial enumerative results. Cycle index generating functions are derived and are used to compute the large dimension limiting probabilities that an element of the affine group is separable, cyclic, or semisimple and to study the convergence to these limits. This yields the first examples of such computations for a maximal parabolic subgroup of a finite classical group.


title: Irreducibility criterion for tensor products of Yangian evaluation modules

abstract: The evaluation homomorphisms from the Yangian Y(gl_n) to the universal enveloping algebra U(gl_n) allow one to regard the irreducible finite-dimensional representations of gl_n as Yangian modules. We give necessary and sufficient conditions for irreducibility of tensor products of such evaluation modules.


title: On Conley's Fundamental Theorem of Dynamical Systems

abstract: In this paper, we generalize Conley's fundamental theorem of dynamical systems in Conley index theory. We also conclude the existence of regular index filtration for every Morse decomposition.


title: Quantum Real Projective Space, Disc and Sphere

abstract: We define the $C^*$-algebra of quantum real projective space $\R P_q^2$, classify its irreducible representations and compute its $K$-theory. We also show that the $q$-disc of Klimek-Lesniewski can be obtained as a non-Galois $\Z_2$-quotient of the equator Podle\'s quantum sphere. On the way, we provide the Cartesian coordinates for all Podle\'s quantum spheres and determine an explicit form of isomorphisms between the $C^*$-algebras of the equilateral spheres and the $C^*$-algebra of the equator one.


title: Strongly typical representations of the basic classical Lie superalgebras

abstract: The category of representations with a strongly typical central character of a basic classical Lie superalgebra is proven to be equivalent to the category of representations of its even part corresponding to an appropriate central character. For a Lie superalgebra $osp(1,2l)$ the category of representations with a "generic" weakly atypical central character is described.


title: Cubic identities for theta series in three variables

abstract: We introduce three-variable analogues of the theta series of Borwein and Borwein. We prove various identities involving these theta series including a generalization of the cubic identity of Borwein and Borwein.


title: Perturbation of Domain: Singular Riemannian Manifolds

abstract: We study a class of Riemannian manifolds which are equipped with a singular metric. In particular we study a domain perturbation problem for the Dirichlet eigenvalues which depends on the best constant in the Hardy Inequality. However, we show that for these manifolds the constant is such that existing theorems cannot be applied and then prove better estimates that overcome this. Finally we set up an example that can be used to show that our results are optimal. The methods for doing this final step are contained in another paper in a more general ode setting.


title: Perturbation of Domain: Ordinary Differential Equations

abstract: We work with the Friedrichs extension of a one dimensional Schrodinger whose potential has a certain type of regular singularity near one end point. We study the effect on the eigenvalues of shrinking the region slightly near the end point. In particular we calculate the rate at which the eigenvalues of the smaller region converge to the eigenvalues of the larger region as the region expands. A result of this type was needed by that author in another paper concerned with a domain perturbation problem on Riemannian manifolds. The problem here, however, is stated purely in terms of ordinary differential equations.


title: Relative Gromov-Witten invariants and the mirror formula

abstract: Let X be a smooth complex projective variety, and let Y in X be a smooth very ample hypersurface such that -K_Y is nef. Using the technique of relative Gromov-Witten invariants, we give a new short and geometric proof of (a version of) the "mirror formula", i.e. we show that the generating function of the genus zero 1-point Gromov-Witten invariants of Y can be obtained from that of X by a certain change of variables (the so-called "mirror transformation"). Moreover, we use the same techniques to give a similar expression for the (virtual) numbers of degree-d plane rational curves meeting a smooth cubic at one point with multiplicity 3d, which play a role in local mirror symmetry.


title: Translation lengths in Out(F_n)

abstract: We prove that all elements of infinite order in $Out(F_n)$ have positive translation lengths; moreover, they are bounded away from zero. Consequences include a new proof that solvable subgroups of $Out(F_n)$ are finitely generated and virtually abelian and the new result that such subgroups are quasi-convex.


title: ADE-bundles over rational surfaces, configuration of lines and rulings

abstract: To each del Pezzo surface (resp. ruled surface, ruled surface with a section), we describe a natural Lie algebra bundle of type E_n (resp. D_n, A_n) over it. Using lines and rulings on any such surface, we describe various representation bundles corresponding to fundamental representations of the corresponding Lie algebra. When we specify a geometric structure on the surface to reduce the Lie algebra to a smaller one, then the classical geometry of the configuration of lines and rulings is encoded beautifully by the branching rules in Lie theory. We discuss this relationship in details. When we degenerate the surface to a non-normal del Pezzo surface, we discover that the configurations of lines and rulings are also governed by certain branching rules.


title: The Symplectic Geometry of Polygons in the 3-sphere

abstract: We study the symplectic geometry of the moduli spaces $M_r=M_r(\s^3)$ of closed n-gons with fixed side-lengths in the 3-sphere. We prove that these moduli spaces have symplectic structures obtained by reduction of the fusion product of $n$ conjugacy classes in SU(2), denoted $C_r^n$, by the diagonal conjugation action of SU(2). Here $C_r^n$ is a quasi-Hamiltonian SU(2)-space. An integrable Hamiltonian system is constructed on $M_r$ in which the Hamiltonian flows are given by bending polygons along a maximal collection of nonintersecting diagonals. Finally, we show the symplectic structure on $M_r$ relates to the symplectic structure obtained from gauge-theoretic description of $M_r$. The results of this paper are analogues for the 3-sphere of results obtained for $M_r(\h^3)$, the moduli space of n-gons with fixed side-lengths in hyperbolic 3-space \cite{KMT}, and for $M_r(\E^3)$, the moduli space of n-gons with fixed side-lengths in $\E^3$


title: On rational extension of Heisenberg algebra

abstract: Construction of rational extension for Heisenberg algebra with one pair of generators is discussed.


title: On similarity of perturbed multiplication operators

abstract: Let S be the multiplication operator by an independent variable x in L_2(0,1) and V be an integral operator of Volterra type. We find conditions for T:=S+V to be similar to S and discuss some generalisations of the results obtained to an abstract setting.


title: Logarithmic heat projective operators

abstract: Let $f:\Cal C\to S$ be a flat family of curves over a smooth curve $S$ such that $f$ is smooth over $S_0=S\ssm\{s_0\}$ and $f^{-1}(s_0)=\Cal C_0$ is irreducible with one node. We have an associated family $\Cal M_{S_0}\to S_0$ of moduli spaces of semistable vector bundles and the relative theta line bundle $\Theta_{S_0}$. We are interested in the problem: to find suitable degeneration $\Cal M_S$ of moduli spaces and extension $\Theta_S$ of theta line bundles such that the direct image of $\Theta_S$ is a vector bundle on $S$ with a logarithmic projective connection. In this paper, we figured out the conditions of existence of the connection and solved the problem for rank one.


title: A Pieri-type Formula for the Equivariant Cohomology of the Flag Manifold

abstract: We prove an explicit combinatorial formula for certain structure constants of the T-equivariant cohomology of the flag manifold SLn/B. Our result generalizes the Pieri-type formula in ordinary cohomology proved by Sottile in 1996. Our result also gives a Pieri-type formula for the double Schubert polynomials introduced by Lascoux and Schutzenberger.


title: Combinatorics of the $\hat{sl_2}$ spaces of coinvariants II

abstract: The spaces of coinvariants are quotient spaces of integrable $\hat{sl_2}$ modules by subspaces generated by actions of certain subalgebras labeled by a set of points on a complex line. When all the points are distinct, the spaces of coinvariants essentially coincide with the spaces of conformal blocks in the WZW conformal field theory and their dimensions are given by the Verlinde rule. We describe monomial bases for the $\wsl$ spaces of coinvariants, In particular, we prove that the spaces of coinvariants have the same dimensions when all the points coincide. We establish recursive relations satisfied by the monomial bases and the corresponding characters of the spaces of coinvariants. For the proof we use filtrations of the $\hat{\mathfrak{sl}}_2$ modules, and further filtrations on the adjoint graded spaces for the first filtrations. This paper is the continuation of [FKLMM].


title: Embeddings of Schur functions into types B/C/D

abstract: We consider the problem of embedding the semi-ring of Schur-positive symmetric polynomials into its analogue for the classical types $B/C/D$. If we preserve highest weights and add the additional Lie-theoretic parity assumption that the weights in images of Schur functions lie in a single translate of the root lattice, there are exactly two solutions. These naturally extend the Kirillov--Reshetikhin decompositions of representations of symplectic and orthogonal quantum affine algebras $U_q(\hat{g})$ (some still conjectural, some recently proven).


title: On the Family of Pentagonal curves of genus 6 and associated modular forms on the Ball

abstract: In this article we study the inverse of the period map for the family $\mathcal{F}$ of complex algebraic curves of genus 6 equipped with an automorphism of order 5. This is a family with 2 parameters, and is fibred over a certain type of Del Pezzo surace. The period satisfies the hypergeometric differential equation for Appell's $F_1({3/5},{3/5},{2/5},{6/5})$ of two variables after a certain normalization of the variable parameter. This differential equation and the family $\mathcal{F}$ are studied by G. Shimura (1964), T. Terada (1983, 1985), P. Deligne - G.D. Mostow (1986) and T. Yamazaki- M. Yoshida(1984). Recently M. Yoshida presented a new approch using the concept of configration space. Based on their results we show the representation of the inverse of the period map in terms of Riemann theta constants. This is the first variant of the work of H. Shiga (1981) and K. Matsumoto (1989, 2000) to the co-compact case.


title: Introducing Quaternionic Gerbes

abstract: The notion of a quaternionic gerbe is presented as a new way of bundling algebraic structures over a four manifold. The structure groupoid of this fibration is described in some detail. The Euclidean conformal group R*SO(4) appears naturally as a (non-commutative) monoidal structure on this groupoid. Using this monoidal structure we indicate the existence of a canonical quaternionic gerbe associated to a conformal structure on a four manifold.


abstract: We study Hamiltonian stationary Lagrangian surfaces in C^2, i.e. Lagrangian surfaces in C^2 which are stationary points of the area functional under smooth Hamiltonian variations. Using loop groups, we propose a formulation of the equation as a completely integrable system. We construct a Weierstrass type representation and produce all tori through either the integrable systems machinery or more direct arguments.


title: The Moduli of Flat PU(p,p)-Structures with Large Toledo Invariants

abstract: For a compact Riemann surface $X$ of genus $g > 1$, $\Hom(\pi_1(X), PU(p,q))/PU(p,q)$ is the moduli space of flat $PU(p,q)$-connections on $X$. There are two invariants, the Chern class $c$ and the Toledo invariant $\tau$ associated with each element in the moduli. The Toledo invariant is bounded in the range $-2min(p,q)(g-1) \le \tau \le 2min(p,q)(g-1)$. This paper shows that the component, associated with a fixed $\tau > 2(max(p,q)-1)(g-1)$ (resp. $\tau < -2(max(p,q)-1)(g-1)$) and a fixed Chern class $c$, is connected (The restriction on $\tau$ implies $p=q$).


title: Processes with Long Memory: Regenerative Construction and Perfect Simulation

abstract: We present a perfect simulation algorithm for stationary processes indexed by Z, with summable memory decay. Depending on the decay, we construct the process on finite or semi-infinite intervals, explicitly from an i.i.d. uniform sequence. Even though the process has infinite memory, its value at time 0 depends only on a finite, but random, number of these uniform variables. The algorithm is based on a recent regenerative construction of these measures by Ferrari, Maass, Mart{\'\i}nez and Ney. As applications, we discuss the perfect simulation of binary autoregressions and Markov chains on the unit interval.


title: Random k-Surfaces

abstract: The main result is the construction of ergodic transversal measures of full support on the space of all k-surfaces of a compact hyperbolic 3-manifold. This space is a laminated space, each of its leaf being identified with a "complete" k-surface, i.e. a surface of constant (extrinsic) curvature k, where k belongs to ]0,1[. Elsewhere, this space has been shown to have chaotic properties mimicking those of the geodesic flow. This construction is achieved through a coding of the space.


title: Hamiltonian symplectomorphisms and the Berry phase

abstract: On the space ${\cal L}$, of loops in the group of Hamiltonian symplectomorphisms of a symplectic quantizable manifold, we define a closed ${\bf Z}$-valued 1-form $\Omega$. If $\Omega$ vanishes, the prequantization map can be extended to a group representation. On ${\cal L}$ one can define an action integral as an ${\bf R}/{\bf Z}$-valued function, and the cohomology class $[\Omega]$ is the obstruction to the lifting of that action integral to an ${\bf R}$-valued function. The form $\Omega$ also defines a natural grading on $\pi_1({\cal L})$.


title: The Steinhaus tiling problem and the range of certain quadratic forms

abstract: We give a short proof of the fact that there are no measurable subsets of Euclidean space (in dimension d > 2), which, no matter how translated and rotated, always contain exactly one integer lattice point. In dimension d=2 (the original Steinhaus problem) the question remains open.


title: On the algebraic invariant curves of plane polynomial differential systems

abstract: We consider a plane polynomial vector field $P(x,y)dx+Q(x,y)dy$ of degree $m>1$. To each algebraic invariant curve of such a field we associate a compact Riemann surface with the meromorphic differential $\omega=dx/P=dy/Q$. The asymptotic estimate of the degree of an arbitrary algebraic invariant curve is found. In the smooth case this estimate was already found by D. Cerveau and A. Lins Neto [Ann. Inst. Fourier Grenoble 41, 883-903] in a different way.


title: D-Branes on Calabi-Yau Manifolds

abstract: We give an overview of recent work on Dirichlet branes on Calabi-Yau threefolds which makes contact with Kontsevich's homological mirror symmetry proposal, proposes a new definition of stability which is appropriate in string theory, and provides concrete quiver categories equivalent to certain categories of branes on CY. To appear in the proceedings of the 3rd European Congress of Mathematics.


title: Elliptic Islands on the Elliptical Stadium

abstract: We investigate the existence of elliptic islands for a special family of periodic orbits of a two-parameter family of maps corresponding to the billiard problem on the elliptical stadium. The hyperbolic or elliptical character of these orbits is also investigated. Depending on the parameters, we obtain upper bounds of ellipticity for this special family as a lower bound for chaos. On a different region of the parameter space, we can prove that there is no upper bound for the existence of elliptic islands. The main results we use are Birkhoff Normal Form and Moser's Twist Theorem.


title: An affine analogue of the Hartman-Nirenberg cylinder theorem

abstract: Let X be a smooth, complete, connected submanifold of dimension n < N in a complex affine space A^N (C), and r is the rank of its Gauss map \gamma, \gamma (x) = T_x (X). The authors prove that if 2 \leq r \leq n - 1, N - n \geq 2, and in the pencil of the second fundamental forms of X, there are two forms defining a regular pencil all eigenvalues of which are distinct, then the submanifold X is a cylinder with (n-r)-dimensional plane generators erected over a smooth, complete, connected submanifold Y of rank r and dimension r. This result is an affine analogue of the Hartman-Nirenberg cylinder theorem proved for X \subset R^{n+1} and r = 1. For n \geq 4 and r = n - 1, there exist complete connected submanifolds X \subset A^N (C) that are not cylinders.


title: The inverse problem of the Birkhoff-Gustavson normalization and ANFER, Algorithm of Normal Form Expansion and Restoration

abstract: In the series of papers [1-4], the inverse problem of the Birkhoff-Gustavson normalization was posed and studied. To solve the inverse problem, the symbolic-computing program named ANFER (Algorithm of Normal Form Expansion and Restoration) is written up, with which a new aspect of the Bertrand and Darboux integrability condition is found \cite{Uwano2000}. In this paper, the procedure in ANFER is presented in mathematical terminology, which is organized on the basis of the composition of canonical transformations.