title: The fibre of the Bott-Samelson Resolution

abstract: Let $G$ denote an adjoint semi-simple group over an algebraically closed field and $T$ a maximal torus of $G$. Following Contou-Carr\`ere [CC], we consider the Bott-Samelson resolution of a Schubert variety as a variety of galleries in the building associated to the group $G$. We first determine a cellular decomposition of this variety analogous to the Bruhat decomposition of a Schubert variety and then we describe the fibre of this resolution above a $T-$fixed point.


title: ACM vector bundles on prime Fano threefolds and complete intersection Calabi Yau threefolds

abstract: In this paper we derive a list of all the possible indecomposable normalized rank--two vector bundles without intermediate cohomology on the prime Fano threefolds and on the complete intersection Calabi Yau threefolds, say $V$, of Picard number $\rho=1$. For any such bundle $\E$, if it exists, we find the projective invariants of the curves $C \subset V$ which are the zero-locus of general global sections of $\E$. In turn, a curve $C \subset V$ with such invariants is a section of a bundle $\E$ from our lists. This way we reduce the problem for existence of such bundles on $V$ to the problem for existence of curves with prescribed properties contained in $V$. In part of the cases in our lists the existence of such curves on the general $V$ is known, and we state the question about the existence on the general $V$ of any type of curves from the lists.


title: The branching nerve of HDA and the Kan condition

abstract: One can associate to any strict globular $\omega$-category three augmented simplicial nerves called the globular nerve, the branching and the merging semi-cubical nerves. If this strict globular $\omega$-category is freely generated by a precubical set, then the corresponding homology theories contain different informations about the geometry of the higher dimensional automaton modeled by the precubical set. Adding inverses in this $\omega$-category to any morphism of dimension greater than 2 and with respect to any composition laws of dimension greater than 1 does not change these homology theories. In such a framework, the globular nerve always satisfies the Kan condition. On the other hand, both branching and merging nerves never satisfy it, except in some very particular and uninteresting situations. In this paper, we introduce two new nerves (the branching and merging semi-globular nerves) satisfying the Kan condition and having conjecturally the same simplicial homology as the branching and merging semi-cubical nerves respectively in such framework. The latter conjecture is related to the thin elements conjecture already introduced in our previous papers.


title: Asymptotic stability of traveling wave solutions for perturbations with algebraic decay

abstract: For a class of scalar partial differential equations that incorporate convection, diffusion, and possibly dispersion in one space and one time dimension, the stability of traveling wave solutions is investigated. If the initial perturbation of the traveling wave profile decays at an algebraic rate, then the solution is shown to converge to a shifted wave profile at a corresponding temporal algebraic rate, and optimal intermediate results that combine temporal and spatial decay are obtained. The proofs are based on a general interpolation principle which says that algebraic decay results of this form always follow if exponential temporal decay holds for perturbation with exponential spatial decay and the wave profile is stable for general perturbations.


title: Algorithmic Determination of the Rational Cohomology of Complex Varieties via Differential Forms

abstract: We give algorithms for the computation of the algebraic de Rham cohomology of open and closed algebraic sets inside projective space or other smooth complex toric varieties. The methods, which are based on Gr\"obner basis computations in rings of differential operators, can also be used to compute the cohomology of intersections of smooth closed and open subsets, and in certain situations the cup-product structure. We give some examples which were carried out with the help of \Mtwo.


title: Triplets and Symmetries of Arithmetic mod p^k

abstract: The finite ring Z_k = Z(+,.) mod p^k of residue arithmetic with odd prime power modulus is analysed. The cyclic group of units G_k in Z_k(.) has order (p-1)p^{k-1}, implying product structure G_k = A_k B_k. Here core A_k of order p-1 is an extension for k >1 of Fermat's Small Theorem (FST*), where n^p == n (mod p^k) for each core residue, while extension subgroup B_k has order p^{k-1}. It is shown that each subgroup S >1 of core A_k has zero sum, and that p+1 generates subgroup B_k of all n == 1 (mod p) in G_k. The p-th power residues n^p mod p^k in G_k form an order |G_k|/p subgroup F_k, with |F_k|/|A_k| = p^{k-2}, so F_k properly contains core A_k for k >2. By quadratic analysis (mod p^3) rather than linear analysis (mod p^2, re Hensel's lemma [5]), the additive structure of subgroups G_k and F_k is derived. ... Successor function S(n)=n+1 combines with the two arithmetic symmetries -n (complement) and 1/n (inverse) to yield the "triplet structure" of G_k : three inverse pairs {n_i, 1/(n_i)} with (n_i)+1 = - 1/n_{i+1} (mod p^k), with indices mod 3, and product n_0.n_1.n_2 = 1 mod p^k. In case n_0 = n_1 = n_2 = n this reduces to the cubic root solution n+1 = -(1/n) = -(n^2) (mod p^k, p=1 mod 6). The property "EDS" of exponent p distributing over a sum of core residues: (x+y)^p == x+y == x^p + y^p (mod p^k), is employed to derive the known FLT inequality for integers. In other words, to any FLT(mod p^k) equivalence for k digits correspond p-th power integers of pk digits, and the (p-1)k "carries" make the difference, representing the sum of mixed-terms in the binomial expansion.


title: Singular sets and parameters of generalized triangle orbifolds

abstract: We study groups generated by three half-turns in the Lobachevsky $3$-space and their quotient orbifolds. These generalized triangle groups are closely related to the arbitrary 2-generator Kleinian groups. Our main result is a classification of the singular sets of the generalized triangle orbifolds. We also present a method to obtain the parameters defining a generalized triangle group from the structure of the singular set of its quotient orbifold and illustrate it by examples.


title: Smooth geometric evolutions of hypersurfaces

abstract: We consider the gradient flow of hypersurfaces immersed in the Euclidean space associated to geometric energy functionals. We show that for particular functionals depending by higher covariant derivatives of the curvature, singularities in finite time cannot occur during the evolution. Such geometric functionals are related to similar ones proposed by Ennio De Giorgi, who conjectured for them an analogous regularity result.


title: Quantum groups and ribbon G-categories

abstract: For a group G, the notion of a ribbon G-category was introduced by the second author in a previous work with a view towards constructing 3-dimensional homotopy quantum field theories (HQFT's) with target K(G,1). We discuss here how to derive ribbon G-categories from a simple complex Lie algebra g where G is the center of g. The construction is based on a study of representations of the quantum group $U_q(g)$ at a root of unity. Under certain assumptions on the root of unity, the resulting G-categories give rise to numerical invariants of pairs (a closed oriented 3-manifold M, an element of $H^1(M;G)$) and to 3-dimensional HQFT's.


title: Surgery on closed 4-manifolds with free fundamental group

abstract: Even though the disk embedding theorem is not available in dimension 4 for free fundamental groups, some surgery problems may be shown to have topological solutions. We prove that surgery problems may be solved if one considers closed 4-manifolds and the intersection pairing is extended from the integers, and prove a related splitting result.


title: An approach to Hopf algebras via Frobenius coordinates II

abstract: We study a Hopf algebra $H$, which is finitely generated and projective over a commutative ring $k$, as a $P$-Frobenius algebra. We define modular functions in this setting, and provide a complete proof of Radford's formula for the fourth power of the antipode, using Frobenius algebraic techniques. As further applications, we extend Etingof and Gelaki's result that a separable and coseparable Hopf algebra has antipode of order two, the result of Schneider that Hopf subalgebras are twisted Frobenius extensions, and show that the quantum double is always a Frobenius algebra.


title: Seiberg-Witten invariants of rational homology spheres

abstract: We prove that the Seiberg-Witten invariants of a rational homology sphere are determined in a very explicit fashion by the Casson-Walker invariant and the Reidemeister torsion


title: Irreducible Modules of Finite Dimensional Quantum Algebras of type A at Roots of Unity

abstract: Specializing properly the parameters contained in the maximal cyclic representation of the non-restricted A-type quantum algebra at roots of unity, we find the unique primitive vector in it. We show that the submodule generated by the primitive vector can be identified with an irreducble highest weight module of the finite dimensional A-type quantum algebra which is defined as the subalgebra of the restricted quantum algebra at roots of unity.


title: Combinatorial Tangent Space and Rational Smoothness of Schubert Varieties

abstract: Following Contou-Carrere [CC], we consider the Bott-Samelson resolution of a Schubert variety as a variety of galleries in the Tits building associated to the situation. We prove that the rational smoothness of a Schubert variety can be expressed in terms of a subspace of the Zariski tangent space called, the combinatorial tangent space. For this, we use a characterization of rational smoothness of a Schubert variety introduced by Carrell and Peterson [CP].


title: On the additivity of the Thurston--Bennequin invariant of Legendrian knots

abstract: In this article, we consider the maximal value of the Thurston--Bennequin invariant of Legendrian knots which topologically represent a fixed knot type in the standard contact 3-space and we prove a formula of the value under the connected sum operation of knots.


title: A multidimensional generalization of Shukla's 8-psi-8 summation

abstract: We give an r-dimensional generalization of H. S. Shukla's very-well-poised 8-psi-8 summation formula. We work in the setting of multiple basic hypergeometric series very-well-poised over the root system A_{r-1}, or equivalently, the unitary group U(r). Our proof, which is already new in the one-dimensional case, utilizes an A_{r-1} nonterminating very-well-poised 6-phi-5 summation by S. C. Milne, a partial fraction decomposition, and analytic continuation.


title: Tensor product varieties and crystals. ADE case

abstract: Let g be a simple simply laced Lie algebra. In this paper two families of varieties associated to the Dynkin graph of g are described: ``tensor product'' and ``multiplicity'' varieties. These varieties are closely related to Nakajima's quiver varieties and should play an important role in the geometric constructions of tensor products and intertwining operators. In particular it is shown that the set of irreducible components of a tensor product variety can be equipped with a structure of g-crystal isomorphic to the crystal of the canonical basis of the tensor product of several simple finite dimensional representations of g, and that the number of irreducible components of a multiplicity variety is equal to the multiplicity of a certain representation in the tensor product of several others. Moreover the decomposition of a tensor product into a direct sum is described geometrically (on the level of crystals).


title: Tensor product varieties and crystals. GL case

abstract: The role of Spaltenstein varieties in the tensor product for GL is explained. In particular a direct (non-combinatorial) proof of the fact that the number of irreducible components of a Spaltenstein variety is equal to a Littlewood-Richardson coefficient (i.e. certain tensor product multiplicity) is obtained.


title: Limit theorems for the painting of graphs by clusters

abstract: We consider a generalization of the so-called divide and color model recently introduced by Haggstrom. We investigate the behaviour of the magnetization in large boxes and its fluctuations. Thus, laws of large numbers and Central Limit theorems are proved, both quenched and annealed. We show that the properties of the underlying percolation process roughly influence the behaviour of the colorying model. In the subcritical case, the limit magnetization is deterministic and the Central Limit Theorem admits a Gaussian limit. A contrario, the limit magnetization is not deterministic in the supercritical case and the limit of the Central Limit Theorem is not Gaussian, except in the particular model with exactly two colors which are equally probable.


title: An Interesting Class of Operators with unusual Schatten-von Neumann behavior

abstract: We consider the class of integral operators $Q_\f$ on $L^2(\R_+)$ of the form $(Q_\f f)(x)=\int_0^\be\f (\max\{x,y\})f(y)dy$. We discuss necessary and sufficient conditions on $\phi$ to insure that $Q_{\phi}$ is bounded, compact, or in the Schatten-von Neumann class $\bS_p$, $1<p<\infty$. We also give necessary and sufficient conditions for $Q_{\phi}$ to be a finite rank operator. However, there is a kind of cut-off at $p=1$, and for membership in $\bS_{p}$, $0<p\leq1$, the situation is more complicated. Although we give various necessary conditions and sufficient conditions relating to $Q_{\phi}\in\bS_{p}$ in that range, we do not have necessary and sufficient conditions. In the most important case $p=1$, we have a necessary condition and a sufficient condition, using $L^1$ and $L^2$ modulus of continuity, respectively, with a rather small gap in between. A second cut-off occurs at $p=1/2$: if $\f$ is sufficiently smooth and decays reasonably fast, then $\qf$ belongs to the weak Schatten-von Neumann class $\wS{1/2}$, but never to $\bS_{1/2}$ unless $\f=0$. We also obtain results for related families of operators acting on $L^2(\R)$ and $\ell^2(\Z)$. We further study operations acting on bounded linear operators on $L^{2}(\R^{+})$ related to the class of operators $Q_\f$. In particular we study Schur multipliers given by functions of the form $\phi(\max\{x,y\}) $ and we study properties of the averaging projection (Hilbert-Schmidt projection) onto the operators of the form $Q_\f$.


title: Seshadri constants and very ample divisors on algebraic surfaces

abstract: A broadly applicable geometric approach for constructing nef divisors on blow ups of algebraic surfaces at n general points is given; it works for all surfaces in all characteristics for any n. This construction is used to obtain substantial improvements for currently known lower bounds for n point Seshadri constants. Remarks are included about a range of applications to classical problems involving linear systems on P2.


title: Bethe's states for generalized XXX and XXZ models

abstract: For any rational number $p_0\ge 1$ we prove an identity of Rogers-Ramanujan-Gordon-Andrews' type. Bijection between the space of states for XXZ model and that of XXX model is constructed.


title: Unification of independence in quantum probability

abstract: For a family of unital free *-algebras with a family of states on them, we construct a sequence of noncommutative probability spaces, which are tensor product algebras with tensor product states and which approximate the free product of states in the sense of convergence of mixed moments to those of free random variables. The constructed sequence of noncommutative probability spaces is called the hierarchy of freeness with the corresponding states called m-free products of states. The first-order approximation corresponding to m=1 gives the Boolean product of states. Thus the product states for the main types of noncommutative independence can be obtained from tensor products of states. Therefore, this approach can be viewed as a unification of independence. We also show how to associate a cocommutative *-bialgebra with the m-free product of states. This approach is developed in the paper for the more general case of the conditionally free product of states and can be easily extended to families of sequences of states.


title: Limit theorems for the hierarchy of freeness

abstract: The central limit theorem, the invariance principle and the Poisson limit theorem for the hierarchy of freeness are studied. We show that for given natural m the limit laws can be expressed in terms of non-crossing partitions of depth smaller or equal to m. For the algebra of polynomials in one variable we solve the associated moment problems and find explicitly the discrete limit measures.


title: Filtered stochastic calculus

abstract: By introducing a color filtration to the multiplicity space, we extend the quantum Ito calculus on multiple symmetric Fock space to the framework of filtered adapted biprocesses. In this new notion of adaptedness,``classical'' time filtration makes the integrands similar to adapted processes, whereas ``quantum'' color filtration produces their deviations from adaptedness. An important feature of this calculus, which we call filtered stochastic calculus, is that it provides an explicit interpolation between the main types of calculi, regardless of the type of independence, including freeness, Boolean independence (more generally, m-freeness) as well as tensor independence. Moreover, it shows how boson calculus is ``deformed'' by other noncommutative notions of independence.


title: Filtered random variables, bialgebras and convolutions

abstract: We introduce the filtered *-bialgebra which is a noncommutative analog of the *-bialgebra of multivariate polynomials with the canonical coproduct and counit. We study the associated filtered convolutions, random walks and random variables. The GNS representations of the limit states lead to filtered fundamental operators which are the CCR fundamental operators on the multiple symmetric Fock space, multiplied by appropriate projections. The importance of filtered random variables and fundamental operators stems from the fact that by addition and strong limits one obtains from them the main types of noncommutative random variables and fundamental operators, respectively, regardless of the type of noncommutative independence.


title: Non-Existence of Complex Structures on Filiform Lie Algebras

abstract: The aim of this work is to prove the nonexistence of complex structures over nilpotent Lie algebras of maximal class (also called filiform).


title: Computing K-theory and Ext for graph C*-algebras

abstract: K-theory and Ext are computed for the C*-algebra C*(E) of any countable directed graph E. The results generalize the K-theory computations of Raeburn and Szymanski and the Ext computations of Tomforde for row-finite graphs. As a consequence, it is shown that if A is a countable {0,1} matrix and E_A is the graph obtained by viewing A as a vertex matrix, then C*(E_A) is not necessarily Morita equivalent to the Exel-Laca algebra O_A.


title: Polynomial Diffeomorphisms of $\C^2$. VIII: Quasi-Expansion

abstract: This paper continues our investigation of the dynamics of polynomial diffeomorphisms of C^2. We introduce a dynamical property of polynomial diffeomorphisms that generalizes hyperbolicity in the way that semi-hyperbolicity generalizes hyperbolicity for polynomial maps of the complex plane.


title: Real Polynomial Diffeomorphisms with Maximal Entropy: Tangencies

abstract: In this paper we use complex techniques to study the structure of real Henon diffeomorphisms of maximal topological entropy.


title: Classification theorems for the C*-algebras of graphs with sinks

abstract: We consider graphs E which have been obtained by adding one or more sinks to a fixed directed graph G. We classify the C*-algebra of E up to a very strong equivalence relation, which insists, loosely speaking, that C*(G) is kept fixed. The main invariants are vectors W_E : G^0 -> N which describe how the sinks are attached to G; more precisely, the invariants are the classes of the W_E in the cokernel of the map A-I, where A is the adjacency matrix of the graph G.


title: On the critical dissipative quasi-geostrophic equation

abstract: The 2D quasi-geostrophic (QG) equation is a two dimensional model of the 3D incompressible Euler equations. When dissipation is included in the model then solutions always exist if the dissipation's wave number dependence is super-linear. Below this critical power the dissipation appears to be insufficient. For instance, it is not known if the critical dissipative QG equation has global smooth solutions for arbitrary large initial data. In this paper we prove existence and uniqueness of global classical solutions of the critical dissipative QG equation for initial data that have small $L^\infty$ norm. The importance of an $L^{\infty}$ smallness condition is due to the fact that $L^{\infty}$ is a conserved norm for the non-dissipative QG equation and is non-increasing on all solutions of the dissipative QG., irrespective of size.


title: The skein polynomial of closed 3-braids

abstract: Using the band representation of the 3-strand braid group, it is shown that the genus of 3-braid links can be read off their skein polynomial. Some applications are given, in particular a simple proof of Morton's conjectured inequality and a condition to decide that some polynomials, like the one of 9_{49}, are not admitted by 3-braid links. Finally, alternating links of braid index 3 are classified.


title: Tetraplectic structures, tri-momentum maps, and quaternionic flag manifolds

abstract: The purpose of this note is to define tri-moment maps for certain manifolds that carry closed non-degenerate 4-forms and an $Sp(1)^n$-action. Examples include quaternionic vector spaces and flag manifolds. We show how this map can be used ro reduce such manifolds to the ones with fewer symmetries. The images of such maps for quaternionic flag manifolds, which are defined using the Dieudonn\'e determinant, resemble the polytopes from the complex case.


title: Stochastic version of the Erdos-Renyi limit theorem

abstract: We generalise the Erdos-Renyi limit theorem on the maximum of the partial sums of random variables to the case when the number of terms in these sums is randomly distributed. Certain relations between the limiting theorems of this type and the spectral theory of random graphs and random matrices are discussed.


title: Modular data: the algebraic combinatorics of conformal field theory

abstract: This paper is primarily intended as an introduction for the mathematically inclined to some of the rich algebraic combinatorics arising in for instance CFT. It is essentially self-contained, apart from some of the background motivation and examples which are included to give the reader a sense of the context. The theory is still a work-in-progress, and emphasis is given here to several open questions and problems.


title: Interpolation in non-positively curved K\"ahler manifolds

abstract: We extend to any simply connected K\"ahler manifold with non-positive sectional curvature some conditions for interpolation in $\mathbb{C}$ and in the unit disk given by Berndtsson, Ortega-Cerd\`a and Seip. The main tool is a comparison theorem for the Hessian in K\"ahler geometry due to Greene, Wu and Siu, Yau.


title: Polynomial Mappings mod p^n

abstract: Let f(x) be a polynomial with integer coefficients, let n be a positive integer, and let p be an odd prime. Then the mapping x-->f(x) sends Z/p^n into Z/p^n. We study the topological structure of this mapping.


title: Nearby cycles for local models of some Shimura varieties

abstract: Kottwitz conjectured a formula for the (semi-simple) trace of Frobenius on the nearby cycles for the local model of a Shimura variety with Iwahori-type level structure. In this paper, we prove his conjecture in the linear and symplectic cases by adapting an argument of Gaitsgory, who proved an analogous theorem in the equal characteristic case.


title: Alcoves associated to special fibers of local models

abstract: The special fiber of the local model of a PEL Shimura variety with Iwahori-type level structure admits a cellular decomposition. The set of strata is in a natural way a finite subset of the affine Weyl group determined by the Shimura data. In this paper, we generalize and give a new proof of a theorem of Kottwitz and Rapoport concerning the description of this set for the case of linear and symplectic groups. For higher rank groups not of type A_n, we produce counterexamples showing the situation is not as nice in general. Also, we recover a theorem of Deodhar characterizing the Bruhat order on S_n.


title: A dynamic one-dimensional interface interacting with a wall

abstract: We study a symmetric randomly moving line interacting by exclusion with a wall. We show that the expectation of the position of the line at the origin when it starts attached to the wall satisfies the following bounds: c_1t^{1/4} \le\E\xi_t(0) \le c_2 t^{1/4}\log t The result is obtained by comparison with a ``free'' process, a random line that has the same behavior but does not see the wall. The free process is isomorphic to the symmetric nearest neigbor one-dimensional simple exclusion process. The height at the origin in the interface model corresponds to the integrated flux of particles through the origin in the simple exclusion process. We compute explicitly the asymptotic variance of the flux and show that the probability that this flux exceeds Kt^{1/4}\log t is bounded above by const. t^{2-K}. We have also performed numerical simulations, which indicate \E\xi_t(0)^2 \sim t^{1/2}\log t as t\to\infty.


title: Clusters and Recurrence in the Two-Dimensional Zero-Temperature Stochastic Ising Model

abstract: We analyze clustering and (local) recurrence of a standard Markov process model of spatial domain coarsening. The continuous time process, whose state space consists of assignments of +1 or -1 to each site in ${\bf Z}^2$, is the zero-temperature limit of the stochastic homogeneous Ising ferromagnet (with Glauber dynamics): the initial state is chosen uniformly at random and then each site, at rate one, polls its 4 neighbors and makes sure it agrees with the majority, or tosses a fair coin in case of a tie. Among the main results (almost sure, with respect to both the process and initial state) are: clusters (maximal domains of constant sign) are finite for times $t< \infty$, but the cluster of a fixed site diverges (in diameter) as $t \to \infty$; each of the two constant states is (positive) recurrent. We also present other results and conjectures concerning positive and null recurrence and the role of absorbing states.


title: On Fermat's marginal note: a suggestion

abstract: A suggestion is put forward regarding a partial proof of FLT(case1), which is elegant and simple enough to have caused Fermat's enthusiastic remark in the margin of his Bachet edition of Diophantus' "Arithmetica". It is based on an extension of Fermat's Small Theorem (FST) to mod p^k for any k>0, and the cubic roots of 1 mod p^k for primes p=1 mod 6. For this solution in residues the exponent p distributes over a sum, which blocks extension to equality for integers, providing a partial proof of FLT case1 for all p=1 mod 6. This simple solution begs the question why it was not found earlier. Some mathematical, historical and psychological reasons are presented. . . . . In a companion paper, on the triplet structure of Arithmetic mod p^k, this cubic root solution is extended to the general rootform of FLT (mod p^k) (case1), called "triplet". While the cubic root solution (a^3=1 mod p^k) involves one inverse pair: a+a^{-1} = -1 mod p^k, a triplet has three inverse pairs in a 3-loop: a+b^{-1} = b+c^{-1} = c+a^{-1} = -1 (mod p^k) where abc = 1 (mod p^k), which reduces to the cubic root form if a=b=c (\neq 1) mod p^k. The triplet structure is not restricted to p-th power residues (for some p \geq 59) but applies to all residues in the group G_k(.) of units in the semigroup of multiplication mod p^k.


title: Homotopy Diagrams of Algebras

abstract: In [math.AT/9907138] we proved that strongly homotopy algebras are homotopy invariant concepts in the category of chain complexes. Our arguments were based on the fact that strongly homotopy algebras are algebras over minimal cofibrant operads and on the principle that algebras over cofibrant operads are homotopy invariant. In our approach, algebraic models for colored operads describing diagrams of homomorphisms played an important role. The aim of this paper is to give an explicit description of these models. A possible application is an appropriate formulation of the `ideal' homological perturbation lemma for chain complexes with algebraic structures. Our results also provide a conceptual approach to `homotopies through homomorphism' for strongly homotopy algebras. We also argue that strongly homotopy algebras form a honest (not only weak Kan) category. The paper is a continuation of our program to translate the famous book "M. Boardman, R. Vogt: Homotopy Invariant Algebraic Structures on Topological Spaces" to algebra.


