The man who knew elliptic integrals, prime number theorems, and black holes

I went to see The Man Who Knew Infinity yesterday. I have nothing much to say about the movie as a movie that wasn’t already said in Scott Aaronson‘s review, except that I learned a few fun facts during the Q&A session with writer/director Matthew Brown afterwards. Namely, it’s a little surprising the movie was able to get high-profile stars like Dev Patel and Jeremy Irons on board given that it was made on a relatively low budget. Apparently, Dev Patel signed on because he really wanted to popularize the story of Ramanujan, and Jeremy Irons signed on because he was hooked after being given a copy of Hardy’s A Mathematician’s Apology.

(Disclaimer: this blog does not endorse any of the opinions Hardy expresses in the Apology, e.g. the one about mathematics being a young man’s game, the one about pure math being better than applied math, or the one about exposition being an unfit activity for a real mathematician. The opinion of this blog is that the Apology should be read mostly for insight into Hardy’s psychology rather than for guidance about how to do mathematics.)

Anyway, since this is a movie about Ramanujan, let’s talk about some of the math that appears in the movie. It’s what he would have wanted, probably.

Read Full Post »

Separable algebras

Let be a commutative ring and let be a -algebra. In this post we’ll investigate a condition on which generalizes the condition that is a finite separable field extension (in the case that is a field). It can be stated in many equivalent ways, as follows. Below, “bimodule” always means “bimodule over .”

Definition-Theorem: The following conditions on are all equivalent, and all define what it means for to be a separable -algebra:

1. is projective as an -bimodule (equivalently, as a left -module).
2. The multiplication map has a section as an -bimodule map.
3. admits a separability idempotent: an element such that and for all (which implies that ).

(Edit, 3/27/16: Previously this definition included a condition involving Hochschild cohomology, but it’s debatable whether what I had in mind is the correct definition of Hochschild cohomology unless is a field or is projective over . It’s been removed since it plays no role in the post anyway.)

When is a field, this condition turns out to be a natural strengthening of the condition that is semisimple. In general, loosely speaking, a separable -algebra is like a “bundle of semisimple algebras” over .

Read Full Post »

Forms and Galois cohomology

Yesterday we gave a brief and abstract description of Galois descent, the punchline of which was that Galois descent could abstractly be described as a natural equivalence

where  is a Galois extension, is the Galois group of (thinking of as an object of the category of field extensions of at all times), is a category of “objects over ,” and is a category of “objects over .”

In fact this description is probably only correct if  is a finite Galois extension; if is infinite it should probably be modified by requiring that every function of that occurs (e.g. in the definition of homotopy fixed points) is continuous with respect to the natural profinite topology on . To avoid this difficulty we’ll stick to the case that is a finite extension.

Today we’ll recover from this abstract description the somewhat more concrete punchline that -forms of an object can be classified by Galois cohomology , and we’ll give some examples.

Read Full Post »

Stating Galois descent

After a relaxing and enjoyable break, we’re finally in a position to state what it means for structures to satisfy Galois descent.

Fix a field . The gadgets we want to study assign to each separable extension a category of “objects over ,” to each morphism of extensions an “extension of scalars” functor , and to each composable pair of morphisms of extensions a natural isomorphism

of functors (where again we’re taking compositions in diagrammatic order) satisfying the usual cocycle condition that the two natural isomorphisms we can write down from this data agree. We’ll also want unit isomorphisms satisfying the same compatibility as before. This is just spelling out the definition of a 2-functor from the category of separable extensions of to the 2-category , and in particular each naturally acquires an action of (where we mean automorphisms of extensions of , hence if is Galois this is the Galois group) in precisely the sense we described earlier.

We’ll call such an object a Galois prestack (of categories, over ) for short. The basic example is the Galois prestack of vector spaces , which sends an extension to the category of -vector spaces and sends a morphism to the extension of scalars functor

.

Every example we consider will in some sense be an elaboration on this example in that it will ultimately be built out of vector spaces with extra structure, e.g. the Galois prestacks of commutative algebras, associative algebras, Lie algebras, and even schemes. In these examples, fields are not really the natural level of generality, and to make contact with algebraic geometry we should replace them with commutative rings, but for now we’ll ignore this.

In order to state the definition, we need to know that if is an extension, then the functor naturally factors through the category of homotopy fixed points for the action of on . We’ll elaborate on why this is in a moment.

Definition: A Galois prestack satisfies Galois descent, or is a Galois stack, if for every Galois extension the natural functor (where ) is an equivalence of categories.

In words, this condition says that the category of objects over is equivalent to the category of objects over equipped with homotopy fixed point structure for the action of the Galois group (or Galois descent data).

(Edit, 11/18/15:) This definition is slightly incorrect in the case of infinite Galois extensions; see the next post and its comments for some discussion.

Read Full Post »

Fixed points of group actions on categories

Previously we described what it means for a group to act on a category (although we needed to slightly correct our initial definition). Today, as the next step in our attempt to understand Galois descent, we’ll describe what the fixed points of such a group action are.

John Baez likes to describe (vertical) categorification as replacing equalities with isomorphisms, which we saw on full display in the previous post: we replaced the equality with isomorphisms , and as a result we found 2-cocycles lurking in this story.

