What structure does the alternating group preserve?

Question

A common way to define a group is as the group of structure-preserving transformations on some structured set. For example, the symmetric group on a set $X$ preserves no structure: or, in other words, it preserves only the structure of being a set. When $X$ is finite, what structure can the alternating group be said to preserve?

As a way of making the question precise, is there a natural definition of a category $C$ equipped with a faithful functor to $\text{FinSet}$ such that the skeleton of the underlying groupoid of $C$ is the groupoid with objects $X_n$ such that $\text{Aut}(X_n) \simeq A_n$?

Edit: I've been looking for a purely combinatorial answer, but upon reflection a geometric answer might be more appropriate. If someone can provide a convincing argument why a geometric answer is more natural than a combinatorial answer I will be happy to accept that answer (or Omar's answer).

Answer 1

The alternating group preserves orientation, more or less by definition. I guess you can take $C$ to be the category of simplices together with an orientation. I.e., the objects of $C$ are affinely independent sets of points in some $\mathbb R^n$ together with an orientation and the morphisms are affine transformations taking the vertices of one simplex to the vertices of another. Of course this is cheating since if you actually try to define orientation you'll probably wind up with something like "coset of the alternating group" as the definition. On the other hand, some people find orientations of simplices to be a geometric concept, so this might conceivably be reasonable to you.

Answer 2

$A_n$ is the symmetry group of the chamber of the Tits building of $\mathbb{P}GL_n$. The shape of this chamber is independent of what coefficients you insert into the group scheme $\mathbb{P}GL_n$, just the number and configuration of chambers changes. If you insert the finite fields $\mathbb{F}_p$ then you get finite simplicial complexes as buildings, and the smaller $p$ gets, the fewer chambers you have. You can analyse and even reconstruct the group in terms of its action on this building. The natural limit case would be just having one chamber and the symmetry group of this chamber - the Weyl group - is $A_n$. This is how Tits first thought that there is a limit case to the sequence of finite fields - which he called the field with one element.

Maybe somewhat more algebraically you can think in terms of Lie algebras - as I said the shape of the chamber does not change with different coefficients. The reason is that it is determined just by the Lie algebra of the group and thus describable by a Dynkin diagram or by a root system (ok, geometry creeps in again). The Wikipedia page about Weyl groups tells you that the Weyl group of the Lie algebra $sl_n$ is $S_n$. If have no experience with Lie algebras, but maybe you can get $A_n$ the same way.

If you can get hold of it, you can read Tits' original account, it's nice to read (but geometric) see the reference on this Wikipedia page.

Edit: Aha, I found a link now: Lieven Le Bruyn's F_un is back online. You can look there under "papers" and find Tits' article. And, since you are picking up the determinant ideas, you should definitely take a look at Kapranov/Smirnov!

Answer 3

Here is one idea, although I do not find it very satisfying. An object of $C$ is a finite set $X$ equipped with $\frac{|X|!}{2}$ (or $1$ if $|X| = 1$) total orders, all of which are even with respect to each other (in other words, basically a coset of $A_n$ in $S_n$). A morphism between two objects in $X$ is a map of sets preserving these orders (in other words, take one of the orderings on $X$ and apply a function $f : X \to Y$ to its elements. The result, after throwing out repeats, must be compatible with an ordering on $Y$.)

This is more or less a discretization of Omar's answer. Again, I would like to do better than this, or at least see the data described above packaged in a more satisfying way.

Answer 4

You can do with something very slightly weaker than an ordering: an identification of each $n$-element set with a single "universal" (unordered) $n$-set. This data canonically identifies any two $n$-element sets and thus associates a permutation to any bijection of such sets. Even bijections can then be defined in terms of the cycle structure of the permutations.

This is not much of an improvement, but you are in effect asking for a lifting of the alternating group to a groupoid of maps between finite sets. It is hard to see how to determine whether a bijection of finite sets is even (reducing to the usual notion when the sets are the same, and also "transporting structure" along the whole category) without having a coordinatization of the sets.

Answer 5

(This is, essentially, just a «repackaging» of your answer. Still, I find this version somewhat more satisfying — at least, it avoids even mentioning total orders.)

For a finite set $X$ consider projection $\pi\colon X^2\to S^2 X$ (where $S^2 X=X^2/S_2$ is the symmetric square). To a section $s$ of the projection one can associate a polynomial $\prod\limits_{i\neq j,\,(i,j)\in\operatorname{Im}s}(x_i-x_j)$ — and since any two such products coincide up to a sign, this gives a partition of the set $\operatorname{Sec}(\pi)$ into two parts. Now, $A_X$ is the subgroup of $S_X$ preserving both elements of this partition. (I.e. the structure is choice of one of two elements of the described partition of $\operatorname{Sec}(\pi)$.)

Answer 6

The polynomial $p\in K\left[X_1,...,X_n\right]$ given by $$p\left(X_1,...,X_n\right)=\prod_{i<j}\left(X_i-X_j\right)$$