title: Direct linearization method for nonlinear PDE's and the related kernel RBFs

abstract: The standard methodology handling nonlinear PDE's involves the two steps: numerical discretization to get a set of nonlinear algebraic equations, and then the application of the Newton iterative linearization or its variants to solve the nonlinear algebraic systems. Here we present an alternative strategy called direct linearization method (DLM). The DLM discretization algebraic equations of nonlinear PDE's is simply linear rather than nonlinear. The basic idea behind the DLM is that we see a nonlinear term as a new independent systematic variable and transfer a nonlinear PDE into a linear PDE with more than one independent variable. It is stressed that the DLM strategy can be applied combining any existing numerical discretization techniques. The resulting linear discretization equations can be either over-posed or well-posed. In particular, we also discuss how to create proper radial basis functions in conjunction with the DLM.


title: Resolutions of p-Modular TQFT's and Representations of Symmetric Groups

abstract: We construct families of TQFT's over the finite field Z/pZ starting from an integral TQFT obtained by Frohman and Nicas. These TQFT's are likely to describe the constant order contributions of the cyclotomic integer expansions of the Reshetikhin Turaev Ohtsuki theories. Their modular structure is intimately related to the p-modular representation theory of the symmetric groups S_n. We construct resolutions of simple p-modular TQFT's and S_n-modules over Z/pZ using powers of Lefschetz operators. These yield expansions of the irreducible p-modular S_n-characters in terms of the ordianry ones as well as expressions for the Alexander Polynomial of a 3-manifold evaluated at a p-th root of unity in terms of traces in the irreducible modular TQFT's over covering cobordisms. Together with identifications with the constant orders of quantum TQFT's this results, e.g., in non-trivial criteria for a group to be a 3-manifold group.


title: p-Modular TQFT's and Torsion

abstract: We give an overview over several constructions of TQFT's over finite fields and cyclotomic integers and their applications to characterizing 3-manifolds and their fundamental groups.


title: Dualizing Complexes and Tilting Complexes over Simple Rings

abstract: We prove that two-sided tilting complexes, and dualizing complexes, over simple Goldie rings (with some technical conditions) are always shifts of invertible bimodules. This allows us to describe the derived Picard groups of such rings, and to deduce these are Gorenstein (and sometimes even Auslander-Gorenstein Cohen-Macaulay) rings.


title: New upper bounds on sphere packings I

abstract: We develop an analogue for sphere packing of the linear programming bounds for error-correcting codes, and use it to prove upper bounds for the density of sphere packings, which are the best bounds known at least for dimensions 4 through 36. We conjecture that our approach can be used to solve the sphere packing problem in dimensions 8 and 24.


title: New upper bounds on sphere packings II

abstract: We continue the study of the linear programming bounds for sphere packing introduced by Cohn and Elkies. We use theta series to give another proof of the principal theorem, and present some related results and conjectures.


title: Segal-Bargmann Transforms of One-mode Interacting Fock Spaces Associated with Gaussian and Poisson Measures

abstract: Let $\mu_{g}$ and $\mu_{p}$ denote the Gaussian and Poisson measures on ${\Bbb R}$, respectively. We show that there exists a unique measure $\widetilde{\mu}_{g}$ on ${\Bbb C}$ such that under the Segal-Bargmann transform $S_{\mu_g}$ the space $L^2({\Bbb R},\mu_g)$ is isomorphic to the space ${\cal H}L^2({\Bbb C}, \widetilde{\mu}_{g})$ of analytic $L^2$-functions on ${\Bbb C}$ with respect to $\widetilde{\mu}_{g}$. We also introduce the Segal-Bargmann transform $S_{\mu_p}$ for the Poisson measure $\mu_{p}$ and prove the corresponding result. As a consequence, when $\mu_{g}$ and $\mu_{p}$ have the same variance, $L^2({\Bbb R},\mu_g)$ and $L^2({\Bbb R},\mu_p)$ are isomorphic to the same space ${\cal H}L^2({\Bbb C}, \widetilde{\mu}_{g})$ under the $S_{\mu_g}$ and $S_{\mu_p}$-transforms, respectively. However, we show that the multiplication operators by $x$ on $L^2({\Bbb R}, \mu_g)$ and on $L^2({\Bbb R}, \mu_p)$ act quite differently on ${\cal H}L^2({\Bbb C}, \widetilde{\mu}_{g})$.


title: Inequalities of Noether type for 3-folds of general type

abstract: If $X$ is a smooth complex projective 3-fold with ample canonical divisor $K$, then the inequality $K^3\ge {2/3}(2p_g-7)$ holds, where $p_g$ denotes the geometric genus. This inequality is nearly sharp. We also give similar, but more complicated, inequalities for general minimal 3-folds of general type. (A noether type of inequality lies, by all means, on the other side of the Miyaoka-Yau inequality from the geographical point of view.)


title: Quantum line bundles on noncommutative sphere

abstract: Noncommutative (NC) sphere is introduced as a quotient of the enveloping algebra of the Lie algebra su(2). Using the Cayley-Hamilton identities we introduce projective modules which are analogues of line bundles on the usual sphere (we call them quantum line bundles) and define a multiplicative structure in their family. Also, we compute a pairing between certain quantum line bundles and finite dimensional representations of the NC sphere in the spirit of the NC index theorem. A new approach to constructing the differential calculus on a NC sphere is suggested. The approach makes use of the projective modules in question and gives rise to a NC de Rham complex being a deformation of the classical one.


title: On the PROP corresponding to bialgebras

abstract: A PROP is a symmetric monoidal category, whose set of objects is the set of natural numbers and on objects the monoidal structure is given by the addition. An algebra over a PROP is a symmetric strict monoidal functor to the tensor category of vector spaces. We give an explicite construction of the PROP whose category of algebras is equivalent to the category of bialgebras (= associative and coassociative bialgebras).


title: Exterior algebra resolutions arising from homogeneous bundles

abstract: For the exterior algebra E over a vector space, we consider general maps E^a -> E(1)^b and general symmetric and skew-symmetric maps E^a -> E(1)^a and describe the associated exterior algebra resolutions. Using the theory of homogeneous bundles on homogeneous varieties we also describe the exterior algebra resolutions of much wider classes of maps E^a -> E(r)^b.


title: On the crossing number of positive knots and braids and braid index criteria of Jones and Morton-Williams-Franks

abstract: We give examples of knots with some unusual properties of the crossing number of positive diagrams or strand number of positive braid representations. In particular we show that positive braid knots may not have positive minimal (strand number) braid representations, giving a counterpart to results of Franks-Williams and Murasugi. Other examples answer questions of Cromwell on homogeneous and (partially) of Adams on almost alternating knots. We give a counterexample to, and a corrected version of a theorem of Jones on the Alexander polynomial of 4-braid knots. We also give an example of a knot on which all previously applied braid index criteria fail to estimate sharply (from below) the braid index. A relation between (generalizations of) such examples and a conjecture of Jones that a minimal braid representation has unique writhe is discussed. Finally, we give a counterexample to Morton's conjecture relating the genus and degree of the skein polynomial.


title: Generalized Tsen theorem and rationally connected Fano fibrations

abstract: We prove that a fibration X \to \Bbb P_1, the general fiber of which is a smooth Fano threefold, is rationally connected. The proof is based on a generalization of Tsen's classical theorem: a fibration X/C over a curve the general fiber of which is a Fano complete intersection in a product of weighted projective spaces has a section.


title: Reduced C*-algebra of the p-adic group GL(n) II

abstract: Let G be the p-adic group GL(n). Using C*-algebra techniques, we obtain a very explicit description of the tempered dual of G in terms of Bernstein parameters and extended quotients. We also prove that Plancherel measure (on the tempered dual of a reductive p-adic group) is rotation-invariant.


title: Mean Curvature Flow of Surfaces in Einstein Four-Manifolds

abstract: Let \Sigma be a compact oriented surface immersed in a four dimensional K\"ahler-Einstein manifold M. We consider the evolution of \Sigma in the direction of its mean curvature vector. It is proved that being symplectic is preserved along the flow and the flow does not develop type I singularity. When M has two parallel K\"ahler forms \omega' and \omega'' that determine different orientations and\Sigma is symplectic with respect to both \omega' and \omega'', we prove the mean curvature flow of \Sigma exists smoothly for all time. In the positive curvature case, the flow indeed converges at infinity.


title: Deforming Area Preserving Diffeomorphism of Surfaces by Mean Curvature Flow

abstract: Let f:\Sigma_1 --> \Sigma_2 be an area preserving diffeomorphism between compact Riemann surfaces of constant curvature. The graph of f can be viewed as a Lagrangian submanifold in \Sigma_1\times \Sigma_2. This article discusses a canonical way to deform f along area preserving diffeomorphisms. This deformation process is realized through the mean curvature flow of the graph of f in \Sigma_1\times \Sigma_2. It is proved that the flow exists for all time and the map converges to a canonical map. In particular, this gives a new proof of the classical topological results that O(3) is a deformation retract of the diffeomorphism group of S^2 and the mapping class group of a Riemman surface of positive genus is a deformation retract of the diffeomorphism group .


title: CMC-1 Surfaces in Hyperbolic 3-space using the Bianchi-Calo method

abstract: In this note we present a method for constructing CMC-1 surfaces in hyperbolic 3-space $\bfH^3(-1)$ in terms of holomorphic data first introduced in Bianchi's Lezioni di Geometria Differenziale of 1927, therefore predating by many years the modern approaches due to Bryant, Small and others. Besides its obvious historical interest, this note aims to complement Bianchi's analysis by deriving explicit formulae for CMC-1 surfaces and comparing the various approaches encountered in the literature.


title: An effective algorithm for the cohomology ring of symplectic reductions

