title: A two-box-shift morphism between Specht modules

abstract: Let n geq 1, let lambda be a partition of n, let mu be a partition arising from lambda by a downwards shift of two boxes situated at the bottom of a column. We give a formula for a ZS_n-linear morphism of order m between the corresponding Specht modules over Z/(m), where m is the box shift length (divided by two in certain combinatorially specified cases). Reformulated, this yields an extension of the corresponding Specht modules over Z of order m in Ext^1.


title: Resolution graphs of some surface singularities I. (cyclic coverings)

abstract: The article starts with some introductory material about resolution graphs of normal surface singularities (definitions, topological/homological properties, etc). We then discuss the case when the normal surface singularity is an N-fold cyclic covering of a surface germ, branched along a curve given by the germ of an analytic function f. We present non-trivial examples in order to show that from the embedded resolution graph G of f in general it is not possible to recover the resolution graph of the cyclic covering. The main results are the construction of a ``universal covering graph'' from the topology of the germ f, and the completely combinatorial construction of the resolution graph of cyclic coverings from this universal graph of f and the integer N. For this we also prove some purely graph-theoretical classification theorems of ``covering graphs''. In the last part, we connect the properties of the universal covering graph with the topological invariants of f, e.g. with the nilpotent part of its algebraic monodromy.


title: Resolution graphs of some surface singularities II. (generalized Iomdin series)

abstract: In this article we give a construction of the resolution graphs of hypersurface surface singularities (X_k,0) given by generalized Iomdin series. All these resolution graphs are coordinated by an ``universal bi-colored graph'' which is associated with the ICIS determining the Iomdin series. The definition of this new graph is rather involved, and in concrete examples it is difficult to compute. Nevertheless, we present a large number of examples. This is very helpful in the exemplification of its properties as well. We then present a construction of the resolution graphs of the surface singularities above which uses the "universal bi-coloured graph" and the integer k. This is formulated in a purely combinatorial algorithm. The result is a highly non-trivial generalization of the case of cyclic coverings of smooth surfaces.


title: Explicit regulator maps on polylogarithmic motivic complexes

abstract: We define a regulator map from the weight n polylogarithmic motivic complex to the weight n Deligne complex of an algebraic variety X. The regulator map is constructed explicitly via the classical polylogarithms with some funny combinations of Bernoulli numbers as coefficients. This leads to conjectures on special values of L-functions at s=n which reduce to Zagier's conjecture when X is of dimension zero over Q. The cone of this map, shifted by one, should be called the Arakelov motivic complex of X. Its last cohomology group is identified with a group of codimension n Arakelov cycles on X.


title: Chracterization of Cyclic and Separating Vectors and Application to an Inverse Problem in Modular Theory I. Finite Factors

abstract: In this paper we examine an inverse problem in the modular theory of von Neumann algebras in the case of finite factors. First we give a characterization of cyclic and separating vectors for finite factors in terms of operators associated with this vector and being affiliated with the factor. Further we show how this operator generates the modular objects of the given cyclic and separating vector generalizing an idea of Kadison and Ringrose. With the help of these rather technical results we show under an appropriate condition, which is always fulfilled for finite type I factors, that there exists another simple class of solutions of the inverse problem beside a trivial one which always exists. Finally we give a complete classification of the solutions of the inverse problem in the case of modular operators having pure point spectrum which is no restriction in the type I case. In a subsequent paper these results will be generalized to all semifinite factors.


title: The projections of n-knots which are not the projection of any unknotted knot

abstract: Let n be any integer greater than two. We prove that there exists a projection P having the following properties. (1) P is not the projection of any unknotted knot. (2) The singular point set of P consists of double points. (3) P is the projection of an n-knot which is diffeomorphic to the standard sphere. We prove there exists an immersed n-sphere (in R^{n+1}\times{0}) which is not the projection of any n-knot (n>2). Note that the second theorem is different from the first one.


title: The intersection of spheres in a sphere and a new geometric meaning of the Arf invariant

abstract: Let S^3_i be a 3-sphere embedded in the 5-sphere S^5 (i=1,2). Let S^3_1 and S^3_2 intersect transversely. Then the intersection C of S^3_1 and S^3_2 is a disjoint collection of circles. Thus we obtain a pair of 1-links, C in S^3_i (i=1,2), and a pair of 3-knots, S^3_i in S^5 (i=1,2). Conversely let (L_1,L_2) be a pair of 1-links and (X_1,X_2) be a pair of 3-knots. It is natural to ask whether the pair of 1-links (L_1,L_2) is obtained as the intersection of the 3-knots X_1 and X_2 as above. We give a complete answer to this question. Our answer gives a new geometric meaning of the Arf invariant of 1-links. Let f be a smooth transverse immersion S^3 into S^5. Then the self-intersection C consists of double points. Suppose that C is a single circle in S^5. Then f^{-1}(C) in S^3 is a 1-knot or a 2-component 1-link. There is a similar realization problem. We give a complete answer to this question.


title: Residual finiteness for complexified real line arrangements

abstract: This paper has been withdrawn due to a crucial error in the proof of the main theorem


title: On Mostow rigidity for variable negative curvature

abstract: We prove a finiteness theorem for the class of complete finite volume Riemannian manifolds with pinched negative sectional curvature, fixed fundamental group, and of dimension $>2$. One of the key ingredients is that the fundamental group of such a manifold does not admit a small nontrivial action on an $R$-tree.


title: Mod 2 Seiberg-Witten invariants of homology tori

abstract: We show that the mod 2 Seiberg-Witten invariant can be determined for a spin manifold X which has the same homology groups as the 4-torus. The value depends on the structure of the cohomology ring of X, and in particular on the 4-fold cup product on H^1(X). We also consider some examples of homology tori.


title: Generators for the cohomology ring of the moduli space of rank 2 Higgs bundles

abstract: The moduli space of stable vector bundles on a Riemann surface is smooth when the rank and degree are coprime, and is diffeomorphic to the space of unitary connections of central constant curvature. A classic result of Newstead and Atiyah-Bott asserts that its rational cohomology ring is generated by the universal classes, that is, by the Kunneth components of the Chern classes of the universal bundle. This paper studies the larger, non-compact moduli space of Higgs bundles, as introduced by Hitchin and Simpson, with values in the canonical bundle K. This is diffeomorphic to the space of all connections of central constant curvature, whether unitary or not. The main result of the paper is that, in the rank 2 case, the rational cohomology ring of this space is again generated by universal classes. The spaces of Higgs bundles with values in K(n) for n > 0 turn out to be essential to the story. Indeed, we show that their direct limit has the homotopy type of the classifying space of the gauge group, and hence has cohomology generated by universal classes. A companion paper treats the problem of finding relations between these generators in the rank 2 case.


title: Relations in the cohomology ring of the moduli space of rank 2 Higgs bundles

abstract: The moduli space of stable bundles of rank 2 and degree 1 on a Riemann surface has rational cohomology generated by the so-called universal classes. The work of Baranovsky, King-Newstead, Siebert-Tian and Zagier provided a complete set of relations between these classes, expressed in terms of a recursion in the genus. This paper accomplishes the same thing for the non-compact moduli spaces of Higgs bundles, in the sense of Hitchin and Simpson. There are many more independent relations than for stable bundles, but in a sense the answer is simpler, since the formulas are completely explicit, not recursive. The results of Kirwan on equivariant cohomology for holomorphic circle actions are of key importance. Together, Parts I and II describe the cohomology rings of spaces of rank 2 Higgs bundles at essentially the same level of detail as is known for stable bundles.


title: The uniqueness of the solution to inverse problems of interpolation of positive operators in Banach lattices

abstract: We prove that an interpolation pair of Banach lattices is uniquely determined by the collection of intermediate spaces with the property that these are interpolation spaces for positive operators. A correspondent result for exact interpolation is also presented.


title: Isothermic surfaces: conformal geometry, Clifford algebras and integrable systems

abstract: We give an account of the classical and integrable geometry of isothermic surfaces in arbitrary co-dimension. We show that the classical transformation theory of Darboux, Bianchi and Calapso goes through unchanged in arbitrary co-dimension as does the connection with the "curved flats" of Ferus and Pedit. Moreover, we identify Darboux transformations with the dressing action of "simple factors" in the sense of Terng and Uhlenbeck. In so doing, we advertise the use of Vahlen's Clifford algebra matrices as an efficient computational tool in conformal geometry.


title: Generalised Hilbert Numerators II

abstract: We associate to each $r$-multigraded, locally finitely generated ideal in the "large polynomial ring" on countably many indeterminates a power series in $r$ variables; this power series is the limit in the adic topology of the numerators of the rational functions which give the Hilbert series of the truncations of the ideal. We characterise the set of all power series so obtained. Our main technical tools are an approximation result which asserts that truncation and the forming of initial ideals commute in a filtered sense, and standard inclusion/exclusion, M\"obius inversion, and LCM-lattice homology methods generalised to monomial ideals in countably many variables.


title: Reconstruction of Gray-scale Images

abstract: Reconstruction of images corrupted by noise is an important problem in Image Analysis. In the standard Bayesian approach the unknown original image is assumed to be a realization of a Markov random field on a finite two dimensional finite region. This image is degraded by some noise, which acts independently in each site of and has the same distribution on all sites. The reconstructed image is the maximum a posteriori (MAP) estimator. When the number of colors is bigger than two the standard a priori measure is the Potts model, but with this choice reconstruction algorithms need exponential growing time in the number of pixels. We propose a different a priori measure that allows to compute the MAP estimator in polinomial time. The algorithm binary decomposes the intensity of each color and reconstructs each component, reducing the problem to the computation of the two-color MAP estimator. The latter is done in polinomial time solving a min-cut max-flow problem in a binary graph as proposed by Greig, Porteous and Seheult (1989).


title: Bochner-Kahler metrics

