Author: Eiko
Tags: p-adic, chabauty, diophantine geometry
Time: 2024-11-25 09:56:27 - 2024-11-25 09:56:27 (UTC)
These are notes the author took at the conference in Edinburgh, ICMS, 2024.
A brief History Of Nonabelian Chabauty
Talk given by Kiran S. Kedlaya, UCSD, at ICMS Edinburgh 2024 Nov 25.
Infinite Descent
Invented by Fermat, to prove has no rational solutions.
The section conjecture
(ppt, unnoted)
Unexpected Algebraic Points In Non-Abelian Chabauty Loci
(ppt, unnoted)
Quadratic Chabauty For Modular Curves
Joint with Amnon Besser, Alexander Betts, Francesca Bianchi, Netan Dogra, Daniel Hast,
Motivation
Rouse0Sutherland-Zurieck-Brown) described the classification of possibpl images of l-adic Galois representation s attached to elliptic curves over (Mazur’s Program B). They do quite a lot technieuqes, adn identified some challenges for . They end up classify rational points on almost all modular curves, aside from those dominating:
What do we know about ?
Prop RSZB
There exists a smooth plane quartic over together with with a degrer morphism from defined over .
-simple abelian variety associated to newform orbit 729, 2.a.c. of rank .
The idea is by combinint QC with restriction of scalaers, should be possible to compute (a finite set containing) , since , which is .
Goal
Talk about QC for for integral points on affine hypier curves (B-Besser-Muller 2016).
Then restriction of scalers we get qC for -points on hyperelliptic curves =points on biell curves with larger Jacobien rank. (B-Besser-Bianchi-Muller-2021)$.
By Nekovar heighte and Hecke correspondence we get QC for rational points on modulear curves (B-Dogra-Muller-Tuitman-Vonk 2019, 2023).
Combine them today we can have QC for -rational points on modular curves with higher rank.
Part I
There is a concrete theorem we can write down (BBM). Let be a hyperelliptic curve of genus , monic and of odd degree, let and suppose and for are linear independent, then there is an explicitely computable finite set and explicitely computable constnts such that
takes values in in the integral points and
Proof(idea)
Use the Coleman-Gross height pariing which is bilinear and rewrite in terms of a natural basis for the space of bilinear forms on , this is given by of Coleman integrals, This uses a finite index subgroup of .
Then decomposes as global height and sum of local heights, the local height .
The RHS is a finite set of values on integral points, can calculate it. This amountes to solving -adic power series equations.
Part II QC with restriction of scalaers
Remark D,H proved finiteness theorems for various nonabelian Chabauty sets for curves using unlikely intersections. In BBBM, they give explicit method, outline how to combine QC + restriction of scalars (RoS).
The idea is to use more (Coleman-Gross) -adic heights.
Suppose is a curve on number field, the set of canonical -adic height parings are in correspondence with the set of extensions .
The -adic height depends on choice of idele class character.
Example
with , just have cyclic -adic height. If
with , have two independent -adic heights cyclic and anti-cyclic.
Should Work Condition
Sisek 2013 gave Chabauty and RoS that should work when . Consider , adn , , . and .
Consider , with respectively. Since , we expect the intersetcion is finite.
This implies QC and RoS should work if .
Theorem BBBm Let , given as . and .
Can apply QC (and MW sieve) to compute .
Part III
For -points on modular curves, the idea is want to generalize is som set of values of .
The problem is that we cannot control the local heights away from via Coleman-Gross use Nekovars heights.
Theorem (BDMTV) Tehre exists an algorithmn that takes as input eht following objects:
A modular curve of genus and rank and .
A covering of by affines that are birational to a plane curve cut out by an equation that is monic in variable, -integral, satisfy some interesting technical conditions (TA1).
A prime of good reduction such that generates .
A supply of non-rational points in
for all , the local heights .
We will get a finite set containing .
Part IV QC for modular curves + RoS
Combine II + III, seem hopeful if . Try to carry out III under RoS with Nekovar heights.
Theorem (BBHJM) Let over be the genus quotient of of RSZB.
We have , , .
A finiteness Conjecture For Abelian Varieties Over Number Fields
Given by Akio Tamagawa (RIMS Kyoto) at ICMS Edinburgh 2024 Nov 26.
Let be a number field, is a geometrically connected variety over , there is a fundamental exact sequence of fundamental groups

where .
Reidemeister Torsion In Arithmetic
Let , .
Does this action funciton give rises to some L-functions?
We will consider smooth projective curves over finite fields. The spaces of representations will be representations of etale fundamental groups. Let .
no H^0, no H^2
We want to understand the -value .
The Trivial locus of local systems
Anna Cadoret, joint work with A. Tamagawa
Let be a number field and a smooth geoemtrically connected variety over . a prime and a -lcoal system,

Degeneracy locus / Take locus
Main problem is to understand the arithmetic geometric properties of .
Langlands Duality For Skein Modules
Arithmetic TQFT
Number theory Topology.
Algorithms For Certifying Nontriviality Of Ceresa Cycles
Joint work with Jordan Ellenberg, Adam Logan.
Let be a nice genus curve over a field with a point . This point is used to define an embedding
which is a dimensional group variety.
History Motivating question how many points does have? How do we understand points on this variety that have this functorial construction? Mapping them to other groups. Depends on .
Today we are going to study -dimensional subvarieties of .
Example
A natural filtration on (principal ones, algebraically trivial cycles, like deg zero divisors)
Question: Hoo large is the quotient? (too hard). How deep in the filtration does live?
Some Answers
since acts trivially on . Anser depends on and .
Hyperelliptic curves turns out choose Weierstrass point, because hyperelliptic involution induces on the Jacobian.

Ceresa (1983) for very general curve of genus , does not go deep in the filtration for .
The tool used are degeneration and Hodge theory.
(Betts-Liyongoiy) -adic Hodge theory analogue.
B-Harris (1993) Fermat quartic , .
Tool: Showing a certain period integral is not integer.
Bloch (1984) showed for Fermat quartic, for .
Tool: Map homologically trivial cycles into someting like Selmer groups,
Techniques of Block + B.Harris can be used to show degree Fermat curves and quotients.
Eskandan-Murty shoewe Fermat curve for prime that for .
Tool: Dimension reduction using symmetries. .
Arithmetic of is infinite (Gross-Rohv lich).
Laga-Shnidman (2024) Picard curves with action, dimension reduction using Chow motives.
Tool: Dimension reduction using special cycles.
All of these results apply to curves with automorphisms. Question: what can you say about the Ceresa cycle for a random curve?
Today’s Main Theorem
Input: A nice cerve over numebr field .
Output: A certificate that has infinite order or does it terminate.
For example when run on height smooth plane quartics with coefficients on Magma, the algorithm failed to terminate in cases. i.e. the remaining curves have provable infite order Ceresa cycles in .
Remarks
All exceptions have symmetries include known torsion for example , .
Our main tool is the -adic Abel-Jacobi maps. Ongoing work with Besser-Balakrishnan, explicitly compute the -adic AJ image using iterated Coleman integrals, certifying non-triviality in .
Tool: Bloch’s -adic cycle class map
Ceresa class.
Final goal, show has infinite order.
Steps:
Compute an upper bound on the number of , using the idea of Kummer sequence and weights.
Kummer sequence
Choose an good prime and compute a lower bound on .
Algo: Compute N and for $p$ choosed bound. If there is such that , then output has infinite order.
Theorem(Chebotarev) If acts on is maximal and is inifite order, then is unbounded as vanishes.
Curves acquire symmetries on reduction mod ,
is the order of the following canonical point on