abstract: Let G be a compact torus acting on a compact symplectic manifold M in a Hamiltonian fashion, and T a subtorus of G. We prove that the kernel of $\kappa:H_G^*(M)\to H^*(M//G)$ is generated by a small number of classes $\alpha\in H_G^*(M)$ satisfying very explicit restriction properties. Our main tool is the equivariant Kirwan map, a natural map from the G-equivariant cohomology of M to the G/T-equivariant cohomology of the symplectic reduction of M by T. We show this map is surjective. This is an equivariant version of the well-known result that the (nonequivariant) Kirwan map $\kappa:H_G^*(M)\to H^*(M//G)$ is surjective. We also compute the kernel of the equivariant Kirwan map, generalizing the result due to Tolman and Weitsman in the case T=G and allowing us to apply their methods inductively. This result is new even in the case that dim T = 1. We close with a worked example: the cohomology ring of the product of two $\C P^2$s, quotiented by the diagonal 2-torus action.


title: The Asymmetric One-Dimensional Constrained Ising Model

abstract: We study a reversible one-dimensional spin system with Bernoulli(p) stationary distribution, in which a site can flip only if the site to its left is in state +1. Such models have been used as simple exemplars of systems exhibiting slow relaxation. We give fairly sharp estimates of the spectral gap as p decreases to zero. The method uses Poincare comparison with a long-range process which is analyzed by probabilistic methods (coupling, supermartingales).


title: Double Affine Hecke Algebras and Difference Fourier Transforms

abstract: In the paper, we introduce and calculate difference Fourier transforms on representations of the double affine Hecke algebras in polynomilas, polynomials multiplied by the Gaussian, and various spaces of delta-functions including finite-dimensional ones, give a general description of the semisimple representations with a special consideration of the GL-case, and then gradually restrict ourselves with spherical, pseudo-unitary, and Fourier-invariant representations. The latter generalize the Verlinde algebras and lead to new Gauss-Selberg sums and Macdonald's eta-type identities.


title: Counting 1-vertex Triangulations Of Oriented Surfaces

abstract: A {\em $1-$vertex triangulation} of an oriented compact surface $S$ of genus $g$ is an embedded graph $T\subset S$ with a unique vertex such that all connected components of $S\setminus T$ are triangles (adjacent to exactly 3 edges of $T$). This paper gives formulas enumerating such triangulations (up to equivalence) on an oriented surface of given genus. {\em Une triangulation \`a un sommet} d'une surface orient\'ee compacte $S$ de genre $g$ est un graphe $T\subset S$ qui a un unique sommet et dont toutes les faces (composantes connexes de $S\setminus T$) sont des triangles (incidentes \`a trois ar\^etes de $T$). Cet article donne des formules permettant d'\'enum\'erer ces triangulations.


title: A refined global well-posedness result for Schrodinger equations with derivative

abstract: In this paper we prove that the 1D Schr\"odinger equation with derivative in the nonlinear term is globally well-posed in $H^{s}$, for $s>\frac12$ for data small in $L^{2}$. To understand the strength of this result one should recall that for $s<\frac12$ the Cauchy problem is ill-posed, in the sense that uniform continuity with respect to the initial data fails. The result follows from the method of almost conserved energies, an evolution of the ``I-method'' used by the same authors to obtain global well-posedness for $s>\frac23$. The same argument can be used to prove that any quintic nonlinear defocusing Schr\"odinger equation on the line is globally well-posed for large data in $H^{s}$, for $s>\frac12$.


title: Representations of Hecke algebras and dilations of semigroup crossed products

abstract: We consider a family of Hecke C*-algebras which can be realised as crossed products by semigroups of endomorphisms. We show by dilating representations of the semigroup crossed product that the category of representations of the Hecke algebra is equivalent to the category of continuous unitary representations of a totally disconnected locally compact group.


title: Hirzebruch genera of manifolds equipped with a Hamiltonian circle action

abstract: In the paper we describe obstructions for the existence of symplectic and Hamiltonian symplectic circle actions on closed compact manifolds in terms of Hirzebruch genera and relations between differential and homotopic invariants of such manifolds.


title: Shock-capturing with natural high frequency oscillations

abstract: This paper explores the potential of a newly developed conjugate filter oscillation reduction (CFOR) scheme for shock-capturing under the influence of natural high-frequency oscillations. The conjugate low-pass and high-pass filters are constructed based on the principle of the discrete singular convolution. Two Euler systems, the advection of an isentropy vortex flow and the interaction of shock-entropy wave are considered to demonstrate the utility of the CFOR scheme. Computational accuracy and order of approximation are examined and compared with the literature. Some of the best numerical results are obtained for the shock-entropy wave interaction. Numerical experiments indicate that the proposed scheme is stable, conservative and reliable for the numerical simulation of hyperbolic conservation laws.


title: Free cumulants and enumeration of connected partitions

abstract: A combinatorial formula is derived which expresses free cumulants in terms of classical comulants. As a corollary, we give a combinatorial interpretation of free cumulants of classical distributions, notably Gaussian and Poisson distributions. The latter count connected pairings and connected set partitions respectively. The proof relies on Moebius inversion on the partition lattice.


title: Cumulants, lattice paths, and orthogonal polynomials

abstract: A formula expressing free cumulants in terms of the Jacobi parameters of the corresponding orthogonal polynomials is derived. It combines Flajolet's theory of continued fractions and Lagrange inversion. For the converse we discuss Gessel-Viennot theory to express Hankel determinants in terms of various cumulants.


title: Polynomilal Poisson algebras with regular structure of symplectic leaves

abstract: We study polynomial Poisson algebras with some regularity conditions. Linear (Lie-Berezin-Kirillov) structures on dual spaces of semi-simple Lie algebras, quadratic Sklyanin elliptic algebras of \cite{FO1},\cite{FO2} as well as polynomial algebras recently described by Bondal-Dubrovin-Ugaglia (\cite{Bondal},\cite{Ug}) belong to this class. We establish some simple determinantal relations between the brackets and Casimirs in this algebras. These relations imply in particular that for Sklyanin elliptic algebras the sum of Casimir degrees coincides with the dimension of the algebra. We are discussing some interesting examples of these algebras and in particular we show that some of them arise naturally in Hamiltonian integrable systems. Among these examples is a new class of two-body integrable systems admitting an elliptic dependence both on coordinates and momenta.


title: Pointed Hopf algebras of dimension 32

abstract: We give a complete classification of the 32-dimensional pointed Hopf algebras over an algebraically closed field k with characteristic different from 2. It turns out that there are infinite families of isomorphism classes of pointed Hopf algebras of dimension 32. In [Andruskiewitsch-Schneider, J. Alg 209], [Beattie-Dascalescu-Grunenfelder, Invent. Math. 136 (1)] and [Gelaki, J. Alg 209] are given families of counterexamples for the tenth Kaplansky conjecture. Up to now, 32 is the lowest dimension where Kaplansky conjecture fails.


title: An Algebraic Perspective of Group Relaxations

abstract: This is an expository article on recent developments in the theory of group relaxations in integer programming from an algebraic perspective.


title: The mass of asymptotically hyperbolic Riemannian manifolds

abstract: We present a set of global invariants, called "mass integrals", which can be defined for a large class of asymptotically hyperbolic Riemannian manifolds. When the "boundary at infinity" has spherical topology one single invariant is obtained, called the mass; we show positivity thereof. We apply the definition to conformally compactifiable manifolds, and show that the mass is completion-independent. We also prove the result, closely related to the problem at hand, that conformal completions of conformally compactifiable manifolds are unique.


title: Counting occurrences of a pattern of type (1,2) or (2,1) in permutations

abstract: Babson and Steingr\'{\i}msson introduced generalized permutation patterns that allow the requirement that two adjacent letters in a pattern must be adjacent in the permutation. Claesson presented a complete solution for the number of permutations avoiding any single pattern of type $(1,2)$ or $(2,1)$. For eight of these twelve patterns the answer is given by the Bell numbers. For the remaining four the answer is given by the Catalan numbers. With respect to being equidistributed there are three different classes of patterns of type $(1,2)$ or $(2,1)$. We present a recursion for the number of permutations containing exactly one occurrence of a pattern of the first or the second of the aforementioned classes, and we also find an ordinary generating function for these numbers. We prove these results both combinatorially and analytically. Finally, we give the distribution of any pattern of the third class in the form of a continued fraction, and we also give explicit formulas for the number of permutations containing exactly $r$ occurrences of a pattern of the third class when $r\in\{1,2,3\}$.


title: Continued fractions and generalized patterns

abstract: In [BS] Babson and Steingrimsson introduced generalized permutation patterns that allow the requirement that two adjacent letters in a pattern must be adjacent in the permutation. Let $f_{\tau;r}(n)$ be the number of $1\mn3\mn2$-avoiding permutations on $n$ letters that contain exactly $r$ occurrences of $\tau$, where $\tau$ a generalized pattern on $k$ letters. Let $F_{\tau;r}(x)$ and $F_\tau(x,y)$ be the generating functions defined by $F_{\tau;r}(x)=\sum_{n\geq0} f_{\tau;r}(n)x^n$ and $F_\tau(x,y)=\sum_{r\geq0}F_{\tau;r}(x)y^r$. We find an explicit expression for $F_\tau(x,y)$ in the form of a continued fraction for where $\tau$ given as a generalized pattern; $\tau=12\mn3\mn...\mn k$, $\tau=21\mn3\mn...\mn k$, $\tau=123... k$, or $\tau=k... 321$. In particularly, we find $F_\tau(x,y)$ for any $\tau$ generalized pattern of length 3. This allows us to express $F_{\tau;r}(x)$ via Chebyshev polynomials of the second kind, and continued fractions.


title: Classification of irreducible representations of the q-deformed algebra U'_q(so_n)

abstract: A classification of finite dimensional irreducible representations of the nonstandard $q$-deformation $U'_q(so_n)$ of the universal enveloping algebra $U(so(n, C))$ of the Lie algebra $so(n, C)$ (which does not coincides with the Drinfeld--Jimbo quantized universal enveloping algebra $U_q(so_n)$) is given for the case when $q$ is not a root of unity. It is shown that such representations are exhausted by representations of the classical and nonclassical types. Examples of the algebras $U'_q(so_3)$ and $U'_q(so_4)$ are considered in detail. The notions of weights, highest weights, highest weight vectors are introduced. Raising and lowering operators for irreducible finite dimensional representations of $U'_q(so_n)$ and explicit formulas for them are given. They depend on a weight upon which they act. Sketch of proofs of the main assertions are given.


title: restricted 1-3-2 permutations and generalized patterns

abstract: Recently, Babson and Steingrimsson (see [BS]) introduced generalized permutations patterns that allow the requirement that two adjacent letters in a pattern must be adjacent in the permutation. We study generating functions for the number of permutations on $n$ letters avoiding $1-3-2$ (or containing $1-3-2$ exactly once) and an arbitrary generalized pattern $\tau$ on $k$ letters, or containing $\tau$ exactly once. In several cases the generating function depends only on $k$ and is expressed via Chebyshev polynomials of the second kind, and generating function of Motzkin numbers.


title: Continued fractions, statistics, and generalized patterns

abstract: Recently, Babson and Steingrimsson (see \cite{BS}) introduced generalized permutations patterns that allow the requirement that two adjacent letters in a pattern must be adjacent in the permutation. Following \cite{BCS}, let $e_k\pi$ (respectively; $f_k\pi$) be the number of the occurrences of the generalized pattern $12\mn3\mn...\mn k$ (respectively; $21\mn3\mn...\mn k$) in $\pi$. In the present note, we study the distribution of the statistics $e_k\pi$ and $f_k\pi$ in a permutation avoiding the classical pattern $1\mn3\mn2$. Also we present an applications, which relates the Narayana numbers, Catalan numbers, and increasing subsequences, to permutations avoiding the classical pattern $1\mn3\mn2$ according to a given statistics on $e_k\pi$, or on $f_k\pi$.


title: Smooth perfectness through decomposition of diffeomorphisms into fiber preserving ones

abstract: We show that on a closed smooth manifold $M$ equipped with $k$ fiber bundle structures whose vertical distributions span the tangent bundle, every smooth diffeomorphism $f$ of $M$ sufficiently close to the identity can be written as a product $f=f_1... f_k$, where $f_i$ preserves the $i^{\text{th}}$-fiber. The factors $f_i$ can be chosen smoothly in $f$. We apply this result to show that on a certain class of closed smooth manifolds every diffeomorphism sufficiently close to the identity can be written as product of commutators and the factors can be chosen smoothly. Furthermore we get concrete estimates on how many commutators are necessary.


title: Strongly-cyclic branched coverings of (1,1)-knots and cyclic presentations of groups

abstract: We study the connections among the mapping class group of the twice punctured torus, the cyclic branched coverings of (1,1)-knots and the cyclic presentations of groups. We give the necessary and sufficient conditions for the existence and uniqueness of the n-fold strongly-cyclic branched coverings of (1,1)-knots, through the elements of the mapping class group. We prove that every n-fold strongly-cyclic branched covering of a (1,1)-knot admits a cyclic presentation for the fundamental group, arising from a Heegaard splitting of genus n. Moreover, we give an algorithm to produce the cyclic presentation and illustrate it in the case of cyclic branched coverings of torus knots of type (k,hk+1) and (k,hk-1).


title: On families of triangular Hopf algebras

abstract: Following the ideas of our previous works math.QA/0008232 (joint with Andruskiewitsch) and math.QA/0101049, we study families of triangular Hopf algebras obtained by twisting finite supergroups by a twist lying entirely in the odd part. These families are parametrized by data (G,V,u,B), where G is a finite group, V its finite dimensional representation, u a central element of G of order 2 acting by -1 on V, and B an element of S^2V. We fix the discrete data G,V,u, and find the set of isomorphism classes of the members of the family as Hopf algebras, in terms of the continuous parameter B. This set is often infinite, which provides examples of nontrivial continuous families of triangular Hopf algebras. The lowest dimension in which such a family occurs is 32, in which case we get 3 families which are dual to the 3 families of pointed Hopf algebras of dimension 32 constructed recently by Grana. Furthermore, we show that if (S^2V)^G=0 then such continuous families are nontrivial not only up to a Hopf algebra isomorphism, but also up to twisting of the multiplication. Thus, they provide counterexamples to Masuoka's weakened Kaplansky's 10th conjecture, which claims that up to twisting, there are finitely many types of Hopf algebras in each dimension. Finally, we study the algebra structure of the duals of our families, and show they are direct sums of Clifford algebras. Since there are finitely many types of Clifford algebras in each dimension, this allows us to construct nontrivial families of rigid tensor structures on the abelian category of modules over a finite dimensional algebra, with a fixed Grothendieck ring.


title: Andr\'e-Quillen homology via functor homology

abstract: We obtain Andr\'e-Quillen homology for commutative algebras using relative homological algebra in the category of functors on finite pointed sets


title: Sharp Global well-posedness for KdV and modified KdV on $\R$ and $\T$

abstract: The initial value problems for the Korteweg-de Vries (KdV) and modified KdV (mKdV) equations under periodic and decaying boundary conditions are considered. These initial value problems are shown to be globally well-posed in all $L^2$-based Sobolev spaces $H^s$ where local well-posedness is presently known, apart from the $H^{{1/4}} (\R)$ endpoint for mKdV. The result for KdV relies on a new method for constructing almost conserved quantities using multilinear harmonic analysis and the available local-in-time theory. Miura's transformation is used to show that global well-posedness of modified KdV is implied by global well-posedness of the standard KdV equation.


title: Automorphisms of tiled orders

abstract: Let Lambda be a tiled R-order. We give a description of Aut_R(Lambda) as the semidirect product of Inn(Lambda) and a certain subgroup of Aut(Q(Lambda)), where Q(Lambda) is the link graph of Lambda. Additionally, we give criteria for determining when an element of Aut(Q(Lambda)) belongs to this subgroup in terms of the exponent matrix for Lambda.


title: A C^2-smooth counterexample to the Hamiltonian Seifert conjecture in R^4

abstract: We give a detailed construction of a proper C^2-smooth function on R^4 such that its Hamiltonian flow has no periodic orbits on at least one regular level set. This result can be viewed as a C^2-smooth counterexample to the Hamiltonian Seifert conjecture in dimension four.


title: Determination of Conductors from Galois Module Structure

abstract: Let F denote an unramified extension of the cyclotomic extension of Q_p by (p^n)th roots of unity, for an odd prime p. We determine the conductors of those Kummer extensions of F of degree dividing p^n which are Galois over the maximal unramified subfield of F. This follows from a comparison of the Galois module structure of the multiplicative group of F with the unit filtration of F.


title: Multilinear estimates for periodic KdV equations and applications

abstract: We prove an endpoint multilinear estimate for the $X^{s,b}$ spaces associated to the periodic Airy equation. As a consequence we obtain sharp local well-posedness results for periodic generalized KdV equations, as well as some global well-posedness results below the energy norm. In particular we prove a multilinear estimate which completes the proof of global well-posedness for periodic KdV in a preceding paper (math.AP/0110045) down to the optimal regularity H^{-1/2}.


title: General elements in anticanonical systems of threefolds with divisorial contractions and applications to classification

abstract: We treat threefolds with divisorial contractions whose exceptional divisors contract to compound Du Val points. We prove that general elements in their anticanonical systems around the exceptional divisors have at worst Du Val singularities. As applications to classification, we describe divisorial contractions to compound A_n points, and moreover we conclude that discrepancies of divisorial contractions to compound D_n or E_n points are at most four.


title: Special Varieties and classification Theory

abstract: A new class of compact K\"ahler manifolds, called special, is defined, which are the ones having no surjective meromorphic map to an orbifold of general type. The special manifolds are in many respect higher-dimensional generalisations of rational and elliptic curves. For example, we show that being rationally connected or having vanishing Kodaira dimension implies being special. Moreover, for any compact K\"ahler $X$ we define a fibration $c_X:X\to C(X)$, which we call its core, such that the general fibres of $c_X$ are special, and every special subvariety of $X$ containing a general point of $X$ is contained in the corresponding fibre of $c_X$. We then conjecture and prove in low dimensions and some cases that: 1) Special manifolds have an almost abelian fundamental group. 2) Special manifolds are exactly the ones having a vanishing Kobayashi pseudometric. 3) The core is a fibration of general type, which means that so is its base $C(X)$,when equipped with its orbifold structure coming from the multiple fibres of $c_X$. 4) The Kobayashi pseudometric of $X$ is obtained as the pull-back of the orbifold Kobayashi pseudo-metric on $C(X)$, which is a metric outside some proper algebraic subset. 5) If $X$ is projective,defined over some finitely generated (over $\Bbb Q$) subfield $K$ of the complex number field, the set of $K$-rational points of $X$ is mapped by the core into a proper algebraic subset of $C(X)$. These two last conjectures are the natural generalisations to arbitrary $X$ of Lang's conjectures formulated when $X$ is of general type.


title: Deformations of minimal Lagrangian submanifolds with boundary

abstract: Let $L$ be a special Lagrangian submanifold of a compact, Calabi-Yau manifold $M$ with boundary lying on the symplectic, codimension 2 submanifold $W$. It is shown how deformations of $L$ which keep the boundary of $L$ confined to $W$ can be described by an elliptic boundary value problem, and two results about minimal Lagrangian submanifolds with boundary are derived using this fact. The first is that the space of minimal Lagrangian submanifolds near $L$ with boundary on $W$ is found to be finite dimensional and is parametrised over the space of harmonic 1-forms of $L$ satisfying Neumann boundary conditions. The second is that if $W'$ is a symplectic, codimension 2 submanifold sufficiently near $W$, then under suitable conditions, there exists a minimal Lagrangian submanifold $L'$ near $L$ with boundary on $W'$.


title: Regularizing a singular special Lagrangian variety

abstract: Suppose $M_{1}$ and $M_{2}$ are two special Lagrangian submanifolds of $\Rtn$ with boundary that intersect transversally at one point $p$. The set $M_{1} \cup M_{2}$ is a singular special Lagrangian variety with an isolated singularity at the point of intersection. Suppose further that the tangent planes at the intersection satisfy an angle condition (which always holds in dimension $n=3$). Then, $M_{1} \cup M_{2}$ is regularizable; in other words, there exists a family of smooth, minimal Lagrangian submanifolds $M_{\alpha}$ with boundary that converges to $M_{1} \cup M_{2}$ in a suitable topology. This result is obtained by first gluing a smooth neck into a neighbourhood of $M_{1} \cap M_{2}$ and then by perturbing this approximate solution until it becomes minimal and Lagrangian.


title: Calabi-Yau-threefolds with Picard number $\rho(X)=2$ and their Kaehler cone I

abstract: We describe properties of the K\"ahler cone of general Calabi-Yau-threefolds with Picard number $\rho(X)=2$ and prove the rationality of the K\"ahler cone, if $X$ is a Calabi-Yau-hypersurface in a ${\mathbb P}^2$-bundle over ${\mathbb P}^2$ and $c_3(X)\le -54$. Without the latter assumption we prove the positivity of $c_2(X)$.


title: Enumeration of Isomorphism Classes of Extensions of p-adic Fields

abstract: Let $\Omega$ be an algebraic closure of ${\mathbb Q}_p$ and let $F$ be a finite extension of ${\mathbb Q}_p$ contained in $\Omega$. Given positive integers $f$ and $e$, the number of extensions $K/F$ contained in $\Omega$ with residue degree $f$ and ramification index $e$ was computed by Krasner. This paper is concerned with the number ${\mathfrak I}(F,f,e)$ of $F$-isomorphism classes of such extensions. We determine ${\mathfrak I}(F,f,e)$ completely when $p^2\nmid e$ and get partial results when $p^2\parallel e$. When $s$ is large, ${\mathfrak I}({\mathbb Q}_p,f,e)$ is equal to the number of isomorphism classes of finite commutative chain rings with residue field ${\mathbb F}_{p^f}$, ramification index $e$, and length $s$.


title: Words restricted by patterns with at most 2 distinct letters

abstract: We find generating functions for the number of words avoiding certain patterns or sets of patterns on at most 2 distinct letters and determine which of them are equally avoided. We also find the exact number of words avoiding certain patterns and provide bijective proofs for the resulting formulas.


title: On a theorem of Goussarov

abstract: In this paper, the easier methods of my thesis are applied to give a simple proof of a theorem of Goussarov. The theorem relates two possible notions of finite type equivalence of knots, links or string links, showing that the resulting filtrations are the same up to a degree shift by a factor of two. This is then applied to the situation of rooted claspers to show that rooted claspers of sufficiently high degree must preserve type k invariants. As a consequence, grope cobordisms of sufficiently high class must preserve type k invariants. This result is applied in math.GT/0012118, to show Theorem 2 of that paper.


title: Gr\"obner geometry of Schubert polynomials

abstract: Our main theorems provide a single geometric setting in which polynomial representatives for Schubert classes in the integral cohomology ring of the flag manifold are determined uniquely, and have positive coefficients for geometric reasons. This results in a geometric explanation for the naturality of Schubert polynomials and their associated combinatorics. Given a permutation w in S_n, we consider a determinantal ideal I_w whose generators are certain minors in the generic n x n matrix (filled with independent variables). Using `multidegrees' as simple algebraic substitutes for torus-equivariant cohomology classes on vector spaces, our main theorems describe, for each ideal I_w: - variously graded multidegrees and Hilbert series in terms of ordinary and double Schubert and Grothendieck polynomials; - a Gr\"obner basis consisting of minors in the generic n x n matrix; - the Stanley-Reisner complex of the initial ideal in terms of known combinatorial diagrams associated to permutations in S_n; and - a procedure inductive on weak Bruhat order for listing the facets of this complex, thereby generating the coefficients of Schubert polynomials by a positive recursion on combinatorial diagrams. We show that the initial ideal is Cohen-Macaulay, by identifying the Stanley-Reisner complex as a special kind of ``subword complex in S_n'', which we define generally for arbitrary Coxeter groups, and prove to be shellable by giving an explicit vertex decomposition. We also prove geometrically a general positivity statement for multidegrees of subschemes.


title: Irregular fibers of complex polynomials in two variables

abstract: For a complex polynomial in two variables we study the morphism induced in homology by the embedding of an irregular fiber in a regular neighborhood of it. We give necessary and sufficient conditions for this morphism to be injective, surjective. Particularly this morphism is an isomorphism if and only if the corresponding irregular value is regular at infinity. We apply these results to the study of vanishing and invariant cycles.


title: Permutation Groups with a Cyclic Two-Orbits Subgroup and Monodromy Groups of Siegel Functions

abstract: We classify the finite primitive permutation groups which have a cyclic subgroup with two orbits. This extends classical topics in permutation group theory, and has arithmetic consequences. By a theorem of C. L. Siegel, affine algebraic curves with infinitely many integral points are parametrized by rational functions whose monodromy groups have this property. We classify the possibilities of these monodromy groups, and give an application to Hilbert's irreducibility theorem.


title: On periodic homeomorphisms of spheres

abstract: The purpose of this paper is to study how small orbits of periodic homemorphisms of spheres can be.


title: Geometry and integrability of the M-LXIX equation

abstract: The L-equivalent counterpart of the M-LXIX equation is found. This L-equivalent equation is the Gauss-Codazzi equation which is integrable by the dressing method. This means that the M-LXIX equation is also integrable in this sense.


title: Integrals for (dual) quasi-Hopf algebras. Applications

abstract: A classical result in the theory of Hopf algebras concerns the uniqueness and existence of integrals: for an arbitrary Hopf algebra, the integral space has dimension $\leq 1$, and for a finite dimensional Hopf algebra, this dimension is exaclty one. We generalize these results to quasi-Hopf algebras and dual quasi-Hopf algebras. In particular, it will follow that the bijectivity of the antipode follows from the other axioms of a finite dimensional quasi-Hopf algebra. We give a new version of the Fundamental Theorem for quasi-Hopf algebras. We show that a dual quasi-Hopf algebra is co-Frobenius if and only if it has a non-zero integral. In this case, the space of left or right integrals has dimension one.


title: Holonomy and monodromy groupoids

abstract: We outline the construction of the holonomy groupoid of a locally Lie groupoid and the monodromy groupoid of a Lie groupoid. These specialise to the well known holonomy and monodromy groupoids of a foliation, when the groupoid is just an equivalence relation.


title: On nearly Kaehler geometry

abstract: We consider complete nearly K\"ahler manifolds with the canonical Hermitian connection. We prove some metric properties of strict nearly K\"ahler manifolds and give a sufficient condition for the reducibility of the canonical Hermitian connection. A holonomic condition for a nearly K\"ahler manifold to be a twistor space over a quaternionic K\"ahler manifold is given. This enables us to give classification results in 10-dimensions.


title: A p-adic proof of Hodge symmetry for threefolds

abstract: In this note we give a p-adic proof of Hodge symmetry for smooth, projective threefolds over complex numbers.


title: Griffiths groups of supersingular abelian varieties

abstract: The Griffiths group $\Gr^r(X)$ of a smooth projective variety $X$ over an algebraically closed field is defined to be the group of homologically trivial algebraic cycles of codimension $r$ on $X$ modulo the subgroup of algebraically trivial algebraic cycles. The main result of this paper is that the Griffiths group $\Gr^2(A_\kbar)$ of a supersingular abelian variety $A_\kbar$ over the algebraic closure of a finite field of characteristic $p$ is at most a $p$-primary torsion group. As a corollary the same conclusion holds for supersingular Fermat threefolds. In contrast, using methods of C. Schoen it is also shown that if the Tate conjecture is valid for all smooth projective surfaces and all finite extensions of the finite ground field $k$ of characteristic $p>2$, then the Griffiths group of any ordinary abelian threefold $A_\kbar$ over the algebraic closure of $k$ is non-trivial.


title: A remark on potentially semi-stable representations of Hodge-Tate type (0,1)

abstract: In this note we complement a part of a theorem of Fontaine-Mazur. We show that if $(V,\rho)$ is an irreducible finite dimensional representation of the Galois group $Gal({\bar K}/K)$ of a finite extension of $K\Q_p$, of Hodge-Tate type $(0,1)$ then it is potentially semi-stable if and only if it is potentially crystalline. This was proved by Fontaine-Mazur for dimension two and $p\geq 5$ by their classfication theorem.


title: Exotic torsion, Frobenius splitting and the slope spectral sequence

abstract: In this note we show that Frobenius split smooth, projective threefolds are Hodge-Witt (using a criterion for the degeneration of the slope spectral sequence of smooth projective threefolds which we prove), and that smooth, projective Frobenius split varieties do not have exotic torsion in their slope spectral sequence. We also record a few simple observations on Frobenius split threefolds. This paper complements authors paper with C. S. Rajan ``On Frobenius splitting and ordinarity'' which is also available on this archive.


title: Frobenius splitting and ordinarity

abstract: We examine the relationship between the notion of Frobenius splitting and ordinarity for varieties. We show the following: a) The de Rham-Witt cohomology groups $H^i(X, W({\mathcal O}_X))$ of a smooth projective Frobenius split variety are finitely generated over $W(k)$. b) we provide counterexamples to a question of V. B. Mehta that Frobenius split varieties are ordinary or even Hodge-Witt. c) a Kummer $K3$ surface associated to an Abelian surface is $F$-split (ordinary) if and only if the associated Abelian surface is $F$-split (ordinary). d) for a $K3$-surface defined over a number field, there is a set of primes of density one in some finite extension of the base field, over which the surface acquires ordinary reduction. This paper should be read along with first author's paper `Exotic torsion, Frobenius splitting and the slope spectral sequence' which is also available in this archive.