title: Trapping regions and an ODE-type proof of the existence and uniqueness theorem for Navier-Stokes equations with periodic boundary conditions on the plane

abstract: Using ODE-methods and trapping regions derived by Mattingly and Sinai we give a new proof of the existence and uniqueness of solutions to Navier-Stokes equations with periodic boundary conditions on the plane.


title: Lower bounds for the total stopping time of 3X+1 iterates

abstract: The 3X+1 function T(n) is (3n+1)/2 if n is odd and n/2 if n is even. The total stopping time \sigma_\infty (n) for a positive integer n is the number of iterations of the 3x+1 function to reach 1 starting from n, and is \infty if 1 is never reached. The 3x+1 conjecture states that this function is finite. We show that infinitely many n have a finite total stopping time with \sigma_\infty(n) > 6.14316 log n. The proof uses a very large computation. It is believed that almost all positive integers have \sigma_\infty (n) > 6.95212 \log n. The method of the paper should extend to prove infinitely many integers have this property, but it would require a much larger computation.


title: Computing Ext for graph algebras

abstract: For a row-finite graph G with no sinks and in which every loop has an exit, we construct an isomorphism between Ext(C*(G)) and coker(A-I), where A is the vertex matrix of G. If c is the class in Ext(C*(G)) associated to a graph obtained by attaching a sink to G, then this isomorphism maps c to the class of a vector which describes how the sink was added. We conclude with an application in which we use this isomorphism to produce an example of a row-finite transitive graph with no sinks whose associated C*-algebra is not semiprojective.


