This Week I Learned

Subtitle: Norm residue isomorphism theorem: it's "easy"!

The norm residue isomorphism theorem, formerly known as the Bloch-Kato conjecture, is a statement which describes in a rather explicit way etale cohomology of fields with torsion coefficients. Specifically, it states that the resulting cohomology rings are isomorphic to (torsion quotients of) Milnor K-theory, which are given by an explicit presentation in terms of the arithmetic of the field. This isomorphism has some notable consequences, most basic being the fact that the cohomology ring is generated in degree 1, so that all cohomology classes can be written in terms of cup products of classes in degree 1.

This conjecture was originally proven by Voevodsky. To put it mildly, the proof was hard, being based on his newly developed motivic homotopy theory. In recent years however, De Clercq and Florence have worked on a new approach, a work which has been recently completed. A friend of mine has ran a study group on the topic, and I had the pleasure to give the final talk which gathers up the results and concludes the norm residue theorem. I would like to summarize the argument here.

The premise of this whole work rests on an equivalent reformulation: for any field $k$ and any prime $p$ which is nonzero in $k$, the map $H^n(G_k,\mu_{p^2}^{\otimes n})\to H^n(G_k,\mu_p^{\otimes n})$ induced by $p$-power map is surjective, where $\mu_n$ is the group of $n$-th roots of unity viewed as a module with an action of the absolute Galois group $G_k$ of $k$. That is, the result can be reformulated in terms of lifting of certain cohomology classes for this Galois group. This is the point of view undertaken in this work, and it has inspired the basic notion studied in the papers: that of smooth profinite groups.

First let us introduce a general notion capturing what we are trying to prove: let $G$ be a profinite group and $T$ a $\mathbb Z/p^{e+1}$-module for some $e\in\mathbb N$, free of rank $1$ over that ring. We say the pair $(G,T)$ is $(n,e)$-cyclotomic if the map $H^n(G,T^{\otimes n})\to H^n(G,(T/p)^{\otimes n})$ is surjective. For a $\mathbb Z_p$-module $T$ we also say that $(G,T)$ is $(n,e)$-cyclotomic if $(G,T/p^e)$ is, and it is $(n,\infty)$-cyclotomic if this holds for all $e\in\mathbb N$. We can then state our goal by saying that $(G_k,\mathbb Z_p(1))$ is an $(n,1)$-cyclotomic module for all $n$.

For $n=1$ this is easy - by Kummer theory, we have an isomorphism $H^1(G_k,\mu_{p^m})\cong k^\times/(k^\times)^{p^m}$. This makes it obvious that the $p$-th power maps are surjective, which in the above notation means that $(G_k,\mathbb Z_p(1))$ is $(1,\infty)$-cyclotomic. The result we are after then follows from the following insanely general result: any $(1,\infty)$-cyclotomic pair is automatically $(n,1)$-cyclotomic for all $n$.

To prove this implication, one shows a slightly different result. It turns out that one gets a more robust notion if instead of considering lifting for a single $G$-module, one only asks for existence of lift over some lift of a module. More precisely, we will say that a profinite group $G$ is $(n,e)$-smooth if for any (perfect) $\mathbb Z/p$-module $A$ with an action of $G$ and a class $c\in H^n(G,A)$, there is some lift $A[c]$ of $A$ to $\mathbb Z/p^{e+1}$ such that the image of the map $H^n(G,A[c])\to H^n(G,A)$ contains $c$. That is, every cohomology class can be lifted, but exactly where it lives may depend on the class.

The main theorem of the theory of smooth profinite groups is then the following Smoothness Theorem: if $G$ is $(1,1)$-smooth, then it is $(n,1)$-smooth for all $n$. This turns out to imply the aforementioned fact about cyclotomic pairs, although the implication is quite technical and I would rather not explain it.

So, why does the smoothness theorem hold? This is best understood in terms of extensions - cohomology groups are Ext groups in the category of $G$-modules, and those can be described as "Yoneda Ext groups", classifying certain exact sequences of groups. $(1,1)$-smoothness tells us that short exact sequences which start and end with a rank $1$ module. However iterated extensions can easily contain terms of arbitrarily high rank. We have, however, the Uplifting Theorem, which says we can lift modules equipped with complete flags, that is filtrations with rank $1$ graded pieces. The details are quite difficult and involving a fair bit of geometric theory, but the intuition does come down to iterating such rank 1 extensions.

Given the Uplifting Theorem, lifting of Yoneda extensions turns out to be quite straightforward once we know they can be filtered in a manner compatible with the group action. This is done by a rather pretty argument involving reduction to $p$-groups, and using that actions of $p$-groups on $\mathbb F_p$-vector spaces admit such filtrations. All things combined this finishes the proof of the Smoothness Theorem, and hence of the norm residue isomorphism theorem.

This work is quite remarkable in how elementary it is, compared to Voevodsky's original proof. It also has other consequences, thanks to its generality - the Uplifting Theorem directly implies that mod $p$ Galois representations always lift to mod $p^2$ Galois representations. There is still certainly more to be done there, and I'm looking forward to what will come next.

15/12/2022

Subtitle: Iwasawa theory strikes again!

This was a long and interesting summer filled with various conferences and seminars. One (actually two) was a conference organized on the occassion of Bertolini's 60th (+1, because of COVID) birthday, and was probably the most interesting conference I've been to - never before I was so uniformly interested in all of the topics there. Today I would like to summarize what I've learned from one of the talks, namely Giada Grossi's talk on Mazur's main conjecture and applications to Birch and Swinnerton-Dyer conjectures.

In my Week 17 post (around 10 months ago!) I have discussed the basic principles of Iwasawa theory. One thing I did not get around to explaining is the Iwasawa main conjecture (which is now a theorem of Mazur-Wiles) - as it is relevant to this post, let me briefly state it here. I refer to the notation defined in that Week 17 post.

Recall that out of the class groups of cyclotomic fields we have produced a finitely-generated $\Lambda$-module $Y_\infty$. By the structure theorem, it is pseudoisomorphic to a module of the form $\Lambda^r\oplus\bigoplus_i \Lambda/(p^{k_i})\bigoplus_j \Lambda/(f_j^{m_j})$. In fact, in this case the module turns out to further be a torsion module, meaning $r=0$. For such a module we can define the characteristic ideal $Ch(Y_\infty)=\prod_i(p^{k_i})\prod_j(f_j^{m_j})$, which is in some ways a measure of "size" of this torsion module.

The Iwasawa main conjecture predicts a surprising connection between this $\Lambda$-module and $p$-adic $L$-functions - specifically, the characteristic ideal should be generated (up to the augmentation ideal to account for the pole) by the Kubota-Leopoldt $p$-adic zeta function, which is a $p$-adic analytic counterpart of the classical Riemann zeta function. I shall not even begin to explain how the proof proceeds, only mentioning that intriguing fact that one only needs to prove one of the inclusions between the two ideals, as equality will then follow for "size" reasons related to the analytic class number formula.

This study of class groups is what could be considered the "classical" Iwasawa theory. In the recent decades these ideas have been developed quite substantially, most prominently in the direction of studying Selmer groups of an elliptic curve $E$ over $\mathbb Q$. We can consider the $\mathbb Z_p$-extension $\mathbb Q_\infty=\bigcup_n\mathbb Q_n$. Now we can consider the $p$-Selmer groups of $E$ over those fields, and similarly to the class group case, we can form a $\Lambda$-module $X_E$ by considering (the Pontryagin dual of) their inverse limit. Mazur's main conjecture then predicts that this is a torsion $\Lambda$-module, and that its characteristic ideal is generated by the $p$-adic $L$-function attached to $E$, as constructed by Bertolini-Darmon-Prasanna.

To me, more interesting than the proof of the statement were some applications that Giada was talking about, related to the Birch and Swinnerton-Dyer conjecture. The two main directions of these applications are the "converse to Kolyvagin" theorems, and (the $p$-part of) the BSD formula. Let me elaborate on the former: Kolyvagin's celebrated theorem establishes that if $E$ has analytic rank $0$ or $1$, then so is the algebraic rank of $E$, and further we get that the Tate-Shafarevich group of $E$ is finite. The converse theorems should go the other way and establish, under the assumption that the ($p$-part of) Tate-Shafarevich group is finite and algebraic rank is $0$ or $1$, the same is true of the analytic rank.

In the algebraic rank $0$ case, the proof follows from a control theorem, which asserts that if the Tate-Shafarevich group is finite, then its order is related to a value of the generator of the characteristic ideal. From the Mazur's main conjecture, we know that the $p$-adic $L$-function is going to be such a generator, thus providing us with information about its value. Thanks to relations between $p$-adic and classical $L$-functions, we can deduce the analytic rank is $0$ in this case too, and get the $p$-part of BSD formula in this case.

Rank $1$ case is more interesting. By Kolyvagin's theorem, we know $E$ can't have analytic rank $0$, i.e. $L(E/\mathbb Q,s)=0$. For fairly general reasons, we can find a ("nice") imaginary quadratic field $K$ such that the twist $E^K$ has analytic rank $0$ over $\mathbb Q$. Consider now the factorization $L(E/K,s)=L(E/\mathbb Q,s)L(E^K/\mathbb Q,s)$. By taking derivatives and evaluating at $1$, we then get $L'(E/K,1)=L'(E/\mathbb Q,1)L(E^K/\mathbb Q,1)$. We know the last factor is nonzero, and by above we can understand its relation to the order of Tate-Shafarevich group. To get our hands on the other two factors, we need a new idea: anticyclotomic Iwasawa theory.

Up to now, we were only working with cyclotomic extensions, as over $\mathbb Q$ they exhaust all abelian extensions. Over other number fields this is no longer the case, and in particular imaginary quadratic fields have another distinguished tower of extensions, the anticyclotomic $\mathbb Z_p$-extension $K_\infty^-$, which is characterized by the fact that $K_\infty^-/\mathbb Q$ is Galois, and conjugation by the nontrivial element of $Gal(K/\mathbb Q)$ acts on $Gal(K_\infty^-/K)$ as inversion (while for a cyclotomic tower, it acts as identity, hence the name "anticyclotomic"). Just as above, one can consider a tower of Selmer groups of $E/K_n^-$ which gives rise to a $\Lambda$-module. If $E$ has rank $1$ over $K$, this module satisfies a version of the control theorem which says that the value of the generator of its characteristic ideal is related to the order of the Tate-Shafarevich group, together with the "size" (more precisely, regulator) of the generator of $E(K)$.

On the other hand, there is also a construction of an "anticyclotomic $p$-adic $L$-function", and we have an anticyclotomic version of the main conjecture, asserting that it generates the characteristic ideal above. To complete the picture, we need a result which gives us interpretation of the value of this $p$-adic $L$-function. It turns out to be most directly related to the Heegner point on $E$, which is a certain distinguished element of $E(K)$ which arises from modularity of elliptic curves. This is an analogue of the classical Gross-Zagier formula, which establishes a relation between those Heegner points and the value of the derivative of $L(E/K,s)$ at $1$. Combining those, we get exactly what we want: $L'(E/K,1)$ is related to the value of the anticyclotomic $p$-adic $L$-function, which in turn by the main conjecture is related to the order of Tate-Shafarevich group. Looking back at the equation $L'(E/K,1)=L'(E/\mathbb Q,1)L(E^K/\mathbb Q,1)$ (and recalling that since $E^K/\mathbb Q$ has rank $0$, $E/K$ must have rank $1$, so the results are applicable), all of those results combine to give us information about $L'(E/\mathbb Q,1)$ - it is nonzero, and we can relate it to the order of the Tate-Shafarevich group of $E$.

