We exhibit a strong link between the Hall algebra HX of an elliptic curve X defined over a finite field 𝔽l (or, more precisely, its spherical subalgebra U+X) and Cherednik’s double affine Hecke algebras of type GLn, for all n. This allows us to obtain a geometric construction of the Macdonald polynomials Pλ(q,t−1) in terms of certain functions (Eisenstein series) on the moduli space of semistable vector bundles on the elliptic curve X.

We give a construction of the moduli space of stable maps to the classifying stack Bμr of a cyclic group by a sequence of rth root constructions on . We prove a closed formula for the total Chern class of μr-eigenspaces of the Hodge bundle, and thus of the obstruction bundle of the genus-zero Gromov–Witten theory of stacks of the form [ℂN/μr]. We deduce linear recursions for genus-zero Gromov–Witten invariants.

Let E/k be a function field over an infinite field of constants. Assume that E/k(x) is a separable extension of degree greater than one such that there exists a place of degree one of k(x) ramified in E. Let K/k be a function field. We prove that there exist infinitely many nonisomorphic separable extensions L/K such that [L:K]=[E:k(x)] and AutkL=AutKL≅Autk(x)E.

We realize the multiplihedron geometrically as the moduli space of stable quilted disks. This generalizes the geometric realization of the associahedron as the moduli space of stable disks. We show that this moduli space is the non-negative real part of a complex moduli space of stable scaled marked curves.

Let k be a field of characteristic other than 2. There can be an obstruction to a principally polarized abelian threefold (A,a) over k, which is a Jacobian over , being a Jacobian over k; this can be computed in terms of the rationality of the square root of the value of a certain Siegel modular form. We show how to do this explicitly for principally polarized abelian threefolds which are the third power of an elliptic curve with complex multiplication. We use our numerical results to prove or refute the existence of some optimal curves of genus 3.

We study the automorphism groups of the reduction of a modular curve X0(N) over primes p∤N.

A foliation on a non-singular projective variety is algebraically integrable if all leaves are algebraic subvarieties. A non-singular hypersurface X in a non-singular projective variety M equipped with a symplectic form has a naturally defined foliation, called the characteristic foliation on X. We show that if X is of general type and dim M≥4, then the characteristic foliation on X cannot be algebraically integrable. This is a consequence of a more general result on Iitaka dimensions of certain invertible sheaves associated with algebraically integrable foliations by curves. The latter is proved using the positivity of direct image sheaves associated to families of curves.

We introduce in this paper a hypercohomology version of the resonance varieties and obtain some relations to the characteristic varieties of rank one local systems on a smooth quasi-projective complex variety M. A logarithmic resonance variety is also considered and, as an application, we determine the first characteristic variety of the configuration space of n distinct labeled points on an elliptic curve. Finally, for a logarithmic 1-form α on M we investigate the relation between the resonance degree of α and the codimension of the zero set of α on a good compactification of M. This question was inspired by the recent work by Cohen, Denham, Falk and Varchenko.

If C is a curve of genus 2 defined over a field k and J is its Jacobian, then we can associate a hypersurface K in ℙ3 to J, called the Kummer surface of J. Flynn has made this construction explicit in the case when the characteristic of k is not 2 and C is given by a simplified equation. He has also given explicit versions of several maps defined on the Kummer surface and shown how to perform arithmetic on J using these maps. In this paper we generalize these results to the case of arbitrary characteristic.

The moduli space of n-pointed stable curves of genus g is stratified by the topological type of the curves being parameterized: the closure of the locus of curves with k nodes has codimension k. The one-dimensional components of this stratification are smooth rational curves called F-curves. These are believed to determine all ample divisors. F-conjecture 

A divisor on  is ample if and only if it positively intersects theF-curves.

We study behaviours of the ‘equianharmonic’ parameter of the Grothendieck–Teichmüller group introduced by Lochak and Schneps. Using geometric construction of a certain one-parameter family of quartics, we realize the Galois action on the fundamental group of a punctured Mordell elliptic curve in the standard Galois action on a specific subgroup of the braid group . A consequence is to represent a matrix specialization of the ‘equianharmonic’ parameter in terms of special values of the adelic beta function introduced and studied by Anderson and Ihara.

We introduce the τ-function of a difference rational connection (d-connection) and its isomonodromy transformations. We show that in a continuous limit ourτ-function agrees with the Jimbo–Miwa–Ueno τ-function. We compute the τ-function for the isomonodromy transformations leading to difference Painlevé V and difference Painlevé VI equations. We prove that the gap probability for a wide class of discrete random matrix type models can be viewed as the τ-function for an associated d-connection.

Let k be a field and X a k-form of the projective line. We classify all the isomorphism classes of vector bundles over X.

We show that under a suitable transversality condition, the intersection of two rational subtori in an algebraic torus (ℂ*)n is a finite group which can be determined using the torsion part of some associated lattice. We also give applications to the study of characteristic varieties of smooth complex algebraic varieties. As an example we discuss A. Suciu’s line arrangement, the so-called deleted B3-arrangement.

We prove that all monomials of κ-classes and ψ-classes are independent in for all . We also give a simple argument for in Rl(ℳg) for .

The enumerative geometry of rth roots of line bundles is crucialin the theory of r-spin curves and occurs in the calculation ofGromov–Witten invariants of orbifolds. It requires the definition ofthe suitable compact moduli stack and the generalization of the standardtechniques from the theory of moduli of stable curves. In a previous paper, weconstructed a compact moduli stack by describing the notion of stability in thecontext of twisted curves. In this paper, by working with stable twisted curves,we extend Mumford’s formula for the Chern character of the Hodgebundle to the direct image of the universal rth root inK-theory.

We study Frobenius groups acting on curves.

Let k be an algebraically closed field of positive characteristic p. We consider which finite groups G have the property that every faithful action of G on a connected smooth projective curve over k lifts to characteristic zero. Oort conjectured that cyclic groups have this property. We show that if a cyclic-by-p group G has this property, then G must be either cyclic or dihedral, with the exception of A4 in characteristic two. This proves one direction of a strong form of the Oort conjecture.

In this paper we prove that most ropes of arbitrary multiplicity supported on smooth curves can be smoothed. By a rope being smoothable we mean that the rope is the flat limit of a family of smooth, irreducible curves. To construct a smoothing, we connect, on the one hand, deformations of a finite morphism to projective space and, on the other hand, morphisms from a rope to projective space. We also prove a general result of independent interest, namely that finite covers onto smooth irreducible curves embedded in projective space can be deformed to a family of 1:1 maps. We apply our general theory to prove the smoothing of ropes of multiplicity 3 on P1. Even though this paper focuses on ropes of dimension 1, our method yields a general approach to deal with the smoothing of ropes of higher dimension.

We prove the Bertram–Feinberg–Mukai conjecture for a generic curve C of genus g and a semistable vector bundle E of rank two and determinant K on C, namely we prove the injectivity of the Petri-canonical map S2(H0(E))→H0(S2(E)).