title: On amicable numbers

abstract: Translated from the Latin original, "De numeris amicabilibus" (1747). E100 in the Enestroem index. Euler starts by saying that with the success of mathematical analysis, number theory has been neglected. He argues that number theory is still a worthwhile subject. First, because there are very elegant and difficult questions in it. Second, because some of the greatest figures in mathematics so far had spent time working on problems in number theory. In particular, Descartes spent time looking for (and finding) a pair of amicable numbers that previously in Europe had been unknown. Euler also mentions the work of Frans van Schooten. Then Euler explains the form of the amicable numbers that were then known, which were $2^n xy$ and $2^n z$, where $x,y,z$ are prime, and the two conditions i) $z=xy+x+y$ and ii) $2^n(x+y+2)=xy+x+y+1$ are satisfied. Euler says that to find more amicable numbers different forms should be tried. He gives 30 pairs of amicable numbers but does not explain how he found them. This is discussed in Ed Sandifer's November 2005 "How Euler did it". One of the pairs (pair XIII) Euler lists is incorrect.


title: Strong consistency of MLE for finite uniform mixtures when the scale parameters are exponentially small

abstract: We consider maximum likelihood estimation of finite mixture of uniform distributions. We prove that maximum likelihood estimator is strongly consistent, if the scale parameters of the component uniform distributions are restricted from below by exp(-n^d), 0 < d < 1, where n is the sample size.


title: Oscillation of linear ordinary differential equations: on a theorem by A. Grigoriev

abstract: We give a simplified proof and an improvement of a recent theorem by A. Grigoriev, placing an upper bound for the number of roots of linear combinations of solutions to systems of linear equations with polynomial or rational coefficients.


title: Generalized descent algebra and construction of irreducible characters of hyperoctahedral groups

abstract: We construct a subalgebra of dimension $2.3^{n-1}$ of the group algebra of a Weyl group of type $B_n$ containing its Solomon descent's algebra but also the Solomon's descent algebra of the symmetric group. This lead us to a construction of the irreducible characters of the hyperoctahedral groups by using a generalized plactic equivalence.


title: Antinorms and Radon curves

abstract: In this paper we consider two notions that have been discovered and rediscovered by geometers and analysts since 1917 up to the present day: Radon curves and antinorms. A Radon curve is a special kind of centrally symmetric closed convex curve in the plane. A Radon plane is a normed plane obtained by using a Radon curve as (the boundary of) the unit ball. Many known results in Euclidean geometry also hold for Radon planes, for example the triangle and parallelogram area formulas, certain theorems on angular bisectors, the area formula of a polygon circumscribed about a circle, certain isoperimetric inequalities, and the non-expansive property of certain non-linear projections. These results may be further generalized to arbitrary normed planes if we formally change the statement of the result by referring in some places to the antinorm instead of the norm. The antinorm is a norm dual to the norm of an arbitrarily given normed plane, although it lives in the same plane as the original norm. It is the purpose of this mainly expository paper to give a list of results on antinorms that generalize results true for Radon norms, and in many cases characterize Radon norms among all norms in the plane. Many of the results are old, well-known, and have often been rediscovered. However, for most of the results we give streamlined proofs. Also, some of the characterizations of Radon curves given here seem not to have appeared previously in print.


title: On the total length of the random minimal directed spanning tree

abstract: In Bhatt and Roy's minimal directed spanning tree (MDST) construction for a random partially ordered set of points in the unit square,all edges must respect the ``coordinatewise'' partial order and there must be a directed path from each vertex to a minimal element. We study the asymptotic behaviour of the total length of this graph with power weighted edges. The limiting distribution is given by the sum of a normal component away from the boundary and a contribution introduced by the boundary effects, which can be characterized by a fixed point equation, and is reminiscent of limits arising in the probabilistic analysis of certain algorithms. As the exponent of the power weighting increases, the distribution undergoes a phase transition from the normal contribution being dominant to the boundary effects dominating. In the critical case where the weight is simple Euclidean length, both effects contribute significantly to the limit law. We also give a law of large numbers for the total weight of the graph.


title: Yang-Baxter deformations of quandles and racks

abstract: Given a rack Q and a ring A, one can construct a Yang-Baxter operator c_Q: V tensor V --> V tensor V on the free A-module V = AQ by setting c_Q(x tensor y) = y tensor x^y for all x,y in Q. In answer to a question initiated by D.N. Yetter and P.J. Freyd, this article classifies formal deformations of c_Q in the space of Yang-Baxter operators. For the trivial rack, where x^y = x for all x,y, one has, of course, the classical setting of r-matrices and quantum groups. In the general case we introduce and calculate the cohomology theory that classifies infinitesimal deformations of c_Q. In many cases this allows us to conclude that c_Q is rigid. In the remaining cases, where infinitesimal deformations are possible, we show that higher-order obstructions are the same as in the quantum case.


title: Kazhdan groups with infinite outer automorphism group

abstract: For each countable group $Q$ we produce a short exact sequence $1\to N \to G \to Q\to 1$ where $G$ is f.g. and has a graphical $\frac16$ presentation and $N$ is f.g. and satisfies property $T$. As a consequence we produce a group $N$ with property $T$ such that $\Out(N)$ is infinite. Using the tools developed we are also able to produce examples of nonHopfian and non-coHopfian groups with property $T$. One of our main tools is the use of random groups to achieve certain properties.


title: Global solutions with infinite energy for the 1-dimensional Zakharov system

abstract: The 1-dimensional Zakharov system is shown to have a unique global solution for data without finite energy. The proof uses the " I-method " introduced by Colliander, Keel, Staffilani, Takaoka, and Tao in connection with a refined bilinear Strichatz estimate.


title: Braids: A Survey

abstract: This article is about Artin's braid group and its role in knot theory. We set ourselves two goals: (i) to provide enough of the essential background so that our review would be accessible to graduate students, and (ii) to focus on those parts of the subject in which major progress was made, or interesting new proofs of known results were discovered, during the past 20 years. A central theme that we try to develop is to show ways in which structure first discovered in the braid groups generalizes to structure in Garside groups, Artin groups and surface mapping class groups. However, the literature is extensive, and for reasons of space our coverage necessarily omits many very interesting developments. Open problems are noted and so-labelled, as we encounter them.


title: Nichols-Woronowicz algebra model for Schubert calculus on Coxeter groups

abstract: We realise the cohomology ring of a flag manifold, more generally the coinvariant algebra of an arbitrary finite Coxeter group W, as a commutative subalgebra of a certain Nichols algebra in the Yetter-Drinfeld category over W. This gives a braided Hopf algebra version of the corresponding Schubert calculus. Our proof is based on methods of braided differential calculus rather than on working directly with the relations in the Nichols algebra, which are not known explicitly. We also discuss the relationship between Fomin-Kirillov quadratic algebras, Kirillov-Maeno bracket algebras and our construction.


title: $p$-adic formulas and unit root $F$-subcrystals of the hypergeometric system

abstract: We define the notion of {\it Dwork family of logarithmic $F$-crystals}, a typical example of which is the family of Gauss hypergeometricdifferential systems, viewed as parametrized by their exponents of algebraic monodromy. The $p$-adic analytic dependence of the Frobenius operation upon those exponents, is Dwork's "Boyarsky Principle". We discuss, in favorable cases, the $p$-adic analytic continuation of the unit root $F$-subcrystal in the open tube of a singularity, uniformly w.r.t. the exponents. We obtain a conceptual proof of the Koblitz-Diamond formula $p$-adically analog to Gauss' evaluation of $F(a,b,c;1)$.


title: On the Boundary Ergodic Problem for Fully Nonlinear Equations in Bounded Domains with General Nonlinear Neumann Boundary Conditions

abstract: We study nonlinear Neumann type boundary value problems related to ergodic phenomenas. The particularity of these problems is that the ergodic constant appears in the (possibly nonlinear) Neumann boundary conditions. We provide, for bounded domains, several results on the existence, uniqueness and properties of this ergodic constant.


title: Asymptotically fast group operations on Jacobians of general curves

abstract: Let $C$ be a curve of genus $g$ over a field $k$. We describe probabilistic algorithms for addition and inversion of the classes of rational divisors in the Jacobian of $C$. After a precomputation, which is done only once for the curve $C$, the algorithms use only linear algebra in vector spaces of dimension at most $O(g \log g)$, and so take $O(g^{3 + \epsilon})$ field operations in $k$, using Gaussian elimination. Using fast algorithms for the linear algebra, one can improve this time to $O(g^{2.376})$. This represents a significant improvement over the previous record of $O(g^4)$ field operations (also after a precomputation) for general curves of genus $g$.


title: Entire pluricomplex Green functions and Lelong numbers of projective currents

abstract: Let $T$ be a positive closed current of bidimension (1,1) and unit mass on the complex projective space ${\Bbb P}^n$. We prove that the set $V_\alpha(T)$ of points where $T$ has Lelong number larger than $\alpha$ is contained in a complex line if $\alpha\geq2/3$, and $|V_\alpha(T)\setminus L|\leq1$ for some complex line $L$ if $1/2\leq\alpha<2/3$. We also prove that in dimension 2 and if $2/5\leq\alpha<1/2$, then $|V_\alpha(T)\setminus C|\leq1$ for some conic $C$.


title: Computing the Tutte polynomial of a hyperplane arrangement

abstract: We define and study the Tutte polynomial of a hyperplane arrangement. We introduce a method for computing it by solving an enumerative problem in a finite field. For specific arrangements, the computation of Tutte polynomials is then reduced to certain related enumerative questions. As a consequence, we obtain new formulas for the generating functions enumerating alternating trees, labelled trees, semiorders and Dyck paths.


title: Exponential Stability Of The Quasigeostrophic Equation Under Random Perturbations

abstract: he quasigeostrophic model describes large scale and relatively slow fluid motion in geophysical flows. We investigate the quasigeostrophic model under random forcing and random boundary conditions. We first transform the model into a partial differential equation with random coefficients. Then we show that, under suitable conditions on the random forcing, random boundary conditions, viscosity, Ekman constant and Coriolis parameter, all quasigeostrophic motion approach a unique stationary state exponentially fast. This stationary state corresponds to a unique invariant Dirac measure


title: Generalization of the Second Bogolyubov's Theorem for Non-Almost Periodic Systems

abstract: The article is devoted to the generalization of the second Bogolyubov's theorem to non-almost periodic dynamical systems. We prove the analog of the second Bogolyubov's theorem for recurrent or pseudo recurrent dynamical systems in Banach spaces. Namely, we obtain the relation between a recurrent dynamical system and its averaged dynamical system. We also study existence of recurrent and pseudo recurrent motions (including special cases of periodic, quasi-periodic and almost periodic motions) in related nonautonomous systems.


title: Characteristic classes of foliated surface bundles with area-preserving holonomy

