5
$\begingroup$

In general, if I understand correctly, the representation theory of the braid groups is quite complicated, and there's no classification of the irreducibles. However, the braid groups form a sort of system of groups just as the symmetric groups do, and so one can ask about representation stability for coherent systems of representations of braid groups. Editing in response to Andy's comments below: it may be that "representation stability" doesn't mean anything because we can't decompose braid group representations in the same way we can decompose symmetric group representations. So a more basic question would be: is there any sensible way to talk about systems of braid group representations stabilizing that doesn't involve decomposition into irreducibles?

This is a very basic question, mostly just a reference request.

Note that I am not asking about representation stability for the braid groups themselves.

$\endgroup$
9
  • 1
    $\begingroup$ What action are you talking about? Braid groups are the fundamental groups of configuration spaces, and all the obvious actions of the fundamental group of a space on its homology are trivial (for the same reason that inner automorphisms of a group act trivially on its homology). $\endgroup$ Commented Nov 26, 2021 at 2:39
  • 1
    $\begingroup$ You might be interested in arxiv.org/abs/1409.3541, which proves homological stability for braid groups with coefficients in the Burau representation and sets up a machine that can handle other braid group representations. The paper arxiv.org/abs/1910.05574 shows how to extend this to a representation stability theorem for the twisted homology of the pure braid groups (again with respect to Burau and similar representations). $\endgroup$ Commented Nov 26, 2021 at 2:44
  • $\begingroup$ @andy wow okay I guess I didn't know that the action of a space's fundamental group on its homology was trivial! Hm. So I guess that's a bad example. I'd still like to know if there are any representation stability results for representations of the braid groups. $\endgroup$ Commented Nov 26, 2021 at 2:54
  • 1
    $\begingroup$ What they contain are stability results (including representation stability type ones) for the homology of the braid groups with coefficients in representations of the braid group. If that’s not what you want, then it would help if you gave some kind of concrete example of representations you’d like to study. Representations of braid groups (even fin dim ones over fields of char 0) are not semisimple, so they don’t decompose into irreducibles (and classifying even the irreducible ones is hopeless), so I doubt you’ll find much stated in that language. $\endgroup$ Commented Nov 26, 2021 at 5:53
  • 2
    $\begingroup$ Ok, I now think I understand what you are looking for. A nice formalism for representation stability for symmetric groups is Church-Ellenberg-Farb’s notion of FI-modules. The first paper I mentioned above (arxiv.org/abs/1409.3541) contains a braided version of FI-modules that encodes representations of braid groups. They discuss polynomial braided FI-modules, which have stability properties similar to representation stability for symmetric groups. $\endgroup$ Commented Nov 26, 2021 at 6:38

1 Answer 1

7
$\begingroup$

A good way to handle systems of braid group representations is to consider the category of functors $\mathcal{C}\to R\textrm{-Mod}$, where $\mathcal{C}$ is a category with the braid groups as automorphisms. The braid groupoid $\beta$ (ie the groupoid with natural numbers as objects and braid groups as automorphisms) is then a subcategory of such $\mathcal{C}$. Note that $\beta$ itself is not quite satisfactory for such $\mathcal{C}$ since a functor $\beta\to R\textrm{-Mod}$ encodes a family of representations where the representations of $B_{n}$ is independent of the one of $B_{n+1}$. In other words, we would like $\mathcal{C}$ to encode compatibilities between the representations. There already exist good candidates for such category:

The latter has the significant advantage that a large class of classical families of representations of the braid groups define functors $\mathcal{U}\beta\to R\textrm{-Mod}$:

  1. the Burau representations; see Example 4.3 of [RWW].

  2. the Tong-Yang-Ma and Lawrence-Krammer-Bigelow representations; see Section 1.2 of https://arxiv.org/pdf/1702.08279.pdf [S1].

  3. the whole family of the Lawrence-Bigelow representations; see Section 5.2.1.1 of https://arxiv.org/pdf/1910.13423.pdf [PS].

Also, there are notions of polynomiality which allows us to characterise and prove more properties on these systems of representations:

  • the notion of (strong) polynomiality, a.k.a finite degree coefficient systems: the Burau representation is of degree $1$ (see Example 4.15 of [RWW]), the Tong-Yang-Ma representation is of degree $1$ and Lawrence-Krammer-Bigelow representations is of degree $2$ (see Propositions 3.25 and 3.33 of [S1]). This is the appropriate notion to prove twisted homological stability result see [RWW].

  • the notion of weak polynomial functors, which has originally been introduced for symmetric monoidal categories (for instance $FI$) by Djament and Vespa https://arxiv.org/abs/1308.4106, and generalised to categories of the same type as $\mathcal{U}\beta$ (namely pre-braided monoidal categories) in https://arxiv.org/pdf/1709.04278.pdf (see Section 4.2). An advantage of this notion is that it reflects more accurately than the strong polynomiality the behaviour of functors in the stable range. For instance, Church, Miller, Nagpal and Reinhold https://arxiv.org/pdf/1706.03845.pdf compute the weak polynomial degree (named "stable degree" in this paper) of some FI-modules. Moreover, denoting by $Pol_{d}(\mathcal{U}\beta)$ the category of weak polynomial functor of degree less or equal to $d$, we can define the quotient category

$$Pol_{d+1}(\mathcal{U}\beta)/Pol_{d}(\mathcal{U}\beta).$$

These quotient categories provide a new tool to handle families of representations with a sensible way to classify them. In particular, it doesn’t involve decomposition into irreducibles. See also Palmer https://arxiv.org/pdf/1712.06310.pdf for a comparison of the various instances of the notions of twisted coefficient system and polynomial functor. Hence weak polynomiality might be viewed as a refinement of representation stability phenomena and a sensible to talk about system of braid group representations.

$\endgroup$
2

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .