title: Rotational invariance of quadromer correlations on the hexagonal lattice

abstract: In 1963 Fisher and Stephenson \cite{FS} conjectured that the monomer-monomer correlation on the square lattice is rotationally invariant. In this paper we prove a closely related statement on the hexagonal lattice. Namely, we consider correlations of two quadromers (four-vertex subgraphs consisting of a monomer and its three neighbors) and show that they are rotationally invariant.


title: Hyperbolic distribution problems on Siegel 3-folds and Hilbert modular varieties

abstract: We generalize to Hilbert modular varieties of arbitrary dimension the work of W. Duke (Inventiones 1988) on the equidistribution of Heegner points and of primitive positively oriented closed geodesics in the Poincare upper half plane, subject to certain subconvexity results. We also prove vanishing results for limits of cuspidal Weyl sums associated with analogous problems for the Siegel upper half space of degree 2. In particular, these Weyl sums are associated with families of Humbert surfaces in Siegel 3-folds and of modular curves in these Humbert surfaces.


title: Ancient solution to Kahler-Ricci flow

abstract: In this paper, we prove that any non-flat ancient solution to K\"ahler-Ricci flow with bounded nonnegative bisectional curvature has asymptotic volume ratio zero. We also prove that any gradient shrinking solitons with positive bisectional curvature must be compact. Both results generalize the corresponding earlier results of Perelman in \cite{P1} and \cite{P2}. The results can be applied to study the geometry and function theory of complete K\"ahler manifolds with nonnegative bisectional curvature via K\"ahler-Ricci flow. It also implies a compactness theorem on ancient solutions to K\"ahler-Ricci flow.


title: A new Li-Yau-Hamilton estimate for Kahler-Ricci flow

abstract: In this paper we prove a new matrix Li-Yau-Hamilton estimate for K\"ahler-Ricci flow. The form of this new Li-Yau-Hamilton estimate is obtained by the interpolation consideration originated in \cite{Ch1}. This new inequality is shown to be connected with Perelman's entropy formula through a family of differential equalities. In the rest of the paper, We show several applications of this new estimate and its linear version proved earlier in \cite{CN}. These include a sharp heat kernel comparison theorem, generalizing the earlier result of Li and Tian, a manifold version of Stoll's theorem on the characterization of `algebraic divisors', and a localized monotonicity formula for analytic subvarieties. Motivated by the connection between the heat kernel estimate and the reduced volume monotonicity of Perelman, we prove a sharp lower bound heat kernel estimate for the time-dependent heat equation, which is, in a certain sense, dual to Perelman's monotonicity of the `reduced volume'. As an application of this new monotonicity formula, we show that the blow-down limit of a certain type III immortal solution is a gradient expanding soliton. In the last section we also illustrate the connection between the new Li-Yau-Hamilton estimate and the earlier Hessian comparison theorem on the `reduced distance', proved in \cite{FIN}.


title: Isomorphism problem for finitely generated fully residually free groups

abstract: We prove that the isomorphism problem for finitely generated fully residually free groups is decidable. We also show that each finitely generated fully residually free group G has a decomposition that is invariant under automorphisms of G, and obtain a structure theorem for the group of outer automorphisms Out(G).


title: Strichartz inequalities for the wave equation with the full Laplacian on the Heisenberg group

abstract: We prove dispersive and Strichartz inequalities for the solution of the wave equation related to the full Laplacian on the Heisenberg group, by means of Besov spaces defined by a Littlewood--Paley decomposition related to the spectral resolution of the full Laplacian. This requires a careful analysis due also to the non-homogeneous nature of the full Laplacian. This result has to be compared to a previous one by Bahouri, G\'erard and Xu concerning the solution of the wave equation related to the Kohn-Laplacian.


title: Centraliser Dimension and Universal Classes of Groups

abstract: In this paper we establish results that will be required for the study of the algebraic geometry of partially-commutative groups. We define classes of groups axiomatised by sentences determined by a graph. Among the classes which arise this way we find CSA and CT groups. We study the centraliser dimension of a group, with particular attention to the height of the lattice of centralisers, which we call the centraliser dimension of the group. The behaviour of centraliser dimension under several common group operations is described. Groups with centraliser dimension 2 are studied in detail. It is shown that CT-groups are precisely those with centraliser dimension 2 and trivial centre.


title: Bounds on weights of nearby cycles and Wakimoto sheaves on affine flag manifolds

abstract: We study certain nearby cycles sheaves on an affine flag manifold which arise naturally in the Beilinson-Gaitsgory deformation of the affine flag manifold to the affine Grassmannian. We study the multiplicity functions we introduced in an earlier paper, which encode the data of the Jordan-Hoelder series. We prove the multiplicity functions are polynomials in q, and we give a sharp bound for their degrees. Our results apply as well to the nearby cycles in the p-adic deformation of Laumon-Haines-Ngo, and also to Wakimoto sheaves.


title: The degree of the discriminant of irreducible representations

abstract: We present a formula for the degree of the discriminant of irreducible representations of a Lie group, in terms of the roots of the group and the highest weight of the representation. The proof uses equivariant cohomology techniques, namely, the theory of Thom polynomials, and a new method for their computation. We study the combinatorics of our formulas in various special cases.


title: A Poset Connected to Artin Monoids of Simply Laced Type

abstract: Let W be a Weyl group whose type is a simply laced Dynkin diagram. On several W-orbits of sets of mutually commuting reflections, a poset is described which plays a role in linear representatons of the corresponding Artin group A. The poset generalizes many properties of the usual order on positive roots of W given by height. In this paper, a linear representation of the positive monoid of A is defined by use of the poset.


title: An arguable addition to the standard Deduction Theorems of first order theories

abstract: We consider the immediate consequence of an arguable addition to the standard Deduction Theorems of first order theories.


title: An arguable inconsistency in ZF

abstract: Classical theory proves that every primitive recursive function is strongly representable in PA; that formal Peano Arithmetic, PA, and formal primitive recursive arithmetic, PRA, can both be interpreted in Zermelo-Fraenkel Set Theory, ZF; and that if ZF is consistent, then PA+PRA is consistent. We show that PA+PRA is inconsistent; it follows that ZF, too, is inconsistent.


title: On the Wilf-Stanley limit of 4231-avoiding permutations and a conjecture of Arratia

abstract: We construct a sequence of finite automata that accept subclasses of the class of 4231-avoiding permutations. We thereby show that the Wilf-Stanley limit for the class of 4231-avoiding permutations is bounded below by 9.35. This bound shows that this class has the largest such limit among all classes of permutations avoiding a single permutation of length 4 and refutes the conjecture that the Wilf-Stanley limit of a class of permutations avoiding a single permutation of length k cannot exceed (k-1)^2.


title: Some Remarks on Strichartz Estimates for Homogeneous Wave Equation

abstract: We give several remarks on Strichartz estimates for homogeneous wave equation with special attention to the cases of $L^\infty_x$ estimates, radial solutions and initial data from the inhomogeneous Sobolev spaces. In particular, we give the failure of the endpoint estimate $L^4_t L^\infty_x$ for $n=2$.


title: Boundary manifolds of projective hypersurfaces

abstract: We study the topology of the boundary manifold of a regular neighborhood of a complex projective hypersurface. We show that, under certain Hodge theoretic conditions, the cohomology ring of the complement of the hypersurface functorially determines that of the boundary. When the hypersurface defines a hyperplane arrangement, the cohomology of the boundary is completely determined by the combinatorics of the underlying arrangement and the ambient dimension. We also study the LS category and topological complexity of the boundary manifold, as well as the resonance varieties of its cohomology ring.


title: Values of zeta functions at s=1/2

abstract: We study the behaviour near s=1/2 of zeta functions of varieties over finite fields F_q with q a square. The main result is an Euler-characteristic formula for the square of the special value at s=1/2. The Euler-characteristic is constructed from the Weil-etale cohomology of a certain supersingular elliptic curve.


title: Meromorphic continuation of Multivariable Euler product and application

abstract: This article extends classical one variable results about Euler products defined by integral valued polynomial or analytic functions to several variables. We show there exists a meromorphic continuation up to a presumed natural boundary, and also give a criterion, a la Estermann-Dahlquist, for the existence of a meromorphic extension to $\C^n.$ Among applications we deduce analytic properties of height zeta functions for toric varieties over $\Q$ and group zeta functions.


title: Images of Harmonic Maps with Symmetry

abstract: We show that under certain symmetry, the images of complete harmonic embeddings from the complex plane into the hyperbolic plane is completely determined by the geometric information of the vertical measured foliation and is independent of the horizontal measured foliation of the corresponding Hopf differentials.


title: On Manin's conjecture for singular del Pezzo surfaces of degree four, II

abstract: This paper establishes the Manin conjecture for a certain non-split singular del Pezzo surface of degree four, via an analysis of the corresponding height zeta function.


title: Equivariant maps between sphere bundles over tori and KO-degree

abstract: We show a non-existence result for some class of equivariant maps between sphere bundles over tori. The notion of equivariant KO-degree is used in the proof. As an application to Seiberg-Witten theory, for a connected closed oriented spin 4-manifold with indefinite intersection form, we have a new bound of the second Betti number by the signature and a non-negative integer determined by the quadruple cup product on the first cohomology group and some maps in KO-theory induced from the Albanese map.


title: On infinite groups generated by two quaternions

abstract: Let $x$, $y$ be two integral quaternions of norm $p$ and $l$, respectively, where $p$, $l$ are distinct odd prime numbers. We investigate the structure of $<x,y>$, the multiplicative group generated by $x$ and $y$. Under a certain condition which excludes $<x,y>$ from being free or abelian, we show for example that $<x,y>$, its center, commutator subgroup and abelianization are finitely presented infinite groups. We give many examples where our condition is satisfied and compute as an illustration a finite presentation of the group $<1+j+k, 1+2j>$ having these two generators and seven relations. In a second part, we study the basic question whether there exist commuting quaternions $x$ and $y$ for fixed $p$, $l$, using results on prime numbers of the form $r^2 + m s^2$ and a simple invariant for commutativity.


title: On cohomology rings of infinite groups

