title: Ordering Events in Minkowski Space

abstract: We are given k points (events) in (n+1)-dimensional Minkowski space. Using the theory of hyperplane arrangments and chromatic polynomials, we obtain information the number of different orders in which the events can occur in different reference frames if the events are sufficiently generic. We consider the question of what sets of orderings of the points are possible and show a connection with sphere orders and the allowable sequences of Goodman and Pollack.


title: Factorization of symmetric polynomials

abstract: We construct linear operators factorizing the three bases of symmetric polynomials: monomial symmetric functions m(x), elementary symmetric polynomials E(x), and Schur functions s(x), into products of univariate polynomials.

categories: math.CA hep-th math-ph math.AP math.MP nlin.SI


title: Bounded Cohomology and Geometry

abstract: This work deals with relations between a bounded cohomological invariant and the geometry of Hermitian symmetric spaces of noncompact type. The invariant, obtained from the K\"ahler class, is used to define and characterize a special class of totally geodesic embeddings, called "tight embeddings". In addition, special isometric actions of finitely generated groups on Hermitian symmetric spaces are studied. Results of a joint work with M. Burger and A. Iozzi about surface group representations are also discussed.


title: The $d\delta$--lemma for weakly Lefschetz symplectic manifolds

abstract: For a symplectic manifold $(M,\omega)$, not necessarily hard Lefschetz, we prove a version of the Merkulov $d\delta$--lemma. We also study the $d\delta$--lemma and related cohomologies for compact symplectic solvmanifolds.


title: Peiffer Elements in Simplicial Groups and Algebras

abstract: The main objectives of this paper are to give general proofs of the following two facts: A. For an operad $\oo$ in $\ab$, let $A$ be a simplicial $\oo$-algebra such that $A_m$ is the $\oo$-subalgebra generated by $(\sum_{i = 0}^{m} s_i(A_{m-1}))$, for every $n$, and let $\N A$ be the Moore complex of $A$. Then \[ d (\N_m A) = \sum_{I} \gamma(\oo_{p} \otimes \bigcap_{i \in I_1}\ker d_i \otimes ... \otimes \bigcap_{i \in I_{p}}\ker d_i) \] where the sum runs over those partitions of $[m-1]$, $I = (I_1,...,I_p)$, $p \geq 1$, and $\gamma$ is the action of $\oo$ on $A$. B. Let $G$ be a simplicial group with Moore complex $\N G$ in which the normal subgroup of $G_n$ generated by the degenerate elements in dimension $n$ is the proper $G_n$. Then $d(\N_nG) = \prod_{I,J}[\bigcap_{i \in I}\ker d_i, \bigcap_{j \in J}\ker d_j]$, for $I,J \subseteq [n-1]$ with $I \cup J = [n-1]$. In both cases, $d_i$ is the $i-th$ face of the corresponding simplicial object. The former result completes and generalizes results from Ak\c{c}a and Arvasi, and Arvasi and Porter; the latter, results from Mutlu and Porter. Our approach to the problem is different from that of the cited works. We have first succeeded with a proof for the case of algebras over an operad by introducing a different description of the adjoint inverse of the normalization functor $\N: \sab \to \ch$. For the case of simplicial groups, we have then adapted the construction for the adjoint inverse used for algebras to get a simplicial group $G \boxtimes \lb$ from the Moore complex of a simplicial group $G$. This construction could be of interest in itself.


title: Recent approaches to multidimensional Bermudan option pricing and the extrapolation to American option prices

abstract: A number of Bermudan option pricing methods that are applicable to options on multiple assets are studied in this thesis, one of the dominating questions being the natural scaling needed to extrapolate from Bermudan to American (both approximate and ``exact'') option prices.


title: Minimal Homeomorphisms and Approximate Conjugacy in Measure

abstract: Let X be an infinite compact metric space with finite covering dimension. Let $\afhpa,\bt: X\to X$ be two minimal homeomorphisms. Suppose that the range of $K_0$-groups of both crossed product C*-algebras s are dense in the space of real affine continuous functions. We show that $\af$ and $\bt$ are approximately conjugate uniformly in measure if and only if they have affine homeomorphic invariant probability measure spaces.


title: Approximate AF flows

abstract: When $\alpha$ is a flow on a unital AF algebra $A$ such that there is an increasing sequence of finite-dimensional $\alpha$-invariant C*-subalgebras of $A$ with dense union, we call $\alpha$ an AF flow. We show that an approximate AF flow is a cocycle perturbation of an AF flow.


title: Rohlin flows on the Cuntz algebra $O_\infty$

abstract: It is shown that certain quasi-free flows on the Cuntz algebra $O_\infty$ have the Rohlin property and therefore are cocycle-conjugate with each other. This, in particular, shows that any unital separable nuclear purely infinite simple C*-algebra has a Rohlin flow.


title: Backward Stochastic Differential Equations on Manifolds

abstract: The problem of finding a martingale on a manifold with a fixed random terminal value can be solved by considering BSDEs with a generator with quadratic growth. We study here a generalization of these equations and we give uniqueness and existence results in two different frameworks, using differential geometry tools. Applications to PDEs are given, including a certain class of Dirichlet problems on manifolds.


title: Limit laws for embedded trees. Applications to the integrated superBrownian excursion

abstract: We study three families of labelled plane trees. In all these trees, the root is labelled 0, and the labels of two adjacent nodes differ by $0, 1$ or -1. One part of the paper is devoted to enumerative results. For each family, and for all $j\in \ns$, we obtain closed form expressions for the following three generating functions: the generating function of trees having no label larger than $j$; the (bivariate) generating function of trees, counted by the number of edges and the number of nodes labelled $j$; and finally the (bivariate) generating function of trees, counted by the number of edges and the number of nodes labelled at least $j$. Strangely enough, all these series turn out to be algebraic, but we have no combinatorial intuition for this algebraicity. The other part of the paper is devoted to deriving limit laws from these enumerative results. In each of our families of trees, we endow the trees of size $n$ with the uniform distribution, and study the following random variables: $M\_n$, the largest label occurring in a (random) tree; $X\_n(j)$, the number of nodes labelled $j$; and $X\_n^+(j)$, the number of nodes labelled $j$ or more. We obtain limit laws for scaled versions of these random variables. Finally, we translate the above limit results into statements dealing with the integrated superBrownian excursion (ISE). In particular, we describe the law of the supremum of its support (thus recovering some earlier results obtained by Delmas), and the law of its distribution function at a given point. We also conjecture the law of its density (at a given point).


title: JMMO Fock space and Geck-Rouquier classification of simple modules for Hecke algebras

abstract: This paper is a survey on the representation theory of Hecke algebras, Ariki-Koike algebras and connections with quantum group.


title: Small ball probability estimates in terms of width

abstract: A certain inequality conjectured by Vershynin is studied. It is proved that for any $n$-dimensional symmetric convex body $K$ with inradius $w$ and $\gamma_{n}(K) \leq 1/2$ there is $\gamma_{n}(sK) \leq (2s)^{w^{2}/4}\gamma_{n}(K)$ for any $s \in [0,1]$. Some natural corollaries are deduced. Another conjecture of Vershynin is proved to be false.


title: Asymptotic enumeration and limit laws of planar graphs

abstract: We show an asymptotic estimate for the number of labelled planar graphs on $n$ vertices. We also find limit laws for the number of edges, the number of connected components, and other parameters in random planar graphs.


title: First Steps towards Hyper-desingularization through Brauer-Severi Varieties

abstract: Given a Cayley-Hamilton smooth order A in a central simple algebra $\Sigma$, we determine the flat locus of the Brauer-Severi fibration of the smooth order. Moreover, we give a classification of all (reduced) central singularities where the flat locus differs from the Azumaya locus and show that the fibers over the flat, non-Azumaya points near these central singularities can be described as fibered products of graphs of projection maps, thus generalizing an old result of Artin on the fibers of the Brauer-Severi fibration over a ramified point. Finally, we show these fibers are also toric quiver varieties and use this fact to compute their cohomology.


title: Characterizations of Some Class of Formal Power Series via M\"Obius Categories of Full Binomial Type

abstract: In some previous papers we have obtained characterizations (we called them characterizations of Lambek-Carlitz type) of some class of formal power series. Now, we discuss, investigate and compare these results from a categorial point of view.


title: Subrepresentations in the Polynomial Representation of the Double Affine Hecke Algebra of type $GL_n$ at $t^{k+1}q^{r-1}=1$

abstract: We study a Laurent polynomial representation $V$ of the double affine Hecke algebra of type $GL_n$ for specialized parameters $t^{k+1}q^{r-1}=1$. We define a series of subrepresentations of $V$ by using a vanishing condition. For some cases, we give an explicit basis of the subrepresentation in terms of nonsymmetric Macdonald polynomials. These results are nonsymmetric versions of \cite{FJMM} and \cite{KMSV}.


title: Small Exotic 4-manifolds with b_2^+=3

abstract: We construct an infinite family of simply connected, pairwise nondiffeomorphic 4-manifolds, all homeomorphic to 3CP^2 blown up at 9 points.


title: Free extreme values

abstract: Free probability analogs of the basics of extreme-value theory are obtained, based on Ando's spectral order. This includes classification of freely max-stable laws and their domains of attraction, using ``free extremal convolutions'' on the distributions. These laws coincide with the limit laws in the classical peaks-over-threshold approach. A free extremal projection-valued process over a measure-space is constructed, which is related to the free Poisson point process.


title: Etude des jets de Demailly-Semple en dimension 3

abstract: Demailly-Semple jets are studied using the invariant theory of non reductive groups. The geometric characterization of the 3-jets bundle in dimension 3 is given and provides a Riemann-Roch computation.


title: On the direct indecomposability of infinite irreducible Coxeter groups and the Isomorphism Problem of Coxeter groups

abstract: In this paper we prove, without the finite rank assumption, that any irreducible Coxeter group of infinite order is directly indecomposable as an abstract group. The key ingredient of the proof is that we can determine, for an irreducible Coxeter group, the centralizers of the normal subgroups that are generated by involutions. As a consequence, we show that the problem of deciding whether two general Coxeter groups are isomorphic, as abstract groups, is reduced to the case of irreducible Coxeter groups, without assuming the finiteness of the number of the irreducible components or their ranks. We also give a description of the automorphism group of a general Coxeter group in terms of those of its irreducible components.


title: Diophantine geometry and toric varieties

abstract: We present some results on projective toric varieties which are relevant in Diophantine geometry. We interpret and study several invariants attached to these varieties in geometrical and combinatorial terms. We also give a B\'ezout theorem for the Chow weights of projective varieties and an application to the theorem of successive minima.


abstract: The Stone spectrum of a von Neumann algebra is a generalization of the Gelfand spectrum, as was shown by de Groote. In this article we clarify the structure of the Stone spectra of von Neumann algebras of type $I_{n}$.