abstract: Making use of the extended flux homomorphism on the group of symplectomorphisms of a closed oriented surface of genus at least 2, we introduce new characteristic classes of foliated surface bundles with symplectic, equivalently area-preserving, total holonomy. These characteristic classes are stable with respect to the genus and we show that they are highly non-trivial. We also prove that the second homology of the group of Hamiltonian symplectomorphisms equipped with the discrete topology is very large.


title: Almost Periodic Solutions and Global Attractors of Non-autonomous Navier-Stokes Equations

abstract: The article is devoted to the study of non-autonomous Navier-Stokes equations. First, the authors have proved that such systems admit compact global attractors. This problem is formulated and solved in the terms of general non-autonomous dynamical systems. Second, they have obtained conditions of convergence of non-autonomous Navier-Stokes equations. Third, a criterion for the existence of almost periodic (quasi periodic,almost automorphic, recurrent, pseudo recurrent) solutions of non-autonomous Navier-Stokes equations is given. Finally, the authors have derived a global averaging principle for non-autonomous Navier-Stokes equations.


title: Integral Representations for Elliptic Functions

abstract: We derive new integral representations for objects arising in the classical theory of elliptic functions: the Eisenstein series $E_s$, and Weierstrass' $\wp$ and $\zeta$ functions. The derivations proceed from the Laplace-Mellin transformation for multipoles, and an elementary lemma on the summation of 2D geometric series. In addition, we present new results concerning the analytic continuation of the Eisenstein series as an entire function in $s$, and the value of the conditionally convergent series, denoted by $\widetilde{E}_2$ below, as a function of summation over increasingly large rectangles with arbitrary fixed aspect ratio.


title: Precomplete clones on infinite sets which are closed under conjugation

abstract: We show that on an infinite set, there exist no other precomplete clones closed under conjugation except those which contain all permutations. Since on base sets of some infinite cardinalities, in particular on countably infinite ones, the precomplete clones containing the permutations have been determined, this yields a complete list of the precomplete conjugation-closed clones in those cases. In addition, we show that there exist no precomplete submonoids of the full transformation monoid which are closed under conjugation except those which contain the permutations; the monoids of the latter kind are known.


title: A weight multiplicity formula for Demazure modules

abstract: We establish a formula for the weight multiplicities of Demazure modules (in particular for highest weight representations) of a complex connected algebraic group in terms of the geometry of its Langlands dual.


title: Cremona Convexity, Frame Convexity, and a Theorem of Santal\'o

abstract: In 1940, Luis Santal\'o proved a Helly-type theorem for line transversals to boxes in R^d. An analysis of his proof reveals a convexity structure for ascending lines in R^d that is isomorphic to the ordinary notion of convexity in a convex subset of R^{2d-2}. This isomorphism is through a Cremona transformation on the Grassmannian of lines in P^d, which enables a precise description of the convex hull and affine span of up to d ascending lines: the lines in such an affine span turn out to be the rulings of certain classical determinantal varieties. Finally, we relate Cremona convexity to a new convexity structure that we call frame convexity, which extends to arbitrary-dimensional flats.


title: Canonical Metrics on the Moduli Space of Riemann Surfaces II

abstract: In this paper we continue our study on the canonical metrics on the Teichm\"uller and the moduli space of Riemman surfaces. We first prove the equivalence of the Bergman metric and the Carath\'eodory metric to the K\"ahler-Einstein metric, solving another old conjecture of Yau. We then prove that the Ricci curvature of the perturbed Ricci metric has negative upper and lower bounds, and it also has bounded geometry. Then we study in detail the boundary behaviors of the K\"ahler-Einstein metric and prove that it has bounded geometry, and all of the covariant derivatives of its curvature are uniformly bounded on the Teichm\"uller space. As an application of our detailed understanding of these metrics, we prove that the logarithmic cotangent bundle of the moduli space is stable in the sense of Mumford.


title: Non rigidity of hyperbolic laminations

abstract: In this note we prove infinite dimensionality of the Teichm\"uller space of a hyperbolic Riemann surface lamination of a compact space having a simply connected leaf.


title: On $C^*$-algebras generated by some deformations of CAR relations

abstract: We study the representation theory and enveloping $C^*$-algebras for Wick analogues of CAR and twisted CAR algebras. The realization of the $C^*$-algebras under consideration as algebras of continuous matrix-functions satisfying certain boundary conditions is given.


title: On irregular prime power divisors of the Bernoulli numbers

abstract: Let $B_n$ ($n = 0, 1, 2, ...$) denote the usual $n$-th Bernoulli number. Let $l$ be a positive even integer where $l=12$ or $l \geq 16$. It is well known that the numerator of the reduced quotient $|B_l/l|$ is a product of powers of irregular primes. Let $(p,l)$ be an irregular pair with $B_l/l \not\equiv B_{l+p-1}/(l+p-1) \modp{p^2}$. We show that for every $r \geq 1$ the congruence $B_{m_r}/m_r \equiv 0 \modp{p^r}$ has a unique solution $m_r$ where $m_r \equiv l \modp{p-1}$ and $l \leq m_r < (p-1)p^{r-1}$. The sequence $(m_r)_{r \geq 1}$ defines a $p$-adic integer $\chi_{(p, l)}$ which is a zero of a certain $p$-adic zeta function $\zeta_{p, l}$ originally defined by T. Kubota and H. W. Leopoldt. We show some properties of these functions and give some applications. Subsequently we give several computations of the (truncated) $p$-adic expansion of $\chi_{(p, l)}$ for irregular pairs $(p,l)$ with $p$ below 1000.


title: Birational geometry in codimension 2 of symplectic resolutions

abstract: We prove the conjecture that two projective symplectic resolutions for a symplectic variety $W$ are related by Mukai's elementary transformations over $W$ in codimension 2 in the following cases: (i). nilpotent orbit closures in a classical simple complex Lie algebra; (ii). some quotient symplectic varieties.


title: On Long Range Percolation with Heavy Tails

abstract: Consider independent long range percolation on $\mathbf{Z}^2$, where horizontal and vertical edges of length $n$ are open with probability $p_n$. We show that if $\limsup_{n\to\infty}p_n>0,$ then there exists an integer $N$ such that $P_N(0\leftrightarrow \infty)>0$, where $P_N$ is the truncated measure obtained by taking $p_{N,n}=p_n$ for $n \leq N$ and $p_{N,n}=0$ for all $n> N$.


title: Some small cancellation properties of random groups

abstract: We work in the density model of random groups. We prove that they satisfy an isoperimetric inequality with sharp constant $1-2d$ depending upon the density parameter $d$. This implies in particular a property generalizing the ordinary $C'$ small cancellation condition, which could be termed ``macroscopic small cancellation''. This also sharpens the evaluation of the hyperbolicity constant $\delta$. As a consequence we get that the standard presentation of a random group at density $d<1/5$ satisfies the Dehn algorithm and Greendlinger's Lemma, and that it does not for $d>1/5$.


title: Cohomology of the vector fields Lie algebras on RP^1 acting on bilinear differential operators

abstract: The main topic of this paper is two folds. First, we compute the first relative cohomology group of the Lie algebra of smooth vector fields on the projective line, Vect(RP^1), with coefficients in the space of bilinear differential operators that act on tensor densities, D_{\lambda, \nu;\mu}, vanishing on the Lie algebra sl(2,R). Second, we compute the first cohomology group of the Lie algebra sl(2,R) with coefficients in D_{\lambda, \nu;\mu}.


title: Hamilton Cycles in Digraphs of Unitary Matrices

abstract: A set $S\subseteq V$ is called an {\em $q^+$-set} ({\em $q^-$-set}, respectively) if $S$ has at least two vertices and, for every $u\in S$, there exists $v\in S, v\neq u$ such that $N^+(u)\cap N^+(v)\neq \emptyset$ ($N^-(u)\cap N^-(v)\neq \emptyset$, respectively). A digraph $D$ is called {\em s-quadrangular} if, for every $q^+$-set $S$, we have $|\cup \{N^+(u)\cap N^+(v): u\neq v, u,v\in S\}|\ge |S|$ and, for every $q^-$-set $S$, we have $|\cup \{N^-(u)\cap N^-(v): u,v\in S)\}\ge |S|$. We conjecture that every strong s-quadrangular digraph has a Hamilton cycle and provide some support for this conjecture.


title: Initial-Boundary Problems for Semilinear Hyperbolic Systems with Singular Coefficients

abstract: We use the framework of Colombeau algebras of generalized functions to study existence and uniqueness of global generalized solutions to mixed non-local problems for a semilinear hyperbolic system. Coefficients of the system as well as initial and boundary data are allowed to be strongly singular, as the Dirac delta function and derivatives thereof. To obtain the existence-uniqueness result we prove a criterion of invertibility in the full version of the Colombeau algebras.


title: A maximum likelihood algorithm for the estimation and renormalization of exponential densities

abstract: We present an algorithm based on maximum likelihood for the estimation and renormalization (marginalization) of exponential densities. The moment-matching problem resulting from the maximization of the likelihood is solved as an optimization problem using the Levenberg-Marquardt algorithm. In the case of renormalization, the moments needed to set up the moment-matching problem are evaluated using Swendsen's renormalization method. We focus on the renormalization version of the algorithm, where we demonstrate its use by computing the critical temperature of the two-dimensional Ising model. Possible applications of the algorithm are discussed.


title: Noncototients and Nonaliquots

abstract: Let $\phi(\cdot)$ and $\sigma(\cdot)$ denote the Euler function and the sum of divisors function, respectively. In this paper, we give a lower bound for the number of positive integers $m\le x$ for which the equation $m=n-\phi(n)$ has no solution. We also give a lower bound for the number of $m\le x$ for which the equation $m=\sigma(n)-n$ has no solution. Finally, we show the set of positive integers $m$ not of the form $(p-1)/2-\phi(p-1)$ for some prime number $p$ has a positive lower asymptotic density.


title: On two exponents of approximation related to a real number and its square

abstract: For any irrational real number xi, let lambda(xi) denote the supremum of all real numbers lambda such that, for each sufficiently large X, the inequalities |x_0| < X, |x_0*xi-x_1| < X^{-lambda} and |x_0*xi^2-x_2| < X^{-lambda} admit a solution in integers x_0, x_1 and x_2 not all zero, and let omega(xi) denote the supremum of all real numbers omega such that, for each sufficiently large X, the dual inequalities |x_0+x_1*xi+x_2*xi^2| < X^{-omega}, |x_1| < X and |x_2| < X admit a solution in integers x_0, x_1 and x_2 not all zero. Answering a question of Y. Bugeaud and M. Laurent, we show that the exponents lambda(xi) where xi ranges through all irrational non-quadratic real numbers form a dense subset of the interval [1/2, (sqrt{5}-1)/2] while, for the same values of xi, the dual exponents omega(xi) form a dense subset of [2, (sqrt{5}+3)/2]. Part of the proof rests on a result of V. Jarnik showing that lambda(xi) = 1-1/omega(xi) for these real numbers xi.


