The second cohomology with symmplectic coefficients of the moduli space of smooth projcetive curves

Each finite dimensional irreducible rational representation V of the symplectic group Sp_2g(Q) determines a generically defined local system V over the moduli space M_g of genus g smooth projective curves. We study H² (M_g; V) and the mixed Hodge structure on it. Specifically, we prove that if g 6, then the natural map IH²(M~_g; V) H²(M_g; V) is an isomorphism where M~_{_g} is tfhe Satake compactification of M_g. Using the work of Saito we conclude that the mixed Hodge structure on H²(M_g; V) is pure of weight 2+r if V underlies a variation of Hodge structure of weight r. We also obtain estimates on the weight of the mixed Hodge structure on H²(M_g; V) for 3 g < 6. Results of this article can be applied in the study of relations in the Torelli group T_g.     

Compactified Picard stacks over $${\overline{\mathcal M}_g}$$

We study algebraic (Artin) stacks over [`(M)]<sub>g</sub>{\overline{\mathcal M}_{g}} giving a functorial way of compactifying the relative degree d Picard variety for families of stable curves. We also describe for every d the locus of genus g stable curves over which we get Deligne–Mumford stacks strongly representable over[`(M)]_g{\overline{\mathcal M}_{g}} .     

The Mumford relations and the moduli of rank three stable bundles

The cohomology ring of the moduli space M(n,d) of semistable bundles of coprime rank n and degree d over a Riemann surface M of genus g 2 has again proven a rich source of interest in recent years. The rank two, odd degree case is now largely understood. In 1991 Kirwan [8] proved two long standing conjectures due to Mumford and to Newstead and Ramanan. Mumford conjectured that a certain set of relations form a complete set; the Newstead-Ramanan conjecture involved the vanishing of the Pontryagin ring. The Newstead–Ramanan conjecture was independently proven by Thaddeus [15] as a corollary to determining the intersection pairings. As yet though, little work has been done on the cohomology ring in higher rank cases. A simple numerical calculation shows that the Mumford relations themselves are not generally complete when n>2. However by generalising the methods of [8] and by introducing new relations, in a sense dual to the original relations conjectured by Mumford, we prove results corresponding to the Mumford and Newstead-Ramanan conjectures in the rank three case. Namely we show (Sect. 4) that the Mumford relations and these dual Mumford relations form a complete set for the rational cohomology ring of M(3,d) and show (Sect. 5) that the Pontryagin ring vanishes in degree 12g-8 and above.     

Asymptotiques d’un systeme dynamique conservatif associe a une equation elliptique non lineaire

LetM be a compact riemannian manifold,h an odd function such thath(r)/r is non-decreasing with limit 0 at 0. Letf(r)=h(r)-γr and assume there exist non-negative constantsA andB and a realp>1 such thatf(r)>Ar ^P-B. We prove that any non-negative solutionu ofu _tt+Δ_gu=f(u) onM x ℝ⁺ satisfying Dirichlet or Neumann boundary conditions on ϖM converges to a (stationary) solution of Δ _g Φ=f(Φ) onM with exponential decay of ‖u-Φ‖C ²(M). For solutions with non-constant sign, we prove an homogenisation result for sufficiently small λ; further, we show that for every λ the map (u(0,·),u _t(0,·))→(u(t,·), u _t(t,·)) defines a dynamical system onW ^1/2(M)⊂C(M)×L ²(M) which possesses a compact maximal attractor.      

Chow group of 1-cycles on the moduli space of vector bundles of rank 2 over a curve

Let X be a non-singular complex projective curve of genus ≥3. Choose a point x ∈ X. Let M_x be the moduli space of stable bundles of rank 2 with determinant We prove that the Chow group CH^Q₁(M_x) of 1-cycles on M_x with rational coefficients is isomorphic to CH^Q₀(X). By studying the rational curves on M_x, it is not difficult to see that there exits a natural homomorphism CH₀(J)→CH₁(M_x) where J denotes the Jacobian of X. The crucial point is to show that this homomorphism induces a homomorphism CH₀(X)→CH₁(M_x), namely, to go from the infinite dimensional object CH₀(J) to the finite dimensional object CH₀(X). This is proved by relating the degeneration of Hecke curves on M_x to the second term I^*2 of Bloch's filtration on CH₀(J). Insong Choe was supported by KOSEF (R01-2003-000-11634-0).     

