# Algebra Seminar 2020/21

Due to the current Covid-19 pandemic, we will host online research talks until further notice. Send an email to steffen.muller@rug.nl if you want to participate.

We meet on Wednesdays, usually at 15:00.

## Schedule

- 16-06-21, 15:00 Cecília Salgado (Groningen): TBA
- 26-05-21, 15:00 Bernd Sturmfels (MPI Leipzig & UC Berkeley): TBA
- 19-05-21, 15:00 Alice Garbagnati (Università Statale di Milano): TBA
- 12-05-21, 15:00 Aline Zanardini (University of Pennsylvania): Stability of pencils of plane curves [Abstract]

- 05-05-21, No seminar (bank holiday)
- 28-04-21, 15:00 Vladimir Mitankin (Hannover): Rational points on del Pezzo surfaces of degree 4 [Abstract]

- 21-04-21, 15:00 Christian Wuthrich (University of Nottingham): Integrality of twisted $L$-values of elliptic curves [Abstract]

- 14-04-21, 15:00 Alp Bassa (Boğaziçi University): Rational points on curves over finite fields and their asymptotic behaviour [Abstract]

- 07-04-21, No seminar (NMC and Diamant symposium)
- 31-03-21, 15:00 Timo Keller (Universität Bayreuth): Exact verification of the strong BSD conjecture for some absolutely simple modular abelian surfaces [Abstract]

To achieve this, we compute the image and the cohomology of the mod-$\mathfrak{p}$ Galois representations of $J$, show effectively that almost all of them are irreducible and have maximal image, make Kolyvagin-Logachev effective, compute the Heegner points and Heegner indices, compute the $\mathfrak{p}$-adic $L$-function, and perform $\mathfrak{p}$-descents. Because many ingredients are involved in the proof, we will give an overview and focus on the computation of the mod-$\mathfrak{p}$ Galois representation in our talk.

- 24-03-21, 15:00 George Turcas (Babeș-Bolyai University): Irreducibility of mod p Galois representations of elliptic curves with multiplicative reduction over number fields [Abstract]

All the results presented are in joint work with Filip Najman.

- 17-03-21, 15:00 Nicholas Triantafillou (University of Georgia): Nonexistence of exceptional units via modified Skolem-Chabauty [Abstract]

In this talk, we give an elementary p-adic proof of a new nonexistence result on exceptional units: there are no exceptional units in number fields of degree prime to 3 where 3 splits completely. We will also explain the geometric inspiration for the proof -- a version of Skolem-Chabauty's method for finding integral points on curves. Time permitting, we may discuss an application to periodic points of odd order in arithmetic dynamics.

- 10-03-21, 15:00 Laura Capuano (Politecnico di Torino): GCD results on semiabelian varieties and a conjecture of Silverman [Abstract]

Extending previous works of Silverman and of Ghioca-Hsia-Tucker on elliptic curves over function fields, we will show how to prove the analogue of Silverman’s conjecture over function fields in the case of abelian and split semiabelian varieties and some generalizations. The proof relies on some results of unlikely intersections. This is a joint work with F. Barroero and A. Turchet.

- 24-02-21, 15:00 Harry Justus Smit (MPIM Bonn): The 4-rank of class groups of biquadratic number fields [Abstract]

Their average behaviour, though, is slightly better understood. Davenport and Heilbronn (1971) obtained the average size of the 3-torsion subgroups of class groups of quadratic number fields by counting binary cubic forms. In general, when considering all p-parts (p an odd prime) of the class groups of quadratic number fields, one should expect, according to the Cohen-Lenstra conjectures, that a finite abelian p-group occurs with probability proportional to the reciprocal of the size of its automorphism group. For the 2-part the conjectures have to be slightly modified to account for Gauss's genus theory. The prediction about the 4-rank has been proven by Fouvry and Klüners in 2000 and the full conjectures for the 2-part for imaginary quadratic fields have recently been proven by breakthrough work of Smith.

Collaborating with Koymans and Morgan, we extended the work of Fouvry and Klüners to obtain an average of the 4-rank of biquadratic fields. We show that in 100% of the cases, the 4-rank of the class group of a biquadratic number field can be explicitly related to the 2-rank of the class group of one of its quadratic subfields, along with some constants and some "noise". We then use the analytical techniques of Fouvry and Klüners to show that this noise is negligible in 100% of the cases.

- 17-02-21, 15:00 Filip Najman (Zagreb): Q-curves over odd-degree number fields [Abstract]

