Geometry, Number Theory, Algorithms and Applications in Cryptography
Location
The workshop will be held at the Institute of Mathematics, University of Oldenburg. The talks will take place in building W1 room 0-012 at Campus Wechloy.
Thursday, March 5
14:00: Konstantin Meiwald (Oldenburg)
Constructive aspects of Picard groups of connected non-reduced projective curves
Let \(X\) be a connected, projective curve over a perfect field \(\mathbb{K}\), and \(X_{\operatorname{red}}\) be the corresponding reduced curve. Then the natural closed immersion \(X_{\operatorname{red}} \to X\) induced an epimorphism \(\phi : \operatorname{Pic}(X) \to \operatorname{Pic} (X_{\operatorname{red}})\) between the Picard groups. We use this epimorphism to develop explicit methods for \(\operatorname{Pic}(X)\), if \(\operatorname{Pic(X_{\operatorname{red}}})\) is finitely generated. I give an overview of all the methods I use to get an explicit isomorphism \( \operatorname{Pic}(X) \cong \mathbb{K}^m \times \mathbb{Z}^r / U\), where \(U\) is a free \( \mathbb{Z}\)-submodule of \(\mathbb{K}^m \times \mathbb{Z}^r\) of finite rank. I then give a short demonstration of my implementation of these methods.
14:30 Ander Arriola (Groningen):
Rank jumps for jacobians of hyperelliptic curves on K3 surfaces
Specialisation theorems by Néron and Silverman imply that in a family of Abelian varieties the Mordell-Weil rank of almost all members is at least the Mordell-Weil rank of the generic fibre. We study Mordell-Weil rank-jumps, that is, the locus of Abelian varieties in the family whose rank is strictly larger than the generic rank. In joint work with Cecília Salgado we show that in a family of Jacobians coming from a pencil of hyperellitic curves on a K3 surface the rank-jump locus is dense/not thin after a field extension of bounded degree.
15:30 Joris Dannemann (Oldenburg):
Galois Module Structure of Riemann-Roch Spaces on Curves
Let \(L/F\) be a finite, abelian Galois extension of function fields with Galois group \(G\) over a perfect base field \(K\). Any divisor of \(L\) that is invariant under the Galois operation yields a module over the group ring \(K[G]\) by considering its Riemann-Roch space. We study the structure of these modules and give a complete decomposition into indecomposable submodules in the case of \(G\) being cyclic or of order prime to the characteristic of \(K\). This talk complements the one I held last year in Groningen, where I explained the goals for my master's thesis, as I will now discuss some of its results.
16:00 Lara Vicino (Groningen):
Locally Recoverable Codes from a family of fibreed surfaces
Locally Recoverable Codes (LRCs for short) are a type of error-correcting codes particularly suited for applications in distributed storage systems. In this talk, I will present a construction of LRCs with availability from a family of fibreed surfaces. Techniques coming from the theory of one-variable function fields and from the theory of fibrations on surfaces are combined to obtain the locality and availability properties of these codes, and to estimate their minimum distance. In particular, when the locality parameter is equal to 3, the bound that we obtain on the minimum distance is sharp.
17:00 Riya Parankimamvila Mamachan (Groningen):
Chabauty-Coleman for Surfaces
Chabauty in 1941 proved Mordell's Conjecture for curves whose rank of the Jacobian is less than the genus. Later in 1985, Coleman gave an explicit bound for the number of rational points of the curves that satisfy Chabauty's condition. In this talk, I will present the Caro-Pasten method (2023) which provided the first extension of Chabauty's idea beyond curves. This gives an upper bound on the number of rational points of a hyperbolic surface \(X\) contained in an abelian variety \(A\) of dimension \(n \geq 3\), both defined over a number field \(K\), under the assumption that rank \(A(K) \leq 1\). I will also show an application of the Caro-Pasten method to get the explicit bound on the number of rational points of the symmetric powers of certain curves.
17:30 Vivianne Klijn (Groningen):
Isogeny-based commitment schemes
The field of post-quantum cryptography studies alternatives to currently existing cryptographic methods, as current methods are unsafe if a suitably powerful quantum computer is constructed. One approach is based on isogenies between elliptic curves, known as isogeny-based cryptography. While there are many isogeny-based protocols, until 2021 there was no isogeny-based commitment scheme. A commitment scheme allows a sender to show to a verifier that they are committed to a certain message without revealing any information about the message. Furthermore, in 2024 a modification to the isogeny-based commitment scheme was proposed that removes the need for a trusted third party during the setup phase. We discuss both of these protocols and study the theory behind them, which allows us to slightly generalise the proposed modification.
19:00 Dinner
Dinner takes place at Finca & Bar Celona, Wechloy. The menu can be found here. A filter for vegan or gluten-free can be set.
Friday, March 6
09:30 Manoy Trip (Groningen):
Existence of minimal del Pezzo surfaces of degree 1 with conic bundles over finite fields
Every rational surface is birational to a conic bundle or a del Pezzo surface. In this talk, we consider surfaces over finite fields that are both del Pezzo surfaces and conic bundles. We focus on surfaces which are minimal and have degree (defined as the self-intersection number of the canonical divisor) equal to \(1\). We give a classification based on the configuration of the singular fibres of the conic bundle structure, and discuss an answer to the following question: for which values of q can each of these configurations exist on a del Pezzo surface with conic bundle?
10:00 Marcel Salmon (Oldenburg):
On the Classification of simple non-isolated Cohen-Macaulay codimension \(2\) Singularities
One approach to study a singularity \((X,0) \subseteq (\mathbb{C}^N, 0)\) is deformation theory. The central idea is to deform \((X,0)\) slightly into "simpler" singularities \((\mathcal{X}_t,0)\), while retaining some geometric properties of \((X,0)\). Naturally one can ask which singularities can only be deformed into finitely many different other singularities up to isomorphism, these are the so-called simple singularities. In the previously well studied classes of hypersurface and complete intersection singularities all simple singularities are isolated. For the class of Cohen-Macaulay codimension \(2\) (CMC\(2\)) singularities the existence of non-isolated rigid, in particular simple, singularities has been known since 1974. In this talk we will give an overview of the ongoing progress towards a complete classification of simple (non-isolated) CMC\(2\) singularities in recent years and discuss the difficulties of the still open subcase.
11:00 Fedel Berkenbosch (Groningen):
Explicit constructions of Halphen pencils of degree 3
An elliptic surface \(Y\) over a smooth projective curve \(C\) is a smooth and projective variety \(Y\) of dimension 2 together with a fibration \(f: Y \rightarrow C\) such that the generic fibre is a smooth genus one curve. If \(Y\) is rational then there exists an \(m \geq 1\), called the index of the fibration, such that f is given by the pluri-anticanonical linear system \(|-mK_Y|\). The case \(m=1\) is equivalent to the existence of a global section for f. If \(m>1\), then f has a unique multiple fibre of multiplicity \(m\). A Halphen pencil of degree \(m\) is an irreducible pencil of plane curves of degree \(3m\) with nine possibly infinitely near base points of multiplicity \(m\). Rational elliptic surfaces of index \(m\) admit a realisation as a 9-fold blow up of the base points of Halphen pencils of degree \(m\). This allows for an explicit study of their singular fibres via the description of the special members of the corresponding pencils. In my thesis I described all possible constructions of rational elliptic surfaces of index 3 with fibres of type II*, III* or IV* by investigating the corresponding Halphen pencils.
11:30 Hellen Monção de Carvalho Santana (Oldenburg):
Stratified Morse critical points and Brasselet number on non-degenerate locally tame singularities
Let \(\{X_t\}_t\) be a suitable family of germs at \(0\) of complete intersection varieties in \({\mathbb C}^n\) and \(\{f_t\}_t\), \(\{g_t\}_t\) families of non-constant polynomial functions on \(X_t\). If the germs \(X_t\), \(X_t \cap f_t^{-1}(0)\) and \(X_t \cap f_t^{-1}(0) \cap g_t^{-1}(0)\) are non-degenerate, locally tame, complete intersection varieties, for each \(t\), we prove that the difference of the Brasselet numbers \(B_{f_t,X_t}(0)\) and \(B_{f_t,X_t \cap g_t^{-1}(0)}(0)\) is related with the number of Morse critical points on the regular part of the Milnor fibre of \(f_t\) appearing in a morsefication of \(g_t\), even in the case where \(g_t\) has a critical locus with arbitrary dimension. This result connects topological and geometric properties and allows us to determine some interesting formulae, mainly in terms of the combinatorial information from Newton polyhedra.
13:30 Mike Klußmann (Oldenburg):
The number of integral points on an ellipsoid and Hurwitz class numbers
We discuss a link, originally found by Gauss and Kroencker, between the number of integral points on the ellipsoid \(X^2+Y^2+Z^2=n\) and Hurwitz class numbers, and its extension to ellipsoids \(aX^2+bY^2+cZ^2=n\) for specific choices of integers \(a, b, c \in \mathbb Z\).
14:00 Begüm Çaktı (Groningen):
On the equation \(x^p+dy^p=z^2\) over real quadratic fields
After the proof of Fermat's Last Theorem, the modular method has been used much more broadly to study solutions of Diophantine equations. In this talk, as motivation, we first briefly discuss solutions to the equation \(Ax^p+By^p=Cz^2\) over totally real fields satisfying certain local conditions. We then restrict to the equation \(x^p+dy^p=z^2\) over real quadratic fields \(\mathbb{Q}(\sqrt{d})\), and show that there exist explicit bounds (depending on \(d\)) such that no non-trivial solutions of a certain type exist whenever $p$ exceeds these bounds. In the end, we also describe what happens in the imaginary quadratic field setting. This is joint work with Erman Isik, Yasemin Kara, and Ekin Özman.
- Arrival by car: On the A28 to Oldenburg take exit Oldenburg-Wechloy and continue this way to Campus Wechloy.
- Parking: There is sufficient free parking at Campus Wechloy. The hotel has some limited, free parking. For parking in its vicinity, see here.
- Arrival by train: You can get off at station Oldenburg-Wechloy, if the train stops there, and walk this route, or at the main station Oldenburg(Oldb) Hbf and take the bus.
- Bus timetables, mobile app and tickets are available under https://www.fahrplaner.de/en. Tickets can also be bought on the bus. The destination is Oldenburg(Oldb) Uni/Campus Wechloy, see here. You can also try the mobile app of https://fairtiq.com/en/ which works in an interesting way.
- The green e-scooters seen everywhere in Oldenburg can be rather easily rented using the mobile app of https://bolt.eu/en-de/.
- Spontaneous bike rent is apparently not so convenient in Oldenburg at the moment (you probably have to use any of the local shops which rent bikes such as Vosgerau am Damm).