abstract: A Kahler metric is said to be Bochner-Kahler if its Bochner curvature vanishes. This is a nontrivial condition when the complex dimension of the underlying manifold is at least 2. In this article it will be shown that, in a certain well-defined sense, the space of Bochner-Kahler metrics in complex dimension n has real dimension n+1 and a recipe for an explicit formula for any Bochner-Kahler metric will be given. It is shown that any Bochner-Kahler metric in complex dimension n has local (real) cohomogeneity at most n. The Bochner-Kahler metrics that can be `analytically continued' to a complete metric, free of singularities, are identified. In particular, it is shown that the only compact Bochner-Kahler manifolds are the discrete quotients of the known symmetric examples. However, there are compact Bochner-Kahler orbifolds that are not locally symmetric. In fact, every weighted projective space carries a Bochner-Kahler metric. The fundamental technique is to construct a canonical infinitesimal torus action on a Bochner-Kahler metric whose associated momentum mapping has the orbits of its symmetry pseudo-groupoid as fibers.


title: Quantum Strata of Coadjoint Orbits

abstract: In this paper we construct quantum analogs of strata of coadjoint orbits and describe their representations. This kind objects play an important role in describing quantum groups as repeated extensions of quantum strata.


title: Motivic torsors

abstract: The torsor P_s=Hom(H_{\DR},H_s) under the motivic Galois group G_s=Aut H_s of the Tannakian category M_k generated by one-motives related by absolute Hodge cycles over a field k with an embedding s into the complex numbers is shown to be determined by its global projection [P_s\to (P_s)/(G_s)^0] to a Gal(\ov k/k)-torsor, and by its localizations (P_s) x_k (k_\xi) at a dense subset of orderings \xi of the field k, provided k has virtual cohomological dimension (vcd) one. This result is an application of a recent local-global principle for connected linear algebraic groups over a field k of vcd=1.


title: The volume and lengths on a three sphere

abstract: We show that the volume of any Riemannian metric on a three sphere is bounded below by the length of the shortest closed curve that links its antipodal image. In particular, the volume is bounded below by the minimum of the length of the shortest closed geodesic and the minimal distance between antipodal points.


title: Compact singularities of meromorphic mappings between complex 3-dimensional manifolds

abstract: We prove that a meromorphic map defined on the complement of a compact subset of a three-dimensional Stein manifold M and with values in a compact complex three-fold X extends to the complement of a finite set of points. If X is simply connected, then the map extends to all of M.


title: Relations among divisors on the moduli space of curves with marked points

abstract: We prove relations among the classes of certain divisors on the moduli spaces of curves with marked points, generalizing the Brill-Noether Ray Theorem of Eisenbud and Harris.


title: Linearization of analytic and non--analytic germs of diffeomorphisms of $({\mathbb C},0)$

abstract: We study Siegel's center problem on the linearization of germs of diffeomorphisms in one variable. In addition of the classical problems of formal and analytic linearization, we give sufficient conditions for the linearization to belong to some algebras of ultradifferentiable germs closed under composition and derivation, including Gevrey classes. In the analytic case we give a positive answer to a question of J.-C. Yoccoz on the optimality of the estimates obtained by the classical majorant series method. In the ultradifferentiable case we prove that the Brjuno condition is sufficient for the linearization to belong to the same class of the germ. If one allows the linearization to be less regular than the germ one finds new arithmetical conditions, weaker than the Brjuno condition. We briefly discuss the optimality of our results.


title: On Asymptotic Expansions and Scales of Spectral Universality in Band Random Matrix Ensembles

abstract: We consider the family of N-dimensional real symmetric matrices H with random independent entries whose variance is determined by a function U((x-y)/b). In the limit of (relatively) narrow band width 1<<b<<N, we obtain explicitly first terms of 1/b-expansion of the resolvent of H. The expressions derived show that the rate of decay of U(t) determines several scale of the universal form of the eigenvalue correlation function. In particular, in the case of U(t) = o(1/t^3), the Altshuller-Shklovski asymptotics with the ratio N/b^2 is obtained.


title: Variations on deformation quantization

abstract: I have chosen, in this presentation of Deformation Quantization, to focus on 3 points: the uniqueness --up to equivalence-- of a universal star product (universal in the sense of Kontsevich) on the dual of a Lie algebra, the cohomology classes introduced by Deligne for equivalence classes of differential star products on a symplectic manifold and the construction of some convergent star products on Hermitian symmetric spaces. Those subjects will appear in a promenade through the history of existence and equivalence in deformation quantization.


title: A Survey of Noncommutative Chern Characters

abstract: We report in this survey some new results concerning noncommutative Chern characters: construction and the cases when they are exactly computed. The major result indicates some clear relation of these noncommutative objects and their commutative counterparts. This survey can be considered as the second part of the previous survey (J. of Lie Theory vol. 3 (1993), 149-176.


title: Twisted traces of quantum intertwiners and quantum dynamical R-matrices corresponding to generalized Belavin-Drinfeld triples

abstract: This paper is a continuation of math.QA/9907181 and math.QA/9908115. We consider traces of intertwiners between certain representations of the quantized enveloping algebra associated to a semisimple complex Lie algebra g, which are twisted by a ``generalized Belavin-Drinfeld triple'', i.e a triple consisting of two subdiagrams of the Dynkin diagram of g together with an isomorphism between them. The generating functions F(lambda,mu) for such traces depend on two weights lambda and mu. We show that F(lambda,mu) satisfy two sets of difference equations in the variable lambda: the Macdonald-Ruijsenaars (MR) equations and the quantum Knizhnik-Zamolodchikov (qKZB) equations. These equations involve as a main ingredient the quantum dynamical R-matrices constructed in math.QA/9912009. When the generalized Belavin-Drinfeld triple is an automorphism, we show that F(lambda,mu) satisfy another two sets of difference equations with respect to the weight mu. These dual MR and dual qKZB equations involve the usual Felder's dynamical R-matrix. These results were first obtained by the first author and A. Varchenko in the special case of the trivial Belavin-Drinfeld triple. However, the symmetry between lambda and mu which exists in that case is destroyed in the twisted setting. At the end, we brielfly treat the (simialr) case of Kac-Moody algebras g and derive the classical limits of all the previous results.


title: Representation Functions for Jordanian Quantum Group SL_h(2) and Jacobi Polynomials

abstract: The explicit expressions of the representation functions (D-functions) for Jordanian quantum group SL_h(2) are obtained by combination of tensor operator technique and Drinfeld twist. It is shown that the D-functions can be expressed in terms of Jacobi polynomials as the undeformed D-functions can. Some of the important properties of the D-functions for SL_h(2) such as Winger's product law, recurrence relations, RTT type relations are also presented.


title: The polynomial property (V)

abstract: Given Banach spaces E and F, we denote by ${\mathcal P}(^k!E,F)$ the space of all k-homogeneous (continuous) polynomials from E into F, and by ${\mathcal P}_{wb}(^k!E,F)$ the subspace of polynomials which are weak-to-norm continuous on bounded sets. It is shown that if E has an unconditional finite dimensional expansion of the identity, the following assertions are equivalent: (a) ${\mathcal P}(^k!E,F)={\mathcal P}_{wb}(^k!E,F)$; (b) ${\mathcal P}_{wb}(^k!E,F)$ contains no copy of $c_0$; (c) ${\mathcal P}(^k!E,F)$ contains no copy of $\ell_\infty$; (d) ${\mathcal P}_{wb}(^k!E,F)$ is complemented in ${\mathcal P}(^k!E,F)$. This result was obtained by Kalton for linear operators. As an application, we show that if E has Pe\l czy\'nski's property (V) and satisfies ${\mathcal P}(^k!E) ={\mathcal P}_{wb}(^k!E)$ then, for all F, every unconditionally converging $P\in{\mathcal P}(^k!E,F)$ is weakly compact. If E has an unconditional finite dimensional expansion of the identity, then the converse is also true.


title: Matrix exponentials

abstract: We give a formula for matrix exponentials and partial fraction decompositions.


title: The Tamagawa number conjecture for CM elliptic curves

abstract: In this paper we prove the Tamagawa number conjecture of Bloch and Kato for CM elliptic curves using a new explicit description of the specialization of the elliptic polylogarithm. The Tamagawa number conjecture describes the special values of the L-function of a CM elliptic curve in terms of the regulator maps of the K-theory of the variety into Deligne and etale cohomology. The regulator map to Deligne cohomology was computed by Deninger with the help of the Eisenstein symbol. For the Tamagawa number conjecture one needs an understanding of the $p$-adic regulator on the subspace of K-theory defined by the Eisenstein symbol. This is accomplished by giving a new explicit computation of the specialization of the elliptic polylogarithm sheaf. It turns out that this sheaf is an inverse limit of $p^r$-torsion points of a certain one-motive. The cohomology classes of the elliptic polylogarithm sheaf can then be described by classes of sections of certain line bundles. These sections are elliptic units and going carefully through the construction one finds an analog of the elliptic Soul\'e elements. Finally Rubin's ``main conjecture'' of Iwasawa theory is used to compare these elements with etale cohomology.


title: Non-vanishing of the Central Derivative of Canonical Hecke L-functions

abstract: In the early 1980s, Rohrlich began a study of canonical Hecke characters, which are closely related to the simplest examples of CM elliptic curves. He and Montgomery showed the non-vanishing of the central value when the L-function has an even functional equation, and we now show the non-vanishing of the central derivative when the functional equation is odd. Using the results of Gross-Zagier and Kolyvagin-Logachev, we can apply the non-vanishing to the ranks and Shafarevitch-Tate groups of the Q-curves "A(p)" studied by Gross in his thesis. In particular, their rank is determined by a congruence condition. http://www.math.yale.edu/users/steve/milleryang


title: NNR Revisited

abstract: We show if we use countable support iteration of forcing notions not adding reals that satisfy additional conditions, then the limit forcing does not add reals. As a result we prove that we can amalgamate two earlier methods and prove the consistency with ZFC + GCH of two statements gotten separately earlier: Souslin hypothesis and non-club guessing. We also answer a question of Justin Moore by proving the consistency of one further case of "strong failure of club guessing" with GCH.


title: The generalized Chern character and Lefschetz numbers in W*-modules

abstract: We define N-theory being some analogue of K-theory on the category of von Neumann algebras such that $K_0(A)\subset N_0(A)$ for any von Neumann algebra A. Moreover, it turns out to be possible to construct the extension of the Chern character to some homomorphism from $N_0(A)$ to even Banach cyclic homology of A. Also, we define generalized Lefschetz numbers for an arbitrary unitary endomorphism U of an A-elliptic complex. We study them in the situation when U is an element of a representation of some compact Lie group.


title: Reliable Cellular Automata with Self-Organization

abstract: In a probabilistic cellular automaton in which all local transitions have positive probability, the problem of keeping a bit of information indefinitely is nontrivial, even in an infinite automaton. Still, there is a solution in 2 dimensions, and this solution can be used to construct a simple 3-dimensional discrete-time universal fault-tolerant cellular automaton. This technique does not help much to solve the following problems: remembering a bit of information in 1 dimension; computing in dimensions lower than 3; computing in any dimension with non-synchronized transitions. Our more complex technique organizes the cells in blocks that perform a reliable simulation of a second (generalized) cellular automaton. The cells of the latter automaton are also organized in blocks, simulating even more reliably a third automaton, etc. Since all this (a possibly infinite hierarchy) is organized in ``software'', it must be under repair all the time from damage caused by errors. A large part of the problem is essentially self-stabilization recovering from a mess of arbitrary size and content. The present paper constructs an asynchronous one-dimensional fault-tolerant cellular automaton, with the further feature of ``self-organization''. The latter means that the initial configuration does not have to encode an infinite hierarchy -- this will be built up over time. This is a corrected and strengthened version of the journal paper of 2001.


title: Weak reflection at the successor of singular

abstract: The notion of stationary reflection is one of the most important notions of combinatorial set theory. We investigate weak reflection, which is, as the name suggests, a weak version of stationary reflection. This sort of reflection was introduced in [DjSh:545] (math.LO/9601219), where it was shown that weak reflection has applications to various guessing principles, in the sense that if there is no weak reflection, than a guessing principle holds, and an application dealing with the saturation of normal filters. Further investigations of weak reflection were carried in [CDSh:571] (math.LO/9504221) and [CuSh:596] (math.LO/9703219). While various ZFC restrictions on the one hand, and independence results on the other, were discovered about the weak reflection, the question of the relative consistency of the existence of a regular cardinal kappa such that the first cardinal weakly reflecting at kappa is a successor of singular, remained open. This paper answers that question by proving that (modulo large cardinal assumptions close to 2-hugeness) that there indeed can be such a cardinal kappa.


title: Foliation groupoids and their cyclic homology

abstract: In this paper we study the Lie groupoids which appear in foliation theory. A foliation groupoid is a Lie groupoid which integrates a foliation, or, equivalently, whose anchor map is injective. The first theorem shows that, for a Lie groupoid G, the following are equivalent: - G is a foliation groupoid, - G has discrete isotropy groups, - G is Morita equivalent to an etale groupoid. Moreover, we show that among the Lie groupoids integrating a given foliation, the holonomy and the monodromy groupoids are extreme examples. The second theorem shows that the cyclic homology of convolution algebras of foliation groupoids is invariant under Morita equivalence of groupoids, and we give explicit formulas. Combined with the previous results of Brylinski, Nistor and the authors, this theorem completes the computation of cyclic homology for various foliation groupoids, like the (full) holonomy/monodromy groupoid, Lie groupoids modeling orbifolds, and crossed products by actions of Lie groups with finite stabilizers. Some parts of the proof, such as the H-unitality of convolution algebras, apply to general Lie groupoids. Since one of our motivation is a better understanding of various approaches to longitudinal index theorems for foliations, we have added a few brief comments at the end of the second section.


title: The automorphism tower problem revisited

abstract: It is well-known that the automorphism towers of infinite centreless groups of cardinality kappa terminate in less than (2^{kappa})^+ steps. But an easy counting argument shows that (2^{kappa})^+ is not the best possible bound. However, in this paper, we will show that it is impossible to find an explicit better bound using ZFC.


title: Log Canonical Thresholds and Generalized Eckardt Points

abstract: Let $X$ be a smooth hypersurface of degree $n\geq 3$ in $\mathbb{P}^n$. We prove that the log canonical threshold of $H\in|-K_X|$ is at least $\frac{n-1}{n}$. Under the assumption of the Log minimal model program, we also prove that a hyperplane section $H$ of $X$ is a cone in $\mathbb{P}^{n-1}$ over a smooth hypersurface of degree $n$ in $\mathbb{P}^{n-2}$ if and only if the log canonical threshold of $H$ is $\frac{n-1}{n}$.


title: Four multiplicative cohomology theorems

abstract: I try to find natural statement and proof of the de Rham Theorem and of other cohomology theorems.


title: Classification des triples de Manin pour les alg\`ebres de Lie r\'eductives complexes

abstract: We study real and complex Manin triples for a complex reductive Lie algebra, $\g$. The first part includes, and extends to complex Manin triples, our earlier work [De]. First, we generalize results of E. Karolinsky, on the classification of Lagrangian subalgebras (cf.[K1], [K3]). Then we show that, if $\g$ is non commutative, one can attach, to each Manin triple in $\g$, another one for a strictly smaller reductive complex Lie subalgebra of $\g$. This gives a powerful tool for induction. Then we classify complex Manin triples, in terms of what we call generalized Belavin-Drinfeld data. In particular this generalizes, by other methods, the classification of A. Belavin and G. Drinfeld of certain $R$-matrices, i.e. the solutions of modified triangle equations for constants (cf [BD], Theorem 6.1). We get also results for real Manin triples. In passing, one retrieves a result of A. Panov [P1] which classifies certain Lie bialgebras structures on a real simple Lie algebra.


title: Surjective factorization of holomorphic mappings

abstract: We characterize the holomorphic mappings $f$ between complex Banach spaces that may be written in the form $f=T\circ g$, where $g$ is another holomorphic mapping and $T$ belongs to a closed surjective operator ideal.


title: The infimum, supremum and geodesic length of a braid conjugacy class

abstract: Algorithmic solutions to the conjugacy problem in the braid groups B_n were given by Elrifai-Morton in 1994 and by the authors in 1998. Both solutions yield two conjugacy class invariants which are known as `inf' and `sup'. A problem which was left unsolved in both papers was the number m of times one must `cycle' (resp. `decycle') in order to increase inf (resp. decrease sup) or to be sure that it is already maximal (resp. minimal) for the given conjugacy class. Our main result is to prove that m is bounded above by n-2 in the situation of the second algorithm and by ((n^2-n)/2)-1 in the situation of the first. As a corollary, we show that the computation of inf and sup is polynomial in both word length and braid index, in both algorithms. The integers inf and sup determine (but are not determined by) the shortest geodesic length for elements in a conjugacy class, as defined by Charney, and so we also obtain a polynomial-time algorithm for computing this geodesic length.


