title: Statistical properties of unimodal maps: physical measures, periodic orbits and pathological laminations

abstract: In this work, we relate the geometry of chaotic attractors of typical analytic unimodal maps to the behavior of the critical orbit. Our main result is an explicit formula relating the combinatorics of the critical orbit with the exponents of periodic orbits. This connection between topological and smooth invariants is obtained through an analysis of the physical measure. Since the exponents of periodic orbits form a complete set of smooth invariants in this setting, we have ``typical geometric rigidity'' of the dynamics of such chaotic attractors. This unexpected result implies that the lamination structure of spaces of analytic maps (obtained by the partition into topological conjugacy classes, see \cite {ALM}) has an absolutely singular nature.


title: Phase-parameter relation and sharp statistical properties for general families of unimodal maps

abstract: We obtain estimates relating the phase space and the parameter space of analytic families of unimodal maps. Using those estimates, we show that typical analytic unimodal maps admit a quasiquadratic renormalization. This reduces the study of the statistical properties of typical unimodal maps to the quasiquadratic case which had been studied in \cite {AM2}. The estimates proved here correspond exactly to the Phase-Parameter relation proved in \cite {AM} in the quadratic case, and allows one to obtain sharp estimates on the dynamics of typical unimodal maps which were available only in the quadratic case: as an example we conclude that the exponent of the polynomial recurrence of the critical orbit is exactly one. We also show that those ideas lead to a new proof of a Theorem of Shishikura: the set of non-renormalizable parameters in the boundary of the Mandelbrot set has Lebesgue measure zero. Further applications of those results can be found in the companion paper \cite {AM3}.


title: Bifurcations of unimodal maps

abstract: We review recent results that lead to a very precise understanding of the dynamics of typical unimodal maps from the statistical point of view. We also describe the (generalized) renormalization approach to the study of the statistical properties of typical unimodal maps.


title: Vertex-partitioning into fixed additive induced-hereditary properties is NP-hard

abstract: Can the vertices of a graph $G$ be partitioned into $A \cup B$, so that $G[A]$ is a line-graph and $G[B]$ is a forest? Can $G$ be partitioned into a planar graph and a perfect graph? The NP-completeness of these problems are just special cases of our result: if ${\cal P}$ and ${\cal Q}$ are additive induced-hereditary graph properties, then $({\cal P}, {\cal Q})$-colouring is NP-hard, with the sole exception of graph 2-colouring (the case where both $\cal P$ and $\cal Q$ are the set ${\cal O}$ of finite edgeless graphs). Moreover, $({\cal P}, {\cal Q})$-colouring is NP-complete iff ${\cal P}$- and ${\cal Q}$-recognition are both in NP. This proves a conjecture of Kratochv\'{\i}l and Schiermeyer.


title: Curvature Estimates in Asymptotically Flat Lorentzian Manifolds

abstract: We consider an asymptotically flat Lorentzian manifold of dimension (1,3). An inequality is derived which bounds the Riemannian curvature tensor in terms of the ADM energy in the general case with second fundamental form. The inequality quantifies in which sense the Lorentzian manifold becomes flat in the limit when the ADM energy tends to zero.


title: Stability of solutions of quasilinear parabolic equations

abstract: We bound the difference between solutions $u$ and $v$ of $u_t = a\Delta u+\Div_x f+h$ and $v_t = b\Delta v+\Div_x g+k$ with initial data $\phi$ and $ \psi$, respectively, by $\Vert u(t,\cdot)-v(t,\cdot)\Vert_{L^p(E)}\le A_E(t)\Vert \phi-\psi\Vert_{L^\infty(\R^n)}^{2\rho_p}+ B(t)(\Vert a-b\Vert_{\infty}+ \Vert \nabla_x\cdot f-\nabla_x\cdot g\Vert_{\infty}+ \Vert f_u-g_u\Vert_{\infty} + \Vert h-k\Vert_{\infty})^{\rho_p} \abs{E}^{\eta_p}$. Here all functions $a$, $f$, and $h$ are smooth and bounded, and may depend on $u$, $x\in\R^n$, and $t$. The functions $a$ and $h$ may in addition depend on $\nabla u$. Identical assumptions hold for the functions that determine the solutions $v$. Furthermore, $E\subset\R^n$ is assumed to be a bounded set, and $\rho_p$ and $\eta_p$ are fractions that depend on $n$ and $p$. The diffusion coefficients $a$ and $b$ are assumed to be strictly positive and the initial data are smooth.


title: A limit-cycle solver for nonautonomous dynamical systems

abstract: A numerical technique used to solve boundary value problems is modified to find periodic steady-state solutions of nonautonomous dynamical systems. The technique uses a matrix representation of the time derivative obtained through trigonometric interpolation of a periodic function. Such a differentiation matrix yields exact values for the derivative of a trigonometric polynomial and therefore, can be used as the main ingredient of a numerical method to solve nonlinear dynamical systems. We apply this technique to obtain some limit cycles and bifurcation points of a sinusoidally driven pendulum and the steady-state response of an electric circuit.


title: Generalized Calabi-Yau structures, K3 surfaces, and B-fields

abstract: Generalized Calabi-Yau structures, a notion recently introduced by Hitchin, are studied in the case of K3 surfaces. We show how they are related to the classical theory of K3 surfaces and to moduli spaces of certain SCFT as studied by Aspinwall and Morrison. It turns out that K3 surfaces and symplectic structures are both special cases of this general notion. The moduli space of generalized Calabi-Yau structures admits a canonical symplectic form with respect to which the moduli space of symplectic structures is Lagrangian. The standard theory of K3 surfaces implies surjectivity of the period map and a weak form of the Global Torelli theorem.


title: On the absence of uniform denominators in Hilbert's 17th problem

abstract: Hilbert showed that for most $(n,m)$ there exist psd forms $p(x_1,...,x_n)$ of degree $m$ which cannot be written as a sum of squares of forms. His 17th problem asked whether, in this case, there exists a form $h$ so that $h^2p$ is a sum of squares of forms; that is, $p$ is a sum of squares of rational functions with denominator $h$. We show that, for every such $(n,m)$ there does not exist a single form $h$ which serves in this way as a denominator for {\it every} psd $p(x_1,...,x_n)$ of degree $m$.


title: The modular properties and the integral representations of the multiple elliptic gamma functions

abstract: We show the modular properties of the multiple 'elliptic' gamma functions, which are an extension of those of the theta function and the elliptic gamma function. The modular property of the theta function is known as Jacobi's transformation, and that of the elliptic gamma function was provided by Felder and Varchenko. In this paper we deal with the multiple sine functions, since the modular properties of the multiple elliptic gamma functions result from the equivalence between two ways to represent the multiple sine functions as infinite product. We also derive integral representations of the multiple sine functions and the multiple elliptic gamma functions. We introduce correspondences between the multiple elliptic gamma functions and the multiple sine functions.


title: Unique factorisation of additive induced-hereditary properties

abstract: An additive hereditary graph property is a set of graphs, closed under isomorphism and under taking subgraphs and disjoint unions. Let ${\cal P}_1, >..., {\cal P}_n$ be additive hereditary graph properties. A graph $G$ has property $({\cal P}_1 \circ ... \circ {\cal P}_n)$ if there is a partition $(V_1, ..., V_n)$ of $V(G)$ into $n$ sets such that, for all $i$, the induced subgraph $G[V_i]$ is in ${\cal P}_i$. A property ${\cal P}$ is reducible if there are properties ${\cal Q}$, ${\cal R}$ such that ${\cal P} = {\cal Q} \circ {\cal R}$; otherwise it is irreducible. Mih\'{o}k, Semani\v{s}in and Vasky [J. Graph Theory {\bf 33} (2000), 44--53] gave a factorisation for any additive hereditary property ${\cal P}$ into a given number $dc({\cal P})$ of irreducible additive hereditary factors. Mih\'{o}k [Discuss. Math. Graph Theory {\bf 20} (2000), 143--153] gave a similar factorisation for properties that are additive and induced-hereditary (closed under taking induced-subgraphs and disjoint unions). Their results left open the possiblity of different factorisations, maybe even with a different number of factors; we prove here that the given factorisations are, in fact, unique.


title: Additive induced-hereditary properties and unique factorization

abstract: We show that additive induced-hereditary properties of coloured hypergraphs can be uniquely factorised into irreducible factors. Our constructions and proofs are so general that they can be used for arbitrary concrete categories of combinatorial objects; we provide some examples of such combinatorial objects.


title: Combinatorial Yamabe Flow on Surfaces

abstract: In this paper we develop an approach to conformal geometry of piecewise flat metrics on manifolds. In particular, we formulate the combinatorial Yamabe problem for piecewise flat metrics. In the case of surfaces, we define the combinatorial Yamabe flow on the space of all piecewise flat metrics associated to a triangulated surface. We show that the flow either develops removable singularities or converges exponentially fast to a constant combinatorial curvature metric. If the singularity develops, we show that the singularity is always removable by a surgery procedure on the triangulation. We conjecture that after finitely many such surgery changes on the triangulation, the flow converges to the constant combinatorial curvature metric as time approaches infinity.


title: Integral Restrictions on the Monodromy

abstract: Given a complex analytic function with a one-dimensional critical locus at the origin, we examine the monodromy action on the integral cohomology of the Milnor fiber. We relate this monodromy to that of a generic hyperplane slice through the origin, and to that of a generic hyperplane slice near the origin. We thereby obtain number-theoretic restrictions on the monodromy and on the cohomology of the original Milnor fiber.


title: Theorie De Galois Des Equations Differentielles

abstract: Let k be a differential field and C its subfield of constants. In general a differential extension K of k add some new constants to C, and it is difficult to prove that C stay unchangeable under the extension K; This situation is provided by the Picard-Vessiot extension. Kolchin prove the theorem of existence and unicity for these extensions. The aim of this paper is to prove Kolchin theorem and other results, in a simple manner, by means of the theory of models and logic. ----- Soit k un corps diff\'erentiel et C son sous corps des constantes. En g\'en\'eral une extension diff\'erentiel K de k modifie le corps des constantes C de k. Prouver que K ne modifie pas C est un probl\`eme assez difficile en alg\`ebre diff\'erentiel. Les extensions de Picard-Vessiot constitue un exemple de cette situation. Kolchin a montr\'e le th\'eor\`eme d'existence et d'unicit\'e, \`a isomorphisme pr\'es, des extensions de Picard-Vessiot sous la condition que le corps C est alg\'ebriquement clos. Dans ce travail on utilise la th\'eorie des corps diff\'erentiellements clos (Th\'eorie des mod\`eles), pour montrer l'existence et l'unicit\'e, \`a isomorphisme pr\'es, des extensions de Picard-Vessiot. On calcul ensuite le groupe de Galois diff\'erentiel de certaines extensions particuli\`ere. Enfin, on montre quelque th\'eor\`emes g\'en\'eraux de la th\'eorie de Galois diff\'erentielle par les m\^emes techniques.


