title: Planar quadratic vector fields with invariant lines of total multiplicity at least five

abstract: In this article we consider the action of affine group and time rescaling on planar quadratic differential systems. We construct a system of representatives of the orbits of systems with at least five invariant lines, including the line at infinity and including multiplicities. For each orbit we exhibit its configuration. We characterize in terms of algebraic invariants and comitants and also geometrically, using divisors of the complex projective plane, the class of quadratic differential systems with at least five invariant lines. These conditions are such that no matter how a system may be presented, one can verify by using them whether the system has or does not have at least five invariant lines and to check to which orbit (or family of orbits) it belongs.


title: On the stability of dual scattering channel schemes

abstract: Dual scattering channel (DSC) schemes generalize Johns' TLM algorithm in replacing transmission lines with abstract scattering channels in terms of paired distributions. A well known merit of TLM schemes is unconditional stability, a property that is commonly drawn upon the passivity of linear transmission line networks. So the question arises, if DSC algorithms remain stable in a neat sense. It is shown that a large class of alpha-passive processes are in fact unconditionally stable. The analysis applies to TLM and DSC schemes alike and includes non-linear situations.


title: Quantum group covariant (anti)symmetrizers, epsilon-tensors, vielbein, Hodge map and Laplacian

abstract: GL_q(N)- and SO_q(N)-covariant deformations of the completely symmetric/antisymmetric projectors with an arbitrary number of indices are explicitly constructed as polynomials in the braid matrices. The precise relation between the completely antisymmetric projectors and the completely antisymmetric tensor is determined. Adopting the GL_q(N)- and SO_q(N)-covariant differential calculi on the corresponding quantum group covariant noncommutative spaces C_q^N, R_q^N, we introduce a generalized notion of vielbein basis (or "frame"), based on differential-operator-valued 1-forms. We then give a thorough definition of a SO_q(N)-covariant R_q^N-bilinear Hodge map acting on the bimodule of differential forms on R_q^N, introduce the exterior coderivative and show that the Laplacian acts on differential forms exactly as in the undeformed case, namely it acts on each component as it does on functions.


title: Remarks on Product VMO

abstract: Well known results related to the compactness of Hankel operators of one complex variable are extended to little Hankel operators of two complex variables. Critical to these considerations is the result of Ferguson and Lacey characterizing the boundedness of the little Hankel operators in terms of the product BMO of S.-Y. Chang and R. Fefferman.


title: Classification of connected holonomy groups of pseudo-K\"ahlerian manifolds of index 2

abstract: The problem of classification of connected holonomy groups (equivalently of holonomy algebras) for pseudo-Riemannian manifolds is open. The classification of Riemannian holonomy algebras is a classical result. The classification of Lorentzian holonomy algebras was obtained recently. In the present paper weakly-irreducible not irreducible subalgebras of $\su(1,n+1)$ ($n\geq 0$) are classified. Weakly-irreducible not irreducible holonomy algebras of pseudo-K\"ahlerian and special pseudo-K\"ahlerian manifolds are classified. An example of metric for each possible holonomy algebra is given. This gives the classification of holonomy algebras for pseudo-K\"ahlerian manifolds of index 2


title: Planar maps as labeled mobiles

abstract: We extend Schaeffer's bijection between rooted quadrangulations and well-labeled trees to the general case of Eulerian planar maps with prescribed face valences, to obtain a bijection with a new class of labeled trees, which we call mobiles. Our bijection covers all the classes of maps previously enumerated by either the two-matrix model used by physicists or by the bijection with blossom trees used by combinatorists. Our bijection reduces the enumeration of maps to that, much simpler, of mobiles and moreover keeps track of the geodesic distance within the initial maps via the mobiles' labels. Generating functions for mobiles are shown to obey systems of algebraic recursion relations.


title: Very many term clones in a very small variety

abstract: We give an example of a finitely based locally finite variety which has uncountably many term clones. (Such varieties were known before.)


title: Unified treatment of multisymplectic 3-forms in dimension 6

abstract: On a 6-dimensional real vector space $V$ there are three types of multisymplectic 3-forms. We present in this paper a unified treatment of these three types. Forms of each type represent a subset of $\Lambda^3 V^*$. In two cases they are open subsets, in the third one it is a submanifold of codimension 1. We study the geometry of these subsets.


title: Polynomial Detection of Matrix Subalgebras

abstract: It was proved by Giambruno-Sehgal and Chang that the double Capelli polynomial of total degree $4n$ is a polynomial identity for the algebra of n by n matrices over a field F. Using a strengthened version of this result obtained by Domokos, we show that the double Capelli polynomial of total degree 4n-2 is a polynomial identity for any proper matrix subalgebra. Subsequently, we present a similar result for nonsplit extensions of full matrix algebras.


title: Chevalley restriction theorem for the cyclic quiver

abstract: We prove a Chevalley restriction theorem and its double analogue for the cyclic quiver.


title: Invariant generalized functions on $sl(2,R)$ with values in a $sl(2,R)$-module

abstract: Let $g$ be a finite dimensional real Lie algebra. Let $r:g\to End(V)$ be a representation of $g$ in a finite dimensional real vector space. Let $C_{V}=(End(V)\tens S(g))^{g}$ be the algebra of $End(V)$-valued invariant differential operators with constant coefficients on $g$. Let $U$ be an open subset of $g$. We consider the problem of determining the space of generalized functions $\phi$ on $U$ with values in $V$ which are locally invariant and such that $C_{V}\phi$ is finite dimensional. In this article we consider the case $g=sl(2,R)$. Let $N$ be the nilpotent cone of $sl(2,R)$. We prove that when $U$ is $SL(2,R)$-invariant, then $\phi$ is determined by its restriction to $U\setminus N$ where $\phi$ is analytic. In general this is false when $U$ is not $SL(2,R)$-invariant and $V$ is not trivial. Moreover, when $V$ is not trivial, $\phi$ is not always locally $L^{1}$. Thus, this case is different and more complicated than the situation considered by Harish-Chandra where $g$ is reductive and $V$ is trivial. To solve this problem we find all the locally invariant generalized functions supported in the nilpotent cone $N$. We do this locally in a neighborhood of a nilpotent element $Z$ of $g$ and on an $SL(2,R)$-invariant open subset $U\subset sl(2,R)$. Finally, we also give an application of our main theorem to the Superpfaffian.


title: Amalgamated R-diagonal Pairs

abstract: In this paper, we will consider the properties of amalgamated R-diagonal pairs. We characterize the amalgamated R-diagonality of pairs of amalgamated random variables by certain cumulant-relation.


title: Amalgamated R-transform Theory on Toeplitz-Probability Spaces over Toeplitz Matricial Algebras

abstract: In this paper, we will consider a noncommutative probability space, $(T,E),$ over a Toeplitz matricial algebra $B=\QTR{cal}{C}^{N},$ for $N\in \QTR{Bbb}{N}$, induced by a (scalar-valued) noncommutative probability space, $(A,\QTR{cal}{\phi}),$ with a suitable $B$-functional, $E:T\to B,$ defined by $\phi .$ On this framework, we will observe amalgamated R-transform calculus with respect to a $B$-functional, $E.$ The technique and idea are came from those in [12] and Free Probability of type $B$ studied in [31].


title: Moments of the Generating Operator of Two Copies of L(F_2)'s over L(F_1)

abstract:
064
In this paper, we will consider an example of a (scalar-valued) moment series, under the compatibility. Suppose that we have an amalgamated free product of free group algebras, $L(F_{2})*_{L(F_{1})}L(F_{2})=L()*_{L(<h>)}L(<c,d>)$ 064
We will provide the method how to find the moment series of $a+b+a^{-1}+b^{-1}+c+d+c^{-1}+d^{-1}.$ Amalgamated freeness of $a+b+a^{-1}+b^{-1}$ and $c+d+c^{-1}+d^{-1}$ over $L(F_{1})$ is used and some combinatorial functions (to explain the recurrence relations) are used to figure out the $n$-th moment of this element.


title: Moment Series and R-transform of the Generating Operator of $L(F_{N})$

abstract: In this paper, we will consider the free probability theory of free group factor $L(F_{N}),$ where $F_{k}$ is the free group with $k$-generators. We compute the moment series and the R-transform of the generating operator, $T=g_{1}+...+g_{N}+g_{1}^{-1}+..+g_{N}^{-1}.$


title: Symplectic torus bundles and group extensions

