Feeds:
Posts
Comments

Archive for November, 2015

Yesterday we described how a (finite-dimensional) projective representation \rho : G \to PGL_n(k) of a group G functorially gives rise to a k-linear action of G on \text{Mod}(M_n(k)) \cong \text{Mod}(k) such that the Schur class s(\rho) \in H^2(BG, k^{\times}) classifies this action.

Today we’ll go in the other direction. Given an action of G on \text{Mod}(k) explicitly described by a 2-cocycle \eta \in Z^2(BG, k^{\times}), we’ll recover the category of \eta-projective representations, or equivalently the category of modules over the twisted group algebra k \rtimes_{\eta} G, by taking the homotopy fixed points of this action. We’ll end with another puzzle.

(more…)

Read Full Post »

Today we’ll resolve half the puzzle of why the cohomology group H^2(BG, k^{\times}) appears both when classifying projective representations of a group G over a field k and when classifying k-linear actions of G on the category \text{Mod}(k) of k-vector spaces by describing a functor from the former to the latter.

(There is a second half that goes in the other direction.)

(more…)

Read Full Post »

Projective representations

Three days ago we stated the following puzzle: we can compute that isomorphism classes of k-linear actions of a group G on the category C = \text{Mod}(k) of vector spaces over a field k correspond to elements of the cohomology group

\displaystyle H^2(BG, k^{\times}).

This is the same group that appears in the classification of projective representations G \to PGL(V) of G over k, and we asked whether this was a coincidence.

Before answering the puzzle, in this post we’ll provide some relevant background information on projective representations.

(more…)

Read Full Post »

