title: Components of the Springer Fiber and Domino Tableaux

abstract: Consider a complex classical semi-simple Lie group along with the set of its nilpotent coadjoint orbits. When the group is of type A, the set of orbital varieties contained in a given nilpotent orbit is described a set of standard Young tableaux. We parameterize both, the orbital varieties and the irreducible components of unipotent varieties in the other classical groups by sets of standard domino tableaux. The main tools are Spaltenstein's results on signed domino tableaux together with Garfinkle's operations on standard domino tableaux.


title: Noncommutative ampleness for multiple divisors

abstract: The twisted homogeneous coordinate ring is one of the basic constructions of the noncommutative projective geometry of Artin, Van den Bergh, and others. Chan generalized this construction to the multi-homogeneous case, using a concept of right ampleness for a finite collection of invertible sheaves and automorphisms of a projective scheme. From this he derives that certain multi-homogeneous rings, such as tensor products of twisted homogeneous coordinate rings, are right noetherian. We show that right and left ampleness are equivalent and that there is a simple criterion for such ampleness. Thus we find under natural hypotheses that multi-homogeneous coordinate rings are noetherian and have integer GK-dimension.


title: Spinors as automorphisms of the tangent bundle

abstract: We show that, on a 4-manifold M endowed with a spin^c structure induced by an almost-complex structure, a self-dual (= positive) spinor field \phi \in \Gamma(W^+) is the same as a bundle morphism \phi: TM \to TM acting on the fiber by self-dual conformal transformations, such that the Clifford multiplication is just the evaluation of \phi on tangent vectors, and that the squaring map \sigma: W^+ \to \Lambda^+ acts by pulling-back the fundamental form of the almost-complex structure. We use this to detect Kahler and symplectic structures.


title: The 3-cocycles of the Alexander quandles F_q[T]/(T-omega)

abstract: We determine the third cohomology of Alexander quandles of the form F_q[T]/(T-omega), where F_q denotes the finite field of order q and omega is an element of F-q which is neither 0 nor 1. As a result, we obtain many concrete examples of non-trivial 3-cocycles.


title: Decomposition rank of subhomogeneous $C^*$-algebras

abstract: We analyze the decomposition rank (a notion of covering dimension for nuclear $C^*$-algebras introduced by E. Kirchberg and the author) of subhomogeneous $C^*$-algebras. In particular we show that a subhomogeneous $C^*$-algebra has decomposition rank $n$ if and only if it is recursive subhomogeneous of topological dimension $n$ and that $n$ is determined by the primitive ideal space. As an application, we use recent results of Q. Lin and N. C. Phillips to show the following: Let $A$ be the crossed product $C^*$-algebra coming from a compact smooth manifold and a minimal diffeomorphism. Then the decomposition rank of $A$ is dominated by the covering dimension of the underlying manifold.


title: Accidental parabolics and relatively hyperbolic groups

abstract: By constructing, in the relative case, objects analoguous to Rips and Sela's canonical representatives, we prove that the set of images by morphisms without accidental parabolic, of a finitely presented group in a relatively hyperbolic group, is finite, up to conjugacy.


title: An exactly solved model for mutation, recombination and selection

abstract: It is well known that rather general mutation-recombination models can be solved algorithmically (though not in closed form) by means of Haldane linearization. The price to be paid is that one has to work with a multiple tensor product of the state space one started from. Here, we present a relevant subclass of such models, in continuous time, with independent mutation events at the sites, and crossover events between them. It admits a closed solution of the corresponding differential equation on the basis of the original state space, and also closed expressions for the linkage disequilibria, derived by means of M\"obius inversion. As an extra benefit, the approach can be extended to a model with selection of additive type across sites. We also derive a necessary and sufficient criterion for the mean fitness to be a Lyapunov function and determine the asymptotic behaviour of the solutions.


title: A few remarks on linear forms involving Catalan's constant

abstract: In the joint work of T.Rivoal and the author, a hypergeometric construction was proposed for studing arithmetic properties of the values of Dirichlet's beta function $\beta(s)$ at even positive integers. The construction gives some bonuses for Catalan's constant $G=\beta(2)$, such as a second-order Apery-like recursion and a permutation group in the sense of G.Rhin and C.Viola. Here we prove expected integrality properties of solutions to the above recursion as well as suggest a simpler (also second-order and Apery-like) one for $G$. We "enlarge" the permutation group of our previous (joint with T.Rivoal) work by showing that the total 120-permutation group for $\zeta(2)$ (known thanks to G.Rhin and C.Viola) can be applied in arithmetic study of Catalan's constant. These considerations have computational meanings and do not allow us to prove the (presumed) irrationality of $G$. Finally, we suggest a conjecture yielding the irrationality property of numbers (e.g., of Catalan's constant) from existence of suitable second-order difference equations (recursions).


title: Extension dimension for paracompact spaces

abstract: We prove existence of extension dimension for paracompact spaces. Here is the main result of the paper: \proclaim{Theorem} Suppose X is a paracompact space. There is a CW complex K such that {a.} K is an absolute extensor of X up to homotopy, {b.} If a CW complex L is an absolute extensor of X up to homotopy, then L is an absolute extensor of Y up to homotopy of any paracompact space Y such that K is an absolute extensor of Y up to homotopy. proclaim The proof is based on the following simple result (see 1.6). \proclaim{Theorem} Suppose X be a paracompact space and $f:A\to Y$ is a map from a closed subset A of X to a space Y. f extends over X if Y is the union of a family $\{Y_s\}_{s\in S}$ of its subspaces with the following properties: {a.} Each $Y_s$ is an absolute extensor of X, {b.} For any two elements s and t of S there is $u\in S$ such that $Y_s\cup Y_t\subset Y_u$, {c.} $A=\bigcup\limits_{s\in S} \int_A(f^{-1}(Y_s))$. proclaim That result implies a few well-known theorems of classical theory of retracts which makes it of interest in its own.


title: Estimating the structural distribution function of cell probabilities

abstract: We consider estimation of the structural distribution function of the cell probabilities of a multinomial sample in situations where the number of cells is large. We review the performance of the natural estimator, an estimator based on grouping the cells and a kernel type estimator. Inconsistency of the natural estimator and weak consistency of the other two estimators is derived by Poissonization and other, new, technical devices.


title: Onsager relations and Eulerian hydrodynamics for systems with several conservation laws

abstract: We present the derivation of the hydrodynamic limit under Eulerian scaling for a general class of one-dimensional interacting particle systems with two or more conservation laws. Following Yau's relative entropy method it turns out that in case of more than one conservation laws, in order that the system exhibit hydrodynamic behaviour, some particular identities reminiscent of Onsager's reciprocity relations must hold. We check validity of these identities for a wide class of models. It also follows that, as a general rule, the equilibrium thermodynamic entropy (as function of the densities of the conserved variables) is a globally convex Lax entropy of the hyperbolic systems of conservation laws arising as hydrodynamic limit. The Onsager relations arising in this context and its consequences seem to be novel. As concrete examples we also present a number of models modeling deposition (or domain growth) phenomena.


title: Braiding structures on formal Poisson groups and classical solutions of the QYBE

abstract: If g is a quasitriangular Lie bialgebra, one can asks what is the geometrical meaning of its r-matrix. A first answer was given in a paper by Weinstein and Xu, using purely geometrical means: roughly, one has that the formal Poisson group F[[g^*]] is endowed with a "braiding", i.e. a distinguished operator on its tensor square which satisfy quasitriangularity conditions (in particular, it is a solution of the QYBE). Independently, the authors also found, by means of quantum groups, that F[[g^*]] has a braiding. In this paper we compare these two approaches and their outcomes. First, we show that the two braidings obtained in the two processes do share several similar properties (in particular, the construction is functorial). Second, in the simplest case (G = SL_2) we prove that the two braidings do coincide. The question then rises of whether they are always the same: this problem is addressed and solved in math.QA/0207235, in a much broader context, in which unicity of braidings is proved.


title: Abelian ideals of a Borel subalgebra and long positive roots

abstract: Let $\b$ be a Borel subalgebra of a simple Lie algebra $\g$ and let $\Ab$ denote the set of all Abelian ideals of $\b$. We consider $\Ab$ as poset with respect to inclusion, the zero ideal being the unique minimal element of $\Ab$. It was shown in my paper with G.Roehrle (Adv. Math. v.159 (2001)) that there is a one-to-one correspondence between the maximal Abelian ideals and the long simple roots of $\g$. But the very existence of it was demonstrated in a case-by-case fashion. Here a conceptual explanation for that empirical observation is given. The main results are: 1) there is a natural mapping $\tau$ from the set of all nontrivial Abelian ideals to the set of long positive roots; 2) If $I$ is a maximal Abelian ideal, then $\tau(I)$ is a long simple root. Restricting $\tau$ to the set of maximal Abelian ideals yields the above-mentioned correspondence; 3) Each fibre of $\tau$ is a poset in its own right, and we prove that this fibre has a unique maximal and a unique minimal element. 4) An explicit description of the minimal and the maximal ideal corresponding to a long root is given.


title: On the proximate order of growth of generating functions of Polya frequency sequences

abstract: We study the possible growth of $PF_r$ g.f.'s analytic in the unit disk and describe the proximate orders of growth of these functions. Some classical function theory results concerning orders of growth are generalized to the case of proximate orders.


title: La filtration canonique par les pentes d'un module aux q-diff\'erences et le gradu\'e associ\'e

abstract: We show that the Newton polygon of a linear q-difference equation depends only on the corresponding q-difference module. We interpret the classical results of convergent factorisation of Adams-Birkhoff-Guenther in terms of the existence of a canonical filtration. Moreover, the associated graded module has excellent functorial (resp. tensorial) properties, whence its interest for classification (resp. for Galois theory).


title: Semi-free Hamiltonian circle actions on 6 dimensional symplectic manifolds

abstract: Assume $(M, \omega)$ is a connected, compact 6 dimensional symplectic manifold equipped with a semi-free Hamiltonian circle action, such that the fixed point set consists of isolated points or compact orientable surfaces. We restrict attention to the case $\dim$ $H^2(M)<3$. We give a complete list of the possible manifolds, determine their equivariant cohomology ring and equivariant Chern classes. Some of these manifolds are classified up to diffeomorphism. We also show the existence for a few cases.


title: Invariant bilinear forms on a vertex algebra and the radical