title: The Cauchy problem and integrability of a modified Euler-Poisson equation

abstract: We prove that the periodic initial value problem for a modified Euler-Poisson equation is well-posed for initial data in $H^{s} (T^{m})$ when $s>m/2+2$ and we improve the Sobolev index to $s>3/2$ for $m=1$. We also study the analytic regularity of this problem and prove a Cauchy-Kowalevski type theorem. After presenting a formal derivation of the equation on the semidirect product space $ Diff \ltimes C^{\infty}(\tor)$ as a Hamiltonian equation, we concentrate to one space dimension ($m=1$) and show that the equation is bihamiltonian.


title: Weight Systems for Milnor Invariants

abstract: We use Polyak's skein relation to give a new proof that Milnor's string link homotopy invariants are finite type invariants, and to develop a recursive relation for their associated weight systems. We show that the obstruction to the triviality of these weight systems is the presence of a certain kind of spanning tree in the intersection graph of a chord diagram.


title: Multivariate Subresultants in Roots

abstract: We give rational expressions for the subresultants of n+1 generic polynomials f_1,..., f_{n+1} in n variables as a function of the coordinates of the common roots of f_1,..., f_n and their evaluation in f_{n+1}. We present a simple technique to prove our results, giving new proofs and generalizing the classical Poisson product formula for the projective resultant, as well as the expressions of Hong for univariate subresultants in roots.


title: On effective Witt decomposition and Cartan-Dieudonne theorem

abstract: Let $K$ be a number field, and let $F$ be a symmetric bilinear form in $2N$ variables over $K$. Let $Z$ be a subspace of $K^N$. A classical theorem of Witt states that the bilinear space $(Z,F)$ can be decomposed into an orthogonal sum of hyperbolic planes, singular, and anisotropic components. We prove the existence of such a decomposition of small height, where all bounds on height are explicit in terms of heights of $F$ and $Z$. We also prove a special version of Siegel's Lemma for a bilinear space, which provides a small-height orthogonal decomposition into one-dimensional subspaces. Finally, we prove an effective version of Cartan-Dieudonn{\'e} theorem. Namely, we show that every isometry $\sigma$ of a regular bilinear space $(Z,F)$ can be represented as a product of reflections of small heights with an explicit bound on heights in terms of heights of $F$, $Z$, and $\sigma$.


title: Poisson--Dirichlet distribution for random Belyi surfaces

abstract: Brooks and Makover introduced an approach to studying the global geometric quantities (in particular, the first eigenvalue of the Laplacian, injectivity radius and diameter) of a ``typical'' compact Riemann surface of large genus based on compactifying finite-area Riemann surfaces associated with random cubic graphs; by a theorem of Belyi, these are ``dense'' in the space of compact Riemann surfaces. The question as to how these surfaces are distributed in the Teichm\"{u}ller spaces depends on the study of oriented cycles in random cubic graphs with random orientation; Brooks and Makover conjectured that asymptotically normalized cycle lengths follow Poisson--Dirichlet distribution. We present a proof of this conjecture using representation theory of the symmetric group.


title: Splitting density for lifting about discrete groups

abstract: We study splitting densities of primitive elements of a discrete subgroup of a connected non-compact semisimple Lie group of real rank one with finite center in another larger such discrete subgroup. When the corresponding cover of such a locally symmetric negatively curved Riemannian manifold is regular, the densities can be easily obtained from the results due to Sarnak or Sunada. Our main interest is a case where the covering is not necessarily regular. Specifically, for the cases of the modular group and its congruence subgroups, we determine the splitting densities explicitly. As an application, we study analytic properties of the zeta function defined by the Euler product over elements consisting all primitive elements which satisfy a certain splitting law for a given lifting.


title: Sur l'effectivite du theoreme de Siegel et la conjecture abc