title: Composition sum identities related to the distribution of coordinate values in a discrete simplex

abstract: Utilizing spectral residues of parameterized, recursively defined sequences, we develop a general method for generating identities of composition sums. Specific results are obtained by focusing on coefficient sequences of solutions of first and second order, ordinary, linear differential equations. Regarding the first class, the corresponding identities amount to a proof of the exponential formula of labelled counting. The identities in the second class can be used to establish certain geometric properties of the simplex of bounded, ordered, integer tuples. We present three theorems that support the conclusion that the inner dimensions of such an order simplex are, in a certain sense, more ample than the outer dimensions. As well, we give an algebraic proof of a bijection between two families of subsets in the order simplex, and inquire as to the possibility of establishing this bijection by combinatorial, rather than by algebraic methods.


title: Mahler measure, links and homology growth

abstract: Let l be a link of d components. For every finite-index lattice in Z^d there is an associated finite abelian cover of S^3 branched over l. We show that the order of the torsion subgroup of the first homology of these covers has exponential growth rate equal to the logarithmic Mahler measure of the Alexander polynomial of l, provided this polynomial is nonzero. Our proof uses a theorem of Lind, Schmidt and Ward on the growth rate of connected components of periodic points for algebraic Z^d-actions.


title: Quantum Lefschetz Hyperplane Theorem

abstract: The mirror theorem is generalized to any smooth projective variety X. That is, a fundamental relation between the Gromov-Witten invariants of X and Gromov-Witten invariants of complete intersections Y in X is established.


title: Dimension $n$ Representations of the Braid Group on $n$ Strings

abstract: In 1996 E. Formanek classified all the irreducible complex representations of $B_n$ of dimension at most $n-1,$ where $B_n$ is the Artin braid group on $n$ strings. In this paper we extend this classification to the representations of dimension $n,$ for $n\geq 9$. We prove that all such representations are equivalent to a tensor product of a one-dimensional representation and a specialization of a certain one-parameter family of $n-$dimensional representations, that was first discovered in 1996 by Tong, Yang, and Ma. We use our classification of irreducible complex representations of corank two, in the preprint math.GR/0003047.


title: Limiting distributions for a polynuclear growth model with external sources

abstract: The purpose of this paper is to investigate the limiting distribution functions for a polynuclear growth model with two external sources, which was considered by Pr\"ahofer and Spohn. Depending on the strength of the sources, the limiting distribution functions are either the Tracy-Widom functions of random matrix theory, or a new explicit function which has the special property that its mean is zero. Moreover, we obtain transition functions between pairs of the above distribution functions in suitably scaled limits. There are also similar results for a discrete totally asymmetric exclusion process.