The short summary is that in rank $0$ we get the results from Mazur's main conjecture together with a control theorem, while in rank $1$ case we also need to employ the anticyclotomic main conjecture along with the appropriate control theorem and Gross-Zagier formula (together with its $p$-adic analogue). How universally applicable those results are obviously depends on how much is known of the main conjectures, and this is a topic of many recent investigations, including Giada's paper which was the basis of that talk of hers. As someone who so far had little interest in those Iwasawa-type main conjectures, this work is a great way of showcasing some of its external utility, making me even more excited for those developments!

28/09/2022

Subtitle: Linear algebra is always easier

The structure of Shimura varieties over complex numbers, and also over number fields, can be said to be quite simple - they are smooth quasiprojective varieties with many possible compactifications satisfying various functoriality properties. However many arithmetic applications require one to study not just the Shimura varieties themselves, but rather their integral models, which also include reductions of those varieties modulo primes. In some cases, those reductions are similarly nice - for instance, when we consider a Shimura variety modulo a prime $p$ which is defined by an adelic subgroup of level not divisible by $p$ (in the moduli interpretations, this corresponds to specifying torsion subgroups of order coprime to $p$) we once again recover smoothness. But in other cases, which are generally the ones of main interest, the variety has bad reduction, which can be quite nasty (although I will not discuss it here, a good worked out example is Figure 4.1 in this paper).

It turns out that there is a type of a geometric gadget which can be immensely helpful in understanding the structure of those special fibers, which is called a local model. As I will briefly explain below, those local models are moduli spaces of certain linear algebraic data which can be seen as occurring in the structure of the abelian varieties parametrized by the Shimura varieties. These two spaces are not isomorphic, but they have a very useful property that they admit exactly the same types of singularities, giving the local structure from which one often can patch together information about the global shape. I will follow a paper of Tilouine for the outline here, and I urge you to consult it if you are interested in details.