abstract: Nous montrons qu'un raffinement du th\'eor\`eme de Siegel sur les points entiers de courbes alg\'ebriques impliquerait la conjecture abc de Masser-Oesterl\'e. Nous formulons une hypoth\`ese "Siegel uniforme" qui est une majoration de la hauteur des points S-entiers de la courbe, en termes du corps de rationalit\'e et de l'ensemble de places S. La validit\'e de l'hypoth\`ese pour une quelconque courbe alg\'ebrique de caract\'eristique d'Euler-Poincar\'e strictement n\'egative, impliquerait une version de la conjecture abc. Ceci \'etend aux points S-entiers des r\'esultats pr\'ec\'edents de L. Moret-Bailly, et est en quelque sorte, un \'enonc\'e r\'eciproque de ce que nous avons montr\'e dans math.NT/0408168, en suivant les id\'ees propos\'ees par N. Elkies. Le principal outil g\'eom\'etrique employ\'e est un th\'eor\`eme de G.V. Belyi. Nous montrons aussi quelques versions inconditionnelles de ces \'enonc\'es : un r\'esultat allant dans le sens de la conjecture abc, valable sur tout corps de nombres, ainsi que des bornes pour la hauteur des solutions en S-entiers de certaines \'equations diophantiennes classiques.


title: Minimal nonergodic directions on genus 2 translation surfaces

abstract: It is well-known that on any Veech surface, the dynamics in any minimal direction is uniquely ergodic. In this paper it is shown that for any genus 2 translation surface which is not a Veech surface there are uncountably many minimal but not uniquely ergodic directions.


title: Local index formula for SU_q(2)

abstract: We discuss the local index formula of Connes-Moscovici for the isospectral noncommutative geometry that we have recently constructed on quantum SU(2). We work out the cosphere bundle and the dimension spectrum as well as the local cyclic cocycles yielding the index formula.


title: The outer space of a free product

abstract: We associate a contractible ``outer space'' to any free product of groups G=G_1*...*G_q. It equals Culler-Vogtmann space when G is free, McCullough-Miller space when no G_i is Z. Our proof of contractibility (given when G is not free) is based on Skora's idea of deforming morphisms between trees. Using the action of Out(G) on this space, we show that Out(G) has finite virtual cohomological dimension, or is VFL (it has a finite index subgroup with a finite classifying space), if the groups G_i and Out(G_i) have similar properties. We deduce that Out(G) is VFL if G is a torsion-free hyperbolic group, or a limit group (finitely generated fully residually free group).


title: Estimating the proportion of false null hypotheses among a large number of independently tested hypotheses

abstract: We consider the problem of estimating the number of false null hypotheses among a very large number of independently tested hypotheses, focusing on the situation in which the proportion of false null hypotheses is very small. We propose a family of methods for establishing lower $100(1-\alpha)%$ confidence bounds for this proportion, based on the empirical distribution of the $p$-values of the tests. Methods in this family are then compared in terms of ability to consistently estimate the proportion by letting $\alpha \to 0$ as the number of hypothesis tests increases and the proportion decreases. This work is motivated by a signal detection problem that occurs in astronomy.


title: Cohomologie $L^2$ des vari\'{e}t\'{e}s QALE

abstract: We give a topological interpretation of the space of $L^2$ harmonis forms of some QALE manifolds introduced by D. Joyce. We introduce a analytical criterium which make possible the used of Mayer-Vietoris sequence.


title: Stationary distributions of multi-type totally asymmetric exclusion processes

abstract: We consider totally asymmetric simple exclusion processes with n types of particle and holes ($n$-TASEPs) on $\mathbb {Z}$ and on the cycle $\mathbb {Z}_N$. Angel recently gave an elegant construction of the stationary measures for the 2-TASEP, based on a pair of independent product measures. We show that Angel's construction can be interpreted in terms of the operation of a discrete-time $M/M/1$ queueing server; the two product measures correspond to the arrival and service processes of the queue. We extend this construction to represent the stationary measures of an n-TASEP in terms of a system of queues in tandem. The proof of stationarity involves a system of n 1-TASEPs, whose evolutions are coupled but whose distributions at any fixed time are independent. Using the queueing representation, we give quantitative results for stationary probabilities of states of the n-TASEP on $\mathbb {Z}_N$, and simple proofs of various independence and regeneration properties for systems on $\mathbb {Z}$.


title: Hyperbolicity of holomorphic foliations with parabolic leaves

abstract: In this paper, we study a notion of hyperbolicity for hyperbolicity foliations with 1-dimensional parabolic leaves, namely the non-existence of holomorphic cylinders along the foliation - holomorphic maps from $\D^{n-1} \times \C$ to the manifold sending each $\{*\} \times \C$ to a leaf. We construct a tensor, that is a leaf-wise holomorphic section of a bundle above the foliated manifold, which vanishes on an open saturated set if and only if there exists such a cylinder through each point of this open set. Thanks to this study, we prove that open sets saturated by compact leaves are union of holomorphic cylinders along the foliation. We also give some more specific results and examples in the case of a compact manifold, and of foliations with one compact leaf or without any compact leaves.


title: Dynamique des applications holomorphes propres de domaines reguliers et probleme de l'injectivite

abstract: This paper deals with proper holomorphic self-maps of smoothly bounded pseudoconvex domains in $\C^2$. We study the dynamical properties of their extension to the boundary and show that their non-wandering sets are always contained in the weakly pseudoconvex part of the boundary. In the case of complete circular domains, we combine this fact with an entropy/degree argument to show that the maps are automorphisms. Some of our results remain true in $\C^n$.


title: Non--quasi--projective moduli spaces

abstract: We show that every smooth toric variety (and many other algebraic spaces as well) can be realized as a moduli space for smooth, projective, polarized varieties. Some of these are not quasi--projective. This contradicts a recent paper (Quasi--projectivity of moduli spaces of polarized varieties, Ann. of Math. 159 (2004) 597--639.).


title: Slowly divergent geodesics in moduli space

abstract: Slowly divergent geodesics in the moduli space of Riemann surfaces of genus at least 2 are constructed via cyclic branched covers of the torus. Nonergodic examples (i.e. geodesics whose defining quadratic differential has nonergodic vertical foliation) diverging to infinity at sublinear rates are constructed using a Diophantine condition. Examples with an arbitrarily slow prescribed growth rate are also exhibited.


title: A divergent Teichmuller geodesic with uniquely ergodic vertical foliation

abstract: We construct an example of a quadratic differential whose vertical foliation is uniquely ergodic and such that the Teichmuller geodesic determined by the quadratic differential diverges in the moduli space of Riemann surfaces.


title: Generalized Arithmetic and Geometric Mean Divergence Measure and their Statistical Aspects

abstract: Using Blackwell's definition of comparing two experiments, a comparison is made with \textit{generalized AG - divergence} measure having one and two scalar parameters. Connection of \textit{generalized AG - divergence} measure with \textit{Fisher measure of information} is also presented. A unified \textit{generalization of AG - divergence}and\textit{Jensen-Shannon divergence measures} is also presented.


title: On Mean Divergence Measures

abstract: Arithmetic, geometric and harmonic means are the three classical means famous in the literature. Another mean such as square-root mean is also known. In this paper, we have constructed divergence measures based on nonnegative differences among these means, and established an interesting inequality by use of properties of Csiszar's f-divergence. Connections of new mean divergences measures with classical divergence measures such as Jeffreys-Kullback-Leibler J-divergence, Sibson-Burbea-Rao Jensen difference divergence measure and Taneja's arithmetic - geometric mean divergence are also established.


title: On Unified Generalizations of Relative Jensen--Shannon and Arithmetic--Geometric Divergence Measures, and Their Properties

abstract: In this paper we shall consider one parametric generalization of some non-symmetric divergence measures. The \textit{non-symmetric divergence measures} are such as: Kullback-Leibler \textit{relative information}, $\chi ^2-$\textit{divergence}, \textit{relative J -- divergence}, \textit{relative Jensen -- Shannon divergence} and \textit{relative Arithmetic -- Geometric divergence}. All the generalizations considered can be written as particular cases of Csisz\'{a}r's \textit{f-divergence}. By putting some conditions on the probability distribution, the aim here is to develop bounds on these measures and their parametric generalizations.


title: Generalized Non-Symmetric Divergence Measures and Inequalities

abstract: In this paper we consider one parameter generalizations of some non - symmetric divergence measures. Measures are \textit{relative information}, $\chi ^2 - $\textit{divergence}, \textit{relative J-divergence}, \textit{relative Jensen-Shannon divergence}and \textit{relative arithmetic and geometric divergence}. All the generalizations considered can be written as particular cases of Csisz\'{a}r \textit{f-divergence}. By conditioning the probability distributions, relationships among the \textit{relative divergence measures}are obtained.


title: Generalized Symmetric Divergence Measures and Inequalities

abstract: There are three classical divergence measures known in the literature on information theory and statistics. These are namely, Jeffryes-Kullback-Leiber \cite{jef} \cite{kul} \textit{J-divergence}. Sibson-Burbea-Rao \cite{sib} \cite{bur1, bur2} \textit{Jensen-Shannon divegernce}and Taneja \cite{tan3} \textit{Arithemtic-Geometric divergence}. These three measures bears an interesting relationship among each other. The divergence measures like \textit{Hellinger discrimination}, \textit{symmetric}$\chi ^2 - $\textit{divergence}, and \textit{triangular discrimination} are also known in the literature. All these measures can be written as particular cases of Csisz\'{a}r's \textit{f-divergence}. Recently, author proved an inequality relating all the six measures. In this paper our aim is to give one parametric generalizations of the above measures and established relationships among them. A new measure similar to \textit{Hellinger's} and \textit{triangular discriminations} is also derived.


title: On a Difference of Jensen Inequality and its Applications to Mean Divergence Measures

abstract: In this paper we have considered a difference of Jensen's inequality for convex functions and proved some of its properties. In particular, we have obtained results for Csisz\'{a}r \cite{csi1} $f-$divergence. A result is established that allow us to compare two measures under certain conditions. By the application of this result we have obtained a new inequality for the well known means such as arithmetic, geometric and harmonic. Some divergence measures based on these means are also defined.


title: Inequalities Among Symmetric Divergence Measures and Their Refinement

abstract: There are three classical divergence measures in the literature on information theory and statistics, namely, Jeffryes-Kullback-Leiber's J-divergence, Sibson-Burbea-Rao's Jensen-Shannon divegernce and Taneja's arithemtic-geometric mean divergence. These bear an interesting relationship among each other and are based on logarithmic expressions. The divergence measures like Hellinger discrimination, symmetric chi-square divergence, and triangular discrimination are not based on logarithmic expressions. These six divergence measures are symmetric with respect to probability distributions. In this paper some interesting inequalities among these symmetric divergence measures are studied. Refinement over these inequalities is also given. Some inequalities due to Dragomir et al. are also improved.


title: The unstable integral homology of the mapping class groups of a surface with boundary

abstract: We construct a graph complex calculating the integral ho- mology of the bordered mapping class groups. We compute the ho- mology of the bordered mapping class groups of various surfaces. Using the circle action on this graph complex, we build a double complex and a spectral sequence converging to the homology of the unbordered mapping class groups. We compute the homology of the punctured mapping class groups associated to certain surfaces. Finally, we use Miller's operad to get the first Kudo-Araki and Browder operations on our graph complex. We also consider an unstable version of the higher Kudo-Araki-Dyer-Lashoff operations.


title: On Aumann's Theorem that the sphere does not admit a mean

abstract: We prove that the circle S_1 does not have a 2-mean, i.e., S_1 times S_1 cannot have a retraction r onto its diagonal with r(x,y) = r(y,x), whenever x,y in S_1. Our proof is combinatorial and topological rather than analytical.


title: Combinatorial Dynamics

abstract: This article is a short introduction to Combinatorial Dynamics for topologists.


title: Partners: Functional Analysis and Topology

abstract: This article is a short survey of the history of functional analysis for topologists.


title: PCF Theory

abstract: This article is a very short introduction to pcf theory for topologists.


title: A generalised Skolem-Mahler-Lech theorem for affine varieties

abstract: The Skolem-Mahler-Lech theorem states that if $f(n)$ is a sequence given by a linear recurrence over a field of characteristic 0,then the set of $m$ such that $f(m)$ is equal to 0 is the union of a finite number of arithmetic progressions in $m\ge 0$ and a finite set. We prove that if $X$ is a subvariety of an affine variety $Y$ over a field of characteristic 0 and ${\bf q}$ is a point in $Y$, and $\sigma$ is an automorphism of $Y$, then the set of $m$ such that $\sigma^m({\bf q})$ lies in $X$ is a union of a finite number of complete doubly-infinite arithmetic progressions and a finite set. We show that this is a generalization of the Skolem-Mahler-Lech theorem.


title: Toric symplectic singular spaces I: isolated singularities

abstract: We generalize a theorem of Delzant classifying compact connected symplectic manifolds with completely integrable torus actions to certain singular symplectic spaces. The assumption on singularities is that if they are not finite quotient then they are isolated.


title: Kaehler metrics on singular toric varieties

abstract: We extend Guillemin's formula for Kaehler potentials on toric manifolds to singular quotients of C^N and CP^N.


title: On intertwining operators and finite automorphism groups of vertex operator algebras

abstract: Let V be a simple vertex operator algebra and G a finite automorphism group. We give a construction of intertwining operators for irreducible V^G-modules which occur as submodules of irreducible V-modules by using intertwining operators for V. We also determine some fusion rules for a vertex operator algebra as an application.


title: On the singularity probability of random Bernoulli matrices

abstract: Let $n$ be a large integer and $M_n$ be a random $n$ by $n$ matrix whose entries are i.i.d. Bernoulli random variables (each entry is $\pm 1$ with probability 1/2). We show that the probability that $M_n$ is singular is at most $(3/4 +o(1))^n$, improving an earlier estimate of Kahn, Koml\'os and Szemer\'edi, as well as earlier work by the authors. The key new ingredient is the applications of Freiman type inverse theorems and other tools from additive combinatorics.


title: The Gaussian primes contain arbitrarily shaped constellations

abstract: We show that the Gaussian primes $P[i] \subseteq \Z[i]$ contain infinitely constellations of any prescribed shape and orientation. More precisely, given any distinct Gaussian integers $v_0,...,v_{k-1}$, we show that there are infinitely many sets $\{a+rv_0,...,a+rv_{k-1}\}$, with $a \in \Z[i]$ and $r \in \Z \backslash \{0\}$, all of whose elements are Gaussian primes. The proof is modeled on a recent paper by Green and Tao and requires three ingredients. The first is a hypergraph removal lemma of Gowers and R\"odl-Skokan; this hypergraph removal lemma can be thought of as a generalization of the Szemer\'edi-Furstenberg-Katznelson theorem concerning multidimensional arithmetic progressions. The second ingredient is the transference argument of Green and Tao, which allows one to extend this hypergraph removal lemma to a relative version, weighted by a pseudorandom measure. The third ingredient is a Goldston-Yildirim type analysis for the Gaussian integers, which yields a pseudorandom measure which is concentrated on Gaussian "almost primes".


title: Taming the wild in impartial combinatorial games

abstract: We introduce a misere quotient semigroup construction in impartial combinatorial game theory, and argue that it is the long-sought natural generalization of the normal-play Sprague-Grundy theory to misere play. Along the way, we illustrate how to use the theory to describe complete analyses of two wild taking and breaking games.


title: Boundary structures of hyperbolic 3-manifolds admitting annular and toroidal fillings at large distance

abstract: For a hyperbolic 3-manifold $M$ with a torus boundary component,all but finitely many Dehn fillings yield hyperbolic 3-manifolds. In this paper, we will focus on the situation where $M$ has two exceptional Dehn fillings: an annular filling and a toroidal filling. For such situation, Gordon gave an upper bound 5 for the distance between such slopes. Furthermore, the distance 4 is realized only by two specific manifolds, and 5 is realized by a single manifold. These manifolds all have a union of two tori as their boundaries. Also, there is a manifold with three tori as its boundary which realizes the distance 3. We show that if the distance is three then the boundary of the manifold consists of at most three tori.


title: The Khovanov Complex for Virtual Links

abstract: In the present paper, we construct the Khovanov homology theory for virtual links. Besides the direct approach with Z_{2} coefficients we also describe the Khovanov homology for framed links and the Khovanov homology using ``double cover''. The latter two approaches are based on the notion of ``atom''.


title: The fundamental group of Galois cover of the surface ${\mathbb T} \times {\mathbb T}$

abstract: This is the final paper in a series of four, concerning the surface $T \times T$ embedded in $\mathbb{CP}^8$, where $T$ is a the one dimensional torus. In this paper we compute the fundamental group of the Galois cover of the surface with respect to a generic projection onto $\mathbb{CP}^2$, and show that it is nilpotent of class 3. This is the first time such a group is presented as the fundamental group of a Galois cover of a surface.


title: Strichartz Estimates for Schr\"odinger Equations with Variable Coefficients

abstract: We prove the (local in time) Strichartz estimates (for the full range of parameters given by the scaling unless the end point) for asymptotically flat and non trapping perturbations of the flat Laplacian in $\R^n$, $n\geq 2$. The main point of the proof, namely the dispersion estimate, is obtained in constructing a parametrix. The main tool for this construction is the use of the FBI transform.


title: Sur la dimension de l'ensemble des points base du fibre determinant sur l'espace des modules des fibres vectoriels semi stables sur une courbe

abstract: Resume Soit SU_C(r) l'espace des modules des fibr\'es vectoriels semi-stables de d\'eterminant trivial sur une courbe lisse $C$ de genre $g \geq 2$ sur $\mathbb{C}$. On \'etudie dans cet article, un exemple de fibr\'e introduit par Raynaud dans ~\cite{R}, ne poss\'edant pas de diviseur th\^eta. On construit ensuite des extensions stables de ce fibr\'e ce qui conduit \`a une majoration de la codimension du lieu de base du fibr\'e d\'eterminant sur $\mathcal{SU}_{C}(r)$. Abstract Let $\mathcal{SU}_{C}(r)$ be the moduli space of semi stable bundles with trivial determinant on a smooth curve $C$ of genus $g\geq 2$ on $\mathbb{C}$. In this article, we are studiying a vector bundle introduced by Raynaud in ~\cite{R}, with no theta divisor. Then we build some stable extension of this bundle wich gives us an upper bound of the codimension of the base locus of the determinant bundle on $\mathcal{SU}_{C}(r)$.


title: Endomorphisms of relatively hyperbolic groups

abstract: We generalize some results of Paulin and Rips-Sela on endomorphisms of hyperbolic groups to relatively hyperbolic groups, and in particular prove the following. (1) If G is a finitely generated non-elementary relatively hyperbolic group with slender parabolic subgroups, and either G is not co-Hopfian or Out(G) is infinite, then G splits over a slender group. (2) If a finitely generated non-parabolic subgroup H of a non-elementary relatively hyperbolic group is not Hopfian, then H acts non-trivially on an R-tree. (3) Every non-elementary relatively hyperbolic group has a non-elementary relatively hyperbolic quotient that is Hopfian. (4) Any finitely presented group is isomorphic to a finite index subgroup of Out(H) for some Kazhdan group H. (This sharpens a result of Ollivier-Wise).


title: An Additive Basis for the Chow Ring of \bar{M}_{0,2}(P^r,2)

abstract: We begin a study of the intersection theory of the moduli spaces of degree two stable maps from two-pointed rational curves to arbitrary-dimensional projective space. First we compute the Betti numbers of these spaces using Serre polynomial and equivariant Serre polynomial methods developed by E. Getzler and R. Pandharipande. Then, via the excision sequence, we compute an additive basis for their Chow rings in terms of Chow rings of nonlinear Grassmannians, which have been described by Pandharipande. The ring structure of one of these Chow rings is addressed in a sequel to this paper.


title: Non-existence of n-dimensional T-embedded discs in R^2n

abstract: A manifold is T-embedded into an affine space if its tangent spaces at distinct points are disjoint. We prove that an n-dimensional disc cannot be T-embedded into 2n-dimensional space.


title: Sublattices of lattices of convex subsets of vector spaces

abstract: For a left vector space V over a totally ordered division ring F, let Co(V) denote the lattice of convex subsets of V. We prove that every lattice L can be embedded into Co(V) for some left F-vector space V. Furthermore, if L is finite lower bounded, then V can be taken finite-dimensional, and L embeds into a finite lower bounded lattice of the form $Co(V,Z)=\{X\cap Z | X\in Co(V)\}$, for some finite subset $Z$ of $V$. In particular, we obtain a new universal class for finite lower bounded lattices.


title: Sublattices of complete lattices with continuity conditions

abstract: Various embedding problems of lattices into complete lattices are solved. We prove that for any join-semilattice S with the minimal join-cover refinement property, the ideal lattice IdS of S is both algebraic and dually algebraic. Furthermore, if there are no infinite D-sequences in J(S), then IdS can be embedded into a direct product of finite lower bounded lattices. We also find a system of infinitary identities that characterize sublattices of complete, lower continuous, and join-semidistributive lattices. These conditions are satisfied by any (not necessarily finitely generated) lower bounded lattice and by any locally finite, join-semidistributive lattice. Furthermore, they imply M. Ern\'e's dual staircase distributivity. On the other hand, we prove that the subspace lattice of any infinite-dimensional vector space cannot be embedded into any countably complete, countably upper continuous, and countably lower continuous lattice. A similar result holds for the lattice of all order-convex subsets of any infinite chain.


title: Semilattices of finitely generated ideals of exchange rings with finite stable rank

abstract: We find a distributive (v, 0, 1)-semilattice S of size $ aleph\_1$ that is not isomorphic to the maximal semilattice quotient of any Riesz monoid endowed with an order-unit of finite stable rank. We thus obtain solutions to various open problems in ring theory and in lattice theory. In particular: - There is no exchange ring (thus, no von Neumann regular ring and no C*-algebra of real rank zero) with finite stable rank whose semilattice of finitely generated, idempotent-generated two-sided ideals is isomorphic to S. - There is no locally finite, modular lattice whose semilattice of finitely generated congruences is isomorphic to S. These results are established by constructing an infinitary statement, denoted here by URPsr, that holds in the maximal semilattice quotient of every Riesz monoid endowed with an order-unit of finite stable rank, but not in the semilattice S.


title: Newton maps for quintic polynomials

abstract: The purpose of this paper is to study some properties of the Newton maps associated to real quintic polynomials. First using the Tschirnhaus transformation, we reduce the study of Newton's method for general quintic polynomials to the case $f(x)=x^{5}-c x+1$. Then we use symbolic dynamics to consider this last case and construct a kneading sequences tree for Newton maps. Finally, we prove that the topological entropy is a monotonic non-decreasing map with respect to the parameter $c$.


title: Density in Approximation Theory

abstract: Approximation theory is concerned with the ability to approximate functions by simpler and more easily calculated functions. The first question we ask in approximation theory concerns the {\it possibility of approximation}. Is the given family of functions from which we plan to approximate dense in the set of functions we wish to approximate? In this work we survey some of the main density results and density methods.


title: Varieties of reductions for $gl\_n$

abstract: We study the varieties of reductions associated to the variety of rank one matrices in $\fgl\_n$. These varieties are defined as natural compactifications of the different ways to write the identity matrix as a sum of $n$ rank one matrices. Equivalently, they compactify the quotient of $PGL\_n$ by the normalizer of a maximal torus. In particular, we prove that for $n=4$ we get a 12-dimensional Fano variety with Picard number one, index 3, and canonical singularities.


title: Torsion in Boundary Coinvariants and K-theory for Affine Buildings

abstract: Let $(G,{\mathfrak I},N,S)$ be an affine topological Tits system, and let $\Gamma$ be a torsion free cocompact lattice in $G$. This article studies the coinvariants $H_0(\Gamma; C(\Omega,{\mathbb Z}))$, where $\Omega$ is the Furstenberg boundary of $G$. It is shown that the class $[1]$ of the identity function in $H_0(\Gamma; C(\Omega,{\mathbb Z}))$ has finite order, with explicit bounds for the order. A similar statement applies to the $K_0$ group of the boundary crossed product $C^*$-algebra $C(\Omega)\rtimes\Gamma$. If the Tits system has type $\widetilde A_2$, exact computations are given, both for the crossed product algebra and for the reduced group $C^*$-algebra.


title: On automorphisms of categories of free algebras of some varieties

abstract: Given a variety of universal algebras. A method is suggested for describing automorphisms of a category of free algebras of this variety. Applying this general method all automorphisms of such categories are found in two cases: 1) for the variety of all free associative K-algebras over an infinite field K and 2) for the variety of all representations of groups in unital R-modules over a commutative associative ring R with unit. It turns out that they are almost inner in a sense.


title: Coadjoint orbits for $A_{n-1}^+, B_{n}^{+}$, and $D_{n}^{+}$

abstract: A complete description of the coadjoint orbits for A_{n-1}^{+}, the nilpotent Lie algebra of n-by-n strictly upper triangular matrices, has not yet been obtained, though there has been steady progress on it ever since the orbit method was devised. We apply methods developed by Andre' to find defining equations for the elementary coadjoint orbits for the maximal nilpotent Lie subalgebras of the orthogonal Lie algebras, and we also determine all the possible dimensions of coadjoint orbits in the case of A_{n-1}^{+}.


title: Shimura- and Teichmueller curves

abstract: We classify curves in the moduli space of curves that are both Shimura- and Teichmueller curves: Except for the moduli space of genus one curves there is only a single such curve. We start with a Hodge-theoretic description of Shimura curves and of Teichmueller curves that reveals similarities and differences of the two classes of curves. The proof of the classification relies on the geometry of square-tiled coverings and on estimating the numerical invariants of these particular fibered surfaces. Finally we translate our main result into a classification of Teichmueller curves with totally degenerate Lyapunov spectrum.


title: Involutions of reductive Lie algebras in positive characteristic

abstract: Let $G$ be a reductive group over a field $k$ of characteristic $\neq 2$, let ${\mathfrak g}=\Lie(G)$, let $\theta$ be an involutive automorphism of $G$ and let ${\mathfrak g}={\mathfrak k}\oplus{\mathfrak p}$ be the associated symmetric space decomposition. For the case of a ground field of characteristic zero, the action of the isotropy group $G^\theta$ on ${\mathfrak p}$ is well-understood, since the well-known paper of Kostant and Rallis. Such a theory in positive characteristic has proved more difficult to develop. Here we use an approach based on some tools from geometric invariant theory to establish corresponding results in (good) positive characteristic. Among other results, we prove that the variety ${\cal N}$ of nilpotent elements of ${\mathfrak p}$ has a dense open orbit, and that the same is true for every fibre of the quotient map ${\mathfrak p}\to{\mathfrak p}/G^\theta$. However, we show that the corresponding statement for $G$, conjectured by Richardson, is not true. We provide a new, (mostly) calculation-free proof of the number of irreducible components of ${\cal N}$, extending a result of Sekiguchi for $k={\mathbb C}$. Finally, we apply a theorem of Skryabin to describe the infinitesimal invariants $k[{\mathfrak p}]^{\mathfrak k}$.


title: Affine Stanley symmetric functions

abstract: We define a new family of symmetric functions which are affine analogues of Stanley symmetric functions. We establish basic properties of these functions including symmetry, dominance and conjugation. We conjecture certain positivity properties in terms of a subfamily of symmetric functions called affine Schur functions. As applications, we show how affine Stanley symmetric functions generalise the (dual of the) $k$-Schur functions of Lapointe, Lascoux and Morse as well as the cylindric Schur functions of Postnikov. Conjecturally, affine Stanley symmetric functions should be related to the cohomology of the affine flag variety.


title: Hirota Quadratic Equations for the Extended Toda Hierarchy

abstract: The Extended Toda Hierarchy (shortly ETH) was introduce by E. Getzler \cite{Ge} and independently by Y. Zhang \cite{Z} in order to describe an integrable hierarchy which governs the Gromov--Witten invariants of $\C P^1$. The {\em Lax type} presentation of the ETH was given in \cite{CDZ}. In this paper we give a description of the ETH in terms of {\em tau-functions} and Hirota Quadratic Equations (known also as Hirota Bilinear Equations). A new feature here is that the Hirota equations are given in terms of vertex operators taking values in the algebra of differential operators on the affine line.


title: Action Type Geometrical Equivalence of Representations of Groups

abstract: For every variety of algebras and every algebras in these variety we can consider an algebraic geometry. Algebras may be many sorted (not necessarily one sorted) algebras. A set of sorts is fixed for each variety. This theory can be applied to the variety of representations of groups over fixed commutative ring with unit. We consider a representation as two sorted algebra. We concentrate on the case of the action type algebraic geometry of representations of groups. In this case algebraic sets are defined by systems of action type equations and equations in the acting group are not considered. This is the special case, which cannot be deduced from the general theory. In this paper the following basic notions are introduced: action type geometrical equivalence of two representations, action type quasi-identity in representations, action type quasi-variety of representations, action type Noetherian variety of representations, action type geometrically Noetherian representation, action type logically Noetherian representation.


title: Topology of Foliations given by the real part of holomorphic 1-forms

abstract: Topology of Foliations of the Riemann Surfaces given by the real part of generic holomorphic 1-forms, is studied. Our approach is based on the notion of Transversal Canonical Basis of Cycles (TCB) instead of using just one closed transversal curve as in the classical approach of the ergodic theory. In some cases the TCB approach allows us to present a convenient combinatorial model of the whole topology of the flow, especially effective for g=2. A maximal abelian covering over the Riemann Surface provided by the Abel Map, plays a key role in this work. The behavior of our system in the Fundamental Domain of that covering can be easily described in the sphere with $g$ holes. It leads to the Plane Diagram of our system. The complete combinatorial model of the flow is constructed. It is based on the Plane Diagram and g straight line flows in the planes corresponding to the $g$ canonically adjoint pairs of cycles in the Transversal Canonical Basis. These pairs do not cross each other. Making cuts along them, we come to the maximal abelian fundamental domain (associated with Abel Map and Theta-functions) instead of the standard $4g$-gon in the Hyperbolic Plane and its beautiful "flat" analogs which people used for the study of geodesics of the flat metrics with singularities. Topological splitting of the flow into torical pieces is constructed. Several mistakes are corrected. Algebraic description of transversal canonical bases on the torus with obstacles is given. The appendix is extended: a reference to a work of G. Levitt is added which allowed to prove that every foliation of this class admits a TCB.


title: Sublattices of lattices of order-convex sets, III. The case of totally ordered sets

abstract: For a partially ordered set P, let Co(P) denote the lattice of all order-convex subsets of P. For a positive integer n, we denote by SUB(LO) (resp., SUB(n)) the class of all lattices that can be embedded into a product of lattices of convex subsets of chains (resp., chains with at most n elements). We prove the following results: (1) Both classes SUB(LO) and SUB(n), for any positive integer n, are locally ﬁnite, ﬁnitely based varieties of lattices, and we ﬁnd ﬁnite equational bases of these varieties. (2) The variety SUB(LO) is the quasivariety join of all the varieties SUB(n), for 1 ≤ n < \omega, and it has only countably many subvarieties. We classify these varieties, together with all the ﬁnite subdirectly irreducible members of SUB(LO). (3) Every ﬁnite subdirectly irreducible member of SUB(LO) is projective within SUB(LO), and every subquasivariety of SUB(LO) is a variety.


title: Sublattices of lattices of order-convex sets, II. Posets of finite length

abstract: For a positive integer n, we denote by SUB (resp., SUBn) the class of all lattices that can be embedded into the lattice Co(P) of all order-convex subsets of a partially ordered set P (resp., P of length at most n). We prove the following results: (1) SUBn is a finitely based variety, for any n ≥ 1. (2) SUB2 is locally finite. (3) A finite atomistic lattice L without D-cycles belongs to SUB iff it belongs to SUB2; this result does not extend to the nonatomistic case. (4) SUBn is not locally finite for n ≥ 3.


title: Sublattices of lattices of order-convex sets, I. The main representation theorem

abstract: For a partially ordered set P, we denote by Co(P) the lattice of order-convex subsets of P. We find three new lattice identities, (S), (U), and (B), such that the following result holds. Theorem. Let L be a lattice. Then L embeds into some lattice of the form Co(P) iff L satisfies (S), (U), and (B). Furthermore, if L has an embedding into some Co(P), then it has such an embedding that preserves the existing bounds. If L is finite, then one can take P finite, of cardinality at most $2n^2-5n+4$, where n is the number of join-irreducible elements of L. On the other hand, the partially ordered set P can be chosen in such a way that there are no infinite bounded chains in P and the undirected graph of the predecessor relation of P is a tree.


title: Syzygy modules with semidualizing or G-projective summands

abstract: Let R be a commutative Noetherian local ring with residue class field k. In this paper, we mainly investigate direct summands of the syzygy modules of k. We prove that R is regular if and only if some syzygy module of k has a semidualizing summand. After that, we consider whether R is Gorenstein if and only if some syzygy module of k has a G-projective summand.


title: Derived Hall Algebras

abstract: The purpose of this work is to define a derived Hall algebra $\mathcal{DH}(T)$, associated to any dg-category $T$ (under some finiteness conditions). Our main theorem states that $\mathcal{DH}(T)$ is associative and unital. It is shown that $\mathcal{DH}(T)$ contains the usual Hall algebra $\mathcal{H}(T)$ when $T$ is an abelian category. We will also prove an explicit formula for the derived Hall numbers purely in terms of invariants of the triangulated category associated to $T$. As an example, we describe the derived Hall algebra of an hereditary abelian category.


title: Combinatorics of bicubic maps with hard particles

abstract: We present a purely combinatorial solution of the problem of enumerating planar bicubic maps with hard particles. This is done by use of a bijection with a particular class of blossom trees with particles, obtained by an appropriate cutting of the maps. Although these trees have no simple local characterization, we prove that their enumeration may be performed upon introducing a larger class of "admissible" trees with possibly doubly-occupied edges and summing them with appropriate signed weights. The proof relies on an extension of the cutting procedure allowing for the presence on the maps of special non-sectile edges. The admissible trees are characterized by simple local rules, allowing eventually for an exact enumeration of planar bicubic maps with hard particles. We also discuss generalizations for maps with particles subject to more general exclusion rules and show how to re-derive the enumeration of quartic maps with Ising spins in the present framework of admissible trees. We finally comment on a possible interpretation in terms of branching processes.

categories: math.CO cond-mat.stat-mech hep-th math-ph math.MP


title: The generic Groebner walk

abstract: The Groebner walk is an algorithm for conversion between Groebner bases for different term orders. It is based on the polyhedral geometry of the Groebner fan and involves tracking a line between cones representing the initial and target term order. An important parameter is explicit numerical perturbation of this line. This usually involves both time and space demanding arithmetic of integers much larger than the input numbers. In this paper we show how the explicit line may be replaced by a formal line using Robbiano's characterization of group orders on Q^n. This gives rise to the generic Groebner walk involving only Groebner basis conversion over facets and computations with marked polynomials. The proposed technique is closely related to the lexicographic (symbolic) perturbation method used in optimization and computational geometry. We report on computations with toric ideals, where a version of our algorithm in certain cases computes test sets for hard integer knapsack problems significantly faster than the Buchberger algorithm.


title: Generalised sifting in black-box groups

abstract: We present a generalisation of the sifting procedure introduced originally by Sims for computation with finite permutation groups, and now used for many computational procedures for groups, such as membership testing and finding group orders. Our procedure is a Monte Carlo algorithm, and is presented and analysed in the context of black-box groups. It is based on a chain of subsets instead of a subgroup chain. Two general versions of the procedure are worked out in detail, and applications are given for membership tests for several of the sporadic simple groups. Our major objective was that the procedures could be proved to be Monte Carlo algorithms, and their costs computed. In addition we explicitly determined suitable subset chains for six of the sporadic groups, and we implemented the algorithms involving these chains in the {\sf GAP} computational algebra system. It turns out that sample implementations perform well in practice. The implementations will be made available publicly in the form of a {\sf GAP} package.


title: Functoriality of the coniveau filtration

abstract: There is a natural descending filtration on the singular cohomology of a complex smooth projective variety called the coniveau filtration. The generalized Hodge conjecture would imply, rather trivially, that the coniveau filtration is compatible with pushforwards, pullbacks and products. The purpose of this paper is to prove this statement unconditionally. This completes the argument in math.AG/0102070.


title: Motivation for Hodge cycles

abstract: Given two smooth projective varieties X and Y over a field, we say that X motivates Y if the (suitably defined) motive of Y is contained in the category generated from X by taking sums, summands and products. This notion has appeared implicitly in many places, but it seems useful to make it explicit. Some techniques are given for checking this condition, but in a nutshell it involves building a correspondence which "dominates" Y. Among the more interesting examples dealt with are moduli spaces. We show that in number of cases moduli spaces of sheaves over curves or surfaces are motivated by underly curve or surface. This allows us to check (or recheck) the (generalized) Hodge and Lefschetz standard conjectures for some of these examples. The dominating correspondence in these examples is built from the universal sheaf, and can, in some instances, be realized as a kind of Fourier-Mukai transform.


title: Warped cones and property A

abstract: We describe a construction (the `warped cone construction') which produces examples of coarse spaces with large groups of translations. We show that by this construction we can obtain many examples of coarse spaces which do not have property A or which are not uniformly embeddable into Hilbert space.