title: Classe d'equivalence Formelle D'un D-Module D'Airy

abstract: In this work we study a formal equivalent class of an Airy's D-module, which we compare with an analytic class of equivalence. We calculate the determining factors of an Airy operator of bidegree (n, m) and we clarify the coefficients of the operator which intervene in the determination of the determining factors. Finally, we induce, the canonical model (see [ BV1]), of an Airy operator of bidegre (n, m). ----- Dans ce travail on \'etudie une classe d'\'equivalence formelle d'un D-module d'Airy, qu'on compare avec une classe d'\'equivalence analytique. On calcule les facteurs d\'eterminants d'un op\'erateur d'Airy de bidegr\'e (n,m) et on pr\'ecise les coefficients de l'op\'erateur qui interviennent dans la d\'etermination des facteurs d\'eterminants. On donne enfin, le mod\`ele canonique, voir [BV1], d'un op\'erateur d'Airy de bidegr\'e (n,m).


title: L2-index, KK-theory, and connections

abstract: Let $M$ be a compact manifold. and $D$ a Dirac type differential operator on $M$. Let $A$ be a $C^*$-algebra. Given a bundle $W$ of $A$-modules over $M$ (with connection), the operator $D$ can be twisted with this bundle. One can then use a trace on $A$ to define numerical indices of this twisted operator. We prove an explicit formula for this index. Our result does complement the Mishchenko-Fomenko index theorem valid in the same situation. We establish generalizations of these explicit index formulas if the trace is only defined on a dense and holomorphically closed subalgebra $\mathcal{B}$. As a corollary, we prove a generalized Atiyah $L^2$-index theorem if the twisting bundle is flat. There are actually many different ways to define these numerical indices. From their construction, it is not clear at all that they coincide. An important part of the paper are complete proofs of this statement. In particular, we establish the (well known but not well documented) equality of Atiyah's definition of the $L^2$-index with a K-theoretic definition. In case $A$ is a von Neumann algebra of type 2, we put special emphasis on the calculation and interpretation of the center valued index. This completely contains all the K-theoretic information about the index of the twisted operator. Some of our calculations are done in the framework of bivariant KK-theory.


title: Free Analysis Questions I: Duality Transform for the Coalgebra of $\partial_{X:B}$

abstract: A duality transform for the coalgebra of the free difference quotient derivation-multiplication of an operator with respect to a free algebra of scalars is constructed. The dual object is realized in an algebra of matricial analytic functions endowed with yet another generalization of the difference quotient derivation.


title: On the One-dimensional Stability of Viscous Strong Detonation Waves

abstract: Building on Evans function techniques developed to study the stability of viscous shocks, we examine the stability of viscous strong detonation wave solutions of the reacting Navier-Stokes equations. The primary result, following the work of Alexander, Gardner & Jones and Gardner & Zumbrun, is the calculation of a stability index whose sign determines a necessary condition for spectral stability. We show that for an ideal gas this index can be evaluated in the ZND limit of vanishing dissipative effects. Moreover, when the heat of reaction is sufficiently small, we prove that strong detonations are spectrally stable provided the underlying shock is stable. Finally, for completeness, the stability index calculations for the nonreacting Navier-Stokes equations are included


title: On the canonical formula of C. Levi-Strauss

