-
On the automorphisms of the Drinfeld modular groups
Authors:
A. W. Mason,
Andreas Schweizer
Abstract:
Let $A$ be the ring of elements in an algebraic function field $K$ over $\mathbb{F}_q$ which are integral outside a fixed place $\infty$. In contrast to the classical modular group $SL_2(\mathbb{Z})$ and the Bianchi groups, the {\it Drinfeld modular group} $G=GL_2(A)$ is not finitely generated and its automorphism group $\mathrm{Aut}(G)$ is uncountable. Except for the simplest case…
▽ More
Let $A$ be the ring of elements in an algebraic function field $K$ over $\mathbb{F}_q$ which are integral outside a fixed place $\infty$. In contrast to the classical modular group $SL_2(\mathbb{Z})$ and the Bianchi groups, the {\it Drinfeld modular group} $G=GL_2(A)$ is not finitely generated and its automorphism group $\mathrm{Aut}(G)$ is uncountable. Except for the simplest case $A=\mathbb{F}_q[t]$ not much is known about the generators of $\mathrm{Aut}(G)$ or even its structure. We find a set of generators of $\mathrm{Aut}(G)$ for a new case. \par On the way, we show that {\it every} automorphism of $G$ acts on both, the {\it cusps} and the {\it elliptic points} of $G$. Generalizing a result of Reiner for $A=\mathbb{F}_q[t]$ we describe for each cusp an uncountable subgroup of $\mathrm{Aut}(G)$ whose action on $G$ is essentially defined on the stabilizer of that cusp. In the case where $δ$ (the degree of $\infty$) is $1$, the elliptic points are related to the isolated vertices of the quotient graph $G\setminus\mathcal{T}$ of the Bruhat-Tits tree. We construct an infinite group of automorphisms of $G$ which fully permutes the isolated vertices with cyclic stabilizer.
△ Less
Submitted 9 January, 2024;
originally announced January 2024.
-
Quasi-inner automorphisms of Drinfeld modular groups
Authors:
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…
▽ More
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)$.
△ Less
Submitted 6 August, 2021;
originally announced August 2021.
-
Carrier Diffusion in Thin-Film CH3NH3PbI3 Perovskite Measured using Four-Wave Mixing
Authors:
D. Webber,
C. Clegg,
A. W. Mason,
S. A. March,
I. G. Hill,
K. C. Hall
Abstract:
We report the application of femtosecond four-wave mixing (FWM) to the study of carrier transport in solution-processed CH3NH3PbI3. The diffusion coefficient was extracted through direct detection of the lateral diffusion of carriers utilizing the transient grating technique, coupled with simultaneous measurement of decay kinetics exploiting the versatility of the boxcar excitation beam geometry.…
▽ More
We report the application of femtosecond four-wave mixing (FWM) to the study of carrier transport in solution-processed CH3NH3PbI3. The diffusion coefficient was extracted through direct detection of the lateral diffusion of carriers utilizing the transient grating technique, coupled with simultaneous measurement of decay kinetics exploiting the versatility of the boxcar excitation beam geometry. The observation of exponential decay of the transient grating versus interpulse delay indicates diffusive transport with negligible trap** within the first nanosecond following excitation. The in-plane transport geometry in our experiments enabled the diffusion length to be compared directly with the grain size, indicating that carriers move across multiple grain boundaries prior to recombination. Our experiments illustrate the broad utility of FWM spectroscopy for rapid characterization of macroscopic film transport properties.
△ Less
Submitted 13 June, 2017;
originally announced June 2017.
-
Genuine non-congruence subgroups of Drinfeld modular groups
Authors:
A. W. Mason,
Andreas Schweizer
Abstract:
Let $A$ be the ring of elements in an algebraic function field $K$ over a finite field $F_q$ which are integral outside a fixed place $\infty$. In an earlier paper we have shown that the Drinfeld modular group $G=GL_2(A)$ has automorphisms which map congruence subgroups to non-congruence subgroups. Here we prove the existence of (uncountably many) normal genuine non-congruence subgroups, defined t…
▽ More
Let $A$ be the ring of elements in an algebraic function field $K$ over a finite field $F_q$ which are integral outside a fixed place $\infty$. In an earlier paper we have shown that the Drinfeld modular group $G=GL_2(A)$ has automorphisms which map congruence subgroups to non-congruence subgroups. Here we prove the existence of (uncountably many) normal genuine non-congruence subgroups, defined to be those which remain non-congruence under the action of every automorphism of $G$. In addition, for all but finitely many cases we evaluate $ngncs(G)$, the smallest index of a normal genuine non-congruence subgroup of $G$, and compare it to the minimal index of an arbitrary normal non-congruence subgroup.
△ Less
Submitted 11 May, 2016; v1 submitted 26 November, 2014;
originally announced November 2014.
-
Elliptic points of the Drinfeld modular groups
Authors:
A. W. Mason,
Andreas Schweizer
Abstract:
Let $K$ be an algebraic function field with constant field ${\mathbb F}_q$. Fix a place $\infty$ of $K$ of degree $δ$ and let $A$ be the ring of elements of $K$ that are integral outside $\infty$. We give an explicit description of the elliptic points for the action of the Drinfeld modular group $G=GL_2(A)$ on the Drinfeld's upper half-plane $Ω$ and on the Drinfeld modular curve $G\!\setminus\!Ω$.…
▽ More
Let $K$ be an algebraic function field with constant field ${\mathbb F}_q$. Fix a place $\infty$ of $K$ of degree $δ$ and let $A$ be the ring of elements of $K$ that are integral outside $\infty$. We give an explicit description of the elliptic points for the action of the Drinfeld modular group $G=GL_2(A)$ on the Drinfeld's upper half-plane $Ω$ and on the Drinfeld modular curve $G\!\setminus\!Ω$. It is known that under the {\it building map} elliptic points are mapped onto vertices of the {\it Bruhat-Tits tree} of $G$. We show how such vertices can be determined by a simple condition on their stabilizers. Finally for the special case $δ=1$ we obtain from this a surprising free product decomposition for $PGL_2(A)$.
△ Less
Submitted 20 August, 2013;
originally announced August 2013.
-
The stabilizers in a Drinfeld modular group of the vertices of its Bruhat-Tits tree: an elementary approach
Authors:
A. W. Mason,
Andreas Schweizer
Abstract:
Let $K$ be an algebraic function field of one variable with constant field $k$ and let $C$ be the Dedekind domain consisting of all those elements of $K$ which are integral outside a fixed place $\infty$ of $K$. When $k$ is finite the group $GL_2(C)$ plays a central role in the theory of Drinfeld modular curves analagous to that played by $SL_2(Z)$ in the classical theory of modular forms. When…
▽ More
Let $K$ be an algebraic function field of one variable with constant field $k$ and let $C$ be the Dedekind domain consisting of all those elements of $K$ which are integral outside a fixed place $\infty$ of $K$. When $k$ is finite the group $GL_2(C)$ plays a central role in the theory of Drinfeld modular curves analagous to that played by $SL_2(Z)$ in the classical theory of modular forms. When $k$ is finite (resp. infinite) we refer to a group $GL_2(C)$ as an arithmetic (resp. non-arithmetic) Drinfeld modular group. Associated with $GL_2(C)$ is its Bruhat-Tits tree, $T$. The structure of the group is derived from that of the quotient graph $GL_2(C)\backslash T$. Using an elementary approach which refers explicitly to matrices we determine the structure of all the vertex stabilizers of $T$. This extends results of Serre, Takahashi and the authors. We also determine all possible valencies of the vertices of $GL_2(C)\backslash T$ for the important special case where $\infty$ has degree 1.
△ Less
Submitted 4 March, 2013; v1 submitted 16 March, 2012;
originally announced March 2012.
-
Nonrational genus zero function fields and the Bruhat-Tits tree
Authors:
A. W. Mason,
Andreas Schweizer
Abstract:
Let K be a function field with constant field k and let "infinity" be a fixed place of K. Let C be the Dedekind domain consisting of all those elements of K which are integral outside "infinity". The group G=GL_2(C) is important for a number of reasons. For example, when k is finite, it plays a central role in the theory of Drinfeld modular curves. Many properties follow from the action of G on…
▽ More
Let K be a function field with constant field k and let "infinity" be a fixed place of K. Let C be the Dedekind domain consisting of all those elements of K which are integral outside "infinity". The group G=GL_2(C) is important for a number of reasons. For example, when k is finite, it plays a central role in the theory of Drinfeld modular curves. Many properties follow from the action of G on its associated Bruhat-Tits tree, T. Classical Bass-Serre theory shows how a presentation for G can be derived from the structure of the quotient graph (or fundamental domain) G\T. The shape of this quotient graph (for any G) is described in a fundamental result of Serre. However there are very few known examples for which a detailed description of G\T is known. (One such is the rational case, C=k[t], i.e. when K has genus zero and "infinity" has degree one.) In this paper we give a precise description of G\T for the case where the genus of K is zero, K has no places of degree one and "infinity" has degree two. Among the known examples a new feature here is the appearance of vertex stabilizer subgroups (of G) which are of quaternionic type.
△ Less
Submitted 3 September, 2009;
originally announced September 2009.
-
The cusp amplitudes and quasi-level of a congruence subgroup of SL2 over any Dedekind domain
Authors:
A. W. Mason,
Andreas Schweizer
Abstract:
We extend some algebraic properties of the classical modular group SL_2(Z) to equivalent groups in the theory of Drinfeld modules, in particular properties which are important in the theory of modular curves.
We study cusp amplitudes and the level of a (congruence) subgroup of SL_2(D) for any Dedekind domain D, as ideals of D. In particular, we extend a remarkable result of Larcher.
We introdu…
▽ More
We extend some algebraic properties of the classical modular group SL_2(Z) to equivalent groups in the theory of Drinfeld modules, in particular properties which are important in the theory of modular curves.
We study cusp amplitudes and the level of a (congruence) subgroup of SL_2(D) for any Dedekind domain D, as ideals of D. In particular, we extend a remarkable result of Larcher.
We introduce finer notions of quasi-amplitude and quasi-level, which are not required to be ideals and encode more information about the subgroup.
Our results also provide several new necessary conditions for a subgroup of SL_2(D) to be a congruence subgroup.
△ Less
Submitted 8 July, 2011; v1 submitted 3 September, 2009;
originally announced September 2009.
-
The congruence kernel of an arithmetic lattice in a rank one algebraic group over a local field
Authors:
A. W. Mason,
A. Premet,
B. Sury,
P. A. Zalesskii
Abstract:
Let k be a global field and let k_v be the completion of k with respect to v, a non-archimedean place of k. Let \mathbf{G} be a connected, simply-connected algebraic group over k, which is absolutely almost simple of k_v-rank 1. Let G=\mathbf{G}(k_v). Let Γbe an arithmetic lattice in G and let C=C(Γ) be its congruence kernel. Lubotzky has shown that C is infinite, confirming an earlier conjectur…
▽ More
Let k be a global field and let k_v be the completion of k with respect to v, a non-archimedean place of k. Let \mathbf{G} be a connected, simply-connected algebraic group over k, which is absolutely almost simple of k_v-rank 1. Let G=\mathbf{G}(k_v). Let Γbe an arithmetic lattice in G and let C=C(Γ) be its congruence kernel. Lubotzky has shown that C is infinite, confirming an earlier conjecture of Serre. Here we provide complete solution of the congruence subgroup problem for \Gamm$ by determining the structure of C. It is shown that C is a free profinite product, one of whose factors is \hat{F}_ω, the free profinite group on countably many generators. The most surprising conclusion from our results is that the structure of C depends only on the characteristic of k. The structure of C is already known for a number of special cases. Perhaps the most important of these is the (non-uniform) example Γ=SL_2(\mathcal{O}(S)), where \mathcal{O}(S) is the ring of S-integers in k, with S=\{v\}, which plays a central role in the theory of Drinfeld modules. The proof makes use of a decomposition theorem of Lubotzky, arising from the action of Γon the Bruhat-Tits tree associated with G.
△ Less
Submitted 22 October, 2007;
originally announced October 2007.