title: Richardson elements for classical Lie algebras

abstract: Parabolic subalgebras of semi-simple Lie algebras decompose as $\frak{p}=\frak{m}\oplus\frak{n}$ where $\frak{m}$ is a Levi factor and $\frak{n}$ the corresponding nilradical. By Richardsons theorem, there exists an open orbit under the action of the adjoint group $P$ on the nilradical. The elements of this dense orbits are known as Richardson elements. In this paper we describe a normal form for Richardson elements in the classical case. This generalizes a construction for the general linear group of Bruestle, Hille, Ringel and Roehrle to the other classical Lie algebra and it extends the authors normal forms of Richardson elements for nice parabolic subalgebras of simple Lie algebras to arbitrary parabolic subalgebras of the classical Lie algebras. As applications we obtain a description of the support of Richardson elements and we recover the Bala-Carter label of the orbit of Richardson elements.


title: Remote Tracking via Encoded Information for Nonlinear Systems

abstract: The problem addressed in this paper is to control a plant so as to have its output tracking (a family of) reference commands generated at a remote location and transmitted through a communication channel of finite capacity. The uncertainty due to the presence of the communication channel is counteracted by a suitable choice of the parameters of the regulator.


title: A non-regular Groebner fan

abstract: The Groebner fan of an ideal $I\subset k[x_1,...,x_n]$, defined by Mora and Robbiano, is a complex of polyhedral cones in $R^n$. The maximal cones of the fan are in bijection with the distinct monomial initial ideals of $I$ as the term order varies. If $I$ is homogeneous the Groebner fan is complete and is the normal fan of the state polytope of $I$. In general the Groebner fan is not complete and therefore not the normal fan of a polytope. We may ask if the restricted Groebner fan, a subdivision of $R_{>=0}^n$, is regular i.e. the normal fan of a polyhedron. The main result of this paper is an example of an ideal in $Q[x_1,...,x_4]$ whose restricted Groebner fan is not regular.