abstract: Let R be any ring (with 1), \Gamma a group and R\Gamma the corresponding group ring. Let Ext_{R\Gamma}^{*}(M,M) be the cohomology ring associated to the R\Gamma-module M. Let H be a subgroup of finite index of \Gamma. The following is a special version of our main Theorem: Assume the profinite completion of \Gamma is torsion free. Then an element \zeta in Ext_{R\Gamma}^{*}(M,M) is nilpotent (under Yoneda's product) if and only if its restriction to Ext_{RH}^{*}(M,M)$ is nilpotent. In particular this holds for the Thompson group. There are torsion free groups for which the analogous statement is false.


title: Beurling's Theorem and characterization of heat kernel for Riemannian Symmetric spaces of noncompact type

abstract: We prove Beurling's theorem for rank 1 Riemmanian symmetric spaces and relate it to the characterization of the heat kernel of the symmetric space.


title: Cartan decomposition of the moment map

abstract: We investigate a class of actions of real Lie groups on complex spaces. Using moment map techniques we establish the existence of a quotient and a version of Luna's slice theorem as well as a version of the Hilbert-Mumford criterion. A global slice theorem is proved for proper actions. We give new proofs of results of Mostow on decompositions of groups and homogeneous spaces.


title: Groupe de Picard et groupe de Brauer des compactifications lisses d'espaces homog`enes

abstract: This is a thoroughly revised version of math.AG/0502516v1 (24 Feb. 2005). Let k be a field of characteristic zero. Let Y=G/H, where G is a connected linear algebraic group over k and H is a connected closed k-subgroup of G. Let X be a smooth compactification of Y over k. We prove the conjecture set forward in the previous version : the Galois-lattice given by the geometric Picard group of X is flasque. The previous version had only partial results in this direction. They were obtained at the expense of a long d'etour via local and global fields. We owe the drastic improvement to a suggestion by O. Gabber. The previous version also assumed G semisimple simply connected. We can dispense with this. The result now covers the previously known case Y=G, with G an arbitrary connected linear algebraic group. ----- Ceci est une version enti`erement r'evis'ee de math.AG/0502516v1 (24 f'ev. 2005). Soient k un corps de caract'eristique z'ero, G un k-groupe lin'eaire connexe et H un k-sous-groupe ferm'e connexe de G. Notons Y=G/H. Soit X une k-compactification lisse de Y. Dans la pr'ec'edente version, nous avancions la conjecture : le module galoisien donn'e par le groupe de Picard g'eom'etrique de X (c'est un r'eseau) est un module flasque. Nous 'etablissions des cas particuliers de cette conjecture, sous l'hypoth`ese suppl'ementaire que G est semi-simple simplement connexe, au moyen d'une r'eduction alambiqu'ee au cas des corps p-adiques. Le pr'esent texte, qui doit beaucoup \`a une suggestion d'O. Gabber, 'etablit la conjecture dans le cas g'en'eral.


title: Cohomology of partially ordered sets and local cohomology of section rings

abstract: We study local cohomology of rings of global sections of sheafs on the Alexandrov space of a partially ordered set. We give a criterion for a splitting of the local cohomology groups into summands determined by the cohomology of the poset and the local cohomology of the stalks. The face ring of a rational pointed fan can be considered as the ring of global sections of a flasque sheaf on the face poset of the fan. Thus we obtain a decomposition of the local cohomology of such face rings. Since the Stanley-Reisner ring of a simplicial complex is the face ring of a rational pointed fan, our main result can be interpreted as a generalization of Hochster's decomposition of local cohomology of Stanley-Reisner rings.


title: Calculus of the first non-trivial 1-cocycle of the space of long knots

abstract: For the space of long knots in R^3, Vassiliev's theory defines the so called finite order cocycles. Zero degree cocycles are finite type knot invariants. The first non-trivial cocycle of positive dimension in the space of long knots has dimension one and order three. We apply Vassiliev's combinatorial formula, and find the value mod 2 of this cocycle on the 1-cycles that are obtained by dragging knots one along the other or by rotating around a fixed line.


title: Weil-Petersson perspectives

abstract: We highlight recent progresses in the study of the Weil-Petersson (WP) geometry of finite dimensional Teichm\"{u}ller spaces. For recent progress on and the understanding of infinite dimensional Teichm\"{u}ller spaces the reader is directed to the recent work of Teo-Takhtajan. As part of the highlight, we also present possible directions for future investigations.


title: A Sextic with 35 Cusps

abstract: Recently, W. Barth and S. Rams discussed sextics with up to 30 $A_2$-singularities (also called cusps) and their connection to coding theory [math.AG/0403018]. In the present paper, we find a sextic with 35 cusps within a four-parameter family of surfaces of degree 6 in projective three-space with dihedral symmetry $D_5$. This narrows the possibilities for the maximum number $\mu_{A_2}(6)$ of $A_2$-singularities on a sextic to $35 \le \mu_{A_2}(6) \le 37$. To construct this surface, we use a general algorithm in characteristic zero for finding hypersurfaces with many singularities within a family.


title: The hook fusion procedure

abstract: We derive a new expression for the diagonal matrix elements of irreducible representations of the symmetric group. We obtain this new expression using Cherednik's fusion procedure. However, instead of splitting Young diagrams into their rows or columns, we consider their principal hooks. This minimises the number of auxiliary parameters needed in the fusion procedure.


title: Half-Line non-self-adjoint Schr\"odinger operators with polynomial potentials: Asymptotics of eigenvalues

abstract: For integers $m\geq 3$, we study the non-self-adjoint eigenvalue problems $-u^{\prime\prime}(x)+(x^m+P(x))u(x)=E u(x)$, $0\leq x<+\infty$, with the boundary conditions $u(+\infty)=0$ and $\alpha u(0)+\beta u^{\prime}(0)=0$ for some $\alpha, \beta\in\C$ with $|\alpha|+|\beta|\not=0$, where $P(x)=a_1 x^{m-1}+a_2 x^{m-2}+...+a_{m-1} x$ is a polynomial. We provide asymptotic expansions of the eigenvalue counting function and the eigenvalues $E_{n}$. Then we apply these to the inverse spectral problem, reconstructing some coefficients of polynomial potentials from asymptotic expansions of the eigenvalues.


title: On open normal subgroups of parahorics

abstract: Let $F$ be a local complete field with discrete valuation, and let $G$ be a quasi-split group over $F$ which splits over some unramified extension of $F$. Let $P$ be a parahoric subgroup of the group $G(F)$ of $F$-points of $G$; t he open normal pro-nilpotent subgroups of $P$ can be classified using the standa rd normal filtration subgroups of Prasad and Raghanathan. More precisely, we sho w that if $G$ is quasi-simple and satisfies some additional conditions, $H$ is, modulo a subgroup of some maximal torus of $G$, either one of these filtration s ubgroups or the product of one of them by a standard normal filtration subgroup of $P\cap M$, where $M$ is a proper Levi subgroup of $G$.


title: Paraconformal geometry of $n$th order ODEs, and exotic holonomy in dimension four

abstract: We characterise $n$th order ODEs for which the space of solutions $M$ is equipped with a particular paraconformal structure in the sense of \cite{BE}, that is a splitting of the tangent bundle as a symmetric tensor product of rank-two vector bundles. This leads to the vanishing of $(n-2)$ quantities constructed from of the ODE. If $n=4$ the paraconformal structure is shown to be equivalent to the exotic ${\cal G}_3$ holonomy of Bryant. If $n=4$, or $n\geq 6$ and $M$ admits a torsion--free connection compatible with the paraconformal structure then the ODE is trivialisable by point or contact transformations respectively. If $n=2$ or 3 $M$ admits an affine paraconformal connection with no torsion. In these cases additional constraints can be imposed on the ODE so that $M$ admits a projective structure if $n=2$, or an Einstein--Weyl structure if $n=3$. The third order ODE can in this case be reconstructed from the Einstein--Weyl data.


title: The Betti numbers of Mbar_{0,n}(r,d)

abstract: We calculate the Betti numbers of the coarse moduli space of stable maps of genus 0 to projective space, using a generalization of the Legendre transform.


title: Convexity of geodesic-length functions: a reprise

abstract: New results on the convexity of geodesic-length functions on Teichm\"{u}ller space are presented. A formula for the Hessian of geodesic-length is presented. New bounds for the gradient and Hessian of geodesic-length are described. A relationship of geodesic-length functions to Weil-Petersson distance is described. Applications to the behavior of Weil-Petersson geodesics are discussed.


title: Khovanov's invariant for closed surfaces

abstract: We compute the Khovanov-Jacobsson number of an embedded torus in R^4. The answer is always 2, regardless of the embedding.


title: Geometry of the Weil-Petersson completion of Teichm\"uller space

abstract: We present a view of the current understanding of the geometry of Weil-Petersson (WP) geodesics on the completion of the Teichm\"uller space. We sketch a collection of results by other authors and then proceed to develop the properties of the WP CAT(0) geometry. Our approach includes a simplified proof of the Masur-Wolf theorem, a classification of flats and of geodesic limits.


title: Conjugacy results for the Lie algebra sl_2 over an algebra which is a UFD

abstract: Let F be a field of characteristic not 2 and assume all algebras are over F. We establish several conjugacy theorems for the special linear Lie algebra sl_2 over an F-algebra which is a UFD. We find the structure of the full automorphism group as well as conditions for when two such algebras are isomorphic. We also study the structure of their derivation algebras. Often we work with more general coordinates when this if feasible.


title: The rate of convergence of the mean curvature flow

abstract: We study the flow $M_t$ of a smooth, strictly convex hypersurface by its mean curvature in $\mathrm{R}^{n+1}$. The surface remains smooth and convex, shrinking monotonically until it disappears at a critical time $T$ and point $x^*$ (which is due to Huisken). This is equivalent to saying that the corresponding rescaled mean curvature flow converges to a sphere ${\bf S^n}$ of radius $\sqrt{n}$. In this paper we will study the rate of exponential convergence of a rescaled flow. We will present here a method that tells us the rate of the exponential decay is at least $\frac{2}{n}$. We can define the ''arrival time'' $u$ of a smooth, strictly convex $n$-dimensional hypersurface as it moves with normal velocity equal to its mean curvature as $u(x) = t$, if $x\in M_t$ for $x\in \Int(M_0)$. Huisken proved that for $n\ge 2$ $u(x)$ is $C^2$ near $x^*$. The case $n=1$ has been treated by Kohn and Serfaty, they proved $C^3$ regularity of $u$. As a consequence of obtained rate of convergence of the mean curvature flow we prove that $u$ is not $C^3$ near $x^*$ for $n\ge 2$. We also show that the obtained rate of convergence $2/n$, that comes out from linearizing a mean curvature flow is the optimal one, at least for $n\ge 2$.


title: Pseudo-conformal quaternionic CR structure on (4n+3)-dimensional manifolds

abstract: The purpose of this paper is to introduce a geometric structure called pseudo-conformal quaternionic CR structure on a (4n+3)-dimensional mamnifold and then exhibit a quaternionic analogue of Chern-Moser's CR structure and uniformization.


title: Some identities for the Catalan and Fine numbers

abstract: We establish combinatorial interpretations of several identities for the Catalan and Fine numbers and, along the way, we present some new bijections of independent interest. Briefly, we show that C_{n} = 1/(n+1) Sum_{k} (n+1)choose(2k+1) (n+k)choose(k) counts ordered trees on n edges by number of interior vertices adjacent to a leaf, and C_{n} = 2/(n+1) Sum_{k} (n+1)choose(k+2) (n-2)choose(k) counts Dyck n-paths by number of long interior inclines. We also give an analogue for the Fine numbers of Touchard's Catalan number identity.


title: Rigidity and modularity of vertex tensor categories

abstract: Let V be a simple vertex operator algebra satisfying the following conditions: (i) The homogeneous subspaces of V of weights less than 0 are 0, the homogeneous subspace of V of weight 0 is spanned by the vacuum and V' is isomorphic to V as a V-module. Every weak V-module gradable by nonnegative integers is completely reducible. (iii) V is C_2-cofinite. (In the presence of Condition (i), Conditions (ii) and (iii) are equivalent to a single condition, namely, that every weak V-module is completely reducible.) Using the results obtained by the author in the formulation and proof of the general version of the Verlinde conjecture and in the proof of the Verlinde formula, we prove that the braided tensor category structure on the category of V-modules is rigid, balanced and nondegenerate. In particular, the category of V-modules has a natural structure of modular tensor category. We also prove that the tensor-categorical dimension of an irreducible V-module is the reciprocal of a suitable matrix element of the fusing isomorphism under a suitable basis.


title: Rational and trigonometric degeneration of the double affine Hecke algebra of type $A$

abstract: We study a connection between the representation theory of the rational Cherednik algebra of type $GL_n$ and the representation theory of the degenerate double affine Hecke algebra (the degenerate DAHA). We focus on an algebra embedding from the rational Cherednik algebra to the degenerate DAHA and investigate the induction functor through this embedding. We prove that this functor embeds the category ${\mathcal O}$ for the rational Cherednik algebra fully faithfully into the category ${\mathcal O}$ for the degenerate DAHA. We also study the full subcategory ${\mathcal O}^{ss}$ of ${\mathcal O}$ consisting of those modules which are semisimple with respect to the commutative subalgebra generated by Cherednik-Dunkl operators. A classification of all irreducible modules in ${\mathcal O}^{ss}$ for the rational Cherednik algebra is obtained from the corresponding result for the degenerate DAHA.


title: The empirical eigenvalue distribution of a Gram matrix: From independence to stationarity

abstract: Consider a $N\times n$ random matrix $Z_n=(Z^n_{j_1 j_2})$ where the individual entries are a realization of a properly rescaled stationary gaussian random field. The purpose of this article is to study the limiting empirical distribution of the eigenvalues of Gram random matrices such as $Z_n Z_n ^*$ and $(Z_n +A_n)(Z_n +A_n)^*$ where $A_n$ is a deterministic matrix with appropriate assumptions in the case where $n\to \infty$ and $\frac Nn \to c \in (0,\infty)$. The proof relies on related results for matrices with independent but not identically distributed entries and substantially differs from related works in the literature (Boutet de Monvel et al., Girko, etc.).


title: The first eigenvalue of the Dirac operator on locally reducible Riemannian manifolds

abstract: We prove a lower estimate for the first eigenvalue of the Dirac operator on a compact locally reducible Riemannian spin manifold with positive scalar curvature. We determine also the universal covers of the manifolds on which the smallest possible eigenvalue is attained.


title: Partial-Fraction Decompositions and Harmonic Number Identities

abstract: By means of partial fraction method, we investigate the decomposition of rational functions. Several striking identities on harmonic numbers and generalized Apery numbers will be established, including the binomial-harmonic number identity associated with Beukers' conjecture on Apery numbers.


title: Eine Bemerkung zu einem Satz von E. Becker und D. Gondard

abstract: Given a smooth, projective irreducible variety over the reals, various algebraic formulas have been given for the number of real connected components of the set of real points. In this note I compare a formula of E. Becker and D. Gondard (1995) with a formula I gave in 1978. I show how one may deduce one from the other by using a purity theorem of M. Rost (1990). ----- E. Becker und D. Gondard haben eine algebraische Formel fuer die Anzahl von Zusammenhangskomponenten des Raumes der reellen Punkte einer reellen, glatten, projektiven Varietaet gebegen. In einer viel frueheren Arbeit hatte ich eine andere algebraische Formel fuer diese Anzahl gegeben. In dieser Note zeige ich, wie man direkt von einer Formel zur anderen gehen kann. Dabei wird ein Reinheitssatz von M. Rost angewandt.


title: Application of the HLSVD technique to the filtering of X-ray diffraction data

abstract: A filter based on the Hankel Lanczos Singular Value Decomposition (HLSVD) technique is presented and applied for the first time to X-ray diffraction (XRD) data. Synthetic and real powder XRD intensity profiles of nanocrystals are used to study the filter performances with different noise levels. Results show the robustness of the HLSVD filter and its capability to extract easily and efficiently the useful crystallographic information. These characteristics make the filter an interesting and user-friendly tool for processing XRD data.


title: Manifolds with parallel differential forms and Kaehler identities for G_2-manifolds

abstract: Let M be a compact Riemannian manifold equipped with a parallel differential form \omega. We prove a version of Kaehler identities in this setting. This is used to show that the de Rham algebra of M is weakly equivalent to its subquotient $(H^*_c(M), d)$, called {\bf the pseudocohomology} of M. When M is compact and Kaehler and \omega is its Kaehler form, $(H^*_c(M), d)$ is isomorphic to the cohomology algebra of M. This gives another proof of homotopy formality for Kaehler manifolds, originally shown by Deligne, Griffiths, Morgan and Sullivan. We compute $H^i_c(M)$ for a compact G_2-manifold, showing that it is isomorphic to cohomology unless i=3,4. For i=3,4, we compute $H^*_c(M)$ explicitly in terms of the first order differential operator $*d: \Lambda^3(M)\arrow \Lambda^3(M)$.


title: Cohen-Macaulay cell complexes

abstract: We show that a finite regular cell complex with the intersection property is a Cohen-Macaulay space iff the top enriched cohomology module is the only nonvanishing one. We prove a comprehensive generalization of Balinski's theorem on convex polytopes. Also we show that for any Cohen-Macaulay cell complex as above, although there is no generalization of the Stanley-Reisner ring of simplicial complexes, there is a generalization of its canonical module.


title: The bipartite Brill-Gordan locus and angular momentum

abstract: This paper is a sequel to math.AG/0411110. Let P denote the projective space of degree d forms in n+1 variables. Let e denote an integer < d/2, and consider the subvariety X of forms which factor as L^{d-e} M^e for some linear forms L,M. In the language of our earlier paper, this is the Brill-Gordan locus associated to the partition (d-e,e). In this paper we calculate the Castelnuovo regularity of X precisely, and moreover show that X is r-normal for r at least 3. In the case of binary forms, we give a classical invariant-theoretic description of the defining equations of this locus in terms of covariants of d-ics. Modulo standard cohomological arguments, the proof crucially relies upon showing that certain 3j-symbols from the quantum theory of angular momentum are nonzero.


title: Continuity of volumes -- on a generalization of a conjecture of J. W. Milnor

abstract: In his paper "On the Schlafli differential equality", J. Milnor conjectured that the volume of n-dimensional hyperbolic and spherical simplices, as a function of the dihedral angles, extends continuously to the closure of the space of allowable angles. A proof of this has recently been given by F. Luo (see math.GT/0412208). In this paper we give a simple proof of this conjecture, prove much sharper regularity results, and then extend the method to apply to a large class of convex polytopes. The simplex argument works without change in dimensions greater than 3 (and for spherical simplices in all dimensions), so the bulk of this paper is concerned with the three-dimensional argument. The estimates relating the diameter of a polyhedron to the length of the systole of the polar polyhedron are of independent interest.


title: On limit sets for the discrete spectrum of complex Jacobi matrices

abstract: The discrete spectrum of complex Jacobi matrices that are compact perturbations of the discrete laplacian is under consideration. The rate of stabilization for the the matrix entries which provides finiteness of the discrete spectrum and is sharp in the sense of order is found. The Jacobi matrix with the discrete spectrum having a single limit point is constructed. The results can be viewed as the discrete analogs of the well known theorems by B.S. Pavlov about Schr\"odinger operators on the half line with a complex potential.


title: The topology of 3-manifolds, Heegaard distance and the mapping class group of a 2-manifold

abstract: This article is the author's contribution to the volume "Problems on mapping class groups and related topics" which will be published in December 2006, with Benson Farb as Editor. Various individuals were invited by Farb to submit open problems which seemed interesting to them about surface mapping class groups. We singled out a particular recent development, Hempel's concept of the `Heegaard distance' of an element in the mapping class group, and used it to describe a number of open questions which relate to the correspondence between Heegaard surfaces in 3-manifolds and the mapping class group of a 2-manifold.