title: Ext classes and embeddings for C*-algebras of graphs with sinks

abstract: We consider directed graphs E which have been obtained by adding a sink to a fixed graph G. We associate an element of Ext(C*(G)) to each such E, and show that the classes of two such graphs are equal in Ext(C*(G)) if and only if the associated C*-algebra of one can be embedded as a full corner in the C*-algebra of the other in a particular way. If every loop in G has an exit, then we are able to use this result to generalize some of the classification theorems of Raeburn, Tomforde, and Williams for C*-algebras of graphs with sinks.


title: Hopf bimodules are modules over a diagonal crossed product algebra

abstract: If H is a finite dimensional Hopf algebra, C. Cibils and M. Rosso found an algebra X having the property that Hopf bimodules over H^* coincide with left X-modules. We find two other algebras, Y and Z, having the same property; namely, Y is the "two-sided crossed product" H^*#(H\otimes H^{op})# H^{* op} and Z is the "diagonal crossed product" (H^*\otimes H^{*op})\bowtie (H\otimes H^{op}) (both concepts are due to F. Hausser and F. Nill). We also find explicit isomorphisms between the algebras X, Y, Z.


title: A lower bound in an approximation problem involving the zeros of the Riemann zeta function

abstract: We slightly improve the lower bound of Baez-Duarte, Balazard, Landreau and Saias in the Nyman-Beurling formulation of the Riemann Hypothesis as an approximation problem. We construct Hilbert space vectors which could prove useful in the context of the so-called `Hilbert-Polya idea'.


title: Multiple polylogarithms and mixed Tate motives

abstract: We develop the theory of multiple polylogarithms from analytic, Hodge and motivic point of view. Define the category of mixed Tate motives over a ring of integers in a number field. Describe explicitly the multiple polylogarithm Hopf algebra.


title: Hecke-Clifford superalgebras, crystals of type A_{2l}^{(2)} and modular branching rules for \hat S_n

abstract: Ian Grojnowski has developed a purely algebraic way to connect the representation theory of affine Hecke algebras at an (l+1)-th root of unity to the highest weight theory of the affine Kac-Moody algebra of type A_l^(1). The present article is devoted to extending Grojnowski's machinery to the twisted case: we replace the affine Hecke algebras with the affine Hecke-Clifford superalgebras of Jones and Nazarov, and the Kac-Moody algebra A_l^(1) with the twisted algebra A_2l^(2). In particular, we obtain an algebraic construction purely in terms of the representation theory of Hecke-Clifford superalgebras of the plus part U_\Z^+ of the enveloping algebra, as well as of Kashiwara's highest weight crystals B(\infty) and B(\la) for each dominant weight \la. The results of the article have applications to the modular representation theory of the double covers of the symmeric groups, as was predicted originally by Leclerc and Thibon. In particular, the parametrization of irreducibles, classification of blocks and analogues of the modular branching rules of the symmetric group for the double covers over fields of odd characteristic follow from the special case \lambda = \Lambda_0 of our main results. These matters are discussed in the final section of the paper.


title: Extension dimensional approximation theorem

abstract: Let $L$ be a countable CW-complex and $F\colon X\to Y$ be upper semicontinuous $UV^{[L]}$-valued mapping of a paracompact space $X$ to a complete metric space $Y$. We prove that if $X$ is a C-space of extension dimension $\ed X \le [L]$, then $F$ admits single-valued graph approximations. For $L=S^n$ our result implies well-known approximation theorem for $UV^{n-1}$-valued mappings of $n$-dimensional spaces. And for $L=\{\rm point\}$ our theorem implies a theorem of Ancel on approximations of $UV^\infty$-valued mappings of C-spaces.


title: The spectral density function for the Laplacian on high tensor powers of a line bundle

abstract: For a symplectic manifold with quantizing line bundle, a choice of almost complex structure determines a Laplacian acting on tensor powers of the bundle. For high tensor powers Guillemin-Uribe showed that there is a well-defined cluster of low-lying eigenvalues, whose distribution is described by a spectral density function. We give an explicit computation of the spectral density function, by constructing certain quasimodes on the associated principle bundle.


title: K-equivalence in Birational Geometry and Characterizations of Complex Elliptic Genera

abstract: We show that for smooth complex projective varieties the most general combinations of chern numbers that are invariant under the K-equivalence relation consist of the complex elliptic genera. Combined with a recent result of Totaro, we deduce that up to complex cobordism any K-equivalence can be decomposed into a sequence of classical flops.


title: Modulization and the enveloping ringoid

abstract: Let A be an algebra in a variety V. We study the modulization of a pointed A-overalgebra P, show that it is totally in any variety that P is totally in, and apply this theory to the construction of the enveloping ringoid Z[A,V].


title: Fast Arnold Diffusion in three time scale systems

abstract: We consider the problem of Arnold Diffusion for nearly integrable partially isochronous Hamiltonian systems with three time scales. By means of a careful shadowing analysis, based on a variational technique, we prove that, along special directions, Arnold diffusion takes place with fast (polynomial) speed, even though the ``splitting determinant'' is exponentially small.


title: Algebraic Aspects of the Theory of Product Structures in Complex Cobordism

abstract: We address the general classification problem of all stable associative product structures in the complex cobordism theory. We show how to reduce this problem to the algebraic one in terms of the Hopf algebra $S$ (the Landweber-Novikov algebra) acting on its dual Hopf algebra $S^*$ with a distinguished ``topologically integral'' part $\Lambda$ that coincids with the coefficient ring of the complex cobordism. We describe the formal group and its logarithm in terms of representations of $S$. We introduce one-dimensional representations of a Hopf algebra. We give series of examples of such representations motivated by well-known topological and algebraic results. We define and study the divided difference operators on an integral domain. We discuss certain important examples of such operators arising from analysis, representation theory, and noncommutative algebra. We give a special attention to the division operators by a noninvertible element of a ring. We give new general constructions of associative product structures (not necessarily commutative) using the divided difference operators. As application, we describe new classes of associative products in the complex cobordism theory.


title: On primitive roots of unity, divisors of p+/-1, Wieferich primes, and quadratic analysis mod p^3

abstract: Primitive roots of 1 mod p^k (k>2 and odd prime p) are sought, in cyclic units group G_k = A_k B_k mod p^k, coprime to p, of order (p-1)p^{k-1}. 'Core' subgroup A_k has order p-1 independent of k, and p+1 generates 'extension' subgroup B_k of all p^{k-1} residues 1 mod p. Divisors r,t of powerful generator p-1=rs=tu of \pm B_k mod p^k, and of p+1, are investigated as primitive root candidates. Fermat's Small Theorem: x^{p-1} \e 1 mod p for 0<x<p is, with recursion r^{n+1}-t^{n+1}=(r^n-t^n)(r+t)-(r^{n-1}-t^{n-1})rt (divisors r != t) extended to: all divisors r | p \pm 1 have distinct r^n mod p^3 (0<n \leq p). So for proper divisors: r^{p-1} != 1 mod p^3, a necessary (not sufficient) condition for a primitive root mod p^{k>2}. And for prime p: 2^p !=2 and 3^p != 3 (mod p^3). Re: Wieferich primes [4] and FLT case_1. Conj: at least one divisor of p \pm 1 is a semi primitive root of 1 mod p^k. -- (paper withdrawn, re thm2.2)


title: Quiver varieties and a non-commutative P^2

abstract: To any finite group G in SL_2(C), and each `t' in the center of the group algebra of G, we associate a category, Coh_t. It is defined as a suitable quotient of the category of graded modules over (a graded version of) the deformed preprojective algebra introduced by Crawley-Boevey and Holland. The category Coh_t should be thought of as the category of coherent sheaves on a `noncommutative projective 2-space', equipped with a framing at the line at infinity. Our first result establishes an isomorphism between the moduli space of torsion free objects of Coh_t and the Nakajima quiver variety arising from G via the McKay correspodence. We apply the above isomorphism to deduce generalized Crawley-Boevey & Holland conjecture, saying that the moduli space of `rank 1' projective modules over the deformed preprojective algebra is isomorphic to a particular quiver variety. This reduces, for G=1, to the recently obtained parametrisation of the isomorphism classes of right ideals in the first Weyl algebra, A_1, by points of the Calogero-Moser space, due to Cannings-Holland and Berest-Wilson. Our approach is algebraic and is based on a monadic description of torsion free sheaves on the noncommutative projective 2-space. It is totally different from the one used by Berest-Wilson, involving $\tau$-functions.


title: Weak perturbations of shock waves

abstract: The Cauchy problem is considered for the perturbed strictly hyperbolic 2x2 system of quasilinear equations. The unperturbed problem has a persistent solution with two discontinuity lines (shock waves). Both an asymptotics of shock waves position in the plane (x,t) and an asymptotics of the perturbed problem solution are discussed.


title: Modified Braid Equations for SO_q (3) and noncommutative spaces

abstract: General solutions of the $\hat{R}TT$ equation with a maximal number of free parameters in the specrtal decomposition of vector $SO_q (3)$ $\hat{R}$ matrices are implemented to construct modified braid equations (MBE). These matrices conserve the given, standard, group relations of the nine elements of T, but are not constrained to satisfy the standard braid equation (BE). Apart from q and a normalisation factor our $\hat{R}$ contains two free parameters, instead of only one such parameter for deformed unitary algebras studied in a previous paper [1] where the nonzero right hand side of the $MBE$ had a linear term proprotional to $(\hat{R}_{(12)} - \hat{R}_{(23)})$. In the present case the r.h.s. is, in general, nonliear. Several particular solutions are given (Sec.2) and the general structure is analysed (App.A). Our formulation of the problem in terms of projectors yield also two new solutions of standard (nonmodified) braid equation (Sec.2) which are further discussed (App.B). The noncommutative 3-spaces obtained by implementing such generalized $\hat{R}$ matrices are studied (Sec.3). The role of coboundary $\hat{R}$ matrices (not satisfying the standard BE) is explored. The MBE and Baxterization are presented as complementary facets of the same basic construction, namely, the general solution of $\hat{R}TT$ equation (Sec.4). A new solution is presented in this context. As a simple but remarkable particular case a nontrivial solution of BE is obtained (App.B) for q=1. This solution has no free parameter and is not obtainable by twisting the identity matrix. In the concluding remarks (Sec.5), among other points, generalisation of our results to $SO_{q}(N)$ is discussed.


title: Moduli spaces of surfaces and real structures

abstract: We give infinite series of groups Gamma and of compact complex surfaces of general type S with fundamental group Gamma such that 1) Any surface S' with the same Euler number as S, and fundamental group Gamma, is diffeomorphic to S. 2) The moduli space of S consists of exactly two connected components, exchanged by complex conjugation. Whence, i) On the one hand we give simple counterexamples to the DEF = DIFF question whether deformation type and diffeomorphism type coincide for algebraic surfaces. ii) On the other hand we get examples of moduli spaces without real points. iii) Another interesting corollary is the existence of complex surfaces S whose fundamental group Gamma cannot be the fundamental group of a real surface. Our surfaces are surfaces isogenous to a product; i.e., they are quotients (C_1 X C_2)/G of a product of curves by the free action of a finite group G. They resemble the classical hyperelliptic surfaces, in that G operates freely on C_1, while the second curve is a triangle curve, meaning that $C_2 / G \equiv \PP ^1 and the covering is branched in exactly three points.


title: On some properties of transitions operators

abstract: We study a general transition operator, generated by a random walk on a graph $X$; in particular we give necessary and sufficient condition on the matrix coefficient (1-step transition probablilities) to be a bounded operator from $l^\infty(X)$ into itself. Moreover we characterize compact operators and we relate this property to the behaviour of the associated random walk. We give a necessary and sufficient condition for the pre-adjoint of the discrete Laplace operator to be an injective map.


title: Manifolds with quadratic curvature decay and fast volume growth

abstract: We give sufficient conditions for a noncompact Riemannian manifold, which has quadratic curvature decay, to have finite topological type with ends that are cones over spherical space forms.


title: Enumerative geometry of stable maps with Lagrangian boundary conditions and multiple covers of the disc

abstract: In this paper, we present foundational material towards the development of a rigorous enumerative theory of stable maps with Lagrangian boundary conditions, ie stable maps from bordered Riemann surfaces to a symplectic manifold, such that the boundary maps to a Lagrangian submanifold. Our main application is to a situation where our proposed theory leads to a well-defined algebro-geometric computation very similar to well-known localization techniques in Gromov-Witten theory. In particular, our computation of the invariants for multiple covers of a generic disc bounding a special Lagrangian submanifold in a Calabi-Yau threefold agrees completely with the original predictions of Ooguri and Vafa based on string duality. Our proposed invariants depend more generally on a discrete parameter which came to light in the work of Aganagic, Klemm, and Vafa which was also based on duality, and our more general calculations agree with theirs up to sign.


title: Residue Complexes over Noncommutative Rings

abstract: Residue complexes were introduced by Grothendieck in algebraic geometry. These are canonical complexes of injective modules that enjoy remarkable functorial properties (traces). In this paper we study residue complexes over noncommutative rings. These objects are even more complicated than in the commutative case, since they are complexes of bimodules. We develop methods to prove uniqueness, existence and functoriality of residue complexes. For a noetherian affine PI algebra over a field (admitting a noetherian connected filtration) we prove existence of the residue complex and describe its structure in detail.


title: Group action on instanton bundles over $\PP^3$

abstract: Denote by MI(k) the moduli space of k-instanton bundles E of rank 2 on $\PP^3=\PP(V)$ and by $Z_k(E)$ the scheme of k-jumping lines. We prove that $[E]\in MI(k)$ is not stable for the action of SL(V) if $Z_k(E)\neq\emptyset$. Moreover $\dim Sym(E)\ge 1$ if $length Z_k(E)\ge 2$. We prove also that E is special if and only if $Z_k(E)$ is a smooth conic. The action of SL(V) on the moduli of special instanton bundles is studied in detail.


title: The Heun equation and the Calogero-Moser-Sutherland system I: the Bethe Ansatz method

abstract: We propose and develop the Bethe Ansatz method for the Heun equation. As an application, holomorphy of the perturbation for the BC_1 Inozemtsev model from the trigonometric model is proved.


title: Nondegenerate multidimensional matrices and instanton bundles

abstract: In this note we prove that the moduli space of rank $2n$ symplectic instanton bundles on ${\PP^{2n+1}}$, defined from the well known monad condition, is affine. This result was not known even in the case $n=1$, where the real instanton bundles correspond to self dual Yang Mills $Sp(1)$-connections over the 4-dimensional sphere. The result is proved as a consequence of the existence of an invariant of the multidimensional matrices representing the instanton bundles.


title: Vertex-IRF transformations and quantization of dynamical r-matrices

abstract: Motivated by the correspondence between the vertex and IRF models in statistical mechanics, we define and study a notion of vertex-IRF transformation for dynamical twists that generalizes a usual gauge transformation. We use vertex-IRF transformations to quantize all completely degenerate dynamical r-matrices on finite-dimensional Lie algebras.


title: Uniform bounds for eigenfunctions of the Laplacian on manifolds with boundary

abstract: Let $u$ be an eigenfunction of the Laplacian on a compact manifold with boundary, with Dirichlet or Neumann boundary conditions, and let $-\lambda^2$ be the corresponding eigenvalue. We consider the problem of estimating the maximum of $u$ in terms of $\lambda$, for large $\lambda$, assuming $u$ is $L^2$-normalized. We prove that $\max_M u\leq C_M \lambda^{(n-1)/2}$, which is optimal for some $M$. Our proof simplifies some of the arguments used before for such problems. In order to make the article accessible to non-specialists, we review the 'wave equation method' (which has become standard in asymptotic eigenvalue problems) and discuss some special cases which may be handled by more direct methods.


title: Equivalence of Geometric and Combinatorial Dehn Functions

abstract: We prove that if a finitely presented group acts properly discontinuously, cocompactly and by isometries on a simply connected Riemannian manifold, then the Dehn function of the group and the corresponding filling function of the manifold are equivalent, in a sense described below.


title: Hyperelliptic jacobians and $\U_3(2^m)$

abstract: In his previous paper (Math. Res. Letters 7(2000), 123--132) the author proved that in characteristic zero the jacobian $J(C)$ of a hyperelliptic curve $C: y^2=f(x)$ has only trivial endomorphisms over an algebraic closure $K_a$ of the ground field $K$ if the Galois group $Gal(f)$ of the irreducible polynomial $f(x) \in K[x]$ is either the symmetric group $S_n$ or the alternating group $A_n$. Here $n>4$ is the degree of $f$. In math.AG/0003002 we extended this result to the case of certain ``smaller'' Galois groups. In particular, we treated the infinite series $n=2^r+1, Gal(f)=L_2(2^r)$ and $n=2^{4r+2}+1, Gal(f)=Sz(2^{2r+1})$. In this paper we do the case of $Gal(f)=\U_3(2^m)$ and $n=2^{3m}+1$.


title: Powersums representing residues mod p^k, from Fermat to Waring

abstract: The ring Z_k(+,.) mod p^k with prime power modulus (prime p>2) is analysed. Its cyclic group G_k of units has order (p-1)p^{k-1}, and all p-th power n^p residues form a subgroup F_k with |F_k|=|G_k|/p. The subgroup of order p-1, the core A_k of G_k, extends Fermat's Small Theorem (FST) to mod p^{k>1}, consisting of p-1 residues with n^p = n mod p^k. The concept of "carry", e.g. n' in FST extension n^{p-1} = n'p+1 mod p^2, is crucial in expanding residue arithmetic to integers, and to allow analysis of divisors of 0 mod p^k. . . . . For large enough k \geq K_p (critical precison K_p < p depends on p), all nonzero pairsums of core residues are shown to be distinct, upto commutation. The known FLT case_1 is related to this, and the set F_k + F_k mod p^k of p-th power pairsums is shown to cover half of units group G_k. -- Yielding main result: each residue mod p^k is the sum of at most four p-th power residues. Moreover, some results on the generative power (mod p^{k>2}) of divisors of p^2-1 are derived. -- [Publ.: "Computers and Mathematics with Applications", V39 N7-8 (Apr.2000) p253-261]


title: On Algebraic Hyperbolicity of Log Surfaces

abstract: We call a log variety (X, D) algebraically hyperbolic if there exists a positive number e such that 2g(C) - 2 + i(C, D) >= e deg(C) for all curves C on X, where i(C, D) is the number of the intersections between D and the normalization of C. Among other things, we proved that (P^2, D) is algebraically hyperbolic for a very general curve D of degree at least 5. More specifically, we showed that 2g(C) - 2 + i(C, D) >= (deg(D) - 4) deg C for all curves C on P^2. For example, fix a very general quintic curve D and then for any map f: C = P^1 --> P^2, there are at least deg(f) + 2 distinct points on C that map to points on D by f.


title: Free divisors and duality for D-modules

abstract: The relationship between ${\cal D}$-modules and free divisors has been studied in a general setting by L. Narv\'aez and F.J. Calder\'on. Using the ideas of these works we prove in this article a duality formula between two ${\cal D}$-modules associated to a class of free divisors on ${\bf C}^n$ and we give some applications


title: Exponential equations for the quantum "az+b" group

abstract: We consider quantum group theory on the Hilbert space level. We find all solutions for scalar and general exponential equations for the quantum ``az+b'' group. It turns out that there is a simple formula for all of them involving the quantum exponential function F_N. The very interesting theorem we prove by the way is the one on the existence of normal extension of certain sum of normal operators. To put it differently, we find all unitary representations of the braided quantum group related to the quantum ``az+b'' group. This is the most difficult result needed to classify all unitary representations of the quantum ``az+b'' group. Eventually this enables us to give a formula for all unitary representations of the quantum ``ax+b'' group in our next paper.


title: On the Rees algebra of certain codimension two perfect ideals

abstract: Let X be a set of smooth points in P^2, and I = \oplus_{t >= d} I_t the defining ideal of X. In this paper, we give a set of defining equations for the Rees algebra R(I_{d+1}) of the ideal generated by I_{d+1}. This study give information to completely answer questions on the defining ideals of projective embeddings of the blowup of P^2 along the points in X, which has been studied by many authors. In this paper, we also study the asymptotic behaviour of the Rees algebras R(I_t) of the ideal generated by I_t, as t gets large.


title: Jordanian quantum spheres

abstract: We introduce and investigate a one parameter family of quantum spaces invariant under the left (right) coactions of the group-like element ${\cal T}_{h}^{(j=1)}$ of the Jordanian function algebra $Fun_{h}(SL(2))$. These spaces may be regarded as Jordanian quantization of the two-dimensional spheres.


title: Geometric variants of the Hofer norm

abstract: This note discusses some geometrically defined seminorms on the group $\Ham(M, \omega)$ of Hamiltonian diffeomorphisms of a closed symplectic manifold $(M, \omega)$, giving conditions under which they are nondegenerate and explaining their relation to the Hofer norm. As a consequence we show that if an element in $\Ham(M, \omega)$ is sufficiently close to the identity in the $C^{2}$-topology then it may be joined to the identity by a path whose Hofer length is minimal among all paths, not just among paths in the same homotopy class relative to endpoints. Thus, true geodesics always exist for the Hofer norm. The main step in the proof is to show that a "weighted" version of the nonsqueezing theorem holds for all fibrations over $S^2$ generated by sufficiently short loops.Further, an example is given showing that the Hofer norm may differ from the sum of the one sided seminorms.


title: Regular representations and Huang-Lepowsky's tensor functors for vertex operator algebras

abstract: This is the second paper in a series to study regular representations for vertex operator algebras. In this paper, given a module $W$ for a vertex operator algebra $V$, we construct, out of the dual space $W^{*}$, a family of canonical (weak) $V\otimes V$-modules called ${\cal{D}}_{Q(z)}(W)$ parametrized by a nonzero complex number $z$. We prove that for $V$-modules $W,W_{1}$ and $W_{2}$, a $Q(z)$-intertwining map of type ${W'\choose W_{1}W_{2}}$ in the sense of Huang and Lepowsky exactly amounts to a $V\otimes V$-homomorphism from $W_{1}\otimes W_{2}$ to ${\cal{D}}_{Q(z)}(W)$ and that a $Q(z)$-tensor product of $V$-modules $W_{1}$ and $W_{2}$ in the sense of Huang and Lepowsky amounts to a universal from $W_{1}\otimes W_{2}$ to the functor ${\cal{F}}_{Q(z)}$, where ${\cal{F}}_{Q(z)}$ is a functor from the category of $V$-modules to the category of weak $V\otimes V$-modules defined by ${\cal{F}}_{Q(z)}(W)={\cal{D}}_{Q(z)}(W')$ for a $V$-module $W$. Furthermore, Huang-Lepowsky's $P(z)$ and $Q(z)$-tensor functors for the category of $V$-modules are extended to functors $T_{P(z)}$ and $T_{Q(z)}$ from the category of $V\otimes V$-modules to the category of $V$-modules. It is proved that functors ${\cal{F}}_{P(z)}$ and ${\cal{F}}_{Q(z)}$ are right adjoints of $T_{P(z)}$ and $T_{Q(z)}$, respectively.


title: Additive structure of Z(.) mod m_k (squarefree) and Goldbach's Conjecture

abstract: The product m_k of the first k primes (2..p_k) has neighbours m_k +/- 1 with all prime divisors beyond p_k, implying there are infinitely many primes [Euclid]. All primes between p_k and m_k are in the group G_1 of units in semigroup Z_{m_k}(.) of mutiplication mod m_k. Due to the squarefree modulus Z_{m_k} is a disjoint union of 2^k groups, with as many idempotents - one per divisor of m_k, which form a Boolean lattice BL. The generators of Z_{m_k} and the additive properties of its lattice are studied. It is shown that each complementary pair in BL adds to 1 mod m_k and each even idempotent e in BL has successor e+1 in G_1. It follows that G_1+G_1 \equiv E, the set of even residues in Z_{m_k}, so each even residue is the sum of two roots of unity, proving "Goldbach for Residues" mod m_k ("GR"). . . . Induction on k by extending residues mod m_k with "carry" a < p_{k+1} of weight m_k, yields a prime sieve for integers. Failure of Goldbach's Conjecture ("GC") for some 2n contradicts GR(k) for some k. By Bertrand's Postulate (on prime i<p<2i for each i>1) successive 2n are in overlapping intervals, while the smallest composite unit in G_1 mod m_k is p_{k+1}^2, yielding "GC": Each 2n > 4 is the sum of two odd primes.


title: Lie subalgebras of differential operators on the super circle

abstract: We classify anti-involutions of Lie superalgebra $\hsd$ preserving the principal gradation, where $\hsd$ is the central extension of the Lie superalgebra of differential operators on the super circle $S^{1|1}$. We clarify the relations between the corresponding subalgebras fixed by these anti-involutions and subalgebras of $\hat{gl}_{\infty|\infty}$ of types $OSP$ and $P$. We obtain a criterion for an irreducible highest weight module over these subalgebras to be quasifinite and construct free field realizations of a distinguished class of these modules. We further establish dualities between them and certain finite-dimensional classical Lie groups on Fock spaces.


title: On the uniform distribution of rational inputs with respect to condition numbers of Numerical Analysis

abstract: We show that rational data of bounded input length are uniformly distributed with respect to condition numbers of numerical analysis. We deal both with condition numbers of Linear Algebra and with condition numbers for systems of multivariate polynomial equations. For instance, we show that for any $w>1$ and for any $n\times n$ rational matrix $M$ of bit length $O(n^4\log n) + \log w$, the condition number $k(M)$ satisfies $k(M) \leq w n^{5/2}$ with probability at least $1-2w^{-1}$. Similar estimates are shown for the condition number $\mu_{norm}$ of M. Shub and S. Smale when applied to systems of multivariate homogeneous polynomial equations of bounded input length. Finally we apply these techniques to show the probability distribution of the precision (number of bits of the denominator) required to write down approximate zeros of affine systems of multivariate polynomial equations of bounded input length.


title: Macdonald integrals and monodromy

abstract: We prove several results on monodromies associated to Macdonald integrals, that were used in our previous work on the finite field analogue of a conjecture of Macdonald. We also give a new proof of our formula expressing recursively the zeta function of the local monodromy at the origin of the discriminant of a finite Coxeter group in terms of the degrees of the group.


title: On eigenvalue estimates for the Dirac operator

abstract: We give lower bounds for the eigenvalues of the submanifold Dirac operator in terms of intrinsic and extrinsic curvature expressions. We also show that the limiting cases give rise to a class generalizing that of Killing spinors. We conclude by translating these results in terms of intrinsic twisted Dirac operators.


title: Projectively equivariant quantization and symbol calculus: noncommutative hypergeometric functions

abstract: We extend projectively equivariant quantization and symbol calculus to symbols of pseudo-differential operators. An explicit expression in terms of hypergeometric functions with noncommutative arguments is given. Some examples are worked out, one of them yielding a quantum length element on $S^3$.


title: Residues formulae for volumes and Ehrhart polynomials of convex polytopes

abstract: In these notes, we explain residue formulae for volumes of convex polytopes, and for Ehrahrt polynomials based on the notion of total residue. We apply this method to the computation of the volume of the Chan-Robbins polytope. The final computation is based on a total residue formula for the system $A_n$, similar to Morris identity. For flow polytopes, a formula of change of variables in total residues leads to a "nice formula" for Ehrhart polynomials in function of mixed volumes. We apply it to Pitman-Stanley polytope.


title: Symplectically aspherical manifolds

abstract: The main subjects of the paper is studying the fundamental groups of closed symplectically aspherical manifolds. Motivated by some results of Gompf, we introduce two classes of fundamental groups $\pi_1(M)$ of symplectically aspherical manifolds $M$ with $\pi_2(M)=0$ and $\pi_2(M)\neq 0$. Relations between these classes are discussed. We show that several important classes of groups can be realized in both classes, while some of groups can be realized in the first class but not in the second one. Also, we notice that there are some interesting dimensional phenomena in the realization problem. The above results are framed by a general research of symplectically aspherical manifolds. For example, we find some conditions which imply that the Gompf sum of symplectically aspherical manifolds is symplectically aspherical, or that a total space of a bundle is symplectically aspherical, etc.


title: Conservation of the noetherianity by perfect transcendental field extensions

abstract: Let $k$ be a perfect field of characteristic $p>0$, $k(t)_{per}$ the perfect closure of $k(t)$ and $A$ a $k$-algebra. We characterize whether the ring $A\otimes_k k(t)_{per}$ is noetherian or not. As a consequence, we prove that the ring $A\otimes_k k(t)_{per}$ is noetherian when $A$ is the ring of formal power series in $n$ indeterminates over $k$.


title: Irreducible components of varieties of modules

abstract: We prove some basic results about irreducible components of varieties of modules for an arbitrary finitely generated associative algebra. Our work generalizes results of Kac and Schofield on representations of quivers, but our methods are quite different, being based on deformation theory.


title: On matrices in prescribed conjugacy classes with no common invariant subspace and sum zero

abstract: We determine those k-tuples of conjugacy classes of matrices, from which it is possible to choose matrices which have no common invariant subspace and have sum zero. This is an additive version of the Deligne-Simpson problem. We deduce the result from earlier work of ours on preprojective algebras and the moment map for representations of quivers. Our answer depends on the root system for a Kac-Moody Lie algebra.


title: Effects of Finite-Precision Arithmetic on Interior-Point Methods for Nonlinear Programming

abstract: We show that the effects of finite-precision arithmetic in forming and solving the linear system that arises at each iteration of primal-dual interior-point algorithms for nonlinear programming are benign, provided that the iterates satisfy centrality and feasibility conditions of the type usually associated with path-following methods. When we replace the standard assumption that the active constraint gradients are independent by the weaker Mangasarian-Fromovitz constraint qualification, rapid convergence usually is attainable, even when cancellation and roundoff errors occur during the calculations. In deriving our main results, we prove a key technical result about the size of the exact primal-dual step. This result can be used to modify existing analysis of primal-dual interior-point methods for convex programming, making it possible to extend the superlinear local convergence results to the nonconvex case.


title: Contractions: Nijenhuis and Saletan tensors for general algebraic structures

abstract: Generalizations in many directions of the contraction procedure for Lie algebras introduced by E.J.Saletan are proposed. Products of arbitrary nature, not necessarily Lie brackets, are considered on sections of finite-dimensional vector bundles. Saletan contractions of such infinite-dimensional algebras are obtained via a generalization of the Nijenhuis tensor approach. In particular, this procedure is applied to Lie algebras, Lie algebroids, and Poisson structures. There are also results on contractions of n-ary products and coproducts.


title: Detection of spatial pattern through independence of thinned processes

abstract: Let N, N' and N'' be point processes such that N' is obtained from N by homogeneous independent thinning and N''= N- N'. We give a new elementary proof that N' and N'' are independent if and only if N is a Poisson point process. We present some applications of this result to test if a homogeneous point process is a Poisson point process.


title: Using symmetry to count rational curves

abstract: An analogy is drawn between recent work with Kley (math.AG/0007082) and the WDVV equations. That is, both are regarded as symmetries of generating functions with coefficients that "count" rational curves on a complex projective manifold. It is shown how to obtain the string, dilaton and divisor equations from the new symmetries, as well as an analogue of the Kontsevich-Manin reconstruction theorem, expressing arbitrary genus zero Gromov-Witten invariants in terms of "mirror data". As was also pointed out in the work with Kley, this allows one, for the first time, to compute quantum cohomology from mirror data.


title: On the topology of compact Stein surfaces

abstract: In this paper we obtain the following results: (1) Any compact Stein surface with boundary embeds naturally into a symplectic Lefschetz fibration over the 2-sphere. (2) There exists a minimal elliptic fibration over the 2-disk, which is not Stein. (3) The circle bundle over a genus n>1 surface with euler number e=-1 admits at least n+1 mutually non-homeomorphic simply-connected Stein fillings. (4) Any surface bundle over the circle, whose fiber is a closed surface of genus n>0 can be embedded into a closed symplectic 4-manifold, splitting the symplectic 4-manifold into two pieces both of which have positive b_2^+. (5) Every closed, oriented connected 3-manifold has a weakly symplectically fillable double cover, branched along a 2-component link.


title: Explicit modular towers

abstract: We give a general recipe for explicitly constructing asymptotically optimal towers of modular curves such as {X_0(l^n): n=1,2,3,...}. We illustrate the method by giving equations for eight towers with various geometric features. We conclude by observing that such towers are all of a specific recursive form, and speculate that perhaps every tower of this form that attains the Drinfeld-Vladut bound is modular.


title: On certain C-test words for free groups

abstract: Let F_m be a free group of a finite rank m > 1 and X_i, Y_j be elements in F_m. A non-empty word w(x_1,..., x_n) is called a C-test word in n letters for F_m if, whenever w(X_1,..., X_n)=w(Y_1,..., Y_n) not equal to 1, the two n-tuples (X_1,..., X_n) and (Y_1,..., Y_n) are conjugate in F_m. In this paper we construct, for each n > 1, a C-test word v_n(x_1,..., x_n) with the additional property that v_n(X_1,..., X_n)=1 if and only if the subgroup of F_m generated by X_1,..., X_n is cyclic. Making use of such words v_m(x_1,..., x_m) and v_{m+1}(x_1,..., x_{m+1}), we provide a positive solution to the following problem raised by Shpilrain: There exist two elements u_1, u_2 in F_m such that every endomorphism of F_m with non-cyclic image is completely determined by its values on u_1, u_2.


title: In search of an evolutionary coding style

abstract: In the near future, all the human genes will be identified. But understanding the functions coded in the genes is a much harder problem. For example, by using block entropy, one has that the DNA code is closer to a random code then written text, which in turn is less ordered then an ordinary computer code; see \cite{schmitt}. Instead of saying that the DNA is badly written, using our programming standards, we might say that it is written in a different style -- an evolutionary style. We will suggest a way to search for such a style in a quantified manner by using an artificial life program, and by giving a definition of general codes and a definition of style for such codes.


title: Primitivity preserving endomorphisms of free groups

abstract: An endomorphism of a free group is called primitivity preserving if it takes every primitive element to another primitive. In this paper we prove that every primitivity preserving endomorphism of a free group of a finite rank n > 2 is an automorphism.


title: Quaternionic pryms and Hodge classes

abstract: Abelian varieties of dimension 2n on which a definite quaternion algebra acts are parametrized by symmetrical domains of dimension n(n-1)/2. Such abelian varieties have primitive Hodge classes in the middle dimensional cohomology group. In general, it is not clear that these are cycle classes. In this paper we show that a particular 6-dimensional family of such 8-folds are Prym varieties and we use the method of C. Schoen to show that all Hodge classes on the general abelian variety in this family are algebraic. We also consider Hodge classes on certain 5-dimensional subfamilies and relate these to the Hodge conjecture for abelian 4-folds.


title: Finite Semigroups of Constant Rank, and the five Basic State Machine types

abstract: Constant Rank (CR) state machines play an important role in the general structure theory of Finite State Machines. A machine is of constant rank if each input and input-sequence maps the state set onto the same number of next states. CR-machines are analysed via their sequential closure (semigroup), which is a simple semigroup, thus: a semi- direct product (L \times R)*G of a left- and a right-copy semigroup, and a group. . . . So in general a CR-machine is a composition of: a branch-, a reset- and a permutation machine, which are three of the five basic types of state machines, to be derived.


title: n-Quasi-isotopy: I. Questions of nilpotence

abstract: It is well-known that no knot can be cancelled in a connected sum with another knot, whereas every link can be cancelled up to link homotopy in a (componentwise) connected sum with another link. In this paper we address the question whether the noncancellation property of knots holds for some (piecewise-linear) links up to some stronger analogue of link homotopy, which still does not distinguish between sufficiently close C^0-approximations of a topological link. We introduce a sequence of such increasingly stronger equivalence relations under the name of k-quasi-isotopy, k=1,2,...; all of them are weaker than isotopy (in the sense of Milnor). We prove that every link can be cancelled up to peripheral structure preserving isomorphism of any quotient of the fundamental group, functorially invariant under k-quasi-isotopy; functoriality means that the isomorphism between the quotients for links related by an allowable crossing change fits in the commutative diagram with the fundamental group of the complement to the intermediate singular link. The proof invokes Baer's theorem on the join of subnormal locally nilpotent subgroups. On the other hand, the integral generalized (lk\ne 0) Sato-Levine invariant \tilde\beta is invariant under 1-quasi-isotopy, but is not determined by any quotient of the fundamental group (endowed with the peripheral structure), functorially invariant under 1-quasi-isotopy - in contrast to Waldhausen's theorem. As a byproduct, we use \tilde\beta to determine the image of the Kirk-Koschorke invariant \tilde\sigma of fibered link maps.


title: n-Quasi-isotopy: II. Comparison

abstract: Geometric aspects of the filtration on classical links by k-quasi-isotopy are discussed, including the effect of Whitehead doubling, relations with Smythe's n-splitting and Kobayashi's k-contractibility. One observation is: \omega-quasi-isotopy is equivalent to PL isotopy for links in a homotopy 3-sphere (resp. contractible open 3-manifold) M if and only if M is homeomorphic to S^3 (resp. R^3). As a byproduct of the proof of the "if" part, we obtain that every compact subset of an acyclic open set in a compact orientable 3-manifold M is contained in a PL homology 3-ball in M. We show that k-quasi-isotopy implies (k+1)-cobordism of Cochran and Orr. If z^{m-1}(c_0 + c_1 z^2 + ... + c_n z^{2n}) denotes the Conway polynomial of an m-component link, it follows that the residue class of c_k modulo gcd(c_0,..,c_{k-1}) is invariant under k-quasi-isotopy. Another corollary is that each Cochran's derived invariant \beta^k is also invariant under k-quasi-isotopy, and therefore assumes the same value on all PL links, sufficiently C^0-close to a given topological link. This overcomes an algebraic obstacle encountered by Kojima and Yamasaki, who "became aware of impossibility to define" for wild links what for PL links is equivalent to the formal power series \sum \beta^n z^n by a change of variable.


title: Some examples of classical coboundary Lie bialgebras with coboundary duals

abstract: Some examples are given of finite dimensional Lie bialgebras whose brackets and cobrackets are determined by pairs of $r$-matrices.


title: Refined Cycle Maps

abstract: We explain the theory of refined cycle maps associated to arithmetic mixed sheaves. This includes the case of arithmetic mixed Hodge structures, and is closely related to work of Asakura, Beilinson, Bloch, Green, Griffiths, Mueller-Stach, Murre, Voisin and others.


title: Classes de Chern en cohomologie rigide

abstract: In this paper, I construct Chern classes in the rigid cohomology of P. Berthelot. We start by constructing Chern classes for proper varieties. To prove all the properties we have to reinterpret the construction in a crystalline way. Then we can deal with open varieties using a compactification theorem.


title: A paradox of diffusion market model related with existence of winning combinations of options

abstract: We consider strategies of investments into options and diffusion market model. It is shown that there exists a correct proportion between "put" and "call" in the portfolio such that the average gain is almost always positive for a generic Black and Scholes model. This gain is zero if and only if the market price of risk is zero. It is discussed a paradox related to the corresponding loss of option's seller.


title: Kaehler-Einstein metrics and compactifications of C^n

abstract: In this paper we prove that, under natural assumptions, the scalar curvature of a Kaehler-Einstein metric on a compactification of C^n is strictly positive.


title: Notes on the inductive algorithm of resolution of singularities by S. Encinas and O. Villamayor

abstract: In this revised version, the mistake of the author confusing the weak transform and strict transform, pointed out by E. Bierstone, is corrected. It gives a self-contained proof of (embedded) resolution of singularities over a field of characteristic zero following the inductive algorithm of Encinas and Villamayor. A chapter explaining the background motivation for the invariants used (based upon a lecture by Villamayor) and another containing some examples demonstrating the subtle points are added.


title: Local Characterizations of Geometries

abstract: Geometric approach to classical and exceptional groups of Lie type has been quite successful and has led to the deveopment of the concept of buildings and polar spaces. The latter have been characterized by simple systems of axioms with a combinatorial-geometric flavour. Similar to buildings geometries can be associated with finite sporadic simple groups (FSSGs). However, most of the known characterizations of such geometries for FSSGs require additional assumptions of a group-theoretic nature. One aim of this thesis is to present characterizations of geometries for FSSGs J_2, Suz, McL, Co_3, Fi(22), Fi(23), Fi(24) and He, which are in the same spirit as the characterizations of buildings and polar spaces mentioned above, in particular without any assumption on the automorphism groups of the geometries. A by-product of these results for J_2, Suz and He is a proof that certain presentations for those groups are faithful. Most of this work may be viewed as a contribution to the theory of graphs with prescribed neighbourhood. The result on graphs of (+)-points of GF(3)-orthogonal spaces, which is also used for characterization of geometries for Fi(22), Fi(23) and Fi(24), may be considered as a generalization of a well-known theorem on locally co-triangular graphs. Hyperovals of polar spaces are natural generalizations of hyperovals of projective planes of even order and play an important role in investigations of extensions of polar spaces. As a by-product new extended generalized quadrangles were found as hyperovals of the polar spaces Q_5^+(4) and H_5(4).


title: Base spaces of non-isotrivial families of smooth minimal models

abstract: Let f: V --> U be a smooth non-isotrivial family of canonically polarized n-dimensional complex manifolds, where U is the complement of a normal crossing divisor S in a projective manifold Y. We show that some symmetric product of the sheaf of one-forms with logarithmic poles along S contains an invertible subsheaf of positive Kodaira dimension. As a corollary one finds that U can not be a complete intersection in the projective N space of codimension l < N/2, nor the complement of l general hyperplanes, for l < N. Moreover, as shown by S. Kovacs before, U can not be a projective manifold with a nef tangent bundle. If the induced morphism to the moduli scheme is generically finite, one can also exclude U to be the product of more than n curves. Moreover, the existence of the family forces the automorphism group of U to be finite. Most of those results carry over to smooth families f:V --> U, with an f-semi-ample dualizing sheaf, provided f is of maximal variation.


title: The Valuative Theory of Foliations

abstract: We describe the valuations following infinitely near singular points of a (singular) holomorphic foliation in the complex plane. They appear to be those satisfying a generalization of L'Hopital's rule. With them, we characterize dicritical vector fields, generic simple singularities, the existence of non- convergent solutions, etc. The construction is generalizable to dimension n.


title: On the cardinality of the set of the real numbers

abstract: It is shown that any denumerable list L to which Cantor's diagonal method was applied is incomplete. However, this doesn't allow us to affirm that the cardinality of the real numbers of the interval [0, 1] is greater than the cardinality of the finite natural numbers. Paper withdrawn (its essential part is included in the version 3 of math.GM/0108119).


title: On the cyclotomic Dedekind embedding and the cyclic Wedderburn embedding

abstract: Let n >= 1 and let p be a prime. Let t = 1 - zeta_{p^n}. Expand an integer j in [0,p^n-1], coprime to p, p-adically as j = sum_{s >= 0} a_s p^s. Denote the tensor product over Z_(p) by o . Then the #([0,j] - (p))th Z_(p)[t]-linear elementary divisor of the cyclotomic Dedekind embedding Z_(p)[t] o Z_(p)[t] --> prod_{i in (Z/p^n)^*} Z_(p)[t] has valuation -1 + sum_{s >= 0} (a_s (s+1) - a_{s+1} (s+2)) p^s at t. There is a similar result for the related cyclic Wedderburn embedding.


title: The Hopf algebra $Rep U_q \hat{gl}_\infty$

abstract: We define the Hopf algebra structure on the Grothendieck group of finite-dimensional polynomial representations of $U_q \hat{gl}_N$ in the limit $N \to \infty$. The resulting Hopf algebra $Rep U_q \hat{gl}_\infty$ is a tensor product of its Hopf subalgebras $Rep_a U_q \hat{gl}_\infty$, $a\in\C^\times/q^{2\Z}$. When $q$ is generic (resp., $q^2$ is a primitive root of unity of order $l$), we construct an isomorphism between the Hopf algebra $Rep_a U_q \hat{gl}_\infty$ and the algebra of regular functions on the prounipotent proalgebraic group $SL_\infty^-$ (resp., $\tilde{GL}_l^-$). When $q$ is a root of unity, this isomorphism identifies the Hopf subalgebra of $Rep_a U_q \hat{gl}_\infty$ spanned by the modules obtained by pullback with respect to the Frobenius homomorphism with the algebra generated by the coefficients of the determinant of an element of $\tilde{GL}_l^-$. This gives us an explicit formula for the Frobenius pullbacks of the fundamental representations. In addition, we construct a natural action of the Hall algebra associated to the infinite linear quiver (resp., the cyclic quiver with $l$ vertices) on $Rep_a U_q \hat{gl}_infty$ and describe the span of the tensor products of the evaluation representations taken at fixed points as a module over this Hall algebra.


title: Classes de cycles en cohomologie rigide

abstract: We define the rigid homology. The trace morphism in rigid cohomology define by duality the cycle class in rigid homology. We verify the compatibility of this classes with rationnal equivalence and intersection theory. We deduce some formal consequences such as the Riemman-Roch-Grothendieck theorem in rigid cohomology and the self-intersection formula.


title: Free boson representation of $DY_{\hbar}(\hat{sl} (M+1|N+1)) $ at level one

abstract: We construct a realization of the central extension of super-Yangian double $DY_{\hbar}(\hat{sl}(M+1|N+1))$ at level-one in terms of free boson fields with a continuous parameter.


title: Continuous Family of Invariant Subspaces for R-diagonal Operators

abstract: We show that every R-diagonal operator x has a continuous family of invariant subspaces relative to the von Neumann algebra generated by x. This allows us to find the Brown measure of x and to find a new conceptual proof that Voiculescu's S-transform is multiplicative. Our considerations base on a new concept of R-diagonality with amalgamation, for which we give several equivalent characterizations.


title: Complete embedded minimal n-submanifolds in C^n

abstract: In this paper we prove the existence of families of n-dimensional complete embedded minimal submanifolds of C^n with a prescribed configuration of k>1 asymptotic planes. These submanifolds are obtained by desingularizing the intersection of the asymptotes, using a gluing theorem applied to a generalization of a special lagrangian "hyperbola" found by Lawlor.


title: Some classical multiple orthogonal polynomials

abstract: Recently there has been a renewed interest in an extension of the notion of orthogonal polynomials known as multiple orthogonal polynomials. This notion comes from simultaneous rational approximation (Hermite-Pade approximation) of a system of several functions. We describe seven families of multiple orthogonal polynomials which have he same flavor as the very classical orthogonal polynomials of Jacobi, Laguerre and Hermite. We also mention some open research problems and some applications.


title: Positive presentations of the braid groups and the embedding problem

abstract: A large class of positive finite presentations of the braid groups is found and studied. It is shown that no presentations but known exceptions in this class have the property that equivalent braid words are also equivalent under positive relations.


title: Covering AlgebrasI: Extended Affine Lie Algebras

abstract: Covering Algebras of extended affine Lie algebras(EALA's) relative to finite order automorphisms are studied. Conditions are given for when the resulting algebra is again an EALA. This paper deals with affinizations of EALA's relative to finite order automorphisms and these algebras are generalizations of the affine Kac-Moody Lie algebras.


title: Equivariant principal bundles over spheres and cohomogeneity one manifolds

abstract: We classify SO(n)-equivariant principal bundles over $S^n$ in terms of their isotropy representations over the north and south poles. This is an example of a general result classifying equivariant $(\Pi, G)$-bundles over cohomogeneity one manifolds.


title: Noncomplex smooth 4-manifolds with Lefschetz fibrations

abstract: For every integer g greater than or equal to 2, there exist infinitely many pairwise nonhomeomorphic smooth 4-manifolds that admit genus-g Lefschetz fibrations over S^2 but do not carry any complex structure with either orientation. This extends a recent result of Ozbagci and Stipsicz.


title: Integrable systems and effectivisation of Riemann theorem about domaims of the complex plane

abstract: Consider a closed analytic curve $\gamma$ in the complex plane and denote by > $D_+$ and $D_-$ the interior and exterior domains with respect to the curve. The point $z=0$ is assumed to be in $D_+$. Then according to Riemann theorem there exists a function $w(z)=\frac 1r z+\sum_{j=0}^\infty p_j z^{-j}$, mapping $D_-$ to the exterior of the unit disk $\{w\in C|| w | >1\}$. It is follow from [arXiv : hep-th /0005259] that this function is described by formula $\log w=\log z-\partial_{t_0} (\frac 12\partial_{t_0}+\sum\limits_{k\geqslant 1}\frac{z^{-k}}{k} \partial_{t_k})v$, where $v=v(t_0, t_1, \bar t_1, t_2, \bar t_2,...)$ is a function from the area $t_0$ of $D_+$ and the momemts $t_k$ of $D_-$. Moreover, this function satisfies the dispersionless Hirota equation for 2D Toda lattice hierarchy. Thus for an effectivisation of Riemann theorem it is sufficiently to find a representation of $v$ in the form of Taylor series $v=\sum N(i_0 | i_1,...,i_k| \bar i_1,...,\bar i_{\bar k})t_0 t_{i_1},...,t_k \bar t_{\bar i_1},...,\bar t_{\bar i_{\bar k}}$. The numbers $N(i_0 | i_1,...,i_k | \bar i_1, ..., \bar i_{\bar k})$ for $i_\alpha, \bar i_\beta\leqslant 2$ is found in [arXiv: hep-th/0005259]. In this paper we find some recurrence relations that give a possible to find all $N(i_0\bigl| i_1,...,i_k|\bar i_1,...,\bar i_{\bar k})$.

categories: math.CV hep-th math-ph math.CO math.MP nlin.SI


title: Diffeomorphisms and families of Fourier-Mukai transforms in mirror symmetry

abstract: Assuming the standard framework of mirror symmetry, a conjecture is formulated describing how the diffeomorphism group of a Calabi-Yau manifold Y should act by families of Fourier-Mukai transforms over the complex moduli space of the mirror X. The conjecture generalizes a proposal of Kontsevich relating monodromy transformations and self-equivalences. Supporting evidence is given in the case of elliptic curves, lattice-polarized K3 surfaces and Calabi-Yau threefolds. A relation to the global Torelli problem is discussed.


title: Some Examples of Gorenstein Liaison in Codimension Three

abstract: Gorenstein liaison seems to be the natural notion to generalize to higher codimension the well-known results about liaison of varieties of codimension~2 in projective space. In this paper we study points in ${\mathbb P}^3$ and curves in ${\mathbb P}^4$ in an attempt to see how far typical codimension~2 results will extend. While the results are satisfactory for small degree, we find in each case examples where we cannot decide the outcome. These examples are candidates for counterexamples to the hoped-for extensions of codimension~2 theorems.


title: The Chow ring of the symmetric space Gl(2n,C)/SO(2n,C)

abstract: We show this Chow ring is $\Z \oplus \Z$. We do this by partitioning the space into 2n subvarieties each of which is fibered over $Gl(2n-2,\C)/SO(2n-2,\C)$.


title: Geodesics on extensions of Lie groups and stability; the superconductivity equation

abstract: The equations of motion of a charged ideal fluid, respectively the superconductivity equation (both in a given magnetic field) are showed to be geodesic equations on a general, respectively central extension of the group of volume preserving diffeomorphisms with right invariant metric. For this, quantization of the magnetic flux is required. We do curvature computations in both cases in order to get some informations about the stability.


abstract: Geodesics and curvature of semidirect product groups with right invariant metrics are determined. In the special case of an isometric semidirect product, the curvature is shown to be the sum of the curvature of the two groups. A series of examples, like the magnetic extension of a group, are then considered.


title: Automorphism groups of normal CR 3-manifolds

abstract: We classify the normal CR structures on $S^3$ and their automorphism groups. Together with [3], this closes the classification of normal CR structures on contact 3-manifolds. We give a criterion to compare 2 normal CR structures, and we show that the underlying contact structure is, up to homotopy, unique.


title: Non Parallelism of Ricci tensor of Pseudo-cylindric Metrics

abstract: We descrive examples of metrics in the conformal class $[g]$ on complete conformally flat Riemannian manifolds $(M,g].$ These metrics have a constant scalar curvature and an harmonic curvature with non parallel Ricci tensor.


title: Regularity of invariant distributions

abstract: We consider a geometrically finite discrete group of conformal transformations of the sphere. Further we consider distributions which are supported on the limit set and are invariant with conformal weight. We estimate their regularity in terms of the conformal weight, the Hausdorff dimension of the limit set, and the maximal rank of the cusps of the group.


title: The Hilbert-Smith Conjecture

abstract: The Hilbert-Smith Conjecture states that if G is a locally compact group which acts effectively on a connected manifold as a topological transformation group, then G is a Lie group. A rather straightforward proof of this conjecture is given. The motivation is work of Cernavskii (``Finite-to-one mappings of manifolds'', Trans. of Math. Sk. 65 (107), 1964.) His work is generalized to the orbit map of an effective action of a p-adic group on compact connected n-manifolds with the aid of some new ideas. There is no attempt to use Smith Theory even though there may be similarities. It is well known that if a locally compact group acts effectively on a connected n-manifold M and G is not a Lie group, then there is a subgroup H of G isomorphic to a p-adic group A_p which acts effectively on M. It can be shown that A_p can not act effectively on an n-manifold and, hence, The Hilbert Smith Conjecture is true. The existence of a non empty fixed point set adds some complexity to the proof. In this paper, it is shown that A_p can not act freely on a compact connected n-manifold. The basic ideas for the general case are more clearly seen in this case. The general proof will be given in another paper.


title: Generalized Kneser coloring theorems with combinatorial proofs

abstract: The Kneser conjecture (1955) was proved by Lov\'asz (1978) using the Borsuk-Ulam theorem; all subsequent proofs, extensions and generalizations also relied on Algebraic Topology results, namely the Borsuk-Ulam theorem and its extensions. Only in 2000, Matou\v{s}ek provided the first combinatorial proof of the Kneser conjecture. Here we provide a hypergraph coloring theorem, with a combinatorial proof, which has as special cases the Kneser conjecture as well as its extensions and generalization by (hyper)graph coloring theorems of Dol'nikov, Alon-Frankl-Lov\'asz, Sarkaria, and Kriz. We also give a combinatorial proof of Schrijver's theorem.


title: Integrability of characteristic Hamiltonian systems on simple Lie groups with standard Poisson Lie structure

abstract: Phase space of a characteristic Hamiltonian system is a symplectic leaf of a factorizable Poisson Lie group. Its Hamiltonian is a restriction to the symplectic leaf of a function on the group which is invariant with respect to conjugations. It is shown in this paper that such system is always integrable.


title: On the linearity problem for mapping class groups

abstract: Formanek and Procesi have demonstrated that Aut(F_n) is not linear for n >2. Their technique is to construct nonlinear groups of a special form, which we call FP-groups, and then to embed a special type of automorphism group, which we call a poison group, in Aut(F_n), from which they build an FP-group. We first prove that poison groups cannot be embedded in certain mapping class groups. We then show that no FP-groups of any form can be embedded in mapping class groups. Thus the methods of Formanek and Procesi fail in the case of mapping class groups, providing strong evidence that mapping class groups may in fact be linear.


title: On a functional-difference equation of Runyon, Morrison, Carlitz, and Riordan

abstract: A certain functional-difference equation that Runyon encountered when analyzing a queuing system was solved in a combined effort of Morrison, Carlitz, and Riordan. We simplify that analysis by exclusively using generating functions, in particular the kernel method, and the Lagrange inversion formula.


title: Stable tensors and moduli space of orthogonal sheaves

abstract: Let X be a smooth projective variety over C. We find the natural notion of semistable orthogonal bundle and construct the moduli space, which we compactify by considering also orthogonal sheaves, i.e. pairs (E,\phi), where E is a torsion free sheaf on X and \phi is a symmetric nondegenerate (in the open set where E is locally free) bilinear form on E. We also consider special orthogonal sheaves, by adding a trivialization \psi of the determinant of E such that det(\phi)=\psi^2 ; and symplectic sheaves, by considering a form which is skewsymmetric. More generally, we consider semistable tensors, i.e. multilinear forms on a torsion free sheaf, and construct their projective moduli space using GIT.


title: The splitting of primes in division fields of elliptic curves

abstract: In this paper we will give a global description of the Frobenius for the division fields of an elliptic curve E which is strictly analogous to the cyclotomic case. This is then applied to determine the splitting of a prime p in subfields of such a division field. Such fields include a large class of non-solvable quintic extensions and our application provides an arithmetic counterpart to Klein's "solution" of quintic equations using elliptic functions. A central role is played by the discriminant of the ring of endomorphisms of the elliptic curve reduced modulo p.


title: A New Class of Wilf-Equivalent Permutations

abstract: For about 10 years, the classification of permutation patterns was thought completed up to length 6. In this paper, we establish a new class of Wilf-equivalent permutation patterns, namely, (n-1,n-2,n,tau)~(n-2,n,n-1,tau) for any tau in S_{n-3}. In particular, at level n=6, this result includes the only missing equivalence (546213)~(465213), and for n=7 it completes the classification of permutation patterns by settling all remaining cases in S_7.


title: Evasion and prediction IV: Fragments of constant prediction

abstract: Say that a function pi:n^{<omega}-->n (henceforth called a predictor) k-constantly predicts a real x in n^omega if for almost all intervals I of length k, there is i in I such that x(i)=pi (x restriction i). We study the k-constant prediction number v_n^const(k), that is, the size of the least family of predictors needed to k --constantly predict all reals, for different values of n and k, and investigate their relationship.


title: On the lattice of cotorsion theories

abstract: We discuss the lattice of cotorsion theories for abelian groups. First we show that the sublattice of the well-studied rational cotorsion theories can be identified with the well-known lattice of types. Using a recently developed method for making Ext vanish we also prove that any power set together with the ordinary set inclusion (and thus any poset) can be embedded into the lattice of all cotorsion theories.


title: A partition relation using strongly compact cardinals

abstract: If kappa is strongly compact, lambda > kappa is regular, then (2^{< lambda})^+ --> (lambda+eta)^2_theta holds for eta,theta<kappa.


title: Orbifold Gromov-Witten Theory

abstract: In this article, we introduce the notion of good map and use it to establish Gromov-Witten theory for orbifolds.


title: Order One Invariants of Immersions

abstract: We classify all order one invariants of immersions of a closed orientable surface F into R^3, with values in an arbitrary Abelian group G. We show that for any F and G and any regular homotopy class A of immersions of F into R^3, the group of all order one invariants on A is isomorphic to G^\aleph_0 \oplus B \oplus B where G^\aleph_0 is the group of all functions from a set of cardinality \aleph_0 into G and B={x\in G : 2x=0}. Our work includes foundations for the study of finite order invariants of immersions of a closed orientable surface into R^3, analogous to chord diagrams and the 1-term and 4-term relations of knot theory.


title: Homotopy K3's with several symplectic structures

abstract: In this note we prove that, for any integer n, there exist a smooth 4-manifold, homotopic to a K3 surface, defined by applying the link surgery method of Fintushel-Stern to a certain 2-component graph link, which admits n inequivalent symplectic structures Keywords: Symplectic topology of 4-manifolds; Seiberg-Witten theory


title: Removing coincidences of maps between manifolds of different dimensions

abstract: We consider sufficient conditions of local removability of coincidences of maps f,g:N->M, where M,N are manifolds with dimensions dimN>dimM. The coincidence index is the only obstruction to the removability for maps with fibers either acyclic or homeomorphic to spheres of certain dimensions. We also address the normalization property of the index and coincidence-producing maps.


title: Exponential Riesz bases of subspaces and divided differences

abstract: Linear combinations of exponentials $e^{i\lambda_kt}$ in the case where the distance between some points $\lambda_k$ tends to zero are studied. D. Ullrich has proved the basis property of the divided differences of exponentials in the case when the groups consist of equal number of points all of them are close enough to integers. We have generalized this result for groups with arbitrary number of close points and obtained a full description of Riesz bases of exponential divided differences. The application to a control problem is presented.