title: On the X=M=K Conjecture

abstract: In the large rank limit, for any nonexceptional affine algebra, the graded branching multiplicities known as one-dimensional sums, are conjectured to have a simple relationship with those of type A, which are known as generalized Kostka polynomials. This is called the X=M=K conjecture. It is proved for tensor products of the symmetric power Kirillov-Reshetikhin modules for all nonexceptional affine algebras except those whose Dynkin diagrams are isomorphic to that of untwisted affine type D near the zero node. Combined with results of Lecouvey, this realizes the above one-dimensional sums of affine type C, as affine Kazhdan-Lusztig polynomials (and conjecturally for type D).


title: Pinwheels and bypasses

abstract: We give a necessary and sufficient condition for the addition of a collection of disjoint bypasses to a convex surface to be universally tight -- namely the nonexistence of a polygonal region which we call a virtual pinwheel.


title: The Geometry of Two Generator Groups: Hyperelliptic Handlebodies

abstract: For two generator free Fuchsian groups, the quotient three manifold is a genus two solid handlebody and its boundary is a hyperelliptic Riemann surface. The convex core is also a hyperelliptic Riemann surface. We find the Weierstrass points of both of these surfaces. We then generalize the notion of a hyperelliptic Riemann surface to a ``hyperelliptic'' three manifold. We show that the handlebody has a unique order two isometry fixing six unique geodesic line segments, which we call the {\sl Weierstrass lines} of the handlebody. The Weierstrass lines are, of course, the analogue of the Weierstrass points on the boundary surface. Further, we show that the manifold is foliated by surfaces equidistant from the convex core, each fixed by the isometry of order two. The restriction of this involution to the equidistant surface fixes six {\sl generalized Weierstrass points} on the surface.


