Talk

http://people.mpim-bonn.mpg.de/teichner/Math/4-Manifolds.html

 

I plan to give an overview of the literature on this topic, which originates from the variation of $p$-adic De Rham cohomology in a family of varieties over a field of positive characteristic $p$. So, I would like to start discussing the two polygons that vary over the moduli space: the geometric Hodge polygon and the Newton polygon of $p$-adic size of Frobenius eigenvalues. The evidence emerging from Dwork's theory, lead to the "Katz conjecture", stating that the Frobenius polygon stays above the Hodge one. This was proven by Mazur, who conveniently replaced the geometric Hodge polygon by a $p$-adic one, which will be the same under favorable circumstances. The filtration of the solution space by the $p$-adic order of Frobenius eigenvalues, leads to a factorization of the connection over relatively large analytic domains. This leads to good analytic formulas for the unit-root part of the zeta function. More generally, the analytic continuation of the "unit-root $F$-subcrystal", should in principle generate lots of $p$-adic formulas of Gross-Koblitz type. Moreover, in a number of interesting examples where a Frobenius structure exists, the filtration by the eigenvalues of Frobenius, tends to coincide with a more general type of filtration, the one by the "(log-)growth of solutions at the boundary of their disk of convergence". This is not at all a general phenomenon, but it suggests the independent study of $p$-adic differential equations, equipped with the log-growth filtration. Does this lead to a filtration of the differential equations themselves over large analytic domains? I will report on the progress on these topics made by André and Chiarellotto-Tsuzuki. I will try to give a couple of examples.

A theorem of J. F. Thomsen states that Frobenius push-forwards of line bundles on smooth toric varieties are direct sums of line bundles. Using characterization of toric varieties in terms of their Cox rings, we show that this property in fact characterizes smooth projective toric varieties.

Since the seminar I am moderating is called congruences, I'll start off by explaining the possibilities for the composition factors of the reduction mod p of the type of 4-dimensional Galois representation coming from a CY 3-fold, and comparing these with the kinds of congruences observed by Anton Mellit, calling on him to report on observations about pairs of congruences and common values of $p$. This would set the scene. At some point later I could say something about how for at least one of the three kinds of such congruences, it should lead to an element of order $p$ in some Selmer group, how that appears in the Bloch-Kato conjecture, which then predicts the appearance of $p$ in an $L$-value, comparing and contrasting with the cases of congruences for Saito-Kurokawa lifts, and congruences connected with $p$-torsion on elliptic curves.

We will introduce Hecke kernels according to Kontsevich and show how to construct congruence $D2$ differential equations via Hecke correspondences in practice.