The Shimura varieties there are Siegel threefolds, which parametrize abelian surfaces $A$ with extra structure. Suppose we want to consider ones which include the data of a subgroup $H$ of order $p$ in $A[p]$ (this is the $*=P$ case in Tilouine's paper). By considering the quotient $A/H$, this is equivalent to the data of an order $p$ isogeny $A\to A'$ for some other abelian surface $p$. Understanding local structure of the Shimura variety amounts to understanding deformation theory of such an object. By the theory of Serre-Tate, this is equivalent to understanding deformations of associated $p$-divisible groups $A[p^\infty]\to A'[p^\infty]$.

An immensely useful tool for studying $p$-divisible groups is given by Dieudonné modules. They are certain $\mathbb Z_p$-modules which can be functorially assigned to $p$-divisible groups and recover many of their properties. For the diagram $A[p^\infty]\to A'[p^\infty]$ above, one can show that the associated diagram is isomorphic to one which we denote $St$, which consists of $\mathbb Z_p^4\xrightarrow{f}\mathbb Z_p^4$ with the map given by $(a,b,c,d)\mapsto(pa,b,c,d)$.

There is one more piece of data differentiating those structures, namely direct summands $\omega_1,\omega_2\subseteq\mathbb Z_p^4$ such that $f(\omega_2)\subseteq \omega_1$, arising from the Hodge filtration on $p$-divisible groups. The local model is then a moduli space of such pairs. The reasoning above should not be considered a proof, but hopefully it suggests why it should be true that the types of singularities of the Siegel threefold are the same as those on the local model (more formally: the completed local rings we can see on the two varieties are the same).

This local model is much easier to study, as it is a subvariety of a Grassmannian cut out by equations which are easy to made explicit. In this case, we find an affine chart isomorphic to $\mathbb Z_p[x,y,z,t]/(xy-p)$, whose special fiber is isomorphic to a pair of 3-dimensional planes intersecting transversely. We thus deduce the same singularities occur in the Siegel threefold, which means that the integral models of Siegel threefolds are semistable - an important structural property.

Finer analysis of the local model can also reveal some other properties of the Shimura varieties, like the stratification according to the structure of the subgroup of $H$. I am currently employing these methods in trying to compute the analogous structure for Picard modular surfaces, parametrizing abelian threefolds with extra structure. When complete I might post the resulting computation here.

23/06/2022

Subtitle: When even algebraic stacks are not enough

One of the most important classes of objects in modern number theory are Galois representations. In spirit of many modern developments in algebraic geometry, it is desirable to find a suitably well-behaved moduli space of those. However, it turns out that (for some rather subtle reasons) the "obvious" approaches to developing those have various drawbacks, essentially because they don't capture enough of families of Galois representations which we would like to consider.

Recently, Emerton and Gee have developed an approach this problem by instead considering instead stacks of $(\varphi,\Gamma)$-modules. By some classical work of Fontaine, at the level of points these are in correspondence with Galois representations, but the corresponding stack has very different geometry.

Two of my friends are currently running a study group on the geometry of those Emerton-Gee stacks. Last week I have given a talk there about intermediate results, concerning the stacks of $\varphi$-modules. However, it turns out that already in this simpler case, one deals with objects which are too complicated to be covered by the "classical" theory of algebraic stacks. One has to go deeper, into the world of formal and Ind-algebraic stacks...

If we strip away all the technical detail, the ideas behind those objects are relatively straightforward: algebraic stacks (also known as Artin stacks) are objects which locally can be described as quotients of schemes by actions of algebraic groups. Formal algebraic stacks are analogously objects which are locally quotients of formal schemes, while Ind-algebraic stacks are Ind-objects (essentially colimits) in the category of algebraic stacks. Formal algebraic stacks tend to also be Ind-algebraic, while under some rather mild conditions, Ind-algebraic stacks are also formal.

Now let us define the objects of interest, the $\varphi$-modules: we are interested in the ring $\mathbb A^+=W(k)[[T]]$, the ($p$-typical) Witt vectors over some finite field $k$ of characteristic $p$, and we equip it with an endomorphism $\varphi$ which coincides with $p$-power Frobenius modulo $p$. We also consider the ring $\mathbb A$ which is the $p$-adic completion of $\mathbb A^+[T^{-1}]$, and to which $\varphi$ naturally extends. (One also wants to consider "relative" versions of those rings, but let me ignore those for simplicity). A $\varphi$-module over $\mathbb A$ as finite projective module $M$ equipped with a semilinear endomorphism $\varphi_M$, and we say it is etale if the induced linear map$$\Phi_M=1\otimes\varphi_M:R\otimes_{R,\varphi}M\to M$$is an isomorphism. We wish to understand the moduli space of these objects.

The key to understanding them is to understand how such modules arise from modules over $\mathbb A^+$. The analogous map $\Phi_M$ no longer has to be an isomorphism, but we can arrange for it to be injective, and the cokernel will have to be torsion, as it is killed after base changing to $\mathbb A$. We quantify it by saying such a $\varphi$-module over $\mathbb A^+$ has height at most $h$ if cokernel of $\Phi_M$ is killed by $T^h$ (it is common, and in proper development of Emerton-Gee stack crucial, to replace $T$ by some other polynomial $F(T)$ in that definition). We then have informally justified the statement along the following lines:

Let $R$ be the stack of etale $\varphi$-modules over $\mathbb A$, and for each $h$, let $C_h$ be the stack of $\varphi$-modules over $\mathbb A^+$ of height at most $h$. Let $R_h$ be the image of $C_h$ in $R$ under the base change map, then $R$ is the colimit of $R_h$.

The stacks $C_h$ are much simpler to study. It is still far from obvious, but using the theory of affine Grassmannians one can show that each $C_h$ is a formal algebraic stack (indeed, by restricting to $\varphi$-modules which are defined over $\mathbb Z/p^a$ for a fixed $a$, we get algebraic stacks which combine into that formal stack). However, dealing with $R_h$, or even making sense of what it is, is surprisingly difficult - it requires a development of the notion of "scheme-theoretic image" for algebraic stacks. However once this is done, the statement above does formally hold, and establishes $R$ is Ind-algebraic.

This is about what I have covered in my talk. Of course this is only the first part in developing the Emerton-Gee stack. More technical, but similar in spirit, ideas underlie a construction of the full stack of $(\varphi,\Gamma)$-modules, of which one can then establish all the fundamental properties. These ideas have already proven themselves to have some worth, as Emerton and Gee have proven with their help existence of certain crystalline lifts. I've love to report on that another time, but unfortunately I will not be present in the study group when those are presented... perhaps it will happen anyway!

29/05/2022

Subtitle: Complex multiplication over function fields

In the Week 10 post (which was written significantly more than 13 weeks ago!) I have explored Lubin-Tate theory, which can be viewed as a version of theory of complex multiplication which uses formal group laws, and associated groups, to construct abelian extensions of local fields. Recently I had an opportunity to learn another version of this theory, this time applicable to function fields (of dimension 1 over a finite field): the theory of Drinfeld modules. Those come in many incarnations, one of which, shtukas, is particularly important in many modern developments. My main resource for this topic were notes by Bjorn Poonen on Drinfeld modules.

For simplicity, we shall work over the ring $A=\mathbb F_q[T]$, which is to be thought of as the analogue of the integers $\mathbb Z$ (but with minor modifications we can replace it with any finite extension of $\mathbb F_q[T]$). We then have the fraction field $K=\mathbb F_q(T)$, its completion at the infinite place $K_\infty=\mathbb \F_q((1/T))$, and its (completed) algebraic closure $C$, which are analogues of $\mathbb Q,\mathbb R$ and $\mathbb C$ respectively. We then consider $A$-lattices in $C$: discrete submodules spanned by a finite subset linearly independent over $K_\infty$. Note that since $C/K_\infty$ is an infinite extension, we can find such submodules of arbitrarily high rank. This is in contrast with $\mathbb C/\mathbb R$, which has dimension $2$, so the $\mathbb Z$-sublattices have rank at most $2$. Now, one definition of a Drinfeld module is as the quotient $C/\Lambda$ for some $A$-lattice $\Lambda$. This is analogous to the definition of complex tori in complex geometry.

Now here is a surprising fact: for any $A$-lattice $\Lambda$, the quotient $C/\Lambda$ is $C$-analytically isomorphic to $C$ itself! This way, we can think of a Drinfeld module as the field $C$ equipped with some "nonstandard" structure of an $A$-module. One can check that under this identification, each element of $A$ acts on $C$ via a polynomial, and this action is $\mathbb F_q$-linear. Such polynomials are easy to classify: they are of the form $\sum_{i=0}^na_ix^{q^i}$. Since we consider the action of those, we consider this as a ring under composition, denoted $C\{\tau\}$ with $\tau=x^q$. This ring is noncommutative: $\tau c=c^q\tau$ for $c\in C$. Therefore we can view a Drinfeld module as above as an $\mathbb F_q$-linear map $A\to C\{\tau\}$. With this in mind, we can define Drinfeld modules algebraically, and this makes sense over other fields than $C$: for any field $L$ containing $A$ (or more generally equipped with a map from $A$), a Drinfeld module over $L$ is an $\mathbb F_q$-linear map $A\to L\{\tau\}$ (plus one condition on the derivatives which I ignore).

Now, as with all varieties of explicit class field theory like complex multiplication, one then considers torsion. Indeed, undoing the analysis of the previous paragraph, from a Drinfeld module we get an action of $A$ on $C$, so we can consider the torsion points under this action, and take extensions of $K$ generated by them. Choosing the modules appropriately (essentially we want $\Lambda$ to be of rank $1$ over $A$; for $A=\mathbb F_q[T]$ we can take the Carlitz module determined by $A\to L\{\tau\},T\mapsto T+\tau$), we can show that torsion gives rise to all abelian extensions of $K$. (Actually, all the ones unramified at infinity, but then picking a different "point at infinity" we can account for ramification there too.)

Now, explicit class field theory is not the only application of Drinfeld modules. Another one is given by the moduli spaces of such modules, which are analogues of classical modular curves, and as such are simply called Drinfeld modular varieties. They play a role similar to Shimura varieties, and let one attack Langlands correspondence over function fields. However, to actually complete this proof, which is nicely outlined in section 3 of this paper, we need to enhance this moduli from Drinfeld modules to shtukas. We explain how to construct this other structure below, following the What Is... notice on shtukas.

The key, is to consider graded modules associated to $L\{\tau\}$, viewed as $L[T]=L\otimes_{\mathbb F_q}A$-module. It is of finite rank over $L[T]$, so it gives rise to a vector bundle $V$ over the projective line. Multiplication by $\tau$ is a semilinear map taking us one step up in the gradation, so we get a diagram of the form $V'\hookrightarrow V\xleftarrow{\tau}V'$ with $V'$ a modification of $V$ of degree $1$ (the cokernel of the inclusion is $1$-dimensional). This is precisely the data of a shtuka on $\mathbb P^1$. Not all such diagrams arise from Drinfeld modules, and it is this enlarged moduli that is necessary in studying Langlands over function fields.

That was a long post, but it is still merely the beginning of the story. We can extend this all in many directions: we have Anderson t-motives (analogues of lattices in $\mathbb C^n$), shtukas with more paws (the above is the case of two paws, which are the points over which the two maps in the diagram are not isomorphisms), and even the recent theory of mixed-characteristic shtukas (depending on Scholze's theory of diamonds; this is quite far afield from the rest, but I highly recommend these notes by Scholze and Weinstein). There are exciting developments on the horizon, related for instance to the recent geometrization of local Langlands program, which might at some point be featured to some extent here!

15/04/2022

Subtitle: Arizona Winter School recap

Over the past week or so I have attended the Arizona Winter School for the first time. It was a wonderful experience and an opportunity to meet many new people with closely related interests (and, in my time off, to explore the US for the first time!). All the lectures were great and are freely available online, in particular I recommend Akshay Venkatesh's pair of lectures on some novel perspectives in the primes-and-knots analogy.

Here I wanted to highlight the bit of math which has been the topic of Ellen Eischen's research project group which I was a part of. The goal of the project was to understand and generalize the method by Cléry and van der Geer of producing Siegel modular forms to the setting of automorphic forms on unitary groups. For simplicity let me focus on the Siegel setting.

Siegel modular forms are defined as functions on the Siegel upper half-plane, the set $\mathfrak h_g$ of symmetric complex $g\times g$ matrices with positive-definite imaginary part which have appropriate transformation properties under the action of a symplectic group. Using block-diagonal matrices, we have an embedding $\mathfrak h_j\times\mathfrak h_{g-j}\to\mathfrak h$ for any $0\leq j\leq g$. Given a Siegel modular form $f:\mathfrak h_g\to\mathbb C$, we can consider its restriction to the image of this embedding, which turns out to always be a product of modular forms on individual factors.

Unfortunately, in many cases this restriction vanishes, being forced to for instance by the fact in low degrees there aren't any (Siegel) modular forms of small weight. Cléry and van der Geer have realized one can extend this construction in order to account for this vanishing by considering the derivatives of the function, in the directions perpendicular to the image. Specifically, let us write a general element of $\mathfrak h_g$ as $\begin{pmatrix}\tau'&z\\z^T&\tau''\end{pmatrix}$ with $\tau',\tau'',z$ of size $j\times j,(g-j)\times(g-j),j\times(g-j)$ respectively. The restriction to the image of the embedding above corresponds to setting $z=0$. If this restriction vanishes, then instead we can consider the vector given by the derivatives of this function in the direction given by coordinates of $z$, and then the result will (perhaps after appropriate projection if $j,g-j>1$) be a vector-valued Siegel modular form, of weight directly related to that of original function (in the simplest nontrivial case$g=2,j=1$, the weight increases by precisely $1$).

Now, we have no guarantee that this vector of derivatives itself is nonzero (indeed, it often is, for parity of weight reasons). In that case though we can consider the vector formed by second derivatives, which will then give us a modular form of yet higher degree. Similarly we can perform this construction to any Siegel modular form, taking the derivatives of lowest order for which not all of them vanish.

There is a variety of ways to approach this result. One can do it via an explicit computation, as we have done in our project - for first derivatives this is very manageable, but gets tricky for higher orders. In the original paper the proof is presented in geometric terms, viewing modular forms as sections of a line bundle on a Shimura variety, and derivatives as sections of (symmetric powers of) the conormal bundle to the image of the embedding. Either of these appears to be quite amenable to generalization to the setting of unitary groups, and we shall see what other generalizations lie ahead!

13/03/2022

Subtitle: Improving topological algebra

Condensed mathematics is a recent invention of Dustin Clausen and Peter Scholze, intended to "fix" some issues which topological algebras exhibit. It turns out that in nearly all cases, trying to consider algebraic structures with any kind of topology causes failure of many of the nice categorical properties. For instance, the category of topological abelian groups is not abelian, as there exist bijective morphisms which are not isomorphisms due to mismatches in topology.

Clausen and Scholze fix this by realizing (nice) topological spaces as condensed sets, sheaves on the site of profinite sets. This larger category of condensed sets behaves very much like a topos (the only difference lying in some set-theoretic technicalities), and as such the abelian group objects in it form a very nice category. By considering various derived categories of objects, they have in fact successfully embedded into this theory the theory of adic spaces, and in fact improved it - unlike classical adic spaces whose structure presheaves may fail to be sheaves, the derived structure presheaves are always sheaves (of "analytic animated commutative rings").

Perhaps more surprisingly, this theory, built out of profinite sets, can also accommodate archimedean theories over real or complex numbers, via what they call the p-liquid structures.

I discuss all this, and more, in the notes I have written up, available here.

25/02/2022

Subtitle: Why is everything "reciprocity"?

One of the main ingredients in the recent progress on Bloch-Kato conjecture was in establishing a result known as the explicit reciprocity law, which in the present case asserts a relation between a certain Euler system and a value of a p-adic L-function. However, being familiar with many other results in number theory dubbed "reciprocity", and so was naturally intrigued as to why this statement has been called so as well. While trying to uncover it I went through many references but none of them seem to explain the whole story. And while I can't claim I grasp the entire logical chain leading from one point to the other, here is my attempt at outlining it.

The more "classical" part of this reciprocity picture is the one beginning with Gauss's law of quadratic reciprocity and leading up to Artin reciprocity law - the latter was given this name as it is possible to deduce all the older reciprocity laws. An easy corollary to Artin reciprocity which we will look at is given by various generalized versions of Hilbert reciprocity: for any $n\in\mathbb N$ and a number field $K$ containing $n$-th roots of unity, we have $\prod_v(a,b)_{v,n}=1$ for all $a,b\in K^\times$, where $v$ ranges over all places of $K$. Here $(a,b)_{v,n}$ is the $n$-th power Hilbert symbol, which can be defined by $(a,b)_v=\theta_v(a)(\sqrt[n]{b})/\sqrt[n]{b}$, where $\theta_v$ is the local Artin map, taking values in $\mathrm{Gal}(K_v^{ab}/K_v)$.

This is where the explicit reciprocity laws enter the picture: rather than providing variants of the statement of the reciprocity law, they are giving relatively explicit ways to evaluate Hilbert symbols involved. From here on we work over a single completed field $K_v$, so we shall drop the index $v$.

In some cases this is easy: for instance if $K(\sqrt[n]{b})/K$ is unramified, then $\theta(a)$ acts on this extension as the Frobenius, which is easy to compute. One other simple case where evaluation at primes is easy is the case of cyclotomic fields: for instance, consider the extension $\mathbb Q_p(\zeta_p)/\mathbb Q$. For any $a=p^k\cdot u$, with $u\in\mathbb Z_p^\times$, the action of $\theta_p(a)$ is determined by $\zeta_p\mapsto\zeta_p^{u^{-1}}$.

Artin and Hasse have provided the first of what is nowadays called explicit reciprocity law: the expression they provide are of the form$$(\zeta_{p^k},a)_{p^k}=\zeta_{p^k}^{T_k(\log a)/p^k},$$$$(\pi_{p^k},a)_{p^k}=\zeta_{p^k}^{T_k(\zeta_{p^k}\log\frac{a}{\pi_{p^k}})/p^k}$$for $a\in\mathbb Q_p$, where $T_k$ denotes the trace map of $\mathbb Q_p(\zeta_{p^k})/\mathbb Q_p$ and $\pi_{p^k}=1-\zeta_{p^k}$. Iwasawa has generalized this formula to the following one:$$(a,b)_{p^k}=\zeta_{p^k}^{[a,b]_k},$$where$$[a,b]_k=\frac{1}{p^m}T_m(\zeta_{p^m}\frac{d\log b'}{d\pi_m}\log a$$for some $m\geq 2k+1$, $b'$ an element in $\mathbb Q_p(\zeta_{p^m})$ of norm $b$, and $\frac{d}{d\pi_m}$ denotes formal differentiation with respect to a uniformizer. For those, see Iwasawa's article.

(A big achievement in explicit class field theory was the discovery of Lubin and Tate that a version of theory of complex multiplication has an analogue for any local field, using formal group laws. The above results have been generalized by Wiles. Those generalizations are relevant to those more general explicit reciprocity laws discussed below but let us not get into them in detail.)

In several places (e.g. in Wiles's article above) I have encountered a claim that Iwasawa's interest in those explicit reciprocity laws came out of studying a relation between Coleman's systems of cyclotomic units and Kubota-Leopoldt zeta functions. Such results are explain for instance in Section 6.6 of these notes by Jacinto-Williams, in this survey by Bertolini et al., or in this article of Perrin-Riou. None of them indicate however how the Artin-Hasse-type formulas are useful in deriving them, and I haven't managed to track them down in Iwasawa's writing, so how they are related is unclear to me (if anyone can clear the situation up, feel free to contact me!)

These results have the form which is reminiscent of the explicit reciprocity laws as mentioned at the beginning. Indeed, Coleman's cyclotomic units satisfy various norm relations which turn them into the simplest nontrivial example of an Euler system. More generally, Euler systems are various collections of cohomology classes of a Galois representation which are compatible under corestriction maps - the relation here comes from the Kummer map, which identifies Galois cohomology $H^1(K,\mathbb Q_p(1))$ with the group $K^\times\otimes\mathbb Q_p$. Abstractly, the system of cyclotomic units can be viewed as an element of an Iwasawa cohomology group$$H^1_{\mathrm{Iw}}(\mathbb Q_p,\mathbb Q_p(1))=\varprojlim H^1(\mathbb Q_p(\zeta_{p^n}),\mathbb Q_p(1)),$$and the relation is provided by the Coleman map from this cohomology to the appropriate space of measures.

This setup generalizes in a variety of ways. Firstly, one can consider Euler systems for general Galois representations, which similarly give classes in Iwasawa cohomology groups. Coleman map has been generalized by Perrin-Riou to the "big logarithm" map, which gives p-adic analytic functions interpolating various Bloch-Kato logarithms (those generalize the Kummer map composed with classical logarithm map). The modern formulations of explicit reciprocity laws postulate that this analytic function coincides with a p-adic L-function associated to the representation.

(While this itself isn't part of the "reciprocity" story, we ought to at least mention what the purpose of these results is: a special case of Bloch-Kato type results asserts that if a (complex) L-function of the representation vanishes, then the corresponding Selmer group is trivial. Modulo technical details, the "Euler system machine" of Rubin implies that if we show the Euler system is nonzero, triviality of the Selmer group will follow. Using the explicit reciprocity law we compare the Euler system with the value of the p-adic L-function, which itself interpolates values of the complex L-function, providing the desired relation.)

31/01/2022

Update 11/02/2022: In Kato's article "Lectures on the approach to Iwasawa theory for Hasse-Weil L-functions via $B_{dR}$" (part of this volume) he explains some relation between Artin-Hasse-type explicit reciprocity laws and those more involved arithmetical objects: firstly, in Chapter II, Theorem 2.1.7, he gives a formula for the value of the dual exponential function on tensor powers of Tate modules (of either multiplicative group or an elliptic curve, for instance), which specialize to formulas of Artin-Hasse and Wiles mentioned above. In Chapter III, Theorem 1.2.6 he deduces from it a relation between certain elements of cohomology made up from cyclotomic units on one hand (which I'm assuming are related to the Iwasawa cohomology classes above) and values of a certain L-functions expressible in terms of logarithms of cyclotomic units. The whole setup is a bit too complicated for me to reproduce here, but it does appear to be the kind of tie between the two types of reciprocity I wanted to find!

Subtitle: Controlling points with monodromy

I was thinking of making a post on theory of automorphic forms and representations I've been learning recently, but I've decided to for now replace it with a smaller topic which I actually have, largely, learned over the past week (the automorphic theory might come in a long overdue post like higher Hida theory below did :) ) The topic of today's post is Lawrence-Venkatesh's proof of Faltings's theorem on finiteness of points on curves over number fields. There is currently a seminar running studying the original paper (following this schedule) and I was assigned to give the two talks which deduce Faltings's theorem from the rest of the theory (which can be considered as black box). I have not studied the rest of the setup all that deeply, but I will try to briefly sketch how it works to the best of my understanding.

Let $Y$ be a curve over a number field of genus $g\geq 2$. The key idea, present already in older proofs, including that of Faltings, is to take some family$X\to Y$ and study Galois representations attached to the fibers $X_y$ for $y$ in $Y(K)$. There are some subtleties regarding semisimplicity of those representations - for present purposes this result is known by Faltings's work, but they try to make the work independent of it, partly to generalize to situations where analogous results are not known. Let me gloss over it here however. It is then easy to show that there are only finitely many possibilities for this representation (for ramification reasons).

Using methods of $p$-adic Hodge theory, specifically comparisons between etale and crystalline cohomology, one can view these Galois representations as filtered $\phi$-modules, $\phi$ referring to action of Frobenius (over some auxiliary finite place $v$). We can see how the filtration varies in the family (comparing them between fibers using a Gauss-Manin connection), which gives rise to a period map. This map is well-defined either locally or on the universal cover - the global incompatibility is measured by monodromy. The period map is essentially injective, which would show that the Galois representations are generally distinct.

Unfortunately, the situation is a little more involved, because filtered $\phi$-modules with different values of period map can still be isomorphic - this is essentially due to possibility of the centralizer of Frobenius being large. The way to get around this is to show that the monodromy (or more precisely the Zariski closure of the image of appropriate map) must be large, and hence so must the image of the period map. If we show the intersection with the centralizer of Frobenius is small enough, we can still pull off the desired finiteness.

(The above arguments are made less trivial by making use of an extensive and somewhat subtle interplay between $p$-adic and complex period maps.)

The above method can be turned into some fairly general concrete statements. The result of this sort which implies Faltings's theorem is Proposition 5.3: it begins with a curve $Y$ which has a finite etale cover $Y'$ over which a family $X$ of abelian varieties is defined. The fact we ought to pass to families over $Y'$ as opposed to (vaguely more natural) over $Y$ is an intriguing one, and has to do with families over $Y$ generally having too large centralizers. Under some technical conditions, one of which asks for large monodromy, we get a finiteness result on the subset of points $y\in Y(K)$ such that the fiber of $Y'\to Y$ over $y$ is "small" in appropriate sense. This "smallness" condition essentially amounts to saying that the fiber should have very few points which are defined over a small degree extension of $K$ (or more precisely, its completion at a place $v$). This smallness condition implies that the centralizers must be correspondingly small, hence why the theorem applies to it.

The key to Faltings's theorem is to pick a family $X\to Y'\to Y$ and a place $v$ above in such a way that all points in $Y(K)$ have small fibers. One way to do this, picked by Lawrence and Venkatesh, is to take a Kodaira-Parshin family, in which $Y'\to Y$ parametrizes covers of $Y$ ramified at exactly one point and with prescribed Galois group. Monodromy condition is verified for them through a direct topological argument. The smallness argument, on the other hand, is very algebraic, necessarily so as it deals with Galois action on the fibers, although it still makes fair use of comparison with algebraic situation. In the end, as the authors note, there doesn't seem to be anything intrinsically special about the families they consider, except for being explicit enough to do all the computations with them.

The method has already had successes beyond Faltings's theorem. Apart from some toy examples (like the S-unit theorem they present, or Siegel's theorem on integral points of elliptic curves as done here), in the very same paper C give an application to studying integral points on hypersurfaces, showing that ("generically") they must lie in a proper Zariski closed subspace. This method shows promise of being applicable widely beyond these few cases considered so far, and while not many works have been published yet, many are likely to come soon.

16/01/2022

Subtitle: Interpolate everything!

This post is long overdue, and it represents a summary of ideas which I've been working with for a couple months now. This week I had an opportunity to speak briefly about classical Hida theory, so I think this might be as good a time as any for me to write here about what it is, why it isn't sufficient for certain purposes, and how a "higher" version of it was used to get around these problems.

The general idea behind this problem is that of p-adic interpolation of various data, like modular forms. Specifically, given a modular form $f$ of some weight $k_0$, we are looking for a sequence of modular forms $f_k$ of weight $k$, for $k$ ranging over some ("large", preferably cofinite) subset of $\mathbb N$ with the property that these forms are all specializations of a family ranging over a $p$-adic parameter. In this case this can be made quite explicit, since modular forms can be represented by their $q$-expansions. Thus writing $f(q)=\sum_{n=0}^\infty a_nq^n$, what we would like to have is some $p$-adic analytic functions (in a sense I'm not going to make precise) $A_n$ such that $A_n(k_0)=a_n$ and, for each $k$ in appropriate subset of $\mathbb N$, we have that $\sum_{n=0}^\infty A_n(k)q^n$ is a modular form of weight $k$. The simplest example is given by (a modification of) the classical Eisenstein series: for $k\in\mathbb N$ even and greater than $2$, we have a modular form given by $E_k(q)=\frac{\zeta(1-k)}{2}+\sum_{n\geq 1}\sigma_{k-1}(n)q^n$. For a fixed $n$, the function $k\mapsto\sigma_{k-1}(n)=\sum_{d\mid n}d^{k-1}$ doesn't interpolate well, because of the terms divisible by $p$. However, its variant $\sigma_{k-1}^*(n)$ summing only over $d$ coprime to $p$ does interpolate, thanks to Euler's theorem $d^{p^{m-1}(p-1)}\equiv 1\pmod{p^m}$ (technically we should also restrict $k$ to some congruence class modulo $p-1$ but let me ignore that). After also modifying the $\zeta$ term in tune with Kummer congruences, we get modified Eisenstein series $$E_k^*(q)=\frac{(1-p^{k-1})\zeta(1-k)}{2}+\sum_{n\geq 1}\sigma_{k-1}^*(n)q^n,$$where now each coefficient can be viewed as a $p$-adic analytic function of $k$.

Families like this are commonly called $\Lambda$-adic modular forms, where $\Lambda$ represents the ring of analytic functions on the parameter space. However, outside explicit examples like the one above, it is far from clear whether other examples exist. A body of work which has established that is due to Hida. The main insight is to restrict attention to modular forms which are ordinary - under the action of a certain operator $U_p$, related to the $p$-th Hecke operator, it should be an eigenvector with eigenvalue a $p$-adic unit (this was later relaxed by Coleman to consider forms of "finite slope", which amounts to the eigenvalue being nonzero). Hida has then shown that the space of ordinary $\Lambda$-adic cusp forms interpolates the spaces of classical ordinary cusp forms, and in particular any ordinary cusp form belongs to a $p$-adic family.

Taking a more abstract viewpoint, modular forms that we are considering here are global sections of certain line bundles on modular curves, and indeed one possible approach to this theory is via certain towers of modular curves, known as Igusa towers (this is not Hida's original approach, but it is one that generalizes most easily.)

The importance of these and related results of Hida lies mostly in the capability to interpolate Galois representations associated to modular curves. These representations can be viewed as living inside the first cohomology group of the modular curves, and as such it is in our interest to interpolate these groups. In the case of modular curves, we are lucky, because by Serre duality results we can relate $H^1$ to $H^0$, and proceed with interpolation that way.

This approach, however, fails if we try to apply it to higher-dimensional situations, specifically automorphic forms on Shimura varieties (attached to some algebraic groups) which are not curves. The automorphic forms of interest, and associated Galois representations, live inside $H^1$ of the variety, which is neither the bottom nor the top cohomology group anymore. Briefly, the reason these methods cannot "access" higher cohomology is that we proceed by studying the aforementioned Igusa towers over the ordinary locus of the modular curves, which is affine, and hence has no higher cohomology.

A resolution of this problem came from Pilloni who has introduced higher Hida theory (and higher Coleman theory) for Shimura varieties for the group $\mathrm{GSp}_4$ by studying in finer detail stratifications of Shimura varieties over finite fields according to how far from ordinary the points are. In particular he takes Igusa towers over a locus which is not affine but is a union of two affines, and thus can "see" both $H^0$ and $H^1$. These resulting interpolation methods were then employed by Loeffler-Pilloni-Skinner-Zerbes to produce $p$-adic $L$-functions for Galois representations attached to $\mathrm{GSp}_4$, which eventually lead to a proof of new cases of Bloch-Kato conjecture for these representations.

We are currently at an exciting point seeing many new developments in the direction of generalizing these methods. Last year Nguyen has completed a development of higher Hida and Coleman theories for the group $\mathrm{GU}(2,1)$, and recently Boxer and Pilloni have generalized these methods in a wide generality. Around the same time, Gyujin Oh has announced a construction of the $p$-adic $L$-functions for this group. A goal of my PhD project is take these inputs and apply them using methods of Loeffler-Zerbes to produce yet new cases of the Bloch-Kato conjecture for the corresponding representations (and perhaps, eventually, new cases of BSD for abelian varieties.)

3/12/2021

Subtitle: The power of towers

Class groups of number fields are objects of paramount importance in algebraic number theory, of great relevance both in classical and modern developments of the subject. It is then not surprising that they turn out to be notoriously difficult to study. One of approaches to this problem is the one taken by Iwasawa, whose basic idea was nicely summarized by Hunter Brooks in a MathOverflow post:

Iwasawa theory has its origins in the following counterintuitive insight of Iwasawa: instead of trying to describe the structure of any particular Galois module, it is often easier to describe every Galois module in an infinite tower of fields at once.

Let us set the scene for this theory. Fix a prime $p$. For any number field $K$, we can consider an infinite cyclotomic extension $K(\zeta_{p^\infty})$, where $\zeta_{p^\infty}$ denotes the set of roots of unity of order a power of $p$. Inside this extension we can pick out a unique tower of fields $K=K_0\subseteq K_1\subseteq K_2\subseteq\dots$ with the property that $K_n/K$ is a Galois extension with Galois group $\mathbb Z/p^n$. The Galois group of the union $K_\infty=\bigcup_n K_n$ is isomorphic to $\mathbb Z_p$, and we thus call it the cyclotomic $\mathbb Z_p$-extension of $K$. A lot of what follows will be true of other $\mathbb Z_p$-extensions, but even this single case is of interest. As an example, for $K=\mathbb Q(\zeta_p)$ with $p>2$ we have $K_n=\mathbb Q(\zeta_{p^{n+1}})$. As we will have two "copies" of $\mathbb Z_p$ floating around later, we denote the Galois by $\Gamma$.

Consider now the class groups of the fields $K_n$. Working over a single prime $p$, let $Y_n$ denote the $p$-part of this group. Each of the $Y_n$ is then a module over $\mathbb Z_p$ and admits an action of the Galois group of $K_n/K$. They further form an inverse system (given by norm maps) compatible with all these actions. The inverse limit $Y_\infty$ is then a module over a completed group ring $\Lambda=\mathbb Z_p[[\Gamma]]$, which is isomorphic to the formal power series ring $\mathbb Z_p[[T]]$. This ring is not a principal ideal domain, but in many regards it is close to one, and in particular we have an almost-classification of its finitely generated modules. Specifically, for any finitely generated module there is a pseudoisomorphism, meaning a morphism with finite kernel and cokernel, from the module to a product of cyclic modules of the form $\Lambda^r\oplus\bigoplus_i \Lambda/(p^{k_i})\bigoplus_j \Lambda/(f_j^{m_j})$, where $f_j\in\Lambda\cong\mathbb Z_p[[T]]$ are represented by irreducible polynomials which are also distinguished - each but top coefficient is divisible by $p$. This result can be largely viewed as the reason why viewing these objects in towers simplifies the study - the ring $\mathbb Z_p[[\Gamma]]$ is much better behaved than its quotients $\mathbb Z_p[\mathbb Z/p^n]$ we would have to study otherwise.

It turns out, though is far from obvious, that $Y_\infty$ is such a finitely generated module, and moreover the modules $Y_n$ can be recovered from it as quotients by some pretty explicit elements. These results require a fair bit of input from class field theory to construct extensions of $K_n$ which encode these class groups. By performing some calculations of sizes of cyclic modules, and accounting for some variation coming from the pseudoisomorphism, we can recover the following result of Iwasawa, which in the course I'm following was called the Iwasawa control theorem:

Theorem: There exist integers $\mu\geq 0,\lambda\geq 0$ and $\nu$ such that, for all large enough $n$, the $p$-part of the class group of $K_n$ has order $p^{\mu p^n+\lambda n+\nu}$.

7/11/2021

Subtitle: Classifying lifts

The topic of considering deformation rings of (Galois) representations has its origins in some of Hida's work on interpolation of modular forms (which will probably be featured in a post here rather soon - stay tuned!), but has only really picked up in pace thanks to Wiles's work on the modularity conjecture, where the crucial isomorphism between deformation rings and Hecke algebras (known as the "R=T" theorem) was a crucial tool in producing required modularity lifting theorems.

Starting soon there will be a study group whose goal is to cover a recent paper which studies the abstract structure of these deformation rings for representations of absolute Galois groups of $\mathbb Q_p$ in quite considerable generality. I have agreed to give the first talk in this study group (and have prepared some notes for it) in which I explain the broadest of generalities of the topic. I would like to do the same (in perhaps even broader generalities) here.

To start off, we fix some profinite group (usually a Galois group of some (infinite) Galois extension) $G$, and a representation $V$ of $G$ over some finite field $F$ of characteristic $p$. Our goal is to understand the possible lifts of this representation to local rings $A$ with residue field $F$, which we call deformations of $V$ to $A$. We introduce the deformation functor which to any (Artinian, or complete Noetherian, depending on our purposes) local ring $A$ associates the set of isomorphism classes of deformations of $V$. In favorable cases, this functor turns out to be (pro-)representable, and the representing object is called the universal deformation ring $R_V$, and over it lives the universal deformation of $V$.

If $G$ is given by an explicit presentation (as a quotient of a free profinite group), the deformation ring is reasonably easy to construct. In the notes above I explain it for a trivial representation of a certain quotient of the absolute Galois group of a local field. Unfortunately, these explicit presentations rarely give us good general results about the structure of these presentations. One tool more helpful in these considerations is the tangent space, which I introduce in this talk, as well as higher cohomology groups. The applications to studying presentations of deformations rings will be the topic of later talks.

11/10/2021

Subtitle: Alpbach 2021 recap

Over the last week I have attended the Alpbach 2021 workshop, my first in-person event in almost a year and a half. Met a lot of new people, and learned a lot of new math, and had otherwise a great time! The three main lecture courses were on Euler systems, infinite-dimensional geometry of numbers, and uniform Mordell-Lang conjecture. All of them were really interesting, but it is the one on infinite-dimensional geometry of numbers that I found the most intriguing, largely because I was not familiar with it to any extent prior, and would like to briefly summarize here. As for the other two, let me link the lecture notes for the first of the courses, and the paper on which the last one was based.

Infinite-dimensional geometry of numbers of Bost and Charles has its roots in Arakelov geometry, and is an attempt in developing some kind of theory of quasicoherent sheaves "over $\overline{\operatorname{Spec}\mathbb Z}$", the integer spectrum completed by adjoining a point at infinity corresponding to the real place (something could be said about geometry over $\mathbb F_1$ here, but I'm not sure what.) For finite free modules, the objects of interest are pairs $\overline E=(E,\|\cdot\|)$, consiring of a free abelian group of finite rank together with a Euclidean norm on $E_{\mathbb R}$. We would then be interested in the number of "global sections" of $\overline E$. A natural approach, employed originally by Arakelov, would be to take these elements of $E$ which have norm bounded by $1$, an archimedean condition similar to one defining integral elements at nonarchimedean places. This, however, turns out to be inadequate for trying to develop infinite-dimensional analogues, due to functorial properties holding only up to error terms depending on dimension.

A better measure of how many "small" vectors there is given by a theta invariant, which here is given by $$h^0_\theta(\overline E)=\log\sum_{v\in E}e^{-\pi\|v\|^2}.$$ This one works much better, for instance it is additive: $h^0_\theta(\overline E\oplus\overline F)=h^0_\theta(\overline E)+h^0_\theta(\overline F)$. It also satisfies a Riemann-Roch type formula, which follows easily from Poisson summation: $h^0_\theta(\overline E)-h^0_\theta(\overline E^\vee)=\widehat\deg\overline E$, where the degree is the logarithm of the covolume of $E$. Given $h^0$, we also define $h^1$, simply by $h^1_\theta(\overline E)=h^0_\theta(\overline E^\vee)$, compatibly with some version of Serre duality, if we admit that $\overline{\operatorname{Spec}\mathbb Z}$ is a genus $1$ curve. It turns out to measure how well approximable elements of $E_{\mathbb R}$ by elements of $E$.

To pass to infinite-dimensional setting, we weaken the condition on $E$ to it merely being a countable abelian group, and we ask for $\|\cdot\|$ to be a seminorm on $E_{\mathbb R}$. The definition of $h^0_\theta$ works just finite (except it might be infinite - that's a feature, not a bug!), though generalizing $h^1_\theta$ is not as straightforward, and has an "upper limit" and "lower limit" versions, which coincide only in some favorable cases.

A big source of such lattices comes from Hermitian vector bundles: let $X/\mathbb Z$ be a (separated, finite type) scheme and $(\mathcal E,\|\cdot\|)$ a Hermitian vector bundle on $X(\mathbb C)$. For any compact subset $K\subseteq X(\mathbb C)$ we can consider $H^0(X,\mathcal E)$ equipped with an $L^2$-norm coming from some finite measure $\mu$ on $K$. This construction, however, depends on the auxiliary choices of $K$ and $\mu$. An elegant way around these problems is to use some notions from functional analysis of topological vector spaces, namely the fact these spaces can be equipped with a structure of "dual of nuclear Frechet space" (tangentially, apparently that fact essentially generalizes finiteness of sections of coherent sheaves on compact analytic spaces.)

There have been many other pieces of theory introduced, one of which being A-schemes (arithmetic/absolute schemes), a possible approach to geometry over $\overline{\operatorname{Spec}\mathbb Z}$. Instead of delving into these, let me mention one application of the theory, which lead to a new proof of the Schneider-Lang theorem. The theorem can be stated as saying that if the image of some meromorphic map satisfying certain conditions contains enough algebraic points, then this image is an algebraic variety. The new proof uses some numerical bounds on degrees $h^0_\theta$ of some (pro-)Euclidean lattices, and appealing to the method used to prove Chow's theorem. So while the transcendence theory result per se is not new, this new method gives a new perspective on "why" it should be true, and shows promise in future applications.

12/09/2021

Subtitle: Moduli and all that

The last month has been pretty busy for me, both mathematically and non-mathematically, mostly filled with me trying to (finally) understand some of the theory of Shimura varieties, something that I've been meaning to do for a long time but the circumstances only now pushed me to do it. I've written some notes of my own while reading Milne's notes, which I refer to as a substitute of a write-up here.

Shimura varieties have deep significance in arithmetic which are far from clear just from the definitions. Hopefully in the coming weeks and months I will be able to post about some of their applications as I go through them.

02/08/2021

Subtitle: The plethora of reductions

Recently I was asked to speak at the étale cohomology learning seminar organized by some of my friends at Oxford. I was assigned the topic of explaining the proof and consequences of the proper base change theorem. This lined up pretty well as this proof is one of the things I intended to look into myself, and working through it was a very pleasant experience - seeing how all the pieces slowly fit together to fit the general statement. The proof is outlined in reasonable amount of detail in the slides I have prepared for the talks (1,2), but for the sake of this post (and a final review for myself) let me outline the main steps going into the proof. This treatment is based on the proof presented on Stacks project.

The proper base change theorem asserts that for any proper morphism $f:X\to Y$ and a torsion étale sheaf $F$ on $X$, the base change map between the higher direct images $R^nf_*F$ and those of its pullback by any morphism of schemes coincide. I will refrain from explaining the definition of this map, as one of the first steps in the proof is the reduction to the following more straightforward case: for a strictly henselian local ring $A$ and a proper $A$-scheme $X$, the map $H^n(X,F)\to H^n(X_0,F|_{X_0})$, where $X_0$ is the special fiber of $X$, is an isomorphism. The reduction is simply the case of passing to the (geometric) stalks and comparing fibers between a morphism and a fiber product.

Having performed this reduction, we first tackle the case of $n=0$, i.e. seeing how things work for global sections. If we work with Zariski sheaves, the corresponding statement is rather straightforward from general topological considerations, the key point being that due to henselian property, irreducible components of $X$ have connected fibers, nonempty thanks to properness. For étale sheaves this requires an extra argument, to see that some sections on étale neighbourhoods can be glued over some scheme finite over $X$.

Having understoof the global sections, to generalize the result to $n>0$ it is enough to understand how injective sheaves behave under base change. Specifically, in the above situation, if $F$ is injective, we ought to show $F|_{X_0}$ is acyclic. Using this criterion and some routine reductions, it turns out to be enough to show the result when $X$ is the projective line over $A$. The case of $n=1$ can be done directly, by reducing to the case of a constant sheaf and using an interpretation of $H^1$ in terms of étale torsors. So the case of $n>1$ remains.

This final case is a corollary about a rather general result applicable to all separated schemes which are a sum of some number of affine opens. Through Mayer-Vietoris exact sequence we are left to study vanishing of cohomology on affine schemes. In the case of henselian rings this is the content of Gabber's "affine analog of proper base change", established using some clever diagram chasing. In general one is simply applies henselization and the result follows.

Next up in the seminar is the finiteness theorem for étale cohomology. Thankfully I am not the one presenting that topic, though I am looking forward to hearing about it!

02/07/2021

Subtitle: A point-like diamond

In algebraic geometry over a field the tools available very often vary depending on the nature of the base field. When the base field is taken algebraically or separably closed, one often says that one is in the geometric situation, and otherwise, when the base field is not separably closed and so one has nontrivial Galois actions in place, one is in the arithmetic situation. The latter tends to involve more complicated objects. One good example of that is the étale fundamental group - for a variety over an algebraically closed field of characteristic zero, we have a comparison between it and the classical fundamental group of a complexification, while in the arithmetic situation one has an additional Galois action. It is generally understood that things in arithmetic context cannot be reducible to those in geometric context. However, this might not necessarily be the case.

The simplest example of an arithmetic fundamental group is an absolute Galois of a field, which is the fundamental group of a point. Some of the most important ones are those of the $p$-adic fields $\newcommand{\Q}{\mathbb Q}\Q_p$. It turns out that there is a geometric object, defined over an algebraically closed field, whose étale fundamental group is isomorphic to the group $\mathrm{Gal}(\overline{\Q_p}/\Q_p)$. It appears that the idea of such a construction was first put forward by Peter Scholze, and then expanded by Jared Weinstein here. I am not aware of any deep insights coming from it, although it is definitely of interest in its own right, as fair few nontrivial tools come into the construction, which I now wish to outline.

Fix an algebraically closed field $C$ which is nonarchimedean of residue characteristic $p$. Let $D_C$ be the open unit disk in $C$ centered at $1$ (viewed as a rigid or an adic space). This disk has a structure of a $\mathbb Z_p$-module, with group operation given by multiplication and action of $z\in\mathbb Z_p$ given by $1+x\mapsto(1+x)^z$. The $p$-th root map doesn't induce a morphism of this space, but we can change that by introducing a new space, an inverse limit under the Frobenius map $\widetilde D_C=\varprojlim_{x\mapsto x^p}D_C$, which we can now view as a perfectoid space in the sense of Scholze. It now admits an action of $\mathbb Q_p$, and the punctured disk $\widetilde D_C'$ has an action of a group $\mathbb Q_p^\times$. The object in question is the quotient $\widetilde D_C'/\Q_p^\times$, though one has to be careful what one means by it, as we discuss below.

Whatever kind of object $\widetilde D_C^*/\Q_p^\times$ is, its finite étale covers should correspond to $\Q_p^\times$-equivariant finite étale covers of $\widetilde D_C^*$. The first key step now comes from Scholze's tilting correspondence, which identifies the covers of this perfectoid space over $C$ with covers of its tilt, $\widetilde D_{C^\flat}^*$ defined over $C^\flat$. The clever part comes in observing now that $\widetilde D_{C^\flat}^*$ can also be viewed as a perfectoid space over $\mathbb F_p((t^{1/p^\infty}))$,where $t$ is the coordinate of our unit disk. This field is a tilt of a cyclotomic field $\Q_p(\zeta_{p^\infty})$, so we can untilt $\widetilde D_{C^\flat}^*$ to a space over this last field. One can verify that this untilt is a space closely related to the adic Fargues-Fontaine curve. The remaining step comes from the fact that the Fargues-Fontaine curve is geometrically simply connected, meaning that its finite étale covers come only from the base extensions of the field, so a relevant étale fundamental group works out to be isomorphic to the absolute Galois group of $\Q_p(\zeta_{p^\infty})$. To get the absolute Galois group of $\Q_p$, we have to involve the Galois group $\mathrm{Gal}(\Q_p(\zeta_{p^\infty})/\Q_p)\cong\mathbb Z_p^\times$. The missing action of $p^{\mathbb Z}$ comes from the way Fargues-Fontaine curve is constructed; more details are given in Weinstein's paper linked above (a more detailed sketch is given in the introduction). Combining all of these comparisons does gives the desired equivalence between $\Q_p^\times$-equivariant covers of $\widetilde D_C^*$and algebraic extensions of $\Q_p$.

To actually construct the quotient described above, we have to pass yet beyond the world of perfectoid spaces and into the world of diamonds as defined by Scholze, which are essentially a perfectoid equivalent of algebraic spaces, described as sheaves on the (pro-)étale site. Relating the equivariant covers of $\widetilde D_C^*$ and the covers of the quotient takes a considerable amount of work and working it out in details takes a bulk of Weinstein's paper.

The amount of work and nontrivial mathematics which comes into constructing this object and describing its properties is quite astonishing, and to me really highlights the subtlety of the situation. I have yet to really learn this mathematics, but this makes me even more excited to do so one day!

24/06/2021

Subtitle: When the position of the indices matters

This post is about a month overdue, so what I have learned actually happened quite a bit back. This is more or less a follow-up to the previous post, and as (not) promised I will talk briefly about how the Hasse-Arf theorem lets one conclude the proof of the local Kronecker-Weber theorem, classifying the maximal abelian extension of a local field.

Rather than spell out the idea in a post here, I have decided to write it up into a note, in a way which hopefully motivates the way in which these considerations, like the upper numbering of ramification groups, arise. The note can be found here.

01/06/2021

Subtitle: Poor man's complex multiplication

It has been a while since I have learned class field theory, and at the time I have never really bothered to learn the Lubin-Tate theory (in part because of a bad experience in my first attempt, having been drowned by technical details.) This term however I am attending Johannes Anschütz's course on Lubin-Tate spaces, and one of the first topics discussed was Lubin-Tate theory. Looking past some of the technicalities I grew to believe it is a very pretty theory. Let me summarize some of its elements.

The goal of the theory is to give an explicit description of maximal abelian extension $K^{ab}$ of a local field $K$. The unramified part $K^{ur}$ of this extension is easy to describe, being generated by roots of unity of order coprime to the residue characteristic. The "totally ramified part" would be a totally ramified extension $K'$ satisfying $K^{ab}=K^{ur}K'$. It is actually not uniquely determined, and our constructions will depend on a uniformizer $\pi\in K$.

One motivation (ahistorical one, see discussion in Milne's CFT notes, end of section I.4) behind this construction is the theory of complex multiplication, which was greatly successful in providing a description of maximal abelian extensions of imaginary quadratic fields (or, more generally, CM fields) in terms of torsion points on elliptic curves (or abelian varieties) with complex multiplication by integers of that field. When dealing with local fields in place of global fields, we seek a "local" analogue of abelian varieties. These are provided by formal group laws.

A formal group law over the ring of integers $O_K$ of $K$ is a formal power series $F(X,Y)\in O_K[[X,Y]]$ which satisfies certain identities reminiscent of identity and associativity laws for groups. If we denote by $m_K$ the maximal ideal in $O_K$, then $F$ defines an actual group law on $m_K$, and in fact even $m_{\bar K}$, the maximal ideal in the integers of algebraic closure, which we will need later.

Now fix a uniformizer $\pi\in K$ and consider the polynomial $f(X)=X^q+\pi X$, where $q$ is the size of the residue field (we could pick $f$ differently for a cleaner theory butit is not necessary). The first crucial result of the theory is existence of the unique formal group law, the Lubin-Tate group law $F_f$ such that $f$ defines an endomorphism of this group law (that notion being defined in the obvious way). Furthermore, there is a natural way to associate an action of $O_K$ on this group law, giving an analogue of the complex multiplication. In particular the action of $\pi\in O_K$ is given by $f$ itself.

All of the above implies that $F_f$ defines an $O_K$-module structure on $m_{\bar K}$ (importantly, different from the obvious one.) What we are interested in is the torsion of this module: for $n\geq 1$ we define $\Lambda_{f,n}$ to be $\pi^n$-torsion of this action and $K_{\pi,n}=K(\Lambda_{f,n})$. Explicitly, this field can be described as the splitting field of $f^n(X)=f(f(\dots(X)\dots))$. These fields have some quite marvelous properties which follow rather quickly from the module structure: $K_{\pi,n}$ is totally ramified Galois extension and its Galois group preserves $\Lambda_{f,n}$. This last turns out to be a cyclic module isomorphic to $O_K/\pi^n$, which provides an isomorphism $\mathrm{Gal}(K_{\pi,n}/K)\cong(O_K/\pi^n)^\times$. The compositum of all these fields, $K_\pi$, is a totally ramified abelian extension with Galois group isomorphic to $O_K^\times$.

What, unfortunately, is not clear from these considerations is the fact that $K^{ab}=K^{ur}K_\pi$. This is true, but requires a more involved argument, which in Milne's notes and the course I'm taking will be carried out via Hasse-Arf theorem, which I might (but probably won't) cover in another post. This quest is, however, worth its effort - with the abelian extension described this explicitly, one can also very explicitly describe the (local) Artin reciprocity map, paving way to explicit (local) class field theory, useful also in global class field theory.

29/04/2021

Subtitle: Perfect deperfections

Currently I am attending Kiran Kedlaya's course on prismatic cohomology. One of the topics which we discussed this week and which I found particularly pretty is that of perfect prisms, which I would like to explain here.

The basic objects involved are $\delta$-rings, which are simply (commutative, unital) rings $A$ equipped with an operation $\delta:A\to A$ which satisfy a certain pair of identities. These identities imply that a map $\phi:A\to A$ defined by $\phi(x)=x^p+p\delta(x)$ is a ring endomorphism, a lift of Frobenius from $A/p$ to $A$. A $\delta$-pair is a pair $(A,I)$ consisting of a $\delta$-ring and an ideal in this ring.

A prism is a special kind of $\delta$-ring satisfying the following properties: $I$ is, locally on $\operatorname{Spec}A$, principal and generated by a non-zero-divisor; $A$ is (derived) $(p,I)$-complete, and $p\in I+\varphi(I)A$. A prism is called perfect if additionally the morphism $\phi$ is bijective. Perfectness has somewhat surprising consequences on the structure of the prism, for instance it implies that $I$ is globally principal. In fact, we have a classification of such prisms: if $(A,I)$ is a perfect prism, then $A$ is isomorphic to the Witt vector ring $W(A/p)$, and $I$ is generated by a so-called distinguished element.

The perhaps most surprising is the fact that perfect prisms form a category equivalent to that of (integral) perfectoid rings, as defined for instance in Bhatt-Morrow-Scholze. More specifically, if $(A,I)$ is a perfect prism, then $A/I$ (what Kedlaya calls the slice of the prism in his course) is perfectoid in the above sense. Conversely, if $R$ is perfectoid, we can consider its tilt $R^\flat$. The Witt ring $W(R^\flat)$ is equipped with a surjection $\theta:W(R^\flat)\to R$, and $(W(R^\flat),\ker\theta)$ is a perfect prism. This formalism has allowed Bhatt and Scholze to reprove some of the theorems about perfectoid rings.

Taking that as a motivation for studying perfect prisms, we can then consider general prisms as some kind of "deperfection" of the notion of a perfectoid ring (an assertion which, I admit, I have never seen good explanation of besides the above) which, from the categorical point of view, is quite better behaved. This category can also be used to devise the prismatic site and the prismatic cohomology, which I hope to learn more about over the next week.

18/04/2021

Subtitle: Arithmetic in unexpected places

I have recently been informed of the existence of this paper which resolves a question in the theory of hyperbolic 3-manifolds... under the assumption of Langlands reciprocity and generalized Riemann hypothesis. Having learning about this I figured this is something I have to document here! This post is mostly based on a summary due to Matt Emerton, which I recommend if anyone is interested in more background or more precise outline. Here I will just give a sketch of the result.

The question essentially asks about the following: assume $M$ is a closed hyperbolic (= admits a metric of constant curvature -1) manifold. Can there exist finite covers $M'\to M$ of arbitrarily large injectivity radii (= radii of balls in tangent spaces on which the exponential maps are injective) which are all homology 3-spheres? This last condition is the crucial one and means that $M'$ has the same homology groups as the 3-sphere, and boils down to vanishing of the first (co)homology group. Calegari and Dunfield have established that the answer to this question is yes. Let me describe their construction.

The construction shares many similarities to the construction of classical modular curves, but with some necessary adjustments. Firstly, in order to get a threefold one has to quotient not the usual upper half-plane in $\mathbb C$, but rather the 3-dimensional half-space $h^3$ in $\mathbb R^3$. By passing to universal covers, all hyperbolid threefolds arise as its quotients. There is a natural action of the group $\newcommand{\SL}{\mathrm{SL}}\SL(2,\mathbb C)$ on this half-space, though I will omit its description. This group has many discrete subgroups we could quotient by. The most obvious ones are congruence subgroups of $\SL(2,\mathbb Z[i])$, or ones coming from other number fields, but these turn out to be unsuitable since the quotients will not be compact. This is just like how classical modular curves are noncompact, at least until we add cusps.

The way around that, turns out, is to replace usual matrix algebras by quaternion algebras. Here specifically we take a certain quaternion algebra $D$ over $\mathbb Q(\sqrt{-2})$ and a maximal order $B$ (a subring behaving like the ring of integers of a number field). We have an isomorphism $D\otimes_{\mathbb Q(\sqrt{-2})}\mathbb C\cong M(2,\mathbb C)$. Identifying $B$ with a subring of $M(2,\mathbb C)$ and taking its intersections with $\SL(2,\mathbb C)$ gives rise to a group $\Gamma$. We can then define its congruence subgroups $\Gamma_n$ and, finally, quotients $M_n=\Gamma_n\backslash h^3$. Choosing $\Gamma_n$ appropriately, these manifolds form a tower of finite covers of three-folds.

These threefolds are compact (thanks to the fact the ring $B$ has no nontrivial unipotents) and it's not hard to see injectivity radii tend to infinity. The remaining part is to show they are homology spheres, and this is where we have to bring in the big guns. Assuming one of the $M_n$ was not a homology sphere, it would have nontrivial first cohomology group, which by Hodge theory would be represented by a harmonic differential form. By some "general nonsense" one can additionally pick this form to be an eigenvector for all the Hecke operators on this curve, which together with harmonicity means it gives rise to an automorphic eigenform on $\Gamma\backslash \SL(2,\mathbb C)$. Under a conjectural version of Langlands reciprocity (which has been proven under some technical conditions, which however are not satisfied here), such an eigenform gives rise to a Galois representation which satisfies some conditions (most notably a strong unramifiedness and irreducibility conditions) which turn out to be incompatible. This incompatibility requires at one point a calculation involving Odlyzko's bounds which rely on GRH, though authors have admitted this use is not really essential and GRH is avoidable.

So there you have it, a conjecture in geometry established using deep number-theoretical techniques. One could go as far as to say that this is the most ambitious crossover event in history. This comes to show that number theory is far from being an isolated field of mathematics that it was once thought to be, and I'm excited to see more such connections in the future.

(As a final note, it would be unfair not to mention that (unfortunately?) Boston and Ellenberg have presented a method to prove that the manifolds above are homology spheres which avoids the use of Langlands conjecture (and GRH), instead employing the theory of pro-p groups.)

17/03/2021

Subtitle: Shouting at non-invariance so it goes away

For the past few weeks I was reading into some symplectic geometry in order to approach one of my miniprojects, which concerns the paper A symplectic look at the Fargues-Fontaine curve. One of the tools introduced there is known as loud Floer cochains which I have recently learned about. The whole background is difficult to describe concisely, but the idea is to develop a certain variant of Floer cohomology. It is a cohomology theory for pairs Lagrangian submanifolds of a symplectic manifold and one of its crucial properties is that it is invariant under Hamiltonian isotopies - in fact, this is what enables us to define it in general, instead of just in the case of transversal submanifolds, in particular when the two Lagrangians coincide, which is usually the case of main interest.

(There is plethora of technical issues when developing this theory, and in fact it is not always well-defined. I am not going to get into all this in part because I know little about it myself.)

Usually this cohomology theory is developed with coefficients in a ring known as the Novikov ring, which is essentially the ring of formal power series in which we admit arbitrary nonnegative real exponents. This way various infinite sums can be said to converge formally. One of the concerns of the above paper though is investigation of what happens when we set the value of the Novikov parameter (the formal variable) to be 1 - as expected, issues arise from infinite sums, but those are circumvented by working with coefficients in a suitable non-Archimedean field (as well as working with an "F-field"). A particularly notable issue though is that the invariance under Hamiltonian isotopies now fails - this is because certain sums encoding quasi-isomorphisms no longer converge.

This is where loud Floer cochains come in: it turns out that we can recover invariance under Hamiltonian isotopies by taking a Lagrangian, and applying an isotopy to it for an infinitely long time. The nature of Hamiltonian isotopies makes the Lagrangian deform essentially by making it "twist" into waves of unbounded amplitude. This twisting makes all the annuli between two Lagrangians to break (as the increasing amplitude will introduce more and more intersections). Removing these annuli turns out to remove all the problematic terms which arise when trying to define cohomology invariant under the isotopies (at least in the case of a torus treated in the paper.) This is summarized by the following slogan in the paper:

By shouting infinitely loud, all of the annuli break, along with whatever problems they posed for noninvariance.

22/02/2021

Subtitle: Baby version of modularity

I have recently stumbled upon Barry Mazur's article Number Theory as Gadfly. While my interest in it came from just the technical appendix in it, I have decided to check out the entirety of the article, and from it I came to gain some new insight into the idea of modularity theorems/conjectures which I wish to share here. Specifically, I shall explain how one version of "modularity" which gives a result which holds for all algebraic curves with algebraic coefficients. My understanding comes from several papers online, none of which explained the result in quite the way as I do below, so there may be some inaccuracies.

The starting point is a theorem of Belyi: for any smooth algebraic curve $X$ defined over some number field there is a nonconstant morphism $X\to\mathbb P^1$ all of whose ramification points lie over $0,1,$ or $\infty$. Let $P'=\mathbb P^1\setminus\{0,1,\infty\}$ and let $X'\subseteq X$ be the complement of preimages of $0,1,\infty$. If we assume $X$ is projective, then the resulting map $X'\to P'$ is finite and unramified, and so if we look at its complex points, we get a finite covering map $\newcommand{\C}{\mathbb C}X'(\C)\to P'(\C)$.

Now. $P'(\C)$ is simply the twice-punctured complex plane, and it can be given an explicit universal cover in terms of modular functions: the function $f(z)=\frac{\eta(z/2)^8}{\eta(2z)^8}$ realizes the complex upper half-plane $H$ as the universal cover of $P'(\C)$ (according to this MO post) and its deck transformation group is (the image in $PSL_2(\mathbb Z)$ of) the congruence group $\Gamma(2)$. This covering map $H\to P'(\C)$ factors through any other covering map, in particular we get a covering $H\to X'(\C)$, which thus realizes $X'(\C)$ as a quotient of $H$ by a finite-index subgroup $\Gamma$ of $\Gamma(2)$. By taking a suitable compactification at cusps, we can realize the whole $X(\C)$ as such a quotient too. This is suspiciously close to modularity!

The difference between this result and actual modularity is that $\Gamma'$ here can be essentially arbitrary, while in modularity we demand that $\Gamma'$ be a congruence subgroup - it should contain a subgroup $\Gamma(N)$ for some $N\in\mathbb N$. This distinction may seem rather insignificant, especially in light of the fact that it being nontrivial is in a certain sense a coincidence - had we been working in $SL_n(\mathbb Z)$ for some $n>2$ instead, every finite-index subgroup would be a congruence subgroup. And yet for $n=2$ this difference exists, and modularity turns out to be unbelievably more subtle.

09/02/2021

Subtitle: Equidistribution and automorphy

The first thing I learned this week is that it is hard to keep a blog like that going while taking as many classes as I am taking. Either way, here goes something I have stumbled upon today.

In the past I have many times come across the Sato-Tate conjecture, which reads as follows: Let $E/\mathbb Q$ be an elliptic curve with no complex multiplication. For any prime of good reduction let $a_p=p+1-|E_p(\mathbb F_p)|$, where $E_p$ is the reduction of $E$. Then the values $\frac{a_p}{\sqrt{p}}$ follow a distribution which on interval $[-2,2]$ is given by the density function $\frac{1}{2\pi}\sqrt{1-4t^2}$. There is a different, "better" formulation given by writing $\frac{a_p}{\sqrt{p}}=2\cos\theta_p$, and then asserting $\theta_p$ are distributed in $[-\pi,\pi]$ according to density $\frac{2}{\pi}\sin^2\theta$.

I have always been mystified by this statement - it is far from clear why it's these distributions that the considered values should follow. I have never bothered to look into this topic further, knowing that this is some very deep mathematics we are talking about here. However this time I decided to give it a go and see what I can find.

Quickly I've stumbled upon some notes by Sutherland for Arizona Winter School 2016. While they do not contain anywhere near a full proof, they provide some intuition, one which I do find satisfactory - the distributions above come from the distribution of traces in the group $SU(2)$. To see the relevance, we have to recall that the numbers $a_p$ are given by traces of actions of the Frobenius elements on some Tate module (or cohomology if you wish). By the Riemann hypothesis for elliptic curves over finite fields, $a_p$ is the sum of two eigenvalues of this operator which, upon taking some embedding in $\mathbb C$, are complex conjugate of absolute value $\sqrt{p}$. This means that dividing the operator itself by $\sqrt{p}$, we get an element of $SU(2)$. This element is not independent of many choices which are to be made, but its conjugacy class is.

Finally, $SU(2)$ is a compact topological group, so it possesses a Haar measure. We can then ask whether the operators constructed above are equidistributed. More precisely, we have to consider the measure induced on the space of conjugacy classes. The latter can be parametrized by either trace or the argument of one of the eigenvalues, and a short computation reveals the induced distributions are precisely the ones predicted by the Sato-Tate conjecture!

This is just one part of the notes above. Another part that caught my eye there was an outline of Tate's argument when justifying the conjecture (Sato arrived at it independently through numerical evidence). Like in probability theory, a distribution of the sort considered is determined by its moments (expectations/averages of the values of powers). Those last ones can be interpreted in terms of symmetric powers of representations, and Tate has explained how we can get the desired distribution if we knew the resulting L-functions are holomorphic and nonvanishing in a suitable domain. Those facts later turned out to be provable for automorphic L-functions in the sense of Langlands. This way Sato-Tate conjecture has been reduced to proving (potential) automorphy of these symmetric powers, a feat which was achieved in 2011.

I really need to learn more about these things some day...

25/01/2021

Subtitle: If you don't want to make a choice, make all of them.

Firstly, happy new year to everyone out there! Hope this year treats everyone better than the last one did. I took a break from documenting my progress here over Christmas, but that most certainly didn't stop me from doing maths, so you can take this week's post as a summary of the entire last month.

I have managed to (more or less) finish Le Stum's book which I have discussed in two of the previous posts, and with its end I have managed to clarify one of the things I was wondering for a while. In the week 1 post I have explained the several various approaches to calculus on rigid spaces (it's essentially the same as for schemes), and asserted that they are all equivalent. At the time however the author has almost immediately switched to working almost exclusively with the approach via integrable connections, and it was not clear what the point is to introducing the other view points, especially the most abstract approach via crystals. This has been clarified in the last couple of chapters though.

Most of the considerations in the book were performed using frames: given a variety of interest $X$, we embed it as an open subset in a (usually proper) variety $Y$, which we then embed as a closed subscheme in a (usually smooth) formal scheme $P$, after which we proceed to perform reasoning on the associated rigid space $P_K$. The first definition of rigid cohomology is given in terms of such a frame $X\subset Y\subset P$, as well as a module with integrable connection on (a subset of) $P_K$.

However, in the end, it is just $X$ that we are interested in, and choices of $Y$ and $P$ in general will be arbitrary. The way to deal with this is rather intriguing: rather than choosing a single frame and integrable connection on it, we instead consider the collection of all possible frames, and we take a family of modules on all resulting $P_K$, which amounts to what came to be called an (iso)crystal on $X$. Invariance properties of rigid cohomology then guarantee we can compute the cohomology using the module on any one of those $P_K$.

Unfortunately, as Le Stum notes, this definition is not quite satisfactory, as even though we have made our "coefficient objects" to only depend on $X$, defining the cohomology still depends on the choice of $P$ (albeit only up to a canonical isomorphism). A "better" definition would be one involving cohomology on a suitable site, similarly to how crystalline cohomology is defined. It is unclear to me at this point whether such a definition exists, but I would be definitely interested in finding out more about that myself in the future!

06/01/2021

Subtitle: Classifying untilts

This topic is distinct from the one discussed from the one discussed in the previous two weeks. Over the coming months I will be working on two miniprojects, the first of which loosely tied to what I talked about previously, the second one on what I shall talk about today.

The setup consists of a single perfectoid field $C$ of characteristic $p$. We can then consider untilts of $C$ in characteristic $0$ - those are perfectoid fields $K$ equipped with an isomorphism between the tilt $K^\flat$ of $K$ and $C$. It turns out that the collection of isomorphism classes of those units can be given a natural geometric structure. More precisely, we can identify those classes with certain points in an adic spectrum $\mathrm{Spa}(A_{inf},A_{inf})$, where $A_{inf}$ is a certain "period ring" of Fontaine. More precisely, we consider the subspace $\mathcal Y$ obtained by removing a single point (corresponding to a characteristic $p$ untilt).

However, in a sense we have a bit of redundancy going on here. Indeed, since we consider untilts to consist not just of $K$ but also an isomorphism, there are many untilts with the same underlying field, and they all differ by an automorphism of $C$. I don't believe quotienting out by all automorphisms of $C$ gives a nice geometric space, but, thanks to the fact we are in the world of adic spaces, we may quotient out by the action of (powers of) the Frobenius automorphism $\varphi$. The corresponding action of $\varphi^{\mathbb Z}$ on $\mathcal Y$ is properly discontinuous, so the resulting quotient is itself an adic space - this is the adic Fargues-Fontaine curve $\mathcal X^{FF}=\mathcal Y/\varphi^{\mathbb Z}$.

It might be desirable to construct a "simpler" space which classifies untilts like that, for instance a scheme. The quotient construction above doesn't work - because of how functions on schemes there are, the quotient is not really well-behaved, in fact I believe it is just a single point (similarly to trying to quotient $\mathbb A^1$ by an action of $\mathbb Z$ by translations - the quotient is a point essentially because $\mathbb A^1$ admits no nonconstant periodic functions). However, once we have constructed $\mathcal X^{FF}$, it turns out to be possible to "schemify" it, by taking sections of powers of a certain line bundle on it and forming a Proj scheme out of the resulting graded algebra. The resulting space is very "large" in algebraic sense, but in many regards still behaves like a projective curve over a field, in fact more specifically the projective line. More on that may come in a later post, for now I shall settle on just outlining this definition.

Some references:

• Morrow's Bourbaki seminar notes, explains in greater detail all of the above and discusses its relation with other topics, including Scholze's diamonds (which might appear in a post here one day!)

• Anschütz's Lectures on the FF curve, a course which covers many of the topics in the theory with complete proofs.

• Lurie's course on the FF curve, as above. Notably he discusses in what ways the FF curve is analogous to a quotient of a punctured unit disk by a certain action. Although Lurie does not discuss the adic side of things, comparing the two helped me gain the intuition for many of the definitions.

13/12/2020

Subtitle: Call for overconvergence

As far as I know the following is a phenomenon shared by just about every affinoid variety. For simplicity though I focus on the case of the closed unit disk.

Let $D$ be the closed disk, viewed as an affinoid subvariety of the affine line over some non-Archimedean field $K$. We are interested in the de Rham cohomology of this space. Drawing analogy to the complex-analytic situation, where the closed disk is contractible, we would expect this cohomology to be trivial in positive degrees. However, as we will see in a second, this is not the case.

$D$ is one-dimensional, so the only nonzero differential forms on $D$ are the $0$-forms, which are represented by power series $\sum_{i=0}^\infty a_ix^i$ with $a_i\to 0$ (so that the power series converges on all of $D$, and $1$-forms, which can be written as $\left(\sum_{i=0}^\infty a_ix^i\right)dx$, again with $a_i\to 0$. The differential is given by

$$d\left(\sum_{i=0}^\infty a_ix^i\right)=\sum_{i=1}^\infty a_iix^{i-1}dx=\left(\sum_{i=1}^\infty ia_ix^{i-1}\right)dx.$$

Finally, the nontrivial cohomology groups $H_{dR}^0(D),H_{dR}^1(D)$ are the kernel and the cokernel of this differential. The kernel is what we expect: $d$ kills precisely the constant functions, so $H_{dR}^0(D)\cong K$. For the cokernel, we would think that the usual termwise differentiation would do the trick: $\left(\sum_{i=0}^\infty a_ix^i\right)dx$ is the image of the power series

$$\sum_{i=0}^\infty\frac{a_i}{i+1}x^{i+1}$$

The issue is that the coefficients of this power series need not converge to zero, as in the non-Archimedean world reciprocals of integers are unbounded. Explicitly we can consider power series of the form

$$\sum_{i\in A} p^ix^{p^i-1}$$

for any infinite subset $A$ of $\mathbb N$. With those we deduce the cokernel $H_{dR}^1(D)$ is infinite-dimensional.

This is a somewhat unsettling situation which would deserve a salvage. One idea is restricting one's attention to only overconvergent sections of the sheafs of differential forms. In simplest terms, those are the differential forms represented by power series which converge not just on $D$, but also on some open disk containing $D$. This way any overconvergent $1$-form is indeed a differential of some overconvergent $0$-form, which means $H^1$ computed in this way gives the expected answer, which is zero.

Using overconvergent sections is certainly not the most obvious way to give a better behaved cohomology, but it turns out to be one which is incredibly fruitful to generalize.

The computation is taken from section 4.3.1 of Le Stum's Rigid Cohomology.

05/12/2020

Subtitle: The many face(t)s of crystals

I am currently reading Le Stum's book Rigid Cohomology and have just reached chapter 4, simply titled "Calculus". In it are discussed several different kinds of "differential" objects in algebraic geometry which can be considered over some fixed space $V$ (Le Stum focuses on rigid analytic spaces, but the theory is very similar over schemes. I also omit reference to the base scheme):

• Crystals: in fancy terminology, they are certain "sheaves on the infinitesimal site of $V$". Such an object consists of a sheaf $\mathcal E_{V'}$ on every "infinitesimal thickening" $V'$ of a space $V_0'$ over $V$, together with isomorphisms $\mathcal E_{V''}\cong u^*\mathcal E_{V'}$ for morphisms $u:V''\to V'$, satisfying suitable cocycle conditions.

• Stratifications: by embedding $V$ diagonally in $V\times V$, we have certain canonical infinitesimal neighbourhoods $V^{(n)}$ of $V$. Each of them can be viewed as a space over $V$ in two ways, via two projections $p_1^{(n)},p_2^{(n)}:V^{(n)}\hookrightarrow V\times V\to V$. This way given a sheaf $\mathcal E$ on $V$ we can consider its pullbacks to $V^{(n)}$ via those two projections, giving sheaves $p_1^{(n)*}\mathcal E,p_2^{(n)*}\mathcal E$. A stratification on $\mathcal E$ is then a choice of compatible isomorphisms $p_1^{(n)*}\mathcal E\to p_2^{(n)*}\mathcal E$, again satisfying suitable cocycle conditions.

• D-modules: at least when $V$ is smooth, we can define on it the (noncommutative) algebra of differential operators $\mathcal D_V$. A D-module on $V$ is then a sheaf with a structure of $\mathcal D_V$-module.

• Modules with (integrable) connections: let $\Omega_V^1$ be the sheaf of differentials on $V$. A connection on an $\mathcal O_V$-module $\mathcal E$ is a map $\nabla: \mathcal E\to\mathcal E\otimes\Omega_V^1$ which satisfies the Leibniz rule: $\nabla(fs)=f\nabla(s)+s\otimes df$. Such a connection can be extended to a map $\nabla_k: \mathcal E\otimes\Omega_V^k\to\mathcal E\otimes\Omega_V^{k+1}$ for all $k$, and this connection is called integrable (or flat) if $\nabla_{k+1}\circ\nabla_k=0$ for all $k$ (in fact, it suffices to assume this for $k=0$).

At a first glance there is not much relation between those notions, but in the end it turns out that they are all equivalent (in the sense of equivalence of suitable categories), at least under the assumption that $V$ is smooth of characteristic $0$ (in which case we can work with coordinates "etale locally"). Unfortunately, Le Stum's book doesn't discuss many details of those equivalences, in order to just focus on the last of those four notions. Thankfully there is a detailed reference for this topic, namely section 2 in Berthelot-Ogus's Notes on Crystalline Cohomology. If you can look past the old-school typesetting, it is a book definitely worth checking out. Although for my present purposes section 2 was enough, the rest of the book the extension of this theory to characteristic $p$ situation (using so-called divided power structures) to develop crystalline cohomology, something I would like to delve into in the future.

Some of the other references I have looked at relating to this which I want to share:

• Some online notes on calculus on schemes, which nicely explain some of the notions above in a concrete case of an affine space,

• Another set of online notes on calculus on schemes, treating the topic in different way, which I have used mostly as a reference for Gauss-Manin connection,

• Kedlaya's notes on p-adic cohomology, which I also used as a reference for Gauss-Manin connections (and a refresher on spectral sequences.)

28/11/2020