title: On ordinary forms and ordinary Galois representations

abstract: This is a revised version of the preprint which has been available electronically for a while. The paper will now appear in J. Ramanujan Math. Soc.


title: Prime ideals invariant under winding automorphisms in quantum matrices

abstract: The main goal of the paper is to establish the existence of tensor product decompositions for those prime ideals P of the generic algebra A of quantum n by n matrices which are invariant under winding automorphisms of A. More specifically, every such P is the kernel of a map from A to (A^+/P^+) tensor (A^-/P^-) obtained by composing comultiplication, localization, and quotient maps, where A^+ and A^- are special localized quotients of A while P^+ and P^- are prime ideals invariant under winding automorphisms. Further, the algebras A^+ and A^-, which vary with P, can be chosen so that the correspondence sending (P^+,P^-) to P is a bijection. The main theorem is applied, in a sequel to this paper, to completely determine the winding-invariant prime ideals in the generic quantum 3 by 3 matrix algebra.


title: Hamiltonian Paths in Cartesian Powers of Directed Cycles

abstract: The vertex set of the kth cartesian power of a directed cycle of length m can be naturally identified with the set of k-tuples of integers modulo m. For any two vertices v and w of this graph, it is easy to see that if there is a hamiltonian path from v to w, then the sum of the coordinates of v is congruent, modulo m, to one more than the sum of the coordinates of w. We prove the converse, unless k = 2 and m is odd.


