Looking for interesting actions that are not representations - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T02:57:11Z http://mathoverflow.net/feeds/question/56304 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/56304/looking-for-interesting-actions-that-are-not-representations Looking for interesting actions that are not representations Marek 2011-02-22T18:21:23Z 2011-12-14T09:45:33Z <p>As a person interested in group theory and all things related, I'd like to deepen my knowledge of group actions.</p> <p>The typical (and indeed the most prominent) example of an action is that of a representation. In this case the target space has so much structure that one can deduce a huge number of properties of a given group just by working out some linear algebra (to put it bluntly).</p> <p>Now, I am wondering</p> <blockquote> <p>whether there exist other structures that provide interesting classes of actions. Either for the study of the given group or just as an application to solve some interesting problems.</p> </blockquote> <p>I realize my question is probably a bit naive and ignorant of what is probably a standard knowledge but I actually can't think of that many useful actions and <a href="http://en.wikipedia.org/wiki/Group_action" rel="nofollow">wikipedia article on them</a> doesn't provide many examples (at least not very interesting and non-linear). Not that I can't think of anything at all. Coming from physics, I am aware of stuff such as gauge symmetries (free transitive fiber-wise actions on fiber bundles) or various flows (whether for time evolution, or as an symmetry orbit). And I am also aware of the usual Lie theory, left/right translations, etc. But I am looking for more.</p> <p><em>Note:</em> feel free to generalize the above to any action. I'd be certainly also interested in actions of algebras, rings, etc.</p> http://mathoverflow.net/questions/56304/looking-for-interesting-actions-that-are-not-representations/56305#56305 Answer by Dick Palais for Looking for interesting actions that are not representations Dick Palais 2011-02-22T18:50:10Z 2011-02-22T18:50:10Z <p>One of the most important way of getting Lie transformation groups (the one that motivated Sophus Lie in the first place) is to look at the group of symmetries of a smooth manifold with some "extra structure". For example, the group $G=$Isom$(M)$ of isometries of a complete Riemannian manifold $M$ is always a Lie group, and the associated Lie algebra consists of the Killing vector fields on $M$ with the usual bracket for vector fields. If $M$ is compact, then $G$ is also compact. A lot of the deeper theory of Lie groups and their homogeneous spaces $G/K$ come from this class of examples. Perhaps the most beautiful class are the so-called symmetric spaces of Cartan. These are the complete Riemannian manifolds $M$ such that at each point $p$ there exists an isometry that fixes $p$ and reverses all the geodesics through $p$. There are loads of great books on this subject, for example Helgason's Differential Geometry, Lie groups, and Symmetric Spaces".</p> http://mathoverflow.net/questions/56304/looking-for-interesting-actions-that-are-not-representations/56306#56306 Answer by J.C. Ottem for Looking for interesting actions that are not representations J.C. Ottem 2011-02-22T18:51:46Z 2011-02-22T18:51:46Z <p>Finite group actions on sets have important applications to combinatorics, e.g., the <a href="http://en.wikipedia.org/wiki/P%C3%B3lya_enumeration_theorem" rel="nofollow">Polya enumeration theorem</a>.</p> http://mathoverflow.net/questions/56304/looking-for-interesting-actions-that-are-not-representations/56309#56309 Answer by Francesco Polizzi for Looking for interesting actions that are not representations Francesco Polizzi 2011-02-22T19:18:26Z 2011-12-14T09:45:33Z <p>Finite group actions on compact Riemann surfaces are a classical subject, and the related literature is huge. </p> <p>It is well known that if a finite group $G$ acts as a group of automorphisms on a compact Riemann surface of genus $g \geq 2$, then necessarily</p> <p>$|G| \leq 84(g-1)$.</p> <p>This is a old result of Hurwitz, and if equality holds then the group $G$ is called a <em>Hurwitz group in genus</em> $g$. The classification of Hurwitz groups is not yet completed; it is known that there exists a Hurwitz group for infinitely many values of $g$, and that there exists no Hurwitz group for infinitely many values of $g$ as well. </p> <p>Moreover, any Hurwitz group $G$ is a quotient of the infinite triangle group </p> <p>$T_{2,3,7}=\langle x, y | x^2=y^3=(xy)^7=1 \rangle$.</p> <p>There exist no Hurwitz group in genus $2$, and exactly one in genus $3$. It is the group $G=PSL(2, \mathbb{F}_7)$, the unique simple group of order $168$. The corrisponding Riemann surface can be realized as a particular curve of degree $4$ in $\mathbb{P}^3(\mathbb{C})$, the so-called <a href="http://en.wikipedia.org/wiki/Klein_quartic" rel="nofollow">Klein quartic</a>.</p> http://mathoverflow.net/questions/56304/looking-for-interesting-actions-that-are-not-representations/56311#56311 Answer by Stefan Waldmann for Looking for interesting actions that are not representations Stefan Waldmann 2011-02-22T19:24:53Z 2011-12-13T15:34:45Z <p>In addition to what has been said already: I think that everywhere in Mathematics when you speak of symmetries you mean "group plus action" and not just the group itself.</p> <p>The thoughts about symmetry are probably of geometric nature: asking for symmetry means asking for the symmetry of a geometric object (we have already the examples of Riemannian manifolds, but there are many more) In differential geometry you can ask for "symmetries" of all kind of structures: metric, but also symplectic forms or Poisson tensors. In this case you enter the realm of dynamical systems with symmetries. The symmetries usually help to simplify the dynamical system by using "conserved quantities" to eliminate degrees of freedom. You may remember this from your first mechanics courses when dealing with the Kepler problem...</p> <p>But symmetries in crystals might yet give another example, not related to Lie groups and some inherited action from a linear action: treating a crystal as an abstract lattice with colored edges and vertices one may well ask for its symmetries and arrives at discrete groups acting in a much more combinatorial way. The original possibility that the lattice can be embedded into some Euclidean space is no longer relevant.</p> <p>In addition, symmetries arise in much more abstract concepts that these geometric ones. A prominent example is perhaps the question of solving polynomial equations. Here the symmetries of the polynomial might allow for general formulas or not. This is the beginning of Galois theory in field theory, where not Lie groups but discrete groups are acting.</p> <p>From my own field a statement which I would like to understand better: the Grothendieck-Teichmueller group acts on the set of Drinfeld associators. Not a linear action at all :(</p> <p>On the other hand: One reason why linear actions are so omnipresent is perhaps that (beside being the simplest type of actions) all types of geometric actions dualize to a linear action on the spaces of reasonable functions on the geometric spaces. Hence even a group action on some geometric object (manifold, lattice, ...) can by studied by means of representation theory when one looks for the induced action (via pull-back) on the functions on it. However, this is typically quite complicated as the representation spaces typically are infinite-dimensional.</p> http://mathoverflow.net/questions/56304/looking-for-interesting-actions-that-are-not-representations/56324#56324 Answer by Qiaochu Yuan for Looking for interesting actions that are not representations Qiaochu Yuan 2011-02-22T21:14:51Z 2011-02-22T21:14:51Z <p><a href="http://en.wikipedia.org/wiki/Bass%E2%80%93Serre_theory" rel="nofollow">Bass-Serre theory</a> studies groups via their action on trees. This is a combinatorial version of groups acting on simply connected spaces and leads to a very nice theory; one treats the quotient as a kind of orbifold and deduces information about the group from its structure. </p> <p>Bruhat-Tits trees are a natural example of trees equipped with group actions, but I can't say much more about this. </p> http://mathoverflow.net/questions/56304/looking-for-interesting-actions-that-are-not-representations/56377#56377 Answer by Tom De Medts for Looking for interesting actions that are not representations Tom De Medts 2011-02-23T10:14:24Z 2011-02-23T10:14:24Z <p>Another important example is given by groups acting on graphs, especially (but not only) in finite group theory. Quite a few of the sporadic finite simple groups have actually been discovered as automorphism groups of graphs, e.g. the Hall-Janko group $J_2$ or the Higman-Sims group $HS$.</p> <p>A related class of examples with more "structure" are so-called incidence geometries (combinatorial objects with geometric structure), and the most prominent example of those are the (Tits) buildings, introduced by Jacques Tits in the early 70's. (In fact, the example of Bruhat-Tits trees mentioned by Qiaochu Yuan is a very specific example of this situation; these are buildings of type $\tilde A_1$.)</p> http://mathoverflow.net/questions/56304/looking-for-interesting-actions-that-are-not-representations/56390#56390 Answer by Benoît Kloeckner for Looking for interesting actions that are not representations Benoît Kloeckner 2011-02-23T12:16:30Z 2011-02-23T12:16:30Z <p>Zimmer's program is about continuous (or differentiable) actions of groups on manifold. Roughly, it expects that a lattice in a rank $r$ semi-simple Lie group cannot act non-trivially on a manifold of dimension <code>$&lt;r$</code>. This result is known for the circle (see "Actions de réseaux sur le cercle" by Étienne Ghys, Inventiones 99) but, up to my knowledge, is still open even for surfaces.</p> <p>More generally, many geometric, topological and dynamical problems are about group actions.</p> http://mathoverflow.net/questions/56304/looking-for-interesting-actions-that-are-not-representations/56392#56392 Answer by Franz Lemmermeyer for Looking for interesting actions that are not representations Franz Lemmermeyer 2011-02-23T12:47:37Z 2011-02-23T12:47:37Z <p>In number theory there are countless examples. Off the top of my head, here are three:</p> <ol> <li><p>The group SL$_2({\mathbb Z})$ acts on the space of binary quadratic forms $ax^2 + bxy + cy^2$. The set of equivalence classes can be shown to form a group called the class group. By the way, the same group SL$_2$, even with coefficients from the reals, acts on the solution space of the Riccati equation $y' = a(x) + b(x)y + c(x)y^2$ and can be used to reduce the equation to some kind of "normal form".</p></li> <li><p>The group of rational points on an elliptic curve $E$ acts on certain curves of genus $1$ and makes them into principal homogeneous spaces. These are a most important tool for studying the group of rational points on $E$.</p></li> <li><p>The units of a quadratic number field act on the generators of principal ideals. In more archaic terms: solutions of the Pell equation $x^2 - dy^2 = 1$ act on the representations of a number $n$ as $n = x^2 - dy^2$. These kind of investigations lead to Dirichlet's class number formula, which is related to example 1.</p></li> <li><p>Galois groups tend to act on almost everything, but on the other hand have a habit of leading to representations and so belong to the list of examples you're less interested in. </p></li> </ol> http://mathoverflow.net/questions/56304/looking-for-interesting-actions-that-are-not-representations/56395#56395 Answer by S. Carnahan for Looking for interesting actions that are not representations S. Carnahan 2011-02-23T13:59:31Z 2011-02-23T13:59:31Z <p>Groups can act on categories in ways that may be relevant to some physicists.</p> <ol> <li><p>One may consider a group acting on the derived category of coherent sheaves (also called the category of B-branes) of a complex manifold by exact autoequivalences. I think that if the manifold is an elliptic curve, the exact automorphism group contains the braid group $B_3$, which is substantially larger than the group of geometric automorphisms - there is an explanation in Polishchuk's book on Abelian varieties. I guess on the A side you can look for $A_\infty$-equivalences of Fukaya categories, but I don't know anything about that.</p></li> <li><p>In the geometric local Langlands program, a loop group $G((t))$ acts on categories of $\mathfrak{g}((t))$-modules attached to opers, where $G$ is a linear algebraic group. (An oper is a kind of $G$-connection on a curve with some extra structure - see E. Frenkel's book <em>Langlands for loop groups</em>).</p></li> <li><p>More concretely, if a group acts by automorphisms on an algebra $A$ over the complex numbers, then it also acts on the category of $A$-modules. By Schur's lemma, an irreducible $A$-module then inherits an action of a central extension of its objectwise stabilizer.</p></li> <li><p>A manifestation of the previous example that is close to my heart is the case when the monster simple group acts by automorphisms on the monster vertex algebra (which isn't quite an algebra, but the same idea applies), and hence on the categories of twisted modules. We naturally get projective actions of large finite groups on irreducible twisted modules.</p></li> </ol> <p>One has to be a little careful about what one means by an action of a group on a category, since there is the question of whether the composition of functors $F_g \circ F_h$ is equal to $F_{gh}$ or just naturally isomorphic, and whether associativity holds on the nose or up to some other system of isomorphisms that satisfies a pentagon identity. The things that naturally act on categories are called 2-groups, and groups that we see acting are a sort of "shadow" or truncation of them.</p> http://mathoverflow.net/questions/56304/looking-for-interesting-actions-that-are-not-representations/83383#83383 Answer by Jon Bannon for Looking for interesting actions that are not representations Jon Bannon 2011-12-14T01:25:29Z 2011-12-14T01:39:35Z <p>There are interesting actions, called affine isometric actions, that are related to orthogonal representations (roughly they are "perturbations" of orthogonal representations by certain cocycles into the representation space), and arise in an essential way in the study of Kazhdan's property (T).</p> <p>This is treated in depth in the following fantastic book on Property (T): </p> <p><a href="http://perso.univ-rennes1.fr/bachir.bekka/KazhdanTotal.pdf" rel="nofollow">http://perso.univ-rennes1.fr/bachir.bekka/KazhdanTotal.pdf</a></p>