title: A Characterization of Quintic Helices

abstract: A polynomial curve of degree 5, $\alpha$, is a helix, if and only if both $||\alpha^'||$ and $||\alpha^'\wedge \alpha^{''}||$ are polynomial functions.


title: A pairing between graphs and trees

abstract: We develop a canonical pairing between trees and graphs, which passes to their quotients by Jacobi identities. This pairing is an effective and simple tool for understanding the Lie and Poisson operads, providing canonical duals. In the course of showing that this pairing is perfect we reprove some standard facts about the modules Lie(n), establishing standard bases as well as giving a new means to reduce to those bases. We then move on to define duals to free Lie algebras and to develop product, coproduct and operad structures. We give a brief account here to be built on in a number of different directions in future work.


title: Preservation of log-concavity on summation

abstract: We extend Hoggar's theorem that the sum of two independent discrete-valued log-concave random variables is itself log-concave. We introduce conditions under which the result still holds for dependent variables. We argue that these conditions are natural by giving some applications. Firstly, we use our main theorem to give simple proofs of the log-concavity of the Stirling numbers of the second kind and of the Eulerian numbers. Secondly, we prove results concerning the log-concavity of the sum of independent (not necessarily log-concave) random variables.


title: Divorcing pressure from viscosity in incompressible Navier-Stokes dynamics

abstract: We show that in bounded domains with no-slip boundary conditions, the Navier-Stokes pressure can be determined in a such way that it is strictly dominated by viscosity. As a consequence, in a general domain we can treat the Navier-Stokes equations as a perturbed vector diffusion equation, instead of as a perturbed Stokes system. We illustrate the advantages of this view in a number of ways. In particular, we provide simple proofs of (i) local-in-time existence and uniqueness of strong solutions for an unconstrained formulation of the Navier-Stokes equations, and (ii) the unconditional stability and convergence of difference schemes that are implicit only in viscosity and explicit in both pressure and convection terms, requiring no solution of stationary Stokes systems or inf-sup conditions.


