algebra

Algebra > BI > FSE > RUG

Algebra Seminar

In 2022/23, we usually meet on Tuesdays in room 289 in the Bernoulliborg. Everybody is welcome to attend.

Most talks will have two parts

  • an introductory talk, aimed at graduate students at 11:00
  • a research talk, starting at 11:40.

Schedule

  • 05-09-22, 15:15, room 289. Remke Kloosterman (Università degli Studi di Padova): The average Mordell--Weil rank of elliptic surfaces over number fields [Abstract]
In this talk we determine the average (arithmetic) Mordell--Weil rank of elliptic surfaces over number fields, hereby proving a conjecture of Alex Cowan.

For this we need to study the behaviour of the Néron-Severi group in families of surfaces. Over the complex numbers this can be done using Noether-Lefschetz theory. However, Noether--Lefschetz type results typically give rise to countably many exceptional loci, and therefore are of little use over countable fields, like $\overline{\mathbb{Q}}$.

Results by André and by Maulik-Poonen give a preciser description of the jump loci of the Picard number than Noether-Lefschetz theory. This allows us to study the geometric Mordell-Weil rank in families of elliptic surfaces. We then use a variant of Hilbert's irreducibility theorem to determine the average arithmetic Mordell-Weil rank.

  • 27-09-22, 11:00, room 289. Roberto Alvarenga (ICMC-USP): Automorphic forms over elliptic function fields [Abstract]
In this talk we probe the space of automorphic forms for PGL3 over elliptic function fields. In particular, we show how to describe the action of Hecke operators on this space and how we can use it to investigate periodical conditions. This is about a joint work (in progress) with O. Lorscheid and V. Pereira Jr.
  • 04-10-22, 11:00, room 289. Wouter Castryck (KU Leuven): Breaking the Supersingular Isogeny Diffie-Hellman protocol [Abstract]

Finding an explicit isogeny between two given isogenous elliptic curves over a finite field is considered a hard problem, even for quantum computers. In 2011 this led Jao and De Feo to propose a key exchange protocol that became known as SIDH, short for Supersingular Isogeny Diffie-Hellman. The security of SIDH does not rely on a pure isogeny problem, due to certain "auxiliary" elliptic curve points that are exchanged during the protocol (for constructive reasons).

In 2017 SIDH was submitted to the NIST standardization effort for post-quantum cryptography, and since then it has attracted a lot of attention. Early July, it advanced to the fourth round. In this talk I will discuss a break of SIDH that was discovered in collaboration with Thomas Decru about three weeks later. The attack uses isogenies between abelian surfaces and exploits the aforementioned auxiliary points, so it does not break the pure isogeny problem. It allows for a full key recovery at the highest security level in a few hours. As time permits, I will also discuss some more recent improvements and follow-up work due to Maino-Martindale, Wesolowski, and Robert.

  • 12-10-22, 11:00 - 17:30, room 293 (11-13) and 253: Oldenburg-Groningen joint seminar. [Schedule]
  • 11:00, room 293: Martin Lüdtke (Groningen): Non-abelian Chabauty for the thrice-punctured line
  • 11:30, room 293: Philipp Schläger (Oldenburg): The anticanonical complex of 3-dimensional Fano varieties with (\C^*)^2-action
  • 12:00, room 293: Manoel Zanoelo Jarra (Groningen): Linear algebra, matroids and geometry
  • 12:30: lunch
  • 14:00, room 253: Aline Bartel (Oldenburg): Towards a classification of simple non-isolated CMC2 singularities
  • 14:30, room 253: Maicom Varella (Oldenburg): Local Euler obstruction for essentially isolated determinantal singularities
  • 15:00, room 253: Sabrina Alexandra Gaube (Oldenburg): Algorithmic strategies for resolution of determinantal singularities
  • 15:30: coffee
  • 16:00, room 253: Manoy Trip (Groningen): A naive p-adic height on Jacobians of genus 2 curves
  • 16:30, room 253: Konstantin Meiwald (Oldenburg): Gluing curves from irreducible components
  • 17:00, room 253: Sven Bootsma (Groningen): An Elliptic Surface in Characteristic p>0
  • 18-10-22, 11:00 (introductory talk) / 11:40 (research talk), room 289. Harm Voskuil: Unitary groups and uniformisation of curves over a local field [Abstract]

We construct a one dimensional analytic space over a p-adic field. A discrete co-compact subgroup of the unitary group in three variables acts discontinuously on this space. The quotients of the space by the discrete co-compact group are algebraic curves. The construction uses the building of the unitary group, which is a tree. The components of the reduction of the space correspond to the vertices of the tree. These components are hermitian curves and projective lines.

  • 25-10-22, 11:00 (introductory talk) / 11:40 (research talk), room 289. Martin Djukanović: A hyperelliptic curve covering an elliptic curve [Abstract]

Abstract: In this talk I will explain the concept of an (n,n)-split Jacobian of a genus-2 curve. A full description for n=2 is classically known, dating back as far as Legendre and Jacobi. The case n=3 was treated by Kuhn in the 80s, but misses some important nuances that I will clarify; this involves some very interesting families of curves that have not been properly analysed so far. Time permitting, I will talk about gluing curves along the n-torsion and present some results for n=3 and n=4.

  • 01-11-22, 11:00 (introductory talk) / 11:40 (research talk), room 289. Eugenia Rosu (Leiden): Twists of elliptic curves with CM [Abstract]

