# Arithmetic Geometry Seminar/Seminario di Geometria Aritmetica

## Upcoming talks

#### Bruno Kahn, Institut de Mathématiques de Jussieu-Paris Rive Gauche, 20/01/2023

Title: On the Tate conjecture for divisors

Abstract: We prove that the Tate conjecture in codimension $$1$$ over a finitely generated field follows from the same conjecture for surfaces over its prime subfield. In positive characteristic, this is due to de Jong-Morrow over $$\mathbf{F}_p$$ and to Ambrosi for the reduction to $$\mathbf{F}_p$$. We give a different proof than Ambrosi's, which also works in characteristic $$0$$; over $$\mathbf{Q}$$, the reduction to surfaces follows from a simple argument using Lefschetz's $$(1,1)$$ theorem.

Title: TBA

Abstract: TBA

#### Alberto Merici, University of Oslo, 10/03/2023

Title: A motivic integral p-adic cohomology

Abstract: We use the theory of logarithmic motives to construct an integral $$p$$-adic cohomology theory for smooth varieties over a field $$k$$ of characteristic $$p$$, that factors through the category of Voevodsky (effective) motives. If $$k$$ satisfies resolutions of singularities, we will show that it is indeed a “good" integral $$p$$-adic cohomology and it agrees to a similar one constructed by Ertl, Shiho and Sprang: we will then deduce many interesting motivic properties.

Title: TBA

Abstract: TBA

#### Morten Lüders, Leibniz Universität Hannover, 24/03/2023

Title: On the left Kan extension of the Chow group of zero cycles

Abstract: We explain different types of Chow groups of zero cycles for singular schemes and how they should be related. More precisely, we show that the Levine-Weibel Chow group of zero cycles is left Kan extended from smooth algebras in the affine case over algebraically closed fields, and even rigid for surfaces. One key ingredient is Bloch's formula for singular schemes. The motivation for these results comes from algebraic $$K$$-theory. This is joint work in progress with Matthew Morrow.

Title: TBA

Abstract: TBA

Title: TBA

Abstract: TBA

Title: TBA

Abstract: TBA

## Past talks

#### Wataru Kai, Tohoku University / Università degli Studi di Milano, 16/12/2022

Title: The Green-Tao theorem for number fields (and beyond)

Abstract: Green and Tao famously proved that there are arbitrarily long arithmetic progressions of prime numbers. Around the same time, Tao proved an analogue for the Gaussian integers: the set of prime elements of $$\mathbb{Z}[i]$$ contains constellations of arbitrary shapes. After reviewing some background of these theorems, I will explain our generalization of them to the context of prime elements in general number fields, a joint result with M. Mimura, A. Munemasa, S. Seki and K. Yoshino. Time permitting, I will describe my recent attempt to deepen this result, following the work of Green-Tao-Ziegler on more complex linear patterns of prime numbers.

#### Lucas Mann, University of Muenster, 02/12/2022

Title: A p-adic 6-Functor Formalism in Rigid-Analytic Geometry

Abstract: We introduce a p-adic 6-functor formalism on rigid varieties and more generally Scholze's diamonds, which in particular proves Poincaré duality for étale $$\mathbb F_p$$-cohomology on proper smooth rigid varieties over mixed-characteristic fields. The basic idea is to employ Clausen-Scholze's condensed mathematics in order to construct a category of "quasicoherent complete topological $$\mathcal O^{+a}_X/p$$"-sheaves on any diamond X. This category satisfies v-descent and admits the usual six functors $$\otimes$$, $$\underline{Hom}$$, $$f^*$$, $$f_*$$, $$f_!$$ and $$f^!$$ with all the expected compatibilities. One can then pass to the category of $$\varphi$$-modules, i.e. pairs $$(M, \varphi_M)$$ where $$M$$ is as before and $$\varphi_M\colon M \to M$$ is a Frobenius-semilinear isomorphism. By proving a version of the $$p$$-torsion Riemann-Hilbert correspondence we show that classical étale $$\mathbb F_p$$-sheaves embed fully faithfully into the category of $$\varphi$$-modules (identifying perfect sheaves on both sides), which finally allows us to relate the 6-functor formalism of $$\varphi$$-modules to $$\mathbb F_p$$-cohomology. With this theory established, we also obtain a new and short proof of the primitive comparison isomorphism.