On the Gap between the First Eigenvalues of the Laplacian on Functions and p-Forms

We study the first positive eigenvalue ^(p) ₁(g) of the Laplacian on p-forms for a connected oriented closed Riemannianmanifold (M, g) of dimension m. We show that for 2 p m – 2 a connected oriented closed manifold M admits three metrics g _i (i = 1, 2, 3) such that ^(p) ₁(g ₁)> ⁽⁰⁾ ₁(g ₁),^(p) ₁(g ₂) < ⁽⁰⁾ ₁(g ₂) and^(p) ₁(g ₃)= ⁽⁰⁾ ₁(g ₃).Furthermore, if (M, g) admits a nontrivial parallel p-form,then ^(p) ₁ ⁽⁰⁾ ₁ always holds.     

Finite-Dimensional Motives and the Conjectures of Beilinson and Murre

We relate the notion of finite dimensionality of the Chow motive M(X) of a smooth projective variety X (as defined by S. Kimura) with the conjectures of Beilinson, Bloch and Murre on the existence of a filtration on the Chow ring CH*(X). We show (Theorem 3) that finite dimensionality of M(X) implies uniqueness, up to isomorphism, of Murre's decomposition of M(X). Conversely (Theorem 4), Murre's conjecture for X ^m ×X ^m (for a suitable m) implies finite-dimensionality of M(X). We also show (Theorem 7) that, for a surface X with p _g = 0, the motive M(X) is finite-dimensional if and only if the Chow group of 0-cycles of X is finite-dimensional in the sense of Mumford, i.e. iff the Bloch conjecture holds for X.The second named author is a member of GNSAGA of CNR.     

Stiefel–Whitney surfaces and the tri-genus of non-orientable 3-manifolds

Every non-orientable 3-manifold M can be expressed as a union of three orientable handlebodies V ₁,V ₂,V ₃ whose interiors are pairwise disjoint. If g _i denotes the genus of ∂V _i and g ₃≤g ₂≤g ₃, then the tri-genus of M is the minimum triple (g ₁,g ₂,g ₃), ordered lexicographically. If the Bockstein of the first Stiefel–Whitney class βw ₁(M)=0, then M has tri-genus (0,2g,g ₃), where g is the minimal genus of a 2-sided Stiefel Whitney surface of M. In this paper it is shown that, if βw ₁(M)&\ne;0, then M has tri-genus (1,2g−1,g ₃), where g is the minimal genus of a (1-sided) Stiefel–Whitney surface. As an application the tri-genus of certain graph manifolds is computed. Received: 28 April 1999     

Torsion sur des familles de courbes de genre g

We construct here, forl=2g ² +2g+1 or2g ² +3g+1, a family with one parameter of hyperelliptic curves of genusg overQ such that its jacobian has a point of orderl rational overQ(t). Wheng=2 the method allows to construct, forl=17, 19 or 21 a family with one parameter of hyperelliptic curves of genus 2 overQ such that its jacobian has a point of orderl rational overQ(t).      

The Weierstrass gap sets for quadruples II

Let M be a compact Riemann surface of genus g. Let P _i (i = 1, ..., 4) be 4 distinct points on M. We denote G(P ₁, P ₂, P ₃, P ₄) the Weierstrass gap set. In this paper, we prove that, for large g, the upper bound of #G(P ₁, P ₂, P ₃, P ₄) is attained if and only if M is hyperelliptic and |2P _i | = g ₂¹.     

Configuration Models For Moduli Spaces of Riemann surfaces with boundary

