Institute for Advanced Study · Video summary
Heights of Gross-Schoen and Ceresa Cycles - Ziyang Gao
This talk introduces the generic positivity of heights for special cycles (Groom and Ceresa) on the moduli space of curves, connecting arithmetic and geometric properties.
Watch on YouTube ↗Key takeaways
- 🎯Heights are a fundamental tool in arithmetic geometry used to measure the 'size' of algebraic points and can be generalized from rational numbers to points on projective spaces and varieties.01:46
- 🚀Consider how height functions, as measures of arithmetic size, could be applied to your own decision-making or analysis frameworks.01:46
- 💡A 'dominant height' function on a variety is defined by its lower bound and satisfying the Nocoff property, analogous to how logarithmic heights behave.06:20
- 🎯Explore the concept of 'dominant heights' and their properties (lower bound, Nocoff property) as a potential lens for evaluating complex objects or data.06:20
- 📈On abelian varieties, a 'genuine' height function exists that vanishes precisely on torsion points, providing a positive definite quadratic form on the associated torsion group.07:07
- 🔍The Beilinson-Bloch height conjectures extend the concept of height from points to homologically trivial cycles, conjecturing positivity and vanishing on torsion cycles.10:04
Chapters
- 0:14🎯 Introduction and Motivation
- 1:54🎯 Definition of Heights in Arithmetic Geometry
- 9:48🎯 Extending Heights to Cycles and Varieties
- 11:53🎯 Heights of Specific Cycles: Gross-Schoen and Ceresa
- 15:17🎯 Height Functions and Their Properties
- 16:12🎯 Main Goals and Open Questions
- 17:43🎯 Outline of Key Theorems and Strategies
- 20:04🎯 Arithmetic and Geometric Ingredients of the Proof
- 28:37🎯 Volume and Positivity Results
- 33:33🎯 Comparison and Compatibility of Forms
- 46:24🎯 Further Directions and Open Problems
The digest
High Level Overview
This presentation explores recent advances in understanding the generic positivity of the Bismut-Gillet-Soulé (BGS) height pairing, particularly focusing on two important homologically trivial algebraic cycles: the Gross-Schoen cycle and the Ceresa cycle. The height functions associated to these cycles connect deep areas in algebraic geometry, arithmetic geometry, and number theory, including applications to moduli spaces of curves and conjectures in the theory of algebraic cycles. The speaker outlines key constructions, conjectures, and newly proven theorems that establish a systematic approach to verifying positivity properties, using sophisticated tools such as adelic line bundles, intermediate Jacobians, and period map minimality. This content is relevant for specialists in arithmetic algebraic geometry, Hodge theory, and anyone studying the interactions between geometry and number theory through heights of algebraic cycles.
Keep reading in The Digest
The full 7-minute article, 16 more sections, and every new episode from Institute for Advanced Study and the creators you follow.
- Structured Deep Dive
- 1. Motivation and Background on Heights [00:14–06:00]
- 2. Extending Heights from Points to Cycles: Bismut-Gillet-Soulé Conjectures [09:40–11:10]
- 3. Gross-Schoen and Ceresa Cycles: Definitions and Relationships [11:48–15:50]
- 4. Positivity Questions and Generic Positivity Theorem [15:50–20:02]
- 5. Main Tools in the Proof: Adelic Line Bundles and Arithmetic Geometry [20:02–27:25]
- 6. Volume Computations and Moser's Inequality [28:00–32:00]
- 7. The Geometric Part: Betti Map, Betti Form, and Period Minimality [33:00–44:00]
- 8. Results and Open Questions [44:00–50:40]
- 9. Technical Insights and Interactions of Arithmetic and Geometry [50:40–55:00]
- Key Frameworks and Models
- Framework: Bismut-Gillet-Soulé (BGS) Height Pairing on Homologically Trivial Cycles
- Mental Map: Translating Heights to Adelic Line Bundles
- Betti Map and Betti Form in Families of Varieties
- Practical Implications & Takeaways
- Action-Oriented Summary
More from Institute for Advanced Study
Multi-scale Analysis in Projection Theory III - Hong Wang
This lecture explores multi-scale analysis in projection theory, focusing on removing regularity assumptions for improved bounds in geometric measure theory.
Product of Random Matrices: From Scaling Limits to Neural Networks - Yi Han
Yi Han discusses scaling limits, spectral behavior, and universality classes of products of random matrices, with connections to neural networks and phase transitions.
Inside Astronomically Realistic Black Holes - Andrew Hamilton
Exploring inside astrophysical black holes reveals that the singularity is a surface, not a point, and the inner horizon of rotating black holes may be a site of baby universe creation.
Multi-scale Analysis in Projection Theory II - Hong Wang
Hong Wang's lecture explores multiscale analysis and projection theorems, revealing how almost regular sets develop product structures to compare projection sizes across scales.
There is a Mildly Mixing Rank 1 Transformation with an Interesting Joining - Jonathan Chaika
Jonathan Chaika proves the existence of mildly mixing rank one transformations with no minimal self-joinings, challenging assumptions about rank and mixing properties.
Existence and Regularity of Nonlocal Minimal Surfaces - Michele Caselli
This talk introduces fractional minimal surfaces as a novel approach to proving existence and regularity of classical minimal surfaces, particularly addressing limitations in min-max constructions.