On hyperelliptic modular curves over function fields

We prove that there are only finitely many modular curves of -elliptic sheaves over which are hyperelliptic. In odd characteristic we give a complete classification of such curves. The author was supported in part by NSF grant DMS-0801208 and Humboldt Research Fellowship.     

Endomorphisms of Jacobians of modular curves

Let be the modular curve associated to a congruence subgroup Γ of level N with , and let be its canonical model over . The main aim of this paper is to show that the endomorphism algebra of its Jacobian is generated by the Hecke operators T _p , with , together with the “degeneracy operators” D _M,d , D ^t _M,d , for . This uses the fundamental results of Ribet on the structure of together with a basic result on the classification of the irreducible modules of the algebra generated by these operators. Received: 18 December 2007     

A note on families of hyperelliptic curves

We give a stack-theoretic proof for some results on families of hyperelliptic curves. Received: 5 February 2008     

Stability of tri-canonical curves of genus two

We completely classify tri-canonically embedded curves of genus two that are Chow semistable, and identify the moduli space of them with the compact moduli space of binary sextics. This moduli space is the log canonical model for the pair for 7/10 9/11 whose log canonical divisor pulls back to on the moduli stack     

Galois modular representation of associated Jacobians in the tamely ramified cyclic case

Let L/K be an ℓ-cyclic extension with Galois group G of algebraic function fields over an algebraically closed field k of characteristic p ≠  ℓ. In this paper, the -module structure of the ℓ-torsion of the Jacobian associated to L is explicitly determined.     

A five-dimensional modular variety

In this note we in the spirit of [1], we give ta structure theorem for a graded ring of modular forms related to the orthogonal group O(2, 5). Our results generalize some results obtained by Klöcker in his Ph.D thesis.     

A new family of maximal curves over a finite field

It has been known for a long time that the Deligne–Lusztig curves associated to the algebraic groups of type and defined over the finite field all have the maximum number of -rational points allowed by the Weil “explicit formulas”, and that these curves are -maximal curves over infinitely many algebraic extensions of . Serre showed that an -rational curve which is -covered by an -maximal curve is also -maximal. This has posed the problem of the existence of -maximal curves other than the Deligne–Lusztig curves and their -subcovers, see for instance Garcia (On curves with many rational points over finite fields. In: Finite Fields with Applications to Coding Theory, Cryptography and Related Areas, pp. 152–163. Springer, Berlin, 2002) and Garcia and Stichtenoth (A maximal curve which is not a Galois subcover of the Hermitan curve. Bull. Braz. Math. Soc. (N.S.) 37, 139–152, 2006). In this paper, a positive answer to this problem is obtained. For every q = n ³ with n = p ^r  > 2, p ≥ 2 prime, we give a simple, explicit construction of an -maximal curve that is not -covered by any -maximal Deligne–Lusztig curve. Furthermore, the -automorphism group Aut has size n ³(n ³ + 1)(n ² − 1)(n ² − n + 1). Interestingly, has a very large -automorphism group with respect to its genus . Research supported by the Italian Ministry MURST, Strutture geometriche, combinatoria e loro applicazioni, PRIN 2006–2007.     

Determination of holomorphic modular forms by primitive Fourier coefficients

We prove that Siegel modular forms of degree greater than one, integral weight and level N, with respect to a Dirichlet character of conductor are uniquely determined by their Fourier coefficients indexed by matrices whose contents run over all divisors of . The cases of other major types of holomorphic modular forms are included. The author is supported by the Grant-in-Aid for JSPS fellows.     

Genus formula for modular curves of {\mathcal{D}}-elliptic sheaves

We prove a genus formula for modular curves of -elliptic sheaves. We use this formula to show that the reductions of modular curves of -elliptic sheaves attain the Drinfeld-Vladut bound as the degree of the discriminant of tends to infinity. Received: 14 October 2008 The author was supported in part by NSF grant DMS-0801208 and Humboldt Research Fellowship.     

On the probability of having rational \ell-isogenies

We calculate the chance that an elliptic curve over a finite field has a specified number of -isogenies which emanate from it. We give a partial answer for abelian varieties of arbitrary dimension. Received: 20 September 2007     

Construction of elliptic curves with large Iwasawa $${\lambda}$$ -invariants and large Tate-Shafarevich groups

In this paper we construct elliptic curves defined over the rationals with arbitrarily large Iwasawa λ-invariants for primes p satisfying or p = 13. We use this to obtain that the p-rank of the Tate-Shafarevich group can be arbitrarily large for such primes p.     

