Table of Contents
Fetching ...

Quasi-inner automorphisms of Drinfeld modular groups

A. W. Mason, Andreas Schweizer

Abstract

Let $A$ be the set of elements in an algebraic function field $K$ over ${\mathbb F}_q$ which are integral outside a fixed place $\infty$. Let $G=GL_2(A)$ be a {\it Drinfeld modular group}. The normalizer of $G$ in $GL_2(K)$, where $K$ is the quotient field of $A$, gives rise to automorphisms of $G$, which we refer to as {\it quasi-inner}. Modulo the inner automorphisms of $G$ they form a group $Quinn(G)$ which is isomorphic to ${\mathrm Cl}(A)_2$, the $2$-torsion in the ideal class group ${\mathrm Cl}(A)$. The group $Quinn(G)$ acts on all kinds of objects associated with $G$. For example, it acts freely on the cusps and elliptic points of $G$. If ${\mathcal T}$ is the associated Bruhat-Tits tree the elements of $Quinn(G)$ induce non-trivial automorphisms of the quotient graph $G\setminus{\mathcal T}$, generalizing an earlier result of Serre. It is known that the ends of $G\setminus{\mathcal T}$ are in one-one correspondence with the cusps of $G$. Consequently $Quinn(G)$ acts freely on the ends. In addition $Quinn(G)$ acts transitively on those ends which are in one-one correspondence with the vertices of $G\setminus{\mathcal T}$ whose stabilizers are isomorphic to $GL_2({\mathbb F}_q)$.

Quasi-inner automorphisms of Drinfeld modular groups

Abstract

Let be the set of elements in an algebraic function field over which are integral outside a fixed place . Let be a {\it Drinfeld modular group}. The normalizer of in , where is the quotient field of , gives rise to automorphisms of , which we refer to as {\it quasi-inner}. Modulo the inner automorphisms of they form a group which is isomorphic to , the -torsion in the ideal class group . The group acts on all kinds of objects associated with . For example, it acts freely on the cusps and elliptic points of . If is the associated Bruhat-Tits tree the elements of induce non-trivial automorphisms of the quotient graph , generalizing an earlier result of Serre. It is known that the ends of are in one-one correspondence with the cusps of . Consequently acts freely on the ends. In addition acts transitively on those ends which are in one-one correspondence with the vertices of whose stabilizers are isomorphic to .

Paper Structure

This paper contains 8 sections, 51 theorems, 135 equations.

Key Result

Theorem 1.1

$Quinn(G)$ acts freely on (i) $\mathop{\mathrm{Cusp}}(G)$, (ii) $\mathop{\mathrm{Ell}}(G)$ ($\delta$ odd).

Theorems & Definitions (103)

  • Theorem 1.1
  • Corollary 1.2
  • Corollary 1.3
  • Theorem 1.4
  • Theorem 1.5
  • Theorem 1.6
  • Corollary 1.7
  • Lemma 2.1
  • proof
  • Theorem 2.2
  • ...and 93 more