title: Terminal 3-fold divisorial contractions of a surface to a curve, I

abstract: Let C be a smooth curve on an index 1 terminal 3-fold. We investigate the existence of extremal terminal divisorial contractions Y-->X that contract an irreducible surface E to C. We consider cases in respect to the singularities of the general hypersurface section S of X through C. We completely classify such contractions in the case that S has A_i, i < 4 and D_2n for any n, type singularities.


title: A new partition identity coming from complex dynamics

abstract: We present a new identity involving compositions (i.e. ordered partitions of natural numbers). The Formula has its origin in complex dynamical systems and appears when counting, in the polynomial family $\{f_c:z \mapsto z^d + c \}$, periodic critical orbits with equivalent itineraries. We give two different proofs of the identity; one following the original approach in dynamics and another with purely combinatorial methods.


title: On sequences cat (f\sp k)

abstract: We prove that, for every decreasing sequence {a \sb k} of natural numbers, there exists a map f: X --> X with cat (f\sp k)=a\sb k.


title: Frobenius-Schur functions

abstract: The present paper is a detailed version of math/0003031. We introduce and study a new basis in the algebra of symmetric functions. The elements of this basis are called the Frobenius-Schur functions (FS-functions, for short). Our main motivation for studying the FS-functions is the fact that they enter a formula expressing the combinatorial dimension of a skew Young diagram in terms of the Frobenius coordinates. This formula plays a key role in the asymptotic character theory of the symmetric groups. The FS-functions are inhomogeneous, and their top homogeneous components coincide with the conventional Schur functions. The FS-functions are best described in the super realization of the algebra of symmetric functions. As supersymmetric functions, the FS-functions can be characterized as a solution to an interpolation problem. Our main result is a simple determinantal formula for the transition coefficients between the FS-functions and the Schur functions. We also establish the FS analogs for a number of basic facts concerning the Schur functions: Jacobi-Trudi formula together with its dual form; combinatorial formula (expression in terms of tableaux); Giambelli formula and the Sergeev-Pragacz formula. All these results hold for a large family of bases interpolating between the FS-functions and the ordinary Schur functions.