title: Frobenius algebras and ambidextrous adjunctions

abstract: In this paper we explain the relationship between Frobenius objects in monoidal categories and adjunctions in 2-categories. In particular, we show that every Frobenius object in a monoidal category M arises from an ambijunction (simultaneous left and right adjoints) in some 2-category D into which M fully and faithfully embeds. Since a 2D topological quantum field theory is equivalent to a commutative Frobenius algebra, this result also shows that every 2D TQFT is obtained from an ambijunction in some 2-category. Our theorem is proved by extending the theory of adjoint monads to the context of an arbitrary 2-category and utilizing the free completion under Eilenberg-Moore objects. We then categorify this theorem by replacing the monoidal category M with a semistrict monoidal 2-category M, and replacing the 2-category D into which it embeds by a semistrict 3-category. To state this more powerful result, we must first define the notion of a `Frobenius pseudomonoid', which categorifies that of a Frobenius object. We then define the notion of a `pseudo ambijunction', categorifying that of an ambijunction. In each case, the idea is that all the usual axioms now hold only up to coherent isomorphism. Finally, we show that every Frobenius pseudomonoid in a semistrict monoidal 2-category arises from a pseudo ambijunction in some semistrict 3-category.


title: A generalization of Rado's Theorem for almost graphical boundaries

abstract: In this paper, we prove a generalization of Rado's Theorem, a fundamental result of minimal surface theory, which says that minimal surfaces over a convex domain with graphical boundaries must be disks which are themselves graphical. We will show that, for a minimal surface of any genus, whose boundary is "almost graphical" in some sense, that the surface must be graphical once we move sufficiently far from the boundary.


title: Vertices and inflexions of plane sections of surfaces in R^3

abstract: We investigate the behaviour of vertices and inflexions on 1-parameter families of curves on smooth surfaces in the 3-space, which include a singular member. In particular, we discuss the context where the curves evolve as sections of a smooth surface by parallel planes. More precisely we will trace the patterns of inflexions and vertices (maxima and minima of curvature) on the sections of a surface as the section passes through a tangential point. We also keep track on the evolution of the curvature of the curves at vertices and control its limit when the vertices collapse at singular points. In particular, we cover all the generic cases, namely when the tangential points are elliptic (A1), umbilic (A1), hyperbolic(A1), parabolic (A2) and cusp of Gauss (A3) points. This has some applications in Computer vision and is also related to interesting mathematical problems such as Legendrian collapse, foliations of surfaces, the 4-vertex Theorem or in general the behaviour of vertices and inflexions in parameter families of curves etc.


title: Relative completions and $K_2$ of curves

abstract: We compute the completion of the special linear group over the coordinate ring of a curve over a number field $k$ relative to its representation in $\slnk$, and relate this to the study of $K_2$ of the curve.


title: Characterizations of modules of finite projective dimension over complete intersections

abstract: Let $M$ be a finitely generated module over a local complete intersection $R$ of characteristic $p>0$. The property that $M$ has finite projective dimension can be characterized by the vanishing of $\ext_R^i({}^{f^n} R,M)$ for some $i>0$ and for some $n>0$.


title: Semi-Classical Behavior of the Spectral Function

abstract: We study the semi-classical behavior of the spectral function of the Schr\"{o}dinger operator with short range potential. We prove that the spectral function is a semi-classical Fourier integral operator quantizing the forward and backward flow relations of the system. Under a certain geometric condition we explicitly compute the phase in an oscillatory integral representation of the spectral function.


title: Functional calculus and spectral asymptotics for hypoelliptic operators on Heisenberg Manifolds. I

abstract: This paper is part of a series papers devoted to geometric and spectral theoretic applications of the hypoelliptic calculus on Heisenberg manifolds. More specifically, in this paper we make use of the Heisenberg calculus of Beals-Greiner and Taylor to analyze the spectral theory of hypoelliptic operators on Heisenberg manifolds. The main results of this paper include: (i) Obtaining complex powers of hypoelliptic operators as holomorphic families of Psi_{H}DO's, which can be used to define a scale of weighted Sobolev spaces interpolating the weighted Sobolev spaces of Folland-Stein and providing us with sharp regularity estimates for hypoelliptic operators on Heisenberg manifolds; (ii) Criterions on the principal symbol of $P$ to invert the heat operator $P+\partial_{t}$ and to derive the small time heat kernel asymptotics for $P$; (iii) Weyl asymptotics for hypoelliptic operators which can be reformulated geometrically for the main geometric operators on CR and contact manifolds, that is, the Kohn Laplacian, the horizontal sublaplacian and its conformal powers, as well as the contact Laplacian. For dealing with complex powers of hypoelliptic operators we cannot make use of the standard approach of Seeley, so we rely on a new approach based on the pseudodifferential approach representation of the heat kernel. This is especially suitable for dealing with positive hypoelliptic operators. We will deal with more general operator in a forthcoming paper using another new approach.


title: Projective multiresolution analyses for dilations in higher dimensions

abstract: We continue the study of projective module wavelet frames corresponding to diagonal dilation matrices on $\mathbb R^n$ with integer entries, focusing on the construction of a projective multi-resolution analysis corresponding to dilations whose domains are finitely generated projective modules over continuous complex-valued functions on $n$-tori, $n\geq 3$. We are able to generalize some of these results to dilation matrices that are conjugates of integral diagonal dilation matrices by elements of $SL(n,\mathbb Z).$ We follow the method proposed by the author and M. Rieffel, and are able to come up with examples of non-free projective module wavelet frames which can be described via this construction. As an application of our results, in the case $n=3,$ when the dilation matrix is a constant multiple of the identity, we embed every finitely generated module as an initial module.


title: Vertex operator algebras, fusion rules and modular transformations

abstract: We discuss a recent proof by the author of a general version of the Verlinde conjecture in the framework of vertex operator algebras and the application of this result to the construction of modular tensor tensor category structure on the category of modules for a vertex operator algebra.


title: Fisher Information Matrix of General Stable Distributions Close to the Normal Distribution

abstract: We investigate behavior of the Fisher information matrix of general stable distributions. DuMouchel (1975, 1983) proved that the Fisher information of characteristic exponent \alpha diverges to infinity as \alpha approaches 2. Nagaev and Shkol'nik (1988) made more detailed analysis and derived asymptotic behavior of the Fisher information matrix of \alpha diverging to infinity as \alpha approaches 2 in the symmetric case. Extending their work in this paper we have obtained behavior of the Fisher information matrix of general stable distributions as \alpha approaches 2 by detailed study of behavior of the corresponding density and its score functions. We clarify the limiting values of the 4*4 Fisher Information matrix with respect to the location \mu, the scale \sigma, the characteristic exponent \alpha and the skewness parameter \beta.


title: Notes on p-adic numbers

abstract: These notes deal with some basic notions related to p-adic numbers and functions of p-adic numbers.


title: The centroid of extended affine and root graded Lie algebras

abstract: We develop general results on centroids of Lie algebras and apply them to determine the centroid of extended affine Lie algebras, loop-like and Kac-Moody Lie algebras, and Lie algebras graded by finite root systems.


title: Categorical Groups, Knots and Knotted Surfaces

abstract: We define a knot invariant and a 2-knot invariant from any finite categorical group. We calculate an explicit example for the Spun Trefoil.


title: On Normal Subgroups of Coxeter Groups Generated by Standard Parabolic Subgroups

abstract: We discuss one construction of nonstandard subgroups in the category of Coxeter groups. Two formulae for the growth series of such a subgroups are given. As an application we construct a flag simple convex polytope, whose f-polynomial has non-real roots.


title: Line tangents to four triangles in three-dimensional space

abstract: We investigate the lines tangent to four triangles in R^3. By a construction, there can be as many as 62 tangents. We show that there are at most 162 connected components of tangents, and at most 156 if the triangles are disjoint. In addition, if the triangles are in (algebraic) general position, then the number of tangents is finite and it is always even.


title: On \emptyset-definable elements in a field

abstract: Let K be a field and \tilde{K} denote the set of all r \in K for which there exists a finite set A(r) with {r} \subseteq A(r) \subseteq K such that each mapping f:A(r) \to K that satisfies: if 1 \in A(r) then f(1)=1, if a,b \in A(r) and a+b \in A(r) then f(a+b)=f(a)+f(b), if a,b \in A(r) and a \cdot b \in A(r) then f(a \cdot b)=f(a) \cdot f(b), satisfies also f(r)=r. We prove: \tilde{K} is a subfield of K, \tilde{K}={x \in K: {x} is existentially first-order definable in the language of rings without parameters}, if some subfield of K is algebraically closed then \tilde{K} is the prime field in K, some elements of \tilde{K} are transcendental over Q (over R, over Q_p) for a large class of fields K that are finitely generated over Q (that extend R, that extend Q_p), if K is a Pythagorean subfield of R, t is transcendental over K, and r \in K is recursively approximable, then {r} is \emptyset-definable in (K(t),+,\cdot,0,1), if a real number r is recursively approximable then {r} is existentially \emptyset-definable in (R,+,\cdot,0,1,U) for some unary predicate U which is implicitly \emptyset-definable in (R,+,\cdot,0,1).


title: Exact Polynomial Eigenmodes for Homogeneous Spherical 3-Manifolds

abstract: Observational data hints at a finite universe, with spherical manifolds such as the Poincare dodecahedral space tentatively providing the best fit. Simulating the physics of a model universe requires knowing the eigenmodes of the Laplace operator on the space. The present article provides explicit polynomial eigenmodes for all globally homogeneous 3-manifolds: the Poincare dodecahedral space S3/I*, the binary octahedral space S3/O*, the binary tetrahedral space S3/T*, the prism manifolds S3/D_m* and the lens spaces L(p,1).


title: Finite covers of random 3-manifolds

abstract: A 3-manifold is Haken if it contains a topologically essential surface. The Virtual Haken Conjecture posits that every irreducible 3-manifold with infinite fundamental group has a finite cover which is Haken. In this paper, we study random 3-manifolds and their finite covers in an attempt to shed light on this difficult question. In particular, we consider random Heegaard splittings by gluing two handlebodies by the result of a random walk in the mapping class group of a surface. For this model of random 3-manifold, we are able to compute the probabilities that the resulting manifolds have finite covers of particular kinds. Our results contrast with the analogous probabilities for groups coming from random balanced presentations, giving quantitative theorems to the effect that 3-manifold groups have many more finite quotients than random groups. The next natural question is whether these covers have positive betti number. For abelian covers of a fixed type over 3-manifolds of Heegaard genus 2, we show that the probability of positive betti number is 0. In fact, many of these questions boil down to questions about the mapping class group. We are lead to consider the action of mapping class group of a surface S on the set of quotients pi_1(S) -> Q. If Q is a simple group, we show that if the genus of S is large, then this action is very mixing. In particular, the action factors through the alternating group of each orbit. This is analogous to Goldman's theorem that the action of the mapping class group on the SU(2) character variety is ergodic.


