14
$\begingroup$

I've heard a few times that the symmetric group is an algebraic group over a field with one element, and that the alternating group is quite specifically $SO_n(\mathbb{F}_1)$. This does make a lot of sense intuitively, and actually helps to explain to non-specialists the relations between different things I have done.

However, objects over the (non-existent) field with one element aren't just a metaphor - they are objects that can be defined properly, though that may not have happened yet. What is the status for the correspondence between $Alt(n)$ and $SO_n(\mathbb{F}_1)$? Is there really a well-defined homomorphism of some sort, and, if so, are there references where this is worked out?

$\endgroup$
7
  • 6
    $\begingroup$ Are you sure it is $SO_n(F_1)$ and not $SL_n(F_1)$? The latter would make sense if you consider buildings associated with algebraic groups over $F_q$: Cardinality of $F_q$ gives you thickness of the building. Setting $q=1$ gives you thin buildings, i.e., apartments. One then can argue that the "algebraic group" corresponding to the thin building is just the Weyl group. $\endgroup$
    – Misha
    Jan 9, 2013 at 17:39
  • 2
    $\begingroup$ Does arxiv.org/pdf/0907.3824.pdf answer your question? $\endgroup$ Jan 9, 2013 at 18:02
  • 1
    $\begingroup$ By the way, I would not say that $\mathbb{F}_1$ is non-existent. In fact, there are already many precise definitions. The problem is that there is no prefered one, and up to know no theory has led to a proof of the Riemann hypothesis. $\endgroup$ Jan 9, 2013 at 18:04
  • 1
    $\begingroup$ @Z254R: Such question will be surely closed as "subjective and argumentative." $\endgroup$
    – Misha
    Jan 9, 2013 at 20:51
  • 2
    $\begingroup$ It is not the anger of the Gods of mathematics that we fear. It is the chaos of people arguing subjectively, in what ought to be an orderly forum, over the merits of inconclusive citations. $\endgroup$
    – Lee Mosher
    Jan 9, 2013 at 21:38

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.