title: La correspondance de Langlands sur les corps de fonctions [d'apr\`es Laurent Lafforgue]

abstract: This is the text of a Bourbaki lecture that I gave on March 12, 2000.


title: Taut ideal triangulations of 3-manifolds

abstract: A taut ideal triangulation of a 3-manifold is a topological ideal triangulation with extra combinatorial structure: a choice of transverse orientation on each ideal 2-simplex, satisfying two simple conditions. The aim of this paper is to demonstrate that taut ideal triangulations are very common, and that their behaviour is very similar to that of a taut foliation. For example, by studying normal surfaces in taut ideal triangulations, we give a new proof of Gabai's result that the singular genus of a knot in the 3-sphere is equal to its genus.


title: The solution to a conjecture of Tits on the subgroup generated by the squares of the generators of an Artin group

abstract: It was conjectured by Tits that the only relations amongst the squares of the standard generators of an Artin group are the obvious ones, namely that a^2 and b^2 commute if ab=ba appears as one of the Artin relations. In this paper we prove Tits' conjecture for all Artin groups. More generally, we show that, given a number m(s)>1 for each Artin generator s, the only relations amongst the powers s^m(s) of the generators are that a^m(a) and b^m(b) commute if ab=ba appears amongst the Artin relations.


title: A monopole homology of integral homology 3-spheres

abstract: To an integral homology 3-sphere $Y$, we assign a well-defined $\Z$-graded (monopole) homology $MH_*(Y, I_{\e}(\T; \e_0))$ whose construction in principle follows from the instanton Floer theory with the dependence of the spectral flow $I_{\e}(\T; \e_0)$, where $\T$ is the unique U(1)-reducible monopole of the Seiberg-Witten equation on $Y$ and $\e_0$ is a reference perturbation datum. The definition uses the moduli space of monopoles on $Y \x \R$ introduced by Seiberg-Witten in studying smooth 4-manifolds. We show that the monopole homology $MH_*(Y, I_{\e}(\T; \e_0))$ is invariant among Riemannian metrics with same $I_{\e}(\T; \e_0)$. This provides a chamber-like structure for the monopole homology of integral homology 3-spheres. The assigned function $MH_{SWF}: \{I_{\e}(\T; \e_0)\} \to \{MH_*(Y, I_{\e}(\T; \e_0))\}$ is a topological invariant (as Seiberg-Witten-Floer Theory).


title: A holistic finite difference approach models linear dynamics consistently

abstract: I prove that a centre manifold approach to creating finite difference models will consistently model linear dynamics as the grid spacing becomes small. Using such tools of dynamical systems theory gives new assurances about the quality of finite difference models under nonlinear and other perturbations on grids with finite spacing. For example, the advection-diffusion equation is found to be stably modelled for all advection speeds and all grid spacing. The theorems establish an extremely good form for the artificial internal boundary conditions that need to be introduced to apply centre manifold theory. When numerically solving nonlinear partial differential equations, this approach can be used to derive systematically finite difference models which automatically have excellent characteristics. Their good performance for finite grid spacing implies that fewer grid points may be used and consequently there will be less difficulties with stiff rapidly decaying modes in continuum problems.


title: Deformations of Galois representations arising from degenerate extensions

abstract: Nigel Boston and Barry Mazur have shown how to determine the natural subspaces of certain S_3-extensions of the rationals, which they term "generic". We extend some of their results to another class of extensions, called "degenerate".


title: Weak $\omega$-categories as $\omega$-hypergraphs

abstract: In this paper, firstly, we introduce a higher-dimensional analogue of hypergraphs, namely $\omega$-hypergraphs. This notion is thoroughly flexible because unlike ordinary $\omega$-graphs, an n-dimensional edge called an n-cell has many sources and targets. Moreover, cells have polarity, with which pasting of cells is implicitly defined. As examples, we also give some known structures in terms of $\omega$-hypergraphs. Then we specify a special type of $\omega$-hypergraph, namely directed $\omega$-hypergraphs, which are made of cells with direction. Finally, besed on them, we construct our weak $\omega$-categories. It is an $\omega$-dimensional variant of the weak n-categoreis given by Baez and Dolan. We introduce $\omega$-identical, $\omega$-invertible and $\omega$-universal cells instead of universality and balancedness of Baez-Dolan. The whole process of our definition is in parallel with the way of regarding categories as graphs with composition and identities.


title: Fundamental groups of rationally connected varieties

abstract: Let U be an open subset of a unirational variety. We prove that there is rational curve C in U such that the fundamental group of C surjects onto the fundamental group of U. As a consequence we obtain new proofs of the theorems of Harbater and Colliot-Th\'el\`ene on Galois covers and torsors over the p-adic line. We also obtain examples of pencils of curves of genus <14 whose monodromy group is the full Teichm\"uller group.


title: Consistently there is no non trivial ccc forcing notion with the Sacks or Laver property

abstract: Boban Velickovic asked the following question: Is there a nontrivial forcing notion with the Sacks property which is also ccc? A ``definable'' variant of this question has been answered in [Sh:480] (math.LO/9303208): Every nontrivial Souslin forcing notion which has the Sacks property has an uncountable antichain. Here we show that it is consistent that every nontrivial forcing notion which has the Sacks property has an uncountable antichain. Independently, Velickovic has also proved the consistency of this statement.


title: The Dirac Operator and Conformal Compactification

abstract: We give results about the L^2 kernel and the spectrum of the Dirac operator on a complete Riemannian manifold which is conformally equivalent to the interior of a Riemannian manifold with nonempty boundary.


title: Cardinal invariants b_kappa and t_kappa

abstract: This paper studies cardinal invariants b_kappa and t_kappa, the natural generalizations of the invariants b and t to a regular cardinal kappa.


title: Deformation Quantization of Coadjoint Orbits

abstract: A method for the deformation quantization of coadjoint orbits of semisimple Lie groups is proposed. It is based on the algebraic structure of the orbit. Its relation to geometric quantization and differentiable deformations is explored.


title: Irreducibility and Compositeness in q-Deformed Harmonic Oscillator Algebras

abstract: q-Deformed harmonic oscillator algebra for real and root of unity values of the deformation parameter is discussed by using an extension of the number concept proposed by Gauss, namely the Q-numbers. A study of the reducibility of the Fock space representation which explores the properties of the Gauss polynomials is presented. When the deformation parameter is a root of unity, an interesting result comes out in the form of a reducibility scheme for the space representation which is based on the classification of the primitive or non-primitive character of the deformation parameter. An application is carried out for a q-deformed harmonic oscillator Hamiltonian, to which the reducibility scheme is explicitly applied. For finite-dimensional spaces associated to non-primitive roots of unity the compositeness of the k-fermions/quons is discussed.


title: Moduli of Riemann Surfaces, Transcendental Aspects

abstract: This is an informal set of lecture notes on moduli spaces of curves based on a set of lectures given at the ICTP last summer. It begins at an elementary level and discusses the genus 1 case in detail. The notes then give an informal treatement of Teichmuller space and higher genus moduli spaces. The point of view is generally topological and analytical.


title: Study on the family of K3 surfaces induced from the lattice $(D_4)^3 \oplus < -2 > \oplus < 2 >

abstract: Let us consider the rank 14 lattice $P=D_4^3\oplus < -2> \oplus < 2>$. We define a K3 surface S of type P with the property that $P\subset {\rm Pic}(S) $, where ${\rm Pic}(S) $ indicates the Picard lattice of S. In this article we study the family of K3 surfaces of type P with a certain fixed multipolarization. We note the orthogonal complement of P in the K3 lattice takes the form $$ U(2)\oplus U(2)\oplus (-2I_4). $$ We show the following results: \item{(1)} A K3 surface of type P has a representation as a double cover over ${\bf P}^1\times {\bf P}^1$ as the following affine form in (s,t,w) space: $$ S=S(x): w^2=\prod_{k=1}^4 (x_{1}^{(k)}st+x_{2}^{(k)}s+x_{3}^{(k)}t+x_{4}^{(k)}), \ x_k=\pmatrix{x_{1}^{(k)}&x_{2}^{(k)}\cr x_{3}^{(k)}&x_{4}^{(k)}} \in M(2,{\bf C}). $$ We make explicit description of the Picard lattice and the transcendental lattice of S(x). \item{(2)} We describe the period domain for our family of marked K3 surfaces and determine the modular group. \par \noindent \item{(3)} We describe the differential equation for the period integral of S(x) as a function of $x\in (GL(2,{\bf C}))^4$. That bocomes to be a certain kind of hypergeometric one. We determine the rank, the singular locus and the monodromy group for it. \par \noindent \item{(4)} It appears a family of 8 dimensional abelian varieties as the family of Kuga-Satake varieties for our K3 surfaces. The abelian variety is characterized by the property that the endomorphism algebra contains the Hamilton quarternion field over ${\bf Q}$.


title: On the classification of q-algebras

abstract: The problem is the classification of the ideals of ``free differential algebras", or the associated quotient algebras, the q-algebras; being finitely generated, unital C-algebras with homogeneous relations and a q-differential structure. This family of algebras includes the quantum groups, or at least those that are based on simple (super) Lie or Kac-Moody algebras. Their classification would encompass the so far incompleted classification of quantized (super) Kac-Moody algebras and of the (super) Kac-Moody algebras themselves. These can be defined as singular limits of q-algebras, and it is evident that to deal with the q-algebras in their full generality is more rational than the examination of each singular limit separately. This is not just because quantization unifies algebras and superalgebras, but also because the points "q = 1" and "q = -1" are the most singular points in parameter space. In this paper one of two major hurdles in this classification program has been overcome. Fix a set of integers n_1,...,n_k, and consider the space B_Q of homogeneous polynomials of degree n_1 in the generator e_1, and so on. Assume that there are no constants among the polynomials of lower degree, in any one of the generators; in this case all constants in the space B_Q have been classified. The task that remains, the more formidable one, is to remove the stipulation that there are no constants of lower degree.


title: Characteristic Classes for GO(2n,C)

abstract: The complex Lie group GO(2n,C) by definition consists of all complex matrices A of size 2n, such that A times transpose(A) is a non-zero scalar. In this paper we determine explicitly the singular cohomology ring of the classifying space BGO(2n,C) with mod 2 coefficients, in terms of generators and relations. The method consists of analysing a certain derivation on the cohomology ring of BO(2n) (which is a polynomial ring in the Stiefel-Whitney classes) via a Koszul complex, and using this to `solve' the Gysin sequence for the bundle BO(2n) over BGO(2n,C).


title: Second-order linear differential equations with two irregular singular points of rank three: the characteristic exponent

abstract: For a second-order linear differential equation with two irregular singular points of rank three, multiple Laplace-type contour integral solutions are considered. An explicit formula in terms of the Stokes multipliers is derived for the characteristic exponent of the multiplicative solutions. The Stokes multipliers are represented by converging series with terms for which limit formulas as well as more detailed asymptotic expansions are available. Here certain new, recursively known coefficients enter, which are closely related to but different from the coefficients of the formal solutions at one of the irregular singular points of the differential equation. The coefficients of the formal solutions then appear as finite sums over subsets of the new coefficients. As a by-product, the leading exponential terms of the asymptotic behaviour of the late coefficients of the formal solutions are given, and this is a concrete example of the structural results obtained by Immink in a more general setting. The formulas displayed in this paper are not of merely theoretical interest, but they also are complete in the sense that they could be (and have been) implemented for computing accurate numerical values of the characteristic exponent, although the computational load is not small and increases with the rank of the singular point under consideration.


title: Solving the $d$ and $\bar\partial$-equation in thin tubes and applications to mappings

abstract: We construct a family of integral kernels for solving the \bar\partial equation with C^k and Holder estimates in thin tubes around totally real submanifolds in complex Eulidean spaces (theorems 1.1 and 3.1). Combining this with the proof of a theorem of Serre we solve the d-equation with estimates for holomorphic forms in such tubes (theorem 5.1). We apply these techniques and a method of Moser to approximate C^k-diffeomorphisms between totally real submanifolds in C^n in the C^k-topology by biholomorphic mappings in tubes, by unimodular and symplectic biholomorphic mappings, and by holomorphic automorphisms of C^n.


title: The Verlinde formula for parabolic bundles

abstract: The moduli space M(n,d) is an algebraic variety parametrizing those representations of the fundamental group of a punctured Riemann surface into the Lie group SU(n) for which a loop around the boundary is sent to the n-th root of unity exp (2 \pi i d/n) multiplied by the identity matrix. If n and d are coprime it is in fact a K\"ahler manifold. One may relax the constraint and study moduli spaces M(L) parametrizing those representations for which the loop around the boundary is sent to an element conjugate to L, if L is some element in SU(n), and these are also K\"ahler manifolds for a suitable class of L. The Verlinde formula calculates the dimension of the space of holomorphic sections of certain line bundles over the spaces M(n,d) and M(L). We recall how a new proof of the Verlinde formula for M(n,d) given in joint work with Frances Kirwan may be obtained, and show how to modify this proof to obtain a proof of the variant of the Verlinde formula which applies to M(L) (the moduli space of parabolic bundles with one marked point) and to the analogous object with b marked points.


title: A note on asymptotically isometric copies of $l^1$ and $c_0$

abstract: Nonreflexive Banach spaces that are complemented in their bidual by an L-projection - like preduals of von Neumann algebras or the Hardy space $H^1$ - contain, roughly speaking, many copies of $l^1$ which are very close to isometric copies. Such $l^1$-copies are known to fail the fixed point property. Similar dual results hold for $c_0$.


title: Perturbation of $l^1$-copies and measure convergence in preduals of von Neumann algebras

abstract: Let L_1 be the predual of a von Neumann algebra with a finite faithful normal trace. We show that a bounded sequence in L_1 converges to 0 in measure if and only if each of its subsequences admits another subsequence which converges to 0 in norm or spans $l^1$ "almost isometrically". Furthermore we give a quantitative version of an essentially known result concerning the perturbation of a sequence spanning $l^1$ isomorphically in the dual of a C$^*$-algebra.


title: Gorenstein models of del Pezzo surfaces of degree 1 over Dedekind schemes

abstract: Let R be a Dedekind scheme, $\nu$ its generic point, X and V del Pezzo surfaces of degree 1 over R that are Gorenstein Mori fiber spaces (as 3-folds germs over the ground field). We study birational maps $\phi:X\dasharrow V$ over R which are isomorphisms over the generic point of R. We put down normal forms of such transformations (in suitable coordinates) and give some properties of X and V. In particular, we prove the uniqueness of a smooth model.


title: L-embedded Banach spaces and measure topology

abstract: An L-embedded Banach spaace is a Banach space which is complemented in its bidual such that the norm is additive between the two complementary parts. On such spaces we define a topology, called an abstract measure topology, which by known results coincides with the usual measure topology on preduals of finite von Neumann algebras (like $L_1([0,1])$). Though not numerous, the known properties of this topology suffice to generalize several results on subspaces of $L_1([0,1])$ to subspaces of arbitrary L-embedded spaces.


title: Definitive Computation of Bernstein-Sato Polynomials

abstract: Let n and d be positive integers, let k be a field and let P(n,d;k) be the space of the polynomials in n variables of degree at most d with coefficients in k. Let B(n,d) be the set of the Bernstein-Sato polynomials of all polynomials in P(n,d;k) as k varies over all fields of characteristic 0. G. Lyubeznik proved that B(n,d) is a finite set and asked if, for a fixed k, the set of the polynomials corresponding to each element of B(n,d) is a constructible subset of P(n,d;k). In this paper we give an affirmative answer to Lyubeznik's question by showing that the set in question is indeed constructible and defined over Q, i.e. its defining equations are the same for all fields k. Moreover, we construct an algorithm that for each pair (n,d) produces a complete list of the elements of B(n,d) and, for each element of this list, an explicit description of the constructible set of polynomials having this particular Bernstein-Sato polynomial.


title: Values of Brownian intersection exponents II: Plane exponents

abstract: We derive the exact value of intersection exponents between planar Brownian motions or random walks, confirming predictions from theoretical physics by Duplantier and Kwon. Let B and B' be independent Brownian motions (or simple random walks) in the plane, started from distinct points. We prove that the probability that the paths B[0,t] and B'[0,t] do not intersect decays like t^{-5/8}. More precisely, there is a constant c>0 such that if |B(0) - B'(0)| =1, for all t \ge 1, c^{-1} t^{-5/8} \le \P[ B[0,t] \cap B'[0,t] = \emptyset ] \le c t^{-5/8}. One consequence is that the set of cut-points of B[0,1] has Hausdorff dimension 3/4 almost surely. The values of other exponents are also derived. Using an analyticity result, which is to be established in a forthcoming paper, it follows that the Hausdorff dimension of the outer boundary of B[0,1] is 4/3, as conjectured by Mandelbrot. The proofs are based on a study of SLE_6 (stochastic Loewner evolution with parameter 6), a recently discovered process which conjecturally is the scaling limit of critical percolation cluster boundaries. The exponents of SLE_6 are calculated, and they agree with the physicists' predictions for the exponents for critical percolation and self-avoiding walks. From the SLE_6 exponents the Brownian intersection exponents are then derived.


title: Double Bubbles Minimize

abstract: The classical isoperimetric inequality in R^3 states that the surface of smallest area enclosing a given volume is a sphere. We show that the least area surface enclosing two equal volumes is a double bubble, a surface made of two pieces of round spheres separated by a flat disk, meeting along a single circle at an angle of 120 degrees.


title: On the WDVV-equation in quantum K-theory

abstract: A K-theoretic counterpart of quantum cohomology theory is discussed.


title: A remark on quiver varieties andweyl groups

abstract: In this paper we define an action of the Weyl group on the quiver varieties $M_{m,\grl}(d,v)$ with generic $(m,\grl)$. To do it we describe a set of generators of the projective ring of a quiver variety. We also prove connectness for the smooth quiver variety $M(d,v)$ and normality for $M_0(d,v)$ in the case of a quiver of finite type and $d-v$ a regular weight.


title: Euler systems of K_2 of CM elliptic curves

abstract: We construct certain systems of elements in K_2 of CM elliptic curves. When the classnumber of the field of CM is 1, the image of this system under the regulator map forms an Euler system in the sense of Rubin.


title: Factorization of Combinatorial R matrices and Associated Cellular Automata

abstract: Solvable vertex models in statistical mechanics give rise to soliton cellular automata at q=0 in a ferromagnetic regime. By means of the crystal base theory we study a class of such automata associated with non-exceptional quantum affine algebras U'_q(\hat{\geh}_n). Let B_l be the crystal of the U'_q(\hat{\geh}_n)-module corresponding to the l-fold symmetric fusion of the vector representation. For any crystal of the form B = B_{l_1} \otimes ... \otimes B_{l_N}, we prove that the combinatorial R matrix B_M \otimes B \xrightarrow{\sim} B \otimes B_M is factorized into a product of Weyl group operators in a certain domain if M is sufficiently large. It implies the factorization of certain transfer matrix at q=0, hence the time evolution in the associated cellular automata. The result generalizes the ball-moving algorithm in the box-ball systems.


title: Self-dual Einstein Hermitian four manifolds

abstract: We provide a local classification of self-dual Einstein Riemannian four manifolds admitting a positively oriented Hermitian structure and characterize those which carry a hyperhermitian, non-hyperk\"ahlerian structure compatible with the negative orientation. We finally show that self-dual Einstein 4-manifolds obtained as quaternionic quotients of the Wolf spaces ${\mathbb H}P^2$, ${\mathbb H}H^2$, $SU(4)/S(U(2)U(2))$, and $SU(2,2)/S(U(2)U(2))$ are always Hermitian.


title: A Partition Theorem

abstract: We prove the following: there is a primitive recursive function f_-^*(-,-), in the three variables, such that: for every natural numbers t,n>0, and c, for any natural number k>=f^*_t(n,c) the following holds. Assume L is an alphabet with n>0 letters, M is the family of non empty subsets of {1,...,k} with =<t members and V is the set of functions from M to L, and lastly d is a c-colouring of V (i.e. a function with domain V and range with at most c members). Then there is a d-monochromatic V-line, which means that there are w included in {1,...,k}, with at least t members and a function r from {u in M: u not a subset of w} to L such that letting Y={eta in V: eta extends r and for each s=1,...,t it is constant on {u in M: u is an s-element subset of w}}, we have: the restriction of d to Y is constant (for t=1 those are the Hales Jewett numbers).


title: Some Nasty Reflexive Groups

abstract: In "Almost Free Modules, Set-theoretic Methods", Eklof and Mekler raised the question about the existence of dual abelian groups G which are not isomorphic to Z+G. Recall that G is a dual group if G ~ D^* for some group D with D^*=Hom(D,Z). The existence of such groups is not obvious because dual groups are subgroups of cartesian products Z^D and therefore have very many homomorphisms into Z. If p is such a homomorphism arising from a projection of the cartesian product, then D^* ~ ker(p)+Z. In all `classical cases' of groups D of infinite rank it turns out that D^* ~ ker(p). Is this always the case? Also note that reflexive groups G in the sense of H.Bass are dual groups because by definition the evaluation map s:G-->G^{**} is an isomorphism, hence G is the dual of G^*. Assuming the diamond axiom for aleph_1 we construct a reflexive torsion-free abelian group of cardinality aleph_1 which is not isomorphic to Z+G. The result is formulated for modules over countable principal ideal domains which are not field.


title: Decompositions of Reflexive Modules

abstract: We continue [GbSh:568] (math.LO/0003164), proving a stronger result under the special continuum hypothesis (CH). The original question of Eklof and Mekler related to dual abelian groups. We want to find a particular example of a dual group, which will provide a negative answer to the question. In order to derive a stronger and also more general result we will concentrate on reflexive modules over countable principal ideal domains R. 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 group of G. Guided by classical results the question about the existence of a reflexive R-module G of infinite rank with G not cong G+R is natural. We will use a theory of bilinear forms on free R-modules which strengthens our algebraic results in [GbSh:568] (math.LO/0003164). Moreover we want to apply a model theoretic combinatorial theorem from [Sh:e] which allows us to avoid the weak diamond principle. This has the great advantage that the used prediction principle is still similar to the diamond, but holds under CH.


title: Matrix Representations of Octonions and Their Applications

abstract: As is well-known, the real quaternion division algebra $ {\cal H}$ is algebraically isomorphic to a 4-by-4 real matrix algebra. But the real division octonion algebra ${\cal O}$ can not be algebraically isomorphic to any matrix algebras over the real number field ${\cal R}$, because ${\cal O}$ is a non-associative algebra over ${\cal R}$. However since ${\cal O}$ is an extension of ${\cal H}$ by the Cayley-Dickson process and is also finite-dimensional, some pseudo real matrix representations of octonions can still be introduced through real matrix representations of quaternions. In this paper we give a complete investigation to real matrix representations of octonions, and consider their various applications to octonions as well as matrices of octonions.


title: Universal Similarity Factorization Equalities over Complex Clifford Algebras

abstract: A set of valuable universal similarity factorization equalities are established over complex Clifford algebras $\Cn.$ Through them matrix representations of complex Clifford algebras $\Cn$ can directly be derived, and their properties can easily be determined.


title: The connectedness of the moduli space of maps to homogeneous spaces

abstract: We prove the connectedness of the moduli space of maps (of fixed genus and homology class) to the homogeneous space G/P by degeneration via the maximal torus action. In the genus 0 case, the irreducibility of the moduli of maps is a direct consequence of connectedness. An analysis of a related Bialynicki-Birula stratification of the map space yields a rationality result: the (coarse) moduli space of genus 0 maps to G/P is a rational variety. The rationality argument depends essentially upon rationality results for quotients of SL2 representations proven by Katsylo and Bogomolov.


title: On effective non-vanishing and base-point-freeness

abstract: Let $X$ be a complete normal variety, $B$ an effective $\mathbb{R}$-divisor on $X$, and $D$ a Cartier divisor on $X$. Assume that the pair $(X, B)$ is log terminal. We consider the problem whether $H^0(X, D) \ne 0$ and obtain some results in lower dimensions.


title: Gerbes of chiral differential operators. II

abstract: Results of our previous note, "Gerbes of chiral differential operators" (Math. Res. Letters, 7(2000), 55-66), are discussed in the algebraic category.


title: On the functoriality of Lott's secondary analytic index

abstract: We verify that the formula of X. Ma for the analytic torsion form of an iterated fibration implies that Lott's secondary analytic index is functorial.


title: Square numbers, spanning trees and invariants of achiral knots

abstract: We give constructions to realize an odd number, which is representable as sum of two squares, as determinant of an achiral knot, thus proving that these are exactly the numbers occurring as such determinants. Later we study which numbers occur as determinants of prime alternating achiral knots, and obtain a complete result for perfect squares. Using the checkerboard coloring, then an application is given to the number of spanning trees in planar self-dual graphs. Another application are some enumeration results on achiral rational knots. Finally, we describe the leading coefficients of the Alexander and skein polynomial of alternating achiral knots.


title: On canonically derived families of surfaces of general type over curves

abstract: Suppose X is a smooth projective 3-fold of general type and |mK_X| is composed of a pencil of surfaces with m>1. This pencil naturally induces a fibration f:X->C onto a smooth curve C after the Stein-factorization, which is the main objects of this article. Based on Koll'ar's earlier works, we improve on it and try to understand the family in terms of discrete birational invariants of the total space as well as those of the general fiber and the base curve. The aim of this note is to build a little bit basic facts.


title: New Einstein Metrics in Dimension Five

abstract: The purpose of this note is to introduce a new method for proving the existence of Sasakian-Einstein metrics on certain simply connected odd dimensional manifolds. We then apply this method to prove the existence of new Sasakian-Einstein metrics on $\scriptstyle{S^2\times S^3}$ and on $\scriptstyle{(S^2\times S^3)# (S^2\times S^3).}$ These give the first known examples of non-regular Sasakian-Einstein 5-manifolds. Our method involves describing the Sasakian-Einstein structures as links of certain isolated hypersurface singularities, and makes use of the recent work of Demailly and Koll\'ar, AG/9910118, who obtained new examples of K\"ahler-Einstein del Pezzo surfaces with quotient singularities.


title: On zeros of polynomials orthogonal over a convex domain

abstract: We establish a discrepancy theorem for signed measures, with a given positive part, which are supported on an arbitrary convex curve. As a main application, we obtain a result concerning the distribution of zeros of polynomials orthogonal on a convex domain.


title: Bordism-finiteness and semi-simple group actions

abstract: We give bordism-finiteness results for manifolds with semi-simple group action. Consider the class of oriented manifolds which admit a circle action with isolated fixed points such that the action extends to an $S^3$-action with fixed point. We exhibit various subclasses, characterized by an upper bound for the Euler characteristic and properties of the first Pontrjagin class, which contain only finitely many oriented bordism types in any given dimension. Also we show finiteness results for homotopy complex projective spaces and complete intersections with $S^3$-action as above.


title: Matching control laws for a ball and beam system

abstract: This note describes a method for generating an infinite-dimensional family of nonlinear control laws for underactuated systems. For a ball and beam system, the entire family is found explicitly.


title: Binomial Residues

abstract: A binomial residue is a rational function defined by a hypergeometric integral whose kernel is singular along binomial divisors. Binomial residues provide an integral representation for rational solutions of A-hypergeometric systems of Lawrence type. The space of binomial residues of a given degree, modulo those which are polynomial in some variable, has dimension equal to the Euler characteristic of the matroid associated with A.


title: Remarks on plane maximal curves

abstract: Some new results on plane F_{q^2}-maximal curves are stated and proved. It is known that the degree d of such curves is upper bounded by q+1 and that d=q+1 if and only if the curve is F_{q^2}-isomorphic to the Hermitian. We show that d\le q+1 can be improved to d\le (q+2)/2 apart from the case d=q+1 or q\le 5. This upper bound turns out to be sharp for q odd. We also study the maximality of Hurwitz curves of degree n+1. We show that they are F_{q^2}-maximal if and only if (q+1) divides (n^2-n+1). Such a criterion is extended to a wider family of curves.


title: On complete arcs arising from plane curves

abstract: We show that the set of F_q-rational points of either certain Fermat curves or certain F_q-Frobenius non-classical plane curves is a complete (k,d)-arc in P^2(F_q), where k and d are respectively the number of F_q-rational points and the degree of the underlying curve.


title: On binary relations without non-identical endomorphisms

abstract: On every set A there is a rigid binary relation, i.e. such a relation R that there is no homomorphism (A,R)->(A,R) except the identity (Vopenka et al. [1965]). We state two conjectures which strengthen this theorem. We prove these conjectures for some cardinalities.


title: Proof of the Rokhlin's Conjecture on Arnold's surfaces

abstract: In this paper we prove that Arnold Surfaces of all real algebraic curves of even degree with non-empty real part are standard (Rokhlin's Conjecture). There is an obvious connection with classification of Arnold Surfaces up to isotopy of S^4 and Hilbert's Sixteen Problem on the arrangements of connected real components of curves. First, we consider some M-curves, i.e curves of a prescribed degree having the greatest possible number of connected real components, and prove that Arnold surfaces of these curves are standard. Afterwards, we exhibit a procedure of modification "perestroika" of these M-curves which allows to prove the Rokhlin's Conjecture.


title: A simple question about a complicated object

abstract: Let n and k be positive integers with and k < n. Then of course SU(k,1) is contained into SU(n,1). Moreover, which is less clear - but proved by Khoroshkin -, the representation theory of SU(k,1) at the generalized infinitesimal character of the trivial module can be fully (and even Ext-fully) embedded into that of SU(n,1). Here is the obvious bet: This embedding is implemented by the cohomological induction functor. I conjecture that a similar phenomenon occurs whenever SU(k,1) is a Levi factor of a theta stable parabolic subalgebra of a reductive group.


title: Life and work of the mathemagician Srinivasa Ramanujan

abstract: The Life of Srinivasa Ramanujan (1887 - 1920), the renowned Indian Mathematician, is presented, in this the first of a series of lectures, delivered at the Indian Institute for Advanced Study, Shimla.


title: Hilbertian versus Hilbert W*-modules, and applications to $L^2$- and other invariants

abstract: Hilbert(ian) A-modules over finite von Neumann algebras A with a faithful normal trace state (from global analysis) and Hilbert W*-modules over A (from operator algebra theory) are compared, and a categorical equivalence is established. The correspondence between these two structures sheds new light on basic results in $L^2$-invariant theory providing alternative proofs. We indicate new invariants for finitely generated projective B-modules, where B is supposed any unital C*-algebra, (usually the full group C*-algebra $C^*(\pi)$ of the fundamental group $\pi=\pi_1(M)$ of a manifold $M$). The results are of interest to specialists in operator algebras and global analysis.


title: Limits of Weierstrass points in regular smoothings of curves with two components

abstract: In the 80's D. Eisenbud and J. Harris posed the following question: "What are the limits of Weierstrass points in families of curves degenerating to stable curves not of compact type?" We answer their question for one-dimensional families of smooth curves degenerating to stable curves with just two components meeting at points in general position. In this note we treat only those families whose total space is regular. Nevertheless, we announce here our most general answer, to be presented in detail in a forthcoming submission.


title: The loop expansion of the Kontsevich integral, the null move and S-equivalence

abstract: This is a substantially revised version. The Kontsevich integral of a knot is a graph-valued invariant which (when graded by the Vassiliev degree of graphs) is characterized by a universal property; namely it is a universal Vassiliev invariant of knots. We introduce a second grading of the Kontsevich integral, the Euler degree, and a geometric null-move on the set of knots. We explain the relation of the null-move to S-equivalence, and the relation to the Euler grading of the Kontsevich integral. The null move leads in a natural way to the introduction of trivalent graphs with beads, and to a conjecture on a rational version of the Kontsevich integral, formulated by the second author and proven in joint work of the first author and A. Kricker.


title: Krichever correspondence for algebraic varieties

abstract: In 70's there was discovered a construction how to attach to some algebraic-geometric data an infinite-dimensional subspace in the space k((z)) of the Laurent power series. Now this construction is called the Krichever map. In e-print math.AG/9911097 A.N. Parshin suggested a generalization of the Krichever map for the case of algebraic surfaces from the point of view of 2-dimensional local fields. In this work we suggest a generalization of the Krichever map to the case of algebraic varieties of arbitrary dimension from the point of view of multidimensional local fields. For surfaces our construction coincides with the Parshin construction. Besides, we obtain new explicit acyclic resolutions of quasicoherent sheaves connected with multidimensional local fields.


title: Whitehead doubling persists

abstract: The operation of (untwisted) Whitehead doubling trivializes the Alexander module of a knot (and consequently, all known abelian invariants), and converts knots to topologically slice ones. In this note we show that Whitehead doubling does not trivialize the rational function that equals to the 2-loop part of the Kontsevich integral.


title: The regular representations and the $A_{n}(V)$ algebras

abstract: For a vertex operator algebra $V$, the regular representations are related to the $A_{n}(V)$-algebras and their bimodules, and induced $V$-modules from $A_{n}(V)$-modules are defined and studied in terms of the regular representations.


title: Zero divisors and L^p(G), II

abstract: Let G be a discrete group, let $p \ge 1$, and let $L^p(G)$ denote the Banach space $\{\sum_{g\in G} a_g g \mid \sum_{g\in G} |a_g|^p < \infty\}$. The following problem will be studied: given $0 \ne \alpha \in CG$ and $0 \ne \beta \in L^p(G)$, is $\alpha * \beta \ne 0$? We will concentrate on the case G is a free abelian or free group.


title: Asymptotics of Multivariate Sequences, part I. Smooth points of the singular variety

abstract: Given a multivariate generating function F, we determine asymptotics for the coefficients. Our approach is to use Cauchy's integral formula near singular points of F, resulting in a tractable oscillating integral. This paper treats the case where the singular point of F is a smooth point of a surface of poles. Companion papers will treat singular points of F where the local geometry is more complicated, and for which other methods of analysis are not known.


title: Standard conjectures for the arithmetic Grassmannian G(2,N) and Racah polynomials

abstract: We prove the arithmetic Hodge index and hard Lefschetz conjectures for the Grassmannian $G=G(2,N)$ parametrizing lines in projective space, for the natural arithmetic Lefschetz operator defined via the Pl\"ucker embedding of $G$ in projective space. The analysis of the Hodge index inequalities involves estimates on certain Racah polynomials.


title: Non-unitary set-theoretical solutions to the Quantum Yang-Baxter Equation

abstract: We develop a theory of non-unitary set-theoretical solutions to the Quantum Yang-Baxter equation. Our results generalize those obtained by Etingof, Schedler and the author. We remark that some of our constructions are similar to constructions obtained by Lu, Yan and Zhu.


title: Random matrix theory over finite fields: a survey

abstract: First we survey generating function methods for obtaining useful probability estimates about random matrices in the finite classical groups. Then we describe a probabilistic picture of conjugacy classes which is coherent and beautiful. Connections are made with symmetric function theory, Markov chains, potential theory, Rogers-Ramanujan type identities, quivers, and various measures on partitions.


title: Matching and digital control implementation for underactuated systems

abstract: This note describes two problems related to the digital implementation of control laws in the infinite dimensional family of matching control laws, namely state estimation and sampled data induced error. The entire family of control laws is written for an inverted pendulum cart. Numerical simulations which include sampled data and a state estimator are presented for one of the control laws in this family.


title: The Harnack estimate for the Yamabe flow on CR manifolds of dimension 3

abstract: We deform the contact form by the amount of the Tanaka-Webster curvature on a closed spherical $CR$ three-manifold. We show that if a contact form evolves with free torsion and positive Tanaka-Webster curvature as initial data, then a certain Harnack inequality for the Tanaka-Webster curvature holds.


title: Frobenius and Mashke type Theorems for Doi-Hopf modules and entwined modules revisited: a unified approach

abstract: We study when induction functors (and their adjoints) between categories of Doi-Hopf modules and, more generally, entwined modules are separable, resp. Frobenius. We present a unified approach, leading to new proofs of old results by the authors, as well as to some new ones. Also our methods provide a categorical explanation for the relationship between separability and Frobenius properties.


title: Courbes rationnelles sur les vari\'et\'es homog\`enes et une d\'esingularisation plus fine des vari\'et\'es de Schubert

abstract: In this article we prove the irreducibility of the Hilbert scheme of rationnal curves on homogeneous varieties with fixed class in the Chow ring. This result has also been proved by J. F. Thomsen [T] and B. Kim and R. Pandharipande [KP]. Our method is totaly different (we don't use the compactification of stable maps) and enables us to prove the existence of rational smooth curves on homogeneous varities with fixed class in the Chow ring. This was not the case of Thomsen's and Kim and Pandharipande's proofs. We use a decomposition of G/P in orbits (called the P'-orbits, see definition) which are bigger than the Schubert cells. We then prove that these P'-orbits are "towers" of affine bundles (see definition) over "smaller" homogeneous varities. This description gives the results. Our decomposition in P'-orbits enables us to give a "better" desingularisation of Schubert varities than Demazure's one.


title: Theta Series of Unimodular Lattices, Combinatorial Identities and Weighted Symmetric Polynomials

abstract: We find two combinatorial identities on the theta series of the root lattices of the finite-dimensional simple Lie algebras of type $D_{4n}$ and the cosets in their integral duals, in terms of the well-known Essenstein series $E_4(z)$ and Ramanujan series $\Dlt_{24}(z)$. Using these two identities, we determine the theta series of certain infinite families of postive definite even unimodular lattices obtained by gluing finite copies of the root lattices of the finite-dimensional simple Lie algebras of type $D_{2n}$. It turns out that these theta series are weighted symmetric polynomials of two fixed families of polynomials of $E_4(z)$ and $\Dlt_{24}(z)$.


title: Eclatement de r\'eseaux de quadriques et bord des instantons de degr\'e 3

abstract: In their article [1], L. Gruson and M. Skiti have constructed a birationnal map from the variety $\I$ of mathematical instantons of degree 3 to the variety of nets of quadrics in $\pd$. They describe by this way two irreducible componants of the boundary of $\I$ associated to the divisor of nets which contain a two-plane degenerated quadric and the divisor of L\" uroth nets. In this article we describe an irreducible componante of the boundary of $\I$ as the exceptionnal divisor of the blowing-up of the closed set of nets of quadrics of rank 3.


title: Products of harmonic forms and rational curves

abstract: In general, the product of harmonic forms is not harmonic. We study the top exterior power of harmonic two-forms on compact Kaehler manifolds. Often, it is not harmonic. This phenomenon is related to the geometry of the manifold and to the existence of rational curves in particular. K3 surfaces and hyperkaehler manifolds are discussed in detail.


title: Attainable sets for left invariant control systems and Carnot-Caratheodory metrics on nilpotent Lie groups

abstract: Let $G$ be a semidirect product of a simply connected nilpotent Lie group and $\R$. For a left invariant control system on $G$ with a convex cone as a control domain, it is proved that the attainable sets coincides with a "halfspace" if the degree of contact of the with some special subspaces is sufficiently high.


title: Weakly Proper Toric Quotients

abstract: We consider subtorus actions on complex toric varieties. A natural candidate for a categorical quotient of such an action is the so-called toric quotient, a universal object constructed in the toric category. We prove that if the toric quotient is weakly proper and if in addition the quotient variety is of expected dimension then the toric quotient is in fact a categorical quotient in the category of algebraic varieties. For example, weak properness always holds for the toric quotient of a subtorus action on a toric variety whose fan has a convex support.


title: Exponentially decaying eigenvectors for certain almost periodic operators

abstract: For certain one-dimensional Schroedinger-type difference operators with a complex potential, a "complete" set of exponentially decaying eigenvectors is shown to exist. "Completeness" entails that the parameters involved are obtained through evaluation of analytic functions on a Riemann surface.


title: A generalization of Hagopian's theorem and exponents

abstract: We generalize Hagopian's theorem characterizing solenoids to higher dimensions by showing that any homogeneous continuum admitting a fiber bundle projection onto a torus with totally disconnected fibers admits a compatible abelian topological group structure. The higher dimensional exponent group is then introduced.


title: Expansiveness of algebraic actions on connected groups

abstract: We consider endomorphism actions of arbitrary discrete semigroups on a connected metrizable topological group G. We give necessary and sufficient conditions for expansiveness of such actions when G is a Lie group or a compact finite-dimensional group.


title: Energy levels of steady states for thin film type equations

abstract: We study the phase space of the evolution equation h_t = -(f(h) h_{xxx})_x - (g(h) h_x)_x by means of a dissipated energy (a Liapunov function). Here h(x,t) is nonnegative, and at h=0 the coefficient functions f>0 and g can either degenerate to 0, or blow up to infinity, or tend to a nonzero constant. We first show all positive periodic steady states are 'energy unstable' fixed points for the evolution (meaning the energy decreases under some zero--mean perturbation) if g/f is convex or if the perturbations are allowed to have period longer than that of the steady state. For power law coefficients (f(y) = y^n and g(y) = B y^m for some B > 0) we analytically determine the relative energy levels of distinct steady states. For example, with m-n in [1,2) and for suitable choices of the period and mean value, we find three fundamentally different steady states. The first is a constant steady state that is nonlinearly stable and is a local minimum of the energy. The second is a positive periodic steady state that is linearly unstable and has higher energy than the constant steady state; it is a saddle point. The third is a periodic collection of 'droplet' (compactly supported) steady states having lower energy than either the positive steady state or the constant one. Since the energy must decrease along every orbit, these results significantly constrain the dynamics of the evolution equation. Our results suggest that heteroclinic connections could exist between certain of the steady states, for example from the periodic steady state to the droplet one. In a companion article we perform numerical simulations to confirm their existence.


title: Heteroclinic orbits, mobility parameters and stability for thin film type equations

abstract: We study numerically the phase space of the evolution equation h_t = -(h^n h_{xxx})_x - B (h^m h_x)_x . Here h(x,t) is nonnegative, n>0 and m is real, and the Bond number B is positive. We pursue three goals: to investigate the nonlinear stability of the positive periodic and constant steady states; to locate heteroclinic connecting orbits between these steady states and the compactly supported 'droplet' steady states; and to determine how these orbits change when the 'mobility' exponents n and m are changed. For example, we change the mobility coefficients in such a way that the steady states are unchanged and find evidence that heteroclinic orbits between steady states are perturbed but not broken. We also find that when there appear to be touch-down singularities, the exponent n affects whether they occur in finite or infinite time. It also can affect whether there is one touch-down or two touch-downs per period.


title: Branching rules for modular fundamental representations of symplectic groups

abstract: In this paper branching rules for the fundamental representations of the symplectic groups in positive characteristic are found. The submodule structure of the restrictions of the fundamental modules for the group $Sp_{2n}(K)$ to the naturally embedded subgroup $Sp_{2n-2}(K)$ is determined. As a corollary, inductive systems of fundamental representations for $Sp_{\infty}(K)$ are classified. The submodule structure of the fundamental Weyl modules is refined.


title: Cauchy-Riemann geometry and contact topology in three dimensions

abstract: We introduce a global Cauchy-Riemann($CR$)-invariant and discuss its behavior on the moduli space of $CR$-structures. We argue that this study is related to the Smale conjecture in 3-topology and the problem of counting complex structures. Furthermore, we propose a contact-analogue of Ray-Singer's analytic torsion. This ``contact torsion'' is expected to be able to distinguish among ``contact lens'' spaces. We also propose the study of a certain kind of monopole equation associated with a contact structure.


title: Motivic zeta functions of infinite dimensional Lie algebras

abstract: We associate motivic zeta functions to a large class of infinite dimensional Lie algebras


title: On threefolds covered by lines

abstract: A classification theorem is given of projective threefolds that are covered by a two-dimensional family of lines, but not by a higher dimensional family.


title: Geometry of Quaternionic K\"ahler connections with torsion

abstract: The target space of a (4,0) supersymmetric two-dimensional sigma model with Wess-Zumino term has a connection with totally skew-symmetric torsion and holonomy contained in Sp(n).Sp(1), QKT-connection. We study the geometry of QKT-connections. We find conditions to the existence of a QKT-connection and prove that if it exists it is unique. Studying conformal transformations we obtain a lot of (compact) examples of QKT manifolds. We present a (local) description of 4-dimensional homogeneous QKT structures relying on the known result of naturally reductive homogeneous Riemannian manifolds. We consider Einstein-like QKT manifold and find closed relations with Einstein-Weyl geometry in dimension four.


title: The approximation numbers of Hardy--type operators on trees

abstract: The Hardy operator $T_a$ on a tree $\G$ is defined by \[(T_af)(x):=v(x) \int^x_a u(t)f(t) dt \qquad {for} a, x\in \G. \] Properties of $T_a$ as a map from $L^p(\G)$ into itself are established for $1\le p \le \infty$. The main result is that, with appropriate assumptions on $u$ and $v$, the approximation numbers $a_n(T_a)$ of $T_a$ satisfy \[ (*) \lim_{n\to \infty} na_n(T_a) = \alpha_p\int_{\G} |uv|dt \] for a specified constant $\alpha_p$ and $1<p<\infty$. This extends results of Naimark, Newman and Solomyak for $p=2$. Hitherto, for $p\neq 2$, (*) was unknown even when $\G$ is an interval. Also, upper and lower estimates for the $l^q$ and weak-$l^q$ norms of $\{a_n(T_a)\}$ are determined.


title: On the zero modes of Pauli operators

abstract: Two results are proved for $\mathrm{nul} \mathbb{P}_A$, the dimension of the kernel of the Pauli operator $\mathbb{P}_A = \bigl\{\bbf{\sigma} \cdotp \bigl(\frac{1}{i} \bbf{\nabla} + \vec{A} \bigr) \bigr\} ^2 $ in $[L^2 (\mathbb{R}^3)]^2$: (i) for $|\vec{B}| \in L^{3/2} (\mathbb{R}^3),$ where $\vec{B} = \mathrm{curl} \vec{A}$ is the magnetic field, $\mathrm{nul} \ \mathbb{P}_{tA} = 0$ except for a finite number of values of $t$ in any compact subset of $(0, \infty)$; (ii) $\bigl\{\vec{B}: \mathrm{nul} \mathbb{P}_{A} = 0, | \vec{B} | \in L^{3/2}(\mathbb{R}^3) \bigr\} $ contains an open dense subset of $[L^{3/2}(\mathbb{R}^3)]^3$.


title: Explicit upper bound for the Weil-Petersson volumes

abstract: An explicit upper bound for the Weil-Petersson volumes of the moduli spaces of punctured Riemann surfaces is obtained, using Penner's combinatorial integration scheme with embedded trivalent graphs. It is shown that for a fixed number of punctures n and for genus g going to infinity, the Weil-Petersson volume of M_{g,n} has an upper bound c^g g^{2g}. Here c is an independent of n constant, which is given explicitly.


title: The deformation quantization of certain super-Poisson brackets and BRST cohomology

abstract: On every split supermanifold equipped with the Rothstein even super-Poisson bracket we construct a deformation quantization by means of a Fedosov-type procedure. In other words, the supercommutative algebra of all smooth sections of the dual Grassmann algebra bundle of an arbitrarily given vector bundle E (equipped with a fibre metric) over a symplectic manifold M will be deformed by a series of bidifferential operators having first order supercommutator proportional to the Rothstein superbracket. Moreover, we discuss two constructions related to the above result, namely the quantized BRST-cohomology for a locally free Hamiltonian Lie group action (together with H.-C.Herbig and S.Waldmann) and the classical BRST cohomology in the general coistropic (or reducible) case without using a `ghosts of ghosts' scheme (together with H.-C.Herbig).


title: Cohomology of congruence subgroups of SL(4,Z)

abstract: Let $N>1$ be an integer, and let $\Gamma = \Gamma_0 (N) \subset \SL_4 (\Z)$ be the subgroup of matrices with bottom row congruent to $(0,0,0,*)\mod N$. We compute $H^5 (\Gamma; \C) $ for a range of $N$, and compute the action of some Hecke operators on many of these groups. We relate the classes we find to classes coming from the boundary of the Borel-Serre compactification, to Eisenstein series, and to classical holomorphic modular forms of weights 2 and 4.


title: Special Lagrangian submanifolds and Algebraic complexity one Torus Actions

abstract: In the first part of this paper we consider compact algebraic manifolds M^2n with an algebraic (n-1)-Torus action. We show that there is a T-invariant meromorphic section $\sigma$ of the canonical bundle of M. Any such $\sigma$ defines a divisor D. On the complement M'=M-D we have a trivialization of the canonical bundle and a T-action. If the first cohomology of M' vanishes, then results of [2] imply that there is a Special Lagrangian (SLag) fibration on M'. We study how the fibers compactify in M and give examples of SLag fibrations on M', including some cases there the first cohomology of M' doesn't vanish. In the second part of the paper we study Calabi-Yau hypersurfaces in M. We assume that $\sigma$ is an inverse of a holomorphic section $\eta$ of the anti-canonical bundle of M. We will see that under certain assumptions one can choose a holomorphic volume form on the smooth part D' of the divisor D s.t. orbits of the T-action give a SLag fibration on D' with respect to the metric, induced from M. Transversal sections $\eta_j$ near $\eta$ define smooth Calabi-Yau hypersurfaces D_j in M. We will show that one can deform the SLag fibration on D' to SLag fibrations on large parts of D_j. This construction applies for instance for D_j being quintics in CP^4 or Calabi-Yau hypersurfaces in the Grassmanian G(2,4).


title: Dynamical quantum groups at roots of 1

abstract: Given a dynamical twist for a finite dimensional Hopf algebra we construct two weak Hopf algebras, using methods of Xu and Etingof-Varchenko, and show that they are dual to each other. We generalize the theory of dynamical quantum groups to the case when the quantum parameter q is a root of unity. These objects turn out to be self-dual -- which is a fundamentally new property, not satisfied by the usual Drinfeld-Jimbo quantum groups.


title: Variation of moduli of parabolic Higgs bundles

abstract: We study moduli spaces of parabolic Higgs bundles on a curve and their dependence on the choice of weights. We describe the chamber structure on the space of weights and show that, when a wall is crossed, the moduli space undergoes an elementary transformation in the sense of Mukai.


title: On an asymptotic behavior of elements of order p in irreducible representations of the classical algebraic groups with large enough highest weights

abstract: The behavior of the images of a fixed element of order p in irreducible representations of a classical algebraic group in odd characteristic p with highest weights large enough with respect to p and this element is investigated. Lower estimates for the number of Jordan blocks of size p in images of such elements that lie in naturally embedded subgroups of the same type as the initial group and smaller ranks are obtained.


title: Rank Equalities Related to Generalized Inverses of Matrices and Their Applications

abstract: This paper is divided into two parts. In the first part, we develop a general method for expressing ranks of matrix expressions that involve Moore-Penrose inverses, group inverses, Drazin inverses, as well as weighted Moore-Penrose inverses of matrices. Through this method we establish a variety of valuable rank equalities related to generalized inverses of matrices mentioned above. Using them, we characterize many matrix equalities in the theory of generalized inverses of matrices and their applications. In the second part, we consider maximal and minimal possible ranks of matrix expressions that involve variant matrices, the fundamental work is concerning extreme ranks of the two linear matrix expressions $A - BXC$ and $A - B_1X_1C_1 - B_2X_2C_2$. As applications, we present a wide range of their consequences and applications in matrix theory.


title: Fusion rings for degenerate minimal models

abstract: We study fusion rings for degenerate minimal models ($p=q$ case) for N=0 and N=1 (super)conformal algebras. We consider a distinguished family of modules at the level $c=1$ and $c=3/2$ and show that the corresponding fusion rings are isomorphic to the representation rings for ${\mathfrak sl}(2, {\bf C})$ and ${\mathfrak osp}(1|2)$ respectively.


title: Holomorphic Jet Bundles

abstract: Chern number formulas for holomorphic jet bundles are computed for projective curves and for projective surfaces. These formulas are used to show that certain minimal surfaces of general type (generic hypersurfaces of degree at least 5 in projective 3-spaces in particular) are hyperbolic in the sense of complex hyperbolic geometry.


title: Irregular Input Data in Convergence Acceleration and Summation Processes: General Considerations and Some Special Gaussian Hypergeometric Series as Model Problems

abstract: Sequence transformations accomplish an acceleration of convergence or a summation in the case of divergence by detecting and utilizing regularities of the elements of the sequence to be transformed. For sufficiently large indices, certain asymptotic regularities normally do exist, but the leading elements of a sequence may behave quite irregularly. The Gaussian hypergeometric series 2F1 (a, b; c; z) is well suited to illuminate problems of that kind. Sequence transformations perform quite well for most parameters and arguments. If, however, the third parameter $c$ of a nonterminating hypergeometric series 2F1 is a negative real number, the terms initially grow in magnitude like the terms of a mildly divergent series. The use of the leading terms of such a series as input data leads to unreliable and even completely nonsensical results. In contrast, sequence transformations produce good results if the leading irregular terms are excluded from the transformation process. Similar problems occur also in perturbation expansions. For example, summation results for the infinite coupling limit k_3 of the sextic anharmonic oscillator can be improved considerably by excluding the leading terms from the transformation process. Finally, numerous new recurrence formulas for the 2F1 (a, b; c; z) are derived.


title: Exponential and moment inequalities for U-statistics

abstract: A Bernstein-type exponential inequality for (generalized) canonical U-statistics of order 2 is obtained and the Rosenthal and Hoffmann-J{\o}rgensen inequalities for sums of independent random variables are extended to (generalized) U-statistics of any order whose kernels are either nonnegative or canonical


title: There are enough Azumaya algebras on surfaces

abstract: Using Maruyama's theory of elementary transformations, I show that the Brauer group surjects onto the cohomological Brauer group for separated geometrically normal algebraic surfaces. As an application, I infer the existence of nonfree vector bundles on proper normal algebraic surfaces.


title: Characterizations of ${\mathbb P}^n$ in arbitrary characteristic

abstract: We prove that a smooth projective variety of dimension n is isomorphic to projective n-space iff the canonical class is -(n+1)-times an ample divisor. In characteristic zero this was proved by Kobayashi-Ochiai. We also extend the second adjunction theorem of Ionescu and Fujita to arbitrary characteristic.


title: Connected components of real double Bruhat cells

abstract: Double Bruhat cells in a semisimple group are intersections of cells in two Bruhat decompositions corresponding to two opposite Borel subgroups. They form a geometric framework for the study of total positivity in semisimple groups; they are also closely related to symplectic leaves in the corresponding Poisson-Lie groups. The term "cells" might be misleading because their topology can be quite non-trivial. As a first step towards understanding this topology, we enumerate the connected components of real double Bruhat cells. This result extends (from the simply-laced case to the general one) and proves the conjecture made in a joint work with B.Shapiro-M.Shapiro-A.Vainshtein; it also extends earlier work by B.Shapiro-M.Shapiro-A.Vainshtein and K.Rietsch.


title: Multiplier Ideals of Monomial Ideals

abstract: In this note we calculate the multiplier ideal associated to an arbitrary monomial ideal in C^n. We discuss applications to the calculation of log canonical thresholds.


title: On the L^2-stability and L^2 controllability of steady flows of an ideal incompressible fluid

abstract: The author studies the flows of an ideal incompressible fluid in a 2-dimensional domain, and in particular questions of instability and controllability.