title: Semi-classical spectral estimates for Schr\"odinger operators at a critical level. Case of a degenerate maximum of the potential

abstract: We study the semi-classical trace formula at a critical energy level for a Schr\"odinger operator on $\mathbb{R}^{n}$. We assume here that the potential has a totally degenerate critical point associated to a local maximum. The main result, which establishes the contribution of the associated equilibrium in the trace formula, is valid for all time in a compact subset of $\mathbb{R}$ and includes the singularity in $t=0$. For these new contributions the asymptotic expansion involves the logarithm of the parameter $h$. Depending on an explicit arithmetic condition on the dimension and the order of the critical point, this logarithmic contribution can appear in the leading term.


title: Hypoellipticity for linear degenerate elliptic systems in Carnot groups and applications

abstract: We prove that if u is a weak solution to a constant coefficient system (with strong ellipticity assumed along the horizontal direction) in a Carnot group (no restriction on the step), then u is actually smooth. We then use this result to develop blow-up analysis to prove a partial regularity result for weak solutions of certain non-linear systems.


title: Discrete interpolation between monotone probability and free probability

abstract: We construct a sequence of states called m-monotone product states which give a discrete interpolation between the monotone product of states of Muraki and the free product of states of Avitzour and Voiculescu in free probability. We derive the associated basic limit theorems and develop the combinatorics based on non-crossing ordered partitions with monotone order starting from depth m. The Hilbert space representations of the limit mixed moments in the invariance principle lead to m-monotone Gaussian operators living in m-monotone Fock spaces, which are truncations of the free Fock space over the square-integrable functions on the non-negative real line (m=1 gives the monotone Fock space). A new type of combinatorics of inner blocks leads to explicit formulas for the mixed moments of m-monotone Gaussian operators, which are new even in the case of monotone independent Gaussian operators with arcsine distributions.


title: Deformations and Fourier-Mukai transforms

abstract: The aim of this paper is twofold: First we give an explicit construction of the infinitesimal deformations of the category Coh(X) of coherent sheaves on a smooth projective variety X. Secondly we show that any Fourier-Mukai transform $/Phi/colon D^b(X)/to D^b(Y)$ extends to an equivalence between the derived categories of the deformed Abelian categories.


title: Reduction of Vaisman structures in complex and quaternionic geometry

abstract: We consider locally conformal Kaehler geometry as an equivariant (homothetic) Kaehler geometry: a locally conformal Kaehler manifold is, up to equivalence, a pair (K,\Gamma) where K is a Kaehler manifold and \Gamma a discrete Lie group of biholomorphic homotheties acting freely and properly discontinuously. We define a new invariant of a locally conformal Kaehler manifold (K,\Gamma) as the rank of a natural quotient of \Gamma, and prove its invariance under reduction. This equivariant point of view leads to a proof that locally conformal Kaehler reduction of compact Vaisman manifolds produces Vaisman manifolds and is equivalent to a Sasakian reduction. Moreover we define locally conformal hyperkaehler reduction as an equivariant version of hyperkaehler reduction and in the compact case we show its equivalence with 3-Sasakian reduction. Finally we show that locally conformal hyperkaehler reduction induces hyperkaehler with torsion (HKT) reduction of the associated HKT structure and the two reductions are compatible, even though not every HKT reduction comes from a locally conformal hyperkaehler reduction.


title: On deformations of flag manifolds with B2=1

abstract: Why withdrawn: Main theorem can only be proved, if the flag manifold F with b2=1 is additionally hermitian symmetric.Mistake made at the following place: If F is not hermitian symmetric, certain vector fields are not left invariant


title: The functional equation of the zeta function of a global field

abstract: We write down the functional equation of the zeta function of a global field. This equation is implicit in Weil's ``Basic Number Theory''.


title: Metrics that realize all Lorentzian holonomy algebras

abstract: All candidates to the weakly-irreducible not irreducible holonomy algebras of Lorentzian manifolds are known. In the present paper metrics that realize all these candidates as holonomy algebras are given. This completes the classification of the Lorentzian holonomy algebras. Also new examples of metrics with the holonomy algebras $g_2\zr\Real^7\subset\so(1,8)$ and $\spin(7)\zr\Real^8\subset\so(1,9)$ are constructed.


title: Iterated integrals of modular forms and noncommutative modular symbols

abstract: The main goal of this paper is to study properties of the iterated integrals of modular forms in the upper halfplane, eventually multiplied by $z^{s-1}$, along geodesics connecting two cusps. This setting generalizes simultaneously the theory of modular symbols and that of multiple zeta values


title: Alternative stable homotopy classification of p-completed classifying spaces

abstract: We give an alternative to the stable classification of p-completed homotopy types of classifying spaces of finite groups offered by Martino-Priddy. For a finite group G with Sylow subgroup S, we regard the stable p-completed classifying space of G as an object under the stable p-completed classifying space of S via the canonical inclusion map. Thus we get a classification in terms of induced fusion systems. Applying Oliver's solution to the Martino-Priddy conjecture, we obtain the surprising result that the unstable p-completed homotopy type of BG is determined by the stable p-completed inclusion of BS in BG, but not by the stable p-completed homotopy type of BG.


title: Manifolds with multiplication on the tangent sheaf

abstract: This is a survey of the current state of the theory of $F$--(super)manifolds $(M,\circ)$, first defined in [HeMa] and further developed in [He], [Ma2], [Me1]. Here $\circ$ is an $\Cal{O}_M$--bilinear multiplication on the tangent sheaf $\Cal{T}_M$, satisfying an integrability condition. $F$--manifolds and compatible flat structures on them furnish a useful weakening of Dubrovin's Frobenius structure which naturally arises in the quantum $K$--theory, theory of extended moduli spaces, and unfolding spaces of singularities.


title: Counting Connected Graphs Asymptotically

abstract: We find the asymptotic number of connected graphs with $k$ vertices and $k-1+l$ edges when $k,l$ approach infinity, reproving a result of Bender, Canfield and McKay. We use the {\em probabilistic method}, analyzing breadth-first search on the random graph $G(k,p)$ for an appropriate edge probability $p$. Central is analysis of a random walk with fixed beginning and end which is tilted to the left.


title: Random graphs with arbitrary i.i.d. degrees

abstract: In this paper we derive results concerning the connected components and the diameter of random graphs with an arbitrary i.i.d. degree sequence. We study these properties primarily, but not exclusively, when the tail of the degree distribution is regularly varying with exponent $1-\tau$. There are three distinct cases: (i) $\tau>3$, where the degrees have finite variance, (ii) $\tau\in (2,3)$, where the degrees have infinite variance, but finite mean, and (iii) $\tau\in (1,2)$, where the degrees have infinite mean. These random graphs can serve as models for complex networks where degree power laws are observed. Our results are twofold. First, we give a criterion when there exists a unique largest connected component of size proportional to the size of the graph, and study sizes of the other connected components. Secondly, we establish a phase transition for the diameter when $\tau \in (2,3)$. Indeed, we show that for $\tau>2$ and when nodes with degree 2 are present with positive probability, the diameter of the random graph is, with high probability, bounded below by a constant times the logarithm of the size of the graph. On the other hand, assuming that all degrees are at least 3 or more, we show that, for $\tau \in (2,3)$, the diameter of the graph is with high probability bounded from above by a constant times the $\log \log$ of the size of the graph.


title: Distances in random graphs with finite mean and infinite variance degrees

abstract: In this paper we study random graphs with independent and identically distributed degrees of which the tail of the distribution function is regularly varying with exponent $\tau\in (2,3)$. The number of edges between two arbitrary nodes, also called the graph distance or hopcount, in a graph with $N$ nodes is investigated when $N\to \infty$. When $\tau\in (2,3)$, this graph distance grows like $2\frac{\log\log N}{|\log(\tau-2)|}$. In different papers, the cases $\tau>3$ and $\tau\in (1,2)$ have been studied. We also study the fluctuations around these asymptotic means, and describe their distributions. The results presented here improve upon results of Reittu and Norros, who prove an upper bound only.


title: Transcendance de p\'eriodes: \'etat des connaissances

abstract: Les nombres r\'eels ou complexes forment un ensemble ayant la puissance du continu. Parmi eux, ceux qui sont int\'eressants, qui apparaissent naturellement, qui m\'eritent notre attention, forment un ensemble d\'enombrable. Dans cet \'etat d'esprit nous nous int\'eressons aux p\'eriodes au sens de Kontsevich et Zagier. Nous faisons le point sur l'\'etat de nos connaissances concernant la nature arithm\'etique de ces nombres: d\'ecider si une p\'eriode est un nombre rationnel, alg\'ebrique irrationnel ou au contraire transcendant est l'objet de quelques th\'eor\`emes et de beaucoup de conjectures. Nous pr\'ecisons aussi ce qui est connu sur l'approximation diophantienne de tels nombres, par des nombres rationnels ou alg\'ebriques.


title: A Category of Spectral Triples and Discrete Groups with Length Function

abstract: In the context of A. Connes' spectral triples, a suitable notion of morphism is introduced. Discrete groups with length function provide a natural example for our definitions. A. Connes' construction of spectral triples for group algebras is a covariant functor from the category of discrete groups with length functions to that of spectral triples. Several interesting lines for future study of the categorical properties of spectral triples and their variants are suggested.


title: Inverse limit systems associated with F_2^n zero schwarzian unimodal mappings

abstract: We present an illustrative example of an inverse limit space and a shift map associated with an F_2^n unimodal mapping consisting of two hyperbolae. Topologically, in case n=0 the limit space is an interval, in case n=1,2, it is a sin(1/x)-continuum, and in case n=3 it is a certain continuum endowed with a specific geometrical beauty. The dynamics of the shift map is also described. Operator algebraists may regard the constructed space as a spectrum of a commutative coefficient C*-algebra - an object which plays a role in crossed-product theory.


title: Non-injective representations of a closed surface group into $PSL(2,\mathbb R)$

abstract: Let $e$ denote the Euler class on the space $Hom(\Gamma_g, PSL(2,\mathbb R))$ of representations of the fundamental group $\Gamma_g$ of the closed surface $\Sigma_g$ of genus $g$. Goldman showed that the connected components of $Hom(\Gamma_g, PSL(2,\mathbb R))$ are precisely the inverse images $e^{-1}(k)$, for $2-2g\leq k\leq 2g-2$, and that the components of Euler class $2-2g$ and $2g-2$ consist of the injective representations whose image is a discrete subgroup of $PSL(2,\mathbb R)$. We prove that non-faithful representations are dense in all the other components. We show that the image of a discrete representation essentially determines its Euler class. Moreover, we show that for every genus and possible corresponding Euler class, there exist discrete representations.