title: On the continued fraction expansion of a class of numbers

abstract: We look at a class of transcendental real numbers xi which, together with their square, satisfy some extremal property of simultaneous approximation by rational numbers with the same denominator. We give a sufficient condition for such a real number to have bounded partial quotients and construct new examples of extremal real numbers with this property. These include all real numbers whose sequence of partial quotients coincide up to its first terms with the limit of a Fibonacci sequence of words on the set of positive integers, starting with two non-commuting words (so that the limit is not ultimately periodic).


title: Free Homotopy Algebras

abstract: This note was originated many years ago as my reaction to questions of several people how free strongly homotopy algebras can be described and what can be said about the structure of the universal enveloping A(m)-algebra of an L(m)-algebra, and then circulated as a "personal communication." I must honestly admit that it contains no really deep result and that everything I did was that I expanded definitions and formulated a couple of statements with more or less obvious proofs.


title: Complexes of trees and nested set complexes

abstract: We exhibit an identity of abstract simplicial complexes between the well-studied complex of trees and the reduced minimal nested set complex of the partition lattice. We conclude that the order complex of the partition lattice can be obtained from the complex of trees by a sequence of stellar subdivisions. We provide an explicit cohomology basis for the complex of trees that emerges naturally from this context. Motivated by these results, we review the generalization of complexes of trees to complexes of $k$-trees by Hanlon, and we propose yet another, in the context of nested set complexes more natural, generalization.


title: On the variety of Lagrangian subalgebras, II

abstract: When ${\frak g}$ is a complex semisimple Lie algebra, we study the variety ${\mathcal L}$ of subalgebras of ${\frak g}\oplus{\frak g}$ that are maximally isotropic with respect to $K_1 - K_2$, where $K_i$ is the Killing form on the ith factor. We show the irreducible components of ${\mathcal L}$ are smooth, classify them in terms of the generalized Belavin-Drinfeld triples introduced by Schiffmann, and relate them to orbits of the adjoint group $G\times G$. Building on ideas of Yakimov, we give a new proof of Karolinsky's classification of the diagonal $G$-orbits in ${\mathcal L}$. Our proof enables us to compute of the normalizer in ${\frak g}$ of a subalgebra in ${\mathcal L}$ under the diagonal action. As a consequence, we recover the classification of Belavin-Drinfeld triples. By results of math.DG/9909005, ${\mathcal L}$ is a Poisson variety and we determine the rank of the symplectic leaf at each point of ${\mathcal L}$ in terms of combinatorial data and relate the symplectic leaves to intersections of orbits of subgroups of $G\times G$. As a consequence, an intrinsically defined Poisson structure on each conjugacy class on $G$ has an open symplectic leaf and we determine the rank at each point of the conjugacy class.


title: Random Variables with Completely Independent Subcollections

abstract: We investigate the algebra and geometry of the independence conditions on discrete random variables in which we fix some random variables and study the complete independence of some subcollections. We interpret such independence conditions on the random variables as an ideal of algebraic relations. After a change of variables, this ideal is generated by generalized 2x2 minors of multi-way tables and linear forms. In particular, let Delta be a simplicial complex on some random variables and A be the table corresponding to the product of those random variables. If A is Delta-independent table then A can be written as the entrywise sum B+C where B is a completely independent table and C is identically 0 in its Delta-margins. We compute the isolated components of the original ideal, showing that there is only one component that could correspond to probability distributions, and relate the algebra and geometry of the main component to that of the Segre embedding. If Delta has fewer than three facets, we are able to compute generators for the main component, show that it is Cohen--Macaulay, and give a full primary decomposition of the original ideal.


title: Counting Lattice Paths By Gessel Pairs

abstract: We count a large class of lattice paths by using factorizations of free monoids. Besides the classical lattice paths counting problems related to Catalan numbers, we give a new approach to the problem of counting walks on the slit plane (walks avoid a half line) that was first solved by Bousquet-M\'{e}lou and Schaeffer. We also solve a problem about walks in the half plane avoiding a half line by subsequently applying the factorizations of two different Gessel pairs, giving a generalization of a result of Bousquet-M\'{e}lou.


title: An LIL for cover times of disks by planar random walk and Wiener sausage

abstract: Let R_n be the radius of the largest disk covered after n steps of a simple random walk. We prove that almost surely limsup_{n \to \infty}(log R_n)^2/(log n log_3 n) = 1/4, where log_3 denotes 3 iterations of the log function. This is motivated by a question of Erd\H{o}s and Taylor. We also obtain the analogous result for the Wiener sausage, refining a result of Meyre and Werner.


title: A Holomorphic 0-Surgery Model for Open Books with Application to Cylindrical Contact Homology

abstract: We give a simple model in the complex plane of the 0-surgery along a fibered knot of a closed 3-manifold M to yield a mapping torus M'. This model allows explicit relations between pseudoholomorphic curves in the symplectizations of M and M'. As an application we use it to compute the cylindrical contact homology of open books resulting from a positive Dehn twist on a torus with boundary.


title: Euclidean Geometric Invariants of Links in 3-sphere

abstract: We present a new link invariant which depends on a representation of the link group in SO(3). The computer calculations indicate that an abelian version of this invariant is expressed in terms of the Alexander polynomial of the link. On the other hand, if we use non abelian representation, we get the squared non abelian Reidemeister torsion (at least for some torus knots).


title: Eigenvalues of the Laplacian acting on $p$-forms and metric conformal deformations

abstract: Let $(M,g)$ be a compact connected orientable Riemannian manifold of dimension $n\ge4$ and let $\lambda_{k,p} (g)$ be the $k$-th positive eigenvalue of the Laplacian $\Delta_{g,p}=dd^*+d^*d$ acting on differential forms of degree $p$ on $M$. We prove that the metric $g$ can be conformally deformed to a metric $g'$, having the same volume as $g$, with arbitrarily large $\lambda_{1,p} (g')$ for all $p\in[2,n-2]$. Note that for the other values of $p$, that is $p=0, 1, n-1$ and $n$, one can deduce from the literature that, $\forall k >0$, the $k$-th eigenvalue $\lambda_{k,p}$ is uniformly bounded on any conformal class of metrics of fixed volume on $M$. For $p=1$, we show that, for any positive integer $N$, there exists a metric $g_N$ conformal to $g$ such that, $\forall k\le N$, $\lambda_{k,1} (g_N) =\lambda_{k,0} (g_N) $, that is, the first $N$ eigenforms of $\Delta_{g_N,1}$ are all exact forms.


title: ACM sheaves on a nonsingular quadric hypersurface in $P^4_k$

abstract: We prove that on a nonsingular quadric hypersurface Q in $P^4_k$ even CI liaison classes of ACM curves are in bijective correspondence with the stable equivalence classes (up to shift in degree) of maximal Cohen-Macaulay graded modules over the coordinate ring R of Q, which in turn, are in bijective correspondence with stable equivalence classes (up to shift in degree) of ACM sheaves on Q . In the situation of a nonsingular quadric hypersurface Q in $P^4_k$ work of Knorrer shows that there is a unique nonfree indecomposable MCM module over R. We also describe the ACM sheaf corresponding to this MCM module and give its cohomology table and its Hilbert polynomial.


title: Packing sets of patterns

abstract: Packing density is a permutation occurrence statistic which describes the maximal number of permutations of a given type that can occur in another permutation. In this article we focus on containment of sets of permutations. Although this question has been tangentially considered previously, this is the first systematic study of it. We find the packing density for various special sets of permutations and study permutation and pattern co-occurrence.


title: Characterizing rigid simplicial actions on trees

abstract: We extend Forester's rigidity theorem so as to give a complete characterization of rigid group actions on trees (an action is rigid if it is the only reduced action in its deformation space, in particular it is invariant under automorphisms preserving the set of elliptic subgroups).


title: First exit times of solutions of non-linear stochastic differential equations driven by symmetric Levy processes with alpha-stable components

abstract: We study the exit problem of solutions of the stochastic differential equation dX(t)=-U'(X(t))dt+epsilon dL(t) from bounded or unbounded intervals which contain the unique asymptotically stable critical point of the deterministic dynamical system dY=-U'(Y) dt. The process L is composed of a standard Brownian motion and a symmetric alpha-stable Levy process. Using probabilistic estimates we show that in the small noise limit epsilon->0, the exit time of X from an interval is an exponentially distributed random variable and determine its expected value. Due to the heavy-tail nature of the alpha-stable component of L, the results differ strongly from the well known case in which the deterministic dynamical system undergoes purely Gaussian perturbations.


title: On eigenvalues of Lam\'e operator

abstract: We introduce two integral representations of monodromy on Lam\'e equation. By applying them, we obtain results on hyperelliptic-to-elliptic reduction integral formulae, finite-gap potential and eigenvalues of Lam\'e operator.


title: Exactness of free and amenable groups by the construction of Ozawa kernels

abstract: Using properties of their Cayley graphs, specific examples of Ozawa kernels are constructed for both free and amenable groups, thus showing that these groups satisfy Property O. It is deduced both that these groups are exact and satisfy Yu's Property A.


title: A nonlinear fourth-order parabolic equation and related logarithmic Sobolev inequalities

abstract: A nonlinear fourth-order parabolic equation in one space dimension with periodic boundary conditions is studied. This equation arises in the context of fluctuations of a stationary nonequilibrium interface and in the modeling of quantum semiconductor devices. The existence of global-in-time non-negative weak solutions is shown. A criterion for the uniqueness of non-negative weak solutions is given. Finally, it is proved that the solution converges exponentially fast to its mean value in the ``entropy norm'' using a new optimal logarithmic Sobolev inequality for higher derivatives.


title: Von Neumann coordinatization is not first-order

abstract: A lattice L is coordinatizable, if it is isomorphic to the lattice L(R) of principal right ideals of some von Neumann regular ring R. This forces L to be complemented modular. All known sufficient conditions for coordinatizability, due first to J. von Neumann, then to B. Jonsson, are first-order. Nevertheless, we prove that coordinatizability of lattices is not first-order, by finding a non-coordinatizable lattice K with a coordinatizable countable elementary extension L. This solves a 1960 problem of B. Jonsson. We also prove that there is no L\_{infinity, infinity} statement equivalent to coordinatizability. Furthermore, the class of coordinatizable lattices is not closed under countable directed unions; this solves another problem of B. Jonsson from 1962.


title: Characteristically nilpotent Lie algebras and symplectic structures

abstract: We study symplectic structures on characteristically nilpotent Lie algebras (CNLAs) by computing the cohomology space $H^2(\Lg,k)$ for certain Lie algebras $\Lg$. Among these Lie algebras are filiform CNLAs of dimension $n\le 14$. It turns out that there are many examples of CNLAs which admit a symplectic structure. A generalization of a sympletic structure is an affine structure on a Lie algebra.


title: Exactness of Rokhlin endomorphisms and weak mixing of Poisson boundaries

