In this post we’ll describe the representation theory of the additive group scheme over a field . The answer turns out to depend dramatically on whether or not has characteristic zero.
Archive for the ‘math.AG’ Category
The representation theory of the additive group scheme
Posted in math.AG, math.RT, tagged finite fields, group actions on November 26, 2017| 5 Comments »
Higher linear algebra
Posted in math.AG, math.CT, tagged 2-categories on May 31, 2016| 2 Comments »
Let be a commutative ring. A popular thing to do on this blog is to think about the Morita 2-category of algebras, bimodules, and bimodule homomorphisms over , but it might be unclear exactly what we’re doing when we do this. What are we studying when we study the Morita 2-category?
The answer is that we can think of the Morita 2-category as a 2-category of module categories over the symmetric monoidal category of -modules, equipped with the usual tensor product over . By the Eilenberg-Watts theorem, the Morita 2-category is equivalently the 2-category whose
- objects are the categories , where is a -algebra,
- morphisms are cocontinuous -linear functors , and
- 2-morphisms are natural transformations.
An equivalent way to describe the morphisms is that they are “-linear” in that they respect the natural action of on given by
.
This action comes from taking the adjoint of the enrichment of over , which gives a tensoring of over . Since the two are related by an adjunction in this way, a functor respects one iff it respects the other.
So Morita theory can be thought of as a categorified version of module theory, where we study modules over instead of over . In the simplest cases, we can think of Morita theory as a categorified version of linear algebra, and in this post we’ll flesh out this analogy further.
Coalgebraic geometry
Posted in math.AG, math.RA on March 20, 2016| Leave a Comment »
Previously we suggested that if we think of commutative algebras as secretly being functions on some sort of spaces, we should correspondingly think of cocommutative coalgebras as secretly being distributions on some sort of spaces. In this post we’ll describe what these spaces are in the language of algebraic geometry.
Let be a cocommutative coalgebra over a commutative ring . If we want to make sense of as defining an algebro-geometric object, it needs to have a functor of points on commutative -algebras. Here it is:
.
In words, the functor of points of a cocommutative coalgebra sends a commutative -algebra to the set of setlike elements of . In the rest of this post we’ll work through some examples.
Drawing subgroups of the modular group
Posted in math.AG, math.CT, math.GR, math.GT, tagged MaBloWriMo on November 29, 2015| 1 Comment »
Previously we learned how to count the finite index subgroups of the modular group . The worst thing about that post was that it didn’t include any pictures of these subgroups. Today we’ll fix that.
The pictures in this post can be interpreted in at least two ways. On the one hand, they are graphs of groups in the sense of Bass-Serre theory, and on the other hand, they are also dessin d’enfants (for the rest of this post abbreviated to “dessins”) in the sense of Grothendieck. But you don’t need to know that to draw and appreciate them.
Connected components in a distributive category
Posted in math.AG, math.CT, math.LO, tagged MaBloWriMo on November 28, 2015| 4 Comments »
Previously we claimed that if you want to check whether a category “behaves like a category of spaces,” you can try checking whether it’s distributive. The goal of today’s post is to justify the assertion that objects in distributive categories behave like spaces by showing that they have a notion of “connected components.”
For starters, let be a distributive category with terminal object , and let be the coproduct of two copies of . For an object , what does look like? If and is a sufficiently well-behaved topological space, morphisms correspond to subsets of the connected components of , and naturally has have the structure of a Boolean algebra or Boolean ring whose elements can be interpreted as subsets of the connected components of .
It turns out that naturally has the structure of a Boolean algebra or Boolean ring (more invariantly, the structure of a model of the Lawvere theory of Boolean functions) in any distributive category. Hence any distributive category naturally admits a contravariant functor into Boolean rings, or, via Stone duality, a covariant functor into profinite sets / Stone spaces. This is our “connected components” functor. When the object this functor outputs is known as the Pierce spectrum.
This construction can be thought of as trying to do for what the étale fundamental group does for .
Stating Galois descent
Posted in math.AG, math.CT, math.NT, tagged MaBloWriMo on November 16, 2015| 1 Comment »
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.
The puzzle of Galois descent
Posted in math.AG, math.GR, math.NT, tagged MaBloWriMo on November 8, 2015| 7 Comments »
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?
Topological Diophantine equations
Posted in math.AG, math.AT, math.NT, tagged cohomology on November 29, 2014| 8 Comments »
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.
The Picard groups
Posted in math.AC, math.AG, math.AT, tagged characteristic classes on October 19, 2014| 12 Comments »
Let be a commutative ring. From we can construct the category of -modules, which becomes a symmetric monoidal category when equipped with the tensor product of -modules. Now, whenever we have a monoidal operation (for example, the multiplication on a ring), it’s interesting to look at the invertible things with respect to that operation (for example, the group of units of a ring). This suggests the following definition.
Definition: The Picard group of is the group of isomorphism classes of -modules which are invertible with respect to the tensor product.
By invertible we mean the following: for there exists some such that the tensor product is isomorphic to the identity for the tensor product, namely .
In this post we’ll meander through some facts about this Picard group as well as several variants, all of which capture various notions of line bundle on various kinds of spaces (where the above definition captures the notion of a line bundle on the affine scheme ).
Five proofs that the Euler characteristic of a closed orientable surface is even
Posted in math.AG, math.AT, tagged characteristic classes, cobordism, cohomology, Euler characteristic, genera on October 14, 2014| 2 Comments »
Let be a closed orientable surface of genus . (Below we will occasionally write , omitting the genus.) Then its Euler characteristic is even. In this post we will give five proofs of this fact that do not use the fact that we can directly compute the Euler characteristic to be , roughly in increasing order of sophistication. Along the way we’ll end up encountering or proving more general results that have other interesting applications.