title: Modular representations on some Riemann-Roch spaces of modular curves X(N)

abstract: We compute the PSL(2,N)-module structure of the Riemann-Roch space L(D), where D is an invariant non-special divisor on the modular curve X(N), with N > 5 prime. This depends on a computation of the ramification module, which we give explicitly. These results hold for characteristic p if X(N) has good reduction mod p and p does not divide the order of PSL(2,N). We give as examples the cases N=7, 11, which were also computed using GAP. Applications to AG codes associated to this curve are considered, and specific examples are computed using GAP and MAGMA.


title: Bordism Invariants of the Mapping Class Group

abstract: We define new bordism and spin bordism invariants of certain subgroups of the mapping class group of a surface. In particular, they are invariants of the Johnson filtration of the mapping class group. The second and third terms of this filtration are the well-known Torelli group and Johnson subgroup, respectively. We introduce a new representation in terms of spin bordism, and we prove that this single representation contains all of the information given by the Johnson homomorphism, the Birman-Craggs homomorphism, and the Morita homomorphism.


title: Countable Primitive Groups

abstract: We give a complete characterization of countable primitive groups in several settings including linear groups, subgroups of mapping class groups, groups acting minimally on trees and convergence groups. The latter category includes as a special case Kleinian groups as well as subgroups of word hyperbolic groups. As an application we calculate the Frattini subgroup in many of these settings, often generalizing results that were only known for finitely generated groups. In particular, we answer a question of G. Higman and B.H. Neumann on the Frattini group of an amalgamated product.


title: Counting formulas associated with some random matrix averages

abstract: Moments of secular and inverse secular coefficients, averaged over random matrices from classical groups, are related to the enumeration of non-negative matrices with prescribed row and column sums. Similar random matrix averages are related to certain configurations of vicious random walkers and to the enumeration of plane partitions. The combinatorial meaning of the average of the characteristic polynomial of random Hermitian and Wishart matrices is also investigated, and consequently several simple universality results are derived.


title: On Wronskians of weight one Eisenstein series

abstract: We describe the span of Hecke eigenforms of weight four with nonzero central value of $L$-function in terms of Wronskians of certain weight one Eisenstein series.


title: Vector fields, torus actions and equivariant cohomology

abstract: An old result of the first author and David Lieberman says that if a compact Kaehler manifold X admits a holomorphic vector field V having at least one zero, then the Dolbeault cohomology algebra H^*(X, \Omega^*) of X is isomorphic with the bigraded algebra associated to a certain filtered graded ring. If V has isolated zeros this is the graded algebra associated to a certain filtration of the coordinate ring of the scheme Z defined by zero(V). The purpose of this note is to show that if V is generated by a torus action then equivariant Dolbeault cohomology can be used to give direct geometric proofs of the above result. What is particularly interesting is the picture obtained when zero(V) has positive dimension.


title: Transports along paths in Fibre Bundles. I. General Theory

abstract: Transports along path in fibre bundles are axiomatically introduced. Their general functional form and some their simple properties are investigated. The relationships of the transports along paths and lifting of paths are studied.


title: Transports along paths in fibre bundles. II. Ties with the theory of connections and parallel transports

abstract: A review of the parallel transport (translation) in fibre bundles is presented. The connections between transports along paths and parallel transports in fibre bundles are examined. It is proved that the latter ones are special cases of the former.


title: Shellability of noncrossing partition lattices

abstract: We give a case-free proof that the lattice of noncrossing partitions associated to any finite real reflection group is EL-shellable. Shellability of these lattices was open for the groups of type $D_n$ and those of exceptional type and rank at least three.


title: On approximate pattern matching for a class of Gibbs random fields

abstract: We prove an exponential approximation for the law of approximate occurrence of typical patterns for a class of Gibssian sources on the lattice $\mathbb{Z}^d$, $d\ge2$. From this result, we deduce a law of large numbers and a large deviation result for the waiting time of distorted patterns.


title: Average consensus problems in networks of agents with delayed communications

abstract: The present paper is devoted to the study of average consensus problems for undirected networks of dynamic agents having communication delays. The accent is put here on the study of the time-delays influence: both constant and time-varying delays are considered, as well as uniform and non uniform repartitions of the delays in the network. The main results provide sufficient conditions (also necessary in most cases) for existence of average consensus under bounded, but otherwise unknown, communication delays. Simulations are provided that show adequation with these results.


title: Measuring the mixing efficiency in a simple model of stirring:some analytical results and a quantitative study via Frequency Map Analysis

abstract: We prove the existence of invariant curves for a $T$--periodic Hamiltonian system which models a fluid stirring in a cylindrical tank, when $T$ is small and the assigned stirring protocol is piecewise constant. Furthermore, using the Numerical Analysis of the Fundamental Frequency of Laskar, we investigate numerically the break down of invariant curves as $T$ increases and we give a quantitative estimate of the efficiency of the mixing.


title: A Solomon descent theory for the wreath products G ~ S_n

abstract: We propose an analogue of Solomon's descent theory for the case of a wreath product G ~ S_n, where G is a finite abelian group. Our construction mixes a number of ingredients: Mantaci-Reutenauer algebras, Specht's theory for the representations of wreath products, Okada's extension to wreath products of the Robinson-Schensted correspondence, Poirier's quasisymmetric functions. We insist on the functorial aspect of our definitions and explain the relation of our results with previous work concerning the hyperoctaedral group.


title: On identities concerning the numbers of crossings and nestings of two edges in matchings

abstract: Let M,N be two matchings on [2n]={1, 2, ..., 2n} (possibly M=N) and for a nonnegative integer l let T(M,l) be the set of those matchings on [2n+2l] which can be obtained from M by successively adding l times in all ways the first edge, and similarly for T(N,l). Let s,t in {cr,ne} where cr is the statistic of the number of crossings (in a matching) and ne is the statistic of the number of nestings (possibly s=t). We prove that if the statistics s and t coincide on the sets of matchings T(M,l) and T(N,l) for l=0,1, they must coincide on these sets for every l >= 0; similar identities hold for the joint statistic of cr and ne. These results are instances of a general identity in which crossings and nestings are weighted by elements from an abelian group.


title: The Shannon information of filtrations and the additional logarithmic utility of insiders

abstract: The background for the general mathematical link between utility and information theory investigated in this paper is a simple financial market model with two kinds of small traders: less informed traders and insiders, whose extra information is represented by an enlargement of the other agents' filtration. The expected logarithmic utility increment, that is, the difference of the insider's and the less informed trader's expected logarithmic utility is described in terms of the information drift, that is, the drift one has to eliminate in order to perceive the price dynamics as a martingale from the insider's perspective. On the one hand, we describe the information drift in a very general setting by natural quantities expressing the probabilistic better informed view of the world. This, on the other hand, allows us to identify the additional utility by entropy related quantities known from information theory. In particular, in a complete market in which the insider has some fixed additional information during the entire trading interval, its utility increment can be represented by the Shannon information of his extra knowledge. For general markets, and in some particular examples, we provide estimates of maximal utility by information inequalities.


title: An inverse theorem for the Gowers U^3 norm

abstract: The Gowers U^3 norm is one of a sequence of norms used in the study of arithmetic progressions. If G is an abelian group and A is a subset of G then the U^3(G) of the characteristic function 1_A is useful in the study of progressions of length 4 in A. We give a comprehensive study of the U^3(G) norm, obtaining a reasonably complete description of functions f : G -> C for which ||f||_{U^3} is large and providing links to recent results of Host, Kra and Ziegler in ergodic theory. As an application we generalise a result of Gowers on Szemeredi's theorem. Writing r_4(G) for the size of the largest set A not containing four distinct elements in arithmetic progression, we show that r_4(G) << |G|(loglog|G|)^{-c} for some absolute constant c. In future papers we will develop these ideas further, obtaining an asymptotic for the number of 4-term progressions p_1 < p_2 < p_3 < p_4 < N of primes as well as superior bounds for r_4(G). Update, December 2023. Proposition 3.2 in the paper, which is stated without detailed proof, is incorrect. For a counterexample, see Candela, Gonzalez-Sanchez and Szegedy arXiv:2311.13899, Remark 4.3. Proposition 3.2 is invoked twice in the paper. First, it is used immediately after its statement to deduce the second part of Theorem 2.3. However, that theorem concerns only vector spaces over finite fields, and in this setting Proposition 3.2 is correct by standard linear algebra. The remark at the end of Section 3 that the argument works for arbitrary $G$ should, however, be deleted. The second application is in the proof of Lemma 10.6. It may well be possible to salvage this lemma, particularly if $P$ is assumed proper, but in any case it is only applied once, in the proof of Proposition 10.8. There, $P$ is proper and, more importantly, $H = \{0\}$ is trivial; in this setting Lemma 10.6 and its proof remain valid.


title: Permutation polytopes and indecomposable elements in permutation groups

abstract: Each group G of nxn permutation matrices has a corresponding permutation polytope, P(G):=conv(G) in R^{nxn}. We relate the structure of P(G) to the transitivity of G. In particular, we show that if G has t nontrivial orbits, then min{2t,floor(n/2)} is a sharp upper bound on the diameter of the graph of P(G); so if G is transitive, the diameter is at most 2. We also show that P(G) achieves its maximal dimension of (n-1)^2 precisely when G is 2-transitive. We then extend results of I. Pak on mixing times for a random walk on P(G). Our work depends on a new result for permutation groups involving writing permutations as products of indecomposable permutations.


title: The Single Server Queue and the Storage Model: Large Deviations and Fixed Points

abstract: We consider the coupling of a single server queue and a storage model defined as a Queue/Store model in Draief et al. 2004. We establish that if the input variables, arrivals at the queue and store, satisfy large deviations principles and are linked through an {\em exponential tilting} then the output variables (departures from each system) satisfy large deviations principles with the same rate function. This generalizes to the context of large deviations the extension of Burke's Theorem derived in Draief et al. 2004.


title: Intersection theory of toroidal compactifications of A_4

abstract: We determine the intersection theory on the Igusa compactification and the second Voronoi compactification of A_4.


title: On Bestvina-Mess Formula