abstract: In this paper we construct a linear space that parameterizes all invariant bilinear forms on a given vertex algebra with values in a arbitrary vector space. Also we prove that every invariant bilinear form on a vertex algebra is symmetric. This is a generalization of the result of H. Li [J. Pure and Appl. Algebra, 96(3):279-297, 1994], who proved this for the case when the vertex algebra is non-negatively graded and has finite dimensional homogeneous components. As an application, we introduce a notion of a radical of a vertex algebra. We prove that a radical-free vertex algebra A is non-negatively graded, and its component A_0 of degree 0 is a commutative associative algebra, so that all structural maps and operations on A are A_0-linear. We also show that in this case A is simple if and only if A_0 is a field.


title: Large-scale conformal rigidity in dimension three

abstract: We define a complete Riemannian manifold X to be large-scale conformally rigid if all groups that are quasi-isometric to some complete Riemannian manifold of bounded geometry conformal to X are quasi-isometric to X. We prove that many 3-manifolds, including Euclidean 3-space, hyperbolic 3-space and the product of the hyperbolic plane with the real line are large-scale conformally rigid. This implies new characterizations of groups that can act properly, cocompactly by isometries on those manifolds.


title: Cohomology of symplectic reductions of generic coadjoint orbits

abstract: Let mathcal{O}_lambda be a generic coadjoint orbit of a compact semi-simple Lie group K. Weight varieties are the symplectic reductions of mathcal{O}_lambda by the maximal torus T in K. We use a theorem of Tolman and Weitsman to compute the cohomology ring of these varieties. Our formula relies on a Schubert basis of the equivariant cohomology of \mathcal{O}_lambda and it makes explicit the dependence on \lambda and a parameter in Lie(T)^*.


title: Spectral triples from Mumford curves

abstract: We construct spectral triples associated to Schottky--Mumford curves, in such a way that the local Euler factor can be recovered from the zeta functions of such spectral triples. We propose a way of extending this construction to the case where the curve is not k-split degenerate.


title: Integral closure of ideals in excellent local rings

abstract: Let R be an excellent local ring, m its maximal ideal and I an ideal. Then there exists a positive integer c such that for all integers n, the integral closure of (I + m^n) is contained in m^(n/c) + the integral closure of I. In the proof, a version of the linear Artin approximation theorem is proved.


title: A theorem on discrete, torsion free subgroups of Isom $H^n$

abstract: Let $H^n$ be the hyperbolic n-space with $n\geq 2$. Suppose that $\Gamma<Isom H^n$ is a discrete, torsion free subgroup and $a$ is a point in the domain of discontinuity $\Omega(\Gamma)$. Let $p$ be the projection map from $H^n$ to the quotient manifold $M=H^n/\Gamma$. In this paper we prove that there exists an open neighborhood $U$ of $a$ in $H^n\cup\Omega(\Gamma)$ such that $p$ is an isometry on $U\cap H^n$.


title: Artin groups of type B and D

abstract: We show that each of the Artin groups of type $B_n$ and $D_n$ can be presented as a semidirect product $F \rtimes {\cal B}_n$, where $F$ is a free group and ${\cal B}_n$ is the $n$-string braid group. We explain how these semidirect product structures arise quite naturally from fibrations, and observe that, in each case, the action of the braid group ${\cal B}_n$ on the free group $F$ is classical. We prove that, for each of the semidirect products, the group of automorphisms which leave invariant the normal subgroup $F$ is small: namely, ${\rm Out}(A(B_n),F)$ has order 2, and ${\rm Out}(A(D_n),F)$ has order 4 if $n$ is even and 2 if $n$ is odd. It is known that the Artin group of type $D_n$ may be viewed as an index 2 subgroup of the $n$-string braid group over some orbifold. Applying the same techniques, we show that this latter group has an outer automorphism group of order 2. Finally, we determine the automorphism groups of all Artin groups or rank 2.


title: Euivalences of derived catgories of sheaves on smooth stacks

abstract: We extend Orlov's representability theorem on the equivalence of derived categories of sheaves to the case of smooth stacks associated to normal projective varieties with only quotient singularities.


title: A note on octic hypersurfaces with many nodes

abstract: In the present note we use rank-2-bundles over ${\bb P}^3$ to construct octic hypersurfaces with many nodes. We give an example with 128 nodes.


title: Liaison of varieties of small dimension and deficiency modules

abstract: This article studies the behaviour under liaison of the deficiency modules of schemes that are not assumed to be Cohen-Macaulay. Our study uses in particular a generalization of Serre duality, and gives a satisfactory description of this behaviour in dimension at most three. On the way we show other properties of linked schemes.


title: Cumulants in noncommutative probability I. Noncommutative Exchangeability Systems

abstract: Cumulants linearize convolution of measures. We use a formula of Good to define noncommutative cumulants in a very general setting.It turns out that the essential property needed is exchangeability of random variables. Roughly speaking the formula says that cumulants are moments of a certain ``discrete Fourier transform'' of a random variable. This provides a simple unified method to understand the known examples of cumulants, like classical, free cumulants and various q-cumulants.


title: Cumulants in noncommutative probability II. Generalized Gaussian random variables

abstract: We continue the investigation of noncommutative cumulants. In this paper various characterizations of noncommutative Gaussian random variables are proved.


title: Cumulants in Noncommutative Probability Theory III. Creation- and annihilation operators on Fock spaces

abstract: Fock space constructions give rise to natural exchangeable families and are thus well suited for cumulant calculations. In this paper we develop some general formulas and compute cumulants for generalized Toeplitz operators, notably for q-Fock spaces, previously considered by M. Anshelevich and A. Nica, and Fock spaces for characters of the infinite symmetric group, which where constructed by Bozejko and Guta. An expression for cumulants in terms of the cycle-cover polynomials of certain directed graphs is obtained in this case.


title: Cycle Spaces of Flag Domains: A Complex Geometric Viewpoint

abstract: This is a survey of history, methods and developments in the theory of cycle spaces of flag domains, and new results on double fibration transforms and their applications.


title: On uniqueness and differentiability in the space of Yamabe metrics

abstract: We prove that generically (positive) Yamabe metrics are unique in their conformal class, and describe some sufficient conditions which imply that a Yamabe metric of locally maximal scalar curvature is an Einstein metric.


title: Quantum Zonal Spherical Functions and Macdonald Polynomials

abstract: A unified theory of quantum symmetric pairs is applied to q-special functions. Previous work characterized certain left coideal subalgebras in the quantized enveloping algebra and established an appropriate framework for quantum zonal spherical functions. Here a distinguished family of such functions, invariant under the Weyl group associated to the restricted roots, is shown to be a family of Macdonald polynomials, as conjectured by Koornwinder and Macdonald. Our results place earlier work for Lie algebras of classical type in a general context and extend to the exceptional cases.


title: On embeddings of full amalgamated free product C*-algebras

abstract: We examine the question of when the *-homomorphism of full amalgamated free product C*-algebras \lambda: A *_D B --> A' *_{D'} B', arising from compatible inclusions of C*-algebras A in A', B in B' and D in D', is an embedding. Results giving sufficient conditions for \lambda to be injective, as well of classes of examples where \lambda fails to be injective, are obtained. As an application, we give necessary and sufficient condition for the full amalgamated free product of finite dimensional C*-algebras to be residually finite dimensional.


title: Computational Exploration of Investor Utilities Underlying a Portfolio Insurance Strategy

abstract: In this paper we take a look at a simple portfolio insurance strategy using a protective put and computationally derive the investor's governing utility structures underlying such a strategy under alternative market scenarios. Investor utility is deemed to increase with an increase in the excess equity generated by the portfolio insurance strategy over a simple investment strategy without any insurance. Three alternative market scenarios (probability spaces) have been explored -- 'Down', 'Neutral' and 'Up', categorized according to whether the price of the underlying security is most likely to go down, stay unchanged or go up. The methodology used is computational, primarily based on simulation and numerical extrapolation. The Arrow-Pratt measure of risk aversion has been used to determine how the investors react towards risk under the different scenarios.


title: Path Model for a Level Zero Extremal Weight Module over a Quantum Affine Algebra

abstract: We give a path model for a level zero extremal weight module over a quantum affine algebra. By using this result, we prove a branching rule for an extremal weight module with respect to a Levi subalgebra. Furthermore, we also show a decomposition rule of Littelmann type for the concatenation of path models for an integrable highest weight module and a level zero extremal weight module in the case where the extremal weight is minuscule.


title: Lattice Vertex Algebras on General Even, Self-dual Lattices

abstract: In this note we analyse the Lie algebras of physical states stemming from lattice constructions on general even, self-dual lattices Gamma^{p,q} with p greater or equal to q. It is known that if the lattice is at most Lorentzian, the resulting Lie algebra is of generalized Kac-Moody type (or has a quotient that is). We show that this is not true as soon as q is larger than 1. By studying a certain sublattice in the case q>1 we obtain results that lead to the conjecture that the resulting non-GKM Lie algebra cannot be described conveniently in terms of generators and relations and belongs to a new and qualitatively different class of Lie algebras.


title: Complete Solution to the General Robust Strictly Positive Real Synthesis Problem for Polynomial Segments

abstract: For any two n-th order polynomials a(s) and b(s), the Hurwitz stability of their convex combination is necessary and sufficient for the existence of a polynomial c(s) such that c(s)/a(s) and c(s)/b(s) are both strictly positive real.


title: Yorke and Wright 3/2-stability theorems from a unified point of view

abstract: We consider a family of scalar delay differential equations $x'(t)=f(t,x_t)$, with a nonlinearity $f$ satisfying a negative feedback condition combined with a boundedness condition. We present a global stability criterion for this family, which in particular unifies the celebrated 3/2-conditions given for the Yorke and the Wright type equations. We illustrate our results with some applications.


title: Splitting jet sequences

abstract: The consequences of the splitting of higher jet sequences of vector bundles on a compact complex (Kaehler) manifold are studied, proving an infinitesimal convers to a result of I.Biswas.


title: Projective schemes: What is Computable in low degree?

abstract: This article first presents two examples of algorithms that extracts information on scheme out of its defining equations. We also give a review on the notion of Castelnuovo-Mumford regularity, its main properties (in particular its relation to computational issues) and different ways that were used to estimate it.


title: Are there parts of our arithmetical competence that no sound formal system can duplicate?

abstract: In 1995, David Chalmers opined as implausible that there may be parts of our arithmetical competence that no sound formal system could ever duplicate. We prove that the recursive number-theoretic relation x=Sb(y 19|Z(y)) - which is algorithmically verifiable since Goedel's recursive function Sb(y 19|Z(y)) is Turing-computable - cannot be "duplicated" in any consistent formal system of Arithmetic.


title: Non-Isomorphic Product Systems

abstract: Uncountably many mutually non-isomorphic product systems (that is, continuous tensor products of Hilbert spaces) of types II-0 and III are constructed by probabilistic means (random sets and off-white noises), answering four questions of W. Arveson. Results of math.FA/0001070, math.FA/0006165 are improved, and proofs are more readable.