Previously we described what it means for a group G to act on a category C (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 F(g) F(h) = F(gh) with isomorphisms \eta(g, h) : F(g) F(h) \cong F(gh), 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 F(g) F(h) = F(gh) with the structure of a family of isomorphisms between F(g) F(h) and F(gh). 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 F : G \to \text{Aut}(C) is a group action as in the previous post, and c \in C is an object. The structure of a fixed point, or more precisely a homotopy fixed point, is the data of a family of isomorphisms

\displaystyle \alpha(g) : c \cong F(g) c

which satisfy the compatibility condition that the two composites

\displaystyle c \xrightarrow{\alpha(g)} F(g) c \xrightarrow{F(g)(\alpha(h))} F(g) F(h) c \xrightarrow{\eta(g, h)(c)} F(gh) c

and

\displaystyle c \xrightarrow{\alpha(gh)} F(gh) c

are equal, as well as the unit condition that

\displaystyle \alpha(e) = \varepsilon(c) : c \to F(e) c

where \varepsilon is the unit isomorphism \text{id}_C \cong F(e). 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 F is trivial (meaning both that F(g) = \text{id}_C and that \eta(g, h) = e \in Z(C)^{\times}), this reduces to the definition of a group action of G on c \in C in the usual sense. In general, we can think of homotopy fixed point structure as a “twisted” version of a group action on c \in C where the twist is provided by the group action on C.

(more…)

Read Full Post »

Units

Yesterday I wrote down a definition of an action of a group G on a category C that was slightly incorrect because I neglected to write down any conditions involving units. With the definition I gave it is possible for F(e) to fail to be an automorphism (it might instead be a nontrivial idempotent endofunctor C \to C).

The condition we need on units is first that we should have a unit isomorphism

\varepsilon : \text{id}_C \cong F(e)

and second that this unit isomorphism should be compatible with the isomorphisms \eta(g, h) : F(g) F(h) \cong F(gh) in the sense that the composites

\displaystyle F(g) \cong \text{id}_C F(g) \xrightarrow{\varepsilon F(g)} F(e) F(g) \xrightarrow{\eta(e, g)} F(g)

and

\displaystyle F(g) \cong F(g) \text{id}_C \xrightarrow{F(g) \varepsilon} F(g) F(e) \xrightarrow{\eta(g, e)} F(g)

should both be the identity. If we use the unit isomorphism to replace F(e) with \text{id}_C (which changes the \eta(g, h)), this is just the condition that \eta(g, e) and \eta(e, g) should both be the identity.

Similarly, in our definition of an equivalence \alpha between two group actions (F_1, \eta_1, \varepsilon_1), (F_2, \eta_2, \varepsilon_2), \alpha needs to respect these unit isomorphisms in the sense that

\displaystyle \left( \text{id}_C \xrightarrow{\varepsilon_1} F_1(e) \xrightarrow{\alpha(e)} F_2(e) \right) = \left( \text{id}_C \xrightarrow{\varepsilon_2} F_2(e) \right).

Again, if we use the unit isomorphisms to replace F_1(e), F_2(e) with \text{id}_C on the nose, this is just the condition that \alpha(e) should be the identity.

Fortunately, in the special case we considered in the previous post, where \pi_0(\text{Aut}(C)) vanishes (and perhaps in general), this produces the same classification of group actions as before, so nothing has gone too badly wrong. Details below the fold.

(more…)

Read Full Post »

Yesterday we decided that it might be interesting to describe various categories as “fixed points” of Galois actions on various other categories, whatever that means: for example, perhaps real Lie algebras are the “fixed points” of a Galois action on complex Lie algebras. To formalize this we need a notion of group actions on categories and fixed points of such group actions.

So let G be a group and C be a category. For starters, we should probably ask for a functor F(g) : C \to C for each g \in G. Next, we might naively ask for an equality of functors

\displaystyle F(g) F(h) = F(gh) : C \to C

but this is too strict: functors themselves live in a category (of functors and natural transformations), and so we should instead ask for natural isomorphisms

\displaystyle \eta(g, h) : F(g) F(h) \cong F(gh).

These natural isomorphisms should further satisfy the following compatibility condition: there are two ways to use them to write down an isomorphism F(g) F(h) F(k) \cong F(ghk), and these should agree. More explicitly, the composite

\displaystyle F(g) F(h) F(k) \xrightarrow{F(g) \eta(h, k)} F(g) F(hk) \xrightarrow{\eta(g, hk)} F(ghk)

should be equal to the composite

\displaystyle F(g) F(h) F(k) \xrightarrow{\eta(g, h) F(k)} F(gh) F(k) \xrightarrow{\eta(gh, k)} F(ghk).

(There’s also some stuff going on with units which I believe we can ignore here. I think we can just require that F(e) = \text{id}_C on the nose and nothing will go too horribly wrong.)

These natural isomorphisms \eta(g, h) can be regarded as a natural generalization of 2-cocycles, and the condition above as a natural generalization of a cocycle condition. Below the fold we’ll describe this and other aspects of this definition in more detail, and we’ll end with two puzzles about the relationship between this story and group cohomology.

(more…)

Read Full Post »

Suppose we have a system f_1, f_2, \dots f_n \in k[x_1, x_2, \dots x_m] of polynomial equations over a perfect (to keep things simple) field k, and we’d like to consider solutions of it over various field extensions L of k. Write V(L) for the set of all solutions to this system over L.

As it happens, knowing V(L) for any algebraic extension L of k is equivalent to knowing V(\bar{k}), where \bar{k} denotes the algebraic closure of k, together with the action of the absolute Galois group G = \text{Gal}(\bar{k}/k). After picking an embedding of L into \bar{k}, the infinite Galois correspondence says that L is precisely the set of fixed points of the closed subgroup H of G which stabilizes L, and it’s not hard to see that this extends to V(L); that is, G naturally acts on V(\bar{k}), and we have a natural identification

\displaystyle V(L) \cong V(\bar{k})^H.

Now let’s categorify this situation. Before we considered, for each algebraic extension L of k, a set V(L). There are many situations in mathematics in which it’s natural to consider instead a category F(L), such that a morphism L_1 \to L_2 induces a functor F(L_1) \to F(L_2), and so forth. The basic example is the case that F(L) = \text{Mod}(L) is the category of L-vector spaces, and for f : L_1 \to L_2 a morphism the corresponding functor is given by extension of scalars

\displaystyle \text{Mod}(L_1) \ni V \mapsto V \otimes_{L_1} L_2 \in \text{Mod}(L_2).

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

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

It would be great if understanding all of these categories was in some sense as simple as understanding the category F(\bar{k}), which generally tends to be simpler, and the action of the absolute Galois group G 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 F(L) from an understanding of F(\bar{k}) 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 F(L) \cong F(\bar{k})^H be true for the examples given above?

Read Full Post »

Continuing yesterday’s story about relative positions, let G be a finite group and let X and Y be finite G-sets. Yesterday we showed that G-orbits on X \times Y can be thought of as “atomic relative positions” of “X-figures” and “Y-figures” in some geometry with symmetry group G, and further that if X \cong G/H and Y \cong G/K are transitive G-sets then these can be identified with double cosets H \backslash G / K.

Representation theory provides another interpretation of G-orbits on X \times Y as follows. First, if \mathbb{C}[X] is any permutation representation, then the G-fixed points \mathbb{C}[X]^G have a natural basis given by summing over G-orbits. (This is a mild categorification of Burnside’s lemma.) Next, consider the representations \mathbb{C}[X], \mathbb{C}[Y]. Because \mathbb{C}[X] is self-dual, we have

\displaystyle \text{Hom}_G(\mathbb{C}[X], \mathbb{C}[Y]) \cong (\mathbb{C}[X] \otimes \mathbb{C}[Y])^G \cong \mathbb{C}[X \times Y]^G

and hence \text{Hom}_G(\mathbb{C}[X], \mathbb{C}[Y]) has a natural basis given by summing over G-orbits of the action on X \times Y.

Definition: The G-morphism \mathbb{C}[X] \to \mathbb{C}[Y] associated to a G-orbit of X \times Y via the above isomorphisms is the Hecke operator associated to the G-orbit (relative position, double coset).

Below the fold we’ll write down some details about how this works and see how we can use the idea that G-morphisms between permutations have a basis given by Hecke operators to work out, quickly and cleanly, how some permutation representations decompose into irreducibles. At the end we’ll state another puzzle.

(more…)

Read Full Post »

The goal of this post is to explain something that the cool kids all understood ages ago (David Speyer, John Baez) but that I hadn’t internalized until recently.

Let G be a group and let X and Y be transitive G-sets, so X = G/H and Y = G/K for some subgroups H, K of G. In “geometric” situations (in the sense of the Erlangen program), G is the symmetry group of some kind of geometry (for example, affine geometry, or Euclidean geometry), and X and Y are spaces of “figures” in the geometry (for example, points, lines, or triangles). We’ll call the points of XX-figures” and similarly for Y.

Now, figures in a geometry can be in various “relative positions” (or “incidence relations”) with respect to each other: for example, a point can be contained in a line, or two lines can intersect at right angles. What makes these geometrically meaningful is that they are invariant under the symmetry group G of the geometry: for example, the condition that a point is contained in a line is invariant under affine symmetries, and the condition that two lines intersect at right angles is invariant under Euclidean symmetries. This motivates the following.

Definition: A relative position of X-figures and Y-figures is a G-invariant subset of X \times Y, or equivalently a G-invariant relation R : X \to Y.

Any G-invariant subset of X \times Y decomposes into a disjoint union of G-orbits: these are the atomic relative positions.

Proposition: G-orbits of the action of G on G/H \times G/K (equivalently, the atomic relative positions of X-figures and Y-figures) can canonically be identified with double cosets H \backslash G/K, via the map

\displaystyle G/H \times G/K \ni ([g_1], [g_2]) \mapsto [g_1^{-1} g_2] \in H \backslash G/K

where [g] \in G/H means the image of g \in G under G \to G/H.

This is the conceptual interpretation of double cosets. It took an annoyingly long time between the first time I was introduced to double cosets (which I believe was in 2010) and the time I internalized the above fact (which was this year, 2015). Unlike the usual definition, this interpretation naturally generalizes to a notion of “triple cosets” (G-orbits on a triple product X \times Y \times Z), and so forth.

Example. Let G = \text{Isom}(\mathbb{R}^n) be the group of isometries of Euclidean space, which more explicitly is the semidirect product \mathbb{R}^n \rtimes O(n). If X = Y are both the G-space of points in \mathbb{R}^n, then the atomic relative positions have the form “a point has distance r from another point,” where r is any nonnegative real.

Example. Let G = GL_n(k) be the general linear group over a field k and let H = K = B be the Borel subgroup of upper triangular matrices. G/B is the space of complete flags in V = k^n. As it turns out, there are exactly n! atomic relative positions of a pair of complete flags. When k is a finite field these form a basis of a Hecke algebra. In general they label the Bruhat decomposition of G.

For example, when n = 2, a complete flag is just a line in V = k^2, and there are two atomic relative positions: the lines can be identical or they can be different. When n = 3, a complete flag is a line V_1 contained in a plane V_2 in V = k^3, and there are six atomic relative positions. Letting W_1 \subset W_2 denote a second complete flag, they are

  • V_1 = W_1, V_2 = W_2,
  • V_1 = W_1, V_2 \neq W_2,
  • V_1 \neq W_1, V_2 = W_2,
  • V_1 \neq W_1, V_1 \subset W_2, W_1 \not\subset V_2, V_2 \neq W_2,
  • V_1 \neq W_1, W_1 \subset V_2, V_1 \not\subset W_2, V_2 \neq W_2,
  • V_1 \neq W_2, V_1 \not\subset W_2, W_1 \not\subset V_2, V_2 \neq W_2.

Instead of thinking about relations as conditions on a pair of complete flags, we can also think about them as partial multi-valued functions from complete flags to complete flags. In those terms the six atomic relative positions are

  • Do nothing,
  • Pick a different plane,
  • Pick a different line,
  • Pick a different plane still containing the original line, then pick a different line not contained in the original plane,
  • Pick a different plane not containing the original line, then pick a different line contained in the original plane,
  • Pick a different plane not containing the original line, then pick a different line not contained in the original plane.

Read Full Post »

Okay, but what’s the point of looking at monoids in the category of endofunctors?

Recall that if m is a monoid in a monoidal category (M, \otimes), then we can talk about a module over m: it’s an object c equipped with an action map

\displaystyle m \otimes c \to c

satisfying some axioms. But this is clearly not the most general notion of action of a monoid we can think of. For example, we know what it means for an ordinary monoid m, in \text{Set}, to act on the objects of any category C whatsoever (we just want a monoid homomorphism m \to \text{End}(C)), and that notion of monoid action isn’t subsumed by this definition.

Here’s something more general that comes closer. It’s not necessary that m and c live in the same category. Instead, m can live in a monoidal category (M, \otimes) while c lives in a category C equipped with the structure of a module category over M. In particular this means that there is an action functor

\displaystyle \otimes : M \times C \to C

with some extra structure satisfying some axioms. This allows us to make sense of m \otimes c as an object in C and hence to make sense of an action map m \otimes c \to c as before, and even to state the usual axioms. (Another instance of the microcosm principle.)

Now, fix C. What is the most general monoidal category over which C is a module category? Of course, it’s the monoidal category \text{End}(C) of endofunctors of C. Hence the most general kind of monoid that can act on an object in C is a monoid in \text{End}(C), or equivalently a monad.

In fact, since an action of a monoidal category M on C can be described as a monoidal functor M \to \text{End}(C), any action of a monoid m \in M on an object c \in C in the sense described above naturally factors through an action of a monad.

Example. Any cocomplete category C is naturally a module category over (\text{Set}, \times) with the action given by

\displaystyle \text{Set} \times C \ni (X, c) \mapsto X \otimes c \cong \coprod_X c \in C.

More precisely, in this situation we say that C is tensored over \text{Set} (which is in some sense dual to being enriched over \text{Set}). This lets us describe what it means for a monoid in \text{Set} to act on an object c \in C.

Example. Any symmetric monoidal cocomplete category C (this includes the hypothesis that the monoidal operation distributes over colimits) is naturally a module category over the monoidal category \widehat{S} (see this blog post) of species (equipped with the composition product \circ) with the action given by

\displaystyle \widehat{S} \times C \ni (F, c) \mapsto \coprod_{n \ge 0} F(n) \otimes_{S_n} c^{\otimes n}

where F(n) \otimes c^{\otimes n} denotes, as above, \coprod_{F(n)} c^{\otimes n}, and \otimes_{S_n} denotes the quotient of this by the diagonal action of S_n.

This lets us describe what it means for a monoid in (\widehat{S}, \circ) to act on an object c \in C. And a monoid in (\widehat{S}, \circ) is precisely an operad.

Read Full Post »

« Newer Posts - Older Posts »