Slope stability and exceptional divisors of high genus

We study slope stability of smooth surfaces and its connection with exceptional divisors. We show that a surface containing an exceptional divisor with arithmetic genus at least two is slope unstable for some polarisation. In the converse direction we show that slope stability of surfaces can be tested with divisors, and prove that for surfaces with non-negative Kodaira dimension any destabilising divisor must have negative self-intersection and arithmetic genus at least two. We also prove that a destabilising divisor can never be nef, and as an application give an example of a surface that is slope stable but not K-stable. D. Panov was supported by EPSRC grant number EP/E044859/1 and J. Ross was partially supported by the National Science Foundation, Grant No. DMS-0700419.     

The elementary obstruction and the Weil restriction

In this text we investigate the good behaviour of the elementary obstruction, introduced by Colliot-Thélène and Sansuc (Duke Math J 54:375–492, 1987). This is an obstruction to the existence of a rational points on certain algebraic varieties. Assuming some conditions on the Picard group, we prove that the elementary obstruction behaves well under the Weil restriction of a variety. Dedicated to the memory of Joost van Hamel, for all trouble he took to support this article with discussions, comments and suggestions at all times, also in moments when it is not obvious that one keeps on focusing on mathematics.     

Hadamard matrices of order 764 exist

Two Hadamard matrices of order 764 of Goethals-Seidel type are constructed. The author was supported by an NSERC Discovery Grant.     

The product of two von Neumann n-frames, its characteristic, and modular fractal lattices

Let L be a bounded lattice. If for each a₁ < b₁ ∈ L and a₂ < b₂ ∈ L there is a lattice embedding ψ: [a₁, b₁] → [a₂, b₂] with ψ(a₁) = a₂ and ψ(b₁) = b₂, then we say that L is a quasifractal. If ψ can always be chosen to be an isomorphism or, equivalently, if L is isomorphic to each of its nontrivial intervals, then L will be called a fractal lattice. For a ring R with 1 let denote the lattice variety generated by the submodule lattices of R-modules. Varieties of this kind are completely described in [16]. The prime field of characteristic p will be denoted by F_p. Let be a lattice variety generated by a nondistributive modular quasifractal. The main theorem says that is neither too small nor too large in the following sense: there is a unique , a prime number or zero, such that and for any n ≥ 3 and any nontrivial (normalized von Neumann) n-frame of any lattice in , is of characteristic p. We do not know if in general; however we point out that, for any ring R with 1, implies . It will not be hard to show that is Arguesian. The main theorem does have a content, for it has been shown in [2] that each of the is generated by a single fractal lattice L_p; moreover we can stipulate either that L_p is a continuous geometry or that L_p is countable. The proof of the main theorem is based on the following result of the present paper: if is a nontrivial m-frame and is an n-frame of a modular lattice L with m, n ≥ 3 such that and , then these two frames have the same characteristic and, in addition, they determine a nontrivial mn-frame of the same characteristic in a canonical way, which we call the product frame. Presented by E. T. Schmidt.     

Rational surfaces in algebraic models of smooth manifolds

Every compact smooth manifold M is diffeomorphic to a nonsingular real algebraic set, called an algebraic model of M. We study modulo 2 homology classes represented by rational algebraic surfaces in X, as X runs through the class of all algebraic models of M. Received: 16 June 2007     

Asymptotic Behaviour of Iterates of Volterra Operators on L p (0, 1)

Given k ∈ L¹ (0,1) satisfying certain smoothness and growth conditions at 0, we consider the Volterra convolution operator V_k defined on L^p (0,1) by

Graph homology of the moduli space of pointed real curves of genus zero

The moduli space parameterizes the isomorphism classes of S-pointed stable real curves of genus zero which are invariant under relabeling by the involution σ. This moduli space is stratified according to the degeneration types of σ-invariant curves. The degeneration types of σ-invariant curves are encoded by their dual trees with additional decorations. We construct a combinatorial graph complex generated by the fundamental classes of strata of . We show that the homology of is isomorphic to the homology of our graph complex. We also give a presentation of the fundamental group of .      

Statistics about elliptic curves over finite prime fields

We derive formulas for the probabilities of various properties (cyclicity, squarefreeness, generation by random points) of the point groups of randomly chosen elliptic curves over random prime fields.     

A note on a spanning 3-tree

A tree T is called a k-tree, if the maximum degree of T is at most k. In this paper, we prove that if G is an n-connected graph with independence number at most n + m + 1 (n≥1,n≥m≥0), then G has a spanning 3-tree T with at most m vertices of degree 3.