title: Universal denominators of Hilbert series

abstract: The denominator of the Hilbert series of a finitely generated R-module M does not always divide the denominator of the Hilbert series of R. For this reason, we define the universal denominator. The universal denominator of a module M is the least common multiple of the denominators of the Hilbert series of all submodules of M. The universal denominator behaves nicely with respect to short exact sequences and tensor products. It also has interesting geometric interpretations. Formulas are given for the universal denominator for rings of invariants. Dixmier gave a conjectural formula for the denominator of the Hilbert series of invariants of binary forms. We show that the universal denominator is actually equal to Dixmier's formula in that case.


title: Effective divisors on \bar{M}_g, curves on K3 surfaces and the Slope Conjecture

abstract: We carry out a detailed intersection theoretic analysis of the Deligne-Mumford compactification of the divisor on M_{10} consisting of curves sitting on K3 surfaces. This divisor is not of classical Brill-Noether type, and is known to give a counterexample to the Slope Conjecture. The computation relies on the fact that this divisor has four different incarnations as a geometric subvariety of the moduli space of curves, one of them as a higher rank Brill-Noether divisor consisting of curves with an exceptional rank 2 vector bundle. As an application we describe the birational nature of the moduli space of n-pointed curves of genus 10, for all n. We also show that on M_{11} there are effective divisors of minimal slope and having large Iitaka dimension. This seems to contradict the belief that on M_g the classical Brill-Noether divisors are essentially the only ones of slope 6+12/(g+1).


title: 6j symbols for U_q(sl_2) and non-Euclidean tetrahedra

abstract: We relate the semiclassical asymptotics of the 6j symbols for the representation theory of the quantized enveloping algebra U_q(sl_2) at q a primitive root of unity, or q positive real, to the geometry of non-Euclidean tetrahedra. The formulas are motivated by the geometry of conformal blocks in the Wess-Zumino-Witten model; they generalize formulas in the case q = 1 of Wigner, Ponzano and Regge, and Schulten and Gordon, proved by J. Roberts.


title: The average analytic rank of elliptic curves

abstract: All the results in this paper are conditional on the Riemann Hypothesis for the L-functions of elliptic curves. Under this assumption, we show that the average analytic rank of all elliptic curves over Q is at most 2, thereby improving a result of Brumer. We also show that the average within any family of quadratic twists is at most 3/2, improving a result of Goldfeld. A third result concerns the density of curves with analytic rank at least R, and shows that the proportion of such curves decreases faster than exponentially as R grows. The proofs depend on an analogue of Weil's ``explicit formula''.


title: The homological determinant of quatum groups of type A

abstract: A quantum group of type A is defined as a Hopf algebra associated to a Hecke symmetry. We show the homology of a Koszul complex associated to the Hecke symmetry is one dimensional and determines a group-like element in the Hopf algebra. This group-like element can be interpreted as a homological determinant as suggested by Yu. Manin.


title: On The Poincare Series of Quadratic Algebras Associated to Hecke Symmetries

abstract: Hecke symmetries generalize the usual tensor symmetry of vector spaces $v\otimes w\arrow w\otimes v$ as well as the symmetry of vector superspaces. To a Hecke symmetry $R$ there associates a quadratic algebra which can be interpreted as the function algebra upon a certain quantum space. This paper investigates the Poincare series of this quadratic algebra. We showthat it is a rational function with numerator and denominator being a reciprocal polynomial and a skew-reciprocal polynomial, respectively.


title: The Uniqueness Of Integrals On Hopf Algebras, A categorical approach

abstract: We propose a new method to investigate the dimension of the space of integrals on a Hopf algebra $H$ and other properties of $H$-comodules.


title: Multiplier ideals, V-filtration, and spectrum

abstract: For an effective divisor on a smooth algebraic variety or a complex manifold, we show that the associated multiplier ideals coincide essentially with the filtration induced by the filtration V constructed by B. Malgrange and M. Kashiwara. This implies another proof of a theorem of L. Ein, R. Lazarsfeld, K.E. Smith and D. Varolin that any jumping coefficient in the interval (0,1] is a root of the Bernstein-Sato polynomial up to sign. We also give a refinement (using mixed Hodge modules) of the formula for the coefficients of the spectrum for exponents not greater than one or greater than the dimension of the variety minus one.


title: Cohomological dimension of complexes

abstract: In the derived category of the category of modules over a commutative Noetherian ring $R$, we define, for an ideal $\fa$ of $R$, two different types of cohomological dimensions of a complex $X$ in a certain subcategory of the derived category, namely $\cd(\fa, X)=\sup\{\cd(\fa, \H_{\ell}(X))-\ell|\ell\in\Bbb Z\}$ and $-\inf{\mathbf R}\G_{\fa}(X)$, where $\cd(\fa, M)=\sup\{\ell\in\Bbb Z|\H^{\ell}_{\fa}(M)\neq 0\}$ for an $R$--module $M$. In this paper, it is shown, among other things, that, for any complex $X$ bounded to the left, $-\inf {\mathbf R}\G_{\fa}(X)\le\cd(\fa, X)$ and equality holds if indeed $\H(X)$ is finitely generated.


title: On complete families of curves with a given fundamental group in positive characteristic

abstract: In this paper we prove that complete families of smooth and projective curves, of genusg>2, in characteristic p>0, with a constant geometric fundamental group, are isotrivial.


title: Robust Estimators under the Imprecise Dirichlet Model

abstract: Walley's Imprecise Dirichlet Model (IDM) for categorical data overcomes several fundamental problems which other approaches to uncertainty suffer from. Yet, to be useful in practice, one needs efficient ways for computing the imprecise=robust sets or intervals. The main objective of this work is to derive exact, conservative, and approximate, robust and credible interval estimates under the IDM for a large class of statistical estimators, including the entropy and mutual information.

categories: math.PR cs.IT cs.LG math.IT math.ST stat.TH


title: The elementary theory of Dedekind cuts in polynomially bounded structures

abstract: Let M be a polynomially bounded, o-minimal structure with archimedean prime model, for example if M is a real closed field. Let C be a convex and unbounded subset of M. We determine the first order theory of the structure M expanded by the set C. We do this also over any given set of parameters from M, which yields a description of all subsets of M^n, definable in the expanded structure.


title: Berezin transform on the quantum unit ball

abstract: We introduce and study, in the framework of a theory of quantum Cartan domains, a q-analogue of the Berezin transform on the unit ball. We construct q-analogues of weighted Bergman spaces, Toeplitz operators and covariant symbol calculus. In studying the analytical properties of the Berezin transform we introduce also the q-analogue of the SU(n,1)-invariant Laplace operator (the Laplace-Beltrami operator) and present related results on harmonic analysis on the quantum ball. These are applied to obtain an analogue of one result by A.Unterberger and H.Upmeier. An explicit asymptotic formula expressing the q-Berezin transform via the q-Laplace-Beltrami operator is also derived. At the end of the paper, we give an application of our results to basic hypergeometric q-orthogonal polynomials.


title: Some remarks on G_2-structures

abstract: This article consists of some loosely related remarks about the geometry of G_2-structures on 7-manifolds and is partly based on old unpublished joint work with two other people: F. Reese Harvey and Steven Altschuler. Much of this work has since been subsumed in the work of Hitchin \cite{MR02m:53070} and Joyce \cite{MR01k:53093}. I am making it available now mainly because of interest expressed by others in seeing these results written up since they do not seem to have all made it into the literature. A formula is derived for the scalar curvature and Ricci curvature of a G_2-structure in terms of its torsion. When the fundamental 3-form of the G_2-structure is closed, this formula implies, in particular, that the scalar curvature of the underlying metric is nonpositive and vanishes if and only if the structure is torsion-free. This version contains some new results on the pinching of Ricci curvature for metrics associated to closed G_2-structures. Some formulae are derived for closed solutions of the Laplacian flow that specify how various related quantities, such as the torsion and the metric, evolve with the flow. These may be useful in studying convergence or long-time existence for given initial data.


title: Regularity and Saturation in Biprojective Spaces

abstract: The paper is being withdrawn since the results are incorporated in paper arxiv.org/abs/math.AG/0306195.


title: A Supplement To The Bose-Dasgupta-Rubin (2002) Review Of Infinitely Divisible Laws And Processes

abstract: This paper proves that if a discrete distribution is infinitely divisible (ID) with integer-valued components, then it has a mass at the origin, which also implies why certain ID discrete laws do not have gaps in its support. We argue that discrete laws also can be stable and such laws do have domain of attraction. Then we give certain recent developments and references not reported in the Bose Dasgupta Rubin (2002) review in Sankhya, and some examples in the topics; infinite divisibility and stability of discrete laws, random infinite divisibility, operator stable laws, class-L laws, Goldie-Steutel result, max-infinite divisibility and stability, simulation, alternate stable laws, applications and free probability theory.


title: Cohomological divisibility and point count divisibility

abstract: We show that Ax-Katz divisibility on the number of rational points of a variety defined over a finite field by equations of low degrees comes from divisibility of the eigenvalues of the Frobenius action of the $\ell$-adic cohomology with compact supports. This completes the motivc picture, as we knew already that in characteristic 0, the Hodge type was the expected one. [version 2 as the title contained a typo..., else no changes]


title: Real aspects of the moduli space of genus zero stable maps

abstract: We show that the moduli space of genus zero stable maps is a real projective variety if the target space is a smooth convex real projective variety. We show that evaluation maps, forgetful maps are real morphisms. We analyze the real part of the moduli space.


title: G\'eom\'etrie de contact: de la dimension trois vers les dimensions sup\'erieures

abstract: On d\'ecrit ici des relations entre la g\'eom\'etrie globale des vari\'et\'es de contact closes et celle de certaines vari\'et\'es symplectiques, \`a savoir les vari\'et\'es de Stein compactes. L'origine de ces relations est l'existence de livres ouverts adapt\'es aux structures de contact. We discuss relations between the global geometry of closed contact manifolds and the geometry of compact symplectic Stein manifolds that they bound. The origin of these relations is the existence of open book decompositions adapted to contact structures.


title: Fast algorithms for optimal control, anisotropic front propagation and multiple arrivals

abstract: We review some recent work in fast, efficient and accurate methods to compute viscosity solutions and non-viscosity solutions to static Hamilton-Jacobi equations which arise in optimal control, anisotropic front propagation, and multiple arrivals in wave propagation. For viscosity solutions, the class of algorithms are known as ``Ordered Upwind Methods'', and rely on a systematic ordering inherent in the characteristic flow of information. For non-viscosity multiple arrivals, the techniques hinge on a static boundary value phase-space formulation which again can be solved through a systematic ordering.


title: On some families of integrals solvable in terms of polygamma and negapolygamma functions