title: Imbeddings of free actions on handlebodies

abstract: Fix a free, orientation-preserving action of a finite group G on a 3-dimensional handlebody V. Whenever G acts freely preserving orientation on a connected 3-manifold X, there is a G-equivariant imbedding of V into X. There are choices of X closed and Seifert-fibered for which the image of V is a handlebody of a Heegaard splitting of X. Provided that the genus of V is at least 2, there are similar choices with X closed and hyperbolic.


title: Projections, shellings and duality

abstract: Projection maps which appear in the theory of buildings and oriented matroids are closely related to the notion of shellability. This was first observed by Bj{\"o}rner. In this paper, we give an axiomatic treatment of either concept and show their equivalence. We also axiomatize duality in this setting. As applications of these ideas, we prove a duality theorem on buildings and give a geometric interpretation of the flag $h$ vector. The former may be regarded as a $q$-analogue of the Dehn-Sommerville equations. We also briefly discuss the connection with the random walks introduced by Bidigare, Hanlon and Rockmore.


title: Regular canonical covers

abstract: We construct three sequences of regular surfaces of general type with unbounded numerical invariants whose canonical map is 2-to-1 onto a canonically embedded surface. Only sporadic examples of surfaces with these properties were previously known.


title: q-deformed KZB heat equation: completeness, modular properties and SL(3,Z)

abstract: We study the properties of one-dimensional hypergeometric integral solutions of the q-difference ("quantum") analogue of the Knizhnik-Zamolodchikov-Bernard equations on tori. We show that they also obey a difference KZB heat equation in the modular parameter, give formulae for modular transformations, and prove a completeness result, by showing that the associated Fourier transform is invertible. These results are based on SL(3,Z) transformation properties parallel to those of elliptic gamma functions.


title: Dynamical properties of the space of Lorentzian metrics

abstract: We study the mechanisms of the non properness of the action of the group of diffeomorphisms on the space of Lorentzian metrics of a compact manifold. In particular, we prove that nonproperness entails the presence of lightlike geodesic foliations of codimension 1. On the 2-torus, we prove that a metric with constant curvature along one of its lightlike foliation is actually flat. This allows us to show that the restriction of the action to the set of non-flat metrics is proper and that on the set of flat metrics of volume 1 the action is ergodic. Finally, we show that, contrarily to the Riemannian case, the space of metrics without isometries is not always open.


title: Infinitesimal Extensions of P^1 and their Hilbert Schemes

abstract: In order to calculate the multiplicity of an isolated rational curve C in a local complete intersection variety X, i.e. the length of the Hilbert scheme of X at [C], it is important to study infinitesimal neighborhoods of the curve in X. This is equivalent to infinitesimal extensions of P^1 by locally free sheaves. In this paper we study infinitesimal extensions of P^1, determine their structure and obtain upper and lower bounds for the length of the local rings of their Hilbert schemes at [P^].


title: A symplectic slice theorem

abstract: We provide a model for an open invariant neighborhood of any orbit in a symplectic manifold endowed with a canonical proper symmetry. Our results generalize the constructions of Marle and Guillemin and Sternberg for canonical symmetries that have an associated momentum map. In these papers the momentum map played a crucial role in the construction of the tubular model. The present work shows that in the construction of the tubular model it can be used the so called Chu map instead, which exists for any canonical action, unlike the momentum map. Hamilton's equations for any invariant Hamiltonian function take on a particularly simple form in these tubular variables. As an application we will find situations, that we will call tubewise Hamiltonian, in which the existence of a standard momentum map in invariant neighborhoods is guaranteed.


title: Partially Paradoxist Smarandache Geometries

abstract: A paradoxist Smarandache geometry combines Euclidean, hyperbolic, and elliptic geometry into one space along with other non-Euclidean behaviors of lines that would seem to require a discrete space. A class of continuous spaces is presented here together with specific exmples that exhibit almost all of these phenomena and suggest the prospect of a continuous paradoxist geometry.


title: Randomness

abstract: Here we present in a single essay a combination and completion of the several aspects of the problem of randomness of individual objects which of necessity occur scattered in our texbook "An Introduction to Kolmogorov Complexity and Its Applications" (M. Li and P. Vitanyi), 2nd Ed., Springer-Verlag, 1997.

categories: math.PR cs.CR math.ST physics.data-an stat.TH


title: Restrictions on collapsing with a lower sectional curvature bound

abstract: We obtain new topological information about the local structure of collapsing under a lower sectional curvature bound. As an application we prove a new sphere theorem and obtain a partial result towards the conjecture that not every Alexandrov space can be obtained as a limit of a sequence of Riemannian manifolds with sectional curvature bounded from below.


title: Tensor fields of mixed Young symmetry type and N-complexes

abstract: We construct $N$-complexes of non completely antisymmetric irreducible tensor fields on $\mathbb R^D$ which generalize the usual complex $(N=2)$ of differential forms. Although, for $N\geq 3$, the generalized cohomology of these $N$-complexes is non trivial, we prove a generalization of the Poincar\'e lemma. To that end we use a technique reminiscent of the Green ansatz for parastatistics. Several results which appeared in various contexts are shown to be particular cases of this generalized Poincar\'e lemma. We furthermore identify the nontrivial part of the generalized cohomology. Many of the results presented here were announced in [10].


title: Algebraic Generalized Power Series and Automata

abstract: A theorem of Christol states that a power series over a finite field is algebraic over the polynomial ring if and only if its coefficients can be generated by a finite automaton. Using Christol's result, we prove that the same assertion holds for generalized power series (whose index sets may be arbitrary well-ordered sets of nonnegative rationals).


title: Ricci defects of microlocalized Einstein metrics

abstract: This is the third and last in our series of papers concerning rough solutions of the Einstein vacuum equations expressed relative to wave coordinates. In this paper we prove an important result concerning Ricci defects of microlocalized solutions, stated and used in the proof of the crucial Asymptotics Theorem in our second paper "The causal structure of the microlocalized rough Einstein metrics"


title: Semi-Stable Degeneration of Toric Varieties and Their Hypersurfaces

abstract: We provide a construction of examples of semistable degeneration via toric geometry. The applications include a higher dimensional generalization of classical degeneration of K3 surface into 4 rational components, an algebraic geometric version of decomposing K3 as the fiber sum of two E(1)'s as well as it's higher dimensional generalizations, and many other new examples.


title: Multiple Dirichlet series and moments of zeta and L-functions

abstract: This paper develops an analytic theory of Dirichlet series in several complex variables which possess sufficiently many functional equations. In the first two sections it is shown how straightforward conjectures about the meromorphic continuation and polar divisors of certain such series imply, as a consequence, precise asymptotics (previously conjectured via random matrix theory) for moments of zeta functions and quadratic L-series. As an application of the theory, in a third section, we obtain the current best known error term for mean values of cubes of central values of Dirichlet L-series. The methods utilized to derive this result are the convexity principle for functions of several complex variables combined with a knowledge of groups of functional equations for certain multiple Dirichlet series.


title: Remarks on Ruelle operator and Invariant Line Field Problem

abstract: In case of Lebesgue measure zero of postcritical set the necessary and sufficient conditions (in terms of convergence of sequences of measures) of existence of invariant conformal structures on J(R) are obtained.


title: Beware of the G\"odel- Wette paradox

abstract: This paper gives a counterexample to the impossibility, by G\"odel's second incompleteness theorem, of proving a formula expressing the consistency of arithmetic in a fragment of arithmetic on the assumption that the latter is consistent. This counterexample gives rise to a new type of metamathematical paradox, to be called the G\"odel-Wette paradox, which E. Wette claims to have established since some time ago (see [Wette, 1971], [Wette, 1974]). Nevertheless, our work is independent of Wette's since we have failed to understand the details of his work although we recognize the possibility of the correctness of the latter. Furthermore, the G\"odel-Wette paradox is not the only foundational anomaly which the framework of our approach has uncovered but new questions concerning the decision problem, completeness problem, truth definitions and the status of Richard's paradox in arithmetic and set theory (including type theory) have arisen as well. This work will, eventually be unified into a single monograph.


title: AF-embeddability of crossed products of Cuntz algebras

abstract: We investigate crossed products of Cuntz algebras by quasi-free actions of abelian groups. We prove that our algebras are AF-embeddable when actions satisfy a certain condition. We also give a necessary and sufficient condition that our algebras become simple and purely infinite, and consequently our algebras are either purely infinite or AF-embeddable when they are simple.


title: Cohen-Macaulay quotients of normal semigroup rings via irreducible resolutions

abstract: Every quotient R/I of a semigroup ring R by a radical monomial ideal I has a unique minimal injective-like resolution by direct sums of quotients of R modulo prime monomial ideals. The quotient R/I is Cohen-Macaulay if and only if every summand in cohomological degree $i$ has dimension exactly dim(R/I) - i. This Cohen-Macaulay characterization reduces to the Eagon-Reiner theorem by Alexander duality when R is a polynomial ring. The proof exploits a graded ring-theoretic generalization of the Zeeman spectral sequence, thereby also providing a combinatorial topological version for polyhedral cell complexes, involving no commutative algebra.


title: Local Complete Intersections in P^2 and Koszul Syzygies

abstract: We study the syzygies of a codimension two ideal I = <f_1,f_2,f_3> in k[x,y,z]. Our main result is that the module of syzygies vanishing (scheme-theoretically) at the zero locus Z = V(I) is generated by the Koszul syzygies iff Z is a local complete intersection. The proof uses a characterization of complete intersections due to Herzog. When I is saturated, we relate our theorem to results of Weyman and of Simis and Vasconcelos. We conclude with an example of how our theorem fails for four generated local complete intersections in k[x,y,z] and we discuss generalizations to higher dimensions.


title: Time decay for solutions of Schr\"odinger equations with rough and time dependent potentials

abstract: We establish dispersive and Strichartz estimates for solutions to the linear time-dependent Schr\"odinger equations with potential in three dimensions. Our main focus is on the small rough time-dependent potentials. Examples of such potentials are of the form $V(t,x)=T(t) V_0(x)$, where $T$ is quasiperiodic in time and $V_0$ is essentially an $L^{3/2}$ function of the spatial variables. We also prove the dispersive estimates for small time-independent potentials which belong to the interestion of the Rollnik and global Kato classes. Finally, we settle the question posed by Journe, Soffer, Sogge concerning Strichartz estimates for potentials that decay faster than $|x|^{-2}$.


title: The conformal theory of Alexandrov embedded constant mean curvature surfaces in $R^3$

abstract: We first prove a general gluing theorem which creates new nondegenerate constant mean curvature surfaces by attaching half Delaunay surfaces with small necksize to arbitrary points of any nondegenerate CMC surface. The proof uses the method of Cauchy data matching from \cite{MP}, cf. also \cite{MPP}. In the second part of this paper, we develop the consequences of this result and (at least partially) characterize the image of the map which associates to each complete, Alexandrov-embedded CMC surface with finite topology its associated conformal structure, which is a compact Riemann surface with a finite number of punctures. In particular, we show that this `forgetful' map is surjective when the genus is zero. This proves in particular that the CMC moduli space has a complicated topological structure. These latter results are closely related to recent work of Kusner \cite{Ku}.


title: Recognition principle for generalized Eilenberg-Mac Lane spaces

abstract: We give a homotopy theoretical characterization of generalized Eilenberg-Mac Lane spaces, modeled after Segal's characterization of infinite loop spaces via Gamma spaces.


title: Algebraic theories in homotopy theory

abstract: An algebraic theory $T$ is a category with objects $t_0,t_2...$ such that for each $n$ the object $t_n$ is an $n$-fold categorical product of $t_1$. A strict $T$-algebra is a product preserving functor $A: T\to Spaces$. Lawvere showed that for a suitable choice of T giving such an algebra amounts to providing the space $A(t_1)$ with a familiar structure of a monoid group, ring, Lie algebra... Given a functor $X: T\to Spaces$ which preserves products up to a weak equivalence we show that $X$ is more or less canonically weakly equivalent to a strict $T$-algebra $LX$. Thus any `homotopy' algebraic structure on the space $X(t_1)$ can be rigidified to a strict algebraic structure on a space weakly equivalent to $X(t_1)$. This fact can be interpreted as a generalization of the results establishing equivalence of homotopy theories of loop spaces and simplicial groups, products of Eilenberg-Mac Lane spaces and abelian monoids etc.


title: ACM bundles on a general quintic threefold

abstract: We give a partial positive answer to a conjecture of Tyurin (\cite {Tyu}). Indeed we prove that on a general quintic hypersurface of $\Pj^4$ every arithmetically Cohen--Macaulay rank 2 vector bundle is infinitesimally rigid.


title: The Generalized Spike Process, Sparsity, and Statistical Independence

abstract: A basis under which a given set of realizations of a stochastic process can be represented most sparsely (the so-called best sparsifying basis (BSB)) and the one under which such a set becomes as less statistically dependent as possible (the so-called least statistically-dependent basis (LSDB)) are important for data compression and have generated interests among computational neuroscientists as well as applied mathematicians. Here we consider these bases for a particularly simple stochastic process called ``generalized spike process'', which puts a single spike--whose amplitude is sampled from the standard normal distribution--at a random location in the zero vector of length $\ndim$ for each realization. Unlike the ``simple spike process'' which we dealt with in our previous paper and whose amplitude is constant, we need to consider the kurtosis-maximizing basis (KMB) instead of the LSDB due to the difficulty of evaluating differential entropy and mutual information of the generalized spike process. By computing the marginal densities and moments, we prove that: 1) the BSB and the KMB selects the standard basis if we restrict our basis search within all possible orthonormal bases in ${\mathbb R}^n$; 2) if we extend our basis search to all possible volume-preserving invertible linear transformations, then the BSB exists and is again the standard basis whereas the KMB does not exist. Thus, the KMB is rather sensitive to the orthonormality of the transformations under consideration whereas the BSB is insensitive to that. Our results once again support the preference of the BSB over the LSDB/KMB for data compression applications as our previous work did.