In this article we consider Riemann surfacesF of genus g ≥ 0 with n ≥ 1 incoming and m ≥ 1 outgoing boundary circles, where on each incoming circle a point is marked. For the moduli space m_g*(m, n) of all suchF of genusg ≥ 0 a configuration space model Rad_h(m, n) is described: it consists of configurations of h = 2g-2+m+n pairs of radial slits distributed over n annuli; certain combinatorial conditions must be satisfied to guarantee the genusg and exactly m outgoing circles. Our main result is a homeomorphism between Rad_h(m, n) and M_g*(m,n). The space Rad_h(m, n) is a non-compact manifold, and the complement of a subcomplex in a finite cell complex. This can be used for homological calculations. Furthermore, the family of spaces Rad_h(m, n ) form an operad, acting on various spaces connected to conformai field theories.     

On the Degeneracy Locus of a Map of Vector Bundles on Grassamannian Varieties

Let ℒ︁ be a line bundle on a smooth curve C of genus g ≥ 2 and let W ⊂ H⁰ (ℒ︁) be a subspace of dimension r +1, in this paper we study the natural map μ_W : W ⊗ H⁰ (ω_C) → H⁰ (ℒ︁ ⊗ ω_C). Let D ⊂ G(r + 1, H⁰(ℒ︁)) be the locus where μ_W fails to be surjective: we prove that, if C is not hyperelliptic of genus g ≥ 3, D is an irreducible and reduced divisor on G(r + 1, H⁰(ℒ︁)) for any r ≥ 3, and for r = 2 if the curve C is not trigonal.     

The conformal plate buckling equation

The linear equation Δ²u = 1 for the infinitesimal buckling under uniform unit load of a thin elastic plate over ?² has the particularly interesting nonlinear generalization Δ_g²u = 1, where Δ_g = e^?2u Δ is the Laplace‐Beltrami operator for the metric g = e^2ug₀, with g₀ the standard Euclidean metric on ?². This conformal elliptic PDE of fourth order is equivalent to the nonlinear system of elliptic PDEs of second order Δu(x)+K_g(x) exp(2u(x)) = 0 and Δ K_g(x) + exp(2u(x)) = 0, with x ∈ ?², describing a conformally flat surface with a Gauss curvature function K_g that is generated self‐consistently through the metric's conformal factor. We study this conformal plate buckling equation under the hypotheses of finite integral curvature ∫ K_g exp(2u)dx = κ, finite area ∫ exp(2u)dx = α, and the mild compactness condition K₊ ∈ L¹(B₁(y)), uniformly w.r.t. y ∈ ?². We show that asymptotically for |x|→∞ all solutions behave like u(x) = ?(κ/2π)ln |x| + C + o(1) and K(x) = ?(α/2π) ln|x| + C + o(1), with κ ∈ (2π, 4π) and . We also show that for each κ ∈ (2π, 4π) there exists a K^* and a radially symmetric solution pair u, K, satisfying K(u) = κ and maxK = K^*, which is unique modulo translation of the origin, and scaling of x coupled with a translation of u. © 2001 John Wiley & Sons, Inc.     

Recurrence relations based on minimization and maximization

Explicit and asymptotic solutions are presented to the recurrence M(1) = g(1), M(n + 1) = g(n + 1) + min_{1 ? t ? n}(αM(t) + βM(n + 1 ? t)) for the cases (1) α + β < 1, $\text{log}{}_2\text{α}\text{log}{}_2\text{β}$ is rational, and g(n) = δ_nI. (2) α + β > 1, min(α, β) > 1, $\text{log}{}_2\text{α}\text{log}{}_2\text{β}$ is rational, and (a) g(n) = δ_n1, (b) g(n) = 1. The general form of this recurrence was studied extensively by Fredman and Knuth [J. Math. Anal. Appl.48 (1974), 534–559], who showed, without actually solving the recurrence, that in the above cases $\text{M(n) = Ω(n}{}^{\mathrm{<mtext>1\; +\; </mtext><mtext>1</mtext><mtext>\gamma </mtext>}}\text{)}$, where γ is defined by α^?γ + β^?γ = 1, and that $\text{lim}{}_{\mathrm{n\; \to \; \infty }}\text{M(n)}\text{n}{}^{\mathrm{1\; +\; \gamma }}$ does not exist. Using similar techniques, the recurrence M(1) = g(1), M(n + 1) = g(n + 1) + max_{1 ? t ? n}(αM(t) + βM(n + 1 ? t)) is also investigated for the special case α = β < 1 and g(n) = 1 if n is odd = 0 if n is even.     