abstract: Bestvina and Mess [BM] proved a remarkable formula for torsion free hyperbolic groups $$ \dim_L\partial\Gamma=cd_L\Gamma-1 $$ connecting the cohomological dimension of a group $\Gamma$ with the cohomological dimension of its boundary $\partial\Gamma$. In [Be] Bestvina introduced a notion of $\sZ$-structure on a discrete group and noticed that his formula holds true for all torsion free groups with $\sZ$-structure. Bestvina's notion of $\sZ$-structure can be extended to groups containing torsion by replacing the covering space action in the definition by the geometric action. Though the Bestvina-Mess formula trivially is not valid for groups with torsion, we show that it still holds in the following modified form: {\it The cohomological dimension of a $\sZ$-boundary of a group $\Gamma$ equals its global cohomological dimension for every PID $L$ as the coefficient group} $$ \dim_L\partial\Gamma=gcd_L(\partial\Gamma). $$ Using this formula we show that the cohomological dimension of the boundary $\dim_{L}\partial\Gamma$ is a quasi-isometry invariant of a group.


title: Calculs explicites dans une alg\`{e}bre de Lie semi-simple effectu\'{e}s avec GAP4

abstract: In \cite{indice}, we show the following result, conjectured by D. Panyushev \cite{Panyushev}, for $\g$ a semisimple Lie algebra: {\rm ind} \n(\g^{e}) = {\rm rk} \g-\dim \z(\g^{e}, where $\n(\g^{e})$ and $\z(\g^{e})$ are, respectively, the normaliser and the centre of the centraliser $\g^{e}$ of a nilpotent element $e$. This result is proved in \cite{indice} when $\g$ is a classical simple Lie algebra and when $e$ satisfies a certain property $(P)$. We present in this paper the computations, made using GAP4, which prove that distinguished, non-regular, nilpotent orbits in $E\_6$, $E\_7$, $E\_8$ and $F\_4$ satisfy the property $(P)$. This work completes the proof, presented in \cite{indice}, of the equality (\ref{princ}). The complete proof of this result was already presented in \cite{indice\_arxiv}.


title: Characters of fundamental representations of quantum affine algebras

abstract: We give closed formulae for the q-characters of the fundamental representations of the quantum loop algebra of a classical Lie algebra in terms of a family of partitions satisfying some simple properties. We also give the multiplicities of the eigenvalues of the imaginary subalgebra in terms of these partitions.


title: Resolvents of elliptic boundary problems on conic manifolds

abstract: This paper is a continuation of the investigation of resolvents of elliptic operators on conic manifolds from math.AP/0410178 and math.AP/0410176 to the case of manifolds with boundary and realizations of operators under boundary conditions. We prove the existence of sectors of minimal growth for realizations of boundary value problems for cone operators under natural ellipticity conditions on the symbols. Special attention is devoted to the clarification of the analytic structure of the resolvent.


title: Convergence to equilibrium for intermittent symplectic maps

abstract: We investigate a class of area preserving non-uniformly hyperbolic maps of the two torus. First we establish some results on the regularity of the invariant foliations, then we use this knowledge to estimate the rate of mixing.


title: Bounding dimension of ambient space by density for mean curvature flow

abstract: For an ancient solution of the mean curvature flow, we show that each time slice M_t is contained in an affine subspace with dimension bounded in terms of the density and the dimension of the evolving submanifold. Recall that an ancient solution is a family M_t that evolves under mean curvature flow for all negative time t.


title: Small-amplitude nonlinear waves on a black hole background

abstract: Let G(x) be a C^0 function such that |G(x)|\le K|x|^{p} for |x|\le c, for constants K,c>0. We consider spherically symmetric solutions of \Box_g\phi=G(\phi) where g is a Schwarzschild or more generally a Reissner-Nordstrom metric, and such that \phi and \nabla \phi are compactly supported on a complete Cauchy surface. It is proven that for p> 4, such solutions do not blow up in the domain of outer communications, provided the initial data are small. Moreover, |\phi|\le C(\max\{v,1\})^{-1}, where v denotes an Eddington-Finkelstein advanced time coordinate.


title: The Effect of Curvature on the Best Constatnt in the Hardy-Sobolev Inequalities

abstract: We address the question of attainability of the best constant in the following Hardy-Sobolev inequality on a smooth domain $\Omega$ of \mathbb{R}^n: $$ \mu_s (\Omega) := \inf \{\int_{\Omega}| \nabla u|^2 dx; u \in {H_{1,0}^2(\Omega)} \hbox{and} \int_{\Omega} \frac {|u|^{2^{\star}}}{|x|^s} dx =1\}$$ when 0<s<2, 2^*:=2^*(s)=\frac{2(n-s)}{n-2}, and when 0 is on the boundary $\partial \Omega$. This question is closely related to the geometry of $\partial\Omega$, as we extend here the main result obtained in [15] by proving that at least in dimension n >= 4, the negativity of the mean curvature of $\partial \Omega $ at 0 is sufficient to ensure the attainability of $\mu_{s}(\Omega)$. Key ingredients in our proof are the identification of symmetries enjoyed by the extremal functions correrresponding to the best constant in half-space, as well as a fine analysis of the asymptotic behaviour of appropriate minimizing sequences. The result holds true also in dimension 3 but the more involved proof will be dealt with in a forthcoming paper [17].


title: Cubic equations for the hyperelliptic locus

abstract: We discuss the conjecture of Buchstaber and Krichever that their multi-dimensional vector addition formula for Baker-Akhiezer functions characterizes Jacobians among principally polarized abelian varieties, and prove that it is indeed a weak characterization, i.e. that it is true up to additional components, or true precisely under a general position assumption. We also show that this addition formula is equivalent to Gunning's multisecant formula for the Kummer variety. We then use Buchstaber-Krichever's computation of the coefficients in the addition formula to obtain cubic relations among theta functions, which (weakly) characterize the locus of hyperelliptic Jacobians among irreducible abelian varieties. In genus 3 our equations are equivalent to the vanishing of one theta-null, and thus are known classically by work of Mumford and Poor, but already for genus 4 they appear to be new.


title: Incompressible surfaces and spunnormal form

abstract: Suppose M is a cusped finite-volume hyperbolic 3-manifold and T is an ideal triangulation of M with essential edges. We show that any incompressible surface S in M that is not a virtual fiber can be isotoped into spunnormal form in T . The proof is based directly on ideas of W. Thurston.


title: Global Well--posedness of the Three-dimensional Viscous Primitive Equations of Large Scale Ocean and Atmosphere Dynamics

abstract: In this paper we prove the global existence and uniqueness (regularity) of strong solutions to the three-dimensional viscous primitive equations, which model large scale ocean and atmosphere dynamics.


title: Configurations in abelian categories. II. Ringel-Hall algebras

abstract: This is the second in a series math.AG/0312190, math.AG/0410267, math.AG/0410268 on configurations in an abelian category A. Given a finite partially ordered set (I,<), an (I,<)-configuration (\sigma,\iota,\pi) is a finite collection of objects \sigma(J) and morphisms \iota(J,K) or \pi(J,K) : \sigma(J) --> \sigma(K) in A satisfying some axioms, where J,K are subsets of I. Configurations describe how an object X in A decomposes into subobjects. The first paper math.AG/0312190 defined configurations and studied moduli spaces of (I,<)-configurations in A, using the theory of Artin stacks. It proved well-behaved moduli stacks Obj_A, M(I,<)_A of objects and configurations in A exist when A is the abelian category coh(P) of coherent sheaves on a projective K-scheme P, or mod-KQ of representations of a quiver Q. Write CF(Obj_A) for the vector space of constructible functions on Obj_A. Motivated by Ringel-Hall algebras, we define an associative multiplication * on CF(Obj_A) using pushforwords and pullbacks along 1-morphisms between the M(I,<)_A, making CF(Obj_A) into an algebra. We also study representations of CF(Obj_A), the Lie subalgebra CF^ind(Obj_A) of functions supported on indecomposables, and other algebraic structures on CF(Obj_A). Then we generalize these ideas to stack functions SF(Obj_A), a universal generalization of constructible functions on stacks introduced in math.AG/0509722, containing more information. Under extra conditions on A we can define (Lie) algebra morphisms from SF(Obj_A) to some explicit (Lie) algebras, which will be important in the sequels on invariants counting t-(semi)stable objects in A.


title: On finite groups whose every proper normal subgroup is a union of a given number of conjugacy classes

abstract: Let $G$ be a finite group and $A$ be a normal subgroup of $G$. We denote by $ncc(A)$ the number of $G$-conjugacy classes of $A$ and $A$ is called $n$-decomposable, if $ncc(A)=n$. Set ${\cal K}_G = \{ncc(A)| A \lhd G \}$. Let $X$ be a non-empty subset of positive integers. A group $G$ is called $X$-decomposable, if ${\cal K}_G = X$. Ashrafi and his co-authors \cite{ash1,ash2,ash3,ash4,ash5} have characterized the $X$-decomposable non-perfect finite groups for $X = \{1, n \}$ and $n \leq 10$. In this paper, we continue this problem and investigate the structure of $X$-decomposable non-perfect finite groups, for $X = \{1, 2, 3 \}$. We prove that such a group is isomorphic to $Z_6, D_8, Q_8, S_4$, SmallGroup(20, 3), SmallGroup(24, 3), where SmallGroup$(m,n)$ denotes the $m$th group of order $n$ in the small group library of GAP \cite{gap}.


title: Characteristic properties of large subgroups in primary abelian groups

abstract: Suppose $G$ is an arbitrary additively written primary abelian group with a fixed large subgroup $L$. It is shown that $G$ is (a) summable; (b) $\sigma$-summable;\break (c) a $\Sigma$-group; (d) $p^{\omega+1}$-projective only when so is $L$. These claims extend results of such a kind obtained by Benabdallah, Eisenstadt, Irwin and Poluianov, {\it Acta Math. Acad. Sci. Hungaricae} (1970) and Khan, {\it Proc. Indian Acad. Sci. Sect. A} (1978).


title: Multilinear integral operators and mean oscillation

abstract: In this paper, the boundedness properties for some multilinear operators related to certain integral operators from Lebesgue spaces to Orlicz spaces are obtained. The operators include Calder\'on--Zygmund singular integral operator, fractional integral operator, Littlewood--Paley operator and Marcinkiewicz operator.


title: Legendrian knots and links classified by classical invariants

abstract: It is shown that Legendrian (resp. transverse) cable links in the 3-sphere with its standard tight contact structure, i.e. links consisting of an unknot and a cable of that unknot, are classified by their oriented link type and the classical invariants (Thurston-Bennequin invariant and rotation number in the Legendrian case, self-linking number in the transverse case). The analogous result is proved for torus knots in the 1-jet space of the circle with its standard tight contact structure.


title: Periodic integrable systems with delta-potentials

abstract: In this paper we study root system generalizations of the quantum Bose-gas on the circle with pair-wise delta function interactions. The underlying symmetry structures are shown to be governed by the associated graded of Cherednik's (suitably filtered) degenerate double affine Hecke algebra, acting by Dunkl-type differential-reflection operators. We use Gutkin's generalization of the equivalence between the impenetrable Bose-gas and the free Fermi-gas to derive the Bethe ansatz equations and the Bethe ansatz eigenfunctions.


title: Kantorovich metric:initial history and little-known applications

abstract: The short history of L.Kantorovich's transport problem and his metric in the framework of his activity in mathmatics and economics during a long and difficult period. We did not mention the recent impetuious developement of application of the transport probelm to differential equations etc., and concentrated on three applications not known to wide audience - in measure and ergodic theory, and metric geometry and classification of mertric spaces with measures. This is a detale version of the talk of author on the Conference devoted to 90-th annyversary of Leonid.V.Kantorovich which was at St.Petersbutrg Euler International Mathematical Institute in January 2004.


title: A kinematic wave theory of lane-changing traffic flow

abstract: Frequent lane-changes in highway merging, diverging, and weaving areas could disrupt traffic flow and, even worse, lead to accidents. In this paper, we propose a simple model for studying bottleneck effects of lane-changing traffic and aggregate traffic dynamics of a roadway with lane-changing areas. Based on the observation that, when changing its lane, a vehicle affects traffic on both its current and target lanes, we propose to capture such lateral interactions by introducing a new lane-changing intensity variable. With a modified fundamental diagram, we are able to study the impacts of lane-changing traffic on overall traffic flow. In addition, the corresponding traffic dynamics can be described with a simple kinematic wave model. For a location-dependent lane-changing intensity variable, we discuss kinematic wave solutions of the Riemann problem of the new model and introduce a supply-demand method for its numerical solutions. With both theoretical and empirical analysis, we demonstrate that lane-changes could have significant bottleneck effects on overall traffic flow. In the future, we will be interested in studying lane-changing intensities for different road geometries, locations, on-ramp/off-ramp flows, as well as traffic conditions. The new modeling framework could be helpful for developing ramp metering and other lane management strategies to mitigate the bottleneck effects of lane-changes.


title: Generalized inversion of Toeplitz-plus-Hankel matrices

abstract: A generalized inversion of block T+H matrix is obtained for the first time. In a particular case when T+H matrix is invertible, the method allows to obtain its inverse matrix without an additional condition of invertibility of the corresponding T-H matrix.


title: Polarizable twistor D-modules

abstract: We prove a Decomposition Theorem for the direct image of an irreducible local system on a smooth complex projective variety under a morphism with values in another smooth complex projective variety. For this purpose, we construct a category of polarized twistor D-modules and show a Decomposition Theorem in this category.


title: Uniform semiglobal practical asymptotic stability for non-autonomous cascaded systems and applications

abstract: It is due to the modularity of the analysis that results for cascaded systems have proved their utility in numerous control applications as well as in the development of general control techniques based on ``adding integrators''. Nevertheless, the standing assumptions in most of the present literature on cascaded systems is that, when decoupled, the subsystems constituting the cascade are uniformly globally asymptotically stable (UGAS). Hence existing results fail in the more general case when the subsystems are uniformly semiglobally practically asymptotically stable (USPAS). This situation is often encountered in control practice, e.g., in control of physical systems with external perturbations, measurement noise, unmodelled dynamics, etc. This paper generalizes previous results for cascades by establishing that, under a uniform boundedness condition, the cascade of two USPAS systems remains USPAS. An analogous result can be derived for USAS systems in cascade. Furthermore, we show the utility of our results in the PID control of mechanical systems considering the dynamics of the DC motors.


title: A New Approach to the Representation Thoery of the Symmetric Groups. 2

abstract: The new approach to the theory of complex representrations of the finite symmetric groups which based on the notions of Coxeter generators., Gelfand-Zetlin algebras, Hecke algebra, Young-Jucys-Murphi generators and which hardly used inductive structure - is systematically developed. The appearence of Young diagrams, tables is naturally explained - the set of content vectors of all Young tables is the spectra of Gel'fand-Zetlin algebra. The first steps of the theory (the list of the irrediucible representatinos, branching rule, Young orthopgonal form, Murnagan-Nakayama rule etc.)are established.This appraoch canbe used for other classical series, wreath products with symmetric groups. This paper is the revcised version of the paper of the same authors which was published in Selecta MAth. (New Series) V.2(1996).


title: Pseudoderivations, pseudoautomorphisms and simple current modules for vertex algebras

abstract: We exhibit a connection between Etingof-Kazhdan's notion of pseudoderivation and a certain construction of simple current modules for a vertex operator algebra and meanwhile we introduce and study a notion of pseudoendomorphism (pseudoautomorphism).


title: Equilibrium Kawasaki dynamics of continuous particle systems

abstract: We construct a new equilibrium dynamics of infinite particle systems in a Riemannian manifold $X$. This dynamics is an analog of the Kawasaki dynamics of lattice spin systems. The Kawasaki dynamics now is a process where interacting particles randomly hop over $X$. We establish conditions on the {\it a priori} explicitly given symmetrizing measure and the generator of this dynamics, under which a corresponding conservative Markov processes exists. We also outline two types of scaling limit of the equilibrium Kawasaki dynamics: one leading to an equilibrium Glauber dynamics in continuum (a birth-and-death process), and the other leading to a diffusion dynamics of interacting particles (in particular, the gradient stochastic dynamics).


title: Six results on Painleve VI

abstract: After recalling some of the geometry of the sixth Painleve equation, we will describe how the Okamoto symmetries arise naturally from symmetries of Schlesinger's equations and summarise the classification of the Platonic Painleve six solutions. A key observation is that Painleve VI governs the isomonodromic deformations of certain Fuchsian systems on rank \emph{three} bundles.


title: Kapranov rank vs. tropical rank

abstract: We show that determining Kapranov rank of tropical matrices is not only NP-hard over any infinite field but also if solving Diophantine equations over the rational numbers is undecidable, then determining Kapranov rank over the rational numbers is undecidable. We prove that Kapranov rank of tropical matrices is not bounded in terms of tropical rank, answering a question of Develin, Santos, and Sturmfels.


title: Limit groups for relatively hyperbolic groups, II: Makanin-Razborov diagrams

abstract: Let Gamma be a torsion-free group which is hyperbolic relative to a collection of free abelian subgroups. We construct Makanin-Razborov diagrams for Gamma. We also prove that every system of equations over Gamma is equivalent to a finite subsystem, and a number of structural results about Gamma-limit groups.


title: Spectral and Propagation Results for Magnetic Schroedinger Operators; a C*-Algebraic Framework

abstract: We study generalised magnetic Schroedinger operators of the form H(A,V)=h(P^A)+V, where h is an elliptic symbol, P^A is the generator of the magnetic translations, with A a vector potential defining a variable magnetic field B, and V is a scalar potential. We are mainly interested in anisotropic functions B and V. The first step is to show that these operators are affiliated to suitable C*-algebras of (magnetic) pseudodifferential operators. A study of the quotient of these C*-algebras by the ideal of compact operators leads to formulae for the essential spectrum of H(A,V), expressed as a union of spectra of some asymptotic operators, supported by the quasi-orbits of a suitable dynamical system. The quotient of the same C*-algebras by other ideals give localization results on the functional calculus of the operators H(A,V), which can be interpreted as non-propagation properties of their unitary groups.


title: Veech groups without parabolic elements

abstract: We prove that a ``bouillabaisse'' surface (translation surface which has two transverse parabolic elements) has totally real trace field. As a corollary, non trivial Veech groups which have no parabolic elements do exist. The proof follows Veech's viewpoint on Thurston's construction of pseudo-Anosov diffeomorphisms.


title: Stability of Spherically Symmetric Wave Maps

abstract: We study Wave Maps from R^{2+1} to the hyperbolic plane with smooth compactly supported initial data which are close to smooth spherically symmetric ones with respect to some H^{1+\mu}, \mu>0. We show that such Wave Maps don't develop singularities and stay close to the Wave Map extending the spherically symmetric data with respect to all H^{1+\delta}, \delta<\mu_{0}(\mu). We obtain a similar result for Wave Maps whose initial data are close to geodesic ones. This generalizes a theorem of Sideris for this context.


title: Strict Deformation Quantization for a Particle in a Magnetic Field

abstract: Recently, we introduced a mathematical framework for the quantization of a particle in a variable magnetic field. It consists in a modified form of the Weyl pseudodifferential calculus and a C*-algebraic setting, these two points of view being isomorphic in a suitable sense. In the present paper we leave Planck's constant vary, showing that one gets a strict deformation quantization in the sense of Rieffel. In the limit h --> 0 one recovers a Poisson algebra induced by a symplectic form defined in terms of the magnetic field.


title: Rigidity theory for matroids

abstract: Combinatorial rigidity theory seeks to describe the rigidity or flexibility of bar-joint frameworks in R^d in terms of the structure of the underlying graph G. The goal of this article is to broaden the foundations of combinatorial rigidity theory by replacing G with an arbitrary representable matroid M. The ideas of rigidity independence and parallel independence, as well as Laman's and Recski's combinatorial characterizations of 2-dimensional rigidity for graphs, can naturally be extended to this winder setting. As we explain, many of these fundamental concepts really depend only on the matroid associated with G (or its Tutte polynomial) and have little to do with the special nature of graphic matroids or the field R. Our main result is a "nesting theorem" relating the various kinds of independence. Immediate corollaries include generalizations of Laman's Theorem, as well as the equality of 2-rigidity and 2-parallel independence. A key tool in our study is the space of photos of M, a natural algebraic variety whose irreducibility is closely related to the notions of rigidity independence and parallel independence. The number of points on this variety, when working over a finite field, turns out to be an interesting Tutte polynomial evaluation.


title: The local character expansion near a tame, semisimple element

abstract: Consider the character of an irreducible admissible representation of a p-adic reductive group. The Harish-Chandra-Howe local expansion expresses this character near a semisimple element as a linear combination of Fourier transforms of nilpotent orbital integrals. Under mild hypotheses, we describe an explicit region on which the local character expansion is valid. We assume neither that the group is connected nor that the underlying field has characteristic zero.


title: An easier solution of a Diophantine problem about triangles, in which those lines from the vertices which bisect the opposite sides may be expressed rationally

abstract: This is an English translation from the Latin original of Leonhard Euler's ``Solutio facilior problematis Diophantei circa triangulum, in quo rectae ex angulis latera opposita bisecantes rationaliter exprimantur''. In this paper, Euler proves that there exist triangles with integer length sides such that the length of the bisectors of the sides to the opposite angles are integer valued, and he gives a general method for making a certain class of such triangles.