Abstract: We consider certain families of sextic twists of the elliptic curve y^2=x^3+1 that are not defined over Q, but over Q[sqrt(-3)]. We compute a formula that relates the central value of their L-functions L(E, 1) to the square of a trace of a modular function evaluated at a CM point. When the value above is non-zero, we recover the order of the Tate-Shafarevich group, and we show that the value is indeed an integer square.

  • 08-11-22, 11:30 (introductory talk) / 12:10 (research talk). Oliver Lorscheid (Groningen): Foundations of matroids [Abstract]

Abstract: In this talk, I give an outline of a new method to study matroid representations with an algebraic tool that we call the "foundation of a matroid". The emphasis is on the ideas en large rather than on specific results.

We begin with a gentle introduction to matroids without and with coefficients (the latter theory goes by the name of Baker-Bowler theory). The story continues with moduli spaces of matroids and their residue fields. The foundation of a matroid appears as a variation on residue fields, which knows about the representation theory of the matroid and which is accessible to explicit computations.

In the final part of the talk, we discuss how structural insights into foundations can be turned into results about matroid representations. All of this is joint work with Matthew Baker.

    -------------

In the informal introduction before the research talk, I give a classical introduction to matroids to complement the rather algebraically minded viewpoint of Baker-Bowler theory.

  • 15-11-22, 11:00 (introductory talk) / 11:40 (research talk), room LB5173.0045. Manoel Zanoelo Jarra (Groningen): Flag matroids with coefficients [Abstract]

Abstract: Matroids encode the combinatorics of independency in linear subspaces. In analogy, flag matroids encode the combinatorics of flags of subspaces. There is a way back: when representing a (flag) matroid over a field, we get a (flag of) linear subspace(s). In recent years, Baker and Bowler generalized this picture in the case of matroids to a more general type of algebraic object that includes fields, hyperfields and partial fields as particular cases. In this talk we explain how to extend this theory to flag matroids, including a geometric interpretation in terms of their moduli spaces. This is a joint work with Oliver Lorscheid.


In the introductory talk we discuss the Plücker relations of Grassmannians and flag varieties.

  • 22-11-22: No seminar
  • 29-11-22, 11:00 (introductory talk) / 11:40 (research talk), room 289. Martin Lüdtke (Groningen): The motivic Selmer scheme of the thrice-punctured line [Abstract]

Abstract: A smooth hyperbolic curve X/Q is known to have only finitely many S-integral points, for any finite set of primes S, but finding these is in general very difficult. The non-abelian Chabauty method is conjectured to achieve this by producing functions on the p-adic points X(Z_p) which cut out precisely the set of S-integral points. This is known as Kim's conjecture. I present a proof that Kim's conjecture holds for the thrice-punctured line if S is the empty set and p is arbitrary. For the proof it is necessary to go beyond linear and quadratic Chabauty. I shall explain how calculations in higher depth become accessible by working with Corwin--Dan-Cohen's motivic Selmer scheme.


In the introductory talk I will discuss torsors and explain how G-equivariant torsors are parametrized by non-abelian H^1.

  • 06-12-22, 11:00 (introductory talk) / 11:40 (research talk), room 289. Jorge Becerra (Groningen): Hopf algebras and the 2-loop polynomial of knots [Abstract]

Abstract:Quantum topology studies low-dimensional topology via invariants produced with the auxiliary data of an algebraic gadget. In this talk I will focus on two such invariants for knots: one is the "universal tangle invariant" Z_D, which uses a particular topological (ribbon) Hopf algebra D depending on some parameter epsilon; and the other is the "Kontsevich invariant", which uses some formal power series as input. It is a conjecture by Bar-Natan and van der Veen that the second term in the expansion in epsilon of Z_D of a knot is tantamount to the second term in the so-called "loop expansion" of the Kontsevich invariant of the knot. I will outline recent work showing that the conjecture is true for the class of knots that bound a compact, connected, orientable surface of genus one.

  • 13-12-22, 11:00 (introductory talk) / 11:40 (research talk), room 289. Jaap Top (Groningen): Tate-Shafarevich for quartic and sextic twists [Abstract]
In 1967 Shafarevich and Tate published a three and a half page short note, mainly based on Tate's 1966 proof of what is now called "the Tate conjecture for abelian varieties over finite fields". The note proves that in any characteristic p>2 elliptic curves over the rational function field of the algebraic closure of a finite field exist, with arbitrary large Mordell-Weil rank. Elkies (and others) extended this to characteristic two; a key ingredient in both cases is quadratic twists over the function field of a hyperelliptic curve. In the talk it is discussed how analogous results involving so-called quartic twists and sextic twists are obtained.
  • 20-12-22, 11:00 (introductory talk) / 11:40 (research talk). Steven Charlton (Hamburg): TBA
  • 10-01-23. Marc Hindry (Institut de Mathématiques de Jussieu-Paris Rive Gauche): TBA
  • 17-01-23, 11:00 (introductory talk) / 11:40 (research talk). Francesca Bianchi (Groningen): TBA
  • 24-01-23, 11:00 (introductory talk) / 11:40 (research talk). Mar Curcó-Iranzo (Utrecht): TBA
  • 31-01-23, 11:00 (introductory talk) / 11:40 (research talk). Evgeny Verbitskiy (Leiden / Groningen): TBA
  • 07-02-23, 11:00 (introductory talk) / 11:40 (research talk). Stefano Marseglia (Utrecht): TBA

Previous years

  • 2021/22
  • 2020/21
  • 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.