categories: math.PR math.NA math.OC math.RA math.ST q-bio stat.TH


title: Tight contact structures on fibered hyperbolic 3-manifolds

abstract: We take a first step towards understanding the relationship between foliations and universally tight contact structures on hyperbolic 3-manifolds. If a surface bundle over a circle has pseudo-Anosov holonomy, we obtain a classification of "extremal" tight contact structures. Specifically, there is exactly one contact structure whose Euler class, when evaluated on the fiber, equals the Euler number of the fiber. This rigidity theorem is a consequence of properties of the action of pseudo-Anosov maps on the complex of curves of the fiber and a remarkable flexibility property of convex surfaces in such a space. Indeed this flexibility may be seen in surface bundles over an interval where the analogous classification theorem is also established.


title: Conformal Scalar Curvature Equations in Open Spaces

abstract: The article contains a brief description on the study of conformal scalar curvature equations, and discusses selected topics and questions concerning the equations in open spaces.


title: Contact spheres and hyperk\"ahler geometry

abstract: A taut contact sphere on a 3-manifold is a linear 2-sphere of contact forms, all defining the same volume form. In the present paper we completely determine the moduli of taut contact spheres on compact left-quotients of SU(2) (the only closed manifolds admitting such structures). We also show that the moduli space of taut contact spheres embeds into the moduli space of taut contact circles. This moduli problem leads to a new viewpoint on the Gibbons-Hawking ansatz in hyperkahler geometry. The classification of taut contact spheres on closed 3-manifolds includes the known classification of 3-Sasakian 3-manifolds, but the local Riemannian geometry of contact spheres is much richer. We construct two examples of taut contact spheres on open subsets of 3-space with nontrivial local geometry; one from the Helmholtz equation on the 2-sphere, and one from the Gibbons-Hawking ansatz. We address the Bernstein problem whether such examples can give rise to complete metrics.


title: Filling in solvable groups and in lattices in semisimple groups

abstract: We prove that the filling order is quadratic for a large class of solvable groups and asymptotically quadratic for all Q-rank one lattices in semisimple groups of R-rank at least 3. As a byproduct of auxiliary results we give a shorter proof of the theorem on the nondistorsion of horospheres providing also an estimate of a nondistorsion constant.


title: Spectral Theorem for Convex Monotone Homogeneous Maps, and Ergodic Control

abstract: We consider convex maps f:R^n -> R^n that are monotone (i.e., that preserve the product ordering of R^n), and nonexpansive for the sup-norm. This includes convex monotone maps that are additively homogeneous (i.e., that commute with the addition of constants). We show that the fixed point set of f, when it is non-empty, is isomorphic to a convex inf-subsemilattice of R^n, whose dimension is at most equal to the number of strongly connected components of a critical graph defined from the tangent affine maps of f. This yields in particular an uniqueness result for the bias vector of ergodic control problems. This generalizes results obtained previously by Lanery, Romanovsky, and Schweitzer and Federgruen, for ergodic control problems with finite state and action spaces, which correspond to the special case of piecewise affine maps f. We also show that the length of periodic orbits of f is bounded by the cyclicity of its critical graph, which implies that the possible orbit lengths of f are exactly the orders of elements of the symmetric group on n letters.


title: Algebraic Geometry over model categories (a general approach to derived algebraic geometry)

abstract: For a (semi-)model category M, we define a notion of a ''homotopy'' Grothendieck topology on M, as well as its associated model category of stacks. We use this to define a notion of geometric stack over a symmetric monoidal base model category; geometric stacks are the fundamental objects to "do algebraic geometry over model categories". We give two examples of applications of this formalism. The first one is the interpretation of DG-schemes as geometric stacks over the model category of complexes and the second one is a definition of etale K-theory of E_{\infty}-ring spectra. This first version is very preliminary and might be considered as a detailed research announcement. Some proofs, more details and more examples will be added in a forthcoming version.


title: Graph Theoretic Method for Determining non Hurwitz Equivalence in the Braid Group and Symmetric group

abstract: Motivated by the problem of Hurwitz equivalence of $\Delta ^2$ factorization in the braid group, we address the problem of Hurwitz equivalence in the symmetric group, obtained by projecting the $\Delta ^2$ factorizations into $S_n$. We get $1_{S_n}$ factorizations with transposition factors. Looking at the transpositions as the edges in a graph, we show that two factorizations are Hurwitz equivalent if and only if their graphs have the same weighted connected components. The main result of this paper will help us to compute the "Braid Monodromy Type" invariant. The graph structure gives a weaker but very easy to compute invariant to distinguish between diffeomorphic surfaces which are not deformation of each other.


title: A conservative semi-Lagrangian method for oscillation-free computation of advection processes

abstract: The semi-Lagrangian method using the hybrid-cubic-rational interpolation function [M. Ida, Comput. Fluid Dyn. J. 10 (2001) 159] is modified to a conservative method by incorporating the concept discussed in [R. Tanaka et al., Comput. Phys. Commun. 126 (2000) 232]. In the method due to Tanaka et al., not only a physical quantity but also its integrated quantity within a computational cell are used as dependent variables, and the mass conservation is completely achieved by giving a constraint to a forth-order polynomial used as an interpolation function. In the present method, a hybrid-cubic-rational function whose optimal mixing ratio was determined theoretically is employed for the interpolation, and its derivative is used for updating the physical quantity. The numerical oscillation appearing in results by the method due to Tanaka et al. is sufficiently eliminated by the use of the hybrid function.


title: Nahm's equations, configuration spaces and flag manifolds

abstract: We give a positive answer to the Berry-Robbins problem for any compact Lie group G, i.e. we show the existence of a smooth W-equivariant map from the space of regular triples in a Cartan subalgebra to the flag manifold G/T. This map is constructed via solutions to Nahm's equations and it is compatible with the SO(3) action, where SO(3) acts on G/T via a regular homomorphism from SU(2) to G. We then generalize this picture to include an arbitrary homomorphism from SU(2) to G. This leads to an interesting geometrical picture which appears to be related to the Springer representation of the Weyl group and the work of Kazhdan and Lusztig on representations of Hecke algebras.


title: A Degeneration formula of GW-invariants

abstract: This is the second part of the paper "A degeneration of stable morphisms and relative stable morphisms", (math.AG/0009097). In this paper, we constructed the relative Gromov-Witten invariants of a pair of a smooth variety and a smooth divisor. We then proved a degeneration formula of Gromov-Witten invariants, in cycle form.


title: Counter-example to global Torelli problem for irreducible symplectic manifolds

abstract: We shall give an example of irreducible symplectic manifolds X and Y which are not bimeromorphic, but have the same periods in the second cohomologies. More explicitly, X and Y are generalized Kummer varieties of dim 4 for a general complex torus T of dim 2 and its dual torus T^*. A key result is an observation of Shioda for the periods of T and T^*. As a concluding remark, we shall discuss the difference between our case and Kummer surfaces.


title: The manifold of finite rank projections in the algebra L(H) of bounded linear operators

abstract: Given a complex Hilbert space H, we study the differential geometry of the manifold M of all projections in V:=L(H). Using the algebraic structure of V, a torsionfree affine connection $\nabla$ (that is invariant under the group of automorphisms of V) is defined on every connected component of M, which in this way becomes a symmetric holomorphic manifold that consists of projections of the same rank r, (0< r < \infty). We prove that M admits a Riemann structure if and only if M consists of projections that have the same finite rank r or the same finite corank, and in that case $\nabla$ is the Levi-Civita and the K\"ahler connection of M. Moreover, M turns out to be a totally geodesic Riemann manifold whose geodesics and Riemann distance are computed. Keywords: JBW-algebras, Grassmann manifolds, Riemann manifolds. AMS 2000 Subject Classification: 48G20, 72H51.