On polynomial symbols for subdivision schemes

Given a dilation matrix A :ℤ^d→ℤ^d, and G a complete set of coset representatives of 2π(A ^−Tℤ^d/ℤ^d), we consider polynomial solutions M to the equation ∑ _g∈G M(ξ+g)=1 with the constraints that M≥0 and M(0)=1. We prove that the full class of such functions can be generated using polynomial convolution kernels. Trigonometric polynomials of this type play an important role as symbols for interpolatory subdivision schemes. For isotropic dilation matrices, we use the method introduced to construct symbols for interpolatory subdivision schemes satisfying Strang–Fix conditions of arbitrary order. Research partially supported by the Danish Technical Science Foundation, Grant No. 9701481, and by the Danish SNF-PDE network.     

Isoperimetric regions in spherical cones and Yamabe constants of M ×?S1

We study isoperimetric regions on Riemannian manifolds of the form (M ⁿ × (0, π), sin²(t)g + dt ²) where g is a metric of positive Ricci curvature ≥ n − 1. When g is an Einstein metric we use this to compute the Yamabe constant of (M ×\mathbbR, g+ dt² ){(M \times \mathbb{R}, g+ dt^2 )} and so to obtain lower bounds for the Yamabe invariant of M × S ¹.     

On the rational cohomology of moduli spaces of curves with level structures

We investigate low degree rational cohomology groups of smooth compactifications of moduli spaces of curves with level structures. In particular, we determine H^k([`(S)]<sub>g</sub>, \mathbb Q){H^k\left({\bar S}_{g}, {\mathbb Q}\right)} for g ≥ 2 and k ≤ 3, where [`(S)]_g{{\bar S}_{g}} denotes the moduli space of spin curves of genus g.     

Finite Blaschke product and the multiplication operators on Sobolev disk algebra

Let R(D) be the algebra generated in Sobolev space W22(D) by the rational functions with poles outside the unit disk D. In this paper the multiplication operators Mg on R(D) is studied and it is proved that Mg ～ Mzn if and only if g is an n-Blaschke product. Furthermore, if g is an n-Blaschke product, then Mg has uncountably many Banach reducing subspaces if and only if n > 1.     

Divided powers in Chow rings and integral Fourier transforms

We prove that for any monoid scheme M over a field with proper multiplication maps M×M→M, we have a natural PD-structure on the ideal CH>0(M)⊂CH_∗(M) with regard to the Pontryagin ring structure. Further we investigate to what extent it is possible to define a Fourier transform on the motive with integral coefficients of the Jacobian of a curve. For a hyperelliptic curve of genus g with sufficiently many k-rational Weierstrass points, we construct such an integral Fourier transform with all the usual properties up to N²-torsion, where N=1+⌊log₂(3g)⌋. As a consequence we obtain, over , a PD-structure (for the intersection product) on N²⋅a, where a⊂CH(J) is the augmentation ideal. We show that a factor 2 in the properties of an integral Fourier transform cannot be eliminated even for elliptic curves over an algebraically closed field.     

Rigidity of Area-Minimizing Hyperbolic Surfaces in Three-Manifolds

We prove that if M is a three-manifold with scalar curvature greater than or equal to ?2 and Σ?M is a two-sided compact embedded Riemann surface of genus greater than 1 which is locally area-minimizing, then the area of Σ is greater than or equal to 4π(g(Σ)?1), where g(Σ) denotes the genus of Σ. In the equality case, we prove that the induced metric on Σ has constant Gauss curvature equal to ?1 and locally M splits along Σ. We also obtain a rigidity result for cylinders (I×Σ,dt ²+g _Σ), where I=[a,b]?? and g _Σ is a Riemannian metric on Σ with constant Gauss curvature equal to ?1.