abstract: Symplectic torus bundles $\xi:T^{2}\to E\to B$ are classified by the second cohomology group of $B$ with local coefficients $H_{1}(T^{2})$. For $B$ a compact, orientable surface, the main theorem of this paper gives a necessary and sufficient condition on the cohomology class corresponding to $\xi$ for $E$ to admit a symplectic structure compatible with the symplectic bundle structure of $\xi$ : namely, that it be a torsion class. The proof is based on a group-extension-theoretic construction of J. Huebschmann (Sur les premieres differentielles de la suite spectrale cohomologique d'une extension de groupes, C.R. Acad. Sc. Paris, Serie A, tome 285, 28 novembre 1977, 929-931). A key ingredient is the notion of fibrewise-localization.


title: On a theorem of Kac and Gilbert

abstract: We prove a general operator theoretic result that asserts that many multiplicity two selfadjoint operators have simple singular spectrum.


title: Orthogonal polynomials on the unit circle: New results

abstract: We announce numerous new results in the theory of orthogonal polynomials on the unit circle.


title: Quasiperiodic Dynamics in Bose-Einstein Condensates in Periodic Lattices and Superlattices

abstract: We employ KAM theory to rigorously investigate quasiperiodic dynamics in cigar-shaped Bose-Einstein condensates (BEC) in periodic lattices and superlattices. Toward this end, we apply a coherent structure ansatz to the Gross-Pitaevskii equation to obtain a parametrically forced Duffing equation describing the spatial dynamics of the condensate. For shallow-well, intermediate-well, and deep-well potentials, we find KAM tori and Aubry-Mather sets to prove that one obtains mostly quasiperiodic dynamics for condensate wave functions of sufficiently large amplitude, where the minimal amplitude depends on the experimentally adjustable BEC parameters. We show that this threshold scales with the square root of the inverse of the two-body scattering length, whereas the rotation number of tori above this threshold is proportional to the amplitude. As a consequence, one obtains the same dynamical picture for lattices of all depths, as an increase in depth essentially only affects scaling in phase space. Our approach is applicable to periodic superlattices with an arbitrary number of rationally dependent wave numbers.

categories: math.DS cond-mat.soft nlin.CD physics.atom-ph


title: A Note About Universality Theorem as an Enumerative Riemann-Roch Theorem

abstract: The paper is a short supplement of the longer paper "The Algebraic Proof of the Universality Theorem", preprint math.AG/0402045. In this short note, we outline the geometric meaning of Universality theorem (conjecture by Gottsche) as a non-linear extension of surface Riemann-Roch Theorem, inspired by the string theory argument of Yau-Zaslow to probe non-linear information from linear systems of algebraic surfaces. The universality theorem is an existence result which reflects the topological nature of the Riemann-Roch problem. We also outline the crucial role that Yau-Zaslow formula has played in our theory. At the end, we list a few open problems related to the algebraic solution of the problem.


title: Lens space surgeries and a conjecture of Goda and Teragaito

abstract: Using work of Ozsvath and Szabo, we show that if a nontrivial knot in S^3 admits a lens space surgery with slope p, then p <= 4g+3, where g is the genus of the knot. This is a close approximation to a bound conjectured by Goda and Teragaito.


title: Tropical secant varieties of linear spaces

abstract: In this paper, we investigate tropical secant varieties of ordinary linear spaces. These correspond to the log-limit sets of ordinary toric varieties; we show that their interesting parts are combinatorially isomorphic to a certain natural subcomplex of the complex of regular subdivisions of a corresponding point set, and we display the range of behavior of this object. We also use this characterization to reformulate the question of determining Barvinok rank into a question regarding regular subdivisions of products of simplices.


title: The height of the automorphism tower of a group

abstract: For a group G with trivial center there is a natural embedding of G into its automorphism group, so we can look at the latter as an extension of the group. So an increasing continuous sequence of groups, the automorphism tower, is defined, the height is the ordinal where this becomes fixed, arriving to a complete group. We first show that for any kappa=kappa^{aleph_0} there is a group of cardinality kappa with height>kappa^+ (improving the lower bound). Second we show that for many such kappa there is a group of height > 2^kappa, so proving that the upper bound essentially cannot be improved.


title: On the cogeneration of cotorsion pairs

abstract: Let R be a Dedekind domain. Enochs' solution of the Flat Cover Conjecture was extended as follows: (*) If C is a cotorsion pair generated by a class of cotorsion modules, then C is cogenerated by a set. We show that (*) is the best result provable in ZFC in case R has a countable spectrum: the Uniformization Principle UP^+ implies that C is not cogenerated by a set whenever C is a cotorsion pair generated by a set which contains a non-cotorsion module.


title: On Heegaard Floer homology of plumbed three-manifolds with b_1=1

abstract: In this paper we extend the results of \cite{Plumbing} to calculate Ozsv\'ath-Szab\'o Floer homology group HF+ for a class of negative-semidefinite plumbings with b_1 = 1.


title: What majority decisions are possible

abstract: Suppose we are given a family of choice functions on pairs from a given finite set (with at least three elements) closed under permutations of the given set. The set is considered the set of alternatives (say candidates for an office). The question is, what are the choice functions c on pairs of this set of the following form: for some (finite) family of ``voters'', each having a preference, i.e., a choice from each pair from the given family, c{x,y} is chosen by the preference of the majority of voters. We give full characterization.


title: On the period of the linear congruential and power generators

abstract: We consider the periods of the linear congruential and the power generators modulo $n$ and, for fixed choices of initial parameters, give lower bounds that hold for ``most'' $n$ when $n$ ranges over three different sets: the set of primes, the set of products of two primes (of similar size), and the set of all integers. For most $n$ in these sets, the period is at least $n^{1/2+\epsilon(n)}$ for any monotone function $\epsilon(n)$ tending to zero as $n$ tends to infinity. Assuming the Generalized Riemann Hypothesis, for most $n$ in these sets the period is greater than $n^{1-\epsilon}$ for any $\epsilon >0$. Moreover, the period is unconditionally greater than $n^{1/2+\delta}$, for some fixed $\delta>0$, for a positive proportion of $n$ in the above mentioned sets. These bounds are related to lower bounds on the multiplicative order of an integer $e$ modulo $p-1$, modulo $\lambda(pl)$, and modulo $\lambda(m)$ where $p,l$ range over the primes, $m$ ranges over the integers, and where $\lambda(n)$ is the order of the largest cyclic subgroup of $(\Z/n\Z)^\times$.


title: Ideal closures of Busemann space and singular Minkowski space

abstract: We discuss two different in general natural approaches to the ideal closure and ideal boundary of Busemann nonpositively curved metric space. It is shown that the identity map of the space admits surjective continuation from its coarse ideal closure to the weak one. We consider some situations when these closures coincide, and when they are essentially different. In particular, the singular Minkowski space is studied as flat Busemann space, and some types of its ideal points are described.


title: Counting homomorphisms onto finite solvable groups

abstract: We present a method for computing the number of epimorphisms from a finitely-presented group G to a finite solvable group \Gamma, which generalizes a formula of G\"aschutz. Key to this approach are the degree 1 and 2 cohomology groups of G, with certain twisted coefficients. As an application, we count low-index subgroups of G. We also investigate the finite solvable quotients of the Baumslag-Solitar groups, the Baumslag parafree groups, and the Artin braid groups.


title: A Kaehler Einstein structure on the nonzero cotangent bundle of a space form

abstract: We obtain a Kaehler Einstein structure on the nonzero cotangent bundle of a Riemannian manifold of positive constant sectional curvature. The obtained Kaehler Einstein structure cannot have constant holomorphic sectional curvature and is not locally symmetric.


title: Semistar Dedekind Domains

abstract: Let $D$ be an integral domain and $\star$ a semistar operation on $D$. As a generalization of the notion of Noetherian domains to the semistar setting, we say that $D$ is a $\star$--Noetherian domain if it has the ascending chain condition on the set of its quasi--$\star$--ideals. On the other hand, as an extension the notion of Pr\"ufer domain (and of Pr\"{u}fer $v$--multiplication domain), we say that $D$ is a Pr\"ufer $\star$--multiplication domain (P$\star$MD, for short) if $D_M$ is a valuation domain, for each quasi--$\star_{_{f}}$--maximal ideal $M$ of $D$. Finally, recalling that a Dedekind domain is a Noetherian Pr\"{u}fer domain, we define a $\star$--Dedekind domain to be an integral domain which is $\star$--Noetherian and a P$\star$MD. In the present paper, after a preliminary study of $\star$--Noetherian domains, we investigate the $\star$--Dedekind domains. We extend to the $\star$--Dedekind domains the main classical results and several characterizations proven for Dedekind domains. In particular, we obtain a characterization of a $\star$--Dedekind domain by a property of decomposition of any semistar ideal into a ``semistar product'' of prime ideals. Moreover, we show that an integral domain $D$ is a $\star$--Dedekind domain if and only if the Nagata semistar domain Na$(D, \star)$ is a Dedekind domain. Several applications of the general results are given for special cases of the semistar operation $\star$.


title: Hexagonal surfaces of Kapouleas

abstract: For the "hexagonal" norm on R^3, for which the isoperimetric shape is a hexagonal prism rather than a round ball, we give analogs of the compact immersed constant-mean-curvature surfaces of Kapouleas.


title: Asymptotic behaviors of the colored Jones polynomials of a torus knot

abstract: We study the asymptotic behaviors of the colored Jones polynomials of torus knots. Contrary to the works by R. Kashaev, O. Tirkkonen, Y. Yokota, and the author, they do not seem to give the volumes or the Chern-Simons invariants of the three-manifolds obtained by Dehn surgeries. On the other hand it is proved that in some cases the limits give the inverse of the Alexander polynomial.


title: Fundamental groups and presentations of algebras

abstract: In this note, we investigate how different fundamental groups of presentations of a fixed algebra $A$ can be. For finitely many finitely presented groups $G_i$, we construct an algebra $A$ such that all $G_i$ appear as fundamental groups of presentations of $A$.


title: Toeplitz operators and Hamiltonian torus action

abstract: This paper is devoted to semi-classical aspects of symplectic reduction. Consider a compact prequantizable Kahler manifold M with a Hamiltonian torus action. Guillemin and Sternberg introduced an isomorphism between the invariant part of the quantum space associated to M and the quantum space associated to the symplectic quotient of M, provided this quotient is non-singular. We prove that this isomorphism is a Fourier integral operator and that the Toeplitz operators of M descend to Toeplitz operators of the reduced phase space. We also extend these results to the case where the symplectic quotient is an orbifold and estimate the spectral density of a reduced Toeplitz operator, a result related to the Riemann-Roch-Kawazaki theorem.


title: Collars and partitions of hyperbolic cone-surfaces

abstract: For compact Riemann surfaces, the collar theorem and Bers' partition theorem are major tools for working with simple closed geodesics. The main goal of this paper is to prove similar theorems for hyperbolic cone-surfaces. Hyperbolic two-dimensional orbifolds are a particular case of such surfaces. We consider all cone angles to be strictly less than $\pi$ to be able to consider partitions.


title: A Metric Inequality for the Thompson and Hilbert Geometries

abstract: There are two natural metrics defined on an arbitrary convex cone: Thompson's part metric and Hilbert's projective metric. For both, we establish an inequality giving information about how far the metric is from being non-positively curved.


title: Algebras of non-Archimedean measures on groups

abstract: The article is devoted to the investigation of properties of quasi-invariant measures with values in non-Archimedean fields such as: convolutions of measures and functions; continuity of functions of measures; non-associative noncommutative algebras generated with the help of quasi-invariant measures.


title: On the topology of T-duality

abstract: In string theory, the concept of T-duality between two principal U(1)-bundles E_1 and E_2 over the same base space B, together with cohomology classes $h_1\in H^3(E_1)$ and $h_2\in H^3(E_2)$, has been introduced. One of the main virtues of T-duality is that $h_1$-twisted K-theory of $E_1$ is isomorphic to $h_2$-twisted K-theory of $E_2$. In this paper, a new, very topological concept of T-duality is introduced. The study pairs (E,h) as above from a topological point of view and construct a classifying space of such pairs. Using this, we construct a universal dual pair to a given pair. Our construction immediately gives a number of known and new properties of the dual. In particular it implies existence of a dual of any pair (E,h), and it also describes the ambiguity upto which the dual is well defined. In order to deal with twisted K-theory, some care is needed, in particular when dealing with naturality questions, because the twisted K-theory depends on the explicit model for the twists and the twisted theory --care which is missing in some of the existing literature. We illustrate the use of T-duality by some explicit calculations of twisted K-groups.


title: The Ring of Malcev-Neumann Series and the Residue Theorem

abstract: We develop a theory of the field of double Laurent series, iterated Laurent series, and Malcev-Neumann series that applies to most constant term evaluation problems. These include (i) MacMahon's partition analysis, counting solutions of systems of linear Diophantine equations or inequalities, counting the number of lattice points in convex polytopes, (ii) evaluating combinatorial sums and their generating functions, and proving combinatorial identities, and (iii) lattice path enumeration such as walks on the slit plane and walks on the quarter plane. In the general setting of this new theory, the natural definition of "taking the constant term" of a formal series works well and thus the operators of taking constant terms commute with each other. The proof of Bousquet-M\'{e}lou and Schaeffer's conjecture about walks on the slit plane is included. In addition, the counting problem of walks on the half plane avoiding the half line is solved. Jacobi's multivariate residue theorem is generalized to a field of Malcev-Neumann series, which gives a new interpretation and a better understanding of the residue theorem. One application of the residue theorem is a concise proof of Dyson's conjecture. A new algorithm for partial fraction decompositions is developed. This new algorithm is fast and uses little storage space. It also results in an efficient algorithm for MacMahon's partition analysis and related constant term evaluations.


title: Decay of correlations on towers with non-Holder continuous Jacobian and non-exponential return time

abstract: We establish upper bounds on the rate of decay of correlations of tower systems with summable variation of the Jacobian and integrable return time. That is, we consider situations in which the Jacobian is not Holder and the return time is only subexponentially decaying. We obtain a subexponential bound on the correlations, which is essentially the slowest of the decays of the variation of the Jacobian and of the return time.


title: Jacobians of Reflection Groups

abstract: Steinberg showed that when a finite reflection group acts on a real or complex vector space of finite dimension, the Jacobian determinant of a set of basic invariants factors into linear forms which define the reflecting hyperplanes. This result generalizes verbatim to fields whose characteristic is prime to the order of the group. Our main theorem gives a generalization of Steinberg's result for arbitrary fields using a ramification formula of Benson and Crawley-Boevey. As an intermediate result, we show that every finite group which fixes a hyperplane pointwise has a polynomial ring of invariants.


title: Order ideals in weak subposets of Young's lattice and associated unimodality conjectures

abstract: The k-Young lattice Y^k is a weak subposet of the Young lattice containing partitions whose first part is bounded by an integer k>0. The Y^k poset was introduced in connection with generalized Schur functions and later shown to be isomorphic to the weak order on the quotient of the affine symmetric group by a maximal parabolic subgroup. We prove a number of properties for $Y^k$ including that the covering relation is preserved when elements are translated by rectangular partitions with hook-length $k$. We highlight the order ideal generated by an $m\times n$ rectangular shape. This order ideal, L^k(m,n), reduces to L(m,n) for large k, and we prove it is isomorphic to the induced subposet of L(m,n) whose vertex set is restricted to elements with no more than k-m+1 parts smaller than m. We provide explicit formulas for the number of elements and the rank-generating function of L^k(m,n). We conclude with unimodality conjectures involving q-binomial coefficients and discuss how implications connect to recent work on sieved q-binomial coefficients.


title: Locally analytic vectors in representations of locally p-adic analytic groups

abstract: This paper develops various foundational results in the locally analytic representation theory of p-adic groups. In particular, we define the functor ``pass to locally analytic vectors'', which attaches to any continuous representation of a p-adic analytic group on a locally convex p-adic topological vector space the associated space of locally analytic vectors. Using this functor, and the point of view that its construction suggests, we establish some basic facts about admissible locally analytic representations (as defined by Schneider and Teitelbaum). We also introduce the related notion of essentially admissible locally analytic representations.


title: From p-adic to real Grassmannians via the quantum

abstract: Let F be a local field. The action of GL(n,F) on the Grassmann variety Gr(m,n,F) induces a continuous representation of the maximal compact subgroup of GL(n,F) on the space of L^2-functions on Gr(m,n,F). The irreducible constituents of this representation are parameterized by the same underlying set both for Archimedean and non-Archimedean fields. This paper connects the Archimedean and non-Archimedean theories using the quantum Grassmannian. In particular, idempotents in the Hecke algebra associated to this representation are the image of the quantum zonal spherical functions after taking appropriate limits. Consequently, a correspondence is established between some irreducible representations with Archimedean and non-Archimedean origin.


title: Specializations of one-parameter families of polynomials

abstract: Let K be a number field, and let lambda(x,t)\in K[x, t] be irreducible over K(t). Using algebraic geometry and group theory, we study the set of alpha\in K for which the specialized polynomial lambda(x,alpha) is K-reducible. We apply this to show that for any fixed n>=10 and for any number field K, all but finitely many K-specializations of the degree n generalized Laguerre polynomial are K-irreducible and have Galois group S_n. In conjunction with the theory of complex multiplication, we also show that for any K and for any n>=53, all but finitely many of the K-specializations of the modular equation Phi_n(x, t) are K-irreducible and have Galois group containing PSL_2(Z/n).


title: Large generalized books are p-good

abstract: An r-book of size q is a union of q (r+1)-cliques sharing a common r-clique. We find exactly the Ramsey number of a p-clique versus r-books of sufficiently large size. Furthermore, we find asymptotically the Ramsey number of any fixed p-chromatic graph versus r-books of sufficiently large size. The key element in our proofs is Szemeredi's Regularity Lemma.


title: Book Ramsey numbers I

abstract: A book of size q is the union of q triangles sharing a common edge. We find the exact Ramsey number of books of size q versus books of size p when p<q/6-o(q).


title: A Topology-Preserving Level Set Method for Shape Optimization

abstract: The classical level set method, which represents the boundary of the unknown geometry as the zero-level set of a function, has been shown to be very effective in solving shape optimization problems. The present work addresses the issue of using a level set representation when there are simple geometrical and topological constraints. We propose a logarithmic barrier penalty which acts to enforce the constraints, leading to an approximate solution to shape design problems.


title: A Function in the Number Theory

abstract: In this paper one constructs a function $\eta$ with the property that if $n$ is non-null then $\eta(n)$ is the smallest integer such that $\eta(n)!$ is divisible by $n$. In order to calculate it one considers, for each prime $p$, the associated function $\eta_{p}(n)$ in a power base.


title: The space requirement of m-ary search trees: distributional asymptotics for m >= 27

abstract: We study the space requirement of $m$-ary search trees under the random permutation model when $m \geq 27$ is fixed. Chauvin and Pouyanne have shown recently that $X_n$, the space requirement of an $m$-ary search tree on $n$ keys, equals $\mu (n+1) + 2\Re{[\Lambda n^{\lambda_2}]} + \epsilon_n n^{\Re{\lambda_2}}$, where $\mu$ and $\lambda_2$ are certain constants, $\Lambda$ is a complex-valued random variable, and $\epsilon_n \to 0$ a.s. and in $L^2$ as $n \to \infty$. Using the contraction method, we identify the distribution of $\Lambda$.


title: Quantum Doubles from a Class of Noncocommutative Weak Hopf Algebras

abstract: The concept of biperfect (noncocommutative) weak Hopf algebras is introduced and their properties are discussed. A new type of quasi-bicrossed products are constructed by means of weak Hopf skew-pairs of the weak Hopf algebras which are generalizations of the Hopf pairs introduced by Takeuchi. As a special case, the quantum double of a finite dimensional biperfect (noncocommutative) weak Hopf algebra is built. Examples of quantum doubles from a Clifford monoid as well as a noncommutative and noncocommutative weak Hopf algebra are given, generalizing quantum doubles from a group and a noncommutative and noncocommutative Hopf algebra, respectively. Moreover, some characterisations of quantum doubles of finite dimensional biperfect weak Hopf algebras are obtained.


title: Deformations of Semisimple Bihamiltonian Structures of Hydrodynamic Type

abstract: We classify in this paper infinitesimal quasitrivial deformations of semisimple bihamiltonian structures of hydrodynamic type.


title: A short proof of de Shalit's cup product formula

abstract: We give a short proof of a formula of de Shalit, expressing the cup product of two vector valued one forms of the second kind on a Mumford curve in terms of Coleman integrals and residues. The proof uses the notion of double indices on curves and their reciprocity laws.


title: Dense Packings of Congruent Circles in Rectangles with a Variable Aspect Ratio

abstract: We use computational experiments to find the rectangles of minimum area into which a given number n of non-overlapping congruent circles can be packed. No assumption is made on the shape of the rectangles. Most of the packings found have the usual regular square or hexagonal pattern. However, for 1495 values of n in the tested range n =< 5000, specifically, for n = 49, 61, 79, 97, 107,... 4999, we prove that the optimum cannot possibly be achieved by such regular arrangements. The evidence suggests that the limiting height-to-width ratio of rectangles containing an optimal hexagonal packing of circles tends to 2-sqrt(3) as n tends to infinity, if the limit exists.


title: On the Integrability of Orthogonal Distributions in Poisson Manifolds

abstract: We study conditions for the integrability of the distribution defined on a regular Poisson manifold as the orthogonal complement (with respect to some (pseudo)-Riemannian metric) to the tangent spaces of the leaves of a symplectic foliation. Examples of integrability and non-integrability of this distribution are provided.


title: Non-rational nodal quartic threefolds

abstract: The $\mathbb{Q}$-factoriality of a nodal quartic 3-fold implies its non-rationality. We prove that a nodal quartic 3-fold with at most 8 nodes is $\mathbb{Q}$-factorial, and we show that a nodal quartic 3-fold with 9 nodes is not $\mathbb{Q}$-factorial if and only if it contains a plane. However, there are non-rational non-$\mathbb{Q}$-factorial nodal quartic 3-folds in $\mathbb{P}^4$. In particular, we prove the non-rationality of a general non-$\mathbb{Q}$-factorial nodal quartic 3-fold that contains either a plane or a smooth del Pezzo surface of degree 4.


title: Symmetric knots and billiard knots

abstract: Symmetry of geometrical figures is reflected in regularities of their algebraic invariants. Algebraic regularities are often preserved when the geometrical figure is topologically deformed. The most natural, intuitively simple but mathematically complicated, topological objects are Knots. We present in this papers several examples, both old and new, of regularity of algebraic invariants of knots. Our main invariants are the Jones polynomial (1984) and its generalizations. In the first section, we discuss the concept of a symmetric knot, and give one important example -- a torus knot. In the second section, we give review of the Jones type invariants. In the third section, we gently and precisely develop the periodicity criteria from the Kauffman bracket (ingenious version of the Jones polynomial). In the fourth section, we extend the criteria to skein (Homflypt) and Kauffman polynomials. In the fifth section we describe r^q periodicity criteria using Vassiliev-Gusarov invariants. We also show how the skein method may be used for r^q periodicity criteria for the classical (1928) Alexander polynomial. In the sixth section, we introduce the notion of Lissajous and billiard knots and show how symmetry principles can be applied to these geometric knots. Finally, in the seventh section, we show how symmetry can be used to gain nontrivial information about knots in other 3-manifolds, and how symmetry of 3-manifolds is reflected in manifold invariants. In particular, we find the formula for a torus knot in a solid torus and we show that the third eigenvector (e_3) of the Kauffman bracket skein module of the solid torus (with respect to the meridian Dehn twist) can be realized by a link in a solid torus.


title: Moderate deviation principle for exponentially ergodic Markov chain

abstract: For ${1/2}<\alpha<1$, we propose the MDP analysis for family $$ S^\alpha_n=\frac{1}{n^\alpha}\sum_{i=1}^nH(X_{i-1}), n\ge 1, $$ where $(X_n)_{n\ge 0}$ be a homogeneous ergodic Markov chain, $X_n\in \mathbb{R}^d$, when the spectrum of operator $P_x$ is continuous. The vector-valued function $H$ is not assumed to be bounded but the Lipschitz continuity of $H$ is required. The main helpful tools in our approach are Poisson equation and Stochastic Exponential; the first enables to replace the original family by $\frac{1}{n^\alpha}M_n$ with a martingale $M_n$ while the second to avoid the direct Laplace transform analysis.


title: Maslov index of Hamiltonian systems

abstract: The aim of this paper is to give an explicit formula in order to compute the Maslov index of the fundamental solution of a linear autonomous Hamiltonian system, in terms of the Conley-Zehnder index and the time one flow.


title: Almost isomorphism for countable state Markov shifts

abstract: Countable state Markov shifts are a natural generalization of the well-known subshifts of finite type. They are the subject of current research both for their own sake and as models for smooth dynamical systems. In this paper, we investigate their almost isomorphism and entropy conjugacy and obtain a complete classification for the especially important class of strongly positive recurrent Markov shifts. This gives a complete classification up to entropy conjugacy of the natural extensions of smooth entropy expanding maps, including all smooth interval maps with non-zero topological entropy.


title: The Algebra of Schubert Calculus

abstract: A flexible unified framework for both classical and quantum Schubert calculus is proposed. It is based on a natural combinatorial approach relying on the Hasse-Schmidt extension of a certain family of pairwise commuting endomorphisms of an infinite free Z-module M to its exterior algebra.


title: Del Pezzo surfaces of degree 2 and jacobians without complex multiplication

abstract: We construct jacobians of plane quartics without complex multiplication, using Del Pezzo surfaces of degree 2.


title: The mixing time for simple exclusion

abstract: We obtain a tight bound of $O(L^2\log k)$ for the mixing time of the exclusion process in $\mathbf{Z}^d/L\mathbf{Z}^d$ with $k\leq{1/2}L^d$ particles. Previously the best bound, based on the log Sobolev constant determined by Yau, was not tight for small $k$. When dependence on the dimension $d$ is considered, our bounds are an improvement for all $k$. We also get bounds for the relaxation time that are lower order in $d$ than previous estimates: our bound of $O(L^2\log d)$ improves on the earlier bound $O(L^2d)$ obtained by Quastel. Our proof is based on an auxiliary Markov chain we call the chameleon process, which may be of independent interest.


title: Spectra of monadic second order sentences

abstract: For a monadic sentence psi in the finite vocabulary we show that the spectra, the set of cardinalities of models of psi is almost periodic under reasonable conditions. The first is that every model is so called ``weakly k-decomposable''. The second is that we restrict ourselves to a nice class of models constructed by some recursion.


title: Universal Structures

abstract: We deal with the existence of universal members in a given cardinality for several classes. First we deal with classes of Abelian groups, specifically with the existence of universal members in cardinalities which are strong limit singular of countable cofinality. Second, we then deal with (variants of) the oak property (from a work of Dzamonja and the author), a property of complete first order theories, sufficient for the non-existence of universal models under suitable cardinal assumptions. Third, we prove that the oak property holds for the class of groups (naturally interpreted, so for quantifier free formulas) and deal more with the existence of universals.


title: Hidden symmetry and arithmetic manifolds

abstract: A "hidden symmetry" of a Riemannian manifold M is an isometry of a d-sheeted, 1<d<\infty, Riemannian cover of M which is not the lift of any isometry. In this paper we characterize the locally symmetric metric(s) on a closed, arithmetic manifold as the unique metric with infinitely many hidden symmetries.


title: Spectral gap for the zero range process with constant rate

abstract: We solve an open problem concerning the relaxation time (inverse spectral gap) of the zero range process in $\mathbf {Z}^d/L\mathbf {Z}^d$ with constant rate, proving a tight upper bound of $O((\rho +1)^2L^2)$, where $\rho$ is the density of particles.


title: Representation of the Gauss hypergeometric function by multiple polylogarithms and relations of multiple zeta values

abstract: We describe a solution of the Gauss hypergeometric equation, $F(\alpha,\beta,\gamma;z)$ by power series in paramaters $\alpha,\beta,\gamma$ whose coefficients are $\Z$ linear combinations of multiple polylogarithms. And using the representation and connection reletions of solutions of the hypergeometric equation, we show some relations of multiple zeta values.


title: Fixed point theorems for asymptotically contractive mappings

abstract: In this short paper, we prove fixed point theorems for nonexpansive mappings whose domains are unbounded subsets of Banach spaces. These theorems are generalizations of Penot's result in [Proc. Amer. Math. Soc., 131 (2003), 2371--2377].


title: Arithmetic cohomology over finite fields and special values of zeta-functions

abstract: We construct a cohomology theory with compact support H^i_c(X_ar,Z(n))$ for separated schemes of finite type over a finite field, which should play a role analog to Lichtenbaum's Weil-etale cohomology groups for smooth and projective schemes. In particular, if Tate's conjecture holds and rational and numerical equivalence agree up to torsion, then the groups H^i_c(X_ar,Z(n)) are finitely generated, form an integral version of l-adic cohomology with compact support, and admit a formula for the special values of the zeta-function of X.


title: Singular Poisson-Kaehler geometry of Scorza varieties and their secant varieties

abstract: Each Scorza variety and its secant varieties in the ambient projective space are identified, in the realm of singular Poisson-Kaehler geometry, in terms of projectivizations of holomorphic nilpotent orbits in suitable Lie algebras of hermitian type, the holomorphic nilpotent orbits, in turn, being affine varieties. The ambient projective space acquires an exotic Kaehler structure, the closed stratum being the Scorza variety and the closures of the higher strata its secant varieties. In this fashion, the secant varieties become exotic projective varieties. In the rank 3 case, the four regular Scorza varieties coincide with the four critical Severi varieties. In the standard cases, the Scorza varieties and their secant varieties arise also via Kaehler reduction. An interpretation in terms of constrained mechanical systems is included.


title: A converse Lyapunov theorem for almost sure stabilizability

abstract: We prove a converse Lyapunov theorem for almost sure stabilizability and almost sure asymptotic stabilizability of controlled diffusions: given a stochastic system a.s. stochastic open loop stabilizable at the origin, we construct a lower semicontinuous positive definite function whose level sets form a local basis of viable neighborhoods of the equilibrium. This result provides, with the direct Lyapunov theorems proved in a companion paper, a complete Lyapunov-like characterization of the a.s. stabilizability.


title: Almost sure stability of controlled degenerate diffusions

abstract: We develop a direct Lyapunov method for the almost sure open-loop stabilizability and asymptotic stabilizability of controlled degenerate diffusion processes. The infinitesimal decrease condition for a Lyapunov function is a new form of Hamilton-Jacobi-Bellman partial differential inequality of $2nd$ order. We give local and global versions of the First and Second Lyapunov Theorems assuming the existence of a lower semicontinuous Lyapunov function satisfying such inequality in the viscosity sense. An explicit formula for a stabilizing feedback is provided for affine systems with smooth Lyapunov function. Several examples illustrate the theory.


title: Self-similar fragmentations derived from the stable tree I: splitting at heights

abstract: The basic object we consider is a certain model of continuum random tree, called the stable tree. We construct a fragmentation process $(F^-(t), t>=0)$ out of this tree by removing the vertices located under height $t$. Thanks to a self-similarity property of the stable tree, we show that the fragmentation process is also self-similar. The semigroup and other features of the fragmentation are given explicitly. Asymptotic results are given, as well as a couple of related results on continuous-state branching processes.


title: Lyapunov stabilizability of controlled diffusions via a superoptimality principle for viscosity solutions

abstract: We prove optimality principles for semicontinuous bounded viscosity solutions of Hamilton-Jacobi-Bellman equations. In particular we provide a representation formula for viscosity supersolutions as value functions of suitable obstacle control problems. This result is applied to extend the Lyapunov direct method for stability to controlled Ito stochastic differential equations. We define the appropriate concept of Lyapunov function to study the stochastic open loop stabilizability in probability and the local and global asymptotic stabilizability (or asymptotic controllability). Finally we illustrate the theory with some examples.


title: Self-similar fragmentations derived from the stable tree II: splitting at nodes

abstract: We study a natural fragmentation process of the so-called stable tree introduced by Duquesne and Le Gall, which consists in removing the nodes of the tree according to a certain procedure that makes the fragmentation self-similar with positive index. Explicit formulas for the semigroup are given, and we provide asymptotic results. We also give an alternative construction of this fragmentation, using paths of Levy processes, hence echoing the two alternative constructions of the standard additive coalescent by fragmenting the Brownian continuum random tree or using Brownian paths, respectively due to Aldous-Pitman and Bertoin.


title: Lattice Points on Circles and Discrete Velocity Models for the Boltzmann Equation

abstract: The construction of discrete velocity models or numerical methods for the Boltzmann equation, may lead to the necessity of computing the collision operator as a sum over lattice points. The collision operator involves an integral over a sphere, which corresponds to the conservation of energy and momentum. In dimension two there are difficulties even in proving the convergence of such an approximation since many circles contain very few lattice points, and some circles contain many badly distributed lattice points. However, by showing that lattice points on most circles are equidistributed we find that the collision operator can indeed be approximated as a sum over lattice points in the two-dimensional case. For higher dimensions, this result has already been obtained by A. Bobylev et. al. (SIAM J. Numerical Analysis 34 no 5 p. 1865-1883 (1997))


title: Minimal free multi models for chain algebras

abstract: Let R be a local ring and A a connected differential graded algebra over R which is free as a graded R-module. Using homological perturbation theory techniques, we construct a minimal free multi model for A having properties similar to that of an ordinary minimal model over a field; in particular the model is unique up to isomorphism of multialgebras. The attribute multi refers to the category of multicomplexes.


title: A stochastic flow arising in the study of local times

abstract: A stochastic flow of homeomorphisms of the real line previously studied by Bass and Burdzy is shown to arise in describing a Brownian motion conditional on knowing its local times on hitting a fixed level. This makes it possible to connect Ray-Knight type results for the flow with the classical Ray-Knight theorems for Brownian motion.


title: Tangential dimensions II. Measures

abstract: Notions of (pointwise) tangential dimension are considered, for measures of R^n. Under regularity conditions (volume doubling), the upper resp. lower dimension at a point x of a measure can be defined as the supremum, resp. infimum, of local dimensions of the measures tangent to the given measure at x. Our main purpose is that of introducing a tool which is very sensitive to the "multifractal behaviour at a point" of a measure, namely which is able to detect the "oscillations" of the dimension at a given point, even when the local dimension exists, namely local upper and lower dimensions coincide. These definitions are tested on a class of fractals, which we call translation fractals, where they can be explicitly calculated for the canonical limit measure. In these cases the tangential dimensions of the limit measure coincide with the metric tangential dimensions of the fractal defined in math.FA/0305091, and they are constant, i.e. do not depend on the point. However, upper and lower dimensions may differ. Moreover, on these fractals, these quantities coincide with their noncommutative analogues, defined in math.OA/0202108 and math.OA/0404295, in the framework of Alain Connes' noncommutative geometry.


title: A note on Ramsey Numbers for Books

abstract: A book of size N is the union of N triangles sharing a common edge. We show that the Ramsey number of a book of size N vs. a book of size M equals 2N+3 for all N>(10^6)M. Our proof is based on counting.


title: Quantized symplectic oscillator algebras of rank one

abstract: A quantized symplectic oscillator algebra of rank 1 is a PBW deformation of the smash product of the quantum plane with U_q(sl_2). We study its representation theory, and in particular, its category O.


title: Hochschild Cohomology versus De Rham Cohomology without Formality Theorems

abstract: We exploit the Fedosov-Weinstein-Xu (FWX) resolution proposed in q-alg/9709043 to establish an isomorphism between the ring of Hochschild cohomology of the quantum algebra of functions on a symplectic manifold M and the ring H(M, C((h))) of De Rham cohomology of M with the coefficient field C((h)) without making use of any version of the formality theorem. We also show that the Gerstenhaber bracket induced on H(M,C((h))) via the isomorphism is vanishing. We discuss equivariant properties of the isomorphism and propose an analogue of this statement in an algebraic geometric setting.


title: Free-by-cyclic groups have solvable conjugacy problem

abstract: We show that the conjugacy problem is solvable in [finitely generated free]-by-cyclic groups, by using a result of O. Maslakova that one can algorithmically find generating sets for the fixed subgroups of free group automorphisms, and one of P. Brinkmann that one can determine whether two cyclic words in a free group are mapped to each other by some power of a given automorphism. The algorithm effectively computes a conjugating element, if it exists. We also solve the power conjugacy problem and give an algorithm to recognize if two given elements of a finitely generated free group are Reidemeister equivalent with respect to a given automorphism.


title: Test polynomials, retracts, and the Jacobian conjecture

abstract: Let K[x,y] be the algebra of two-variable polynomials over a field K. A polynomial p=p(x, y) is called a test polynomial (for automorphisms) if, whenever \phi(p)=p for a mapping \phi of K[x,y], this \phi must be an automorphism. Here we show that p \in C[x,y] is a test polynomial if and only if p does not belong to any proper retract of C[x,y]. This has the following corollary that may have application to the Jacobian conjecture: if a mapping \phi of C[x,y] with invertible Jacobian matrix is ``invertible on one particular polynomial", then it is an automorphism. More formally: if there is a non-constant polynomial p and an injective mapping \psi of C[x,y] such that \psi(\phi(p)) =p, then \phi is an automorphism.


title: Integral points on elliptic curves and 3-torsion in class groups

abstract: We give new bounds for the number of integral points on elliptic curves. The method may be said to interpolate between approaches via diophantine techniques ([BP], [HBR]) and methods based on quasiorthogonality in the Mordell-Weil lattice ([Sil6], [GS], [He]). We apply our results to break previous bounds on the number of elliptic curves of given conductor and the size of the 3-torsion part of the class group of a quadratic field. The same ideas can be used to count rational points on curves of higher genus.


title: Magic graphs and the faces of the Birkhoff polytope

abstract: Magic labelings of graphs are studied in great detail by Stanley and Stewart. In this article, we construct and enumerate magic labelings of graphs using Hilbert bases of polyhedral cones and Ehrhart quasi-polynomials of polytopes. We define polytopes of magic labelings of graphs and digraphs. We give a description of the faces of the Birkhoff polytope as polytopes of magic labelings of digraphs.


title: Spectral computations on lamplighter groups and Diestel-Leader graphs

abstract: The Diestel-Leader graph DL(q,r) is the horocyclic product of the homogeneous trees with respective degrees q+1 and r+1. When q=r, it is the Cayley graph of the lamplighter group (wreath product of the cyclic group of order q with the infinite cyclic group) with respect to a natural generating set. For the "Simple random walk" (SRW) operator on the latter group, Grigorchuk & Zuk and Dicks & Schick have determined the spectrum and the (on-diagonal) spectral measure (Plancherel measure). Here, we show that thanks to the geometric realization, these results can be obtained for all DL-graphs by directly computing an l^2-complete orthonormal system of finitely supported eigenfunctions of the SRW. This allows computation of all matrix elements of the spectral resolution, including the Plancherel measure. As one application, we determine the sharp asymptotic behaviour of the N-step return probabilities of SRW. The spectral computations involve a natural approximating sequence of finite subgraphs, and we study the question whether the cumulative spectral distributions of the latter converge weakly to the Plancherel measure. To this end, we provide a general result regarding Foelner approximations; in the specific case of DL(q,r), the answer is positive only when r=q.


title: Strong approximation for the supermarket model

abstract: We prove three strong approximation theorems for the `supermarket' or `join the shortest queue' model -- a law of large numbers, a jump process approximation and a central limit theorem. The estimates are carried through rather explicitly. This allows us to estimate each of the infinitely many components of the process in its own scale and to exhibit a cut-off in the set of active components which grows slowly with the number of servers.


title: On Generalized Hopf Galois Extensions

abstract: We investigate criteria for algebra extensions that are of Galois type with respect to the coaction of a Hopf algebra or, more generally, a one-sided quotient of a Hopf algebra, or with respect to an entwining. We study the module- and comodule-theoretical properties of such extensions.


title: Coxeter covers of the symmetric groups

abstract: We study Coxeter groups from which there is a natural map onto a symmetric group. Such groups have natural quotient groups related to presentations of the symmetric group on an arbitrary set $T$ of transpositions. These quotients, denoted here by C_Y(T), are a special type of the generalized Coxeter groups defined in \cite{CST}, and also arise in the computation of certain invariants of surfaces. We use a surprising action of $S_n$ on the kernel of the surjection $C_Y(T) \ra S_n$ to show that this kernel embeds in the direct product of $n$ copies of the free group $\pi_1(T)$ (with the exception of $T$ being the full set of transpositions in $S_4$). As a result, we show that the groups $C_Y(T)$ are either virtually Abelian or contain a non-Abelian free subgroup.


title: Repulsion of an evolving surface on walls with random heights

abstract: We consider the motion of a discrete random surface interacting by exclusion with a random wall. The heights of the wall at the sites of $\Z^d$ are i.i.d.\ random variables. Fixed the wall configuration, the dynamics is given by the serial harness process which is not allowed to go below the wall. We study the effect of the distribution of the wall heights on the repulsion speed.


title: Some remarks on morphisms between Fano threefolds

abstract: Let $X$, $Y$ be Fano threefolds of Picard number one and such that the ample generators of Picard groups are very ample. Let $X$ be of index one and $Y$ be of index two. It is shown that the only morphisms from $X$ to $Y$ are double coverings. In fact nearly the whole paper is the analysis of the case where $Y$ is the linear section of the Grassmannian G(1,4), since the other cases were more or less solved in another article. This remaining case is treated with the help of Debarre's connectedness theorem for inverse images of Schubert cycles.


title: Transcendence of generating functions of walks on the slit plane

abstract: Consider a single walker on the slit plane, that is, the square grid Z^2 without its negative x-axis, who starts at the origin and takes his steps from a given set S. Mireille Bousquet-Melou conjectured that -- excluding pathological cases -- the generating function counting the number of possible walks is algebraic if and only if the walker cannot cross the negative x-axis without touching it. In this paper we prove a special case of her conjecture.


title: On the Space of Oriented Affine Lines in $R^3$

abstract: We introduce a local coordinate description for the correspondence between the space of oriented affine lines in Euclidean ${\Bbb{R}}^3$ and the tangent bundle to the 2-sphere. These can be utilised to give canonical coordinates on surfaces in ${\Bbb{R}}^3$, as we illustrate with a number of explicit examples.


title: Limit shapes for random square Young tableaux and plane partitions

abstract: Our main result is a limit shape theorem for the two-dimensional surface defined by a uniform random n-by-n square Young tableau. The analysis leads to a calculus of variations minimization problem that resembles the minimization problems studied by Logan-Shepp, Vershik-Kerov, and Cohn-Larsen-Propp. Our solution involves methods from the theory of singular integral equations, and sheds light on the somewhat mysterious derivations in these works. An extension to rectangular diagrams, using the same ideas but involving some nontrivial computations, is also given. We give several applications of the main result. First, we show that the location of a particular entry in the tableau is in the limit governed by a semicircle distribution. Next, we derive a result on the length of the longest increasing subsequence in segments of a minimal Erdos-Szekeres permutation, namely a permutation of the numbers 1,2,...,n^2 whose longest monotone subsequence is of length n (and hence minimal by the Erdos-Szekeres theorem). Finally, we prove a limit shape theorem for the surface defined by a random plane partition of a very large integer over a large square (and more generally rectangular) diagram.


title: Second Order Freeness and Fluctuations of Random Matrices: I. Gaussian and Wishart matrices and Cyclic Fock spaces

abstract: We extend the relation between random matrices and free probability theory from the level of expectations to the level of fluctuations. We introduce the concept of "second order freeness" and derive the global fluctuations of Gaussian and Wishart random matrices by a general limit theorem for second order freeness. By introducing cyclic Fock space, we also give an operator algebraic model for the fluctuations of our random matrices in terms of the usual creation, annihilation, and preservation operators. We show that orthogonal families of Gaussian and Wishart random matrices are asymptotically free of second order.


title: Compatibility of a noncommutative probability space and a noncommutative probability space with amalgamation

abstract: In this paper, we will consider R-transform theory and R-transform calculus for compatible noncommutative probability space and amagamated noncommutative probability space. By doing this, we can realize the relation between scalar-valued R-transforms and operator-valued moment series, under the compatibility. Also, we can see that there is a big gap between freeness and amalgamated freeness.


title: R-transform Theory On a Tower of Amalgamated Noncommutative Probability Spaces

abstract: In [9], we observed Amalgamated R-transform Theory. Different from the original definition of Voiculescu and Speicher, we define R-transforms of operator-valued random variable(s) by operator-valued formal series. By doing that we can establish Amalgamated R-transform calculus. In this paper, we will concentrate on observing R-transforms on a tower of amalgamated noncommutative probability spaces. We will consider the R-transform calculus and relation between R-transforms on the tower and distributions with respect to the tower. As application, we will observe the compatibility of the given tower and commuting ladders of amalgamated noncommutative probability spaces


title: Double spaces with isolated singularities

abstract: We prove the non-rationality of a double cover of $\mathbb{P}^{n}$ branched over a hypersurface $F\subset\mathbb{P}^{n}$ of degree $2n$ having isolated singularities such that $n\ge 4$ and every singular points of the hypersurface $F$ is ordinary, i.e. the projectivization of its tangent cone is smooth, whose multiplicity does not exceed $2(n-2)$.


title: Singularities of the Prym theta divisor

abstract: For the Jacobian of a curve, the Riemann singularity theorem gives a geometric interpretation of the singularities of the theta divisor in terms of special linear series on the curve. This paper proves an analogous theorem for Prym varieties. Applications of this theorem to cubic threefolds, and Prym varieties of dimension five, are also considered.


title: Rational functions with real critical points and the B. and M. Shapiro conjecture in real enumerative geometry

abstract: Suppose that 2d-2 tangent lines to the rational normal curve z\mapsto (1 : z : ... : z^d) in d-dimensional complex projective space are given. It was known that the number of codimension 2 subspaces intersecting all these lines is always finite; for a generic configuration it is equal to the d^{th} Catalan number. We prove that for real tangent lines, all these codimension 2 subspaces are also real, thus confirming a special case of a general conjecture of B. and M. Shapiro. This is equivalent to the following result: If all critical points of a rational function lie on a circle in the Riemann sphere (for example on the real line), then the function maps this circle into a circle.


title: Global existence results for nonlinear Schrodinger equations with quadratic potentials

abstract: We prove that no finite time blow up can occur for nonlinear Schroedinger equations with quadratic potentials, provided that the potential has a sufficiently strong repulsive component. This is not obvious in general, since the energy associated to the linear equation is not positive. The proof relies essentially on two arguments: global in time Strichartz estimates, and a refined analysis of the linear equation, which makes it possible to use continuity arguments and to control the nonlinear effects.


title: Braid groups are linear

abstract: In a previous work [11], the author considered a representation of the braid group \rho: B_n\to GL_m(\Bbb Z[q^{\pm 1},t^{\pm 1}]) (m=n(n-1)/2), and proved it to be faithful for n=4. Bigelow [3] then proved the same representation to be faithful for all n by a beautiful topological argument. The present paper gives a different proof of the faithfulness for all n. We establish a relation between the Charney length in the braid group and exponents of t. A certain B_n-invariant subset of the module is constructed whose properties resemble those of convex cones. We relate line segments in this set with the Thurston normal form of a braid.


title: Extension dimension and quasi-finite CW-complexes

abstract: We extend the definition of quasi-finite complexes by considering not necessarily countable complexes. We provide a characterization of quasi-finite complexes in terms of L-invertible maps and dimensional properties of compactifications. Several results related to the class of quasi-finite complexes are established, such as completion of metrizable spaces, existence of universal spaces and a version of the factorization theorem. Further, we extend the definition of UV(L)-spaces on non-compact case and show that some properties of UV(n)-spaces and UV(n)-maps remain valid, respectively, for UV(L)-spaces and UV(L)-maps.


abstract: We have found an inconsistency in our previous version of the paper "Generalized splines in R^n and optimal control". We give a new-time-dependent definition of spline curves in R^n which results from solving a non-autonomous linear quadratic optimal control problem (P) where the matrix B(t) is assumed to be rectangular with maximum rank. Nevertheless, our results are only valid if B(t) is a square (nonsingular) matrix. This was pointed out to us by Andrey Sarychev. We have proceeded with the necessary corrections. %%%%%%%%%%%%%%%%%% We give a new time-dependent definition of spline curves in R^n, which extends a recent definition of vector-valued splines introduced by Rodrigues and Silva Leite for the time-independent case. Previous results are based on a variational approach, with lengthy arguments, which do not cover the non-autonomous situation. We show that the previous results are a consequence of the Pontryagin maximum principle, and are easily generalized using the methods of optimal control. Main result asserts that vector-valued splines are related to the Pontryagin extremals of a non-autonomous linear-quadratic optimal control problem.


title: Profinite groups, profinite completions and a conjecture of Moore

abstract: Let R be any ring (with 1), \Gamma a group and R\Gamma the corresponding group ring. Let H be a subgroup of \Gamma of finite index. Let M be an R\Gamma -module, whose restriction to RH is projective. Moore's conjecture: Assume for every nontrivial element x in \Gamma, at least one of the following two conditions holds: M1) the subgroup generated by x intersects H non-trivially (in particular this holds if \Gamma is torsion free). M2) ord(x) is finite and invertible in R. Then M is projective as an R\Gamma-module. More generally, the conjecture has been formulated for crossed products R*\Gamma and even for strongly graded rings R(\Gamma). We prove the conjecture for new families of groups, in particular for groups whose profinite completion is torsion free. The conjecture can be formulated for profinite modules M over complete groups rings [[R\Gamma ]] where R is a profinite ring and \Gamma a profinite group. We prove the conjecture for arbitrary profinite groups. This implies Serre's theorem on cohomological dimension of profinite groups.


title: The Hilbert-Kunz function in graded dimension two

abstract: Let R denote a two-dimensional normal standard-graded domain over the algebraic closure K of a finite field of characteristic p, and let I denote a homogeneous primary ideal. We prove that the Hilbert-Kunz function of I has the form = e_{HK}(I) q^{2} + g (q) with rational Hilbert-Kunz multiplicity e_{HK}(I) and an eventually periodic function g (q).


title: Strong fillability and the Weinstein conjecture

abstract: Extending work of Chen, we prove the Weinstein conjecture in dimension three for strongly fillable contact structures with either non-vanishing first Chern class or with strong and exact filling having non-trivial canonical bundle. This implies the Weinstein conjecture for certain Stein fillable contact structures obtained by the Eliashberg-Gompf construction.For example we prove the Weinstein conjecture for the Brieskorn homology spheres $\Sigma(2,3,6n-1)$, $n\geq2$, oriented as the boundary of the corresponding Milnor fibre. Furthermore, for tight contact structures on odd lens spaces, non-contractible closed Reeb orbits are found.


title: On the rigidity of stable maps to Calabi-Yau threefolds

abstract: If X is a nonsingular curve in a Calabi--Yau threefold Y whose normal bundle N_{X/Y} is a generic semistable bundle, are the local Gromov-Witten invariants of X well defined? For X of genus two or higher, the issues are subtle. We will formulate a precise line of inquiry and present some results, some positive and some negative.


title: Dimensional reduction of the perturbed Hermitian-Einstein equation

abstract: Given a Kaehlerian holomorphic fiber bundle whose fiber is a compact homogeneous Kaehler manifold, we describe the perturbed Hermitian-Einstein equations relative to certain holomorphic vector bundles. With respect to special metrics on the holomorphic bundles, there is a dimensional reduction procedure which reduces these equations to a system of equations on the base, known as the twisted coupled vortex equations.


title: A Method of Solving a Dophantine Equation of Second Degree with N Variables

abstract: First, we consider the equation $ax^2 - by^2 + c = 0$, with $a,b \in N*$ and $c \in Z*$, which is a generalization of Pell's equation. Here, we show that: if this equation has an integer solution and $ab$ is not a perfect square, then it has infinitely many integer solutions; in this case we find a closed expression for $(x_{n}, y_{n})$, the general positive integer solution, by an original method. More, we generalize it for a Diophantine equation of second degree and with n variables of the form: $\sum_{i=1}^{n} a_{i}x_{i}^{2} = b$.


title: Optimal Control of Volterra Equations with Impulses

abstract: We consider an optimal control problem for a system governed by a Volterra integral equation with impulsive terms. The impulses act on both the state and the control; the control consists of switchings at discrete times. The cost functional includes both, an integrated cost rate (continuous part) and switching costs at the discrete impulse times (discrete part). We prove necessary optimality conditions of a form analogous to a discrete maximum principle. For the particular case of a system governed by impulsive ordinary differential equations, we obtain an impulsive maximum principle as a special case of the necessary optimality conditions for impulsive Volterra equations.


title: Relaxed Averaged Alternating Reflections for Diffraction Imaging

abstract: We report on progress in algorithms for iterative phase retrieval. The theory of convex optimization is used to develop and to gain insight into counterparts for the nonconvex problem of phase retrieval. We propose a relaxation of averaged alternating reflectors and determine the fixed point set of the related operator in the convex case. A numerical study supports our theoretical observations and demonstrates the effectiveness of the algorithm compared to the current state of the art.


title: A Gluing Lemma And Overconvergent Modular Forms

abstract: We prove a gluing lemma for sections of line bundles on a rigid analytic variety. We apply the lemma, in conjunction with a result of Buzzard's, to give a proof of (a generalization) of Coleman's theorem which states that overconvergent modular forms of small slope are classical. The proof is "geometric" in nature, and is suitable for generalization to other PEL Shimura varieties.


title: The line geometry of resonance varieties

abstract: Let R^1(A,R) be the degree-one resonance variety over a field R of a hyperplane arrangement A. We give a geometric description of R^1(A,R) in terms of projective line complexes. The projective image of R^1(A,R) is a union of ruled varieties, parametrized by neighborly partitions of subarrangements of A. The underlying line complexes are intersections of special Schubert varieties, easily described in terms of the corresponding partition. We generalize the definition and decomposition of R^1(A,R) to arbitrary commutative rings, and point out the anomalies that arise. In general the decomposition is parametrized by neighborly graphs, which need not induce neighborly partitions of subarrangements of A. We use this approach to show that the resonance variety of the Hessian arrangement over a field of characteristic three has a nonlinear component, a cubic threefold with interesting line structure. This answers a question of A. Suciu. We show that Suciu's deleted B_3 arrangement has resonance components over Z_2 that intersect nontrivially. We also exhibit resonant weights over Z_4 supported on the deleted B_3, which has no neighborly partitions. The modular resonant weights on the deleted B_3 exponentiate to points on the complex torus which lie on, and determine, the translated 1-torus in the first characteristic variety.


title: The Farrell-Jones isomorphism conjecture for 3-manifold groups

abstract: We show that the Fibered Isomorphism Conjecture (FIC) of Farrell and Jones corresponding to the stable topological pseudoisotopy functor is true for the fundamental groups of a large class of 3-manifolds. We also prove that if the FIC is true for irreducible 3-manifold groups then it is true for all 3-manifold groups. In fact, this follows from a more general result we prove here, namely we show that if the FIC is true for each vertex group of a graph of groups with trivial edge groups then the FIC is true for the fundamental group of the graph of groups. This result is part of a program to prove FIC for the fundamental group of a graph of groups where all the vertex and edge groups satisfy FIC. A consequence of the first result gives a partial solution to a problem in the problem list of R. Kirby. We also deduce that the FIC is true for a class of virtually PD_3-groups. Another main aspect of this article is to prove the FIC for all Haken 3-manifold groups assuming that the FIC is true for B-groups. By definition a B-group contains a finite index subgroup isomorphic to the fundamental group of a compact irreducible 3-manifold with incompressible nonempty boundary so that each boundary component is of genus \geq 2. We also prove the FIC for a large class of B-groups and moreover, using a recent result of L.E. Jones we show that the surjective part of the FIC is true for any B-group.


title: Absolute extensors in extension theory

abstract: Let L be a countable and locally finite CW complex. Suppose that the class of all metrizable compacta of extension dimension not greater than L contains a universal element which is an absolute extensor in dimension L. Our main result shows that L is quasi-finite.


title: On the core of ideals

abstract: Our focus in this paper is in effective computation of the core core(I) of an ideal I which is defined to be the intersection of all minimal reductions of I. The first main result is a closed formula for the graded core(m) of the maximal graded ideal m of an arbitrary standard graded algebra A over a field k. This formula allows us to study basic properties of the graded core and to construct counter-examples to some open questions on the core of ideals in a local ring. For instance, we can show that in general, core(m \otimes E) \neq core(m)\otimes E, where E is a field extension of k. From this it follows that the equation core(I R') = core(I)R' does not hold for an arbitrary flat local homomorphism R \to R' of Cohen-Macaulay local rings. The second main result proves the formulae core(I)= (J^r:I^r)I = (J^r:I^r)J = J^{r+1}:I^r for any equimultiple ideal I in a Cohen-Macaulay ring R with with characteristic zero residue field, where J is a minimal reduction of I and r is its reduction number. This result has been obtained independently by Polini-Ulrich and Hyry-Smith in the one-dimensional case or when R is a Gorenstein ring. Moreover, we can prove that core(I) = IK, where K is the conductor of R in the blowing-up ring at I.


title: Asymptotic behaviour of arithmetically Cohen-Macaulay blow-ups

abstract: This paper addresses problems related to the existence of arithmetic Macaulayfications of projective schemes. Let Y be the blow-up of a projective scheme X = Proj R along the ideal sheaf of I \subset R. It is known that there are embeddings Y \cong Proj k[(I^e)_c] for c \ge d(I)e + 1, where d(I) denotes the maximal generating degree of I, and that there exists a Cohen-Macaulay ring of the form k[(I^e)_c] if and only if H^0(Y,O_Y) = k, H^i(Y,O_Y) = 0 for i = 1,...,dim Y-1, Y is equidimensional and Cohen-Macaulay. Cutkosky and Herzog asked when there is a linear bound on c and e ensuring that k[(I^e)_c] is a Cohen-Macaulay ring. We obtain a surprising compelte answer to this question, namely, that under the above conditions, there are well determined invariants a and b such that k[(I^e)_c] is Cohen-Macaulay for all c > d(I)e + a and e > b. Our approach is based on recent results on the asymptotic linearity of the Castelnuovo-Mumford regularity of ideal powers. We also investigate the existence of a Cohen-Macaulay Rees algebra of the form R[(I^e)_ct] (which provides an arithmetic Macaulayfication for X). If R has negative a*-invariant, we prove that such a Cohen-Macaulay Rees algebra exists if and only if f_*O_Y = O_X, R^i f*O_Y = 0 for i > 0, Y is equidimensional and Cohen-Macaulay. Especially, these conditions imply the Cohen-Macaulayness of R[(I^e)_ct] for all c > d(I)e + a and e > b. The above results can be applied to obtain several new classes of Cohen-Macaulay algebras.


title: Effektive Abschaetzungen fuer den Gitterrest gewisser ebener und dreidimensionaler Bereiche

abstract: Effective estimates for the lattice point discrepancy of certain planar and three-dimensional domains. This paper provides estimates, with explicit constants, for the lattice point discrepancy of o-symmetric ellipse discs and ellipsoids in three-dimensional Euclidean space, as well as of three-dimensional convex bodies which are invariant under rotations around one coordinate axis and have a smooth boundary of finite nonzero Gaussian curvature throughout.


title: Generating Endomorphism Rings of Infinite Direct Sums and Products of Modules

abstract: Let R be a ring, M a left R-module, I an infinite set, N either the direct sum or product of |I| copies of M, and E the endomorphism ring of N as a left R-module. In this note it is shown that E is not the union of a chain of |I| or fewer proper subrings, and also that given a generating set U for E as a ring, there exists a positive integer n such that every element of E is represented by a ring word of length at most n in elements of U.


title: Continuous version of the Choquet Integral Reperesentation Theorem

abstract: The Choquet - Bishop - de Leeuw theorem states that each element of a compact convex subset of a locally convex topological Hausdorff space is a barycenter of a probability measure supported by the set of extreme points of that set. By the Edgar - Mankiewicz result this remains true for nonempty closed bounded and convex set provided it has Radon - Nikodym property. In the paper it is shown, that Choquet - type theorem holds also for "moving" sets: they are values of a certain multifunction. Namely, the existence of a suitable weak* continuous family of probability measures "almost representing" points of such sets is proven. Both compact and noncompact cases are considered. The continuous versions of the Krein - Milman theorem are obtained as corollaries.


title: Higher order reduction theorems for classical connections and natural (0,2)-tensor fields on the cotangent bundle

abstract: We generalize reduction theorems for classical connections to operators with values in $k$-th order natural bundles. Using the first reduction theorem in order two we classify all (0,2)-tensor fields on the cotangent bundle of a manifold with a linear (non-symmetric) connection.


title: An Example related to Brody's theorem

abstract: We discuss an example related to the method of Brody. The example is an open subset of a compact complex torus which is covered by entire curves, but not by Brody curves.


title: Classical and modular approaches to exponential Diophantine equations II. The Lebesgue-Nagell equation

abstract: We solve completely the Lebesgue-Nagell equation x^2+D=y^n, in integers x, y, n>2, for D in the range 1 =< D =< 100.


title: On factoriality of nodal threefolds

abstract: We prove the $\mathbb{Q}$-factoriality of a nodal hypersurface in $\mathbb{P}^{4}$ of degree $n$ with at most ${\frac{(n-1)^{2}}{4}}$ nodes and the $\mathbb{Q}$-factoriality of a double cover of $\mathbb{P}^{3}$ branched over a nodal surface of degree $2r$ with at most ${\frac{(2r-1)r}{3}}$ nodes.


title: Spectral characterisation of ageing: the REM-like trap model

abstract: We review the ageing phenomenon in the context of simplest trap model, Bouchaud's REM-like trap model from a spectral theoretic point of view. We show that the generator of the dynamics of this model can be diagonalised exactly. Using this result, we derive closed expressions for correlation functions in terms of complex contour integrals that permit an easy investigation into their large time asymptotics in the thermodynamic limit. We also give a `grand canonical' representation of the model in terms of the Markov process on a Poisson point process . In this context we analyse the dynamics on various time scales.


title: Topological methods for complex-analytic Brauer groups

abstract: Using methods from algebraic topology and group cohomology, I pursue Grothendieck's question on equality of geometric and cohomological Brauer groups in the context of complex-analytic spaces. The main result is that equality holds under suitable assumptions on the fundamental group and the Pontrjagin dual of the second homotopy group. I apply this to Lie groups, Hopf manifolds, and complex-analytic surfaces.


title: Weyl chamber flow on irreducible quotients of products of PSL(2,R)

abstract: We study the topological dynamics of the action of the diagonal subgroup on quotients Gamma\PSL(2,R)*PSL(2,R), where Gamma is an irreducible lattice. Closed orbits are described and a set of points of dense orbit is explicitly given. Such properties are expressed using the Furstenberg boundary of the symmetric space H*H.


title: Discrete max-plus spectral theory

abstract: We develop a max-plus spectral theory for infinite matrices. We introduce recurrence and tightness conditions, under which many results of the finite dimensional theory, concerning the representation of eigenvectors and the asymptotic behavior of powers of matrices, carry over. We also announce more general representation results for eigenvectors, which are obtained by introducing a max-plus analogue of the Martin boundary.


title: Deformation theory of abelian categories

abstract: In this paper we develop the basic infinitesimal deformation theory of abelian categories. This theory yields a natural generalization of the well-known deformation theory of algebras developed by Gerstenhaber. As part of our deformation theory we define a notion of flatness for abelian categories. We show that various basic properties are preserved under flat deformations and we construct several equivalences between deformation problems.


title: Hochschild cohomology of abelian categories and ringed spaces

abstract: This paper continues the development of the deformation theory of abelian categories introduced in a previous paper by the authors. We show first that the deformation theory of abelian categories is controlled by an obstruction theory in terms of a suitable notion of Hochschild cohomology for abelian categories. We then show that this Hochschild cohomology coincides with the one defined by Gerstenhaber, Schack and Swan in the case of module categories over diagrams and schemes and also with the Hochschild cohomology for exact categories introduced recently by Keller. In addition we show in complete generality that Hochschild cohomology satisfies a Mayer-Vietoris property and that for constantly ringed spaces it coincides with the cohomology of the structure sheaf.


title: On Asymptotic Weil-Petersson Geometry of Teichm\"{u}ller Space of Riemann Surfaces

abstract: In this paper, we study the asymptotic geometry of Teichmuller space of Riemann surfaces and give bounds on the Weil-Petersson sectional curvature of Teichmuller space, in terms of the length of the shortest geodesic on the surface. This will also imply that the sectional curvature is not pinched from above or below by any negative constant.


title: Stability of blow-up profile and lower bounds for blow-up rate for the critical generalized KdV equation

abstract: The generalized Korteweg-de Vries equations are a class of Hamiltonian systems in infinite dimension derived from the KdV equation where the quadratic term is replaced by a higher order power term. These equations have two conservation laws in the energy space H^1(L^2 norm and energy). We consider in this paper the {\it critical} generalized KdV equation, which corresponds to the smallest power of the nonlinearity such that the two conservation laws do not imply a bound in H^1 uniform in time for all H^1 solutions (and thus global existence). From [15], there do exist for this equation solutions u(t) such that |u(t)|_{H^1} \to +\infty as T\uparrow T, where T\le +\infty (we call them blow-up solutions). The question is to describe, in a qualitative way, how blow up occurs. For solutions with L^2 mass close to the minimal mass allowing blow up and with decay in L^2 at the right, we prove after rescaling and translation which leave invariant the L^2 norm that the solution converges to a {\it universal} profile locally in space at the blow-up time T. From the nature of this profile, we improve the standard lower bound on the blow-up rate for finite time blow-up solutions.


title: On modular inequalities in variable L^p spaces

abstract: We show that the Hardy-Littlewood maximal operator and a class of Calder\'on-Zygmund singular integrals satisfy the strong type modular inequality in variable $L^p$ spaces if and only if the variable exponent $p(x)\sim const$.


title: Non-Archimedean valued quasi-invariant descending at infinity measures

abstract: The article is devoted to the investigation of particular classes of quasi-invariant descending at infinity measures on linear spaces over non-Archimedean fields such that measures are with values in non-Archimedean fields also. Their applications to stochastic processes and partial pseudo-differential equations are given.


title: Komplexe elliptische Geschlechter und S^1-aequivariante Kobordismustheorie (Complex elliptic genera and S^1-equivariant cobordism theory)

abstract: We introduce the universal complex elliptic genus phi_ell as the ring homomorphism from the complex cobordism ring Omega^U to the polynomial ring C[A,B,C,D] associated to the characteristic power series Q(x)=x/f(x), where f is the solution of the differential equation (f'/f)'=S(f'/f), S(y) = (y+A/2)^4-B/4*(y+A/2)^2+4C*(y+A/2)+B^2/64-2D. Formally, phi_ell arises as the index of the Dolbeault operator of the loop space of a manifold. For manifolds with vanishing first Chern class, phi_ell becomes a Jacobi form F(z,\tau) for the full Jacobi group Z^2 x PSL_2(Z). We prove the rigidity of phi_ell for S^1-actions on SU-manifolds. The kernel of phi_ell in the rational SU-cobordism ring is characterized as the ideal generated by manifolds with S^1-action of fixed type t (an integer) different from 0. For z to be an N-division point on the elliptic curve determined by \tau, phi_ell specializes to the Level N genus phi_N. We introduce the cobordism ring Omega^{U,N} of stably almost complex manifolds with first Chern class divisible by N and characterize the kernel of phi_N by certain ideals in the rationalized ring Omega^{U,N}. In Chapter 1, we construct a base sequence W_1, W_2, W_3, ... of the rational cobordism ring Omega^U on which phi_ell has the values A, B, C, D, and 0 for W_i with i>=5. In Chapter 2, phi_ell and phi_N are investigated and the main results are proven. Chapter 3 contains the further result that the level N genus is invariant under the blow up along a submanifold Y of a complex manifold X if the codimension of Y in X is congruent 1 modulo N.


title: Hyperkahler analogues of Kahler quotients

abstract: Let X be a Kahler manifold that is presented as a Kahler quotient of C^n by the linear action of a compact group G. We define the hyperkahler analogue M of X as a hyperkahler quotient of the cotangent bundle T^*C^n by the induced G-action. Special instances of this construction include hypertoric varieties and quiver varieties. Our aim is to provide a unified treatment of these two previously studied examples, with specific attention to the geometry and topology of the circle action on M that descends from the scalar action on the fibers of the cotangent bundle. We provide a detailed study of this action in the cases where M is a hypertoric variety or a hyperpolygon space. Most of this document consists of material from the papers math.DG/0207012, math.AG/0308218, and math.SG/0310141. Sections 2.2 and 3.5 contain previously unannounced results.


title: Computing noncommutative deformations of presheaves and sheaves of modules

abstract: We describe a noncommutative deformation theory for presheaves and sheaves of modules that generalizes the commutative deformation theory of these global algebraic structures, and the noncommutative deformation theory of modules over algebras due to Laudal. In the first part of the paper, we describe a noncommutative deformation functor for presheaves of modules on a small category, and an obstruction theory for this functor in terms of global Hochschild cohomology. An important feature of this obstruction theory is that it can be computed in concrete terms in many interesting cases. In the last part of the paper, we describe noncommutative deformation functors for sheaves and quasi-coherent sheaves of modules on a ringed space $(X, \mathcal{A})$. We show that for any good $\mathcal{A}$-affine open cover $\mathsf{U}$ of $X$, the forgetful functor $\mathsf{QCoh}(\mathcal{A}) \to \mathsf{PreSh}(\mathsf{U}, \mathcal{A})$ induces an isomorphism of noncommutative deformation functors. \emph{Applications.} We consider noncommutative deformations of quasi-coherent $\mathcal{A}$-modules on $X$ when $(X, \mathcal{A}) = (X, \mathcal{O}_X)$ is a scheme or $(X, \mathcal{A}) = (X, \mathcal{D})$ is a D-scheme in the sense of Beilinson and Bernstein. In these cases, we may use any open affine cover of $X$ closed under finite intersections to compute noncommutative deformations in concrete terms using presheaf methods. We compute the noncommutative deformations of the left $\mathcal{D}_X$-module $\mathcal{O}_X$ when $X$ is an elliptic curve as an example.


title: On the homotopy type of the space $\mathcal{R}^+(M)$

abstract: we show that the space of metrics of positive scalar curvature on a manifold is, when nonempty, homotopy equivalent to a space of metrics of positive scalar curvature that restrict to a fixed metric near a given submanifold of codimension greater or equal than 3. Our main tool is a parameterized version of the Gromov-Lawson construction, which was used to show that the existence of a metric of positive scalar curvature on a manifold was invariant under surgeries in codimension greater or equal than 3.


title: A regularity result for a locus of Brill type

abstract: Let n,d be positive integers, with d even (say d=2e). Let X_(n,d) denote the locus of degree d hypersurfaces in P^n which consist of two e-fold hyperplanes. We bound the regularity of the ideal of this variety. Moreover, we show that this variety is r-normal for r at least 2. The proof of the latter part is is a result of a tripartite collaboration of algebraic geometry, classical invariant theory and theoretical physics. It is executed by reducing the question to a combinatorial calculation involving Feynman diagrams and hypergeometric functions.


title: Quasi-actions on trees II: Finite depth Bass-Serre trees

abstract: This paper addresses questions of quasi-isometric rigidity and classification for fundamental groups of finite graphs of groups, under the assumption that the Bass-Serre tree of the graph of groups has finite depth. The main example of a finite depth graph of groups is one whose vertex and edge groups are coarse Poincare duality groups. The main theorem says that, under certain hypotheses, if G is a finite graph of coarse Poincare duality groups then any finitely generated group quasi-isometric to the fundamental group of G is also the fundamental group of a finite graph of coarse Poincare duality groups, and any quasi-isometry between two such groups must coarsely preserves the vertex and edge spaces of their Bass-Serre trees of spaces. Besides some simple normalization hypotheses, the main hypothesis is the ``crossing graph condition'', which is imposed on each vertex group G_v which is an n-dimensional coarse Poincare duality group for which every incident edge group has positive codimension: the crossing graph of G_v is a graph e_v that describes the pattern in which the codimension~1 edge groups incident to G_v are crossed by other edge groups incident to G_v, and the crossing graph condition requires that e_v be connected or empty.


title: Finite good filtration dimension for modules over an algebra with good filtration

abstract: Let G be a connected reductive linear algebraic group over a field k of characteristic p>0. Let p be large enough with respect to the root system. We show that if a finitely generated commutative k-algebra A with G-action has good filtration, then any noetherian A-module with compatible G-action has finite good filtration dimension.


title: Groups with a polynomial dimension growth

abstract: We show that finitely generated groups with a polynomial dimension growth have Yu's property A and give an example of such groups.


title: Twisted Hochschild Homology of Quantum Hyperplanes

abstract: We calculate the Hochschild dimension of quantum hyperplanes using the twisted Hochschild homology.


title: Intransitive Cartesian decompositions preserved by innately transitive permutation groups

abstract: We study Cartesian decompositions of sets that are acted upon intransitively by innately transitive permutation groups. We prove that such groups have at most three orbits on such a decomposition. A consequence of this result is that if $G$ is an innately transitive subgroup of a wreath product in product action then the natural projection of $G$ into the top group has at most 2 orbits.


title: Analysis by discs

abstract: We prove that the composition of a function in the Hardy class H^p of the unit ball B in C^n with an analytic disc is in the Bergman class of the unit disc. Then we use it to show that the natural "analysis by discs" fails in the case of H^p(B) interpolating sequences for finite p.


title: Twisted cyclic homology of all Podles quantum spheres

abstract: We calculate the twisted Hochschild and cyclic homology (in the sense of Kustermans, Murphy and Tuset) of all Podles quantum spheres relative to arbitary automorphisms. Our calculations are based on a free resolution due to Masuda, Nakagami and Watanabe. The dimension drop in Hochschild homology can be overcome by twisting by automorphisms induced from the canonical modular automorphism associated to the Haar state on quantum SU(2). We specialize our results to the standard quantum sphere, and identify the class in twisted cyclic cohomology of the 2-cocycle discovered by Schmuedgen and Wagner corresponding to the distinguished covariant differential calculus found by Podles.


title: Infinitesimal Fourier Transformation for The Space of Functionals

abstract: The purpose is to formulate a Fourier transformation for the space of functionals, as an infinitesimal meaning. We extend ${\bf R}$ to $ ^{\star}(^{\ast}{\bf R})$ under the base of nonstandard methods for the construction. The domain of a functional is the set of all internal functions from a $ ^{\ast}$-finite lattice to a $ ^{\ast}$-finite lattice with a double meaning. Considering a $ ^{\ast}$-finite lattice with a double meaning, we find how to treat the domain for a functional in our theory of Fourier transformation, and calculate two typical examples.


title: Poisson Summation Formula for The Space of Functionals

abstract: In our last work, we formulate a Fourier transformation on the infinite-dimensional space of functionals. Here we first calculate the Fourier transformation of infinite-dimensional Gaussian distribution $\exp(-\pi \xi\int_{-\infty}^{\infty}\alpha ^2(t)dt)$ for $\xi\in{\bf C}$ with Re$(\xi)>0$, $\alpha \in L^2({\bf R})$, using our formulated Feynman path integral. Secondly we develop the Poisson summation formula for the space of functionals, and define a functional $Z_s$, $s\in {\bf C}$, the Feynman path integral of that corresponds to the Riemann zeta function in the case Re$(s)>1$.