#### Giacomo Cherubini, University of Rome La Sapienza, 01/12/2022

Title: Real quadratic fields with large class number

Abstract: We know that every integer can be factored in a unique way as a product of primes. This is no longer true over number fields and the class number indicates "how badly unique factorization fails": if the class number is one then we have unique factorization, while anything bigger than one means we don’t. A long-standing open conjecture of Gauss states that there are infinitely many real quadratic fields with class number one. In the opposite direction, one can prove that there are infinitely many real quadratic fields with class number as large as possible. In this talk I will explain what ”as large as possible” means and a few ideas on how the result can be proved. This is joint work with Fazzari, Granville, Kala and Yatsyna.

#### Adel Betina, University of Copenhagen, 25/11/2022

Title: On the first derivative of cyclotomic Katz p-adic L-functions at exceptional zeros.

Abstract: This talk is based on a joint work with Ming-Lun Hsieh studying the exceptional zeros conjecture of Katz $$p$$-adic $$L$$-functions. We will present a formula relating the first derivative of the cyclotomic Katz $$p$$-adic L-function attached to a ring class character of a general CM field to the product of an $$L$$-invariant and the value of some improved Katz p-adic L-function at $$s=0$$. In particular, we show that these Katz $$p$$-adic $$L$$-functions have a simple trivial zero if and only if their cyclotomic $$L$$-invariants are non-zero. Our method uses congruences of Hilbert CM forms and the theory of deformations of reducible Galois representations. I will discuss at the end of this talk about how we can compute the first derivative beyond the case where the branch character is a ring class character using $$p$$-adic Eisenstein congruences for $$U(2,1)$$.

#### Alberto Vezzani, Università degli Studi di Milano, 11/11/2022

Title: Homotopical methods for Hyodo-Kato cohomologies.

Abstract: Using homotopical methods in rigid analytic geometry, we show how to give a streamlined definition of the Hyodo-Kato cohomology for rigid analytic varieties over a non-archimedean local field with residue characteristic $$p>0$$. As an application, we deduce an exact complex à la Clemens-Schmidt involving the monodromy operator, the rigid and the $$log$$-rigid cohomologies. Work in progress with F. Binda and M. Gallauer.

#### Luca Dall'Ava, Università degli Studi di Milano, 4/11/2022

Title: Hida theory for Special quaternionic orders.

Abstract: In this talk, we discuss a quaternionic Control Theorem, in the spirit of Hida and Greenberg-Stevens, considering a generalization of Eichler orders proposed by Pizer. These orders allow higher level-structure at the primes where the quaternion algebra ramifies. Interestingly, the quaternionic modular forms associated with these orders live in Hecke-eigenspaces whose rank might be 2 and not necessarily 1, as in the Eichler case. The proven Control Theorem deals with this higher multiplicity situation. Time permitting, we will discuss some work-in-progress developments on recovering strong multiplicity 1, and an expected generalization of Chenevier's $$p$$-adic extension of the Jacquet-Langlands correspondence with these interesting level structures. This last part is joint work with Aleksander Horawa.

#### Marco Seveso, Università degli Studi di Milano, 21/10/2022

Title: On a reciprocity law for $$GSp(4)$$ and arithmetic applications.

Abstract: After briefly discussing $$p$$-adic type Birch and Swinnerton-Dyer conjectures, I will explain a reciprocity law supporting it which is a work in collaboration with Fabrizio Andreatta, Massimo Bertolini and Rodolfo Venerucci.

#### Francesco Battistoni, Università degli Studi di Milano, 14/10/2022

Title: Classification of number fields with small regulator.

Abstract: Classification of number fields with bounded invariants is an important problem in Computational Algebraic Number Theory. In this talk, we shall focus on a procedure which classifies number fields with small regulator: in particular, we show that better results are available if a specific function, which is a key object in the procedure, is estimated as sharply as possible. As a consequence, we rigorously provide minimum regulators for number fields of degree 8 and with 1 complex place.