title: On intervals in some posets of forests

abstract: A nice factorization is given for the characteristic polynomials of intervals in some posets of leaf-labeled forests of rooted binary trees.


title: Lie Group analysis of Plasma equilibrium equations

abstract: In this paper we perform Lie group analysis of systems of partial differential equations which describe different cases of classical plasma equilibria, and find groups of transformations admitted by those equations in several important cases. We also give a recipe how to apply Lie formalism to look for B\"{a}cklund transformations between systems of partial differential equations, using plasma equilibrium system as an example.


title: Twistings, crossed coproducts and Hopf-Galois coextensions

abstract: Let $H$ be a Hopf algebra. Ju and Cai introduced the notion of twisting of an $H$-module coalgebra. In this note, we study the relationship between twistings, crossed coproducts and Hopf-Galois coextensions. In particular, we show that a twisting of an $H$-Galois coextension remains $H$-Galois if the twisting is invertible.


title: Semisimplicity of the categories of Yetter-Drinfeld modules and Long dimodules

abstract: Let $k$ be a field, and $H$ a Hopf algebra with bijective antipode. If $H$ is commutative, noetherian, semisimple and cosemisimple, then the category ${}_{H}{\mathcal {YD}}^H$ of Yetter-Drinfeld modules is semisimple. We also prove a similar statement for the category of Long dimodules, without the assumption that $H$ is commutative.


title: Crossed squares and 2-crossed modules

abstract: Crossed squares and 2-crossed modules are both algebraic models for 3-types. This paper explores the interrelationships between these two models.


title: Abelian ideals in a Borel subalgebra of a complex simple Lie algebra

abstract: Let g be a complex simple Lie algebra and b a fixed Borel subalgebra of g. We shall describe the abelian ideals of b in a uniform way, that is, independent of the classification of complex simple Lie algebras.


title: On the spectral side of the Arthur trace formula

abstract: In this paper we study the absolute convergence of the spectral side of the Arthur trace formula. We reduce the problem of the absolute convergence to a problem about local components of automorphic representations. The latter problem can be settled for GL(n).


title: The Chow group of the moduli space of marked cubic surfaces

abstract: Naruki gave an explicit construction of the moduli space of marked cubic surfaces, starting from a toric variety and proceeding with blow ups and contractions. Using his result, we compute the Chow groups and the Chern classes of this moduli space.As an application we relate a recent result of Freitag on the Hilbert polynomial of a certain ring of modular forms to the Riemann-Roch theorem for the moduli space.


title: Quantization, Classical and Quantum Field Theory and Theta - Functions

abstract: In the abelian case (the subject of several beautiful books) fixing some combinatorial structure (so called theta structure of level k) one obtains a special basis in the space of sections of canonical polarization powers over the jacobians. These sections can be presented as holomorphic functions on the "abelian Schottky space". This fact provides various applications of these concrete analytic formulas to the integrable systems, classical mechanics and PDE's. Our practical goal is to do the same in the non abelian case that is to give an answer to the Beauville's question. In future we hope to extend this digest to a mathematical mohograph with title "VBAC".


title: On the Fundamental Group of Type II$_1$ Factors

abstract: We present here a shorter version of the proof of a result from our paper ``On a class of type II$_1$ factors with Betti numbers invariants'', showing that the von Neumann factor associated with the group $\Bbb Z^2 \rtimes SL(2, \Bbb Z)$ has trivial fundamental group.


title: Symplectic homology and periodic orbits near symplectic submanifolds

abstract: We show that a small neighborhood of a closed symplectic submanifold in a geometrically bounded aspherical symplectic manifold has non-vanishing symplectic homology. As a consequence, we establish the existence of contractible closed characteristics on any thickening of the boundary of the neighborhood. When applied to twisted geodesic flows on compact symplectically aspherical manifolds, this implies the existence of contractible periodic orbits for a dense set of low energy values.


title: Mixing Time of the Rudvalis Shuffle

abstract: We extend a technique for lower-bounding the mixing time of card-shuffling Markov chains, and use it to bound the mixing time of the Rudvalis Markov chain, as well as two variants considered by Diaconis and Saloff-Coste. We show that in each case Theta(n^3 log n) shuffles are required for the permutation to randomize, which matches (up to constants) previously known upper bounds. In contrast, for the two variants, the mixing time of an individual card is only Theta(n^2) shuffles.


title: Linear Phase Transition in Random Linear Constraint Satisfaction Problem

abstract: Our model is a generalized linear programming relaxation of a much studied random K-SAT problem. Specifically, a set of linear constraints C on K variables is fixed. From a pool of n variables, K variables are chosen uniformly at random and a constraint is chosen from C also uniformly at random. This procedure is repeated m times independently. We ask the following question: is the resulting linear programming problem feasible? We show that the feasibility property experiences a linear phase transition, when n diverges to infinity and m=cn for some constant c. Namely, there exists a critical value c* such that, when c<c*, the system is feasible or is asymptotically almost feasible, as n increases, but, when c>c*, the "distance" from feasibility is at least a positive constant independent of n. Our results are obtained using powerful local weak convergence methods developed by Aldous and Steele. By exploiting a linear programming duality, our theorem implies the following result in the context of sparse random graphs G(n, cn) on n nodes with cn edges, where edges are equipped with randomly generated weights. Let M(n,c) denote maximum weight matching in G(n, cn). We prove that when c is a constant and n\to\infty, the limit \lim_n M(n,c)/n exists, with high probability. We further extend this result to maximum weight b-matchings also in G(n,cn).


title: A Wilson Group of Non-Uniformly Exponential Growth

abstract: This note constructs a finitely generated group $W$ whose word-growth is exponential, but for which the infimum of the growth rates over all finite generating sets is 1 -- in other words, of non-uniformly exponential growth. This answers a question by Mikhael Gromov. The construction also yields a group of intermediate growth $V$ that locally resembles $W$ in that (by changing the generating set of $W$) there are isomorphic balls of arbitrarily large radius in $V$ and $W$'s Cayley graphs.


title: Solution to Rubel's question about differentially algebraic dependence on initial values

abstract: We prove that, for generic systems of polynomial differential equations, the dependence of the solution on the initial conditions is not differentially algebraic. This answers, in the negative, a question posed by L.A. Rubel.


title: Lyapunov 1-forms for flows

abstract: In this paper we find conditions which guarantee that a given flow $\Phi$ on a compact metric space $X$ admits a Lyapunov one-form $\omega$ lying in a prescribed \v{C}ech cohomology class $\xi\in \check H^1(X;\R)$. These conditions are formulated in terms of the restriction of $\xi$ to the chain recurrent set of $\Phi$. The result of the paper may be viewed as a generalization of a well-known theorem of C. Conley about the existence of Lyapunov functions.


title: Sur la laminarite de certains courants

abstract: We show that a sequence of smooth analytic curves of the unit ball of the complex plane, for which the genus is bounded by the area, converges to a lamination in a weak sense.


title: Valued Deformations of Algebras

abstract: We develop the notion of deformations using a valuation ring as ring of coefficients. This permits to consider in particular the classical Gerstenhaber deformations of associative or Lie algebras as infinitesimal deformations and to solve the equation of deformations in a polynomial frame. We consider also the deformations of the enveloping algebra of a rigid Lie algebra and we define valued deformations for some classes of non associative algebras.


title: Translational tilings of the integers with long periods

abstract: Suppose that A is a finite set of integers of diameter D. Suppose also that the set of integers B is such that A+B is a tiling of the integers, that is each integer is uniquely expressible as a+b, with a in A, b in B. It is well known that B must be a periodic set in this case. Here we study the relationship between the diameter D of A and the least period T of B. We show that T is at most C exp(C \sqrt D \log D \sqrt{\log\log D}) and that we can have T at least quadratic in D.


title: Contr\^ole des bras articul\'es et transformations de Moebius (Control of robot arms and Moebius transformations)

abstract: For a m-tuple a=(a_1,...,a_m) of positive real numbers, the robot arm of type a in R^d is the map f^a:(S^{d-1})^m -> R^d defined by f^a(z_1,...,z_m) to be the sum of the a_jz_j's. Our aim is to attack the inverse problem via the horizontal liftings for the distribution Delta^a orthogonal to the fibers of f^a. One shows that the connected components by horizontal curves are the orbits of an actiion on (S^{d-1})^m by a product of groups of Moebius transformations. In several cases, the holonomy orbits of the distribution Delta^a are also described.


title: Operads, deformation theory and F-manifolds

abstract: It is shown that every algebra over the chain operad of the little disks operad gives naturally rise to a Hertling-Manin's F-manifold, that is a smooth manifold equipped with an integrable graded commutative associative product on the tangent sheaf. In particular, moduli spaces of extended deformations of complex/symplectic structures are shown to have a canonical structure of F-manifold. With the help of the $G_\infty$-operad a strong homotopy version of the notion of F-manifold is constructed. Among natural examples of $F_\infty$-manifolds one finds formal manifolds associated with the Hochschild cohomology of an associative algebra and with the singular cohomology of an arbitrary compact topological space.


title: Quantum-Classical Interactions and Galois Type Extensions

abstract: An algebraic model for the relation between a certain classical particle system and the quantum environment is proposed. The quantum environment is described by the category of possible quantum states. The initial particle system is represented by an associative algebra in the category of states. The key new observation is that particle interactions with the quantum environment can be described in terms of Hopf-Galois theory. This opens up a possibility to use quantum groups in our model of particle interactions.


title: A Two-Dimensional Minkowski ?(x) Function

abstract: A one-to-one continuous function from a triangle to itself is defined that has both interesting number theoretic and analytic properties. This function is shown to be a natural generalization of the classical Minkowski ?(x) function. It is shown there exists a natural class of pairs of cubic irrational numbers in the same cubic number field that are mapped to pairs of rational numbers, in analog to ?(x) mapping quadratic irrationals on the unit interval to rational numbers on the unit interval. It is also shown that this new function satisfies an analog to the fact that ?(x), while increasing and continuous, has derivative zero almost everywhere.


title: Nonlinear Schrodinger equations with repulsive harmonic potential and applications

abstract: We study the Cauchy problem for Schrodinger equations with repulsive quadratic potential and power-like nonlinearity. The local problem is well-posed in the same space as that used when a confining harmonic potential is involved. For a defocusing nonlinearity, it is globally well-posed, and a scattering theory is available, with no long range effect for any superlinear nonlinearity. When the nonlinearity is focusing, we prove that choosing the harmonic potential sufficiently strong prevents blow-up in finite time. Thanks to quadratic potentials, we provide a method to anticipate, delay, or prevent wave collapse; this mechanism is explicit for critical nonlinearity.