By reformulating and extending results of Elkies, we prove some results on Q-curves over number fields of odd degree. We show that, over such fields, the only prime isogeny degrees p which an elliptic curve without CM may have are those degrees which are already possible over Q, and show the existence of a bound on the degrees of cyclic isogenies between Q-curves depending only on the degree of the field. We also prove that the only possible torsion groups of Q-curves over number fields of degree prime degree q>7 are just the 15 groups that appear as torsion groups of elliptic curves over Q. This is joint work with John Cremona.

- 10-02-21, 15:00 Angeliki Mali (Groningen): Research studies on university mathematics education: The teaching practice of research mathematicians
- 10-02-21, 09:00 Levent Alpöge (Columbia University): Effectivity in Faltings' theorem II [Abstract]

I will show that in certain cases (i.e. after imposing conditions on K and C) there is an unconditional finite-time algorithm to compute (K,C)\mapsto C(K), using potential modularity theorems. Example: given K totally real of odd degree and a\in K^\times, one can effectively compute C_a(K) where C_a : x^6 + 4y^3 = a^2.

- 03-02-21, 17:00 Levent Alpöge (Columbia University): Effectivity in Faltings' theorem I [Abstract]

In joint work with Brian Lawrence, we show that, assuming standard motivic conjectures (Fontaine-Mazur, Hodge, Tate), there is a finite-time algorithm that, on input (K,C) with K a number field and C/K a smooth projective hyperbolic (i.e. genus > 1) curve, outputs C(K). The algorithm has the property that, if it terminates, the output is unconditionally correct --- one uses the conjectures to show that it always terminates in finite time.

- 27-01-21, 15:00 Damaris Schindler (Göttingen): On the distribution of Campana points on toric varieties [Abstract]

In this talk we discuss joint work with Marta Pieropan on the distribution of Campana points on toric varieties. We discuss how this problem leads us to studying a generalised version of the hyperbola method, which had first been developed by Blomer and Bruedern. We show how duality in linear programming is used to interpret the counting result in the context of a general conjecture of Pieropan-Smeets-Tanimoto-Varilly-Alvarado.

- 20-01-21, 13:00 Marc Masdeu (Universitat Autònoma de Barcelona): Quaternionic rigid meromorphic cocycles [Abstract]

Rigid meromorphic cocycles were introduced by Darmon and Vonk as a conjectural p-adic extension of the theory of singular moduli to real quadratic base fields. They are certain cohomology classes of SL2(Z[1/p]) which can be evaluated at real quadratic irrationalities and the values thus obtained are conjectured to lie in algebraic extensions of the base field.

I will present joint work with X.Guitart and X.Xarles, in which we generalize (and somewhat simplify) this construction to the setting where SL2(Z[1/p]) is replaced by an order in an indefinite quaternion algebra over a totally real number field F. These quaternionic cohomology classes can be evaluated at elements in almost totally complex extensions K of F, and we conjecture that the corresponding values lie in algebraic extensions of K. I will show some new numerical evidence for this conjecture, along with some interesting questions allowed by this flexibility.

- 06-01-21 Francesca Bianchi (Groningen): p-adic heights and p-adic sigma functions on Jacobians of genus 2 curves [Abstract]

Extending work of Mazur and Tate on elliptic curves, Blakestad recently constructed a p-adic analogue of the complex sigma function on Jacobians of genus 2 curves. We use Blakestad's function to define, compute and study p-adic heights on such Jacobians. P-adic heights are of much arithmetic interest. Just to cite one application, they figure prominently in the quadratic Chabauty method for the computation of integral and rational points on curves.

- 09-12-20 Valentijn Karemaker (Utrecht): Mass formulae for supersingular abelian threefolds [Abstract]

Using the theory of polarised flag type quotients, we determine mass formulae for all principally polarised supersingular abelian threefolds defined over an algebraically closed field k of characteristic p. We combine these results with computations of the automorphism groups to study Oort's conjecture; we prove that every generic principally polarised supersingular abelian threefold over k of characteristic >2 has automorphism group Z/2Z.

