# Seminar: Cohomology and Analytic Number Theory over Function Fields (Fall 2022)

## Topic: Characteristic cycles and applications

The characteristic cycle of an l-adic sheaf on a smooth variety X is a cycle in T^*X that keeps track of the ramification of the sheaf. Saito proved an index formula expressing the Euler characteristic of a sheaf as the intersection number between its characteristic cycle and the zero section, making the characteristic cycle a useful tool for computing or bounding cohomology groups. This seminar will begin with Saito's theory of characteristic cycles in positive characteristic and then survey some applications to analytic number theory over function fields. We won't go through too many of Saito's proofs, instead focusing on properties as they come up in applications.

- When: Fridays, 5-6:30 PM
- Where: Room 528
- Organizers: Amadou Bah, Kevin Chang, Matthew Hase-Liu
- References:
- Another seminar on characteristic cycles
- Theory
**[Bei]** Beilinson - *Constructible sheaves are holonomic*, link
**[Sai1]** Saito - *The characteristic cycle and the singular support of a constructible sheaf*, link
**[Sai2]** Saito - *Characteristic cycles and the conductor of direct image*, link
- Notes by Arthur Forey
- Notes by Lars Kindler
- Applications
**[Saw1]** Sawin - *Bounds for the stalks of perverse sheaves in characteristic p and a conjecture of Shende and Tsimerman*, link
**[Saw2]** Sawin - *A geometric approach to the sup-norm problem for automorphic forms: the case of newforms on GL_2(F_q(T)) with squarefree level*, link
**[Saw3]** Sawin - *Square-root cancellation for sums of factorization functions over squarefree progressions in F_q[t]*, link
**[SFFK]** Sawin, Forey, Fresán, Kowalski - *Quantitative sheaf theory*, link

#### Schedule (Tentative)

Week 1 (09/09)
Kevin Chang
**Review: Weil II, perverse sheaves**
In 1.5 hours, I will try to summarize most of what we did in Caleb's Friday seminar last semester. I'll start by discussing the formalism of l-adic sheaves, mixed sheaves, and perverse sheaves. Then I'll state the main theorem of Weil II and talk about some of its implications for the structure theory of mixed sheaves and maybe some other cool applications if there's time.
notes
Week 2 (09/16)
Kevin Chang
**The Swan conductor and the Grothendieck-Ogg-Shafarevich formula**
In 1.5 hours, I will try to summarize most of what we did in 1 hour in Caleb's Wednesday seminar last semester. The Grothendieck-Ogg-Shafarevich formula is an analogue of the Riemann-Roch formula for l-adic sheaves, making it useful for computing cohomology of sheaves on curves. In positive characteristic, there are extra terms coming from ramification of sheaves. I'll start by reviewing some ramification theory and defining the Swan conductor. Then I'll state the Grothendieck-Ogg-Shafarevich formula and give some applications to exponential sums.
notes
Week 3 (09/23)
Amadou Bah
**Local acyclicity, nearby/vanishing cycles and the semi-continuity of the Swan conductor**
The goal is to explain the semi-continuity of Swan-conductors, due to Deligne (and Laumon), as formulated in **[Sai1, 2.16]**. To that end, I will introduce the notion of local acyclicity of a morphism f : X → S relative to a complex F ∈ D_b^c(X,Λ), the nearby cycles complex RΨ_f(F) and its cousin the vanishing cycles complex RΦ_f(F), and present some of their properties.
I will also introduce the Swan conductor function φ_{F,f}, state (and sketch the proof of) the result of Deligne-Laumon that φ_{F,f} is constructible and lower semi-continuous, and is locally constant if and only if f is (universally) locally acyclic.
Finally, time permitting, I will also indicate the role this result (or rather its generalization **[Sai1, 2.16]**) plays in the construction of the Characteristic Cycle.
Weeks 4 and 5 (09/30, 10/07)
Matthew Hase-Liu
**Definition and key properties of the characteristic cycle**
I'll try to briefly summarize Saito's theory of the characteristic cycle for \ell-adic sheaves, which generalizes the Grothendieck-Ogg-Shafarevich formula. Since the theory is quite technical, there will absolutely be no proofs in this talk. Instead, we'll try to outline the theory and give some examples. We'll start by looking at Beilinson's theory of the singular support and the Radon transform, which we'll need just to define the characteristic cycle. Once we define the characteristic cycle, we'll look at some of its key properties, like the Milnor formula and the index formula.
Week 6
Kevin Chang
**Bounds on stalks of perverse sheaves**
Weeks 7-8
**Application to equidistribution on Bun_2(P^1)**
After that
**Further applications (up to participants)**