title: Laminar free hyperbolic 3-manifolds

abstract: We analyse the existence question for essential laminations in 3-manifolds. The purpose is to prove that there are infinitely many closed hyperbolic 3-manifolds which do not admit essential laminations. This answers in the negative a question posed by Gabai and Oertel. The proof is obtained by analysing certain group actions on trees and showing that certain 3-manifold groups only have trivial actions on trees. In general the trees are neither simplicial nor metric. There are corollaries concerning the existence question for Reebless foliations and pseudo-Anosov flows.


title: On Shafarevich-Tate groups and the arithmetic of Fermat Curves

abstract: We extend the results of the first author on nontrivial elements in the Shafarevich-Tate group of the jacobian of a quotient of a Fermat curve of prime degree, and use the methods of the second author to derive a result bounding the quadratic points on the Fermat curve of degree 19.


title: Cone-manifolds and the density conjecture

abstract: We give an expository account of our proof that each cusp-free hyperbolic 3-manifold M with finitely generated fundamental group and incompressible ends is an algebraic limit of geometrically finite hyperbolic 3-manifolds.


title: On the compactification of hyperconcave ends and the theorems of Siu-Yau and Nadel

abstract: We show that the pseudoconcave holes of some naturally arising class of manifolds, called hyperconcave ends, can be filled in, including the case of complex dimension 2 . As a consequence we obtain a stronger version of the compactification theorem of Siu-Yau and extend Nadel's theorems to dimension 2.


title: Quasirandom Permutations

abstract: Chung and Graham define quasirandom subsets of $\mathbb{Z}_n$ to be those with any one of a large collection of equivalent random-like properties. We weaken their definition and call a subset of $\mathbb{Z}_n$ $\epsilon$-balanced if its discrepancy on each interval is bounded by $\epsilon n$. A quasirandom permutation, then, is one which maps each interval to a highly balanced set. In the spirit of previous studies of quasirandomness, we exhibit several random-like properties which are equivalent to this one, including the property of containing (approximately) the expected number of subsequences of each order-type. We provide a few applications of these results, present a construction for a family of strongly quasirandom permutations, and prove that this construction is essentially optimal, using a result of W. Schmidt on the discrepancy of sequences of real numbers.


title: Haar measure on a locally compact quantum group

abstract: In the general theory of locally compact quantum groups, the notion of Haar measure (Haar weight) plays the most significant role. The aim of this paper is to carry out a careful analysis regarding Haar weight, in relation to general theory, for the specific non-compact quantum group (A,\Delta) constructed earlier by the author. In this way, one can show that (A,\Delta) is indeed a ``(C*-algebraic) locally compact quantum group'' in the sense of the recently developed definition given by Kustermans and Vaes. Attention will be given to pointing out the relationship between the original construction (obtained by deformation quantization) and the structure maps suggested by general theory.


title: Dressing orbits and a quantum Heisenberg group algebra

abstract: In this paper, as a generalization of Kirillov's orbit theory, we explore the relationship between the dressing orbits and irreducible *-representations of the Hopf C*-algebras (A,\Delta) and (\tilde{A}, \tilde{\Delta}) we constructed earlier. We discuss the one-to-one correspondence between them, including their topological aspects. On each dressing orbit (which are symplectic leaves of the underlying Poisson structure), one can define a Moyal-type deformed product at the function level. The deformation is more or less modeled by the irreducible representation corresponding to the orbit. We point out that the problem of finding a direct integral decomposition of the regular representation into irreducibles (Plancherel theorem) has an interesting interpretation in terms of these deformed products.


title: Reduction of homomorphisms mod p and algebraicity