title: On the Unification of Gravitational and Electromagnetic Fields

abstract: In the paper [4] is presented a theory which unifies the gravitation theory and the mechanical effects, which is different from the Riemannian theories like GTR. Moreover it is built in the style of the electomagnetic field theory. This paper is a continuation of [4] such that the complex variant of that theory yields to the required unification of gravitation and electromagnetism. While the gravitational field is described by a scalar potential $\mu $, taking a complex value of $\mu $ we obtain the unification theory. For example the electric field appears to be imaginary 3-vector field of acceleration, the magnetic field appears to be imaginary 3-vector of angular velocity and the imaginary part of a complex mass is just electric charge of the particle.


title: Compatibility betwenn pseudo-riemannian structure and Poisson structure

abstract: We will introduce two notions of compatibility bettwen pseudo-Riemannian metric and Poisson structure using the notion of contravariant connection introduced by Fernandes R. L., we will study some proprities of manifold endowed with such compatible structures an we will give some examples.


title: Multidimensional rearrangement and Lorentz spaces

abstract: We define a multidimensional rearrangement, which is related to classical inequalities for functions that are monotone in each variable. We prove the main measure theoretical results of the new theory and characterize the functional properties of the associated weighted Lorentz spaces.


title: Idempotents of the Hecke algebra become Schur functions in the skein of the annulus

abstract: The Hecke algebra H_n contains well known idempotents E_{\lambda} which are indexed by Young diagrams with n cells. They were originally described by Gyoja. A skein theoretical description of E_{\lambda} was given by Aiston and Morton. The closure of E_{\lambda} becomes an element Q_{\lambda} of the skein of the annulus. In this skein, they are known to obey the same multiplication rule as the symmetric Schur functions s_{\lambda}. But previous proofs of this fact used results about quantum groups which were far beyond the scope of skein theory. Our elementary proof uses only skein theory and basic algebra.


title: On the vanishing of higher syzygies of curves

abstract: The present paper is related to a conjecture made by Green and Lazarsfeld concerning 1-linear syzygies of curves embedded by complete linear systems of sufficiently large degrees. Given a smooth, irreducible, complex, projective curve $X$, we prove that the least integer $q$ for which the property $(M_q)$ fails for a line bundle $L$ on $X$ does not depend on $L$ as soon as its degree becomes sufficiently large. Consequently, this number is an invariant of the curve, and the statement of Green-Lazarsfeld's conjecture is equivalent to saying that this invariant equals the gonality of the curve. We verify the conjecture for plane curves, curves lying on Hirzebruch surfaces, and for generic curves having the genus sufficiently large compared to the gonality. We conclude the paper by proving that Green's canonical conjecture holds for curves lying on Hirzebruch surfaces.


title: On the bifurcation of periodic orbits

abstract: This article is a survey on recent contributions to an effective version of Bautin's theory about the bifurcation of periodic orbits (limit cycles). The analysis of Hopf bifurcations of higher order is possible by use of the return mapping. Explicit estimates of the size of the domain on which the number of limit cycles is controlled are important in many applications of bifurcation theory (for instance in Biology and Physiology).


title: Enriques surfaces with eight nodes

abstract: A nodal Enriques surface can have at most 8 nodes. We give an explicit description of Enriques surfaces with 8 nodes, showing that they are quotients of products of elliptic curves by a group isomorphic to $\Z_2^2$ or to $\Z_2^3$ acting freely in codimension 1. We use this result to show that if $S$ is a minimal surface of general type with $p_g=0$ such that the image of the bicanonical map is birational to an Enriques surface then $K^2_S=3$ and the bicanonical map is a morphism of degree 2.


title: On manifolds supporting quasi Anosov diffeomorphisms

abstract: Let $M$ be an $n$-dimensional manifold supporting a quasi Anosov diffeomorphism. If $n=3$ then either $M={\mathbb T}^3$, in which case the diffeomorphisms is Anosov, or else its fundamental group contains a copy of ${\mathbb Z} ^6$. If $n=4$ then $\Pi_1(M)$ contains a copy of ${\mathbb Z} ^4$, provided that the diffeomorphism is not Anosov.


title: A p-adic local monodromy theorem

abstract: We produce a canonical filtration for locally free sheaves on an open p-adic annulus equipped with a Frobenius structure. Using this filtration, we deduce a conjecture of Crew on p-adic differential equations, analogous to Grothendieck's local monodromy theorem (also a consequence of results of Andre and of Mebkhout). Namely, given a finite locally free sheaf on an open p-adic annulus with a connection and a compatible Frobenius structure, the corresponding module admits a basis over a finite cover of the annulus on which the connection acts via a nilpotent matrix. Note: this preprint improves on results from our previous preprints math.AG/0102173, math.AG/0105244, math.AG/0106192, math.AG/0106193 but does not explicitly invoke any results from these preprints.


title: Full faithfulness for overconvergent F-isocrystals

abstract: Let X be a smooth variety over a field of characteristic p>0. We prove that the forgetful functor from the category of overconvergent F-isocrystals on X to the category of convergent F-isocrystals is fully faithful. The argument uses the quasi-unipotence theorem for overconvergent F-isocrystals (recently proved independently by Andre, Mebkhout, and the author; see math.AG/0110124), plus arguments of de Jong. In the process, we establish a theorem of Quillen-Suslin type (i.e., every finite projective module is free) over rings of overconvergent power series.


title: Modules of Abelian integrals and Picard-Fuchs systems

abstract: We give a simple proof of an isomorphism between the two $\mathbb{C}[t]$-modules: the module of relative cohomologies $\Lambda^2/dH\land \Lambda^1$ and the module of Abelian integrals corresponding to a regular at infinity polynomial $H$ in two variables. Using this isomorphism, we prove existence and deduce some properties of the corresponding Picard-Fuchs system.


title: 2D models of statistical physics with continuous symmetry: the case of singular interactions

abstract: We show the absence of continuous symmetry breaking in 2D lattice systems without any smoothness assumptions on the interaction. We treat certain cases of interactions with integrable singularities. We also present cases of singular interactions with continuous symmetry, when the symmetry is broken in the thermodynamic limit.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: A note on general setting of white noise triple and positive generalized functions

abstract: Let $\ce^{*}$ be the space of tempered distributions and $\m$ be the standard Gaussian measure on $\ce^{*}$. Being motivated by the distribution theory on infinite dimensional space by Cochran, Kuo and Sengupta (CKS) \cite{cks}, Asai, Kubo and Kuo (AKK) have recently determined the best possible class $C_{+,{1\over 2},1}^{(2)}$ of functions $u$ to constract white noise triple, [\ce]_u\subset L^2(\ce^{*},\m) \subset [\ce]^{*}_u, and to characterize white noise test function space $[\ce]_u$ and generalized function space $[\ce]_u^{*}$ in the series of papers \cite{akk1}, \citeakk2}, \cite{akk3}, \cite{akk4}, \cite{akk5}. The notion of Legendre transformation plays important roles to examine relationships between the growth order of holomorphic functions (S-transform) and the CKS-space of white noise test and generalized functions. It is well-known that a positive generalized function is induced by a Hida measure $\nu$ (generalized measure). A Hida measure can be characterized by integrability conditions on a function inducing the above triple (\cite{akk5}). See also \cite{kuo99-1}, \cite{kuo99-2}, \cite{ob99} for an overview of other recent developments in white noise analysis.


title: On presentation of Surface Braid Groups

abstract: We give presentations of braid groups and pure braid groups on surfaces.


title: The Connes-Kasparov conjecture for almost connected groups

abstract: Let $G$ be a locally compact group with cocompact connected component. We prove that the assembly map from the topological $\k$-theory of $G$ to the $\k$-theory of the reduced $C^*$-algebra of $G$ is an isomorphism.


title: Birkhoff's theorem and multidimensional numerical range

abstract: We study the relation between the spectrum of a self-adjoint operator and its multidimensional numerical range. It turns out that the multidimensional numerical range is a convex set whose extreme points are sequences of eigenvalues of the operator. Every collection of eigenvalues which can be obtained by the Rayleigh--Ritz formula generates an extreme point of the multidimensional numerical range. However, it may also have other extreme points.


title: Analytic properties of the return mapping of Lienard Equations

abstract: An effective version of Bautin's theory with explicit estimates on the size of the neighborhood on which the number of limit cycles is controlled is given here for the case of Lienard Systems. The Bautin ideal is computed and the conjecture of W. de Melo-A. Lins Neto-C.C. Pugh is checked at any order of the perturbation.


title: Orbit spaces of small tori

abstract: Consider an algebraic torus of small dimension acting on an open subset of a complex vector space, or more generally on a quasiaffine variety such that a separated orbit space exists. We discuss under which conditions this orbit space is quasiprojective. One of our counterexamples provides a toric variety with enough effective invariant Cartier divisors that is not embeddable into a smooth toric variety.


title: Periodic points of quasianalytic Hamiltonian billiards

abstract: We study absolutely periodic points and trajectories of Hamiltonian systems. Our main result is a necessary and sufficient for a Hamiltonian system to have the following property: if there exists one absolutely periodic trajectory then all trajectories are periodic with the same period.


title: The Lagrange inversion formula on non-Archimedean fields. Non-Analytical Form of Differential and Finite Difference Equations

abstract: The classical Lagrange inversion formula is extended to analytic and non--analytic inversion problems on non--Archimedean fields. We give some applications to the field of formal Laurent series in $n$ variables, where the non--analytic inversion formula gives explicit formal solutions of general semilinear differential and $q$--difference equations. We will be interested in linearization problems for germs of diffeomorphisms (Siegel center problem) and vector fields. In addition to analytic results, we give sufficient condition for the linearization to belong to some Classes of ultradifferentiable germs, closed under composition and derivation, including Gevrey Classes. We prove that Bruno's condition is sufficient for the linearization to belong to the same Class of the germ, whereas new conditions weaker than Bruno's one are introduced if one allows the linearization to be less regular than the germ. This generalizes to dimension $n> 1$ some results of [CarlettiMarmi]. Our formulation of the Lagrange inversion formula by mean of trees, allows us to point out the strong similarities existing between the two linearization problems, formulated (essentially) with the same functional equation. For analytic vector fields of $\C^2$ we prove a quantitative estimate of a previous qualitative result of [MatteiMoussu] and we compare it with a result of [YoccozPerezMarco].


title: Pointed Hopf algebras