title: On the multigraded Hilbert and Poincar\'e-Betti series and the Golod property of monomial rings

abstract: We study the multigraded Poincar\'e-Betti series of $A=S/\aaf$, where $S$ is the ring of polynomials in $n$ indeterminates divided by the monomial ideal $\aaf$. There is a conjecture about the multigraded Poincar\'e-Betti series by Charalambous and Reeves which they proved in the case, where the Taylor resolution is minimal. We introduce a conjecture about the minimal $A$-free resolution of the residue class field and show that this conjecture implies the conjecture of Charalambous and Reeves. We prove our conjecture for several classes of algebras. The conjecture implies that $A$ is Golod if and only if the product (i.e. the first Massey operation) on the Koszul homology is trivial. Under the assumption of the conjecture we finally prove that a very simple purely combinatorial condition on the minimal monomial generating system of $\aaf$ implies Golodness for $A$.


title: New solution principles of multi-criteria problems based on comparison standards

abstract: Proposed is a new formal approach for solution of extreme multi-criteria problems transforming them into single-criterion mathematical models, without any additional information. Transforming rules are based on comparison standards and intervals between these standards and goal function values, corresponding to problem solution. Pareto-optimality of these solutions is proved by a number of theorems. Examples illustrating efficiency and universality of this approach are presented.


abstract: Geodesics in Randers spaces of constant curvature are classified.


title: Irrational proofs for three theorems of Stanley

abstract: We give new proofs of three theorems of Stanley on generating functions for the integer points in rational cones. The first, Stanley's reciprocity theorem, relates the rational generating functions for the integer points in a cone K and for those in its interior. The second, Stanley's Positivity theorem asserts that the generating function of the Ehrhart quasipolynomial of a rational polytope P can be written as a rational function with nonnegative numerator. The third, Stanley's Monotonicity Theorem, asserts that if a polytope Q contains P, then each coefficient in the numerator for Q is at least as large as the corresponding coefficient in the numerator for P. Our proofs are based on elementary (primary school) counting afforded by irrational decompositions of rational polyhedra.


title: A Reversion of the Chernoff Bound

abstract: This paper describes the construction of a lower bound for the tails of general random variables, using solely knowledge of their moment generating function. The tilting procedure used allows for the construction of lower bounds that are tighter and more broadly applicable than existing tail approximations.


title: Local monodromy of p-adic differential equations: an overview

abstract: This primarily expository article collects together some facts from the literature about the monodromy of differential equations on a p-adic (rigid analytic) annulus, though often with simpler proofs. These include Matsuda's classification of quasi-unipotent nabla-modules, the Christol-Mebkhout construction of the ramification filtration, and the Christol-Dwork Frobenius antecedent theorem. We also briefly discuss the p-adic local monodromy theorem without proof.


title: Constructions in elliptic dynamics

abstract: We present an overview and some new applications of the approximation by conjugation method introduced by Anosov and the second author more than thirty years ago \cite{AK}. Michel Herman made important contributions to the development and applications of this method beginning from the construction of minimal and uniquely ergodic diffeomorphisms jointly with Fathi in \cite{FH} and continuing with exotic invariant sets of rational maps of the Riemann sphere \cite{H3}, and the construction of invariant tori with nonstandard and unexpected behavior in the context of KAM theory \cite{H1, H2}. Recently the method has been experiencing a revival. Some of the new results presented in the paper illustrate variety of uses for tools available for a long time, others exploit new methods, in particular possibility of mixing in the context of Liouvillean dynamics discovered by the first author \cite{F1, F2}.


title: Short and long time behavior of the Fokker-Planck equation in a confining potential and applications

abstract: We consider the linear Fokker-Planck equation in a confining potential in space dimension $d \geq 3$. Using spectral methods, we prove bounds on the derivatives of the solution for short and long time, and give some applications.


title: Embedding finite lattices into finite biatomic lattices