I prefer to describe categorification as replacing properties with structures, in the nLab sense. That is, the real import of what we just did is to replace the property (of a function between groups, say) that with the structure of a family of isomorphisms between and . The use of the term “structure” emphasizes, as we also saw in the previous post, that unlike properties, structures need not be unique.

Accordingly, it’s not surprising that being a fixed point of a group action on a category is also a structure and not a property. Suppose is a group action as in the previous post, and is an object. The structure of a fixed point, or more precisely a homotopy fixed point, is the data of a family of isomorphisms

which satisfy the compatibility condition that the two composites

and

are equal, as well as the unit condition that

where is the unit isomorphism . This is, in a sense we’ll make precise below, a 1-cocycle condition, but this time with nontrivial (local) coefficients.

Curiously, when the action is trivial (meaning both that and that ), this reduces to the definition of a group action of on in the usual sense. In general, we can think of homotopy fixed point structure as a “twisted” version of a group action on where the twist is provided by the group action on .

Read Full Post »

The puzzle of Galois descent

Suppose we have a system of polynomial equations over a perfect (to keep things simple) field , and we’d like to consider solutions of it over various field extensions of . Write for the set of all solutions to this system over .

As it happens, knowing for any algebraic extension of is equivalent to knowing , where denotes the algebraic closure of , together with the action of the absolute Galois group . After picking an embedding of into , the infinite Galois correspondence says that is precisely the set of fixed points of the closed subgroup of which stabilizes , and it’s not hard to see that this extends to ; that is, naturally acts on , and we have a natural identification

.

Now let’s categorify this situation. Before we considered, for each algebraic extension of , a set . There are many situations in mathematics in which it’s natural to consider instead a category , such that a morphism induces a functor , and so forth. The basic example is the case that is the category of -vector spaces, and for a morphism the corresponding functor is given by extension of scalars

.

This leads to many other examples coming from equipping vector spaces with extra structure: for example, might be

• the category of representations of some finite group over ,
• the category of commutative (or associative, or Lie) algebras over , or
• the category of schemes over .

It would be great if understanding all of these categories was in some sense as simple as understanding the category , which generally tends to be simpler, and the action of the absolute Galois group on it, whatever that means. For example, the representation theory of finite groups over algebraically closed fields of characteristic zero is well understood, as is, say, the classification of semisimple Lie algebras. The general problem of trying to extract an understanding of from an understanding of is the problem of Galois descent.

We might very optimistically hope that the story here is directly analogous to the story above. This suggests the following puzzle.

Puzzle: In what sense could the statement be true for the examples given above?

Read Full Post »

Topological Diophantine equations

The problem of finding solutions to Diophantine equations can be recast in the following abstract form. Let be a commutative ring, which in the most classical case might be a number field like or the ring of integers in a number field like . Suppose we want to find solutions, over , of a system of polynomial equations

.

Then it’s not hard to see that this problem is equivalent to the problem of finding -algebra homomorphisms from to . This is equivalent to the problem of finding left inverses to the morphism

of commutative rings making an -algebra, or more geometrically equivalent to the problem of finding right inverses, or sections, of the corresponding map

of affine schemes. Allowing to be a more general scheme over can also capture more general Diophantine problems.

The problem of finding sections of a morphism – call it the section problem – is a problem that can be stated in any category, and the goal of this post is to say some things about the corresponding problem for spaces. That is, rather than try to find sections of a map between affine schemes, we’ll try to find sections of a map between spaces; this amounts, very roughly speaking, to solving a “topological Diophantine equation.” The notation here is meant to evoke a particularly interesting special case, namely that of fiber bundles.

We’ll try to justify the section problem for spaces both as an interesting problem in and of itself, capable of encoding many other nontrivial problems in topology, and as a possible source of intuition about Diophantine equations. In particular we’ll discuss what might qualify as topological analogues of the Hasse principle and the Brauer-Manin obstruction.

Read Full Post »

The p-group fixed point theorem

The goal of this post is to collect a list of applications of the following theorem, which is perhaps the simplest example of a fixed point theorem.

Theorem: Let be a finite -group acting on a finite set . Let denote the subset of consisting of those elements fixed by . Then ; in particular, if then has a fixed point.

Although this theorem is an elementary exercise, it has a surprising number of fundamental corollaries.

Read Full Post »

Small factors in random polynomials over a finite field

Previously I mentioned very briefly Granville’s The Anatomy of Integers and Permutations, which explores an analogy between prime factorizations of integers and cycle decompositions of permutations. Today’s post is a record of the observation that this analogy factors through an analogy to prime factorizations of polynomials over finite fields in the following sense.

Theorem: Let be a prime power, let be a positive integer, and consider the distribution of irreducible factors of degree in a random monic polynomial of degree over . Then, as , this distribution is asymptotically the distribution of cycles of length in a random permutation of elements.

One can even name what this random permutation ought to be: namely, it is the Frobenius map acting on the roots of a random polynomial , whose cycles of length are precisely the factors of degree of .

Combined with our previous result, we conclude that as (with tending to infinity sufficiently quickly relative to ), the distribution of irreducible factors of degree is asymptotically independent Poisson with parameters .

Read Full Post »

Z[sqrt{-3}] is the Eisenstein integers glued together at two points

Today’s post is a record of a very small observation from my time at PROMYS this summer. Below, by I mean a commutative ring regarded as an object in the opposite category .

Read Full Post »