abstract: This is a survey on pointed Hopf algebras over algebraically closed fields of characteristic 0. We propose to classify pointed Hopf algebras $A$ by first determining the graded Hopf algebra $\gr A$ associated to the coradical filtration of $A$. The $A_{0}$-coinvariants elements form a braided Hopf algebra $R$ in the category of Yetter-Drinfeld modules over the coradical $A_{0} = \ku \Gamma$, $\Gamma$ the group of group-like elements of $A$, and $\gr A \simeq R # A_{0}$. We call the braiding of the primitive elements of $R$ the infinitesimal braiding of $A$. If this braiding is of Cartan type \cite{AS2}, then it is often possible to determine $R$, to show that $R$ is generated as an algebra by its primitive elements and finally to compute all deformations or liftings, that is pointed Hopf algebras such that $\gr A \simeq R # \ku \Gamma$. In the last Chapter, as a concrete illustration of the method, we describe explicitly all finite-dimensional pointed Hopf algebras $A$ with abelian group of group-likes $G(A)$ and infinitesimal braiding of type $A_{n}$ (up to some exceptional cases). In other words, we compute all the liftings of type $A_n$; this result is our main new contribution in this paper.


title: The Decomposition Theorem and the Intersection Cohomology of Quotients in Algebraic Geometry

abstract: This paper applies the decomposition theorem in intersection cohomology to geometric invariant theory quotients, relating the intersection cohomology of the quotient to that of the semistable points for the action. Suppose a connected reductive complex algebraic group $G$ acts linearly on a complex projective variety $X$. We prove that if $1 \to N \to G \to H \to 1$ is a short exact sequence of connected reductive groups, and $X^{ss}$ the set of semistable points for the action of $N$ on $X$, then the $H$-equivariant intersection cohomology of the geometric invariant theory quotient $X^{ss}//N$ is a direct summand of the $G$-equivariant intersection cohomology of $X^{ss}$.


title: On representations and K-theory of the braid groups

abstract: Let G be the fundamental group of the complement of a K(G,1) hyperplane arrangement (such as Artin's pure braid group) or more generally a homologically toroidal group (as defined in the paper). The subgroup of elements in the complex K-theory of BG which arises from complex unitary representations of G is shown to be trivial. In the case of real K-theory, this subgroup is an elementary abelian 2-group, which is characterized completely in terms of the first two Stiefel-Whitney classes of the representation. Furthermore, an orthogonal representation of G gives rise to a trivial bundle if and only if the representation factors through the spinor groups. In addition, quadratic relations in the cohomology algebra of the pure braid groups which correspond precisely to the Jacobi identity for certain choices of Poisson algebras are shown to give the existence of certain homomorphisms from the pure braid group to generalized Heisenberg groups. These cohomology relations correspond to non-trivial Spin representations of the pure braid groups which give rise to trivial bundles.


title: Stability of Singular Spectral Types under Decaying Perturbations

abstract: We look at invariance of a.e. boundary condition spectral behavior under perturbations, $W$, of half-line, continuum or discrete Schr\"odinger operators. We extend the results of del Rio, Simon, Stolz from compactly supported $W$'s to suitable short-range $W$. We also discuss invariance of the local Hausdorff dimension of spectral measures under such perturbations.


title: Scattering and wave operators for one-dimensional Schr\"odinger operators with slowly decaying nonsmooth potentials

abstract: We prove existence of modified wave operators for one-dimensional Schr\"odinger equations with potential in $L^p(\reals)$, $p<2$. If in addition the potential is conditionally integrable, then the usual M\"oller wave operators exist. We also prove asymptotic completeness of these wave operators for some classes of random potentials, and for almost every boundary condition for any given potential.


title: Absolutely continuous spectrum of Stark operators

abstract: We prove several new results on the absolutely continuous spectra of perturbed one-dimensional Stark operators. First, we find new classes of perturbations, characterized mainly by smoothness conditions, which preserve purely absolutely continuous spectrum. Then we establish stability of the absolutely continuous spectrum in more general situations, where imbedded singular spectrum may occur. We present two kinds of optimal conditions for the stability of absolutely continuous spectrum: decay and smoothness. In the decay direction, we show that a sufficient (in the power scale) condition is $|q(x)| \leq C(1+|x|)^{-{1/4}-\epsilon};$ in the smoothness direction, a sufficient condition in H\"older classes is $q \in C^{{1/2}+\epsilon}(\reals)$. On the other hand, we show that there exist potentials which both satisfy $|q(x)| \leq C(1+|x|)^{-1/4}$ and belong to $C^{1/2}(\reals)$ for which the spectrum becomes purely singular on the whole real axis, so that the above results are optimal within the scales considered.


title: Quantum Riemann - Roch, Lefschetz and Serre

abstract: Given a holomorphic vector bundle $E:EX X$ over a compact K\"ahler manifold, one introduces twisted GW-invariants of $X$ replacing virtual fundamental cycles of moduli spaces of stable maps $f: \Sigma \to X$ by their cap-product with a chosen multiplicative characteristic class of $H^0(\Sigma, f^* E) - H^1(\Sigma, f^*E)$. Using the formalism of quantized quadratic hamiltonians, we express the descendent potential for the twisted theory in terms of that for $X$. The result (Theorem 1) is a consequence of Mumford's Riemann -- Roch -- Grothendieck formula applied to the universal stable map. When $E$ is concave, and the inverse $\CC^{\times}$-equivariant Euler class is chosen, the twisted theory yields GW-invariants of $EX$. The ``non-linear Serre duality principle'' expresses GW-invariants of $EX$ via those of the supermanifold $\Pi E^*X$, where the Euler class and $E^*$ replace the inverse Euler class and $E$. We derive from Theorem 1 the nonlinear Serre duality in a very general form (Corollary 2). When the bundle $E$ is convex, and a submanifold $Y\subset X$ is defined by a global section, the genus 0 GW-invariants of $\Pi E X$ coincide with those of $Y$. We prove a ``quantum Lefschetz hyperplane section principle'' (Theorem 2) expressing genus 0 GW-invariants of a complete intersection $Y$ via those of $X$. This extends earlier results of Y.-P. Lee and A. Gathmann and yields most of the known mirror formulas for toric complete intersections.


title: The Kruskal Count

abstract: The Kruskal Count is a card trick invented by Martin J. Kruskal in which a magician "guesses" a card selected by a subject according to a certain counting procedure. With high probability the magician can correctly "guess" the card. The success of the trick is based on a mathematical principle related to coupling methods for Markov chains. This paper analyzes in detail two simplified variants of the trick and estimates the probability of success. The model predictions are compared with simulation data for several variants of the actual trick.


title: Rectification of circles and quaternions

abstract: Consider a bundle of circles passing through 0 in 4-dimensional space. It is said to be rectifiable if there is a germ of diffeomorphism at 0 that takes all circles from our bundle to straight lines. We will give a classification of all rectifiable bundles of circles containing sufficiently many circles in general position. This result is surprisingly different from those in dimensions 2 and 3(Khovanskii and Izadi) due to a connection with the quaternionic algebra.


title: Strong and weak mean value properties on trees

abstract: We consider the mean value properties for finite variation measures with respect to a Markov operator in a discrete environnement. We prove equivalent conditions for the weak mean value property in the case of general Markov operators and for the strong mean value property in the case of transient Markov operators adapted to a tree structure. In this last case, conditions for the equivalence between weak and strong mean value properties are given.


title: On asymptotic models in Banach spaces

abstract: A well known application of Ramsey's Theorem to Banach Space Theory is the notion of a spreading model (e'_i) of a normalized basic sequence (x_i) in a Banach space X. We show how to generalize the construction to define a new creature (e_i), which we call an asymptotic model of X. Every spreading model of X is an asymptotic model of X and in most settings, such as if X is reflexive, every normalized block basis of an asymptotic model is itself an asymptotic model. We also show how to use the Hindman-Milliken Theorem--a strengthened form of Ramsey's Theorem--to generate asymptotic models with a stronger form of convergence.


title: A note on focus-focus singularities

abstract: We give a topological and geometrical description of focus-focus singularities of integrable Hamiltonian systems. In particular, we explain why the monodromy around these singularities is non-trivial, a result obtained before by J.J. Duistermaat and others for some concrete systems.


title: Another note on focus-focus singularities

abstract: We show a natural relation between the monodromy formula for focus-focus singularities of integrable Hamiltonian systems and a formula of Duistermaat-Heckman, and extend the main results of our previous note on focus-focus singularities ($\bbS^1$-action, monodromy, and topological classification) to the degenerate case. We also consider the non-Hamiltonian case, local normal forms, etc.


title: Projections in the Space $H^{\infty}$ and the Corona Theorem for Coverings of Bordered Riemann Surfaces

abstract: Let $M$ be a non-compact connected Riemann surface of finite type, and $R\subset\subset M$ be a relatively compact domain such that $H_{1}(M,\Z)=H_{1}(R,\Z)$. Let $\tilde R\longrightarrow R$ be a covering. We study the algebra $H^{\infty}(U)$ of bounded holomorphic functions defined in some domains $U\subset\tilde R$. Our main result is a Forelli type theorem on projections in $H^{\infty}(\Di)$.


title: Small Prime Powers in the Fibonacci Sequence

abstract: It is shown that there are no non-trivial fifth-, seventh-, eleventh-, thirteenth- or seventeenth powers in the Fibonacci sequence. For eleventh, thirteenth- and seventeenth powers an alternative (to the usual exhaustive check of products of powers of fundamental units) method is used to overcome the problem of having a large number of independent units and relatively high bounds on their exponents. It is envisaged that the same method can be used to decide the question of the existence of higher small prime powers in the Fibonacci sequence and that the method can be applied to other binary recurrence sequences. The alternative method mentioned may have wider applications.


title: An Application of Expanders to $B(H) \otimes B(H)$

abstract: With the help of Kirchberg's and Selberg's theorems, we prove that the minimal tensor product of $B(H)$ with itself does not have the WEP (weak expectation property) of Lance.


title: Homogeneity of the pure state space of a separable C*-algebra

abstract: We prove that the pure state space is homogeneous under the action of the automorphism group (or the subgroup of asymptotically inner automorphisms) for all the separable simple C*-algebras. The first result of this kind was shown by Powers for the UHF algebras some 30 years ago.


title: Holistically discretise the Swift-Hohenberg equation on a scale larger than its spatial pattern

abstract: I introduce an innovative methodology for deriving numerical models of systems of partial differential equations which exhibit the evolution of spatial patterns. The new approach directly produces a discretisation for the evolution of the pattern amplitude, has the rigorous support of centre manifold theory at finite grid size $h$, and naturally incorporates physical boundaries. The results presented here for the Swift-Hohenberg equation suggest the approach will form a powerful method in computationally exploring pattern selection in general. With the aid of computer algebra, the techniques may be applied to a wide variety of equations to derive numerical models that accurately and stably capture the dynamics including the influence of possibly forced boundaries.