abstract: The anthropologist Claude LeviStrauss has formulated a theory of the structure of myths using a formalism borrowed from mathematics, which has been difficult to interpret, and is somewhat controversial. Nevertheless, LeviStrauss's old school chum Andre Weil took his work seriously, and in this note I propose an interpretation of LeviStrauss's `canonical formula' in terms of an anti-automorphism of the quaternion group of order eight.


title: A product convergence theorem for Henstock--Kurzweil integrals

abstract: Necessary and sufficient for $\int_a^bfg_n\to \int_a^bfg$ for all Henstock--Kurzweil integrable functions $f$ is that $g$ be of bounded variation, $g_n$ be uniformly bounded and of uniform bounded variation and, on each compact interval in $(a,b)$, $g_n\to g$ in measure or in the $L^1$ norm. The same conditions are necessary and sufficient for $\|f(g_n-g)\|\to 0$ for all Henstock--Kurzweil integrable functions $f$. If $g_n\to g$ a.e. then convergence $\|fg_n\|\to\|fg\|$ for all Henstock--Kurzweil integrable functions $f$ is equivalent to $\|f(g_n-g)\|\to 0$. This extends a theorem due to Lee Peng-Yee.


title: Topological and Smooth Stacks

abstract: We review the basic definition of a stack and apply it to the topological and smooth settings. We then address two subtleties of the theory: the correct definition of a ``stack over a stack'' and the distinction between small stacks (which are algebraic objects) and large stacks (which are generalized spaces).


title: On the Mean Curvature Flow for $\sigma_k$-Convex Hypersurfaces

abstract: We obtain estimates on both size and dimensions of the singular set at the first blow-up time of the mean curvature flow of hypersurfaces whose initial data is $\sigma_k$-convex.


title: New results on generalized graph coloring

abstract: For graph classes $P_1,...,P_k$, Generalized Graph Coloring is the problem of deciding whether the vertex set of a given graph $G$ can be partitioned into subsets $V_1,...,V_k$ so that $V_j$ induces a graph in the class $P_j$ $(j=1,2,...,k)$. If $P_1 = ... = P_k$ is the class of edgeless graphs, then this problem coincides with the standard vertex $k$-{\sc colorability}, which is known to be NP-complete for any $k\ge 3$. Recently, this result has been generalized by showing that if all $P_i$'s are additive induced-hereditary, then generalized graph coloring is NP-hard, with the only exception of recognising bipartite graphs. Clearly, a similar result follows when all the $P_i$'s are co-additive. In this paper, we study the problem where we have a mixture of additive and co-additive classes, presenting several new results dealing both with NP-hard and polynomial-time solvable instances of the problem.


title: Codescent theory I: Foundations

abstract: Consider a cofibrantly generated model category $S$, a small category $C$ and a subcategory $D$ of $C$. We endow the category $S^C$ of functors from $C$ to $S$ with a model structure, defining weak equivalences and fibrations objectwise but only on $D$. Our first concern is the effect of moving $C$, $D$ and $S$. The main notion introduced here is the ``$D$-codescent'' property for objects in $S^C$. Our long-term program aims at reformulating as codescent statements the Conjectures of Baum-Connes and Farrell-Jones, and at tackling them with new methods. Here, we set the grounds of a systematic theory of codescent, including pull-backs, push-forwards and various invariance properties.


title: Linear Matrix Inequality Representation of Sets

abstract: This article concerns the question: which subsets of ${\mathbb R}^m$ can be represented with Linear Matrix Inequalities, LMIs? This gives some perspective on the scope and limitations of one of the most powerful techniques commonly used in control theory. Also before having much hope of representing engineering problems as LMIs by automatic methods one needs a good idea of which problems can and cannot be represented by LMIs. Little is currently known about such problems. In this article we give a necessary condition, we call "rigid convexity", which must hold for a set ${\cC} \in {\mathbb R}^m$ in order for ${\cC}$ to have an LMI representation. Rigid convexity is proved to be necessary and sufficient when $m=2$. This settles a question formally stated by Pablo Parrilo and Berndt Sturmfels in [PSprep].


abstract: We prove Mayberry-Murasugi's formula for links in homology 3-spheres, which was proved before only for links in the 3-sphere. Our proof uses Franz-Reidemeister torsions.


title: S^1-bundles and gerbes over differentiable stacks

abstract: We study $S^1$-bundles and $S^1$-gerbes over differentiable stacks in terms of Lie groupoids, and construct Chern classes and Dixmier-Douady classes in terms of analogues of connections and curvature.


title: Equivariant gerbes over compact simple Lie groups

abstract: Using groupoid $S^1$-central extensions, we present, for a compact simple Lie group $G$, an infinite dimensional model of $S^1$-gerbe over the differential stack $G/G$ whose Dixmier-Douady class corresponds to the canonical generator of the equivariant cohomology $H_G^3 (G, Z)$.


title: Numerical Representation of the Incomplete Gamma Function of Complex Argument

abstract: Various approaches to the numerical representation of the Incomplete Gamma Function F_m(z) for complex arguments z and small integer indexes m are compared with respect to numerical fitness (accuracy and speed). We consider power series, Laurent series, Gautschi's approximation to the Faddeeva function, classical numerical methods of treating the standard integral representation, and others not yet covered by the literature. The most suitable scheme is the construction of Taylor expansions around nodes of a regular, fixed grid in the z-plane, which stores a static matrix of higher derivatives. This is the obvious extension to a procedure often in use for real-valued z.


title: Cohomology of non-commutative Hilbert schemes

abstract: Non-commutative Hilbert schemes, introduced by M. V. Nori, parametrize left ideals of finite codimension in free algebras. More generally, parameter spaces of finite codimensional submodules of free modules over free algebras are considered. Cell decompositions of these varieties are constructed, whose cells are parametrized by certain types of forests. Asymptotics for the corresponding Poincare polynomials and properties of their generating functions are discussed.


title: Garside structure for the braid group of G(e,e,r)

abstract: We give a new presentation of the braid group $B$ of the complex reflection group $G(e,e,r)$ which is positive and homogeneous, and for which the generators map to reflections in the corresponding complex reflection group. We show that this presentation gives rise to a Garside structure for $B$ with Garside element a kind of generalised Coxeter element, and hence obtain solutions to the word and conjugacy problems for $B$.


title: On the Maslov index of symplectic paths that are not transversal to the Maslov cycle. Semi-Riemannian index theorems in the degenerate case

abstract: We use the notion of generalized signatures at a singularity of a smooth curve of symmetric bilinear forms to determine a formula for the computation of the Maslov index in the case of a real-analytic path having possibly non transversal intersections. We discuss some applications of the theory, with special emphasis on the study of the Jacobi equation along a semi-Riemannian geodesic. The research work exposed in this paper originated from a suggestion given by the third author relating the spectral flow with the partial signatures. He pointed out several references and formulated the statement that in the invertible endpoints case, the spectral flow of a real analytic path of self-adjoint Fredholm operators is given by the sum of the odd partial signatures at each degeneracy instant. In the present version of the article, this statement is part of Proposition 2.9; totally, the contribution of the third author to the theory consists in Definition 2.3, formulas (2.1) and (2.2), the first statement of Proposition 2.4, parts of Remark 2.5, Definition 2.6, and parts of the statement and parts of the proof of Proposition 2.9. Apart from this original contribution, the material contained in this paper was entirely developed and written by the first two authors at the Universita' di Camerino (Italy), Universidade de Sao Paulo (Brazil).


title: Rohlin's invariant and gauge theory II. Mapping tori

abstract: This is the second in a series of papers studying the relationship between Rohlin's theorem and gauge theory. We discuss an invariant of a homology S^1 cross S^3 defined by Furuta and Ohta as an analogue of Casson's invariant for homology 3-spheres. Our main result is a calculation of the Furuta-Ohta invariant for the mapping torus of a finite-order diffeomorphism of a homology sphere. The answer is the equivariant Casson invariant (Collin-Saveliev 2001) if the action has fixed points, and a version of the Boyer-Nicas (1990) invariant if the action is free. We deduce, for finite-order mapping tori, the conjecture of Furuta and Ohta that their invariant reduces mod 2 to the Rohlin invariant of a manifold carrying a generator of the third homology group. Under some transversality assumptions, we show that the Furuta-Ohta invariant coincides with the Lefschetz number of the action on Floer homology. Comparing our two answers yields an example of a diffeomorphism acting trivially on the representation variety but non-trivially on Floer homology.


title: Distribution laws for integrable eigenfunctions

abstract: We determine the asymptotics of the joint eigenfunctions of the torus action on a toric Kahler variety. Such varieties are models of completely integrable systems in complex geometry. We first determine the pointwise asymptotics of the eigenfunctions, which show that they behave like Gaussians centered at the corresponding classical torus. We then show that there is a universal Gaussian scaling limit of the distribution function near its center. We also determine the limit distribution for the tails of the eigenfunctions on large length scales. These are not universal but depend on the global geometry of the toric variety and in particular on the details of the exponential decay of the eigenfunctions away from the classically allowed set.


title: Cell decomposition and compactification of Riemann's moduli space in decorated Teichm\"uller theory

abstract: This survey covers earlier work of the author as well as recent work on Riemann's moduli space, its canonical cell decomposition and compactification, and the related operadic structure of arc complexes.


title: Holomorphic rank-2 vector bundles on non-Kahler elliptic surfaces

abstract: The existence problem for vector bundles on a smooth compact complex surface consists in determining which topological complex vector bundles admit holomorphic structures. For projective surfaces, Schwarzenberger proved that a topological complex vector bundle admits a holomorphic (algebraic) structure if and only if its first Chern class belongs to the Neron-Severi group of the surface. In contrast, for non-projective surfaces there is only a necessary condition for the existence problem (the discriminant of the vector bundles must be positive) and the difficulty of the problem resides in the lack of a general method for constructing non-filtrable vector bundles. In this paper, we close the existence problem in the rank-2 case, by giving necessary and sufficient conditions for the existence of holomorphic rank-2 vector bundles on non-K\" ahler elliptic surfaces.


title: Stable bundles on non-Kahler elliptic surfaces

abstract: In this paper, we study the moduli spaces $\mathcal{M}_{\delta,c_2}$ of stable rank-2 vector bundles on non-K\" ahler elliptic surfaces, thus giving a classification these bundles; in the case of Hopf and Kodaira surfaces, these moduli spaces admit the structure of an algebraically completely integrable Hamiltonian system.


title: From Sparks to Grundles--Differential Characters

abstract: We introduce a new homological machine for the study of secondary geometric invariants. The objects, called spark complexes, occur in many areas of mathematics. The theory is applied here to establish the equivalence of a large family of spark complexes which appear naturally in geometry, topology and physics. These complexes are quite different. Some of them are purely analytic, some are simplicial, some are of Cech-type, and many are mixtures. However, the associated theories of secondary invariants are all shown to be canonically isomorphic. We also show that Differential characters factor to a much smaller, more geometric group, the set of holonomy maps. Numerous applications and examples are explored.


title: A Geometric Approach to Differential Forms

abstract: This is a draft of a textbook on differential forms. The primary target audience is sophmore level undergraduates enrolled in what would traditionally be a course in vector calculus. Later chapters will be of interest to advaced undergraduate and beginning graduate students. Applications include brief introductions to Maxwell's equations, foliations and contact structures, and DeRham cohomology.


title: Equations of Parametric Surfaces with Base Points via Syzygies

abstract: Let $S$ be a parametric surface in $\proj{3}$ given as the image of $\phi: \proj{1} \times \proj{1} \to \proj{3}$. This paper will show that the use of syzygies in the form of a combination of moving planes and moving quadrics provides a valid method for finding the implicit equation of $S$ when certain base points are present. This work extends the algorithm provided by Cox for when $\phi$ has no base points, and it is an analogous to some of the results of Bus\'{e}, Cox and D'Andrea for the case when $\phi: \proj{2} \to \proj{3}$ has base points.


title: Ramanujan Graphs with Small Girth

abstract: We construct an infinite family of (q+1)-regular Ramanujan graphs X_n of girth 1. We also give covering maps X_{n+1} --> X_n such that the minimal common covering of all the graphs is the universal covering tree.


title: Bounds for DNA codes with constant GC-content

abstract: We derive theoretical upper and lower bounds on the maximum size of DNA codes of length n with constant GC-content w and minimum Hamming distance d, both with and without the additional constraint that the minimum Hamming distance between any codeword and the reverse-complement of any codeword be at least d. We also explicitly construct codes that are larger than the best previously-published codes for many choices of the parameters n, d and w.


title: Instanton counting on blowup. I. 4-dimensional pure gauge theory

abstract: We give a mathematically rigorous proof of Nekrasov's conjecture: the integration in the equivariant cohomology over the moduli spaces of instantons on $\mathbb R^4$ gives a deformation of the Seiberg-Witten prepotential for N=2 SUSY Yang-Mills theory. Through a study of moduli spaces on the blowup of $\mathbb R^4$, we derive a differential equation for the Nekrasov's partition function. It is a deformation of the equation for the Seiberg-Witten prepotential, found by Losev et al., and further studied by Gorsky et al.


title: A New Approach to the Conjugacy Problem in Garside Groups

abstract: The cycling operation endows the super summit set $S_x$ of any element $x$ of a Garside group $G$ with the structure of a directed graph $\Gamma_x$. We establish that the subset $U_x$ of $S_x$ consisting of the circuits of $\Gamma_x$ can be used instead of $S_x$ for deciding conjugacy to $x$ in $G$, yielding a faster and more practical solution to the conjugacy problem for Garside groups. Moreover, we present a probabilistic approach to the conjugacy search problem in Garside groups. The results are likely to have implications for the security of recently proposed cryptosystems based on the hardness of problems related to the conjugacy (search) problem in braid groups.


title: On Cantor's important proofs

abstract: It is shown that the pillars of transfinite set theory, namely the uncountability proofs, do not hold. (1) Cantor's first proof of the uncountability of the set of all real numbers does not apply to the set of irrational numbers alone, and, therefore, as it stands, supplies no distinction between the uncountable set of irrational numbers and the countable set of rational numbers. (2) As Cantor's second uncount-ability proof, his famous second diagonalization method, is an impossibility proof, a simple counter-example suffices to prove its failure. (3) The contradiction of any bijection between a set and its power set is a consequence of the impredicative definition involved. (4) In an appendix it is shown, by a less important proof of Cantor, how transfinite set theory can veil simple structures.


title: Big q-Laguerre and q-Meixner polynomials and representations of the algebra U_q(su(1,1))

abstract: Diagonalization of a certain operator in irreducible representations of the positive discrete series of the quantum algebra U_q(su(1,1)) is studied. Spectrum and eigenfunctions of this operator are found in an explicit form. These eigenfunctions, when normalized, constitute an orthonormal basis in the representation space. The initial U_q(su(1,1))-basis and the basis of eigenfunctions are interrelated by a matrix with entries, expressed in terms of big q-Laguerre polynomials. The unitarity of this connection matrix leads to an orthogonal system of functions, which are dual with respect to big q-Laguerre polynomials. This system of functions consists of two separate sets of functions, which can be expressed in terms of q-Meixner polynomials M_n(x;b,c;q) either with positive or negative values of the parameter b. The orthogonality property of these two sets of functions follows directly from the unitarity of the connection matrix. As a consequence, one obtains an orthogonality relation for q-Meixner polynomials M_n(x;b,c;q) with b<0. A biorthogonal system of functions (with respect to the scalar product in the representation space) is also derived.


title: On Curvatures of Sections of Tensor Bundles

abstract: We consider natural differential operations acting on sections of tensor vector bundles. Arrising problems can be reformulated as invariant theoretical problems (the IT-reduction). We give examples of usage of the IT-reduction. In particular, on a manifold with a connection and a Poisson structure we construct the canonical quantization.


title: A geometric theory of harmonic and semi-conformal maps

abstract: We describe for any Riemannian manifold a certain infinitesimal neighbourhood of the diagonal. Semi-conformal maps are analyzed as those that preserve such neighbourhoods; harmonic maps are analyzed as those that preserve mirror image formation for pairs of points in such neighbourhoods.


title: Mapping class groups and outer automorphism groups of free groups are C*-simple

abstract: We prove that the reduced C*-algebras of centerless mapping class groups and outer automorphism groups of free groups are simple, as are the irreducible pure subgroups of mapping class groups and the analogous subgroups of outer automorphism groups of free groups.


title: On manifolds of small degree

abstract: Let $X\subset P^n$ be a complex projective manifold of degree $d$ and arbitrary dimension. The main result of this paper gives a classification of such manifolds (assumed moreover to be connected, non-degenerate and linearly normal) in case $d\leq n$. As a by-product of the classification it follows that these manifolds are either rational or Fano. In particular, they are simply connected (hence regular) and of negative Kodaira dimension. Moreover, easy examples show that $d\leq n$ is the best possible bound for such properties to hold true. The proof of our theorem makes essential use of the adjunction mapping and, in particular, the main result of 'On varieties whose degree is small with respect to codimension' (Math.Ann. 271 1985) plays a crucial role in the argument.


title: Integrable almost complex structures in principal bundles and holomorphic curves

abstract: We consider principal fibre bundles with a given connection and construct almost complex structures on the total space if the adjoint bundle is isomorphic to the tangent bundle of the base. We derive the integrability condition. If the structure group is compact, then a choice of an ad-invariant inner product on its Lie algebra gives naturally the structure of a Riemannian manifold to the base. The integrability condition is then expressed in geometric terms. In particular we get a relation to hyperbolic geometry if the structure group is SU(2) or SO(3). The bundle of orthonormal frames of a hyperbolic oriented 3-manifold is naturally a complex manifold. If the base is geodesically complete and connected, then we can endow the total space with a locally free transitive holomorphic action of the complexified structure group. We then get some restrictions for holomorphic maps from Riemann surfaces to the total space. If the pull-back of a canonical Lie algebra valued 1-form on the total space is of scalar form, then the holomorphic map factorises through an elliptic curve. If the induced map to the base is conformal, then the associated holomorphic map with value in $P^2 \mathbb{C}$ factorises through a smooth quadric.


title: Calabi-Yau Connections with Torsion on Toric Bundles

abstract: We find sufficient conditions for a principal toric bundle over compact K\"ahler manifolds to admit Calabi-Yau connections with torsion. With the aids of a topological classification, we construct such geometry on $n(S^2\times S^4)#(n+1)(S^3\times S^3)$


title: Basic concepts of ternary Hopf algebras

abstract: The theory of ternary semigroups, groups and algebras is reformulated in the abstract arrow language. Then using the reversing arrow ansatz we define ternary comultiplication, bialgebras and Hopf algebras and investigate their properties. The main property "to be binary derived" is considered in detail. The co-analog of Post theorem is formulated. It is shown that there exist 3 types of ternary coassociativity, 3 types of ternary counits and 2 types of ternary antipodes. Some examples are also presented.

categories: math.QA hep-th math-ph math.GR math.MP math.RA


title: On Einstein equations on manifolds and supermanifolds

abstract: The Einstein equations (EE) are certain conditions on the Riemann tensor on the real Minkowski space M. In the twistor picture, after complexification and compactification M becomes the Grassmannian $Gr_{2}^{4}$ of 2-dimensional subspaces in the 4-dimensional complex one. Here we answer for which of the classical domains considered as manifolds with G-structure it is possible to impose conditions similar in some sense to EE. The above investigation has its counterpart on superdomains: an analog of the Riemann tensor is defined for any supermanifold with G-structure with any Lie supergroup G. We also derive similar analogues of EE on supermanifolds. Our analogs of EE are not what physicists consider as SUGRA (supergravity), for SUGRA see \cite{GL4,LP2}.


title: Bi-element representations of ternary groups

abstract: General properties of ternary semigroups and groups are considered. The bi-element representation theory in which every representation matrix corresponds to a pair of elements is built, connection with the standard theory is considered and several concrete examples are constructed. For clarity the shortened versions of classical Gluskin-Hossz\'{u} and Post theorems are given for them.

categories: math.GR hep-th math-ph math.MP math.RA math.RT


title: Invariant measures for bipermutative cellular automata

abstract: A `right-sided, nearest neighbour cellular automaton' (RNNCA) is a continuous transformation F:A^Z-->A^Z determined by a local rule f:A^{0,1}-->A so that, for any a in A^Z and any z in Z, F(a)_z = f(a_{z},a_{z+1}) . We say that F is `bipermutative' if, for any choice of a in A, the map g:A-->A defined by g(b) = f(a,b) is bijective, and also, for any choice of b in A, the map h:A-->A defined by h(a)=f(a,b) is bijective. We characterize the invariant measures of bipermutative RNNCA. First we introduce the equivalent notion of a `quasigroup CA', to expedite the construction of examples. Then we characterize F-invariant measures when A is a (nonabelian) group, and f(a,b) = a*b. Then we show that, if F is any bipermutative RNNCA, and mu is F-invariant, then F must be mu-almost everywhere K-to-1, for some constant K . We use this to characterize invariant measures when A^Z is a `group shift' and F is an `endomorphic CA'.