abstract: We give conditions for the exactness of Rokhlin endomorphisms, apply these to random walks on locally compact, second countable topological groups and obtain that the action on the Poisson boundary of an adapted random walk on such a group is weakly mixing.


title: A hyperkahler structure on the cotangent bundle of a complex Lie group

abstract: Let G be compact Lie group. It is shown that the cotangent bundle of the complexification of G admits a hyperkahler structure which is invariant under left and right translations by elements of G. The proof is to realize the cotangent bundle of the complex group as a moduli space of solutions to Nahm's equations on the closed interval.


title: Boundedness of $\epsilon$-log Canonical Complements on Surfaces

abstract: We prove a conjecture due to V.V. Shokurov on the boundedness of $\epsilon$-log canonical complements on surfaces. As an application we give a new proof to the boundedness of weak log Fano surfaces.


title: Potpourri, 2

abstract: These notes are connected to a "potpourri" topics class and deal with some basic issues involving norms and convexity.


title: Finite dimensional representations of double affine Hecke algebra of rank 1

abstract: We classify the finite dimensional representations of the double affine Hecke algebra of type $C^{\vee}C_1$ in the case when $q$ is not a root of 1.


title: Symbolic representations of nonexpansive group automorphisms

abstract: If $\alpha $ is an irreducible nonexpansive ergodic automorphism of a compact abelian group $X$ (such as an irreducible nonhyperbolic ergodic toral automorphism), then $\alpha $ has no finite or infinite state Markov partitions, and there are no nontrivial continuous embeddings of Markov shifts in $X$. In spite of this we are able to construct a symbolic space $V$ and a class of shift-invariant probability measures on $V$ each of which corresponds to an $\alpha$-invariant probability measure on $X$. Moreover, every $\alpha$-invariant probability measure on $X$ arises essentially in this way. The last part of the paper deals with the connection between the two-sided beta-shift $V_\beta $ arising from a Salem number $\beta $ and the nonhyperbolic ergodic toral automorphism $\alpha $ arising from the companion matrix of the minimal polynomial of $\beta $, and establishes an entropy-preserving correspondence between a class of shift-invariant probability measures on $V_\beta $ and certain $\alpha $-invariant probability measures on $X$. This correspondence is much weaker than, but still quite closely modelled on, the connection between the two-sided beta-shifts defined by Pisot numbers and the corresponding hyperbolic ergodic toral automorphisms.


title: Primes in short intervals

abstract: Contrary to what would be predicted on the basis of Cram\'er's model concerning the distribution of prime numbers, we develop evidence that the distribution of $\psi(x+H)- \psi(x)$, for $0\le x\le N$, is approximately normal with mean $\sim H$ and variance $\sim H\log N/H$, when $N^\delta \le H \le N^{1-\delta}$.


title: The Equivalence of Giuga's and Agoh's Conjectures

abstract: In this paper we show the equivalence of the conjectures of Giuga and Agoh in a direct way which leads to a combined conjecture. This conjecture is described by a sum of fractions from which all conditions can be derived easily.


title: The Chevalley Involution and a Duality of Weight Varieties

abstract: We study the action of the Chevalley involution of a simple complex Lie group G on the set of its weight varieties (i.e. torus quotients of its flag manifolds). We find for torus quotients of Grassmannians (for GL(n)) that we obtain the classical notion of "association of projective point sets" (see Ch. III of Dolgachev-Ortland, Asterisque 165). We say a weight variety is "self-dual" if it is carried into itself by the action of the Chevalley involution. Our main theorem is a classification of those self-dual weight varieties for which the induced self-map is the identity. This problem is the "classical problem" associated to the "quantum problem" of classifying the self-dual representations V of G for which the induced action of the Chevalley involution on the zero weight space V[0] is a scalar. This latter problem is important in the study of the representation of the Artin group associated to G on V[0] obtained as the monodromy representation of the Casimir connection - see Millson - Toledano Laredo arXiv:math.QA/0305062.


title: New deformations of group algebras of Coxeter groups

abstract: We define new deformations of group algebras of Coxeter groups W and of subgroups of even elements in them, by deforming the braid relations. We show that these deformations are algebraically flat iff they are formally flat, and that this happens iff the group W has no finite parabolic subgroups of rank 3. The proof uses the theory of constructible sheaves on cell complexes attached to W. We explain the connection of our deformations with the Hecke algebras of orbifolds defined by the first author in math.QA/0406499 and with generalized double affine Hecke algebras defined by the authors and A. Oblomkov in math.QA/0406480. The paper is dedicated to the memory of Walter Feit.


title: Almost-commuting variety, D-modules, and Cherednik Algebras

abstract: We study a scheme M closely related to the set of pairs of n by n-matrices with rank 1 commutator. We show that M is a reduced complete intersection with n+1 irreducible components, which we describe. There is a distinguished Lagrangian subvariety Nil in M. We introduce a category, C, of D-modules whose characteristic variety is contained in Nil. Simple objects of that category are analogous to Lusztig's character sheaves. We construct a functor of Quantum Hamiltonian reduction from category C to the category O for type A rational Cherednik algebra.


title: Distributive semilattices as retracts of ultraboolean ones; functorial inverses without adjunction

abstract: A (v,0)-semilattice is ultraboolean, if it is a directed union of finite Boolean (v,0)-semilattices. We prove that every distributive (v,0)-semilattice is a retract of some ultraboolean (v,0)-semilattices. This is established by proving that every finite distributive (v,0)-semilattice is a retract of some finite Boolean (v,0)-semilattice, and this in a functorial way. This result is, in turn, obtained as a particular case of a category-theoretical result that gives sufficient conditions, for a functor $ Pi$, to admit a right inverse. The particular functor $ Pi$ used for the abovementioned result about ultraboolean semilattices has neither a right nor a left adjoint.


title: State symmetries in matrices and vectors on finite state spaces

abstract: State symmetries are defined as permutations which act on vector spaces of column vectors and square matrices, resulting in isotropy groups for specific vector spaces. A large number of properties for such objects is shown, to provide a rigorous basis for future applications. The main statement characterises the state symmetry of vector sequences $(v^{(i)})$ which are generated by powers of a generator matrix $M$: $v^{(i)}= M^i v^{(0)}$. A section of examples illustrates some applications of the theory.


title: Transformation Digroups

abstract: We introduce the notion of a transformation digroup and prove that every digroup is isomorphic to a transformation digroup.


title: Frobenius-unstable bundles and p-curvature

abstract: We use the theory of p-curvature of connections to analyze stable vector bundles of rank 2 on curves of genus 2 which pull back to unstable bundles under the Frobenius morphism. We take two approaches, first using explicit formulas for p-curvature to analyze low-characteristic cases, and then using degeneration techniques to obtain an answer for a general curve by degenerating to an irreducible rational nodal curve, and applying the results of math.AG/0409145 and math.AG/0407445. We also apply our explicit formulas to give a new description of the strata of curves of genus 2 of different p-rank.


title: Interactions

abstract: Given a C*-algebra B, a closed *-subalgebra A contained in B, and a partial isometry S in B which "interacts" with A in the sense that S*aS = H(a)S*S and SaS* = V(a)SS*, where V and H are positive linear operators on A, we derive a few properties which V and H are forced to satisfy. Removing B and S from the picture we define an "interaction" as being a pair of maps (V,H) satisfying the derived properties. Starting with an abstract interaction (V,H) over a C*-algebra A we construct a C*-algebra B containing A and a partial isometry S whose "interaction" with A follows the above rules. We then discuss the possibility of constructing a "covariance algebra" from an interaction. This turns out to require a generalization of the notion of correspondences (also known as Pimsner bimodules) which we call a "generalized correspondence". Such an object should be seen as an usual correspondence, except that the inner-products need not lie in the coefficient algebra. The covariance algebra is then defined using a natural generalization of Pimsner's construction of the celebrated Cuntz-Pimsner algebras.


title: Some remarks about the positivity of random variables on a Gaussian probability space

abstract: Let $(W,H,\mu)$ be an abstract Wiener space and $L$ be a probability density of class LlogL. Using the measure transportation of Monge-Kantorovitch, we prove that the kernel of the projection of L on the second Wiener chaos defines an (Hilbert-Schmidt) operator which is lower bounded by another Hilbert-Schmidt operator.


title: On Pseudo-Effectivity of the Second Chern Classes for Terminal Threefolds

abstract: We give a reduction of the conjecture that for terminal projective threefolds whose anticanonical divisors are nef, the second Chern classes are pseudo-effective. On the other hand, some effective non-vanishing results are obtained as applications of the pseudo-effectivity of the second Chern classes.


title: Lifting retracted diagrams with respect to projectable functors