abstract: Beginning with Hermite's integral representation of the Hurwitz zeta function, we derive explicit expressions in terms of elementary, polygamma, and negapolygamma functions for several families of integrals of the type $\int_0^\infty f(t)K(q,t)dt$ with kernels $K(q,t)$ equal to $(e^{2\pi q t}-1)^{-1}$, $(e^{2\pi q t}+1)^{-1}$, and $(\sinh(2\pi q t)^{-1}$.


title: Falconer conjecture in the plane for random metrics

abstract: We prove the following variant of the Falconer conjecture in the plane. If the dimension of a compact planar set is greater than one, then the distance set with respect to almost every ellipse has positive Lebesgue measure.


title: Fraenkel's Partition and Brown's Decomposition

abstract: Denote the sequence ([ (n-x') / x ])_{n=1}^\infty by B(x, x'), a so-called Beatty sequence. Fraenkel's Partition Theorem gives necessary and sufficient conditions for B(x, x') and B(y, y') to tile the positive integers, i.e., for B(x, x') \cap B(y, y') = \emptyset and B(x, x') \cup B(y, y') = {1,2, 3, ...}. Fix 0 < x < 1, and let c_k = 1 if k \in B(x, 0), and c_k = 0 otherwise, i.e., c_k=[ (k+1) / x ] - [ k / x]. For a positive integer m let C_m be the binary word c_1c_2c_3... c_m. Brown's Decomposition gives integers q_1, q_2, ..., independent of m and growing at least exponentially, and integers t, z_0, z_1, z_2, ..., z_t (depending on m) such that C_m = C_{q_t}^{z_t}C_{q_{t-1}}^{z_{t-1}} ... C_{q_1}^{z_1}C_{q_0}^{z_0}. In other words, Brown's Decomposition gives a sparse set of initial segments of C_\infty and an explicit decomposition of C_m (for every m) into a product of these initial segments.


title: A remark on renormalized volume and Euler characteristic for ACHE 4-manifolds

abstract: This note computes the "renormalized volume" and a renormalizedGauss-Bonnet-Chern formula for the Euler characteristic ofasymptotically complex hyperbolic Einstein (in short: ACHE)4-manifolds.


title: Distance bounds for convolutional codes and some optimal codes

abstract: After a discussion of the Griesmer and Heller bound for the distance of a convolutional code we present several codes with various parameters, over various fields, and meeting the given distance bounds. Moreover, the Griesmer bound is used for deriving a lower bound for the field size of an MDS convolutional code and examples are presented showing that, in most cases, the lower bound is tight. Most of the examples in this paper are cyclic convolutional codes in a generalized sense as it has been introduced in the seventies. A brief introduction to this promising type of cyclicity is given at the end of the paper in order to make the examples more transparent.


title: Hopf Algebroid Symmetry of Abstract Frobenius Extensions of Depth 2

abstract: We study Frobenius 1-morphisms $\i$ in an additive bicategory $\c$ satisfying the depth 2 condition. We show that the 2-endomorphism rings $\c^2(\i\x\ib,\i\x\ib)$ and $\c^2(\ib\x\i,\ib\x\i)$ can be equipped with dual Hopf algebroid structures. We prove also that a Hopf algebroid appears as the solution of the above abstract symmetry problem if and only if it possesses a two sided non-degenerate integral.


title: Ideals in a perfect closure, linear growth of primary decompositions, and tight closure

abstract: This paper is concerned with tight closure in a commutative Noetherian ring $R$ of prime characteristic $p$, and is motivated by an argument of K. E. Smith and I. Swanson that shows that, if the sequence of Frobenius powers of a proper ideal $I$ of $R$ has linear growth of primary decompositions, then tight closure (of $I$) commutes with localization at the powers of a single element. It is shown in this paper that, provided $R$ has a weak test element, linear growth of primary decompositions for other sequences of ideals of $R$ that approximate, in a certain sense, the sequence of Frobenius powers of $I$ would not only be just as good in this context, but, in the presence of a certain additional finiteness property, would actually imply that tight closure (of $I$) commutes with localization at an arbitrary multiplicatively closed subset of $R$. Work of M. Katzman on the localization problem for tight closure raised the question as to whether the union of the associated primes of the tight closures of the Frobenius powers of $I$ has only finitely many maximal members. This paper develops, through a careful analysis of the ideal theory of the perfect closure of $R$, strategies for showing that tight closure (of a specified ideal $I$ of $R$) commutes with localization at an arbitrary multiplicatively closed subset of $R$ and for showing that the union of the associated primes of the tight closures of the Frobenius powers of $I$ is actually a finite set. Several applications of the strategies are presented; in most of them it was already known that tight closure commutes with localization, but the resulting affirmative answers to Katzman's question in the various situations considered are believed to be new.


title: Higher order quasiconvexity reduces to quasiconvexity

abstract: In this paper it is shown that higher order quasiconvex functions suitable in the variational treatment of problems involving second derivatives may be extended to the space of all matrices as classical quasiconvex functions. Precisely, it is proved that a smooth strictly 2-quasiconvex function with p-growth at infinity, p>1, is the restriction to symmetric matrices of a 1-quasiconvex function with the same growth. As a consequence, lower semicontinuity results for second-order variational problems are deduced as corollaries of well-known first order theorems.


title: Towards a classification of Lorentzian holonomy groups

abstract: If the holonomy representation of an $(n+2)$--dimensional simply-connected Lorentzian manifold $(M,h)$ admits a degenerate invariant subspace its holonomy group is contained in the parabolic group $(\mathbb{R} \times SO(n))\ltimes \mathbb{R}^n$. The main ingredient of such a holonomy group is the SO(n)--projection $G:=pr_{SO(n)}(Hol_p(M,h))$ and one may ask whether it has to be a Riemannian holonomy group. In this paper we show that this is the case if $G\subset U(n/2)$ or if the irreducible acting components of $G$ are simple.


title: Eigenvalue estimates for the Dirac operator and harmonic 1-forms of constant length

abstract: We prove that on a compact $n$-dimensional spin manifold admitting a non-trivial harmonic 1-form of constant length, every eigenvalue $\lambda$ of the Dirac operator satisfies the inequality $\lambda^2 \geq \frac{n-1}{4(n-2)}\inf_M Scal$. In the limiting case the universal cover of the manifold is isometric to $R\times N$ where $N$ is a manifold admitting Killing spinors.


title: Purity of equivalued affine Springer fibers

abstract: The affine Springer fiber corresponding to a regular integral equivalued semisimple element admits a paving by vector bundles over Hessenberg varieties and hence its (Borel-Moore) homology is "pure".


title: Chow rings of toric varieties defined by atomic lattices

abstract: We study a graded algebra D=D(L,G) defined by a finite lattice L and a subset G in L, a so-called building set. This algebra is a generalization of the cohomology algebras of hyperplane arrangement compactifications found in work of De Concini and Procesi. Our main result is a representation of D, for an arbitrary atomic lattice L, as the Chow ring of a smooth toric variety that we construct from L and G. We describe this variety both by its fan and geometrically by a series of blowups and orbit removal. Also we find a Groebner basis of the relation ideal of D and a monomial basis of D over Z.


title: Hamilton-Jacobi method for a simple resonance

abstract: It is well known that a generic small perturbation of a Liouville-integrable Hamiltonian system causes breakup of resonant and near-resonant invariant tori. A general approach to the simple resonance case in the convex real-analytic setting is developed, based on a new technique for solving the Hamilton-Jacobi equation. It is shown that a generic perturbation creates in the core of a resonance a partially hyperbolic lower-dimensional invariant torus, whose Lagrangian stable and unstable manifolds, described as global solutions of the Hamilton-Jacobi equation, split away from this torus at exponentially small angles. Optimal upper bounds with best constants are obtained for exponentially small splitting in the general case.


title: Homology of affine Springer fibers in the unramified case

abstract: Assuming a certain "purity" conjecture, we derive a formula for the (complex) cohomology groups of the affine Springer fiber corresponding to any unramified regular semi-simple element. We use this calculation to present a complex analog of the fundamental lemma for function fields. We show that the "kappa" orbital integral which arises in the fundamental lemma is equal to the Lefschetz trace of Frobenius acting on the etale cohomology of a related variety.


title: Abelianizing the real permutation action via blowups

abstract: We present an abelianization of the permutation action of the symmetric group S_n on R^n in analogy to the Batyrev abelianization construction for finite group actions on complex manifolds. The abelianization is provided by a particular De Concini-Procesi wonderful model for the braid arrangement. In fact, we show a stronger result, namely that stabilizers of points in the arrangement model are isomorphic to direct products of Z_2. To prove that, we develop a combinatorial framework for explicitly describing the stabilizers in terms of automorphism groups of set diagrams over families of cubes. We observe that the natural nested set stratification on the arrangement model is not stabilizer distinguishing with respect to the S_n-action, that is, stabilizers of points are not in general isomorphic on open strata. Motivated by this structural deficiency, we furnish a new stratification of the De Concini-Procesi arrangement model that distinguishes stabilizers.


title: Applications of Hofer's geometry to Hamiltonian dynamics

abstract: We prove the following three results in Hamiltonian dynamics. 1. The Weinstein conjecture holds true for every displaceable hypersurface of contact type. 2. Every magnetic flow on a closed Riemannian manifold has contractible closed orbits for a dense set of small energies. 3. Every closed Lagrangian submanifold of an arbitrary symplectic manifold whose fundamental group injects and which admits a Riemannian metric without closed geodesics has the intersection property.


title: A cohomological description of Abelian bundles and gerbes

abstract: We describe the geometrical ladder of equations for Abelian bundles and gerbes, as well as higher generalisations, in terms of the cohomology of an operator that combines de Rham and Cech cohomology.


title: A refinement of the Hofer-Zehnder theorem on the existence of closed trajectories near a hypersurface

abstract: The Hofer-Zehnder theorem states that almost every hypersurface in a thickening of a hypersurface $S$ in a symplectic manifold $(M,\omega)$ carries a closed characteristic provided that $S$ bounds a compact submanifold and $(M,\omega)$ has finite capacity. We show that it is enough to assume that the thickening of $S$ has finite capacity.


title: Rational smoothness of varieties of representations for quivers of Dynkin type

abstract: With the help of Lusztig's canonical basis, we study local intersection cohomology of the Zariski closures of orbits of representations of a quiver of type A, D or E. In particular, we characterize the rationally smooth orbits and prove that orbit closures are smooth if and only if they are rationally smooth. This provides an analogue of theorems of V. Deodhar, and J. Carrell and D. Peterson on Schubert varieties.


title: Toric manifolds with degenerate dual variety and defect polytopes

abstract: We classify projective toric manifolds whose dual variety is not a hypersurface in the dual projective space. Under the standard dictionary between toric geometry and convex geometry, they correspond to certain convex Delzant integer polytopes, P, which we call defect polytopes. Using the geometrical classification we give a detailed description of defect polytopes and prove that they are characterized by the vanishing of a combinatorial invariant, denoted by c(P). We further prove that a related invariant, c*(P), is nonnegative, for any simple convex integral polytope.


title: On the Maximum Satisfiability of Random Formulas

abstract: Maximum satisfiability is a canonical NP-hard optimization problem that appears empirically hard for random instances. Let us say that a Conjunctive normal form (CNF) formula consisting of $k$-clauses is $p$-satisfiable if there exists a truth assignment satisfying $1-2^{-k}+p 2^{-k}$ of all clauses (observe that every $k$-CNF is 0-satisfiable). Also, let $F_k(n,m)$ denote a random $k$-CNF on $n$ variables formed by selecting uniformly and independently $m$ out of all possible $k$-clauses. It is easy to prove that for every $k>1$ and every $p$ in $(0,1]$, there is $R_k(p)$ such that if $r >R_k(p)$, then the probability that $F_k(n,rn)$ is $p$-satisfiable tends to 0 as $n$ tends to infinity. We prove that there exists a sequence $\delta_k \to 0$ such that if $r <(1-\delta_k) R_k(p)$ then the probability that $F_k(n,rn)$is $p$-satisfiable tends to 1 as $n$ tends to infinity. The sequence $\delta_k$ tends to 0 exponentially fast in $k$.


title: Some Remarks on Some Strongly Coupled Reaction-Diffusion Equations

abstract: The primary goal of this paper is to characterize solutions to coupled reaction-diffusion systems. Indeed, we use operators theory to show that under suitable assumptions, then the solutions to the reaction-diffusion equations exist. As applications, we consider a mathematical model arising in Biology and in Chemistry.


title: Diagram groups are totally orderable

abstract: In this paper, we introduce the concept of the independence graph of a directed 2-complex. We show that the class of diagram groups is closed under graph products over independence graphs of rooted 2-trees. This allows us to show that a diagram group containing all countable diagram groups is a semi-direct product of a partially commutative group and R. Thompson's group $F$. As a result, we prove that all diagram groups are totally orderable.


title: Incidence combinatorics of resolutions

abstract: We introduce notions of combinatorial blowups, building sets, and nested sets for arbitrary meet-semilattices. This gives a common abstract framework for the incidence combinatorics occurring in the context of De Concini-Procesi models of subspace arrangements and resolutions of singularities in toric varieties. Our main theorem states that a sequence of combinatorial blowups, prescribed by a building set in linear extension compatible order, gives the face poset of the corresponding simplicial complex of nested sets. As applications we trace the incidence combinatorics through every step of the De Concini-Procesi model construction, and we introduce the notions of building sets and nested sets to the context of toric varieties. There are several other instances, such as models of stratified manifolds and certain graded algebras associated with finite lattices, where our combinatorial framework has been put to work; we present an outline in the end of this paper.


title: Modular Algorithm for Computing Cohomology: Lie Superalgebra of Special Vector Fields on (2|2)-dimensional Odd-Symplectic Superspace

abstract: We describe an essential improvement of our recent algorithm for computing cohomology of Lie (super)algebra based on partition of the whole cochain complex into minimal subcomplexes. We replace the arithmetic of rational numbers or integers by a much cheaper arithmetic of a modular field and use the inequality between the dimensions of cohomology H over any modular field F_p = Z/pZ and over Q: dim H(F_p) >= dim H(Q). With this inequality we can, by computing over arbitrary F_p, quickly find the (usually, rare) subcomplexes for which dim H(F_p) > 0 and then carry out the full computation over Q within these subcomplexes. We also present the results of application of the corresponding C program to the Lie superalgebra of special vector fields preserving an "odd-symplectic" structure on the (2|2)-dimensional supermanifold. For this algebra, we found some new basis elements of the cohomology in the trivial module.


title: On the structure of the centralizer of a braid

abstract: The mixed braid groups are the subgroups of Artin braid groups whose elements preserve a given partition of the base points. We prove that the centralizer of any braid can be expressed in terms of semidirect and direct products of mixed braid groups. Then we construct a generating set of the centralizer of any braid on n strands, which has at most k(k+1)/2 elements if n=2k, and at most $k(k+3)/2 elements if n=2k+1. These bounds are shown to be sharp, due to work of N.V.Ivanov and of S.J.Lee. Finally, we describe how one can explicitly compute this generating set.


title: Characterization of spectral triples: A combinatorial approach

abstract: We describe a general technique to study Dirac operators on noncommutative spaces under some additional assumptions. The main idea is to capture the compact resolvent condition in a combinatorial set up. Using this, we then prove that for a certain class of representations of the C^*-algebra C(SU_q(\ell+1)), any Dirac operator that diagonalises with respect to the natural basis of the underlying Hilbert space must have trivial sign.


title: Sphere eversions and realization of mappings

abstract: P. M. Akhmetiev used a controlled version of the stable Hopf invariant to show that any (continuous) map N -> M between stably parallelizable compact n-manifolds, n\ne 1,2,3,7, is realizable in R^{2n}, i.e. the composition of f with an embedding M\subset R^{2n} is C^0-approximable by embeddings. It has been long believed that any degree 2 map S^3 -> S^3, obtained by capping off at infinity a time-symmetric (e.g. Shapiro's) sphere eversion S^2 x I -> R^3, was non-realizable in R^6. We show that there exists a self-map of the Poincar\'e homology 3-sphere, non-realizable in R^6, but every self-map of S^n is realizable in R^{2n} for each n>2. The latter together with a ten-line proof for n=2, due essentially to M. Yamamoto, implies that every inverse limit of n-spheres embeds in R^{2n} for n>1, which settles R. Daverman's 1990 problem. If M is a closed orientable 3-manifold, we show that there exists a map S^3 -> M, non-realizable in R^6, if and only if \pi_1(M) is finite and has even order. As a byproduct, an element of the stable stem \Pi_3 with non-trivial stable Hopf invariant is represented by a particularly simple immersion S^3 -> R^4, namely the composition of the universal 8-covering over Q^3=S^3/{\pm1,\pm i,\pm j,\pm k}$ and an explicit embedding Q^3\subset R^4.


title: Nonemptiness of symmetric degeneracy loci

abstract: Let V be a rank N vector bundle on a d-dimensional complex projective scheme X; assume that V is equipped with a quadratic form with values in a line bundle L and that S^2 V^* \otimes L is ample. Suppose that the maximum rank of the quadratic form at any point of X is r > 0. The main result of this paper is that if d > N-r, then the locus of points where the rank of the quadratic form is at most r-1 is nonempty. We give some applications to subschemes of matrices, and to degeneracy loci associated to embeddings in projective space. The paper concludes with an appendix on Gysin maps. The main result of the appendix identifies a Gysin map with the natural map from ordinary to relative cohomology.


title: Optimal Nonlinear Prediction of Random Fields on Networks

abstract: It is increasingly common to encounter time-varying random fields on networks (metabolic networks, sensor arrays, distributed computing, etc.). This paper considers the problem of optimal, nonlinear prediction of these fields, showing from an information-theoretic perspective that it is formally identical to the problem of finding minimal local sufficient statistics. I derive general properties of these statistics, show that they can be composed into global predictors, and explore their recursive estimation properties. For the special case of discrete-valued fields, I describe a convergent algorithm to identify the local predictors from empirical data, with minimal prior information about the field, and no distributional assumptions.

categories: math.PR cond-mat.stat-mech nlin.CG physics.data-an


title: Graphs without repeated cycle lengths

abstract: In 1975, P. Erd\"{o}s proposed the problem of determining the maximum number $f(n)$ of edges in a graph of $n$ vertices in which any two cycles are of different lengths. In this paper, it is proved that $$f(n)\geq n+36t$$ for $t=1260r+169 (r\geq 1)$ and $n \geq 540t^{2}+{175811/2}t+{7989/2}$. Consequently, $\liminf\sb {n \to \infty} {f(n)-n \over \sqrt n} \geq \sqrt {2 + {2 \over 5}}.$ We make the following conjecture: \par \bigskip \noindent{\bf Conjecture.} $$\lim_{n \to \infty} {f(n)-n\over \sqrt n}=\sqrt {2.4}.$$


title: Recurrent Inversion Formulas

abstract: Let $F(z)=z-H(z)$ with $o(H(z))\geq 2$ be a formal map from $\bC^n$ to $\bC^n$ and $G(z)$ the formal inverse of $F(z)$. In this paper, we fist study the deformation $F_t(z)=z-tH(z)$ and its formal inverse map $G_t(z)$. We then derive two recurrent formulas for the formal inverse $G(z)$. The first formula in certain situations provides a more efficient method for the calculation of $G(z)$ than other well known inversion formulas. The second one is differential free but only works when $H(z)$ is homogeneous of degree $d\geq 2$. Finally, we reveal a close relationship of the inversion problem with a Cauchy problem of a PDE. When the Jacobian matrix $JF(z)$ is symmetric, the PDE coincides with the $n$-dimensional inviscid Burgers' equation in Diffusion theory.


title: Brownian beads

abstract: We show that the past and future of half-plane Brownian motion at certain cutpoints are independent of each other after a conformal transformation. Like in Ito's excursion theory, the pieces between cutpoints form a Poisson process with respect to a local time. The size of the path as a function of this local time is a stable subordinator whose index is given by the exponent of the probability that a stretch of the path has no cutpoint. The index is computed and equals 1/2.


title: Subshifts of quasi-finite type

abstract: We introduce subshifts of quasi-finite type as a generalization of the well-known subshifts of finite type. This generalization is much less rigid and therefore contains the symbolic dynamics of many non-uniform systems, e.g., piecewise monotonic maps of the interval with positive entropy. Yet many properties remain: existence of finitely many ergodic invariant probabilities of maximum entropy; lots of periodic points; meromorphic extension of the Artin-Mazur zeta function.


title: Towards non commutative algebraic topology

abstract: This is a slightly edited version of the transparencies for a seminar at UCL, May 7, 2003. It is intended to give a quick view of background, ideas, and some calculations, in the applicatioon of some non commutative methods to algebraic topology.


title: Excision and a Theorem of Popa

abstract: We give an elementary C*-algebraic proof of a result of Sorin Popa which is of fundamental importance to Elliott's Classification Program.


title: Connes' Embedding Problem and Lance's WEP

abstract: A II_1 factor embeds into the ultraproduct of the hyperfinite II_1 factor if and only if it satisfies the W*-analogue of Lance's weak expectation property. This note gives a self contained proof of this fact.


title: Examples of twisted cyclic cocycles from covariant differential calculi

abstract: For two covariant differential *-calculi, the twisted cyclic cocycle associated with the volume form is represented in terms of commutators [F,\rho(x)] for some self-adjoint operator F and some *-representation $\rho$ of the underlying *-algebra.


title: Homological properties of non-deterministic branchings and mergings in higher dimensional automata

abstract: The branching (resp. merging) space functor of a flow is a left Quillen functor. The associated derived functor allows to define the branching (resp. merging) homology of a flow. It is then proved that this homology theory is a dihomotopy invariant and that higher dimensional branchings (resp. mergings) satisfy a long exact sequence.


title: Non-degenerate Maps and Sets

abstract: We construct certain non-degenerate maps and sets, mainly in the complex-analytic category. For example, we show that for every countable subset S in an irreducible complex space X there exists a holomorphic map from the unit disk to X such that S is contained in the image. Furthermore, given an irreducible complex space X, there is always an infinite subset S such that for every proper analytic subspace Z of X the intersection of S with Z is finite.


title: Stacks of quantization-deformation modules on complex symplectic manifolds

abstract: On a complex symplectic manifold, we construct the stack of quantization-deformation modules, that is, (twisted) modules of microdifferential operators with an extra central parameter, a substitute to the lack of homogeneity. We also quantize involutive submanifolds of contact manifolds.


title: Ideal Membership in Polynomial Rings over the Integers

abstract: We present a new approach to the ideal membership problem for polynomial rings over the integers: given polynomials $f_0,f_1,...,f_n\in\Z[X]$, where $X=(X_1,...,X_N)$ is an $N$-tuple of indeterminates, are there $g_1,...,g_n\in\Z[X]$ such that $f_0=g_1f_1+...+g_nf_n$? We show that the degree of the polynomials $g_1,...,g_n$ can be bounded by $(2d)^{2^{O(N^2)}}(h+1)$ where $d$ is the maximum total degree and $h$ the maximum height of the coefficients of $f_0,...,f_n$. Some related questions, primarily concerning linear equations in $R[X]$, where $R$ is the ring of integers of a number field, are also treated.


title: Multiplicative structures on homotopy spectral sequences I

abstract: This mostly expository paper records some basic facts about towers of homotopy fiber sequences. We give a proof that a pairing of towers induces a pairing of associated spectral sequences, for towers of spaces and towers of spectra.


title: Law of large numbers for the asymmetric simple exclusion process

abstract: We consider simple exclusion processes on Z for which the underlying random walk has a finite first moment and a non-zero mean and whose initial distributions are product measures with different densities to the left and to the right of the origin. We prove a strong law of large numbers for the number of particles present at time t in an interval growing linearly with t.


title: On the Cachazo-Douglas-Seiberg-Witten conjecture for simple Lie algebras

abstract: Recently, motivated by supersymmetric gauge theory, Cachazo, Douglas, Seiberg, and Witten proposed a conjecture about finite dimensional simple Lie algebras, and checked it in the classical cases. We prove the conjecture for type G_2, and also verify a consequence of the conjecture in the general case.


title: Measurable Categories and 2-Groups

abstract: Using the theory of measurable categories developped by Yetter in work in preparation, we provide a notion of representations of 2-groups more well-suited to physically and geometrically interesting examples than that proposed in unpublished work of Barrett and Mackaay using 2-VECT of Kapranov and Voevodsky. Using this theory we sketch a 2-categorical approach to the state-sum model for Lorentzian quantum gravity proposed in by the authors in previous work and suggest state-integral constructions for 4-manifold invariants.


title: Spherical rank rigidity and Blaschke manifolds

abstract: Let M be a complete Riemannian manifold whose sectional curvature is bounded above by 1. We say that M has positive spherical rank if along every geodesic one hits a conjugate point at t=\pi. The following theorem is then proved: If M is a complete, simply connected Riemannian manifold with upper curvature bound 1 and positive spherical rank, then M is isometric to a compact, rank one symmetric space (CROSS) i.e., isometric to a sphere, complex projective space, quaternionic projective space or to the Cayley plane. The notion of spherical rank is analogous to the notions of Euclidean rank and hyperbolic rank studied by several people (see references). The main theorem is proved in two steps: first we show that M is a so called Blaschke manifold with extremal injectivity radius (equal to diameter). Then we prove that such M is isometric to a CROSS.


title: On the moments of Hecke series at central points II

abstract: We prove, in standard notation from spectral theory, the asymptotic formula ($B>0$) $$ \sum_{\kappa_j\le T}\alpha_j H_j(1/2) = ({T\over\pi})^2 - BT\log T + O(T(\log T)^{1/2}), $$ by using an approximate functional equation for $H_j(1/2)$ and the Bruggeman--Kuznetsov trace formula. We indicate how the error term may be improved to $O(T(\log T)^\epsilon)$.


title: A mean value result involving the fourth moment of $|\zeta(1/2+it)|$

abstract: If $(k,\ell)$ is an exponent pair such that $k+\ell<1$, then we have $$ \int_1^T|\zeta(1/2+it)|^4|\zeta(\sigma+it)|^2dt \ll_\epsilon T^{1+\epsilon}\quad(\sigma > \min({5\over6},\max(\ell-k, {5k+\ell\over4k+1})), $$ while if $(k,\ell)$ is an exponent pair such that $3k+\ell<1$, then we have $$ \int_1^T|\zeta(1/2+it)|^4|\zeta(\sigma+it)|^4dt \ll_\epsilon T^{1+\epsilon}\quad(\sigma > {11k+\ell+1\over8k+2}). $$


title: Differential Equations for Singular Vectors of sl(n)

abstract: Given a weight of sl(n), we derive a system of variable-coefficient second-order linear partial differential equations that determines the singular vectors in the corresponding Verma module. Moreover, we completely solve the system in a certain space of power series. The polynomial solutions correspond to the singular vectors in the Verma module. The well-known results of Verma, Bernstein-Gel'fand-Gel'fand and Jantzen for the case of $sl(n)$ are naturally included in our almost elementary approach of partial differential equations.


title: Canonical Heights, Transfinite Diameters, and Polynomial Dynamics

abstract: Let phi(z) be a polynomial of degree at least 2 with coefficients in a number field K. Iterating phi gives rise to a dynamical system and a corresponding canonical height function, as defined by Call and Silverman. We prove a simple product formula relating the transfinite diameters of the filled Julia sets of phi over various completions of K, and we apply this formula to give a generalization of Bilu's equidistribution theorem for sequences of points whose canonical heights tend to zero.


title: Signatures of foliated surface bundles and the symplectomorphism groups of surfaces

abstract: For any closed oriented surface F of genus at least three, we prove the existence of foliated F-bundles over surfaces such that the signatures of the total spaces are non-zero. We can arrange that the total holonomy of the horizontal foliations preserve a prescribed symplectic form on the fiber. We relate the cohomology class represented by the transverse symplectic form to a crossed homomorphism from the symplectomophism group of the fiber to its first real cohomology. This crossed homomorphism extends the flux homomorphism defined on the identity component of the symplectomorphism group.


title: Traces of singular values and Borcherds products

abstract: Let $p$ be a prime for which the congruence group $\Gamma_0(p)^*$ is of genus zero, and $j_p^*$ be the corresponding Hauptmodul. Let $f$ be a nearly holomorphic modular form of weight 1/2 on $\Gamma_0(4p)$ which satisfies some congruence condition on its Fourier coefficients. We interpret $f$ as a vector valued modular form. Applying Borcherds lifting of vector valued modular forms we construct infinite products associated to $j_p^*$ and extend Zagier's trace formula for singular values of $j_p^*$. Further we investigate the twisted traces of sigular values of $j_p^*$ and construct Borcherds products related to them.


title: Minimal surfaces from circle patterns: Geometry from combinatorics

abstract: We suggest a new definition for discrete minimal surfaces in terms of sphere packings with orthogonally intersecting circles. These discrete minimal surfaces can be constructed from Schramm's circle patterns. We present a variational principle which allows us to construct discrete analogues of some classical minimal surfaces. The data used for the construction are purely combinatorial--the combinatorics of the curvature line pattern. A Weierstrass-type representation and an associated family are derived. We show the convergence to continuous minimal surfaces.


title: A metric property of umbilic points

abstract: In the space $\mathbb U^4$ of cubic forms of surfaces, regarded as a $G$-space and endowed with a natural invariant metric, the ratio of the volumes of those representing umbilic points with negative to those with positive indexes is evaluated in terms of the asymmetry of the metric, defined here. A connection of this ratio with that reported by Berry and Hannay (1977) in the domain of Statistical Physics, is discussed.


title: On the coarse classification of tight contact structures

abstract: We present a sketch of the proof of the following theorems: (1) Every 3-manifold has only finitely many homotopy classes of 2-plane fields which carry tight contact structures. (2) Every closed atoroidal 3-manifold carries finitely many isotopy classes of tight contact structures.


title: Multiplicative structures on homotopy spectral sequences II

abstract: The paper summarizes the construction of pairings on some standard spectral sequences in algebraic topology.


title: Differential calculus on a novel cross-product quantum algebra

abstract: We investigate the algebro-geometric structure of a novel two-parameter quantum deformation which exhibits the nature of a semidirect or cross-product algebra built upon GL(2) x GL(1), and is related to several other known examples of quantum groups. Following the R-matrix framework, we construct the L+/- functionals and address the problem of duality for this quantum group. This naturally leads to the construction of a bicovariant differential calculus that depends only on one deformation parameter, respects the cross-product structure and has interesting applications. The corresponding Jordanian and hybrid deformation is also explored.


title: Equivalence of spectral projections in semiclassical limit and a vanishing theorem for higher traces in K-theory

abstract: In this paper, we study a refined L2 version of the semiclassical approximation of projectively invariant elliptic operators with invariant Morse type potentials on covering spaces of compact manifolds. We work on the level of spectral projections (and not just their traces) and obtain an information about classes of these projections in K-theory in the semiclassical limit as the coupling constant goes to zero. An important corollary is a vanishing theorem for the higher traces in cyclic cohomology for the spectral projections. This result is then applied to the quantum Hall effect. We also give a new proof that there are arbitrarily many gaps in the spectrum of the operators under consideration in the semiclassical limit.


title: On semistable Mori contractions

abstract: We study Mori fiber spaces over a two-dimensional base which satisfy the semistability assumption. As an application of our technique we give a new proof of the existence of semistable 3-fold flips.


title: Fast proof of functional equation for $\zeta(s)$

abstract: A quite fast proof of the functional equation of the Riemann zeta function. It is a modification of a proof usually overlooked in Titchmarsh's monograph.


title: On some mean value results involving $|\zeta(1/2+it)|$

abstract: Several problems involving $E(T)$ and $E_2(T)$, the error terms in the mean square and mean fourth moment formula for $|\zeta(1/2+it)}$ are discussed. In particular, it is proved that $$ \int_0^T E(t)E_2(t)dt \ll_ T^{7/4}(\log T)^{7/2}(\log\log T). $$


title: On entropy and Hausdorff dimension of measures defined through a non-homogeneous Markov process

abstract: In this work we study the Hausdorff dimension of measures whose weight distribution satisfies a markov non-homogeneous property. We prove, in particular, that the Hausdorff dimensions of this kind of measures coincide with their lower R\'enyi dimensions (entropy). Moreover, we show that the Tricot dimensions (packing dimension) equal the upper R\'enyi dimensions. As an application we get a continuity property of the Hausdorff dimension of the measures, when it is seen as a function of the distributed weights under the $\ell^{\infty}$ norm.


title: Families of G-constellations over resolutions of quotient singularities

abstract: Let G be a finite subgroup of GL_n(C). A study is made of the ways in which resolutions of the quotient space C^n / G can parametrise G-constellations, that is, G-regular finite length sheaves. These generalise G-clusters, which are used in the McKay correspondence to construct resolutions of orbifold singularities. A complete classification theorem is achieved, in which all the natural families of G-constellations are shown to correspond to certain finite sets of G-Weil divisors, which are a special sort of rational Weil divisor, introduced in this paper. Moreover, it is shown that the number of equivalence classes of such families is always finite. Explicit examples are computed throughout using toric geometry.


title: Finite-dimensional representations of U_q[gl(2/1)] in a basis of U_q[gl(2)\oplus gl(1)]

abstract: The quantum superalgebra $U_q[gl(2/1)]$ is given as both a Drinfel'd--Jimbo deformation of $U[gl(2/1)]$ and a Hopf superalgebra. Finite--dimensional representations of this quantum superalgebra are constructed and investigated in a basis of its even subalgebra $U_q[gl(2)\oplus gl(1)]$. The present method for constructing representations of a quantum superalgebra combines previously suggested ones for the cases of superalgebras and quantum superalgebras, and, therefore, has an advantage in comparison with the latter.


title: Infinite serie of extreme Delaunay polytopes

abstract: A Delaunay polytope $P$ is said to be {\em extreme} if the only (up to isometries) affine bijective transformations $f$ of $\R^n$, for which $f(P)$ is again a Delaunay polytope, are the homotheties. This notion was introduced in \cite{DGL92}; also some examples in dimension 1, 6, 7, 15, 16, 22, 23 were constructed and it was proved that in dimension less than 6 there are no extreme Delaunay polytopes, except the segment. In this note, for every $n\geq 6$ we build an extreme Delaunay polytope $ED_n$ of dimension $n$.


title: The Paneitz Curvature Problem on Lower Dimensional Spheres

abstract: In this paper we prescribe a fourth order conformal invariant 9the Paneitz Curvature) on five and six spheres. Using dynamical and topological methods involving the study of critical points at infinity of the associated variational problem, we prove some existence results.


title: Some Existence Results for a Paneitz Type Problem Via the Theory of Critical Points at Infinity

abstract: In this paper a fourth order equation involving critical growth is considered under Navier boundary condition. We give some topological conditions on a given function to ensure the existence of solutions. Our methods involve the study of the critical points at infinity and their contribution to the topology of the level sets of the associated Euler Lagrange functional


title: Existence of Conformal Metrics on Spheres with Prescribed Paneitz Curvature

abstract: In this paper we study the problem of prescribing a fourth order conformal invariant (the Paneitz curvature) on the $n$-sphere, with $n\geq 5$. Using tools from the theory of critical points at infinity, we provide some topological conditions on the level sets of a given positive function under which we prove the existene of a metric, conformally equivalent to the standard metric, with prescribed Paneitz curvature.


title: On the uniqueness of the branching parameter for a random cascade measure

abstract: An independent random cascade measure is specified by a random generator, a vector of dimension c with non-negative components. The dimension c is called the branching cascade parameter. It is shown under certain restrictions that, if this measure has two generators with a.s. positive components, and the ratio ln c_1/ln c_2 for their branching parameters is an irrational number, then this measure is a Lebesgue measure. In other words, when c is a power of an integer number p and the p is minimal for c, then a cascade measure that has the property of intermittency specifies p uniquely.


title: Homologous non-isotopic symplectic tori in a K3-surface

abstract: For each member of an infinite family of homology classes in the K3-surface E(2), we construct infinitely many non-isotopic symplectic tori representing this homology class. This family has an infinite subset of primitive classes. We also explain how these tori can be non-isotopically embedded as homologous symplectic submanifolds in many other symplectic 4-manifolds including the elliptic surfaces E(n) for n>2.


title: Local--Global Properties for Semistar Operations

abstract: We study the "local" behavior of several relevant properties concerning semistar operations, like finite type, stable, spectral, e.a.b. and a.b. We deal with the "global" problem of building a new semistar operation on a given integral domain, by "gluing" a given homogeneous family of semistar operations defined on a set of localizations. We apply these results for studying the local--global behavior of the semistar Nagata ring and the semistar Kronecker function ring. We prove that an integral domain $D$ is a Pr{\"u}fer $\star$--multiplication domain if and only if all its localizations $D_{P}$ are Pr{\"u}fer $\star_P$--multiplication domains.


abstract: As is well known, h-vectors of simple (or simplicial) convex polytopes are characterized. In fact, those h-vectors must satisfy Dehn-Sommerville equations and some other inequalities. Simple convex polytopes determine Gorenstein* simplicial posets and h-vectors are defined for simplicial posets. It is known that h-vectors of Gorenstein* simplicial posets must satisfy Dehn-Sommerville equations and that every component in the h-vectors must be non-negative. In this paper we will show that h-vectors of Gorenstein* simplicial posets must satisfy one more subtle condition conjectured by R. Stanley and complete characterization of those h-vectors. Our proof is purely algebraic but the idea of the proof stems from topology.


title: Algebraic Sum of Unbounded Normal Operators and the Square Root Problem of Kato

abstract: We prove that the algebraic sum of unbounded normal operators satisfies the square root problem of Kato under appropriate hypotheses. As application, we consider perturbed Schrodinger operators.


title: Algorithmic Problems in the Braid Group

abstract: We begin with a review of the notion of a braid group. We then discuss some known solutions to decision problems in braid groups. We then move on to proving new results in braid group algorithmics. We offer a quick solution to the generalized word problem in braid groups, in the special case of cyclic subgroups. We illustrate this solution and its complexity using a multitape Turing machine. We then turn to a discussion of decision problems in cyclic amalgamations of groups. Again using a multitape Turing machine, we solve the word problem for the cyclic amalgamation of two braid groups. We analyze its complexity as well. We then turn to a more general study of the conjugacy problem in cyclic amalgamations. We revise and prove some theorems of Lipschutz[L1] and show their application to cyclic amalgamations of braid groups. We generalize this application to prove a new theorem regarding the conjugacy problem in cyclic amalgamations. We then discuss some application of braid groups, culminating in a section devoted to the discussion of braid group cryptography. We conclude with a discussion of some open questions that we would like to pursue in future research.


title: Character sheaves on disconnected groups, I

abstract: We begin the study of character sheaves on a not necessarily connected reductive group, extending the known theory for connected groups.


title: Lipschitz Flow-box Theorem

abstract: A generalization of the Flow-box Theorem is given. The assumption of continuous differentiability of the vector field is relaxed to a local Lipschitz condition. The theorem holds in any Banach space.


title: Presenting generalized q-Schur algebras

abstract: We obtain a presentation by generators and relations for generalized Schur algebras and their quantizations. This extends earlier results obtained in the type A case. The presentation is compatible with Lusztig's modified form of a quantized enveloping algebra. We show that generalized Schur algebras inherit a canonical basis from the modified form of the quantized enveloping algebra, that this gives them a cellular structure, and thus they are quasihereditary over a field.


title: Multiplicities of Indecomposable Injectives

abstract: Let A be a noncommutative noetherian with dualizing complex R. We study the multiplicities of indecomposable injectives in a minimal injective resolution of R. In particular when A is a Gorenstein ring we get information on minimal injective resolutions of A.


title: Notes on the isotopy finiteness

abstract: This is the less official, English version of the proof of the fact that every closed atoroidal 3-manifold carries finitely many isotopy classes of tight contact structures.


title: Estimates for the $\bar\partial$-Neumann problem and nonexistence of Levi-flat hypersurfaces in $CP^n$

abstract: Let $\Omega$ be a pseudoconvex domain with $C^2$-smooth boundary in $\mathbb CP^n$. We prove that the $\bar\partial-Neumann operator $N$ exists for $(p,q)$-forms on $\Omega$. Furthermore, there exists a $t_0>0$ such that the operators $N$, $\bar\partial^*N$, $\bar\partial N$ and the Bergman projection are regular in the Sobolev space $W^t (\bar{\Omega}) $ for $t<t_0$. The boundary estimates above have applications in complex geometry. We use the estimates to prove the nonexistence of $C^{2, \alpha}$ real Levi-flat hypersurfaces in $\mathbb CP^n$. We also show that there exist no non-zero $L^2$-holomorphic $(p, 0)$-forms on any pseudoconcave domain in $\mathbb CP^n$ with $p > 0$.


title: What is new on computed Lorenz strange attractors: chaos or numerical errors?

abstract: Discrete numerical methods with finite time-steps represent a practical technique to solve initial-value problems involving nonlinear differential equations. These methods seem particularly useful to the study of chaos since no analytical chaotic solution is currently available. Using the well-known Lorenz equations as an example, it is demonstrated that numerically computed results and their associated statistical properties are time-step dependent. There are two reasons for this behavior. First, chaotic differential equations are unstable so that any small error is amplified exponentially near an unstable manifold. The more serious and lesser-known reason is that stable and unstable manifolds of singular points associated with differential equations can form virtual separatrices. The existence of a virtual separatrix presents the possibility of a computed trajectory actually jumping through it due to the finite time-steps of discrete numerical methods. Such behavior violates the uniqueness theory of differential equations and amplifies the numerical errors explosively. These reasons imply that, even if computed results are bounded, their independence on time-step should be established before accepting them as useful numerical approximations to the true solution of the differential equations. However, due to these exponential and explosive amplifications of numerical errors, no computed chaotic solutions of differential equations independent of integration-time step have been found. Thus, reports of computed non-periodic solutions of chaotic differential equations are simply consequences of unstably amplified truncation errors, and are not approximate solutions of the associated differential equations.


title: Passages of Proof

abstract: In this paper we propose a new perspective on the evolution and history of the idea of mathematical proof. Proofs will be studied at three levels: syntactical, semantical and pragmatical. Computer-assisted proofs will be give a special attention. Finally, in a highly speculative part, we will anticipate the evolution of proofs under the assumption that the quantum computer will materialize. We will argue that there is little `intrinsic' difference between traditional and `unconventional' types of proofs.


title: Multigraded Castelnuovo-Mumford Regularity

abstract: We develop a multigraded variant of Castelnuovo-Mumford regularity. Motivated by toric geometry, we work with modules over a polynomial ring graded by a finitely generated abelian group. As in the standard graded case, our definition of multigraded regularity involves the vanishing of graded components of local cohomology. We establish the key properties of regularity: its connection with the minimal generators of a module and its behavior in exact sequences. For an ideal sheaf on a simplicial toric variety X, we prove that its multigraded regularity bounds the equations that cut out the associated subvariety. We also provide a criterion for testing if an ample line bundle on X gives a projectively normal embedding.


title: Uniform bounds on multigraded regularity

abstract: We give an effective uniform bound on the multigraded regularity of a subscheme of a smooth projective toric variety X with a given multigraded Hilbert polynomial. To establish this bound, we introduce a new combinatorial tool, called a Stanley filtration, for studying monomial ideals in the homogeneous coordinate ring of X. As a special case, we obtain a new proof of Gotzmann's regularity theorem. We also discuss applications of this bound to the construction of multigraded Hilbert schemes.


title: Affine Kac-Moody algebras, integrable systems and their deformations

abstract: This is the text of the Hermann Weyl Prize lecture given by the author at the XXIV Colloquium on Group Theoretical Methods in Physics, Paris, July 2002 (to appear in the Proceedings of the Colloquium).


title: Removability of singularities of harmonic maps into pseudo-Riemannian manifolds

abstract: We consider harmonic maps into pseudo-Riemannian manifolds. We show the removability of isolated singularities for continuous maps, i.e. that any continuous map from an open subset of R^m into a pseudo-Riemannian manifold which is two times continuously differentiable and harmonic everywhere outside an isolated point is actually smooth harmonic everywhere.


title: Cartan-Leray spectral sequence for Galois coverings of linear categories

abstract: We provide a Cartan-Leray type spectral sequence for the Hochschild-Mitchell (co)homology of a Galois covering of linear categories. We infer results relating the Galois group and Hochschild cohomology in degree one.


title: Some identities for the Riemann zeta-function

abstract: Several identities for the Riemann zeta-function $\zeta(s)$ are proved. For example, if $s = \sigma + it$ and $\sigma > 0$, then $$ \int_{-\infty}^\infty |{(1-2^{1-s})\zeta(s)\over s}|^2dt = {\pi\over\sigma}(1 - 2^{1-2\sigma})\zeta(2\sigma). $$


title: Scaling of the Critical Function for the Standard Map: Some Numerical Results

abstract: The behavior of the critical function for the breakdown of the homotopically non-trivial invariant (KAM) curves for the standard map, as the rotation number tends to a rational number, is investigated using a version of Greene's residue criterion. The results are compared to the analogous ones for the radius of convergence of the Lindstedt series, in which case rigorous theorems have been proved. The conjectured interpolation of the critical function in terms of the Bryuno function is discussed.


title: Nonemptiness of skew-symmetric degeneracy loci

abstract: Let V be a rank N vector bundle on a d-dimensional complex projective scheme X; assume that V is equipped with a skew-symmetric bilinear form with values in a line bundle L and that \Lambda^2 V^* \otimes L is ample. Suppose that the maximum rank of the form at any point of X is r, where r>0 is even. The main result of this paper is that if d>2(N-r), then the locus of points where the rank of the form is at most r-2 is nonempty. This is a skew-symmetric analogue of the main result of math.AG/0305159; the proof is similar. If the hypothesis of ampleness is relaxed, we obtain a weaker estimate on the maximum dimension of X (and give a similar result for the symmetric case). We give applications to subschemes of skew-symmetric matrices, and to the stratification of the dual of a Lie algebra by orbit dimension.


title: On Reidys and Stadler's metrics for RNA secondary structures

abstract: We compute explicitly several abstract metrics for RNA secondary structures defined by Reidys and Stadler.


title: Asymptotic Estimates and Qualitatives Properties of an Elliptic Problem in Dimension Two

abstract: In this paper we study a semilinear elliptic problem on a bounded domain in $\R^2$ with large exponent in the nonlinear term. We consider positive solutions obtained by minimizing suitable functionals. We prove some asymtotic estimates which enable us to associate a "limit problem" to the initial one. Usong these estimates we prove some quantitative properties of the solution, namely characterization of level sets and nondegeneracy.


title: Identities for hypergeometric integrals of different dimensions

abstract: Given complex numbers $m_1,l_1$ and positive integers $m_2,l_2$, such that $m_1+m_2=l_1+l_2$, we define $l_2$-dimensional hypergeometric integrals $I_{a,b}(z;m_1,m_2,l_1,l_2)$, $a,b=0,...,\min(m_2,l_2)$, depending on a complex parameter $z$. We show that $I_{a,b}(z;m_1,m_2,l_1,l_2)=I_{a,b}(z;l_1,l_2,m_1,m_2)$, thus establishing an equality of $l_2$ and $m_2$-dimensional integrals. This identity allows us to study asymptotics of the integrals with respect to their dimension in some examples. The identity is based on the $(gl_k,gl_n)$ duality for the KZ and dynamical differential equations.


title: The Kodaira dimension of certain moduli spaces of abelian surfaces

abstract: The moduli space of (1,p)-polarized abelian surfaces is a quasi-projective variety. In the case when p is a prime, we study its Kodaira dimension. We show that it is of general type for p > 71 and some smaller values of p. This improves an earlier result of G. K. Sankaran.


title: On the "Section Conjecture" in anabelian geometry

abstract: Let X be a smooth projective curve of genus >1 over a field K which is finitely generated over the rationals. The section conjecture in Grothendieck's anabelian geometry says that the sections of the canonical projection from the arithmetic fundamental group of X onto the absolute Galois group of K are (up to conjugation) in one-to-one correspondence with K-rational points of X. The birational variant conjectures a similar correspondence where the fundamental group is replaced by the absolute Galois group of the function field K(X). The present paper proves the birational section conjecture for all X when K is replaced e.g. by the field of p-adic numbers. It disproves both conjectures for the field of real or p-adic algebraic numbers. And it gives a purely group theoretic characterization of the sections induced by K-rational points of X in the birational setting over almost arbitrary fields. As a biproduct we obtain Galois theoretic criteria for radical solvability of polynomial equations in more than one variable, and for a field to be PAC, to be large, or to be Hilbertian.


title: On the Roots of Independence Polynomials of Almost All Very Well-Covered Graphs

abstract: If for any k the k-th coefficient of a polynomial I(G;x)is equal to the number of stable sets of cardinality k in graph G, then it is called the independence polynomial of G (Gutman and Harary, 1983). A graph G is very well-covered (Favaron, 1982) if it has no isolated vertices, its order equals 2*alpha(G), where alpha(G) is the size of a maximum stable set, and it is well-covered (i.e., all its maximal independent sets are of the same size, Plummer, 1970). For instance, appending a single pendant edge to each vertex of G yields a very well-covered graph, which we denote by G*. Under certain conditions, any well-covered graph equals G* for some G (Finbow, Hartnell and Nowakowski, 1993). The root of the smallest modulus of the independence polynomial of any graph is real (Brown, Dilcher, and Nowakowski, 2000). The location of the roots of the independence polynomial in the complex plane, and the multiplicity of the root of the smallest modulus are investigated in a number of articles. In this paper we establish formulae connecting the coefficients of I(G;x) and I(G*;x), which allow us to show that the number of roots of I(G;x) is equal to the number of roots of I(G*;x) different from -1, which appears as a root of multiplicity alpha(G*)- alpha(G) for I(G*;x). We also prove that the real roots of I(G*;x) are in [-1,-1/(2*alpha(G*)), while for a general graph of order n we show that its roots lie in |z| > 1/(2n-1). Using the properties of the roots of the independence polynomial, we demonstrate that the independence polynomial distinguishes well-covered spiders (well-covered trees with at most one vertex of degree greater than two) among general well-covered trees.


title: Collapsing sequences of solutions to the Ricci flow on 3-manifolds with almost nonnegative curvature

abstract: We study sequences of 3-dimensional solutions to the Ricci flow with almost nonnegative sectional curvatures and diameters tending to infinity. Such sequences may arise from the limits of dilations about singularities of Type IIb. In particular, we study the case when the sequence collapses, which may occur when dilating about infinite time singularities. In this case we classify the possible Gromov-Hausdorff limits and construct 2-dimensional virtual limits. The virtual limits are constructed using Fukaya theory of the limits of local covers. We then show that the virtual limit arising from appropriate dilations of a Type IIb singularity is always Hamilton's cigar soliton solution.


title: A Counterpart of Bessel's Inequality in Inner Product Spaces and Some Gruss Type Related Results

abstract: A counterpart of the famous Bessel's inequality for orthornormal families in real or complex inner product spaces is given. Applications for some Gruss type inequalities are also provided.


title: Some Ostrowski Type Inequalites via Cauchy's Mean Value Theorem

abstract: Some Ostrowski type inequalities via Cauchy's mean value theorem and applications for certain particular instances of functions are given.


title: An Inequality of Ostrowski Type via Pompeiu's Mean Value Theorem

abstract: An inequality providing some bounds for the integral mean via Pompeiu's mean value theorem and applications for quadrature rules and special means are given.


title: Mappings from R^n to F^n which preserve unit Euclidean distance, where F is a field of characteristic 0

abstract: Let F be a commutative field of characteristic 0, G_n: F^n \times F^n -> F, G_n((x_1,...,x_n),(y_1,...,y_n))=(x_1-y_1)^2+...+(x_n-y_n)^2. We say that g:R^n->F^n preserves distance d>=0 if for each x,y \in R^n |x-y|=d implies G_n(g(x),g(y))=d^2. Let f:R^n->F^n preserve unit distance. We prove: (1) if n>=2, x,y \in R^n and x \neq y, then G_n(f(x),f(y)) \neq 0, (2) if A,B,C,D \in R^2, r \in Q and \overrightarrow{CD}=r\overrightarrow{AB}, then \overrightarrow{f(C)f(D)}=r\overrightarrow{f(A)f(B)}, (3) if A,B,C,D \in R^2 and \overrightarrow{AB} and \overrightarrow{CD} are linearly dependent, then \overrightarrow{f(A)f(B)} and \overrightarrow{f(C)f(D)} are linearly dependent, (4) if A,B,C,D \in R^2 and \overrightarrow{AB} is perpendicular to \overrightarrow{CD}, then \overrightarrow{f(A)f(B)} is perpendicular to \overrightarrow{f(C)f(D)}, (5) if A,B,C,D \in R^2 and |AB|=|CD|, then G_2(f(A),f(B))=G_2(f(C),f(D)). Let D_n(F) denote the set of all positive numbers d with the property: if x,y \in R^n and |x-y|=d then there exists a finite set S(x,y) with {x,y} \subseteq S(x,y) \subseteq R^n such that any map g:S(x,y)->F^n that preserves unit distance preserves also the distance between x and y. Obviously, {1} \subseteq D_n(F) \subseteq A_n(F). We prove: (6) A_n(C) \subseteq {d>0: d^2 \in Q}, (7) {d>0: d^2 \in Q} \subseteq D_2(F).


title: The Casimir operator of a metric connection with skew-symmetric torsion

abstract: For any triple $(M^n, g, \nabla)$ consisting of a Riemannian manifold and a metric connection with skew-symmetric torsion we introduce an elliptic, second order operator $\Omega$ acting on spinor fields. In case of a reductive space and its canonical connection our construction yields the Casimir operator of the isometry group. Several non-homogeneous geometries (Sasakian, nearly K\"ahler, cocalibrated $\mathrm{G}_2$-structures) admit unique connections with skew-symmetric torsion. We study the corresponding Casimir operator and compare its kernel with the space of $\nabla$-parallel spinors.


title: Efficient estimation in the accelerated failure time model under cross sectional sampling

abstract: Consider estimation of the regression parameter in the accelerated failure time model, when data are obtained by cross sectional sampling. It is shown that it is possible under regularity of the model to construct an efficient estimator of the unknown Euclidean regression parameter if the distribution of the covariate vector is known and also if it is unknown with vanishing mean.


title: On the smallest poles of topological zeta functions

abstract: We study the local topological zeta function associated to a complex function that is holomorphic at the origin of C^2 (respectively C^3). We determine all possible poles less than -1/2 (respectively -1). On C^2 our result is a generalization of the fact that the log canonical threshold is never in ]5/6,1[. Similar statements are true for the motivic zeta function.


title: Computations of Bott-Chern classes on P(E)

abstract: We compute the Bott-Chern classes of the metric Euler sequence describing the relative tangent bundle of the variety P(E) of hyperplans of a holomorphic hermitian vector bundle (E,h) on a complex manifold. We give applications to the construction of the arithmetic characteristic classes of an arithmetic vector bundle and to the computation of the height of P(E) with respect to the tautological quotient bundle O_E(1).


title: Strongly pseudoconvex handlebodies

abstract: We give an explicit construction of special strongly pseudoconvex domains in C^n of handlebody type, i.e., domains which are small tubes surrounding the union of a quadratic strongly pseudoconvex domain with an attached totally real handle. Among other results, we give another proof of Lemma 3.4.3. from the paper of Y. Eliashberg, "Topological characterization of Stein manifolds of dimension $>2$", Internat. J. Math., 1 (1990), 29--46.


title: Oka's principle for holomorphic fiber bundles with sprays

abstract: We give a proof of the following theorem of M. Gromov (Oka's principle for holomorphic sections of elliptic bundles, J. Amer. Math. Soc., 2 (1989), 851-897). Let Z be a holomorphic fiber bundle over a Stein manifold. If the fiber of Z admits a dominating holomorphic spray then the inclusion of the space of global holomorphic sections of Z into the space of continuous sections is a weak homotopy equivalence. In the classical case when the fiber is a complex Lie group or a homogeneous space this was proved by H. Grauert (Math. Ann., 135 (1958), 263--273). For further results in this direction see the papers math.CV/0101040, math.CV/0101040, math.CV/0101034, math.CV/0101238, math.CV/0107039, math.CV/0110201.


title: A generic algebra associated to certain Hecke algebras

abstract: We initiate the systematic study of endomorphism algebras of permutation modules and show they are obtainable by a descent from a certain "generic" Hecke algebra, infinite-dimensional in general, coming from the universal enveloping algebra of gl_n (or sl_n). The endomorphism algebras and the generic algebras are cellular. We give several equivalent descriptions of these algebras, find a number of explicit bases, and describe indexing sets for their irreducible representations.


title: On the asymptotic behavior of first passage time densities for stationary Gaussian processes

abstract: Making use of a Rice-like series expansion, for a class of stationary Gaussian processes the asymptotic behavior of the first passage time probability density function through certain time-varying boundaries, including periodic boundaries, is determined. Sufficient conditions are then given such that the density asymptotically exhibits an exponential behavior when the boundary is either asymptotically constant or asymptotically periodic.


title: Fraisse Limits, Ramsey Theory, and Topological Dynamics of Automorphism Groups

abstract: We study in this paper some connections between the Fraisse theory of amalgamation classes and ultrahomogeneous structures, Ramsey theory, and topological dynamics of automorphism groups of countable structures.


title: Realization of finite Abelian groups by nets in P^2

abstract: In the paper, we study special configurations of lines and points in the complex projective plane, so called k-nets. We describe the role of these configurations in studies of cohomology on arrangement complements. Our most general result is the restriction on k - it can be only 3,4, or 5. The most interesting class of nets is formed by 3-nets that relate to finite geometries, latin squares, loops, etc. All known examples of 3-nets in P^2 realize finite Abelian groups. We study the problem what groups can be so realized. Our main result is that, except for groups with all invariant factors under 10, realizable groups are isomorphic to subgroups of a 2-torus. This follows from the `algebraization' result asserting that in the dual plane, the points dual to lines of a net lie on a plane cubic.


title: A note on group actions on algebraic stacks

abstract: We give the basic definitions of group actions on (algebraic) stacks, and prove the existence of fixed points and quotients as (algebraic) stacks.


title: Descriptive Complexity of Finite Structures: Saving the Quantifier Rank

abstract: Given a relational structure M on n elements, let D(M) be the minimum quantifier rank of a first order formula identifying M up to isomorphism in the class of n-element structures. The obvious upper bound is D(M)\le n. We show that if the relations in M have arity at most k, then D(M)<(1-\frac{1}{2k})n+k^2-k+2. The coefficient at n, which equals 1-\frac{1}{2k}, is probably not best possible but this is the first known bound having it strictly below 1 (for fixed k). If one is content to have the worse coefficient 1-\frac{1}{2k^2+2}, then one can choose an identifying formula of a very special form: a prenex formula with at most one quantifier alternation. A few other results in this vein are presented.


title: Diagonal Coinvariants and Double Affine Hecke Algebras

abstract: We establish a q-generalization of Gordon's theorem that the space of diagonal coinvariants has a quotient identified with a perfect representation of the rational double affine Hecke algebra. It leads to a simple proof of his theorem and relates it to the Weyl algebras at roots of unity. The universal double affine Hecke algebra and the corresponding universal double Dunkl operators acting in noncommutative polynomials in terms of two sets of variables are introduced.


title: Ricci flow and nonnegativity of curvature

abstract: In this paper, we prove a general maximum principle for the time dependent Lichnerowicz heat equation on symmetric tensors coupled with the Ricci flow on complete Riemannian manifolds. As an application we construct complete manifolds with bounded nonnegative sectional curvature of dimension greater than or equal to four such that the Ricci flow does not preserve the nonnegativity of the sectional curvature, even though the nonnegativity of the sectional curvature was proved to be preserved by Hamilton in dimension three. The example is the first of this type. This fact is proved through a general splitting theorem on the complete family of metrics with nonnegative sectional curvature, deformed by the Ricci flow.


title: Multiplier ideals and filtered D-modules

abstract: We give a Hodge-theoretic interpretation of the multiplier ideal of an effective divisor on a smooth complex variety. More precisely, we show that the associated graded coherent sheaf with respect to the jumping-number filtration can be recovered from the smallest piece of M. Saito's Hodge filtration of the D-module of vanishing cycles.


title: Uniform asymptotic bound on the number of zeros of Abelian integrals

abstract: We give a uniform asymptotic bound for the number of zeros of complete Abelian integrals in domains bounded away from infinity and the singularities.


title: Can we express every transfinite concept constructively?

abstract: In a forthcoming book, professional computer scientist and physicist Paul Budnik presents an exposition of classical mathematical theory as the backdrop to an elegant thesis: we can interpret any model of a formal system of Peano Arithmetic in an appropriate, digital, computational language. In this paper we attempt - without addressing the question of whether or not Budnik succeeds in establishing his thesis convincingly - to identify dogmas of standard interpretations of classical mathematical theory that appear to be implicit in Budnik's exposition, and to correspond to them dogmas of a constructive interpretation of classical theory.


title: Heisenberg groups in algebraic topology

abstract: We study the Madsen-Tillmann spectrum $\C P^\infty_{-1}$ as a quotient of the Mahowald pro-object $\C P^{\infty}_{-\infty}$, which is closely related to the Tate cohomology of circle actions. That theory has an associated symplectic structure, whose symmetries define the Virasoro operations on the cohomology of moduli space constructed by Kontsevich and Witten.


title: Lattice path combinatorics and asymptotics of multiplicities of weights in tensor powers

abstract: We give asymptotic formulas for the multiplicities of weights and irreducible summands in high-tensor powers $V_{\lambda}^{\otimes N}$ of an irreducible representation $V_{\lambda}$ of a compact connected Lie group $G$. The weights are allowed to depend on $N$, and we obtain several regimes of pointwise asymptotics, ranging from a central limit region to a large deviations region. We use a complex steepest descent method that applies to general asymptotic counting problems for lattice paths with steps in a convex polytope.


title: Spheres and Minima

abstract: We write down a one-dimensional integral formula and compute large-n asymptotics for the expectation of the absolute value of the smallest component of a unit vector in n-dimensional Euclidean space. The method is general, and allows to write the mean over the sphere of an homogeneous function in terms of an expectation of a function of independent, identically distributed Gaussians. We also write down an asymptotic formula for the minimum of a large number of identical independent positive random variables.


title: The problem of the pawns

abstract: In this paper we study the number $M_{m,n}$ of ways to place nonattacking pawns on an $m\times n$ chessboard. We find an upper bound for $M_{m,n}$ and analyse its asymptotic behavior. It turns out that $\lim_{m,n\to\infty}(M_{m,n})^{1/mn}$ exists and is bounded from above by $(1+\sqrt{5})/2$. Also, we consider a lower bound for $M_{m,n}$ by reducing this problem to that of tiling an $(m+1)\times (n+1)$ board with square tiles of size $1\times 1$ and $2\times 2$. Moreover, we use the transfer-matrix method to implement an algorithm that allows us to get an explicit formula for $M_{m,n}$ for given $m$.


title: A simple approach to geometric realization of simplicial and cyclic sets

abstract: This is the same version that was previously only on my home page. We give a description of geometric realization which makes it evident that it commutes with products. A similar approach is used to treat cyclic sets. Our approach is similar to those of Drinfeld and Grayson.


title: A logarithmic view towards semistable reduction

abstract: The geometric condition of T. Saito for trivial action of the wild monodromy of a smooth proper curve over the generic point of a trait is transformed to the condition of logarithmic smooth reduction. The proof emphasizes methods and results from logarithmic geometry. It applies to quasi-projective smooth curves with etale boundary divisor.


title: Infiniteness of Double Coset Collections in Algebraic Groups

abstract: Let $G$ be a linear algebraic group defined over an algebraically closed field. The double coset question addressed in this paper is the following: Given closed subgroups $X$ and $P$, is the double coset collection $X\backslash G/P$ finite or infinite? We limit ourselves to the case where $X$ is maximal rank and reductive and $P$ parabolic. This paper presents a criterion for infiniteness which involves only dimensions of centralizers of semisimple elements. This result is then applied to finish the classification of those $X$ which are spherical. Finally, excluding a case in $F_4$, we show that if $X\backslash G/P$ is finite then $X$ is spherical or the Levi factor of $P$ is spherical. This implies that it is rare for $X\backslash G/P$ to be finite. The primary method of proof is to descend to calculations at the finite group level and then to use elementary character theory.


title: 1998 Moursund Lectures at the University of Oregon

abstract: These informal notes are closely based on a series of eight lectures given by J.-P. Serre at the University of Oregon in October 1998. Professor Serre gave two talks per week for four weeks. The first talk each week was concerned with constructing embeddings of finite groups, especially $\PSL_2(p)$ and $\PGL_2(p)$, into Lie groups. The second talk each week was about generalizations of the notion of complete reducibility in group theory, especially in positive characteristic. The notes are divided into two parts, one for each of the topics of the lecture series. At the end of the notes, there is a short list of references as a guide to further reading.


title: Unipotent flat bundles and Higgs bundles over compact Kaehler manifolds

abstract: We characterize those unipotent representations of the fundamental group $\pi_1(X,x)$ of a compact Kaehler manifold $X$, which correspond to a Higgs bundle whose underlying Higgs field is equal to zero. The characterization is parallel to the one that R. Hain gave of those unipotent representations of $\pi_1(X,x)$ that can be realized as the monodromy of a flat connection on the holomorphically trivial vector bundle. We see that Hain's result and ours follow from a careful study of Simpson's correspondence between Higgs bundles and local systems.


title: Structure theorem for compact Vaisman manifolds

abstract: A locally conformally Kaehler (l.c.K.) manifold is a complex manifold admitting a Kaehler covering $\tilde M$, with each deck transformation acting by Kaehler homotheties. A compact l.c.K. manifold is Vaisman if it admits a holomorphic flow acting by non-trivial homotheties on $\tilde M$. We prove a structure theorem for compact Vaisman manifolds. Every compact Vaisman manifold M is fibered over a circle, the fibers are Sasakian, the fibration is locally trivial, and M is reconstructed as a Riemannian suspension from the Sasakian structure on the fibers and the monodromy automorphism induced by this fibration. This construction is canonical and functorial in both directions.


title: Character Theory of Symmetric Groups, Subgroup Growth of Fuchsian Groups, and Random Walks

abstract: We derive an asymptotic expansion for the subgroup of arbitrary Fuchsian groups and some other classes of large groups. Moreover, the main conjecture for Random Walks on symmetric groups is established in full generality. Both problems require subtle estimates of character values and root number multiplicities for symmetric groups, which are also of independent interest.


title: Deformation quantization using groupoids. Case of toric manifolds

abstract: In the framework of C*-algebraic deformation quantization we propose a notion of deformation groupoid which could apply to known examples e.g. Connes' tangent groupoid of a manifold, its generalisation by Landsman and Ramazan, Rieffel's noncommutative torus, and even Landi's noncommutative 4-sphere. We construct such groupoid for a wide class of T^n-spaces, that generalizes the one given for C^n by Bellissard and Vittot. In particular, using the geometric properties of the moment map discovered in the '80s by Atiyah, Delzant, Guillemin and Sternberg, it provides a \cstar-algebraic deformation quantization for all toric manifolds, including the 2-sphere and all complex projective spaces.


title: Amenability via random walks

abstract: We answer an open question of Grigorchuk and Zuk about amenability using random walks. Our results separate the class of amenable groups from the closure of subexponentially growing groups under the operations of group extension and direct limits; these classes are separated even within the realm of finitely presented groups.


title: Remark on the Limit Case of Positive Mass Theorem for Manifolds with Inner Boundary

abstract: In [5] Herzlich proved a new positive mass theorem for Riemannian 3-manifolds $(N, g)$ whose mean curvature of the boundary allows some positivity. In this paper we study what happens to the limit case of the theorem when, at a point of the boundary, the smallest positive eigenvalue of the Dirac operator of the boundary is strictly larger than one-half of the mean curvature (in this case the mass $m(g)$ must be strictly positive). We prove that the mass is bounded from below by a positive constant $c(g), m(g) \geq c(g)$, and the equality $m(g) = c(g)$ holds only if, outside a compact set, $(N, g)$ is conformally flat and the scalar curvature vanishes. The constant $c(g)$ is uniquely determined by the metric $g$ via a Dirac-harmonic spinor.


title: KAM Theorem for Gevrey Hamiltonians

abstract: We consider Gevrey perturbations $H$ of a completely integrable Gevrey Hamiltonian $H_0$. Given a Cantor set $\Omega_\kappa$ defined by a Diophantine condition, we find a family of KAM invariant tori of $H$ with frequencies $\omega\in \Omega_\kappa$ which is Gevrey smooth in a Whitney sense. Moreover, we obtain a symplectic Gevrey normal form of the Hamiltonian in a neighborhood of the union $\Lambda$ of the invariant tori. This leads to effective stability of the quasiperiodic motion near $\Lambda$.


title: Homogeneously Souslin sets in small inner models

abstract: We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0^long does not exist or else (b) V=K where K is the core model below a \mu-measurable cardinal.


title: Equivariant chain complexes, twisted homology and relative minimality of arrangements

abstract: We show that the equivariant chain complex associated to a minimal CW-structure X on the complement M(A) of a hyperplane arrangement A, is independent of X. When A is a sufficiently general linear section of an aspheric arrangement, we explain a new way for computing the twisted homology of M(A).


title: The Gysin Sequence for $S^1$-actions on stratified pseudomanifolds

abstract: For any stratified pseudomanifold $X$ and any suitable action of the unit circle $S^1$ on $X$ preserving the strata and the local topological structure, the orbit space $B=X/S^1$ is again a stratified pseudomanifold and the orbit map $\pi/X\to B$ is a stratified morphism. For each perversity in $X$ this arrow induces a long exact sequence relating the intersection cohomologies of $X$ and $B$; we call it the Gysin sequence of $X$ induced by the action. The third term of the Gysin sequence is called the Gysin term; its cohomology depends on basic global and local data. Global data concerns the intersection cohomology of $B$ and the Euler class induced by the action; while local data is related to the Euler class of the links of the fixed strata. The cohomology of the Gysin term is calculated trhough a residual constructible sheaf in $B$ with support in the fixed points set. In the last modification of this paper, we improved the definition of the Euler class in intersection cohomology, which is made by recursion and implies the definition of an Euler perversity. We also verify that the Euler class is functorial for a suitable family of equivariant morphisms (i.e., not every equivariant morphism preserves the Euler class).


title: Explicit description of twisted Wakimoto realizations of affine Lie algebras

abstract: In a vertex algebraic framework, we present an explicit description of the twisted Wakimoto realizations of the affine Lie algebras in correspondence with an arbitrary finite order automorphism and a compatible integral gradation of a complex simple Lie algebra. This yields generalized free field realizations of the twisted and untwisted affine Lie algebras in any gradation. The free field form of the twisted Sugawara formula and examples are also exhibited.


title: Prikry On Extenders, Revisited

abstract: We present a modification to the Prikry on Extenders forcing notion allowing the blow up of the power set of a large cardinal, change its cofinality to omega without adding bounded subsets, working directly from arbitrary extender (e.g., n-huge extender). Using this forcing, starting from a superstrong cardinal, we construct a model in which the added Prikry sequences are a scale in the normal Prikry sequence.


title: Sequences related to convergents to square root of rationals

abstract: In this note we study some sequences whose ratio converges to the square root of rationals. Further we analyze some related sequences obtained when the above mentioned ratio simplifies.


title: Bordered magic squares: elements for a comprehensive approach

abstract: General methods for the construction of magic squares of any order have been searched for centuries. There have been several standard strategies for this purpose, such as the knight movement, or the construction of bordered magic squares, which played an important role in the development of general methods. What we try to do here is to give a general and comprehensive approach to the construction of magic borders, capable of assuming methods produced in the past like particular cases. This general approach consists of a transformation of the problem of constructing magic borders to a simpler - almost trivial - form. In the first section, we give some definitions and notation. The second section consists of the exposition and proof of our method for the diferent cases that appear (theorems 1 and 2). Although methods for the construction of bordered magic squares have always been presented as individual succesful attempts to solve the problem, we will see that a common pattern underlies the fundamental mechanisms that lead to the construction of such squares. This approach provides techniques for constructing many magic bordered squares of any order, which is a first step to construct all of them, and finally know how many bordered squares are for any order. These may be the first elements of a general theory on bordered magic squares.


title: Smooth Siegel disks via semicontinuity: a remark on a proof of Buff and Cheritat

abstract: Recently, Xavier Buff and Arnaud Cheritat have provided an elegant proof of the existence of quadratic Siegel disks with smooth boundary. In this short note, we show how results of Yoccoz and Risler can be used to conclude the same result. Our proof is a small modification of the argument given by Buff and Cheritat.


title: Parametric Estimation of Diffusion Processes Sampled at First Exit Times

abstract: This paper introduces a family of recursively defined estimators of the parameters of a diffusion process. We use ideas of stochastic algorithms for the construction of the estimators. Asymptotic consistency of these estimators and asymptotic normality of an appropriate normalization are proved. The results are applied to two examples from the financial literature; viz., Cox-Ingersoll-Ross' model and the constant elasticity of variance (CEV) process illustrate the use of the technique proposed herein.


title: State Tameness: A New Approach for Credit Constrains

abstract: We propose a new definition for tameness within the model of security prices as It\^o processes that is risk-aware. We give a new definition for arbitrage and characterize it. We then prove a theorem that can be seen as an extension of the second fundamental theorem of asset pricing, and a theorem for valuation of contingent claims of the American type. The valuation of European contingent claims and American contingent claims that we obtain does not require the full range of the volatility matrix. The technique used to prove the theorem on valuation of American contingent claims does not depend on the Doob-Meyer decomposition of super-martingales; its proof is constructive and suggest and alternative way to find approximations of stopping times that are close to optimal.