Related papers: Arithmetic invariant theory and 2-descent for plan…

We undertake a study of conic bundle threefolds $\pi\colon X\to W$ over geometrically rational surfaces whose associated discriminant covers $\tilde{\Delta}\to\Delta\subset W$ are smooth and geometrically irreducible. First, we determine…

Klein's simple group $H$ of order $168$ is the automorphism group of the plane quartic curve $C$, called Klein quartic. By Torelli Theorem, the full automorphism group $G$ of the Jacobian $J=J(C)$ is the group of order $336$, obtained by…

We present a treatment of the algebraic description of the Jacobian of a generic genus two plane curve which exploits an SL2(k) equivariance and clarifes the structure of E.V.Flynn's 72 defining quadratic relations. The treatment is also…

We give a practical method to compute the 2-torsion subgroup of the Jacobian of a non-hyperelliptic curve of genus $3$, $4$ or $5$. The method is based on the correspondence between the 2-torsion subgroup and the theta hyperplanes to the…

Let G be the separable Galois group of a finite field F of characteristic p, and X/F an imaginary hyperelliptic curve such that G acts transitively on its set W(X) of Weierstrass points. The existence of a G-invariant 2-torsion point on the…

The jet bundle $J^kG$ of $k$-jets of curves in a Lie group $G$ has a natural Lie group structure. We present an explicit formula for the group multiplication in the right trivialization and for the group 2-cocycle describing the abelian Lie…

For G a complex reductive group and X a smooth projective or convex quasi-projective polarized G-variety we construct a formal map in quantum K-theory from the equivariant quantum K-theory $QK^G(X)$ to the quantum K-theory of the git…

Let $X$ be a regular geometrically integral variety over an imperfect field $K$. Unlike the case of characteristic $0$, $X':=X\times_{\mathrm{Spec}\,K}\mathrm{Spec}\,K'$ may have singular points for a (necessarily inseparable) field…

We describe an algorithm that provably computes the rational torsion subgroup of the Jacobian of a curve without relying on height bounds. Instead, the strategy is to find upper bounds for the torsion subgroup using reduction modulo primes,…

We compute the convolution product on the equivariant K-groups of the cyclic quiver variety. We get a q-analogue of double-loop algebras, closely related to the toroidal quantum groups previously studied by the authors. We also give a…

Splitting invariants describe how a plane curve "splits" by the pull-back under a Galois cover over the projective plane whose branch locus contains no component of the plane curve. They enable us to distinguish the embedded topology of…

We give a conjectural characterisation of the stable reduction of plane quartics over local fields in terms of their Cayley octads. This results in p-adic criteria that efficiently give the stable reduction type amongst the 42 possible…

A genus one curve C of degree 5 is defined by the 4 x 4 Pfaffians of a 5 x 5 alternating matrix of linear forms on P^4. We prove a result characterising the covariants for these models in terms of their restrictions to the family of curves…

We consider actions of reductive groups on a varieties with finitely generated Cox ring, e.g., the classical case of a diagonal action on a product of projective spaces. Given such an action, we construct via combinatorial data in the Cox…

We construct a topological invariant of algebraic plane curves, which is in some sense an adaptation of the linking number of knot theory. This invariant is shown to be a generalization of the I-invariant of line arrangements developed by…

Let k be a field and f be a Siegel modular form of weight h \geq 0 and genus g>1 over k. Using f, we define an invariant of the k-isomorphism class of a principally polarized abelian variety (A,a)/k of dimension g. Moreover when (A,a) is…

If C is a curve of genus 4 without vanishing theta-nulls then there exists a unique (irreducible) Heisenberg-invariant quartic Q_C in |2\Theta| = P^{15} such that Sing Q_C contains the image of SU_C(2), the moduli space of rank 2 vector…

A key tool for the study of an affine Hecke algebra $\mathcal{H}$ is provided by Springer theory of the Langlands dual group via the realization of $\mathcal{H}$ as equivariant $K$-theory of the Steinberg variety. We prove a similar…

A genus one curve of degree 5 is defined by the 4 x 4 Pfaffians of a 5 x 5 alternating matrix of linear forms on P^4. We describe a general method for investigating the invariant theory of such models. We use it to explain how we found our…

We give examples of smooth plane quartics over $\mathbb{Q}$ with complex multiplication over $\overline{\mathbb{Q}}$ by a maximal order with primitive CM type. We describe the required algorithms as we go, these involve the reduction of…