abstract: For a class C of finite lattices, the question arises whether any lattice in C can be embedded into some atomistic, biatomic lattice in C. We provide answers to the question above for C being, respectively, --The class of all finite lattices; --The class of all finite lower bounded lattices (solved by the first author's earlier work). --The class of all finite join-semidistributive lattices (this problem was, until now, open). We solve the latter problem by finding a quasi-identity valid in all finite, atomistic, biatomic, join-semidistributive lattices but not in all finite join-semidistributive lattices.


title: Mirkovic-Vilonen cycles and polytopes

abstract: We give an explicit description of the Mirkovic-Vilonen cycles on the affine Grassmannian for arbitrary complex reductive groups. We also give a combinatorial characterization of the MV polytopes. We prove that a polytope is an MV polytope if and only if it a lattice polytope whose defining hyperplanes are parallel to those of the Weyl polytopes and whose 2-faces are rank 2 MV polytopes. As an application, we give a bijection between Lusztig's canonical basis and the set of MV polytopes.


title: On the number of join-irreducibles in a congruence representation of a finite distributive lattice

abstract: For a finite lattice L, let EL denote the reflexive and transitive closure of the join-dependency relation on L, defined on the set J(L) of all join-irreducible elements of L. We characterize the relations of the form EL, as follows: Theorem. Let E be a quasi-ordering on a finite set P. Then the following conditions are equivalent: (i) There exists a finite lattice L such that (J(L),EL) is isomorphic to the quasi-ordered set (P,E). (ii) There are not exactly two elements x in P such that p E x, for any p in P. For a finite lattice L, let je(L) = |J(L)|-|J(Con L)|, where Con L is the congruence lattice of L. It is well-known that the inequality je(L) $\ge$ 0 holds. For a finite distributive lattice D, let us define the join-excess function: JE(D) = min(je(L) | Con L isomorphic to D). We provide a formula for computing the join-excess function of a finite distributive lattice D. This formula implies that JE(D) $\le$ (2/3)| J(D)|, for any finite distributive lattice D; the constant 2/3 is best possible. A special case of this formula gives a characterization of congruence lattices of finite lower bounded lattices.


title: Representation of algebraic distributive lattices with $\aleph\_1$ compact elements as ideal lattices of regular rings

abstract: We prove the following result: Theorem. Every algebraic distributive lattice D with at most $\aleph\_1$ compact elements is isomorphic to the ideal lattice of a von Neumann regular ring R. (By earlier results of the author, the $\aleph\_1$ bound is optimal.) Therefore, D is also isomorphic to the congruence lattice of a sectionally complemented modular lattice L, namely, the principal right ideal lattice of R. Furthermore, if the largest element of D is compact, then one can assume that R is unital, respectively, that L has a largest element. This extends several known results of G.M. Bergman, A.P. Huhn, J. T˚uma, and of a joint work of G. Gr\"{a}tzer, H. Lakser, and the author, and it solves Problem 2 of the survey paper [10]. The main tool used in the proof of our result is an amalgamation theorem for semilattices and algebras (over a given division ring), a variant of previously known amalgamation theorems for semilattices and lattices, due to J. Tuma, and G. Gr\"{a}tzer, H. Lakser, and the author.


title: Operator-Valued Moment Series of the Generating Operator of L(F_2) Over the Commutator Group von Neumann algebra L(K)

abstract: In this paper, we will consider the generating operator of the free group factor L(F_2). Then we can construct the group von Neumann algebra L(K), where K is the commutator group of F_2 and the conditional expectation E. Then (L(F_2), E) is the W*-probability space with amalgamation over L(K). In this paper, we will compute the trivial operator-valued moment series of the generating operator of L(F_2) over L(K). This computation is the good example for studying the operator-valued distribution, since the operator-valued moment series of operator-valued random variables contain algebraic and combinatorial free probability information about the opeartor-valued distributions.


title: Semi-classical twists for sl(3) and sl(4) boundary r-matrices of Cremmer-Gervais type

abstract: We obtain explicit formulas for the semi-classical twists deforming the coalgebraic structure of U(sl(3)) and U(sl(4)). In rank 2 and 3 the corresponding universal R-matrices quantize the boundary r-matrices of Cremmer-Gervais type defining Lie Frobenius structures on the maximal parabolic subalgebras in sl(n).


title: Congruence amalgamation of lattices

abstract: J. Tuma proved an interesting "congruence amalgamation" result. We are generalizing and providing an alternate proof for it. We then provide applications of this result: --A.P. Huhn proved that every distributive algebraic lattice $D$ with at most $\aleph\_1$ compact elements can be represented as the congruence lattice of a lattice $L$. We show that $L$ can be constructed as a locally finite relatively complemented lattice with zero. --We find a large class of lattices, the $\omega$-congruence-finite lattices, that contains all locally finite countable lattices, in which every lattice has a relatively complemented congruence-preserving extension.


title: Solutions to five problems on tensor products of lattices and related matters

abstract: The notion of a capped tensor product, introduced by G. Gr\"{a}tzer and the author, provides a convenient framework for the study of tensor products of lattices that makes it possible to extend many results from the finite case to the infinite case. In this paper, we answer several open questions about tensor products of lattices. Among the results that we obtain are the following. Theorem 2. Let A be a lattice with zero. If $A \otimes L$ is a lattice for every lattice L with zero, then A is locally finite and $A \otimes L$ is a capped tensor product for every lattice L with zero. Theorem 5. There exists an infinite, three-generated, 2-modular lattice K with zero such that $K \otimes K$ is a capped tensor product. Here, 2-modularity is a weaker identity than modularity, introduced earlier by G. Gr\"{a}tzer and the author.


title: Join-semilattices with two-dimensional congruence amalgamation

abstract: We say that a (∨,0)-semilattice S is conditionally co-Brouwerian, if (1) for all nonempty subsets X and Y of S such that X $\leq$ Y (i.e., x $\leq$ y for all (x, y) $\in$ X x Y), there exists z $\in$ S such that X $\leq$ z $\leq$ Y, and (2) for every subset Z of S and all a, b $\in$ S, if a $\leq$ b ∨ z for all z $\in$ Z, then there exists c $\in$ S such that a $\leq$ b ∨ c and c $\leq$ Z. By restricting this deﬁnition to subsets X, Y, and Z of less than $\kappa$ elements, for an inﬁnite cardinal $\kappa$, we obtain the deﬁnition of a conditionally $\kappa$- co-Brouwerian (∨, 0)-semilattice. We prove that for every conditionally co-Brouwerian lattice S and every partial lattice P, every (∨, 0)-homomorphism $\phi$: Conc P $\to$ S can be lifted to a lattice homomorphism f : P $\to$ L, for some relatively complemented lattice L. Here, Conc P denotes the (∨, 0)-semilattice of compact congruences of P. We also prove a two-dimensional version of this result, and we establish partial converses of our results and various of their consequences in terms of congruence lattice representation problems. Among those consequences, for every inﬁnite regular cardinal $\kappa$ and every conditionally $\kappa$-co-Brouwerian S of size $\kappa$, there exists a relatively complemented lattice L with zero such that Conc L is isomorphic to S.


title: Direct decompositions of non-algebraic complete lattices

abstract: For a given complete lattice L, we investigate whether L can be decomposed as a direct product of directly indecomposable lattices. We prove that this is the case if every element of L is a join of join-irreducible elements and dually, thus extending to non-algebraic lattices a result of L. Libkin. We illustrate this by various examples and counterexamples.


title: Antimonotonous quadratic forms and partially ordered sets

abstract: Antimonotonous quadratic forms generalizing P-faithful posets defined by authors earlier are introduced. The criterion of antimonotonousness is given for posets with positive semidefinite quadratic forms. As consequence the new proofs of the criterions of finite representativity and tameness of posets are given.


title: A survey of recent results on congruence lattices of lattices

abstract: We review recent results on congruence lattices of (inﬁnite) lattices. We discuss results obtained with box products, as well as categorical, ring-theoretical, and topological results.


title: Liftings of diagrams of semilattices by diagrams of dimension groups

abstract: We investigate categorical and amalgamation properties of the functor Idc assigning to every partially ordered abelian group G its semilattice of compact ideals Idc G. Our main result is the following. Theorem 1. Every diagram of finite Boolean semilattices indexed by a finite dismantlable partially ordered set can be lifted, with respect to the Idc functor, by a diagram of pseudo-simplicial vector spaces. Pseudo-simplicial vector spaces are a special kind of finite-dimensional partially ordered vector spaces (over the rationals) with interpolation. The methods introduced make it also possible to prove the following ring-theoretical result. Theorem 2. For any countable distributive join-semilattices S and T and any field K, any (v,0)-homomorphism $f: S\to T$ can be lifted, with respect to the Idc functor on rings, by a homomorphism $f: A\to B$ of K-algebras, for countably dimensional locally matricial algebras A and B over K. We also state a lattice-theoretical analogue of Theorem 2 (with respect to the Conc functor, and we provide counterexamples to various related statements. In particular, we prove that the result of Theorem 1 cannot be achieved with simplicial vector spaces alone.


title: Unsolvable one-dimensional lifting problems for congruence lattices of lattices

abstract: Let S be a distributive {∨, 0}-semilattice. In a previous paper, the second author proved the following result: Suppose that S is a lattice. Let K be a lattice, let $\phi$: Con K $\to$ S be a {∨, 0}-homomorphism. Then $\phi$ is, up to isomorphism, of the form Conc f, for a lattice L and a lattice homomorphism f : K $\to$ L. In the statement above, Conc K denotes as usual the {∨, 0}-semilattice of all ﬁnitely generated congruences of K. We prove here that this statement characterizes S being a lattice.


title: Forcing extensions of partial lattices

abstract: We prove the following result: Let K be a lattice, let D be a distributive lattice with zero, and let $\phi$: Con K $\to$ D be a {∨, 0}-homomorphism, where Conc K denotes the {∨, 0}-semilattice of all ﬁnitely generated congruences of K. Then there are a lattice L, a lattice homomorphism f : K $\to$ L, and an isomorphism $\ga$: Conc L $\to$ D such that $\ga$ Conc f = $\phi$. Furthermore, L and f satisfy many additional properties, for example: (i) L is relatively complemented. (ii) L has deﬁnable principal congruences. (iii) If the range of $\phi$ is coﬁnal in D, then the convex sublattice of L generated by f[K] equals L. We mention the following corollaries, that extend many results obtained in the last decades in that area: -- Every lattice K such that Conc K is a lattice admits a congruence-preserving extension into a relatively complemented lattice. -- Every {∨, 0}-direct limit of a countable sequence of distributive lattices with zero is isomorphic to the semilattice of compact congruences of a relatively complemented lattice with zero.


title: On the non-holonomic character of logarithms, powers, and the n-th prime function

abstract: We establish that the sequences formed by logarithms and by "fractional" powers of integers, as well as the sequence of prime numbers, are non-holonomic, thereby answering three open problems of Gerhold [Electronic Journal of Combinatorics 11 (2004), R87]. Our proofs depend on basic complex analysis, namely a conjunction of the Structure Theorem for singularities of solutions to linear differential equations and of an Abelian theorem. A brief discussion is offered regarding the scope of singularity-based methods and several naturally occurring sequences are proved to be non-holonomic.


title: The de Rham-Witt and Z_p-cohomologies of an algebraic variety

abstract: We show how the Z_p(r)-cohomologies of a smooth projective algebraic variety can be obtained via its de Rham-Witt complex.


title: Asymptotic behavior of discrete holomorphic maps z^c, log(z) and discrete Painleve transcedents

abstract: It is shown that discrete analogs of z^c and log(z) have the same asymptotic behavior as their smooth counterparts. These discrete maps are described in terms of special solutions of discrete Painleve-II equations, asymptotics of these solutions providing the behaviour of discrete z^c and log(z) at infinity.


title: Tail-sensitive Gaussian asymptotics for marginals of concentrated measures in high dimension

abstract: If the Euclidean norm is strongly concentrated with respect to a measure, the average distribution of an average marginal of this measure has Gaussian asymptotics that captures tail behaviour. If the marginals of the measure have exponential moments, Gaussian asymptotics for the distribution of the average marginal implies Gaussian asymptotics for the distribution of most individual marginals. We show applications to measures of geometric origin.


title: Notes on enriched categories with colimits of some class

abstract: Given a class Phi of weights, we study the following classes: Phi^+ of Phi-flat weights which are the psi for which psi-colimits commute in the base V with limits with weights in Phi; and Phi^-, dually defined, of weights psi for which psi-limits commute in the base V with colimits with weights in Phi. We show that both these classes are saturated (i.e. closed under the terminology of Albert-Kelly or Betti's coverings). We prove that for the class P of all weights P^+ = P^-. For any small B, we defined an enriched adjunction a` la Isbell [B,V]^op -> [B^op,V] and show how it restricts to an equivalence (P^-(B^op))^op ~ P^-(B) between subcategories of small projectives.


title: Positive Dehn Twist Expressions for Some Elements of Finite Order in the Mapping Class Group

abstract: Positive Dehn twist products for some elements of finite order in the mapping class group of a 2-dimensional closed, compact, oriented surface $\Sigma_g$, which are rotations of $\Sigma_g$ through $2\pi /p$, are presented. The homeomorphism invariants of the resulting simply connected symplectic 4- manifolds are computed.


title: Low Mach number limit of the full Navier-Stokes equations

abstract: The low Mach number limit for classical solutions to the full Navier Stokes equations is here studied. The combined effects of large temperature variations and thermal conduction are accounted. In particular we consider general initial data. The equations leads to a singular problem, depending on a small scaling parameter, whose linearized is not uniformly well-posed. Yet, it is proved that the solutions exist and are uniformly bounded for a time interval which is independent of the Mach number Ma in (0,1], the Reynolds number Re in [1,+\infty] and the Peclet number Pe in [1,+\infty]. Based on uniform estimates in Sobolev spaces, and using a Theorem of G. Metivier and S. Schochet, we next prove that the large terms converge locally strongly to zero. It allows us to rigorously justify the well-known formal computations described in the introduction of the book of P.-L. Lions.


title: Gelfand-Zeitlin theory from the perspective of classical mechanics II

abstract: In this paper, Part II, of a two part paper we apply the results of [KW], Part I, to establish, with an explicit dual coordinate system, a commutative analogue of the Gelfand-Kirillov theorem for M(n), the algebra of $n\times n$ complex matrices. The function field F(n) of M(n) has a natural Poisson structure and an exact analogue would be to show that F(n) is isomorphic to the function field of a $n(n-1)$-dimensional phase space over a Poisson central rational function field in $n$ variables. Instead we show that this the case for a Galois extension, $F(n, {\frak e})$, of F(n). The techniques use a maximal Poisson commutative algebra of functions arising from Gelfand-Zeitlin theory, the algebraic action of a $n(n-1)/2$--dimensional torus on $F(n, {\frak e})$, and the structure of a Zariski open subset of M(n) as a $n(n-1)/2$--dimensional torus bundle over a $n(n+1)/2$--dimensional base space of Hessenberg matrices.


title: Efficiently Detecting Torsion Points and Subtori

abstract: Suppose X is the complex zero set of a finite collection of polynomials in Z[x_1,...,x_n]. We show that deciding whether X contains a point all of whose coordinates are d_th roots of unity can be done within NP^NP (relative to the sparse encoding), under a plausible assumption on primes in arithmetic progression. In particular, our hypothesis can still hold even under certain failures of the Generalized Riemann Hypothesis, such as the presence of Siegel-Landau zeroes. Furthermore, we give a similar (but UNconditional) complexity upper bound for n=1. Finally, letting T be any algebraic subgroup of (C^*)^n we show that deciding whether X contains T is coNP-complete (relative to an even more efficient encoding),unconditionally. We thus obtain new non-trivial families of multivariate polynomial systems where deciding the existence of complex roots can be done unconditionally in the polynomial hierarchy -- a family of complexity classes lying between PSPACE and P, intimately connected with the P=?NP Problem. We also discuss a connection to Laurent's solution of Chabauty's Conjecture from arithmetic geometry.


title: A free analogue of the transportation cost inequality on the circle

abstract: We give a new proof of the free transportation cost inequality for measures on the circle following M. Ledoux's idea.


title: A sufficient condition for a Hibi ring to be level and levelness of Schubert cycles

abstract: Let $K$ be a field, $D$ a finite distributive lattice and $P$ the set of all join-irreducible elements of $D$. We show that if $\{y\in P\mid y\geq x\}$ is pure for any $x\in P$, then the Hibi ring $\RRRRR_K(D)$ is level. Using this result and the argument of sagbi basis theory, we show that the homogeneous coordinate rings of Schubert subvarieties of Grassmannians are level.


title: Orbifold elliptic genera and rigidity

abstract: Three types of rigidity theorem for orbifold elliptic genus of level N are proved. The first type deals with the case where N is relatively prime to the orders of all isotropy groups. If the top exterior power of the tangent bundle is divisible by N in the Picard group of orbifold line bundles, then the ofbifold genus of level N suitably modified has rigidity property with respect to compact connected group actions. The second type deals with the divisibility within the Picard group of genuine line bundles. In this case the orbifold elliptic genus itself has rigidity property.


title: Elliptic genera, torus orbifolds and multi-fans; II

abstract: This article is a continuation of SG/0107014. Some vanishing theorems for orbifold elliptic genus of level N for multi-fans are proved. As an application, complete Q-factorial toric varieties whose canonical divisors are divisible by their dimesion in the group of T-Cartier divisors are determined.


title: Minimal diagrams of classical and virtual links

abstract: We prove that a virtual link diagrams satisfying two conditions on the Khovanov homology is minimal, that is, there is no virtual diagram representing the same link with smaller number of crossings. This approach works for both classical and virtual links


title: The Alexander polynomial of (1,1)-knots

abstract: In this paper we investigate the Alexander polynomial of (1,1)-knots, which are knots lying in a 3-manifold with genus one at most, admitting a particular decomposition. More precisely, we study the connections between the Alexander polynomial and a polynomial associated to a cyclic presentation of the fundamental group of an n-fold strongly-cyclic covering branched over the knot, which we call the n-cyclic polynomial. In this way, we generalize to all (1,1)-knots, with the only exception of those lying in S^2\times S^1, a result obtained by J. Minkus for 2-bridge knots and extended by the author and M. Mulazzani to the case of (1,1)-knots in the 3-sphere. As corollaries some properties of the Alexander polynomial of knots in the 3-sphere are extended to the case of (1,1)-knots in lens spaces.


title: Remarks on the rigidity of CR-manifolds

abstract: A method is proposed to obtain examples of smooth CR-manifolds whose local stability group is neither a Lie group nor infinite-dimensional.


title: Twistor spaces of generalized complex structures

abstract: The twistor construction is applied for obtaining examples of generalized complex structures (in the sense of N. Hitchin) that are not induced by a complex or a symplectic structure.


title: Topological Classification of Holomorphic, Semi-Hyperbolic Germs, in "Quasi-Absence" of Resonances

abstract: The classification, by topological conjugacy, of invertible holomorphic germs $f:(\mathbb{C}^n,0)\to (\mathbb{C}^n,0)$, with $\lambda_1,...,\lambda_n$ eigenvalues of $df_0$, and $|\lambda_i|\neq 1$ for $i=2,...,n$ while $\lambda_1$ is a root of the unity, is given, in the suitable hypothesis of ``quasi-absence'' of resonances.


title: Opers

abstract: This article is an elementary introduction to opers without new results. We hope it can be useful for students.


title: Zero cycles on homogeneous varieties

abstract: In this paper we study the group $A_0(X)$ of zero dimensional cycles of degree 0 modulo rational equivalence on a projective homogeneous algebraic variety $X$. To do this we translate rational equivalence of 0-cycles on a projective variety into R-equivalence on symmetric powers of the variety. For certain homogeneous varieties, we then relate these symmetric powers to moduli spaces of \'etale subalgebras of central simple algebras which we construct. This allows us to show $A_0(X) = 0$ for certain classes of homogeneous varieties, extending previous results of Swan / Karpenko, of Merkurjev, and of Panin.


title: Ribbon Structure in Symmetric Pre-monoidal Categories

abstract: Let U(g) denote the universal enveloping algebra of a Lie algebra g. We show the existence of a ribbon algebra in a particular deformation of U(g) which leads to a symmetric pre-monoidal category of U(g)-modules.


title: The overhand shuffle mixes in $\Theta(n^2\log n)$ steps

abstract: The overhand shuffle is one of the ``real'' card shuffling methods in the sense that some people actually use it to mix a deck of cards. A mathematical model was constructed and analyzed by Pemantle [J. Theoret. Probab. 2 (1989) 37--49] who showed that the mixing time with respect to variation distance is at least of order $n^2$ and at most of order $n^2\log n$. In this paper we use an extension of a lemma of Wilson [Ann. Appl. Probab. 14 (2004) 274--325] to establish a lower bound of order $n^2\log n$, thereby showing that $n^2\log n$ is indeed the correct order of the mixing time. It is our hope that the extension of Wilson's lemma will prove useful also in other situations; it is demonstrated how it may be used to give a simplified proof of the $\Theta(n^3\log n)$ lower bound of Wilson [Electron. Comm. Probab. 8 (2003) 77--85] for the Rudvalis shuffle.


title: On Amicable Numbers With Different Parity

abstract: In this paper we provide a straightforward proof that if a pair of amicable numbers with different parity exists (one number odd and the other one even), then the odd amicable number must be a perfect square, while the even amicable number has to be equal to the product of a power of 2 and an odd perfect square.


title: Cardinal B-spline dictionaries on a compact interval

abstract: A prescription for constructing dictionaries for cardinal spline spaces on a compact interval is provided. It is proved that such spaces can be spanned by dictionaries which are built by translating a prototype B-spline function of fixed support into the knots of the required cardinal spline space. This implies that cardinal spline spaces on a compact interval can be spanned by dictionaries of cardinal B-spline functions of broader support that the corresponding basis function.


title: From join-irreducibles to dimension theory for lattices with chain conditions

abstract: For a finite lattice L, the congruence lattice Con L of L can be easily computed from the partially ordered set J(L) of join-irreducible elements of L and the join-dependency relation D\_L on J(L). We establish a similar version of this result for the dimension monoid Dim L of L, a natural precursor of Con L. For L join-semidistributive, this result takes the following form: Theorem 1. Let L be a finite join-semidistributive lattice. Then Dim L is isomorphic to the commutative defined by generators D(p), for p in J(L), and relations D(p) +D(q) = D(q), for all p, q in J(L) such that p D\_L q . As a consequence, we obtain the following results: Theorem 2. Let L be a finite join-semidistributive lattice. Then L is a lower bounded homomorphic image of a free lattice iff Dim L is strongly separative, iff it satisfies the quasi-identity 2x=x implies x=0. Theorem 3. Let A and B be finite join-semidistributive lattices. Then the box product A $\bp$ B f A and B is join-semidistributive, and Dim(A $\bp$ B) is isomorphic to $Dim A \otimes Dim B$, where $\otimes$ denotes the tensor product of commutative monoids.


title: Ruijsenaars' hypergeometric function and the modular double of U_q(sl(2,C))

abstract: Simultaneous eigenfunctions of two Askey-Wilson second order difference operators are constructed as formal matrix coefficients of the principal series representation of the modular double of the quantized universal enveloping algebra U_q(sl(2,C)). These eigenfunctions are shown to be equal to Ruijsenaars' hypergeometric function under a proper parameter correspondence.


title: New aspects of the ddc-lemma

abstract: We produce examples of generalized complex structures on manifolds by generalizing results from symplectic and complex geometry. We produce generalized complex structures on symplectic fibrations over a generalized complex base. We study in some detail different invariant generalized complex structures on compact Lie groups and provide a thorough description of invariant structures on nilmanifolds, achieving a classification on 6-nilmanifolds. We study implications of the `dd^c-lemma' in the generalized complex setting. Similarly to the standard dd^c-lemma, its generalized version induces a decomposition of the cohomology of a manifold and causes the degeneracy of the spectral sequence associated to the splitting d = \del + \delbar at E_1. But, in contrast with the dd^c-lemma, its generalized version is not preserved by symplectic blow-up or blow-down (in the case of a generalized complex structure induced by a symplectic structure) and does not imply formality.


title: Towards the multiplicative behavior of the K-theoretical McKay correspondence

abstract: When the quotient of a symplectic vector space by the action of a finite subgroup of symplectic automorphisms admits as a crepant projective resolution of singularities the Hilbert scheme of regular orbits of Nakamura, then there is a natural isomorphism between the Grothendieck group of this resolution and the representation ring of the group, given by the Bridgeland-King-Reid map. However, this isomorphism is not compatible with the ring structures. For the Hilbert scheme of points on the affine plane, we study the multiplicative behavior of this map.


title: The Cauchy problem for a Schroedinger - Korteweg - de Vries system with rough data

abstract: The Cauchy problem for a coupled system of the Schroedinger and the KdV equation is shown to be globally well-posed for data with infinite energy. The proof uses refined bilinear Strichartz estimates and the I-method introduced by Colliander, Keel, Staffilani, Takaoka, and Tao.


title: Fonction z\^eta des hauteurs des vari\'et\'es toriques non d\'eploy\'ees

abstract: We investigate the anticanonical height zeta function of a (non necessarily split) toric variety defined over a global field of positive characteristic, drawing our inspiration from the method used by Batyrev and Tschinkel to deal with the analogous problem over a number field. By the way, we give a detailed account of their method.


title: The First Eigenvalue of the Dirac Operator on Compact Spin Symmetric Spaces

abstract: We give a formula for the first eigenvalue of the Dirac operator acting on spinor fields of a spin compact irreducible symmetric space $G/K$.


title: A formula for the First Eigenvalue of the Dirac Operator on Compact Spin Symmetric Spaces

abstract: Let $G/K$ be a simply connected spin compact inner irreducible symmetric space, endowed with the metric induced by the Killing form of $G$ sign-changed. We give a formula for the square of the first eigenvalue of the Dirac operator in terms of a root system of $G$. As an example of application, we give the list of the first eigenvalues for the spin compact irreducible symmetric spaces endowed with a quaternion-K\"{a}hler structure.