abstract: {Let $K$ be a number field, and $A_1,A_2$ abelian varieties over $K$. Let $P$ (resp. $Q$) be a non-torsion point in $ A_1(K)$ (resp. $A_2(K)$) such that for almost all places $v$ of $K$, the order of $Q$ mod $v$ divides the order of $P$ mod $v$. Then we prove (under some conditions on $A_i, i=1,2$) that there is a homomorphism $j$ from $A_1$ to $A_2$ such that $j(P) = Q$. We formulate and extend such a result for any subgroups of $A_i(K), i=1,2$. These results in particular extend the work of Corrales and Schoof from elliptic curves to abelian varieties.


title: On isomorphisms between deformation rings and Hecke rings

abstract: We give a different approach to the well-known modularity lifting results of Wiles and Taylor. Instead of Taylor-Wiles systems we use a Galois cohomological discovery of R. Ramakrishna. This paper is 2 years older than math.NT/0210296 where another approach to modularity lifting results was presented.


title: Finiteness of Selmer groups and deformation rings

abstract: We prove the finiteness of Selmer groups attached to lifts of certain 2-dimensional mod p representations of the absolute Galois group of Q. The mod p representation can be either even or odd. The lifts considered are the ones that were proven to exist by the seond named author.


title: Syst\`emes aux q-diff\'erences singuliers r\'eguliers: solutions canoniques, classification, matrice de connexion et monodromie

abstract: G.D. Birkhoff extended the classical Riemann-Hilbert problem for differential equations to the case of ``fuchsian'' linear $q$-difference systems with rational coefficients. He solved it in the generic case: the classifying object which he introduces is made up of the connection matrix $P$, together with the exponents at 0 and $\infty$. We follow his method in the general case, but treat symetrically 0 and $\infty$ and use no ``wildly'' growing solutions. When $q$ tends to 1, $P$ tends to a locally constant matrix $\tilde{P}$ such that the (finitely many) values $\tilde{P}(a)^{-1}\tilde{P}(b)$ are the monodromy matrices of the limiting differential system (assumed to be non resonant at 0 and $\infty$) at the singularities on $\mathbf{C}^{*}$. This text is that of preprint 148 of the Laboratoire Emile Picard (february 1999). A shorter version was published by the Annales de l'Institut Fourier, 50, 4, (2000).


title: A generalization of tight closure and multiplier ideals

abstract: We introduce a new variant of tight closure associated to any fixed ideal $\a$, which we call $\a$-tight closure, and study various properties thereof. In our theory, the annihilator ideal $\tau(\a)$ of all $\a$-tight closure relations, which is a generalization of the test ideal in the usual tight closure theory, plays a particularly important role. We prove the correspondence of the ideal $\tau(\a)$ and the multiplier ideal associated to $\a$ (or, the adjoint of $\a$ in Lipman's sense) in normal $\Q$-Gorenstein rings reduced from characteristic zero to characteristic $p \gg 0$. Also, in fixed prime characteristic, we establish some properties of $\tau(\a)$ similar to those of multiplier ideals (e.g., a Brian\c{c}on-Skoda type theorem, subadditivity, etc.) with considerably simple proofs, and study the relationship between the ideal $\tau(\a)$ and the F-rationality of Rees algebras.


title: Robust Strictly Positive Real Synthesis for Convex Combination of Sixth-Order Polynomials

abstract: For the two sixth-order polynomials $a(s)$ and $b(s),$ Hurwitz stability of their convex combination is necessary and sufficient for the existence of a polynomial $c(s)$ such that $c(s)/a(s)$ and $c(s)/b(s)$ are both strictly positive real. Our reasoning method is constructive, and is insightful and helpful in solving the general robust strictly positive real synthesis problem.


title: Improved Results on Robust Stability of Multivariable Interval Control Systems

abstract: For interval polynomial matrices, we identify the minimal testing set, whose stability can guarantee that of the whole uncertain set. Our results improve the conclusions given by Kamal and Dahleh.


title: Robust D-stability of uncertain MIMO systems: LMI criteria

abstract: The focal point of this paper is to provide some simple and efficient criteria to judge the ${\cal D}$-stability of two families of polynomials, i.e., an interval multilinear polynomial matrix family and a polytopic polynomial family. Taking advantage of the uncertain parameter information, we analyze these two classes of uncertain models and give some LMI conditions for the robust stability of the two families. Two examples illustrate the effectiveness of our results.


title: Robust Strictly Positive Real Synthesis for Polynomial Families of Arbitrary Order

abstract: For any two $n$-$th$ order polynomials $a(s)$ and $b(s),$ the Hurwitz stability of their convex combination is necessary and sufficient for the existence of a polynomial $c(s)$ such that $c(s)/a(s)$ and $c(s)/b(s)$ are both strictly positive real.


title: H-infinity Performance of Interval Systems

abstract: In this paper, we study $H^{\infty}$ performance of interval systems. We prove that, for an interval system, the maximal $H^{\infty}$ norm of its sensitivity function is achieved at twelve (out of sixteen) Kharitonov vertices.


title: Edge Theorem for Multivariable Systems

abstract: This paper studies robustness of multivariable systems with parametric uncertainties, and establishes a multivariable version of Edge Theorem. An illustrative example is presented.


title: A note on intermediate subfactors of Krishnan-Sunder subfactors

abstract: A Krishnan-Sunder subfactor $R_U \ss R$ of index $k^2$ is constructed from a permutation biunitary matrix $U\in M_p(\mathbb{C})\otimes M_k(\mathbb{C})$, i.e. the entries of $U$ are either 0 or 1 and both $U$ and its block transpose are unitary. The author previously showed that every irreducible Krishnan-Sunder subfactor has an intermediate subfactor by exhibiting the associated Bisch projection. The author has also shown in a separate paper that the principal and dual graphs of the intermediate subfactor are the same as those of the subfactor $R^{\grp} \ss R^{H}$, where $H\ss \grp$ is an inclusion of finite groups with an outer action on $R$. In this paper we give a direct proof that the intermediate subfactor is isomorphic to $R^{\grp} \ss R^{H}$.


title: An extension of a characterization of the automorphisms of Hilbert space effect algebras

abstract: The aim of this paper is to show that if an order preserving bijective transformation of the Hilbert space effect algebra also preserves the probability with respect to a fixed pair of mixed states, then it is an ortho-order automorphism. A similar result for the orthomodular lattice of all sharp effects (i.e., projections) is also presented.


title: Formality of Donaldson submanifolds

abstract: We introduce the concept of s-formal minimal model as an extension of formality. We prove that any orientable compact manifold M, of dimension 2n or (2n-1), is formal if and only if M is (n-1)-formal. The formality and the hard Lefschetz property are studied for the symplectic manifolds constructed by Donaldson with asymptotically holomorphic techniques. This study permits us to show an example of a Donaldson symplectic manifold of dimension eight which is formal simply connected and does not satisfy the hard Lefschetz theorem.


title: A Stability Criterion for Nonparametric Minimal Submanifolds

abstract: An $n$ dimensional minimal submanifold $\Sigma$ of $\R^{n+m}$ is called non-parametric if $\Sigma$ can be represented as the graph of a vector-valued function $f:D\subset \R^n \mapsto \R^m$. This note provides a sufficient condition for the stability of such $\Sigma$ in terms of the norm of the differential $df$.


title: On diffeomorphisms over surfaces trivially embedded in the 4-sphere

abstract: A surface in the 4-sphere is trivially embedded, if it bounds a 3-dimensional handle body in the 4-sphere. For a surface trivially embedded in the 4-sphere, a diffeomorphism over this surface is extensible if and only if this preserves the Rokhlin quadratic form of this embedded surface.


title: Entropy and the Law of Small Numbers

abstract: Two new information-theoretic methods are introduced for establishing Poisson approximation inequalities. First, using only elementary information-theoretic techniques it is shown that, when $S_n=\sum_{i=1}^nX_i$ is the sum of the (possibly dependent) binary random variables $X_1,X_2,...,X_n$, with $E(X_i)=p_i$ and $E(S_n)=\la$, then \ben D(P_{S_n}\|\Pol)\leq \sum_{i=1}^n p_i^2 + \Big[\sum_{i=1}^nH(X_i) - H(X_1,X_2,..., X_n)\Big], \een where $D(P_{S_n}\|{Po}(\la))$ is the relative entropy between the distribution of $S_n$ and the Poisson($\la$) distribution. The first term in this bound measures the individual smallness of the $X_i$ and the second term measures their dependence. A general method is outlined for obtaining corresponding bounds when approximating the distribution of a sum of general discrete random variables by an infinitely divisible distribution. Second, in the particular case when the $X_i$ are independent, the following sharper bound is established, \ben D(P_{S_n}\|\Pol)\leq \frac{1}{\lambda} \sum_{i=1}^n \frac{p_i^3}{1-p_i}, % \label{eq:abs2} \een and it is also generalized to the case when the $X_i$ are general integer-valued random variables. Its proof is based on the derivation of a subadditivity property for a new discrete version of the Fisher information, and uses a recent logarithmic Sobolev inequality for the Poisson distribution.


title: Zoll Manifolds and Complex Surfaces

abstract: We classify compact surfaces with torsion-free affine connections for which every geodesic is a simple closed curve. In the process, we obtain completely new proofs of all the major results concerning the Riemannian case. In contrast to previous work, our approach is twistor-theoretic, and depends fundamentally on the fact that, up to biholomorphism, there is only one complex structure on CP2.


title: Tameness on the boundary and Ahlfors' measure conjecture

abstract: Let N be a complete hyperbolic 3-manifold that is an algebraic limit of geometrically finite hyperbolic 3-manifolds. We show N is homeomorphic to the interior of a compact 3-manifold, or tame, if one of the following conditions holds: (1) N has non-empty conformal boundary, (2) N is not homotopy equivalent to a compression body, or (3) N is a strong limit of geometrically finite manifolds. The first case proves Ahlfors' measure conjecture for Kleinian groups in the closure of the geometrically finite locus: given any algebraic limit G of geometrically finite Kleinian groups, the limit set of G is either of Lebesgue measure zero or all of the Riemann sphere. Thus, Ahlfors' conjecture is reduced to the density conjecture of Bers, Sullivan, and Thurston.


title: Strongly meager sets of size continuum

abstract: We construct several models where there are no strongly meager sets of size continuum. In particular, there are no such sets in the Laver's model.


title: The equivalence problem and rigidity for hypersurfaces embedded into hyperquadrics

abstract: We consider the class of Levi nondegenerate hypersurfaces $M$ in $\bC^{n+1}$ that admit a local (CR transversal) embedding, near a point $p\in M$, into a standard nondegenerate hyperquadric in $\Bbb C^{N+1}$ with codimension $k:=N-n$ small compared to the CR dimension $n$ of $M$. We show that, for hypersurfaces in this class, there is a normal form (which is closely related to the embedding) such that any local equivalence between two hypersurfaces in normal form must be an automorphism of the associated tangent hyperquadric. We also show that if the signature of $M$ and that of the standard hyperquadric in $\bC^{N+1}$ are the same, then the embedding is rigid in the sense that any other embedding must be the original embedding composed with an automorphism of the quadric.


title: Recursion operators between degenerate Poisson structures

abstract: Two degenerate Poisson structures of the same rank possess a recursion operator if and only if their characteristic distributions coincide.


title: The equivariant cohomology ring of regular varieties

abstract: Let $B$ denote the upper triangular subgroup of $SL_2(C)$, $T$ its diagonal torus and $U$ its unipotent radical. A complex projective variety $Y$ endowed with an algebraic action of $B$ such that the fixed point set $Y^U$ is a single point, is called regular. Associated to any regular $B$-variety $Y$, there is a remarkable affine curve $Z_Y$ with a $T$-action which was studied by the second author. In this note, we show that the coordinate ring of $Z_Y$ is isomorphic with the equivariant cohomology ring $H_T^*(Y)$ with complex coefficients, when $Y$ is smooth or, more generally, is a $B$-stable subvariety of a regular smooth $B$-variety $X$ such that the restriction map from $H^*(X)$ to $H^*(Y)$ is surjective. This isomorphism is obtained as a refinement of the localization theorem in equivariant cohomology; it applies e.g. to Schubert varieties in flag varieties, and to the Peterson variety studied by Kostant. Another application of our isomorphism is a natural algebraic formula for the equivariant push forward.


title: The cone of effective one-cycles of certain G-varieties

abstract: Let X be a normal projective variety admitting an action of a semisimple group with a unique closed orbit. We construct finitely many rational curves in X, all having a common point, such that every effective one-cycle on X is rationally equivalent to a unique linear combination of these curves with non-negative rational coefficients. When X is nonsingular, these curves are projective lines, and they generate the integral Chow group of one-cycles.


title: Multiplicity-free subvarieties of flag varieties

abstract: Consider a flag variety $Fl$ over an algebraically closed field, and a subvariety $V$ whose cycle class is a multiplicity-free sum of Schubert cycles. We show that $V$ is arithmetically normal and Cohen-Macaulay, in the projective embedding given by any ample invertible sheaf on $Fl$.


title: A refined Kodaira dimension and its canonical fibration

abstract: Given a (meromorphic) fibration $f:X\to Y$ where $X$ and $Y$ are compact complex manifolds of dimensions $n$ and $m$, we define $L_f$ to be the invertible subsheaf of the sheaf of holomorphic $m$-forms of $X$ given by the saturation of $f^*K_Y$, where $K_Y$ is the canonical sheaf of $Y$. We define the Kodaira dimension of the orbifold base $(Y,f)$ by that of $L_f$ and call the fibration to be of general type if this dimension is the maximal $\dime Y$. We call $X$ special if it does not have a general type fibration with positive dimensional base and call $f$ special if its general fibers are. We note that Iitaka and rationally connected fibrations are special. Our main theorem is that any compact complex $X$ has a special fibration of general type which dominates any fibration of general type and factors through any special fibration of general type from $X$ in the birational category, thus unique in this category. Also, the fibration has positive dimensional fibers if $X$ is not of general type thus resolving a problem in Mori's program for varieties with negative Kodaira dimension. Our main theorem is stated in the full orbifold context of log pairs as in Mori's program via which we give an application to the Albanese map of projective manifolds with nef anticanonical bundle a part of which was derived using positive charateristic techniques by Qi Zhang.


title: On the absolute convergence of the spectral side of the Arthur trace formula for GL(n)

abstract: Let G be the group GL(n) over a number field E and let A be the ring of adeles of E. In this paper we prove that the spectral side of the Arthur trace formula for G is absolutely convergent for all integrable rapidly decreasing functions on $G(A)^1$.


title: Towards a Diagrammatic Analogue of the Reshetikhin-Turaev Link Invariants

abstract: By considering spaces of directed Jacobi diagrams, we construct a diagrammatic version of the Etingof-Kazhdan quantization of complex semisimple Lie algebras. This diagrammatic quantization is used to provide a construction of a directed version of the Kontsevich integral, denoted $Z_EK$, in a way which is analogous to the construction of the Reshetikhin-Turaev invariants from the R-matrices of the Drinfel'd-Jimbo quantum groups. Based on this analogy, we conjecture (and prove in a restricted sense) a formula for the value of the invariant $Z_EK$ on the unknot. This formula is simpler than the Wheels formula of [BGRT], but the precise relationship between the two is yet unknown.


title: Floer Homology, Nielsen Theory and Symplectic Zeta Functions

abstract: We describe a connection between symplectic Floer homology for symplectomorphisms of surface and Nielsen fixed point theory. A new zeta functions and asymptotic invariant of symplectic origin are defined. We show that special values of symplectic zeta functions are Reidemeister torsions.


title: Uniqueness and order in sequential effect algebras

abstract: A sequential effect algebra (SEA) is an effect algebra on which a sequential product is defined. We present examples of effect algebras that admit a unique, many and no sequential product. Some general theorems concerning unique sequential products are proved. We discuss sequentially ordered SEA's in which the order is completely determined by the sequential product. It is demonstrated that intervals in a sequential ordered SEA admit a sequential product.


title: Twin Primes and a Primality Test by Indivisibility

abstract: In Wilson's Theorem the primality of a number hinges on a congruence. We present a similar test where the primality of a number m hinges, instead, on the indivisibility of 4(m-5)! by m. One implication of this theorem is a necessary and sufficient condition for two numbers to be twin primes, a result reminiscent of Clement's theorem but involving indivisibility. MSC: 11A41 and 11A51.


title: Riemann Poisson manifolds and K\"ahler-Riemann foliations

abstract: Riemann Poisson manifolds were introduced by the author in [1] and studied in more details in [2]. K\"ahler-Riemann foliations form an interesting subset of the Riemannian foliations with remarkable properties (see [3]). In this paper we will show that to give a regular Riemann Poisson structure on a manifold $M$ is equivalent to to give a K\"ahler-Riemann foliation on $M$ such that the leafwise symplectic form is invariant with respect to all local foliate perpendicular vector fields. We show also that the sum of the vector space of leafwise cohomology and the vector space of basic forms is a subspace of the space of Poisson cohomology.


title: On Unimodality of Independence Polynomials of some Well-Covered Trees

abstract: The number of stable sets of cardinality $k$ in graph $G$ is the $k$-th coefficient of the independence polynomial of $G$ (I. Gutman and F. Harary, 1983). In 1990, Y. O. Hamidoune proved that for any claw-free graph, its independence polynomial is unimodal, i.e., there exists a coefficient $k$ such that the part of the sequence of coefficients from the first to $k$-th is non-decreasing while the second part of coefficients is non-increasing. Y. Alavi, P. J. Malde, A. J. Schwenk and P. Erd\"{o}s (1987) asked whether for trees (or perhaps forests) the independence polynomial is unimodal. J. I. Brown, K. Dilcher and R. J. Nowakowski (2000) conjectured that it is true for any well-covered graph (a graph whose all maximal independent sets have the same size). V. E. Levit and E. Mandrescu (1999) demonstrated that every well-covered tree can be obtained as a join of a number of well-covered spiders, where a spider is a tree having at most one vertex of degree at least three. In this paper we show that the independence polynomial of any well-covered spider is unimodal. In addition, we introduce some graph transformations respecting independence polynomials. They allow us to reduce several types of well-covered trees to claw-free graphs, and, consequently, to prove that their independence polynomials are unimodal.


title: A construction of quotient A_infinity-categories

abstract: We construct an A_infinity-category D(C|B) from a given A_infinity-category C and its full subcategory B. The construction is similar to a particular case of Drinfeld's quotient of differential graded categories. We use D(C|B) to construct an A_infinity-functor of K-injective resolutions of a complex. The conventional derived category is obtained as the 0-th cohomology of the quotient of differential graded category of complexes over acyclic complexes.


title: A remark on a theorem of the Goldbach Waring type

abstract: Is is shown that all but O(x^{23207/23240}) even integers N<x can be written as the sum of a square, a cube, a forth and a fifth power of a prime.


title: Continuous Families of Isophasal Scattering Manifolds

abstract: We construct continuous families of scattering manifolds with the same scattering phase. The manifolds are compactly supported metric perturbations of Euclidean $\mathbf{R}^{n}$ for $n\geq8$. The metric perturbation may have arbitrarily small support.


title: On cyclic convolutional codes

abstract: We investigate the notion of cyclicity for convolutional codes as it has been introduced by Piret and Roos in the seventies. Codes of this type are described as submodules of the module of all vector polynomials in one variable with some additional generalized cyclic structure but also as specific left ideals in a skew polynomial ring. Extending a result of Piret, we show in a purely algebraic setting that these ideals are always principal. This leads to the notion of a generator polynomial just like for cyclic block codes. Similarly a control polynomial can be introduced by considering the right annihilator ideal. An algorithmic procedure is developed which produces unique reduced generator and control polynomials. We also show how basic code properties and a minimal generator matrix can be read off from these objects. A close link between polynomial and vector description of the codes is provided by certain generalized circulant matrices.


title: The Selberg zeta function for convex co-compact Schottky groups

abstract: We give a new upper bound on the Selberg zeta function for a convex co-compact Schottky group acting on $ {\mathbb H}^{n+1}$: in strips parallel to the imaginary axis the zeta function is bounded by $ \exp (C |s|^\delta) $ where $ \delta $ is the dimension of the limit set of the group. This bound is more precise than the optimal global bound $ \exp (C |s|^{n+1}) $, and it gives new bounds on the number of resonances (scattering poles) of $ \Gamma \backslash {\mathbb H}^{n+1} $. The proof of this result is based on the application of holomorphic $ L^2$-techniques to the study of the determinants of the Ruelle transfer operators and on the quasi-self-similarity of limit sets. We also study this problem numerically and provide evidence that the bound may be optimal. Our motivation comes from molecular dynamics and we consider $ \Gamma \backslash {\mathbb H}^{n+1} $ as the simplest model of quantum chaotic scattering. The proof of this result is based on the application of holomorphic $L^2$-techniques to the study of the determinants of the Ruelle transfer operators and on the quasi-self-similarity of limit sets.


title: Liaison and Castelnuovo-Mumford regularity

abstract: In this article we establish bounds for the Castelnuovo-Mumford regularity of projective schemes in terms of the degrees of their defining equations. The main new ingredient in our proof is to show that generic residual intersections of complete intersection rational singularities again have rational singularities. When applied to the theory of residual intersections this circle of ideas also sheds new light on some known classes of free resolutions of residual ideals.


title: Dimension and dynamical entropy for metrized C*-algebras

abstract: We introduce notions of dimension and dynamical entropy for unital C*-algebras ``metrized'' by means of c-Lip-norms, which are complex-scalar versions of the Lip-norms constitutive of Rieffel's compact quantum metric spaces. Our examples involve UHF algebras and noncommutative tori. In particular we show that the entropy of a noncommutative toral automorphism with respect to the canonical c-Lip-norm coincides with the topological entropy of its commutative analogue.


title: On the quantum sl_2 invariants of knots and integral homology spheres

abstract: We will announce some results on the values of quantum sl_2 invariants of knots and integral homology spheres. Lawrence's universal sl_2 invariant of knots takes values in a fairly small subalgebra of the center of the h-adic version of the quantized enveloping algebra of sl_2. This implies an integrality result on the colored Jones polynomials of a knot. We define an invariant of integral homology spheres with values in a completion of the Laurent polynomial ring of one variable over the integers which specializes at roots of unity to the Witten-Reshetikhin-Turaev invariants. The definition of our invariant provides a new definition of Witten-Reshetikhin-Turaev invariant of integral homology spheres.


title: Polynomial invariants and Vassiliev invariants

abstract: We give a criterion to detect whether the derivatives of the HOMFLY polynomial at a point is a Vassiliev invariant or not. In particular, for a complex number b we show that the derivative P_K^{(m,n)}(b,0)=d^m/da^m d^n/dx^n P_K(a,x)|(a, x) = (b, 0) of the HOMFLY polynomial of a knot K at (b,0) is a Vassiliev invariant if and only if b= -+1. Also we analyze the space V_n of Vassiliev invariants of degree <=n for n = 1,2,3,4,5 by using the bar-operation and the star-operation in [M-J Jeong, C-Y Park, Vassiliev invariants and knot polynomials, to appear in Topology and Its Applications]. These two operations are unified to the hat-operation. For each Vassiliev invariant v of degree <=n, hat(v) is a Vassiliev invariant of degree <=n and the value hat(v)K) of a knot K is a polynomial with multi-variables of degree <=n and we give some questions on polynomial invariants and the Vassiliev invariants.


title: Hard rods: statistics of parking configurations

abstract: We compute the correlation function in the equilibrium version of R\'enyi's {\sl parking problem}. The correlation length is found to diverge as $2^{-1}\pi^{-2}(1-\rho)^{-2}$ when $\rho\nearrow1$ (maximum density) and as $\pi^{-2}(2\rho-1)^{-2}$ when $\rho\searrow1/2$ (minimum density).


title: Category of Noncommutative CW complexes. III

abstract: We prove in this paper a noncommutative version of Leray Spectral Sequence Theorem and then Leray-Serre Spectral Theorem for noncommutative Serre fibrations: for NC Serre fibration there are converging spectral sequences with $\E^2$ terms as $\E^2_{p,q} = \HP_p(A; \HP_q(B,A)) \Longrightarrow \HP_{p+q}(B)$ and $\E^2_{p,q} = \HP_p(A;\K_q(B,A)) \Longrightarrow \K_{p+q}(B)$.


title: Category of Noncommutative CW Complexes. II

abstract: We introduce in this paper the notion of noncommutative Serre fibration (shortly, NCSF) and show that up to homotopy, every NCCW complex morphism is some noncommutative Serre fibration. We then deduce a six-term exact sequence for the periodic cyclic homology and for K-theory of an arbitrary noncommutative Serre fibration. We also show how to use this technique to compute K-theory and cyclic theory of some noncommutative quotients.


title: Runge-Kutta methods, trees, and Mathematica

abstract: A simple and elementary proof of Butcher's theorem on the order conditions of Runge-Kutta methods is presented. It is based on a recursive definition of rooted trees and avoids combinatorial tools such as labelings and Faa di Bruno's formula. This strictly recursive approach can easily and elegantly be implemented using modern computer algrebra systems like Mathematica. The full but short source code is included and applied to some instructive examples.


title: Monotone quotients of surface diffeomorphisms

abstract: A homeomorphism of a compact metric space is {\em tight} provided every non-degenerate compact connected (not necessarily invariant) subset carries positive entropy. It is shown that every $C^{1+\alpha}$ diffeomorphism of a closed surface factors to a tight homeomorphism of a generalized cactoid (roughly, a surface with nodes) by a semi-conjugacy whose fibers carry zero entropy.


title: Reconstructing Jacobi Matrices from Three Spectra

abstract: Cut a Jacobi matrix into two pieces by removing the n-th column and n-th row. We give neccessary and sufficient conditions for the spectra of the original matrix plus the spectra of the two submatrices to uniqely determine the original matrix. Our result contains Hostadt's original result as a special case.


title: Quantum cohomology of Grassmannians modulo symmetries

abstract: The quantum cohomology of Grassmannians exhibits two symmetries related to the quantum product, namely a \Bbb {Z}/n action and an involution related to complex conjugation. We construct a new ring by dividing out these symmetries in an ideal theoretic way and analyze its structure, which is shown to control the sum of all coefficients appearing in the product of cohomology classes. We derive a combinatorial formula for the sum of all Littlewood-Richardson coefficients appearing in the expansion of a product of two Schur polynomials.


title: QHI, 3-manifolds scissors congruence classes and the volume conjecture

abstract: This is a survey of our work on Quantum Hyperbolic Invariants (QHI) of 3-manifolds. We explain how the theory of scissors congruence classes is a powerful geometric framework for QHI and for a `Volume Conjecture' to make sense.


title: Differential operators on orbits of coherent states

abstract: We emphasize some properties of coherent state groups, i.e. groups whose quotient with the stationary groups, are manifolds which admit a holomorphic embedding in a projective Hilbert space. We determine the differential action of the generators of the representation of coherent state groups on the symmetric Fock space attached to the dual of the Hilbert space of the representation. This permits a realization by first-order differential operators with holomorphic polynomial coefficients on K\"ahler coherent state orbits.


title: On hermitian-holomorphic classes related to uniformization, the dilogarithm, and the Liouville Action

abstract: Metrics of constant negative curvature on a compact Riemann surface are critical points of the Liouville action functional, which in recent constructions is rigorously defined as a class in a Cech-de Rham complex with respect to a suitable covering of the surface. We show that this class is the square of the metrized holomorphic tangent bundle in hermitian-holomorphic Deligne cohomology. We achieve this by introducing a different version of the hermitian-holomorphic Deligne complex which is nevertheless quasi-isomorphic to the one introduced by Brylinski in his construction of Quillen line bundles. We reprove the relation with the determinant of cohomology construction. Furthermore, if we specialize the covering to the one provided by a Kleinian uniformization (thereby allowing possibly disconnected surfaces) the same class can be reinterpreted as the transgression of the regulator class expressed by the Bloch-Wigner dilogarithm.

categories: math.CV hep-th math-ph math.AG math.KT math.MP


title: Loop spaces of configuration spaces and finite type invariants

abstract: The total homology of the loop space of the configuration space of ordered distinct n points in R^m has a structure of a Hopf algebra defined by the 4-term relations if m>2. We describe a relation of between the cohomology of this loop space and the set of finite type invariants for the pure braid group with n strands. Based on this we give expressions of certain link invariants as integrals over cycles of the above loop space.


title: A surgery formula for the 2-loop piece of the LMO invariant of a pair

abstract: Let \Theta (M,K) denote the 2-loop piece of (the logarithm of) the LMO invariant of a knot K in M, a ZHS^3. Forgetting the knot (by which we mean setting diagrams with legs to zero) specialises \Theta (M,K) to \lambda (M), Casson's invariant. This note describes an extension of Casson's surgery formula for his invariant to \Theta (M,K). To be precise, we describe the effect on \Theta (M,K) of a surgery on a knot which together with K forms a boundary link in M. Whilst the presented formula does not characterise \Theta (M,K), it does allow some insight into the underlying topology.


title: Multicurves and equivariant cobordism

abstract: Let A be a finite abelian group. We set up an algebraic framework for studying A-equivariant complex-orientable cohomology theories in terms of a suitable kind of equivariant formal groups. We compute the equivariant cohomology of many spaces in these terms, including projective bundles (and associated Gysin maps), Thom spaces, and infinite Grassmannians.


title: Corepresentation theory of universal cosovereign Hopf algebras

abstract: We determine the corepresentation theory of universal cosovereign Hopf algebras, for generic matrices over an algebraically closed field of characteristic zero.


title: A note on Hermitian forms and Maschke's Theorem

abstract: The aim of this note is to show that the "usual" proof of the Maschke Theorem in the case of a real and complex field can not be generalized at least to the case of a field of rational functions on a non-singular curve.


title: QHI Theory, II: Dilogarithmic and Quantum Hyperbolic Invariants of 3-Manifolds with PSL(2,C)-Characters

abstract: We give parallel constructions of an invariant R(W,f), based on the classical Rogers dilogarithm, and of quantum hyperbolic invariants (QHI), based on the Faddeev-Kashaev quantum dilogarithms, for flat PSL(2,C)-bundles f over closed oriented 3-manifolds W. All these invariants are explicitely computed as a sum or state sums over the same hyperbolic ideal tetrahedra of the idealization of any fixed simplicial 1-cocycle description of (W,f) of a special kind, called a D-triangulation. R(W,f) recovers the volume and the Chern-Simons invariant of f, and we conjecture that it determines the semi-classical limit of the QHI.


title: On configuration space integrals for links

abstract: We give an introductory survey on the universal Vassiliev invariant called the perturbative series expansion of the Chern-Simons theory of links in euclidean space, and on its relation with the Kontsevich integral. We also prove an original geometric property of the anomaly of Bott, Taubes, Altschuler, Freidel and D. Thurston, that allowed Poirier to prove that the Chern-Simons series and the Kontsevich integral coincide up to degree 6.


title: Matrix-tree theorems and the Alexander-Conway polynomial

abstract: This talk is a report on joint work with A. Vaintrob [arXiv:math.CO/0109104 and math.GT/0111102]. It is organised as follows. We begin by recalling how the classical Matrix-Tree Theorem relates two different expressions for the lowest degree coefficient of the Alexander-Conway polynomial of a link. We then state our formula for the lowest degree coefficient of an algebraically split link in terms of Milnor's triple linking numbers. We explain how this formula can be deduced from a determinantal expression due to Traldi and Levine by means of our Pfaffian Matrix-Tree Theorem [arXiv:math.CO/0109104]. We also discuss the approach via finite type invariants, which allowed us in [arXiv:math.GT/0111102] to obtain the same result directly from some properties of the Alexander-Conway weight system. This approach also gives similar results if all Milnor numbers up to a given order vanish.


title: Non-commutative crepant resolutions

abstract: We introduce the notion of a ``non-commutative crepant'' resolution of a singularity and show that it exists in certain cases. We also give some evidence for an extension of a conjecture by Bondal and Orlov, stating that different crepant resolutions of a Gorenstein singularity have the same derived category.


title: Some Geometric Properties of the Bakry-Emery-Ricci Tensor

abstract: The Bakry-Emery tensor gives an analog of the Ricci tensor for a Riemannian manifold with a smooth measure. We show that some of the topological consequences of having a positive or nonnegative Ricci tensor are also valid for the Bakry-Emery tensor. We show that the Bakry-Emery tensor is nondecreasing under a Riemannian submersion whose fiber transport preserves measures up to constants. We give some relations between the Bakry-Emery tensor and measured Gromov-Hausdorff limits.


title: A growth model in multiple dimensions and the height of a random partial order

abstract: We introduce a model of a randomly growing interface in multidimensional Euclidean space. The growth model incorporates a random order model as an ingredient of its graphical construction, in a way that replicates the connection between the planar increasing sequences model and the one-dimensional Hammersley process. We prove a hydrodynamic limit for the height process, and a limit which says that certain perturbations of the random surface follow the characteristics of the macroscopic equation. By virtue of the space-time Poissonian construction, we know the macroscopic velocity function explicitly up to a constant factor.


title: On automorphic sheaves on Bun_G

abstract: Let X be a smooth projective connected curve over an algebraically closed field k of positive characteristic. Let G be a reductive group over k, \gamma be a dominant coweight for G, and E be an \ell-adic \check{G}-local system on X, where \check{G} denotes the Langlands dual group. Let \Bun_G be the moduli stack of G-bundles on X. Under some conditions on the triple (G,\gamma,E) we propose a conjectural construction of a distinguished E-Hecke automorphic sheaf on \Bun_G. We are motivated by a construction of automorphic forms suggested by Ginzburg, Rallis and Soudry in [6,7]. We also generalize Laumon's theorem ([10], Theorem 4.1) for our setting. Finally, we formulate an analog of the Vanishing Conjecture of Frenkel, Gaitsgory and Vilonen for Levi subgroups of G.


title: Covering Algebras II: Isomorphism of Loop Algebras

abstract: This paper studies the loop algebras that arise from pairs consisting of a symmetrizable Kac-Moody Lie algebra $\g$ and a finite order automorphism $\sigma$ of $\g$. We obtain necessary and sufficient conditions for two such loop algebras to be isomorphic.


title: Universal spaces for asymptotic dimension

abstract: We construct a universal space for the class of proper metric spaces of bounded geometry and of given asymptotic dimension. As a consequence of this result, we establish coincidence of the asymptotic dimension with the asymptotic inductive dimensions.


title: The degree distribution in bipartite planar maps: applications to the Ising model

abstract: We characterize the generating function of bipartite planar maps counted according to the degree distribution of their black and white vertices. This result is applied to the solution of the hard particle and Ising models on random planar lattices. We thus recover and extend some results previously obtained by means of matrix integrals. Proofs are purely combinatorial and rely on the idea that planar maps are conjugacy classes of trees. In particular, these trees explain why the solutions of the Ising and hard particle models on maps of bounded degree are always algebraic.


title: Scale calculus and the Schrodinger equation

abstract: We introduce the scale calculus, which generalizes the classical differential calculus to non differentiable functions. The new derivative is called the scale difference operator. We also introduce the notions of fractal functions, minimal resolution, and quantum representation of a non differentiable function. We then define a scale quantization procedure for classical Lagrangian systems inspired by the Scale relativity theory developped by Nottale. We prove that the scale quantization of Newtionian mechanics is a non linear Schrodinger equation. Under some specific assumptions, we obtain the classical linear Schrodinger equation.


title: Cayley compactifications of abelian groups

abstract: Following work of Rieffel, we define the Cayley compactification of an abelian group with specified generating set. We investigate its structure using methods from discrete geometry and commutative algebra.


title: On LP-orientations of cubes and crosspolytopes

abstract: We show that the Holt-Klee conditions are very insufficient for an orientation of the graph of a polytope to be an LP-orientation in the case of the n-cube. We also give a strengthening of the Holt-Klee conditions which is both necessary and sufficient in the case of the crosspolytope.


title: Infinitesimal bialgebras, pre-Lie and dendriform algebras

abstract: We introduce the categories of infinitesimal Hopf modules and bimodules over an infinitesimal bialgebra. We show that they correspond to modules and bimodules over the infinitesimal version of the double. We show that there is a natural, but non-obvious way to construct a pre-Lie algebra from an arbitrary infinitesimal bialgebra and a dendriform algebra from a quasitriangular infinitesimal bialgebra. As consequences, we obtain a pre-Lie structure on the space of paths on an arbitrary quiver, and a striking dendriform structure on the space of endomorphisms of an arbitrary infinitesimal bialgebra, which combines the convolution and composition products. We extend the previous constructions to the categories of Hopf, pre-Lie and dendriform bimodules. We construct a brace algebra structure from an arbitrary infinitesimal bialgebra; this refines the pre-Lie algebra construction. In two appendices, we show that infinitesimal bialgebras are comonoid objects in a certain monoidal category and discuss a related construction for counital infinitesimal bialgebras.


title: A Hypergeometric Approach, Via Linear Forms Involving Logarithms, to Irrationality Criteria for Euler's Constant

abstract: Using an integral of a hypergeometric function, we give necessary and sufficient conditions for irrationality of Euler's constant $\gamma$. The proof is by reduction to known irrationality criteria for $\gamma$ involving a Beukers-type double integral. We show that the hypergeometric and double integrals are equal by evaluating them. To do this, we introduce a construction of linear forms in 1, $\gamma$, and logarithms from Nesterenko-type series of rational functions. In the Appendix, Sergey Zlobin gives a change-of-variables proof that the series and the double integral are equal.


title: Riemann-Roch Theorem and Index Theorem in Non-commutative Geometry

abstract: In this lecture we review apprearance of the Riemann-Roch Theorem in classical function theory, Algebraic topology, in theory of pseudo-differential operators and finally in noncommutative geometry. We show also it usefulness in many problem of quantization and harmonic analysis on Lie groups.


title: On a distribution property of the residual order of a (mod p)

abstract: Let a be a positive integer greater than 1, and Q_a(x;k,j) be the set of primes p less than x such that the residual order of a(mod p) is congruent to j modulo k. In this paper, the natural densities of Q_a(x;4,j) (j=0,1,2,3) are considered. We assume a is square-free and a is congruent to 1 (mod 4). Then, for j=0, 2, we can prove unconditionally that their natural densities are equal to 1/3. On the contrary, for j=1, 3, we assume Generalized Riemann Hypothesis, then we can prove that their densities are equal to 1/6.


title: On the information-theoretic approach to G\"odel's incompleteness theorem

abstract: In this paper we briefly review and analyze three published proofs of Chaitin's theorem, the celebrated information-theoretic version of G\"odel's incompleteness theorem. Then, we discuss our main perplexity concerning a key step common to all these demonstrations.


title: Combining kernel estimators in the uniform deconvolution problem

abstract: We construct a density estimator and an estimator of the distribution function in the uniform deconvolution model. The estimators are based on inversion formulas and kernel estimators of the density of the observations and its derivative. Asymptotic normality and the asymptotic biases are derived.


title: Nilpotent Szabo, Osserman and Ivanov-Petrova pseudo-Riemannian manifolds

abstract: We exhibit pseudo Riemannian manifolds which are Szab\'o nilpotent of arbitrary order, or which are Osserman nilpotent of arbitrary order, or which are Ivanov-Petrova nilpotent of order 3.


title: $\Ughr$ invariant quantization on some homogeneous manifolds

abstract: We consider a class of homogeneous manifolds over a simple Lie group which appears in the problem of classification of homogeneous manifolds with reductive subgroups of maximal rank as stabilizer of a point. We prove that any manifold of this class possesses a Poisson bracket admitting a quantization invariant (equivariant) with respect to the corresponding quantum group.


title: A new quantum analog of the Brauer algebra

abstract: We introduce a new algebra B_l(z,q) depending on two nonzero complex parameters such that B_l(q^n,q) at q=1 coincides with the Brauer algebra B_l(n). We establish an analog of the Brauer-Schur-Weyl duality where the action of the new algebra commutes with the representation of the twisted deformation U'_q(o_n) of the enveloping algebra U(o_n) in the tensor power of the vector representation.


title: On a distribution property of the residual order of a (mod p), II

abstract: Let a be a positive integer which is not a perfect h-th power with h greater than 1, and Q_a(x;4,j) be the set of primes p less than x such that the residual order of a(mod p) is congruent to j modulo 4. When j=0, 2, it is known that calculations of #Q_a(x;4,j) are simple, and we can get their natural densities unconditionally. On the contrary, when j=1, 3, the distribution properties of Q_a(x;4,j) are rather complicated. In this paper, which is a sequel of our previous paper (part I), under the assumption of Generalized Riemann Hypothesis, we determine completely the natural densities of #Q_a(x;4,j) for j=1, 3.


title: Torsions of 3-manifolds

abstract: We give a brief survey of abelian torsions of 3-manifolds.


title: Realising formal groups

abstract: We show that a large class of formal groups can be realised functorially by even periodic ring spectra. The main advance is in the construction of morphisms, not of objects.


title: On the potential functions for the hyperbolic structures of a knot complement

abstract: We explain how to construct certain potential functions for the hyperbolic structures of a knot complement, which are closely related to the analytic functions on the deformation space of hyperbolic structures.


title: An algorithm to compute the canonical basis of an irreducible Uq(g)-module

abstract: An algorithm is described to compute the canonical basis of an irreducible module over a quantized enveloping algebra of a finite-dimensional semisimple Lie algebra. The algorithm works for modules that are constructed as a submodule of a tensor product of modules with known canonical bases.


title: Toroidal crossings and logarithmic structures

abstract: We generalize Friedman's notion of d-semistability, which is a necessary condition for spaces with normal crossings to admit smoothings with regular total space. Our generalization deals with spaces that locally look like the boundary divisor in Gorenstein toroidal embeddings. In this situation, we replace d-semistability by the existence of global log structures for a given gerbe of local log structures. This leads to cohomological descriptions for the obstructions, existence, and automorphisms of log structures. We also apply toroidal crossings to mirror symmetry, by giving a duality construction involving toroidal crossing varieties whose irreducible components are toric varieties. This duality reproduces a version of Batyrev's construction of mirror pairs for hypersurfaces in toric varieties, but it applies to a larger class, including degenerate abelian varieties.


title: Jordan Szabo algebraic covariant derivative curvature tensors

abstract: We show that if $\nabla R$ is a Jordan Szabo algebraic covariant derivative curvature tensor on a vector space of signature (p,q), where q is odd and p is less than q or if q is congruent to 2 mod 4 and if p is less than q-1, then $\nabla R=0$. This algebraic result yields an elementary proof of the geometrical fact that any pointwise totally isotropic pseudo-Riemannian manifold with such a signature (p,q) is locally symmetric.


title: Generality of Proofs and its Brauerian Representation

abstract: The generality of a derivation is an equivalence relation on the set of occurrences of variables in its premises and conclusion such that two occurrences of the same variable are in this relation iff they must remain occurrences of the same variable in every generalization of the derivation. The variables in question are propositional or of another type. This paper examines in the setting of categorial proof theory the conjecture that two derivations with the same premises and conclusions stand for the same proof iff they have the same generality. For that purpose generality is defined within a category whose arrows are equivalence relations on finite ordinals, where composition is rather complicated. Several examples are given of deductive systems of derivations covering fragments of logic, with the associated map into the category of equivalence relations of generality. This category is isomorphically represented in the category whose arrows are binary relations between finite ordinals, where composition is the usual simple composition of relations. This representation is related to a classical representation result of Richard Brauer.


title: Spectral Flow, Maslov Index and Bifurcation of semi-Riemannian Geodesics

abstract: We give a functional analytical proof of the equality between the Maslov index of a semi-Riemannian geodesic and the spectral flow of the path of self-adjoint Fredholm operators obtained from the index form. This fact, together with recent results on the bifurcation for critical points of strongly indefinite functionals (see P. M. Fitzpatrick, J. Pejsachowicz, L. Recht, Spectral Flow and Bifurcation of Strongly Indefinite Functionals Part I. General Theory, J. Funct. Anal. 162 (1) (1999), 52-95.) imply that each non degenerate and non null conjugate (or $P$-focal) point along a semi-Riemannian geodesic is a bifurcation point.


title: Non-orientable 3-manifolds of small complexity

abstract: We classify all closed non-orientable P2-irreducible 3-manifolds having complexity up to 6 and we describe some having complexity 7. We show in particular that there is no such manifold with complexity less than 6, and that those having complexity 6 are precisely the 4 flat non-orientable ones and the filling of the Gieseking manifold, which is of type Sol. The manifolds having complexity 7 we describe are Seifert manifolds of type H2 x S1 and a manifold of type Sol.


title: Universal rings arising in geometry and group theory

abstract: Various algebraic structures in geometry and group theory have appeared to be governed by certain universal rings. Examples include: the cohomology rings of Hilbert schemes of points on projective surfaces and quasi-projective surfaces; the Chen-Ruan orbifold cohomology rings of the symmetric products; the class algebras of wreath products, as well as their associated graded algebras with respect to a suitable filtration. We review these examples, and further provide a new elementary construction and explanation in the case of symmetric products. We in addition show that the Jucys-Murphy elements can be used to clarify the Macdonald's isomorphism between the FH-ring for the symmetric groups and the ring of symmetric functions.


title: Affine manifolds, log structures, and mirror symmetry

abstract: This is an outline of work in progress concerning an algebro-geometric form of the Strominger-Yau-Zaslow conjecture. We introduce a limited type of degeneration of Calabi-Yau manifolds, which we call toric degenerations. For these, the degenerate fibre is a union of toric varieties meeting along toric strata. In addition, the total space must look locally toric outside of some singular set. This is a generalisation of both Mumford-type degenerations of abelian varieties and degenerations of Calabi-Yau hypersurfacesin toric varieties. From such a degeneration, we construct a dual intersection graph along with a singular affine structure. We also explain how to reverse this procedure, using logarithmic structures. We then use a discrete Legendre transform on these affine manifolds to recover mirror symmetry. Finally, we discuss the relationship between this construction and more classical forms of SYZ. The details of the ideas presented here will appear elsewhere.


title: A Family of Invariants of Rooted Forests

abstract: Let $A$ be a commutative $k$-algebra over a field of $k$ and $\Xi$ a linear operator defined on $A$. We define a family of $A$-valued invariants $\Psi$ for finite rooted forests by a recurrent algorithm using the operator $\Xi$ and show that the invariant $\Psi$ distinguishes rooted forests if (and only if) it distinguishes rooted trees $T$, and if (and only if) it is {\it finer} than the quantity $\alpha (T)=|\text{Aut}(T)|$ of rooted trees $T$. We also consider the generating function $U(q)=\sum_{n=1}^\infty U_n q^n$ with $U_n =\sum_{T\in \bT_n} \frac 1{\alpha (T)} \Psi (T)$, where $\bT_n$ is the set of rooted trees with $n$ vertices. We show that the generating function $U(q)$ satisfies the equation $\Xi \exp U(q)= q^{-1} U(q)$. Consequently, we get a recurrent formula for $U_n$ $(n\geq 1)$, namely, $U_1=\Xi(1)$ and $U_n =\Xi S_{n-1}(U_1, U_2, >..., U_{n-1})$ for any $n\geq 2$, where $S_n(x_1, x_2, ...)$ $(n\in \bN)$ are the elementary Schur polynomials. We also show that the (strict) order polynomials and two well known quasi-symmetric function invariants of rooted forests are in the family of invariants $\Psi$ and derive some consequences about these well-known invariants from our general results on $\Psi$. Finally, we generalize the invariant $\Psi$ to labeled planar forests and discuss its certain relations with the Hopf algebra $\mathcal H_{P, R}^D$ in \cite{F} spanned by labeled planar forests.


title: Knot invariants derived from quandles and racks

abstract: The homology and cohomology of quandles and racks are used in knot theory: given a finite quandle and a cocycle, we can construct a knot invariant. This is a quick introductory survey to the invariants of knots derived from quandles and racks.


title: On the Arakelov Geometry of Moduli Spaces of Curves

abstract: In this paper we compute the asymptotics of the metric on the line bundle over the moduli space of curves that arises when attempting to compute the archimedean height of the algebraic cycle $C-C^-$ in the jacobian of a smooth projective curve of genus $g$. One way to express the results is to say that the metric extends (more or less) to the line bundle found by Moriwaki that has non-negative degree on every complete curve in $\Mbar_g$ not contained in the boundary.


title: Complete isometries - an illustration of noncommutative functional analysis

abstract: This article, addressed to a general audience of functional analysts, is intended to be an illustration of a few basic principles from `noncommutative functional analysis', more specifically the new field of {\em operator spaces.} In our illustration we show how the classical characterization of (possibly non-surjective) isometries between function algebras generalizes to operator algebras. We give some variants of this characterization, and a new proof which has some advantages.


title: Maskit combinations of Poincare-Einstein metrics

abstract: We establish a boundary connected sum theorem for asymptotically hyperbolic Einstein metrics; this requires no nondegeneracy hypothesis. We also show that if the two metrics have scalar positive conformal infinities, then the same is true for this boundary join.