Program
FutUre RELated 2025 Summer School
RGAS Summer School on Perfectoid Techniques, La Cristalera, Spain -- May 19-23, 2025
Lectures by: Johannes Anschütz, Linquan Ma, Jakub Witaszek
https://sites.google.com/bcamath.org/lacristalera/
Prerequisites
The primary target audience of the fall school are advanced graduate students and postdocs interested in learning about methods which have lead to the recent progress in birational geometry and commutative algebra in mixed characteristic. Suggested prerequisites include:
familiarity with material in a graduate level course in Algebraic Geometry (at the level of Algebraic Geometry by Robin Hartshorne)
familiarity with material in a graduate level course in Commutative Algebra (at the level of Commutative Algebra with a View Toward Algebraic Geometry by David Eisenbud)
some experience with (a non-empty subset of): cohomology theories, categorical/homotopical algebra, minimal model program / birational geometry
To get in the mood for the school we recommend to read parts of the following which cover some of the material and applications given in the courses:
AN INTRODUCTION TO SINGULARITIES IN COMMUTATIVE ALGEBRA VIA PERFECTOID BIG COHEN-MACAULAY ALGEBRAS
PRISMS AND PRISMATIC COHOMOLOGY (through Section 8) or THESE NOTES (through Lecture 8)
Notes & Exercises
The speakers will provide exercises during their lectures. These will be discussed during daily exercise sessions, led by the course assistants: Hanlin Cai (Utah), Rankeya Datta (Missouri), Eamon Quinlan-Gallego (Utah), and Devlin Mallory (BCAM).
Schwede: Lecture Notes
Ma/Cai/Tucker: Exercises, and Lecture Notes
Witaszek: Notes & Exercises Lectures 1-3
Dinner on Thursday
The school dinner will take place on Thursday at Heiliggeist Restaurant. Since we used up all our funds we are unfortunately not able to further subsidize the dinner (i.e. you have to pay yourself) but hope very much you will attend nevertheless! You should pick your menu choices on Monday at the Registration.
Free afternoon on Wednesday
During the free afternoon there is no official program and exercises are by popular request only. Here are some suggestions:
bouldering: Mainz has a bouldering gym.
hiking: If the weather is good, there are several scenic hikes just a train ride away. One option is to take a train to Bad Münster am Stein and hike to Bad Kreuznach via `Rheingrafenstein' and `Gans'. There you can stop at a Biergarten (Brauwark) and catch a train back to Mainz. Here is a GPX track for the hike.
sight seeing: Mainz has many famous sights, among them the Gutenberg-Museum and the Stephanskirche with the famous Chagall windows.
SChedule
Titles and Abstracts
KARL SCHWEDE: INTRODUCTION TO POSITIVE CHARACTERISTIC GEOMETRY
LINQUAN MA / HANLIN CAI / KEVIN TUCKER: PRISMATIC COHOMOLOGY AND APPLICATIONS TO COMMUTATIVE ALGEBRA
We give an introduction to prismatic cohomology. We will focus on its connections to perfectoid rings, the almost purity theorem, and its applications to mixed characteristic commutative algebra via the perfectoidization functor.
JAKUB WITASZEK: RIEMANN-HILBERT CORRESPONDENCES AND APPLICATIONS TO SINGULARITIES
We will provide a brief introduction to the theory of perverse sheaves as well as Riemann-Hilbert correspondences in positive and mixed characteristics. We will focus on applications to commutative algebra, particularly to the theory of splinters.
WIESLAWA NIZIOL: HIDDEN STRUCTURES ON THE DE RHAM COHOMOLOGY OF P-ADIC ANALYTIC VARIETIES
I will survey what is known about extra structures (Hodge filtration, Frobenius, monodromy) appearing on de Rham cohomology of analytic varieties over local fields of mixed characteristic.
WALTER GUBLER: ON THE NON-ARCHIMEDIAN MONGE-AMPERE EQUATION IN MIXED CHARACTERISTIC
Monge-Ampère equations are important PDE's in Analysis. In a celebrated result in the seventies, Yau solved the complex Monge-Ampère equation to prove a long standing conjecture of Calabi about the curvature on Kähler manifolds. In this talk, we explain that there is an analogue of the Monge-Ampère equation for projective varieties over non-archimedean fields as the p-adic numbers and that we can use test ideals in mixed characteristic to solve them assuming resolution of singularities. This is joint work with Yanbo Fang and Klaus Künnemann.
ARTHUR-CESAR LE BRAS: DE RHAM FARGUES-FONTAINE STACKS
Rodriguez Camargo recently introduced in analytic geometry a variant of Simpson’s de Rham stack, whose theory of quasicoherent sheaves relates to the category of analytic D-modules. Perhaps surprisingly, the theory is very « topological » in nature; the analytic de Rham stack can be defined even for spaces with no good theory of differential forms. In particular, one can form the analytic de Rham stacks of Fargues-Fontaine curves. I will explain what this means and how it should allow to revisit some recent results in p-adic Hodge theory. Joint work very much in progress with Anschütz, Bosco and Rodriguez Camargo.
Charles Vial: On proper splinters in positive characteristic
A commutative ring is called a splinter if any finite-module ring extension splits. By the direct summand conjecture, now a theorem due to André, every regular ring is a splinter. The notion of splinter can naturally be extended to schemes. In that context, every normal scheme in characteristic zero is a splinter. In contrast, Bhatt observed in his thesis that the splinter property for proper schemes in positive characteristic imposes strong constraints on the global geometry; for instance, the structure sheaf of a proper splinter in positive characteristic has vanishing positive-degree cohomology.
I will report on joint work with Johannes Krah where we describe further restrictions on the global geometry of proper splinters in positive characteristic. I will also address the derived-invariance of the (derived-)splinter property both in positive and mixed characteristics.
Fabio Bernasconi: The Frobenius--stable version of the Grauert-Riemenschneider vanishing theorem fails
The Grauert--Riemenschneider (GR) theorem is a vanishing theorem for the higher direct images of the canonical bundle for birational morphisms in characteristic 0, which is revealed to be incredibly powerful when applied to the study of singularities. While GR vanishing is well-known to fail in characteristic p, a Frobenius stable version of it was expected to hold. In a work with Jefferson Baudin and Tatsuro Kawakami, we show this is not the case: there exists terminal 3-folds in characteristic p in {2, 3, 5} violating this Frobenius stable version of GR vanishing. To do so, we develop a theory of F_p-rationality, motivated by the RH correspondence for étalé F_p-sheaves.