title: On the invertibility of quantization functors

abstract: Certain quantization problems are equivalent to the construction of morphisms from "quantum" to "classical" props. Once such a morphism is constructed, Hensel's lemma shows that it is in fact an isomorphism. This gives a new, simple proof that any Etingof-Kazhdan quantization functor is an equivalence of categories between quantized universal enveloping (QUE) algebras and Lie bialgebras over a formal series ring (dequantization). We apply the same argument to construct dequantizations of formal solutions of the quantum Yang-Baxter equation and of quasitriangular QUE algebras. We also give structure results for the props involved in quantization of Lie bialgebras, which yield an associator-independent proof that the prop of QUE algebras is a flat deformation of the prop of co-Poisson universal enveloping algebras.


title: Torus fibrations, gerbes, and duality

abstract: Let X be a smooth elliptic fibration over a smooth base B. Under mild assumptions, we establish a Fourier-Mukai equivalence between the derived categories of two objects, each of which is an O^* gerbe over a genus one fibration which is a twisted form of X. The roles of the gerbe and the twist are interchanged by our duality. We state a general conjecture extending this to allow singular fibers, and we prove the conjecture when X is a surface. The duality extends to an action of the full modular group. This duality is related to the Strominger-Yau-Zaslow version of mirror symmetry, to twisted sheaves, and to non-commutative geometry.


title: When Shape Matters: Deformations of Tiling Spaces