- 02-12-20 Netan Dogra (King's College): p-adic differential equations and rational points on semistable curves [Abstract]

If X is a curve over a p-adic field with semistable reduction, then its de Rham cohomology has the "hidden structure" of a filtered (phi,N)-module. This structure was explicitly described by Coleman and Iovita in terms of p-adic integration and combinatorics of the dual graph. In this talk I will explain a generalisation of this to the fundamental group of X, and applications to the algorithmic determination of the rational points on higher genus curves over number fields. This is joint work with Jan Vonk.

- 25-11-20 Ziyang Gao (IMJ-PRG): Bounding the number of rational points on curves [Abstract]

Mazur conjectured, after Faltings’s proof of the Mordell conjecture, that the number of rational points on a curve of genus g at least 2 defined over a number field of degree d is bounded in terms of g, d and the Mordell-Weil rank. In particular the height of the curve is not involved. In this talk I will explain how to prove this conjecture and some generalizations. I will focus on how functional transcendence and unlikely intersections are applied in the proof. If time permits, I will talk about how the dependence on d can be furthermore removed if we moreover assume the relative Bogomolov conjecture. This is joint work with Vesselin Dimitrov and Philipp Habegger.

- 11-11-20 Rosa Winter (Leiden / MPI Leipzig): Density of rational points on a family of del Pezzo surfaces of degree 1 [Abstract]

Del Pezzo surfaces are classified by their degree d, which is an integer between 1 and 9 (for d ≥ 3, these are the smooth surfaces of degree d in P^d). For del Pezzo surfaces of degree at least 2 over a field k, we know that the set of k-rational points is Zariski dense provided that the surface has one k- rational point to start with (that lies outside a specific subset of the surface for degree 2). However, for del Pezzo surfaces of degree 1 over a field k, even though we know that they always contain at least one k-rational point, we do not know if the set of k-rational points is Zariski dense in general. I will talk about a result that is joint work with Julie Desjardins, in which we give necessary and sufficient conditions for the set of k-rational points on a specific family of del Pezzo surfaces of degree 1 to be Zariski dense, where k is a number field. I will compare this to previous results.

- 04-11-20 Lazar Radicevic (Cambridge): Explicit realization of elements of the Tate-Shafarevich group constructed from Kolyvagin classes [Abstract]

We consider the Kolyvagin cohomology classes associated an elliptic curve over Q from a computational point of view. We explain how to go from a model of a class as an element of E(L)/pE(L), where p is prime and L is a dihedral extension of degree 2p, to a geometric model as a genus one curve embedded in P^{p-1}. We then give a method to compute Heegner points explicitly. As an application, we obtain explicit equations for genus one curves that represent non-trivial elements of Sha(E)[p], for p<=11, and hence are counterexamples to the Hasse priniple.

- 28-10-20 Fabien Pazuki (Copenhagen): Bertini and Northcott [Abstract]

I will report on joint work with Martin Widmer. Let X be a smooth projective variety over a number field K. We prove a Bertini-type theorem with explicit control of the genus, degree, height, and field of definition of the constructed curve on X. As a consequence we provide a general strategy to reduce certain height and rank estimates on abelian varieties over a number field K to the case of jacobian varieties defined over a suitable extension of K. We will give examples where the strategy works well!

- 21-10-20 Anna Somoza (Rennes): Reduction types of Ciani quartics
- 14-10-20 Berno Reitsma (Groningen): A complete algorithm that computes the rational torsion subgroup for Jacobians of hyperelliptic curves of genus 3 [Abstract]

In 1999, Stoll designed an algorithm to compute the rational torsion subgroup for Jacobians of hyperelliptic curves of genus 2. It uses p-adic lifting methods on the Kummer Variety and height bounds to find a method to determine whether an F_p-point lifts to J(Q) or not. This thesis generalizes the algorithm for any genus and gives an explicit proof. The (theoretical) algorithm itself always works, but in practice, you need to have algorithms for computing certain quantities. All the required procedures are explicitly described and implemented for Jacobians of hyperelliptic curves of genus 3. This results in a complete implementation for genus 3, based on explicit arithmetic on the Kummer variety of such Jacobians due to Stoll. We use this to compute the rational torsion structures for genus 3 hyperelliptic curves with low discriminant for the LMFDB.

- 07-10-20 Clifford Blakestad (Pohang): On p-adic Weierstrass functions [Abstract]

Since their introduction in the 1850's, the (complex) Weierstrass sigma, zeta, and P functions have played a major role in understanding both the geometry and arithmetic of elliptic curves. In the late 1980's, Mazur and Tate developed a p-adic analogue as a tool to study p-adic heights on ordinary elliptic curves. In this talk, we will discuss this theory and consider how to generalize it to curves of genus two and their Jacobians.

- 30-09-20 Enis Kaya (Groningen): p-adic integration on curves of bad reduction [Abstract]

Let X be a curve over a p-adic field with semi-stable reduction and let ω be a meromorphic 1-form on X. There are two notions of p-adic integration one may associate to this data: the Berkovich–Coleman integral which can be performed locally; and the Vologodsky integral with desirable number-theoretic properties. In this talk, we present a theorem comparing the two, and describe an algorithm for computing Vologodsky integrals in the case that X is a hyperelliptic curve. We also illustrate our algorithm with a numerical example computed in Sage. This talk is partly based on joint work with Eric Katz.

# Previous years

- In 2019/20 we studied tropical geometry.
- In 2018/19 we studied classical and p-adic heights.
- In 2017/18 we studied Non-archimedean geometry, Coleman integration and the theory of isocrystals.