abstract: We prove a general categorical theorem that enables us to state that under certain conditions, the range of a functor is large. As an application, we prove various results of which the following is a prototype: If every diagram, indexed by a lattice, of finite Boolean (v,0)-semilattices with (v,0)-embeddings, can be lifted with respect to the $\Conc$ functor on lattices, then so can every diagram, indexed by a lattice, of finite distributive (v,0)-semilattices with (v,0-embeddings. If the premise of this statement held, this would solve in turn the (still open) problem whether every distributive algebraic lattice is isomorphic to the congruence lattice of a lattice. We also outline potential applications of the method to other functors, such as the $R\mapsto V(R)$ functor on von Neumann regular rings.


title: An algorithm for the computation of the decomposition matrices for Ariki-Koike algebras

abstract: We give a purely combinatorial algorithm for the computation of the decomposition matrices for Ariki-Koike algebras when the parameters are powers of the same root of unity. It generalizes the LLT algorithm.


title: Geometry of currents, intersection theory and dynamics of horizontal-like maps

abstract: We introduce a geometry on the cone of positive closed currents of bidegree (p,p) and apply it to define the intersection of such currents. We also construct and study the Green currents and the equilibrium measure for horizontal-like mappings. The Green currents satisfy some extremality properties. The equilibrium measure is invariant, mixing and has maximal entropy. It is equal to the intersection of the Green currents associated to the horizontal-like map and to its inverse.


title: Cugliandolo-Kurchan equations for dynamics of Spin-Glasses

abstract: We study the Langevin dynamics for the family of spherical $p$-spin disordered mean-field models and prove that in the limit of system size $N$ approaching infinity, the empirical state correlation and integrated response functions converge almost surely and uniformly in time, to the non-random unique strong solution of a pair of explicit non-linear integro-differential equations introduced by Cugliandolo and Kurchan.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Long time behavior of the solutions to non-linear Kraichnan equations

abstract: We consider the solution of a nonlinear Kraichnan equation $$\partial_s H(s,t)=\int_t^s H(s,u)H(u,t) k(s,u) du,\quad s\ge t$$ with a covariance kernel $k$ and boundary condition $H(t,t)=1$. We study the long time behaviour of $H$ as the time parameters $t,s$ go to infinity, according to the asymptotic behaviour of $k$. This question appears in various subjects since it is related with the analysis of the asymptotic behaviour of the trace of non-commutative processes satisfying a linear differential equation, but also naturally shows up in the study of the so-called response function and aging properties of the dynamics of some disordered spin systems.


title: Degenerations of 7-dimensional nilpotent Lie algebras

abstract: We study the varieties of Lie algebra laws and their subvarieties of nilpotent Lie algebra laws. We classify all degenerations of (almost all) five-step and six-step nilpotent seven-dimensional complex Lie algebras. One of the main tools is the use of trivial and adjoint cohomology of these algebras. In addition, we give some new results on the varieties of complex Lie algebra laws in low dimension.


title: Lie Algebra Prederivations and strongly nilpotent Lie Algebras

abstract: We study Lie algebra prederivations. A Lie algebra admitting a non-singular prederivation is nilpotent. We classify filiform Lie algebras admitting a non-singular prederivation but no non-singular derivation. We prove that any 4-step nilpotent Lie algebra admits a non-singular prederivation. The results can be applied to construct affine structures on Lie algebras.


title: Large deviations and stochastic calculus for large random matrices

abstract: Large random matrices appear in different fields of mathematics and physics such as combinatorics, probability theory, statistics, operator theory, number theory, quantum field theory, string theory etc... In the last ten years, they attracted lots of interests, in particular due to a serie of mathematical breakthroughs allowing for instance a better understanding of local properties of their spectrum, answering universality questions, connecting these issues with growth processes etc. In this survey, we shall discuss the problem of the large deviations of the empirical measure of Gaussian random matrices, and more generally of the trace of words of independent Gaussian random matrices. We shall describe how such issues are motivated either in physics/combinatorics by the study of the so-called matrix models or in free probability by the definition of a non-commutative entropy. We shall show how classical large deviations techniques can be used in this context. These lecture notes are supposed to be accessible to non probabilists and non free-probabilists.


title: Peripheral separability and cusps of arithmetic hyperbolic orbifolds

abstract: For X = R, C, or H it is well known that cusp cross-sections of finite volume X-hyperbolic (n+1)-orbifolds are flat n-orbifolds or almost flat orbifolds modelled on the (2n+1)-dimensional Heisenberg group N_{2n+1} or the (4n+3)-dimensional quaternionic Heisenberg group N_{4n+3}(H). We give a necessary and sufficient condition for such manifolds to be diffeomorphic to a cusp cross-section of an arithmetic X-hyperbolic (n+1)-orbifold. A principal tool in the proof of this classification theorem is a subgroup separability result which may be of independent interest.


title: On the range of a covering function

abstract: Let {a_s(mod n_s)}_{s=1}^k (k>1) be a finite system of residue classes with the moduli n_1,...,n_k distinct. By means of algebraic integers we show that the range of the covering function w(x)=|{1\le s\le k: x=a_s (mod n_s)}| is not contained in any residue class with modulus greater one. In particular, the values of w(x) cannot have the same parity.


title: Time-Frequency Analysis of Sj\"ostrand's Class

abstract: We investigate the properties an exotic symbol class of pseudodifferential operators, Sj\"ostrand's class, with methods of timne-frequency analysis (phase space analysis). Compared to the classical treatment, the time-frequency approach leads to striklingly simple proofs of Sj\"ostrand's fundamental results and to far-reaching generalizations.


title: Le calcul de Schubert selon Schubert

abstract: We try to understand Schubert calculus the way he did it


title: 3D Quantum Hyperbolic Field Theory

abstract: We construct a new family of exact quantum field theories modeled on hyperbolic geometry, called {\it quantum hyperbolic field theories} (QHFTs). The QHFTs are defined for a $(2+1)$-bordism category based on the set of compact oriented 3-manifolds $Y$, equipped with properly embedded framed links $L_\Ff$ and with flat connections $\rho$ of principal $PSL(2,\C)$-bundles over $Y \setminus L_\Ff$, with arbitrary holonomy at the link meridians. A main point is the introduction of new parameters for the space of all $PSL(2,\C)$-characters of a punctured surface. Each QHFT associates to a triple $(Y,L_\Ff,\rho)$ as above with parametrized boundary components a tensor, which is generically holomorphic w.r.t. the parameters for the restriction of $\rho$ to $\partial Y \setminus L_\Ff$. This gives new numerical invariants of 3-manifolds, such as Chern-Simons invariants of $PSL(2,\mc)$-characters of arbitrary link complements, or quantum invariants of compact hyperbolic cone manifolds. Also, for any $PSL(2,\mc)$-character of a surface of finite topological type, we obtain new conjugacy classes of linear representations of the mapping class group. Finally, we discuss some evidences showing that the QHFTs are pertinent to 3D gravity.


title: Endpoint bounds for the non-isotropic Falconer distance problem associated with lattice-like sets

abstract: Let $S \subset {\mathbb R}^d$ be contained in the unit ball. Let $\Delta(S)=\{||a-b||:a,b \in S\}$, the Euclidean distance set of $S$. Falconer conjectured that the $\Delta(S)$ has positive Lebesque measure if the Hausdorff dimension of $S$ is greater than $\frac{d}{2}$. He also produced an example, based on the integer lattice, showing that the exponent $\frac{d}{2}$ cannot be improved. In this paper we prove the Falconer distance conjecture for this class of sets based on the integer lattice. In dimensions four and higher we attain the endpoint by proving that the Lebesgue measure of the resulting distance set is still positive if the Hausdorff dimension of $S$ equals $\frac{d}{2}$. In three dimensions we are off by a logarithm. More generally, we consider $K$-distance sets $\Delta_K(S)=\{{|a-b|}_K: a,b \in S\}$, where ${|\cdot|}_K$ is the distance induced by a norm defined by a smooth symmetric convex body $K$ whose boundary has everywhere non-vanishing Gaussian curvature. We prove that our endpoint result still holds in this setting, providing a further illustration of the role of curvature in this class of problems.


title: Translation equivalence in free groups

abstract: Motivated by the work of Leininger on hyperbolic equivalence of homotopy classes of closed curves on surfaces, we investigate a similar phenomenon for free groups. Namely, we study the situation when two elements $g,h$ in a free group $F$ have the property that for every free isometric action of $F$ on an $\mathbb{R}$-tree $X$ the translation lengths of $g$ and $h$ on $X$ are equal. We give a combinatorial characterization of this phenomenon, called translation equivalence, in terms of Whitehead graphs and exhibit two difference sources of it. The first source of translation equivalence comes from representation theory and $SL_2$ trace identities. The second source comes from geometric properties of groups acting on real trees and a certain power redistribution trick. We also analyze to what extent these are applicable to the tree actions of surface groups that occur in the Thurston compactification of the Teichmuller space.


title: Generalized Harish-Chandra modules with generic minimal $\frak k$-type

abstract: We make a first step towards a classification of simple generalized Harish-Chandra modules which are not Harish-Chandra modules or weight modules of finite type. For an arbitrary algebraic reductive pair of complex Lie algebras $(\g,\k)$, we construct, via cohomological induction, the fundamental series $F^\cdot (\p,E)$ of generalized Harish-Chandra modules. We then use $F^\cdot (\p,E)$ to characterize any simple generalized Harish-Chandra module with generic minimal $\k$-type. More precisely, we prove that any such simple $(\g,\k)$-module of finite type arises as the unique simple submodule of an appropriate fundamental series module $F^s(\p,E)$ in the middle dimension $s$. Under the stronger assumption that $\k$ contains a semisimple regular element of $\g$, we prove that any simple $(\g,\k)$-module with generic minimal $\k$-type is necessarily of finite type, and hence obtain a reconstruction theorem for a class of simple $(\g,\k)$-modules which can a priori have infinite type. We also obtain generic general versions of some classical theorems of Harish-Chandra, such as the Harish-Chandra admissibility theorem. The paper is concluded by examples, in particular we compute the genericity condition on a $\k$-type for any pair $(\g,\k)$ with $\k\simeq s\ell (2)$.


title: Appendix to ``Deligne's integrality theorem in unequal characteristic and rational points over finite fields'' by H\'el\`ene Esnault

abstract: One extends P. Deligne's notion of integrality over a finite field for a $\ell$-adic sheaf on a scheme of finite type over a local field with finite residue field. One shows that this integrality notion is preserved by $Rf_!$, as it is over a finite field after P. Deligne.


title: Some combinatorial aspects of composition of a set of functions

abstract: In this paper we determine a number of meaningful compositions of higher order of a set of functions, which is considered in Malesevic (1998), in implicit and explicit form. Results which are obtained are applied to the vector analysis in order to determine the number of meaningful differential operations of higher order.


title: On lattices of convex sets in R^n

abstract: Properties of several sorts of lattices of convex subsets of R^n are examined. The lattice of convex sets containing the origin turns out, for n>1, to satisfy a set of identities strictly between those of the lattice of all convex subsets of R^n and the lattice of all convex subsets of R^{n-1}. The lattices of arbitrary, of open bounded, and of compact convex sets in R^n all satisfy the same identities, but the last of these is join-semidistributive, while for n>1 the first two are not. The lattice of relatively convex subsets of a fixed set S \subseteq R^n satisfies some, but in general not all of the identities of the lattice of ``genuine'' convex subsets of R^n.


title: The Mobius-Pompeiu metric property

abstract: In the paper we consider an extension of Mobius-Pompeiu theorem of the elementary geometry over metric spaces. We specially take into consideration Ptolemaic metric spaces.


title: Einstein Metrics, Symplectic Minimality, and Pseudo-Holomorphic Curves

abstract: Let (M, g, omega) be a compact, almost-Kaehler Einstein 4-manifold of negative star-scalar curvature. Then (M, omega) is a MINIMAL symplectic 4-manifold of general type. In particular, M cannot be differentiably decomposed as a connected sum N # (-CP_2).


title: Random walk loop soup

abstract: The Brownian loop soup introduced in Lawler and Werner (2004) is a Poissonian realization from a sigma-finite measure on unrooted loops. This measure satisfies both conformal invariance and a restriction property. In this paper, we define a random walk loop soup and show that it converges to the Brownian loop soup. In fact, we give a strong approximation result making use of the strong approximation result of Koml\'os, Major, and Tusn\'ady. To make the paper self-contained, we include a proof of the approximation result that we need.


title: A character formula for compact elements (the rank one case)

abstract: In their 1997 paper, Schneider and Stuhler gave a formula relating the value of an admissible character of a $p$-adic group at an elliptic element to the fixed point set of this element on the Bruhat-Tits building. Here we give a similar formula which works for compact elements. Elliptic elements have finitely many fixed facets in the building but compact elements can have infinitely many. In order to deal with the compact case we truncate the building so that we only look at a bounded piece of it. We show that for compact elements the (finite) information contained in the truncated building is enough to recover all of the information about the character. This works since the fixed point set of a compact (non elliptic) element is periodic. The techniques used here are more geometric in nature than the algebraic ones used by Schneider and Stuhler. We recover part of their result as a special case.


title: Area comparison results for isotropic surfaces

abstract: Consider a 2-plane $P \subset \mathbb{C}^n$ and let $D$ be a bounded region in $P$ with a piecewise-smooth boundary. Let $I(D)$ be the infimum of areas of all piecewise-smooth isotropic surfaces in $\mathbb{C}^n$ with the same boundary as $D$. Then $I(D)= \lambda_P^n \cdot Area(D)$. If $P$ is not complex, $\lambda_P^n < \frac{3\pi}{2\sqrt{2}}$. For a complex plane $\mathbb{C} \subset \mathbb{C}^n$, $\lambda_{\mathbb{C}}^n \geq 2$, $\lambda_{\mathbb{C}}^2 \geq 3$ and also $\frac{3\pi^2}{2\sqrt{2}}$ is the area of an explicit Hamiltonian stationary isotropic Mobius band embedded in $\mathbb{C}^n$ whose boundary is a unit circle in $\mathbb{C}$. As a corollary, a compact surface $\Sigma$ (possibly with boundary) in a symplectic manifold can be approximated by isotropic surfaces of area $\leq \frac{3\pi}{2\sqrt{2}} Area(\Sigma)$. Another corollary is that a closed curve of length $l$ in $\mathbb{C}^n$ bounds an isotropic surface of area $\leq \frac{3l^2}{8\sqrt{2}}$. A related result is the following: consider $\mathbb{C}P^1 \subset \mathbb{C}P^n$ and let $D$ be a region in $\mathbb{C}P^1$. Let $I(D)$ be the infimum of areas of all isotropic surfaces in $\mathbb{C}P^n$ with the same boundary as $D$ representing the same relative homology class mod 2 as $D$. Then $ 2 \cdot Area(D) \leq I(D) \leq \lambda_{\mathbb{C}}^n \cdot Area(D)$. Moreover the first inequality becomes an equality for $D=\mathbb{C}P^1$.


title: Surgery formula for the renormalized Euler characteristic of Heegaard Floer homology

abstract: We prove a surgery formula for the renormalized Euler characteristic of Ozsvath and Szabo. Equality between this Euler cahracteristic and the Seiberg-Witten invariant follows for rational homology three-spheres.


title: Nice Parabolic Subalgebras of Reductive Lie Algebras

abstract: This paper gives a classification of parabolic subalgebras of simple Lie algebras over $\CC$ that are complexifications of parabolic subalgebras of real forms for which Lynch's vanishing theorem for generalized Whittaker modules is non-vacuous. The paper also describes normal forms for the admissible characters in the sense of Lynch (at least in the quasi-split cases) and analyzes the important special case when the parabolic is defined by an even embedded TDS (three dimensional simple Lie algebra).


title: Discrete variational principles and Hamilton-Jacobi theory for mechanical systems and optimal control problems

abstract: In this paper we present a general framework that allows one to study discretization of certain dynamical systems. This generalizes earlier work on discretization of Lagrangian and Hamiltonian systems on tangent bundles and cotangent bundles respectively. In particular we show how to obtain a large class of discrete algorithms using this geometric approach. We give new geometric insight into the Newmark model for example and we give a direct discrete formulation of the Hamilton-Jacobi method. Moreover we extend these ideas to deriving a discrete version of the maximum principle for smooth optimal control problems. We define discrete variational principles that are the discrete counterpart of known variational principles. For dynamical systems, we introduce principles of critical action on both the tangent bundle and the cotangent bundle. These two principles are equivalent and allow one to recover most of the classical symplectic algorithms. We also identify a class of coordinate transformations that leave the variational principles presented in this paper invariant and develop a discrete Hamilton-Jacobi theory. This theory allows us to show that the energy error in the (symplectic) integration of a dynamical system is invariant under discrete canonical transformations. Finally, for optimal control problems we develop a discrete maximum principle that yields discrete necessary conditions for optimality. These conditions are in agreement with the usual conditions obtained from Pontryagin maximum principle. We illustrate our approach with an example of a sub-Riemannian optimal control.


title: Modular representations of cyclotomic Hecke algebras of type G(r,p,n)

abstract: We give a classification of the simple modules for the cyclotomic Hecke algebras over $\mathbb{C}$ in the modular case. We use the unitriangular shape of the decomposition matrices of Ariki-Koike algebras and Clifford theory.


title: Nonlinear Eigenvalues and Bifurcation Problems for Pucci's Operator

abstract: In this paper we extend existing results concerning generalized eigenvalues of Pucci's extremal operators. In the radial case, we also give a complete description of their spectrum, together with an equivalent of Rabinowitz's Global Bifurcation Theorem. This allows us to solve equations involving Pucci's operators.


title: Models for the irreducible representation of a Heisenberg group

abstract: In its most general formulation a quantum kinematical system is described by a Heisenberg group; the "configuration space" in this case corresponds to a maximal isotropic subgroup. We study irreducible models for Heisenberg groups based on compact maximal isotropic subgroups. It is shown that if the Heisenberg group is 2-regular, but the subgroup is not, the "vacuum sector" of the irreducible representation exhibits a fermionic structure. This will be the case, for instance, in a quantum mechanical model based on the 2-adic numbers with a suitably chosen isotropic subgroup. The formulation in terms of Heisenberg groups allows a uniform treatment of p-adic quantum systems for all primes p, and includes the possibility of treating adelic systems.


title: Geometric families of 4-dimensional Galois representations with generically large images

abstract: We study compatible families of four-dimensional Galois representations constructed in the \'{e}tale cohomology of a smooth projective variety. We prove a theorem asserting that the images will be generically large if certain conditions are satisfied. We only consider representations with coefficients in an imaginary quadratic field. We apply our result to an example constructed by Jasper Scholten, obtaining a family of linear groups and one of unitary groups as Galois groups over $\mathbb{Q}$.


title: Harness Processes and Non-Homogeneous Crystals

abstract: We consider the Harmonic crystal, a measure on $\mathbb{R}^{\mathbb{Z}^{d}}$ with Hamiltonian $H(\x)=\sum_{i,j}J_{i,j}(\x(i)-\x(j))^{2}+ h\sum_{i}(\x(i)-\dd(i))^{2}$, where $\x, \dd$ are configurations, $\x(i),\dd(i)\in\mathbb{R}$, $i,j\in{\mathbb{Z}^{d}}$. The configuration $\dd$ is given and considered as observations. The `couplings' $J_{i,j}$ are finite range. We use a version of the harness process to explicitly construct the unique infinite volume measure at finite temperature and to find the unique ground state configuration $\m$ corresponding to the Hamiltonian.


title: Subextension of plurisubharmonic functions with weak singularities

abstract: We prove several results showing that plurisubharmonic functions with various bounds on their Monge-Ampere masses on a bounded hyperconvex domain always admit global plurisubharmonic subextension with logarithmic growth at infinity.


title: Vanishing geodesic distance on spaces of submanifolds and diffeomorphisms

abstract: The $L^2$-metric or Fubini-Study metric on the non-linear Grassmannian of all submanifolds of type $M$ in a Riemannian manifold $(N,g)$ induces geodesic distance 0. We discuss another metric which involves the mean curvature and shows that its geodesic distance is a good topological metric. The vanishing phenomenon for the geodesic distance holds also for all diffeomorphism groups for the $L^2$-metric.


title: Diamond (on the regulars) can fail at any strongly unfoldable cardinal

abstract: If kappa is any strongly unfoldable cardinal, then this is preserved in a forcing extension in which Diamond_kappa(REG) fails. This result continues the progression of the corresponding results for weakly compact cardinals, due to Woodin, and for indescribable cardinals, due to Hauser.


title: Computation of generalized equivariant cohomologies of Kac-Moody flag varieties

abstract: In 1998, Goresky, Kottwitz, and MacPherson showed that for certain projective varieties X equipped with an algebraic action of a complex torus T, the equivariant cohomology ring H_T(X) can be described by combinatorial data obtained from its orbit decomposition. In this paper, we generalize their theorem in three different ways. First, our group G need not be a torus. Second, our space X is an equivariant stratified space, along with some additional hypotheses on the attaching maps. Third, and most important, we allow for generalized equivariant cohomology theories E_G^* instead of H_T^*. For these spaces, we give a combinatorial description of E_G(X) as a subring of \prod E_G(F_i), where the F_i are certain invariant subspaces of X. Our main examples are the flag varieties G/P of Kac-Moody groups G, with the action of the torus of G. In this context, the F_i are the T-fixed points and E_G^* is a T-equivariant complex oriented cohomology theory, such as H_T^*, K_T^* or MU_T^*. We detail several explicit examples.


title: Renormalization and motivic Galois theory

abstract: We investigate the nature of divergences in quantum field theory, showing that they are organized in the structure of a certain `` motivic Galois group'', which is uniquely determined and universal with respect to the set of physical theories. The renormalization group can be identified canonically with a one parameter subgroup. The group is obtained through a Riemann-Hilbert correspondence. Its representations classify equisingular flat vector bundles, where the equisingularity condition is a geometric formulation of the fact that in quantum field theory the counterterms are independent of the choice of a unit of mass. As an algebraic group scheme, it is a semi-direct product by the multiplicative group of a pro-unipotent group scheme whose Lie algebra is freely generated by one generator in each positive integer degree. There is a universal singular frame in which all divergences disappear. When computed as iterated integrals, its coefficients are certain rational numbers that appear in the local index formula of Connes-Moscovici. When working with formal Laurent series over the field of rational numbers, the data of equisingular flat vector bundles define a Tannakian category whose properties are reminiscent of a category of mixed Tate motives.

categories: math.NT hep-th math-ph math.AG math.MP math.QA


title: Braid groups, free groups, and the loop space of the 2-sphere

abstract: The purpose of this article is to describe connections between the loop space of the 2-sphere, Artin's braid groups, a choice of simplicial group whose homotopy groups are given by modules called Lie(n), as well as work of Milnor, and Habegger-Lin on "homotopy string links". The current article exploits Lie algebras associated to Vassiliev invariants in work of T. Kohno, and provides connections between these various topics. Two consequences are as follows: 1) the homotopy groups of spheres are identified as "natural" sub-quotients of free products of pure braid groups, and 2) an axiomatization of certain simplicial groups arising from braid groups is shown to characterize the homotopy types of connected $CW$-complexes.


title: The range of the heat operator

abstract: This paper describes results characterizing the range of the time-t heat operator on various manifolds, including Euclidean spaces, spheres, and hyperbolic spaces. The guiding principle behind these results is this: The functions in the range of the heat operator should be, roughly, those functions having an analytic continuation to the appropriate complexified manifold with growth in the imaginary directions at most like that of the time-t heat heat kernel.


title: Surfaces, circles, and solenoids

abstract: Previous work of the author has developed coordinates on bundles over the classical Teichmueller spaces of punctured surfaces and on the space of cosets of the Moebius group in the group of orientation-preserving homeomorphisms of the circle, and this work is surveyed here. Joint work with Dragomir Saric is also sketched which extends these results to the setting of the Teichmueller space of the solenoid of a punctured surface, which is defined here in analogy to Dennis Sullivan's original definition for the case of closed surfaces. Because of relations with the classical modular group, the punctured solenoid and its Teichmueller theory have connections with number theory.


title: Remarks on a quasi-linear model of the Navier-Stokes Equations

abstract: Dinaburg and Sinai recently proposed a quasi-linear model of the Navier-Stokes equations. Their model assumes that nonlocal interactions in Fourier space are dominant, contrary to the Kolmogorov turbulence phenomenology where local interactions prevail. Their equation corresponds to the linear evolution of small scales on a background field with uniform gradient, but the latter is defined as the linear superposition of all the small scale gradients at the origin. This is not self-consistent.


title: The minimal entropy conjecture for nonuniform rank one lattices

abstract: The Besson-Courtois-Gallot theorem is proven for noncompact finite volume Riemannian manifolds. In particular, no bounded geometry assumptions are made. This proves the minimal entropy conjecture for nonuniform rank one lattices.


title: Hyperbolic convex cores and simplicial volume

abstract: This paper investigates the relationship between the topology of hyperbolizable 3-manifolds M with incompressible boundary and the volume of hyperbolic convex cores homotopy equivalent to M. Specifically, it proves a conjecture of Bonahon stating that the volume of a convex core is at least half the simplicial volume of the doubled manifold DM, and this inequality is sharp. This paper proves that the inequality is in fact sharp in every pleating variety of AH(M).


title: Agmon-Kato-Kuroda theorems for a large class of perturbations

abstract: We extend the classical Agmon theorem on asymptotic completeness of two body Schroedinger operators to cover a larger class of perturbations. This is accomplished by means of a suitable limiting absorption principle. The proof of the latter relies on methods from harmonic analysis centered around the Stein-Tomas and Bochner-Riesz theorems.


title: The L-functions of twisted Witt extensions

abstract: The L-function of a non-degenerate twisted Witt extension is proved to be a polynomial. Its Newton polygon is proved to lie above the Hodge polygon of that extension. And the Newton polygons of the Gauss-Heilbronn sums are explicitly determined, generalizing the Stickelberger theorem.


title: Energy Estimates for Solutions of Spinodal Decomposition Problem

abstract: We show the global existence of smooth solutions of a nonlinear partial differential equation modeling the dynamics of spinodal decomposition in diffusive materials


title: Extremal eigenvalues of the Laplacian in a conformal class of metrics : the "conformal spectrum"

abstract: Let $M$ be a compact connected manifold of dimension $n$ endowed with a conformal class $C$ of Riemannian metrics of volume one. For any integer $k\geq0$, we consider the conformal invariant $\lambda_k ^c (C)$ defined as the supremum of the $k$-th eigenvalue $\lambda_k (g)$ of the Laplace-Beltrami operator $\Delta_g$, where $g$ runs over $C$. First, we give a sharp universal lower bound for $\lambda_k ^c (C)$ extending to all $k$ a result obtained by Friedlander and Nadirashvili for $k=1$. Then, we show that the sequence $ \{\lambda_k ^c (C) \}$, that we call "conformal spectrum", is strictly increasing and satisfies, $\forall k\geq 0$, $\lambda_{k+1} ^c (C)^{n/2} - \lambda_k ^c (C)^{n/2} \geq n^{n/2} \omega_n $, where $\omega_n $ is the volume of the $n$-dimensional standard sphere. When $M$ is an orientable surface of genus $\gamma$, we also consider the supremum $\lambda_k ^{top} (\gamma)$ of $\lambda_k(g)$ over the set of all the area one Riemannian metrics on $M$, and study the behavior of $\lambda_k ^{top} (\gamma)$ in terms of $\gamma$.


title: Large deviations for the chemical distance in supercritical Bernoulli percolation

abstract: The chemical distance D(x,y) is the length of the shortest open path between two points x and y in an infinite Bernoulli percolation cluster. In this work, we study the asymptotic behaviour of this random metric, and we prove that, for an appropriate norm $\mu$ depending on the dimension and the percolation parameter, the probability of the event \[\biggl\{0\leftrightarrow x,\frac{D(0,x)}{\mu(x)}\notin (1-\epsilon, 1+\epsilon) \biggr\}\] exponentially decreases when $\|x\|_1$ tends to infinity. From this bound we also derive a large deviation inequality for the corresponding asymptotic shape result.


title: Pluricanonical systems of projective varieties of general type II

abstract: This is a revised version of the second half of my paper math.AG/9909021. We prove that there exists a positive integer $\nu_{n}$ depending only on $n$ such that for every smooth projective $n$-fold of general type $X$ defined over complex numbers, $\mid mK_{X}\mid$ gives a birational rational map from $X$ into a projective space for every $m\geq \nu_{n}$.


title: Detecting the growth of free group automorphisms by their action on the homology of subgroups of finite index

abstract: We prove that if F is a finitely generated free group and f:F -> F is an automorphism with polynomial growth of degree d, then there exists a characteristic subgroup S < F of finite index such that the induced automorphism of the abelianisation of S also grows polynomially of degree d. The proof is geometric in nature and makes use of improved relative train track representatives.


title: Minimalite des sous-varietes totalement geodesiques en geometrie finslerienne

abstract: It is shown that if the Holmes-Thompson volume definition is used, totally geodesic submanifolds of a Finsler space are minimal. The analogous result for the Hausdorff measure is known to be false. ----- Nous montrons que les sous-varietes totalement geodesiques d'une variete de Finsler sont minimales pour le volume de Holmes-Thompson. Pour la mesure de Hausdorff, des contre-exemples a ce resultat sont connus.


title: Cover pebbling numbers and bounds for certain families of graphs

abstract: Given a configuration of pebbles on the vertices of a graph, a pebbling move is defined by removing two pebbles from some vertex and placing one pebble on an adjacent vertex. The cover pebbling number of a graph, gamma(G), is the smallest number of pebbles such that through a sequence of pebbling moves, a pebble can eventually be placed on every vertex simultaneously, no matter how the pebbles are initially distributed. The cover pebbling number for complete multipartite graphs and wheel graphs is determined. We also prove a sharp bound for gamma(G) given the diameter and number of vertices of G.


title: Hessians and the moduli space of cubic surfaces

abstract: The Hessian of a general cubic surface is a nodal quartic surface, hence its desingularisation is a K3 surface. We determine the transcendental lattice of the Hessian K3 surface for various cubic surfaces (with nodes and/or Eckardt points for example). Classical invariant theory shows that the moduli space of cubic surfaces is a weighted projective space. We describe the singular locus and some other subvarieties of the moduli space.


title: A combinatorial proof of Postnikov's identity and a generalized enumeration of labeled trees

abstract: In this paper, we give a simple combinatorial explanation of a formula of A. Postnikov relating bicolored rooted trees to bicolored binary trees. We also present generalized formulas for the number of labeled k-ary trees, rooted labeled trees, and labeled plane trees.


title: Optimal with respect to accuracy algorithms for calculation of multidimensional weakly singular integrals and applications to calculations of capacitances of conductors of arbitrary shapes

abstract: Cubature formulas, asymptotically optimal with respect to accuracy, are derived for calculating multidimensional weakly singular integrals. They are used for developing a universal code for calculating capacitances of conductors of arbitrary shapes.


title: Global convergence for ill-posed equations with monotone operators: the dynamical systems method

abstract: Consider an operator equation $F(u)=0$ in a real Hilbert space. Let us call this equation ill-posed if the operator $F'(u)$ is not boundedly invertible, and well-posed otherwise. If $F$ is monotone $C^2_{loc}(H)$ operator, then we construct a Cauchy problem, which has the following properties: 1) it has a global solution for an arbitrary initial data, 2) this solution tends to a limit as time tends to infinity, 3) the limit is the minimum norm solution to the equation $F(u)=0$. Example of applications to linear ill-posed operator equation is given.


title: Dynamical Systems Method for ill-posed equations with monotone operators

abstract: Consider an operator equation (*) $B(u)-f=0$ in a real Hilbert space. Let us call this equation ill-posed if the operator $B'(u)$ is not boundedly invertible, and well-posed otherwise. The DSM (dynamical systems method) for solving equation (*) consists of a construction of a Cauchy problem, which has the following properties: 1) it has a global solution for an arbitrary initial data, 2) this solution tends to a limit as time tends to infinity, 3) the limit is the minimal-norm solution to the equation $B(u)=f$. A global convergence theorem is proved for DSM for equation (*) with monotone $C_{loc}^2$ operators $B$.


title: Dispersive Bounds for the three-dimensional Schrodinger equation with almost critical potentials

abstract: We prove a dispersive estimate for the time-independent Schrodinger operator H = -\Delta + V in three dimensions. The potential V(x) is assumed to lie in the intersection L^p(R^3) \cap L^q(R^3), p < 3/2 < q, and also to satisfy a generic zero-energy spectral condition. This class, which includes potentials that have pointwise decay |V(x)| < C(1+|x|)^{-2-\epsilon}, is nearly critical with respect to the natural scaling of the Laplacian. No additional regularity, decay, or positivity of V is assumed.


title: A spanning tree model for Khovanov homology

abstract: We use a spanning tree model to prove a result of E. S. Lee on the support of Khovanov homology of alternating knots.


title: Intersections of Schubert varieties and highest weight vectors in tensor products of sl_{N+1}-representations

abstract: There is a correspondence between highest weight vectors in the tensor product of finite-dimensional irreducible sl(N+1)-modules marked by distinct complex numbers, on the one hand, and elements of the intersection of the Schubert varieties taken with respect to the osculating flags of the normal rational curve at the points corresponding to these complex numbers, on the other hand. The highest weight vectors are the Bethe vectors of the sl(N+1) Gaudin model and the elements are the (N+1)-dimensional non-degenerate planes in the vector space of complex polynomials. In the present paper we exploit this correspondence in order to calculate Bethe vectors is the tensor product of two irreducible finite-dimensional sl(N+1)-representations. We find the Bethe vector in the case when one of the two representations is a symmetric power of the standard one. The idea is to look for the intersection of Schubert varieties related to a Bethe vector. We present explicitly a basis of the corresponding (N+1)-dimensional plane in the space of polynomials.


title: Potpourri, 3

abstract: These notes are connected to a "potpourri" topics class and deal with some special cases of norms of various objects which arise in classical analysis.


title: Frobenius Problem for Semigroups ${\sl S}(d_1,d_2,d_3)$

abstract: The matrix representation of the set $\Delta({\bf d}^3)$, ${\bf d}^3=(d_1,d_2, d_3)$, of the integers which are unrepresentable by $d_1,d_2,d_3$ is found. The diagrammatic procedure of calculation of the generating function $\Phi({\bf d}^3;z)$ for the set $\Delta({\bf d}^3)$ is developed. The Frobenius number $F({\bf d}^3)$, genus $G({\bf d}^3)$ and Hilbert series $H({\bf d}^3;z)$ of a graded subring for non--symmetric and symmetric semigroups ${\sf S}({\bf d}^3)$ are found. The upper bound for the number of non--zero coefficients in the polynomial numerators of Hilbert series $H({\bf d}^m;z)$ of graded subrings for non--symmetric semigroups ${\sf S} ({\bf d}^m)$ of dimension, $m\geq 4$, is established.


title: The Z-graded symplectic Floer cohomology of monotone Lagrangian sub-manifolds

abstract: We define an integer graded symplectic Floer cohomology and a Fintushel-Stern type spectral sequence which are new invariants for monotone Lagrangian sub-manifolds and exact isotopes. The Z-graded symplectic Floer cohomology is an integral lifting of the usual Z_Sigma(L)-graded Floer-Oh cohomology. We prove the Kunneth formula for the spectral sequence and an ring structure on it. The ring structure on the Z_Sigma(L)-graded Floer cohomology is induced from the ring structure of the cohomology of the Lagrangian sub-manifold via the spectral sequence. Using the Z-graded symplectic Floer cohomology, we show some intertwining relations among the Hofer energy e_H(L) of the embedded Lagrangian, the minimal symplectic action sigma(L), the minimal Maslov index Sigma(L)$ and the smallest integer k(L, phi$ of the converging spectral sequence of the Lagrangian L.


title: Representation theory and random point processes

abstract: We discuss a connection between two areas of mathematics which until recently seemed to be rather distant from each other: (1) noncommutative harmonic analysis on groups and (2) some topics in probability theory related to random point processes. In order to make the paper accessible to readers not familiar with either of these areas, we explain all needed basic concepts. This is an extended version of G.Olshanski's talk at the 4th European Congress of Mathematics.


title: Lehmer Inequality and the Mordell-Weil Theorem for Drinfeld modules

abstract: In this paper we prove a special case of the Lehmer inequality for Drinfeld modules. Also, based on this inequality, we prove certain Mordell-Weil type of theorems for certain infinitely generated fields.


title: One-dimensional linear recursions with Markov-dependent coefficients

abstract: For a class of stationary Markov-dependent sequences $(A_n,B_n)\in\mathbb{R}^2,$ we consider the random linear recursion $S_n=A_n+B_nS_{n-1},$ $n\in\mathbb{Z},$ and show that the distribution tail of its stationary solution has a power law decay.


title: Numerical Solution of Obstacle Scattering Problems

abstract: Some novel numerical approaches to solving direct and inverse obstacle scattering problems (IOSP) are presented. Scattering by finite obstacles and by periodic structures is considered. The emphasis for solving direct scattering problem is on the Modified Rayleigh Conjecture (MRC) method, recently introduced and tested by the authors. This method is used numerically in scattering by finite obstacles and by periodic structures. Numerical results it produces are very encouraging. The support function method (SFM) for solving the IOSP is described and tested in some examples. Analysis of the various versions of linear sampling methods for solving IOSP is given and the limitations of these methods are described.


title: Ehrhart polynomials of cyclic polytopes

abstract: The Ehrhart polynomial of an integral convex polytope counts the number of lattice points in dilates of the polytope. In math.CO/0402148, the authors conjectured that for any cyclic polytope with integral parameters, the Ehrhart polynomial of it is equal to its volume plus the Ehrhart polynomial of its lower envelope and proved the case when the dimension d = 2. In our article, we prove the conjecture for any dimension.


title: Hilbert functions of points on Schubert varieties in the Symplectic Grassmannian

abstract: We give an explicit combinatorial description of the multiplicity as well as the Hilbert function of the tangent cone at any point on a Schubert variety in the symplectic Grassmannian.


title: Postnikov Invariants of Crossed Complexes

abstract: We determine the Postnikov Tower and Postnikov Invariants of a Crossed Complex in a purely algebraic way. Using the fact that Crossed Complexes are homotopy types for filtered spaces, we use the above "algebraically defined" Postnikov Tower and Postnikov Invariants to obtain from them those of filtered spaces. We argue that a similar "purely algebraic" approach to Postnikov Invariants may also be used in other categories of spaces.


title: Bi-Lipschitz equivalent Alexandrov surfaces, I

abstract: This is the first paper of two ones. Here we prove that two compact Alexandrov surfaces of bounded integral curvature having no peak points are bi-Lipschitz equivalent if they are homeomorphic one to the other. Also conditions under that two ends having finite integral negative curvature are bi-Lipschitz equivalent are considered. In the second paper it is shown that a bi-Lipschitz constant can be estimated depending on several geometric characteristics.


title: Uniformizing the Stacks of Abelian Sheaves

abstract: Elliptic sheaves (which are related to Drinfeld modules) were introduced by Drinfeld and further studied by Laumon--Rapoport--Stuhler and others. They can be viewed as function field analogues of elliptic curves and hence are objects "of dimension 1". Their higher dimensional generalisations are called abelian sheaves. In the analogy between function fields and number fields, abelian sheaves are counterparts of abelian varieties. In this article we study the moduli spaces of abelian sheaves and prove that they are algebraic stacks. We further transfer results of Cerednik--Drinfeld and Rapoport--Zink on the uniformization of Shimura varieties to the setting of abelian sheaves. Actually the analogy of the Cerednik--Drinfeld uniformization is nothing but the uniformization of the moduli schemes of Drinfeld modules by the Drinfeld upper half space. Our results generalise this uniformization. The proof closely follows the ideas of Rapoport--Zink. In particular, analogies of $p$-divisible groups play an important role. As a crucial intermediate step we prove that in a family of abelian sheaves with good reduction at infinity, the set of points where the abelian sheaf is uniformizable in the sense of Anderson, is formally closed.


title: Relative mapping class group of $S^p\times D^q$

abstract: Algebraic structure of the group of pseudo-isotopy classes of diffeomorphisms of the trivial disk bundle over the standard sphere which restrict to the identity map on the boundary is determined.


title: Bi-Lipschitz equivalent Alexandrov surfaces, II

abstract: This is a continuation of the joint paper with the same title by A.Belenkiy and Yu.Burago. It is proved here that two homeomorphic closed Alexandrov surfaces (of bounded integral curvature) are bi-Lipschitz with a constant depending only on upper bounds of their Euler number, diameters, negative integral curvatures, and two positive numbers e and l such that positive curvature of each embedded disk with perimeter not greater than l is not greater than \pi-e.


title: Concentration of the Brownian bridge on Cartan-Hadamard manifolds with pinched negative sectional curvature

abstract: We study the rate of concentration of a Brownian bridge in time one around the corresponding geodesical segment on a Cartan-Hadamard manifold with pinched negative sectional curvature, when the distance between the two extremities tends to infinity. This improves on previous results by A. Eberle, and one of us. Along the way, we derive a new asymptotic estimate for the logarithmic derivative of the heat kernel on such manifolds, in bounded time and with one space parameter tending to infinity, which can be viewed as a counterpart to Bismut's asymptotic formula in small time.


title: Generators for Arithmetic Groups

abstract: We prove that any non-cocompact irreducible lattice in a higher rank semi-simple Lie group contains a subgroup of finite index, which has three generators.


title: Depth two, normality and a trace ideal condition for Frobenius extensions

abstract: We review the depth two and Hopf algebroid-Galois theory in math.RA/0108067 and specialize to induced representations of semisimple algebras and character theory of finite groups. We show that depth two subgroups over the complex numbers are normal subgroups. As a converse we observe that normal Hopf subalgebras over a field are depth two extensions. We introduce a generalized Miyashita-Ulbrich action on the centralizer of a ring extension, and apply it to a study of depth two and separable extensions, providing new characterizations of separable and H-separable extensions. With a view to the problem of when separable extensions are Frobenius, we supply a trace ideal condition for when a ring extension is Frobenius.


title: On harmonic and asymptotically harmonic homogeneous spaces

abstract: We classify noncompact homogeneous spaces which are Einstein and asymptotically harmonic. This completes the classification of Riemannian harmonic spaces in the homogeneous case: Any simply connected homogeneous harmonic space is flat, or rank-one symmetric, or a nonsymmetric Damek-Ricci space. Independently, Y. Nikolayevsky has obtained the latter classification under the additional assumption of nonpositive sectional curvatures.


title: A Septic with 99 real Nodes

abstract: We find a surface of degree 7 in real projective three-space P^3(R) with 99 real nodes within a family of surfaces with dihedral symmetry: First, we consider this family over some small prime fields, which allows us to test all possible parameter sets using computer algebra. In this way we find some examples of 99-nodal surfaces over some of these finite fields. Then, the examination of the geometry of these surfaces allows us to determine the parameters of a 99-nodal septic in characteristic zero. This narrows the possibilities for \mu(7), the maximum number of nodes on a septic, to: 99 <= \mu(7) <= 104. When reducing our surface modulo 5, we even obtain a 100-nodal septic in P^3(F_5).


title: On intersection of simply connected sets in the plane

abstract: Several authors have recently attempted to show that the intersection of three simply connected subcontinua of the plane is simply connected provided it is non-empty and the intersection of each two of the continua is path connected. In this note we give a very short complete proof of this fact. We also confirm a related conjecture of Karimov and Repovs.


title: The braid groups of the projective plane

abstract: Let B_n(RP^2)$ (respectively P_n(RP^2)) denote the braid group (respectively pure braid group) on n strings of the real projective plane RP^2. In this paper we study these braid groups, in particular the associated pure braid group short exact sequence of Fadell and Neuwirth, their torsion elements and the roots of the `full twist' braid. Our main results may be summarised as follows: first, the pure braid group short exact sequence 1 --> P_{m-n}(RP^2 - {x_1,...,x_n}) --> P_m(RP^2) --> P_n(RP^2) --> 1 does not split if m > 3 and n=2,3. Now let n > 1. Then in B_n(RP^2), there is a k-torsion element if and only if k divides either 4n or 4(n-1). Finally, the full twist braid has a k-th root if and only if k divides either 2n or 2(n-1).


title: The 2-bridge knots of up to 16 crossings

abstract: For any given number of crossings $c$, there exists a formula to determine the number of 2-bridge knots of $c$ crossings, and indeed it is a simple matter to actually construct presentations of these knots. However, the determination of whether a given (prime) knot is a 2-bridge knot remains a nontrivial exercise, and we have no procedure to determine bridge numbers more generally. Herein, we identify the 2-bridge knots within the Hoste--Thistlethwaite--Weeks tables of prime knots of up to 16 crossings by an exhaustive search of a larger set of 2-bridge knots. As the unknot is the only knot with bridge number 1, this yields a lower bound of 3 for the bridge numbers of the remaining knots.