abstract: We investigate the dynamics of tiling dynamical systems and their deformations. If two tiling systems have identical combinatorics, then the tiling spaces are homeomorphic, but their dynamical properties may differ. There is a natural map ${\mathcal I}$ from the parameter space of possible shapes of tiles to $H^1$ of a model tiling space, with values in ${\mathbb R}^d$. Two tiling spaces that have the same image under ${\mathcal I}$ are mutually locally derivable (MLD). When the difference of the images is `asymptotically negligible', then the tiling dynamics are topologically conjugate, but generally not MLD. For substitution tilings, we give a simple test for a cohomology class to be asymptotically negligible, and show that infinitesimal deformations of shape result in topologically conjugate dynamics only when the change in the image of ${\mathcal I}$ is asymptotically negligible. Finally, we give criteria for a (deformed) substitution tiling space to be topologically weakly mixing.


title: On the inverse Kostka matrix

abstract: We present both a combinatorial characterization and a recurrent formula for the entries of the inverse Kostka matrix. An application to the topology of the classifying space BU(n) is obtained.


title: The arctic circle boundary and the Airy process

abstract: We prove that the, appropriately rescaled, boundary of the north polar region in the Aztec diamond converges to the Airy process. The proof uses certain determinantal point processes given by the extended Krawtchouk kernel. We also prove a version of Propp's conjecture concerning the structure of the tiling at the center of the Aztec diamond.


title: Convex Polytopes and Quasilattices from the Symplectic Viewpoint

abstract: We construct, for each convex polytope, possibly nonrational and nonsimple, a family of compact spaces that are stratified by quasifolds, i.e. each of these spaces is a collection of quasifolds glued together in an suitable way. A quasifold is a space locally modelled on $\R^k$ modulo the action of a discrete, possibly infinite, group. The way strata are glued to each other also involves the action of an (infinite) discrete group. Each stratified space is endowed with a symplectic structure and a moment mapping having the property that its image gives the original polytope back. These spaces may be viewed as a natural generalization of symplectic toric varieties to the nonrational setting.


title: Convergence of an exact quantization scheme

abstract: It has been shown by Voros \cite {V} that the spectrum of the one-dimensional homogeneous anharmonic oscillator (Schr\"odinger operator with potential $q^{2M}$, $M>1$) is a fixed point of an explicit non-linear transformation. We show that this fixed point is globally and exponentially attractive in spaces of properly normalized sequences.


title: Multiple elliptic hypergeometric series --An approach from the Cauchy determinant--

abstract: A multiple generalization of elliptic hypergeometric series is investigated and a duality transformation for multiple hypergeometric series is proposed. Our duality transformation obtained from an identity arising from the Cauchy determinant formula for Weierstrass sigma functions, by spcialization of a particular form.


title: Positivity conditions for Hermitian symmetric functions

abstract: We introduce a countable collection of positivity classes for Hermitian symmetric functions on a complex manifold, and establish their basic properties. We study a related notion of stability. The first main result shows that, if the underlying matrix of coefficients of an entire Hermitian symmetric function has at most k positive eigenvalues, then it can lie in the k-th positivity class only if it is a squared norm. We establish a similar result for Hermitian symmetric functions on the total space of a holomorphic line bundle. Finally we study the positivity classes for a natural one-parameter family of Hermitian metrics on a power of the universal bundle over complex projective space; we obtain sharp information about the parameter values in order to be in the k-th class. The paper closes with some additional information about the case when k is 2, where a nonlinear version of the Cauchy-Schwarz inequality arises.


title: Fan is to monoid as scheme is to ring: a generalization of the notion of a fan

abstract: Following DeMeyer, Ford & Miranda [DFM93], we define a topology on a fan by declaring open sets to be its subfans. Then, like Kato [Kat94], we make our fans into monoided spaces by associating a sheaf of monoids to each fan. (Our sheaf of monoids differs from Kato's.) Observing that this new monoided space is locally isomorphic to the spectrum of some monoid in the same sort of way a scheme is locally isomorphic to the spectrum of some ring, we define any monoided space that is locally isomorphic to the spectra of monoids to be a (generalized) fan. The monoid algebra functor can then be used to associate a scheme to such a fan. If we use the monoid algebra functor over some base field k, the resultant scheme is a normal variety if and only if it is a toric variety.


title: Jack polynomials and some identities for partitions

abstract: We prove an identity about partitions involving new combinatorial coefficients. The proof given is using a generating function. As an application we obtain the explicit expression of two shifted symmetric functions, related with Jack polynomials. These quantities are the moments of the "alpha-content" random variable with respect to some transition probability distributions.


title: Category Theory and Higher Dimensional Algebra: potential descriptive tools in neuroscience

abstract: We explain the notion of colimit in category theory as a potential tool for describing structures and their communication, and the notion of higher dimensional algebra as a potential yoga for dealing with processes and processes of processes.


title: Siegel modular forms (mod p) and algebraic modular forms

abstract: In a letter to Tate, Serre proves that the systems of Hecke eigenvalues given by modular forms (mod p) are the same as the ones given by locally constant functions on an adelic double coset space constructed from the endomorphism algebra of a supersingular elliptic curve. We generalize this result to Siegel modular forms (mod p), proving that the systems of Hecke eigenvalues obtained from them are the same as the ones given by algebraic modular forms (mod p) on a quaternionic unitary group, as defined by Gross. The correspondence is obtained by restricting to the superspecial locus of the moduli space of abelian varieties.


title: Singularity analysis, Hadamard products, and tree recurrences

abstract: We present a toolbox for extracting asymptotic information on the coefficients of combinatorial generating functions. This toolbox notably includes a treatment of the effect of Hadamard products on singularities in the context of the complex Tauberian technique known as singularity analysis. As a consequence, it becomes possible to unify the analysis of a number of divide-and-conquer algorithms, or equivalently random tree models, including several classical methods for sorting, searching, and dynamically managing equivalence relations


title: Limiting distributions for additive functionals on Catalan trees

abstract: Additive tree functionals represent the cost of many divide-and-conquer algorithms. We derive the limiting distribution of the additive functionals induced by toll functions of the form (a) n^\alpha when \alpha > 0 and (b) log n (the so-called shape functional) on uniformly distributed binary search trees, sometimes called Catalan trees. The Gaussian law obtained in the latter case complements the central limit theorem for the shape functional under the random permutation model. Our results give rise to an apparently new family of distributions containing the Airy distribution (\alpha = 1) and the normal distribution [case (b), and case (a) as $\alpha \downarrow 0$]. The main theoretical tools employed are recent results relating asymptotics of the generating functions of sequences to those of their Hadamard product, and the method of moments.


title: Multiplicative rule of Schubert classes

abstract: Let G be a compact connected Lie group and H, the centralizer of a one-parameter subgroup in G. Combining the ideas of Bott-Samelson resulotions of Schubert varieties and the enumerative formula on a twisted products of 2-spheres obatained in {Du2], we obtain a closed formula for multiplying Schubert classes in the flag manifold G/H.


title: Some characterizations of freeness of hyperplane arrangement

abstract: We will consider some characterizations of freeness of a hyperplane arrangement, in terms of the following properties: locally freeness, factorization of characteristic polynomial and freeness of restricted multiarrangement. In the case of 3-arrangement, freeness is characterized by factorization of characteristic polynomial and coincidence of its roots with exponents of restricted multiarrangement. In the case of higher dimension, it is characterized by a kind of locally freeness and freeness of restricted multiarrangement. As an application, we prove the freeness of certain arrangements which is conjectured by Edelman and Reiner.


title: Difference and differential equations for the colored Jones function

abstract: The colored Jones function of a knot is a sequence of Laurent polynomials. It was shown by TTQ. Le and the author that such sequences are $q$-holonomic, that is, they satisfy linear $q$-difference equations with coefficients Laurent polynomials in $q$ and $q^n$. We show from first principles that $q$-holonomic sequences give rise to modules over a $q$-Weyl ring. Frohman-Gelca-LoFaro have identified the latter ring with the ring of even functions of the quantum torus, and with the Kauffman bracket skein module of the torus. Via this identification, we study relations among the orthogonal, peripheral and recursion ideal of the colored Jones function, introduced by the above mentioned authors. In the second part of the paper, we convert the linear $q$-difference equations of the colored Jones function in terms of a hierarchy of linear ordinary differential equations for its loop expansion. This conversion is a version of the WKB method, and may shed some information on the problem of asymptotics of the colored Jones function of a knot.Final version. To appear in the Journal of Knot Theory and its Ramifications.


title: On the characteristic and deformation varieties of a knot

abstract: The colored Jones function of a knot is a sequence of Laurent polynomials in one variable, whose n-th term is the Jones polynomial of the knot colored with the n-dimensional irreducible representation of SL(2). It was recently shown by TTQ Le and the author that the colored Jones function of a knot is q-holonomic, ie, that it satisfies a nontrivial linear recursion relation with appropriate coefficients. Using holonomicity, we introduce a geometric invariant of a knot: the characteristic variety, an affine 1-dimensional variety in C^2. We then compare it with the character variety of SL_2(C) representations, viewed from the boundary. The comparison is stated as a conjecture which we verify (by a direct computation) in the case of the trefoil and figure eight knots. We also propose a geometric relation between the peripheral subgroup of the knot group, and basic operators that act on the colored Jones function. We also define a noncommutative version (the so-called noncommutative A-polynomial) of the characteristic variety of a knot. Holonomicity works well for higher rank groups and goes beyond hyperbolic geometry, as we explain in the last chapter.


title: Brauer groups and Tate-Shafarevich groups, II

abstract: This paper has been withdrawn and no version of it will ever be published.


title: Small Seifert-fibered Dehn surgery on hyperbolic knots

abstract: In this paper, we define the primitive/Seifert-fibered property for a knot in S^3. If satisfied, the property ensures that the knot has a Dehn surgery that yields a small Seifert-fibered space (i.e. base S^2 and three or fewer critical fibers). Next we describe the twisted torus knots, which provide an abundance of examples of primitive/Seifert-fibered knots. By analyzing the twisted torus knots, we prove that nearly all possible triples of multiplicities of the critical fibers arise via Dehn surgery on primitive/Seifert-fibered knots.


title: The best bounds of harmonic sequence

abstract: For any natural number $n\in\mathbb{N}$, $ \frac{1}{2n+\frac1{1-\gamma}-2}\le \sum_{i=1}^n\frac1i-\ln n-\gamma<\frac{1}{2n+\frac13}, $ where $\gamma=0.57721566490153286...m$ denotes Euler's constant. The constants $\frac{1}{1-\gamma}-2$ and $\frac13$ are the best possible. As by-products, two double inequalities of the digamma and trigamma functions are established.


title: A finite loop space not rationally equivalent to a compact Lie group

abstract: We construct a connected finite loop space of rank 66 and dimension 1254 whose rational cohomology is not isomorphic as a graded vector space to the rational cohomology of any compact Lie group, hence providing a counterexample to a classical conjecture. Aided by machine calculation we verify that our counterexample is minimal, i.e., that any finite loop space of rank less than 66 is in fact rationally equivalent to a compact Lie group, extending the classical known bound of 5.


title: Geometric construction of modular functors from Conformal Field Theory

abstract: This is the second paper in a series of papers aimed at providing a geometric construction of modular functors and topological quantum field theories from conformal field theory building on the constructions in [TUY] and [KNTY]. We give a geometric construct of a modular functor for any simple Lie-algebra and any level by twisting the constructions in [TUY] by a certain fractional power of the abelian theory first considered in [KNTY] and further studied in our first paper [AU1].


title: Rigid resolutions and big Betti numbers

abstract: In the first part of the paper we answer (positively) a question raised by the first author which has to do with some sort of rigity of the tail of resolution of an ideal. Let $I$ be a homogeneous ideal in a polynomial ring over a field of characteristic 0. Denote by $\beta_i(I)$ the $i$-th Betti number of $I$ and by $Gin(I)$ the revlex generic initial ideal of $I$. In general one has $\beta_i(I)\leq \beta_i(Gin(I))$ and we show that if $\beta_i(I)=\beta_i(Gin(I))$ for some $i$ then $\beta_j(I)=\beta_j(Gin(I))$ for all $j>i$. In the second part of the paper we answer a question of Eisenbud and Huneke. We prove that if $I$ is $m$-primary and $I\subset m^d$ then $\beta_i(m^d)\leq \beta_i(Gin(I))$ for all $i$.


title: Rates of convergence for constrained deconvolution problem

abstract: Let $X$ and $Y$ be two independent identically distributed random variables with density $p(x)$ and $Z=\alpha X+\beta Y$ for some constants $\alpha>0$ and $\beta>0$. We consider the problem of estimating $p(x)$ by means of the samples from the distribution of $Z$. Non-parametric estimator based on the sync kernel is constructed and asymptotic behaviour of the corresponding mean integrated square error is investigated.


title: Closed geodesics on orbifolds

abstract: In this paper, we try to generalize to the case of compact Riemannian orbifolds $Q$ some classical results about the existence of closed geodesics of positive length on compact Riemannian manifolds $M$. We shall also consider the problem of the existence of infinitely many geometrically distinct closed geodesics. In the classical case the solution of those problems involve the consideration of the homotopy groups of $M$ and the homology properties of the free loop space on $M$(Morse theory). Those notions have their analogue in the case of orbifolds (see [7]). The main part of this paper will be to recall those notions and to show how the classical techniques can be adapted to the case of orbifolds.


title: A stability index for detonation waves in Majda's model for reacting flow

abstract: Using Evans function techniques, we develop a stability index for weak and strong detonation waves analogous to that developed for shock waves in [GZ,BSZ], yielding useful necessary conditions for stability. Here, we carry out the analysis in the context of the Majda model, a simplified model for reacting flow; the method is extended to the full Navier-Stokes equations of reacting flow in [Ly,LyZ]. The resulting stability condition is satisfied for all nondegenerate, i.e., spatially exponentially decaying, weak and strong detonations of the Majda model in agreement with numerical experiments of [CMR] and analytical results of [Sz,LY] for a related model of Majda and Rosales. We discuss also the role in the ZND limit of degenerate, subalgebraically decaying weak detonation and (for a modified, ``bump-type'' ignition function) deflagration profiles, as discussed in [GS.1-2] for the full equations.


title: Bounds and definability in polynomial rings

abstract: We study questions around the existence of bounds and the dependence on parameters for linear-algebraic problems in polynomial rings over rings of an arithmetic flavor.In particular, we show that the module of syzygies of polynomials $f_1,...,f_n\in R[X_1,...,X_N]$ with coefficients in a Pr\"ufer domain $R$ can be generated by elements whose degrees are bounded by a number only depending on $N$, $n$ and the degree of the $f_j$. This implies that if $R$ is a B\'ezout domain, then the generators can be parametrized in terms of the coefficients of $f_1,...,f_n$ using the ring operations and a certain division function, uniformly in $R$.


title: Functional Equations and Their Related Operads

abstract: Using functional equations, we define functors that generalize standard examples from calculus of one variable. Examples of such functors are discussed and their Taylor towers are computed. We also show that these functors factor through objects enriched over the homology of little $n$-cubes operads and discuss the relationship between functors defined via functional equations and operads. In addition, we compute the differentials of the forgetful functor from the category of $n$-Poisson algebras in terms of the homology of configuration spaces.


title: Q-operator and factorised separation chain for Jack polynomials

abstract: Applying Baxter's method of the Q-operator to the set of Sekiguchi's commuting partial differential operators we show that Jack polynomials P(x_1,...,x_n) are eigenfunctions of a one-parameter family of integral operators Q_z. The operators Q_z are expressed in terms of the Dirichlet-Liouville n-dimensional beta integral. From a composition of n operators Q_{z_k} we construct an integral operator S_n factorising Jack polynomials into products of hypergeometric polynomials of one variable. The operator S_n admits a factorisation described in terms of restricted Jack polynomials P(x_1,...,x_k,1,...,1). Using the operator Q_z for z=0 we give a simple derivation of a previously known integral representation for Jack polynomials.

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


title: HKR Theorem for Smooth S-algebras

abstract: We derive an \'etale descent formula for topological Hochschild homology and prove a HKR theorem for smooth S-algebras.


title: Naive Noncommutative Blowing Up

abstract: Let B(X,L,s) be the twisted homogeneous coordinate ring of an irreducible variety X over an algebraically closed field k with dim X > 1. Assume that c in X and s in Aut(X) are in sufficiently general position. We show that if one follows the commutative prescription for blowing up X at c, but in this noncommutative setting, one obtains a noncommutative ring R=R(X,c,L,s) with surprising properties. In particular: (1) R is always noetherian but never strongly noetherian. (2) If R is generated in degree one then the images of the R-point modules in qgr(R) are naturally in (1-1) correspondence with the closed points of X. However, both in qgr(R) and in gr(R), the R-point modules are not parametrized by a projective scheme. (3) qgr R has finite cohomological dimension yet H^1(R) is infinite dimensional. This gives a more geometric approach to results of the second author who proved similar results for X=P^n by algebraic methods.


title: Mathematical models in biology

abstract: Aerotaxis is the particular form of chemotaxis in which oxygen plays the role of both the attractant and the repellent. Aerotaxis occurs without methylation adaptation, and it leads to fast and complete aggregation toward the most favorable oxygen concentration. Biochemical pathways of aerotaxis remain largely elusive, however, aerotactic pattern formation is well documented. This allows mathematical modeling to test plausible hypotheses about the biochemical mechanisms. Our model demonstrates that assuming fast, non-methylation adaptation produces theoretical results that are consistent with experimental observations. We obtain analytical estimates for parameter values that are difficult to obtain experimentally. Chemotaxis in growth cones differs from gradient sensing in other animal cells, because growth cones can change their attractive or repulsive response to the same chemical gradient based on their internal calcium or cAMP levels. We create two models describing different aspects of growth cone guidance. One model describes the internal switch that determines the direction of movement. However, this model allows chemotaxis under certain conditions only, so a second model is created to propose a mechanism that allows growth cone guidance in any environment. Endothelial cells go through extensive morphological changes when exposed to shear stress due to blood flow. These morphological changes are thought to be at least partially the result of mechanical signals, such as deformations, transmitted to the cell structures. Our model describes an endothelial cell as a network of viscoelastic Kelvin bodies with experimentally obtained parameters. Qualitative predictions of the model agree with experiments.


title: On the graph-density of random 0/1-polytopes

abstract: Let X_{d,n} be an n-element subset of {0,1}^d chosen uniformly at random, and denote by P_{d,n} := conv X_{d,n} its convex hull. Let D_{d,n} be the density of the graph of P_{d,n} (i.e., the number of one-dimensional faces of P_{d,n} divided by n(n-1)/2). Our main result is that, for any function n(d), the expected value of D_{d,n(d)} converges (with d tending to infinity) to one if, for some arbitrary e > 0, n(d) <= (\sqrt{2}-e)^d holds for all large d, while it converges to zero if n(d) >= (\sqrt{2}+e)^d holds for all large d.


title: On Invariants of Hirzebruch and Cheeger-Gromov

abstract: We prove that, if M is a compact oriented manifold of dimension 4k+3, where k>0, such that pi_1(M) is not torsion-free, then there are infinitely many manifolds that are homotopic equivalent to M but not homeomorphic to it. To show the infinite size of the structure set of M, we construct a secondary invariant tau_(2): S(M)-->R that coincides with the rho-invariant of Cheeger-Gromov. In particular, our result shows that the rho-invariant is not a homotopy invariant for the manifolds in question.


title: Perturbed Markov Chains

abstract: We study irreducible time-homogenous Markov chains with finite state space in discrete time. We obtain results on the sensitivity of the stationary distribution and other statistical quantities with respect to perturbations of the transition matrix. We define a new closeness relation between transition matrices, and use graph-theoretic techniques, in contrast with the matrix analysis techniques previously used.


title: Quasi-ordinary power series and their zeta functions

abstract: The main objective of this paper is to prove the monodromy conjecture for the local Igusa zeta function of a quasi-ordinary polynomial of arbitrary dimension defined over a number field. In order to do it, we compute the local Denef-Loeser motivic zeta function $Z_{\text{DL}}(h,T)$ of a quasi-ordinary power series $h$ of arbitrary dimension over an algebraically closed field of characteristic zero from its characteristic exponents without using embedded resolution of singularities. This allows us to effectively represent $Z_{\text{DL}}(h,T)=P(T)/Q(T)$ such that almost all the candidate poles given by $Q(T)$ are poles. Anyway, these candidate poles give eigenvalues of the monodromy action of the complex of nearby cycles on $h^{-1}(0).$ In particular we prove in this case the monodromy conjecture made by Denef-Loeser for the local motivic zeta function and the local topological zeta function. As a consequence, if $h$ is a quasi-ordinary polynomial defined over a number field we prove the Igusa monodromy conjecture for its local Igusa zeta function.


title: A unified formula for Steenrod operations in flag manifolds

abstract: The classical Schubert cells on a flag manifold G/H give a cell decomposition for G/H whose Kronecker duals (known as Schubert classes) form an additive base for the integral cohomology H^{\ast}(G/H). We present a formula that expresses Steenrod mod-p operations on Schubert classes in G/H in terms of Cartan numbers of G.


title: Sur l'autocorrelation multiplicative de la fonction "partie fractionnaire"

abstract: A first encounter with $A(\lambda) := \int_0^{+\infty}\{\lambda t\}\{t\}t^{-2}dt.$ This text contains the detailed calculations leading to the results of our paper "Etude de l'autocorrelation multiplicative de la fonction "partie fractionnaire"", to appear in the Ramanujan Journal.


title: Glauber dynamics of continuous particle systems

abstract: This paper is devoted to the construction and study of an equilibrium Glauber-type dynamics of infinite continuous particle systems. This dynamics is a special case of a spatial birth and death process. On the space $\Gamma$ of all locally finite subsets (configurations) in ${\Bbb R}^d$, we fix a Gibbs measure $\mu$ corresponding to a general pair potential $\phi$ and activity $z>0$. We consider a Dirichlet form $ \cal E$ on $L^2(\Gamma,\mu)$ which corresponds to the generator $H$ of the Glauber dynamics. We prove the existence of a Markov process $\bf M$ on $\Gamma$ that is properly associated with $\cal E$. In the case of a positive potential $\phi$ which satisfies $\delta{:=}\int_{{\Bbb R}^d}(1-e^{-\phi(x)}) z dx<1$, we also prove that the generator $H$ has a spectral gap $\ge1-\delta$. Furthermore, for any pure Gibbs state $\mu$, we derive a Poincar\'e inequality. The results about the spectral gap and the Poincar\'e inequality are a generalization and a refinement of a recent result by L. Bertini, N. Cancrini, and F. Cesi.


title: Un 3-polyGEM de cohomologie modulo 2 nilpotente

abstract: In 1983, C. McGibbon and J. Neisendorfer have given a proof for one conjecture in J.-P. Serre's famous paper (1953). In 1985, another proof was given by J. Lannes and L. Schwartz. Since then, one considers a more general conjecture: if the reduced mod 2 cohomology of any 1-connected polyGEM is of finite type and is not trivial, then it contains at least one element of infinite height, i.e., non nilpotent. This conjecture has been verified in several special situations, more precisely, by Y. Felix, S. Halperin, J.-M. Lemaire and J.-C. Thomas in 1987, by J. Lannes and L. Schwartz in 1988, and by J. Grodal in 1996. In this note, we construct an example, for which this conjecture fails.


title: Chern classes and Lie-Rinehart algebras

abstract: Classically the Chern-classes of a locally free coherent A-module W are defined using the curvature of a connection. If we more generally consider the problem of defining Chern-classes where W is a coherent A-module, a connection might not exist. In this paper we use the linear Lie-algebroid of W, where W is any coherent A-module of finite presentation, to define the first Chern-class of W. We also do explicit calculations of Chern-classes for maximal Cohen-Macaulay modules on isolated hypersurface-singularities and 2-dimensional quotient-singularities.


title: Virtual moduli cycles and Gromov-Witten invariants of noncompact symplectic manifolds

abstract: This paper constructs and studies the Gromov-Witten invariants and their properties for noncompact geometrically bounded symplectic manifolds. Two localization formulas for GW-invariants are also proposed and proved. As applications we get solutions of the generalized string equation and dilation equation and their variants. The more solutions of WDVV equation and quantum products on cohomology groups are also obtained for the symplectic manifolds with finitely dimensional cohomology groups. To realize these purposes we further develop the language introduced by Liu-Tian to describe the virtual moduli cycle (defined by Liu-Tian, Fukaya-Ono, Li-Tian, Ruan and Siebert).


title: Legendrian and Transversal Knots

abstract: This is a survey paper on Legendrian and transversal knots for Handbook of Knot Theory.


title: On a Proof of a Conjecture of Marino-Vafa on Hodge Integrals

abstract: We outline a proof of a remarkable formula for Hodge integrals conjectured by Marino and Vafa in hep-th/0108064 base on large N duality.


title: Equidistribution des horocycles d'une surface g\'eom\'etriquement finie

abstract: In this work, we show equidistribution properties for the horocycles of a geometrically finite surface with variable negative curvature. If the surface is hyperbolic, we deduce an equidistribution result for the orbits of the horocyclic flow, when the surface has infinite volume.


title: Automata and Square Complexes

abstract: We introduce a new geometric tool for analyzing groups of finite automata. To each finite automaton we associate a square complex. The square complex is covered by a product of two trees iff the automaton is bi-reversible. Using this method we give examples of free groups and of Kazhdan groups which are generated by the different states of one finite (bi-reversible) automaton. We also reproduce the theorem of Macedonska, Nekrashevych, Sushchansky, on the connection between bi-reversible automata and the commensurator of a regular tree.


title: Lines on contact Manifolds IIb

abstract: Let X be a complex-projective contact manifold whose second Betti-number is one. It has long been conjectured that X should then be rational-homogeneous, or equivalently, that there exists an embedding of X into a projective space whose image contains lines. Using methods introduced in math.AG/0206193, we show that X is covered by a compact family of rational curves, called "contact lines" that behave very much like the lines on the rational homogeneous examples: if x in X is a general point, then all contact lines through x are smooth, no two of them share a common tangent direction at x, and the union of all contact lines through x forms a cone over an irreducible, smooth base. As a corollary, we obtain that the tangent bundle of X is stable.


title: On a Small Elliptic Perturbation of a Backward-Forward Parabolic Problem, with Applications to Stochastic Models

abstract: We consider an elliptic PDE in two variables. As one parameter approaches zero, this PDE collapses to a parabolic one, that is forward parabolic in a part of the domain and backward parabolic in the remainder. Such problems arise naturally in various stochastic models, such as fluid models for data-handling systems and Markov-modulated queues. We employ singular perturbation methods to study the problem for small values of the parameter.


title: Geometrical Optics Approach to Markov-Modulated Fluid Models

abstract: We analyze asymptotically a differential-difference equation, that arises in a Markov-modulated fluid model. Here there are N identical sources that turn "on" and "off", and when "on" they generate fluid at unit rate into a buffer, which process the fluid at a rate c < N. In the steady state limit, the joint probability distribution of the buffer content and the number of active sources satisfies a system of N + 1 ODEs, that can also be viewed as a differential-difference equation analogous to a backward/forward parabolic PDE. We use singular perturbation methods to analyze the problem for N large with appropriate scalings of the two state variables. In particular, the ray method and asymptotic matching are used.


title: A Stochastic Heisenberg Inequality

abstract: An analogue of the Fourier transform will be introduced for all square integrable continuous martingale processes whose quadratic variation is deterministic. Using this transform we will formulate and prove a stochastic Heisenberg inequality.


title: The inverse of the cumulative standard normal probability function

abstract: Some properties of the inverse of the Normal distribution are studied. Its derivatives, integrals and asymptotic behavior are presented.


title: Weak approximation for linear systems of quadrics

abstract: We give local conditions at the infinite places of a number field K ensuring that the intersection of n quadrics in projective N-space over K, N >> n, satisfies weak approximation.


title: The Lovasz number of random graphs

abstract: We study the Lovasz number theta along with two further SDP relaxations theta1, theta1/2 of the independence number and the corresponding relaxations of the chromatic number on random graphs G(n,p). We prove that these relaxations are concentrated about their means Moreover, extending a result of Juhasz, we compute the asymptotic value of the relaxations for essentially the entire range of edge probabilities p. As an application, we give an improved algorithm for approximating the independence number in polynomial expected time, thereby extending a result of Krivelevich and Vu. We also improve on the analysis of an algorithm of Krivelevich for deciding whether G(n,p) is k-colorable.


title: On the Schur indices of cuspidal unipotent characters

abstract: In previous work of Gow, Ohmori, Lusztig and the author, the Schur indices of all unipotent characters of finite groups of Lie type have been explicitly determined except for six cases in groups of type $F_4$, $E_7$ and $E_8$. In this paper, we show that the Schur indices of all cuspidal unipotent characters for type $F_4$ and $E_8$ are~1, assuming that the group is defined over a field of ``good'' characteristic. This settles four out of the six open cases. For type $E_7$, we show that the Schur indices are at most~2.


title: The Schur indices of the cuspidal unipotent characters of the finite Chevalley groups $E_7(q)$

abstract: We show that the two cuspidal unipotent characters of a finite Chevalley group $E_7(q)$ have Schur index~2, provided that $q$ is an even power of a (sufficiently large) prime number $p$ such that $p\equiv 1 \bmod 4$. The proof uses a refinement of Kawanaka's generalized Gelfand--Graev representations and some explicit computations with the {\sf CHEVIE} computer algebra system.


title: Decomposition in bunches of the critical locus of a quasi-ordinary map

abstract: A polar hypersurface P of a complex analytic hypersurface germ, f=0, can be investigated by analyzing the invariance of certain Newton polyhedra associated to the image of P, with respect to suitable coordinates, by certain morphisms appropriately associated to f. We develop this general principle of Teissier (see Varietes polaires. I. Invariants polaires des singularites d'hypersurfaces, Invent. Math. 40 (1977), 3, 267-292) when f=0 is a quasi-ordinary hypersurface germ and P is the polar hypersurface associated to any quasi-ordinary projection of f=0. We build a decomposition of P in bunches of branches which characterizes the embedded topological type of the irreducible components of f=0. This decomposition is characterized also by some properties of the strict transform of P by the toric embedded resolution of f=0 given by the second author in a paper which will appear in Annal. Inst. Fourier (Grenoble). In the plane curve case this result provides a simple algebraic proof of the main theorem of Le, Michel and Weber in "Sur le comportement des polaires associees aux germes de courbes planes", Compositio Math, 72, (1989), 1, 87-113.


title: Toric embedded resolutions of quasi-ordinary hypersurface singularities

abstract: We build two embedded resolution procedures of a quasi-ordinary singularity of complex analytic hypersurface, by using toric morphisms which depend only on the characteristic monomials associated to a quasi-ordinary projection of the singularity. This result answers an open problem of Lipman in Equisingularity and simultaneous resolution of singularities, Resolution of Singularities, Progress in Mathematics No. 181, 2000, 485-503. In the first procedure the singularity is embedded as hypersurface. In the second procedure, which is inspired by a work of Goldin and Teissier for plane curves (see Resolving singularities of plane analytic branches with one toric morphism,loc. cit., pages 315-340), we re-embed the singularity in an affine space of bigger dimension in such a way that one toric morphism provides its embedded resolution. We compare both procedures and we show that they coincide under suitable hypothesis.


title: Espaces profinis et problemes de realisabilite

abstract: The mod p cohomology of a space comes with an action of the Steenrod Algebra. L. Schwartz [A propos de la conjecture de non realisation due a N. Kuhn, Invent. Math. 134, No 1, (1998) 211--227] proved a conjecture due to N. Kuhn [On topologicaly realizing modules over the Steenrod algebra, Annals of Mathematics, 141 (1995) 321--347] stating that if the mod $p$ cohomology of a space is in a finite stage of the Krull filtration of the category of unstable modules over the Steenrod algebra then it is locally finite. Nevertheless his proof involves some finiteness hypotheses. We show how one can remove those finiteness hypotheses by using the homotopy theory of profinite spaces introduced by F. Morel [Ensembles profinis simpliciaux et interpretation geometrique du foncteur T, Bull. Soc. Math. France, 124 (1996) 347--373], thus obtaining a complete proof of the conjecture. For that purpose we build the Eilenberg-Moore spectral sequence and show its convergence in the profinite setting.


title: Projective completions of Jordan pairs. Part I: The generalized projective geometry of a Lie algebra

abstract: A geometric realization of the projective completion of the Jordan pair corresponding to a three-graded Lie algebra is given which permits to develop a geometric structure theory of the projective completion. This will be used in Part II of this work to define a manifold structure on the projective completion (in arbitrary dimension and over quite general base fields and -rings).


title: Semi-classical differential structures

abstract: We semiclassicalise the standard notion of differential calculus in noncommutative geometry on algebras and quantum groups. We show in the symplectic case that the infinitesimal data for a differential calculus is a symplectic connection, and interpret its curvature as lowest order nonassociativity of the exterior algebra. Semiclassicalisation of the noncommutative torus provides an example with zero curvature. In the Poisson-Lie group case we study left-covariant infinitesimal data in terms of partially defined preconnections. We show that the moduli space of bicovariant infinitesimal data for quasitriangular Poisson-Lie groups has a canonical reference point which is flat in the triangular case. Using a theorem of Kostant, we completely determine the moduli space when the Lie algebra is simple: the canonical preconnection is the unique point for other than sl_n, n>2, when the moduli space is 1-dimensional. We relate the canonical preconnection to Drinfeld twists and thereby quantise it to a super coquasi-Hopf exterior algebra. We also discuss links with Fedosov quantisation.


title: A positive proof of the Littlewood-Richardson rule using the octahedron recurrence

abstract: We define the_hive ring_, which has a basis indexed by dominant weights for GL(n), and structure constants given by counting hives [KT1] (or equivalently honeycombs, or Berenstein-Zelevinsky patterns [BZ1]). We use the octahedron rule from [Robbins-Rumsey,Fomin-Zelevinsky,Propp,Speyer] to prove bijectively that this "ring" is indeed associative. This, and the Pieri rule, give a self-contained proof that the hive ring is isomorphic as a ring-with-basis to the representation ring of GL(n). In the honeycomb interpretation, the octahedron rule becomes "scattering" of the honeycombs. This recovers some of the "crosses and wrenches" diagrams from the very recent preprint [S], whose results we use to give a closed form for the associativity bijection.


title: Some schemes related to the commuting variety

abstract: The_commuting variety_ is the pairs of NxN matrices (X,Y) such that XY = YX. We introduce the_diagonal commutator scheme_, {(X,Y) : XY-YX is diagonal}, which we prove to be a reduced complete intersection, one component of which is the commuting variety. (We conjecture there to be only one other component.) The diagonal commutator scheme has a flat degeneration to the scheme {(X,Y) : XY lower triangular, YX upper triangular}, which is again a reduced complete intersection, this time with n! components (one for each permutation). The degrees of these components give interesting invariants of permutations.


title: Real and complex dynamics of a family of birational maps of the plane: the golden mean subshift

abstract: We give a detailed description of the dynamics of a family of birational mappings of the plane. The organizing theme of our analysis is that this family is essentially conjugate to the golden mean subshift.


title: Hilbert's Tenth Problem and Mazur's Conjecture for large subrings of Q

abstract: We give the first examples of infinite sets of primes S such that Hilbert's Tenth Problem over Z[S^{-1}] has a negative answer. In fact, we can take S to be a density 1 set of primes. We show also that for some such S there is a punctured elliptic curve E' over Z[S^{-1}] such that the topological closure of E'(Z[S^{-1}]) in E'(R) has infinitely many connected components.


title: Bouncing ball modes and quantum chaos

abstract: Quantum ergodicity of classically chaotic systems has been studied extensively both theoretically and experimentally, in mathematics, and in physics. Despite this long tradition we are able to present a new rigorous result using only elementary calculus. In the case of the famous Bunimovich billiard table we prove that the wave functions have to spread into any neighbourhood of the wings.


title: Stopping games in continuous time

abstract: We study two-player zero-sum stopping games in continuous time and infinite horizon. We prove that the value in randomized stopping times exists as soon as the payoff processes are right-continuous. In particular, as opposed to existing literature, we do not assume any conditions on the relations between the payoff processes. We also show that both players have simple epsilon- optimal randomized stopping times; namely, randomized stopping times which are small perturbations of non-randomized stopping times.


title: Quantum Hyperbolic Invariants Of 3-Manifolds With PSL(2,C)-Characters

abstract: We construct {\it quantum hyperbolic invariants} (QHI) for triples $(W,L,\rho)$, where $W$ is a compact closed oriented 3-manifold, $\rho$ is a flat principal bundle over $W$ with structural group $PSL(2,\mc)$, and $L$ is a non-empty link in $W$. These invariants are based on the Faddeev-Kashaev's {\it quantum dilogarithms}, interpreted as matrix valued functions of suitably decorated hyperbolic ideal tetrahedra. They are explicitely computed as state sums over the decorated hyperbolic ideal tetrahedra of the {\it idealization} of any fixed {\it $\Dd$-triangulation}; the $\Dd$-triangulations are simplicial 1-cocycle descriptions of $(W,\rho)$ in which the link is realized as a Hamiltonian subcomplex. We also discuss how to set the Volume Conjecture for the coloured Jones invariants $J_N(L)$ of hyperbolic knots $L$ in $S^3$ in the framework of the general QHI theory.


title: Deformations with section: Cotangent cohomology, flatness conditions and modular subgerms

abstract: We study modular subspaces corresponding to two deformation functors associated to an isolated singularity X_0: the functor Def_{X_0} of deformations of X_0 and the functor Def^s_{X_0} of deformations with section of X_0. After recalling some standard facts on the cotangent cohomology of analytic algebras and the general theory of deformations with section, we give several criteria for modularity in terms of the relative cotangent cohomology modules of a deformation. In particular it is shown that the modular strata for the functors Def_{X_0} and Def^s_{X_0} of quasihomogeneous complete intersection singularities coincide. Flatness conditions for the first cotangent cohomology modules of the deformation functors under consideration are then compared.


title: Stable sets, hyperbolicity and dimension

abstract: In this note we derive an upper bound for the Hausdorff dimension of the stable set of a hyperbolic set $\Lambda$ of a $C^2$ diffeomorphisms on a $n$-dimensional manifold. As a consequence we obtain that $\dim_H W^s(\Lambda)=n$ is equivalent to the existence of a SRB-measure. We also discuss related results in the case of expanding maps.


title: Classical and quantum dilogarithmic invariants of flat PSL(2,C)-bundles over 3-manifolds

abstract: We introduce a family of matrix dilogarithms, which are automorphisms of C^N tensor C^N, N being any odd positive integer, associated to hyperbolic ideal tetrahedra equipped with an additional decoration. The matrix dilogarithms satisfy fundamental five-term identities that correspond to decorated versions of the 2 --> 3 move on 3-dimensional triangulations. Together with the decoration, they arise from the solution we give of a symmetrization problem for a specific family of basic matrix dilogarithms, the classical (N=1) one being the Rogers dilogarithm, which only satisfy one special instance of five-term identity. We use the matrix dilogarithms to construct invariant state sums for closed oriented 3-manifolds $W$ endowed with a flat principal PSL(2,C)-bundle rho, and a fixed non empty link L if N>1, and for (possibly "marked") cusped hyperbolic 3-manifolds M. When N=1 the state sums recover known simplicial formulas for the volume and the Chern-Simons invariant. When N>$, the invariants for M are new; those for triples (W,L,rho) coincide with the quantum hyperbolic invariants defined in [Topology 43 (2004) 1373-1423], though our present approach clarifies substantially their nature. We analyse the structural coincidences versus discrepancies between the cases N=1 and N>1, and we formulate "Volume Conjectures", having geometric motivations, about the asymptotic behaviour of the invariants when N tends to infinity.


title: Ergodic amenable actions of algebraic groups

abstract: We prove that every ergodic amenable action of an algebraic group over a local field of characteristic zero is induced from an ergodic action of an amenable subgroup.


title: Polyhedral Divisors and Algebraic Torus Actions

abstract: We provide a complete description of normal affine varieties with effective algebraic torus action in terms of what we call proper polyhedral divisors on semiprojective varieties. Our theory extends classical cone constructions of Dolgachev, Demazure and Pinkham to the multigraded case, and it comprises the theory of affine toric varieties.


title: On extreme zeros of classical orthogonal polynomials

abstract: Let $x_1$ and $x_k$ be the least and the largest zeros of the Laguerre or Jacobi polynomial of degree $k.$ We shall establish sharp inequalities of the form $x_1 <A, x_k >B,$ which are uniform in all the parameters involved. Together with inequalities in the opposite direction, recently obtained by the author, this locates the extreme zeros of classical orthogonal polynomials with the relative precision, roughly speaking, $O(k^{-2/3}).$


title: On the location of concentration points for singularly perturbed elliptic equations

abstract: By means of a variational identity of Poho\v{z}aev-Pucci-Serrin type for solutions of class $C^1$ recently obtained, we give some necessary conditions for locating the concentration points for a class of quasi-linear elliptic problems in divergence form. More precisely we show that the points where the concentration occurs must be critical, either in a generalized or in the classical sense, for a suitable ground state function.


title: Hopf-cyclic homology and cohomology with coefficients

abstract: Following the idea of an invariant differential complex, we construct general-type cyclic modules that provide the common denominator of known cyclic theories. The cyclicity of these modules is governed by Hopf-algebraic structures. We prove that the existence of a cyclic operator forces a modification of the Yetter-Drinfeld compatibility condition leading to the concept of a stable anti-Yetter-Drinfeld module. This module plays the role of the space of coefficients in the thus obtained cyclic cohomology of module algebras and coalgebras, and the cyclic homology and cohomology of comodule algebras. Along the lines of Connes and Moscovici, we show that there is a pairing between the cyclic cohomology of a module coalgebra acting on a module algebra and closed 0-cocycles on the latter. The pairing takes values in the usual cyclic cohomology of the algebra. Similarly, we argue that there is an analogous pairing between closed 0-cocycles of a module coalgebra and the cyclic cohomology of a module algebra.


title: Cosimplicial versus DG-rings: a version of the Dold-Kan correspondence

abstract: The (dual) Dold-Kan correspondence says that there is an equivalence of categories $K:\cha\to \Ab^\Delta$ between nonnegatively graded cochain complexes and cosimplicial abelian groups, which is inverse to the normalization functor. We show that the restriction of $K$ to $DG$-rings can be equipped with an associative product and that the resulting functor $DGR^*\to\ass^\Delta$, although not itself an equivalence, does induce one at the level of homotopy categories. The dual of this result for chain $DG$ and simplicial rings was obtained independently by S. Schwede and B. Shipley through different methods ({\it Equivalences of monoidal model categories}. Algebraic and Geometric Topology 3 (2003), 287-334). Our proof is based on a functor $Q:DGR^*\to \ass^\Delta$, naturally homotopy equivalent to $K$, which preserves the closed model structure. It also has other interesting applications. For example, we use $Q$ to prove a noncommutative version of the Hochschild-Konstant-Rosenberg and Loday-Quillen theorems. Our version applies to the cyclic module that arises from a homomorphism $R\to S$ of not necessarily commutative rings when the coproduct $\coprod_R$ of associative $R$-algebras is substituted for $\otimes_R$. As another application of the properties of $Q$, we obtain a simple, braid-free description of a product on the tensor power $S^{\otimes_R^n}$ originally defined by P. Nuss using braids ({\it Noncommutative descent and nonabelian cohomology,} K-theory {\bf 12} (1997) 23-74.).


title: Two linear transformations each tridiagonal with respect to an eigenbasis of the other; comments on the split decomposition

abstract: Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider an ordered pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy conditions (i), (ii) below. (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $A^*$ is irreducible tridiagonal. We call such a pair a {\it Leonard pair} on $V$. Let $A,A^*$ denote a Leonard pair on $V$. There exists a decomposition of $V$ into a direct sum of 1-dimensional subspaces, with respect to which $A$ is lower bidiagonal and $A^*$ is upper bidiagonal. This is known as the {\it split decomposition}. We use the split decomposition to obtain several characterizations of Leonard pairs.


title: Two linear transformations each tridiagonal with respect to an eigenbasis of the other; comments on the parameter array

abstract: Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider an ordered pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy conditions (i), (ii) below. (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $A^*$ is irreducible tridiagonal. We call such a pair a {\it Leonard pair} on $V$. The structure of any given Leonard pair is deterined by a certain sequence of scalars called its {\it parameter array}. The set of parameter arrays is an affine algebraic variety. We give two characterizations of this variety. One involves bidiagonal matrices and the other involves orthogonal polynomials.

categories: math.RA math-ph math.CO math.MP math.QA math.RT


title: Group automorphisms with few and with many periodic points

abstract: For any $C\in[0,\infty]$ a compact group automorphism $T:X\to X$ is constructed with the property that $$ \frac{1}{n}\log|\{x\in X\mid T^n(x)=x\}|\longrightarrow C. $$ This may be interpreted as a combinatorial analogue of the (still open) problem of whether compact group automorphisms exist with any given topological entropy.


title: On certain categories of modules for affine Lie algebras

abstract: In this paper, we re-examine certain integrable modules of Chari-Presslely for an (untwisted) affine Lie algebra $\hat{\g}$ by exploiting basic formal variable techniques. We define and study two categories ${\mathcal{E}}$ and ${\mathcal{C}}$ of $\hat{\g}$-modules using generating functions, where ${\mathcal{E}}$ includes evaluation modules and ${\mathcal{C}}$ unifies highest weight modules, evaluation modules and their tensor product modules, and we classify integrable irreducible $\hat{\g}$-modules in categories ${\mathcal{E}}$ and ${\mathcal{C}}$.


title: Square Root Problem of Kato for the Sum of Operators

abstract: This paper is concerned with the square root problem of Kato for the "sum" of linear operators in a Hilbert space ${\mathbb H}$. Under suitable assumptions, we show that if $A$ and $B$ are respectively m-scetroial linear operators satisfying the square root problem of Kato. Then the same conclusion still holds for their "sum". As application, we consider perturbed Schr\"{o}dinger operators.


title: The cohomology with local coefficients of compact hyperbolic manifolds - long version

abstract: We extend the techniques developed by Millson and Raghunathan to prove nonvanishing results for the cohomology of compact arithmetic quotients of hyperbolic n-space with values in the local coefficient systems associated to finite dimensional irreducible representations of the group SO(n,1). We prove that all possible nonvanishing results compatible with the vanishing theorems of Vogan and Zuckerman can be realized by any sufficiently deep congruence subgroup of the standard cocompact arithmetic examples.


title: Finite dimensional objects in distinguished triangles

abstract: We prove an additivity for evenly (oddly) finite dimensional objects in distinguished triangles in a triangulated monoidal category structured by an underlying model monoidal category. In particular, the result holds in the Q-localized motivic stable homotopy category of spectra and in Q-localized Voevodsky's category of motives over a field, char=0. As an application, we show that the motives of schemes of dimension one (separated and of finite type over a field, char=0) are finite dimensional.