-
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.
-
$h$-vector inequalities under weak maps
Authors:
Gaku Liu,
Alexander Mason
Abstract:
We study the behavior of $h$-vectors associated to matroid complexes under weak maps, or inclusions of matroid polytopes. Specifically, we show that the $h$-vector of the order complex of the lattice of flats of a matroid is component-wise non-increasing under a weak map. This result extends to the flag $h$-vector. We note that the analogous result also holds for independence complexes and rank-pr…
▽ More
We study the behavior of $h$-vectors associated to matroid complexes under weak maps, or inclusions of matroid polytopes. Specifically, we show that the $h$-vector of the order complex of the lattice of flats of a matroid is component-wise non-increasing under a weak map. This result extends to the flag $h$-vector. We note that the analogous result also holds for independence complexes and rank-preserving weak maps.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
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.
-
Cyclic Sieving for Cyclic Codes
Authors:
Alexander Mason,
Victor Reiner,
Shruthi Sridhar
Abstract:
Prompted by a question of Jim Propp, this paper examines the cyclic sieving phenomenon (CSP) in certain cyclic codes. For example, it is shown that, among dual Hamming codes over $F_q$, the generating function for codedwords according to the major index statistic (resp. the inversion statistic) gives rise to a CSP when $q=2$ or $q=3$ (resp. when $q=2$). A byproduct is a curious characterization of…
▽ More
Prompted by a question of Jim Propp, this paper examines the cyclic sieving phenomenon (CSP) in certain cyclic codes. For example, it is shown that, among dual Hamming codes over $F_q$, the generating function for codedwords according to the major index statistic (resp. the inversion statistic) gives rise to a CSP when $q=2$ or $q=3$ (resp. when $q=2$). A byproduct is a curious characterization of the irreducible polynomials in $F_2[x]$ and $F_3[x]$ that are primitive.
△ Less
Submitted 24 April, 2020;
originally announced April 2020.
-
Parametrizations of $k$-Nonnegative Matrices: Cluster Algebras and $k$-Positivity Tests
Authors:
Anna Brosowsky,
Sunita Chepuri,
Alex Mason
Abstract:
A $k$-positive matrix is a matrix where all minors of order $k$ or less are positive. Computing all such minors to test for $k$-positivity is inefficient, as there are $\sum_{\ell=1}^k \binom{n}{\ell}^2$ of them in an $n\times n$ matrix. However, there are minimal $k$-positivity tests which only require testing $n^2$ minors. These minimal tests can be related by series of exchanges, and form a fam…
▽ More
A $k$-positive matrix is a matrix where all minors of order $k$ or less are positive. Computing all such minors to test for $k$-positivity is inefficient, as there are $\sum_{\ell=1}^k \binom{n}{\ell}^2$ of them in an $n\times n$ matrix. However, there are minimal $k$-positivity tests which only require testing $n^2$ minors. These minimal tests can be related by series of exchanges, and form a family of sub-cluster algebras of the cluster algebra of total positivity tests. We give a description of the sub-cluster algebras that give $k$-positivity tests, ways to move between them, and an alternative combinatorial description of many of the tests.
△ Less
Submitted 10 January, 2021; v1 submitted 13 December, 2017;
originally announced December 2017.
-
Computing the Line Index of Balance Using Integer Programming Optimisation
Authors:
Samin Aref,
Andrew J. Mason,
Mark C. Wilson
Abstract:
An important measure of signed graphs is the line index of balance which has several applications in many fields. However, this graph-theoretic measure was underused for decades because of the inherent complexity in its computation which is closely related to solving NP-hard graph optimisation problems like MAXCUT. We develop new quadratic and linear programming models to compute the line index of…
▽ More
An important measure of signed graphs is the line index of balance which has several applications in many fields. However, this graph-theoretic measure was underused for decades because of the inherent complexity in its computation which is closely related to solving NP-hard graph optimisation problems like MAXCUT. We develop new quadratic and linear programming models to compute the line index of balance exactly. Using the Gurobi integer programming optimisation solver, we evaluate the line index of balance on real-world and synthetic datasets. The synthetic data involves Erdős-Rényi graphs, Barabási-Albert graphs, and specially structured random graphs. We also use well known datasets from the sociology literature, such as signed graphs inferred from students' choice and rejection as well as datasets from the biology literature including gene regulatory networks. The results show that exact values of the line index of balance in relatively large signed graphs can be efficiently computed using our suggested optimisation models. We find that most real-world social networks and some biological networks have small line index of balance which indicates that they are close to balanced.
△ Less
Submitted 7 February, 2018; v1 submitted 26 October, 2017;
originally announced October 2017.
-
A modelling and computational study of the frustration index in signed networks
Authors:
Samin Aref,
Andrew J. Mason,
Mark C. Wilson
Abstract:
Computing the frustration index of a signed graph is a key step toward solving problems in many fields including social networks, political science, physics, chemistry, and biology. The frustration index determines the distance of a network from a state of total structural balance. Although the definition of the frustration index goes back to the 1950's, its exact algorithmic computation, which is…
▽ More
Computing the frustration index of a signed graph is a key step toward solving problems in many fields including social networks, political science, physics, chemistry, and biology. The frustration index determines the distance of a network from a state of total structural balance. Although the definition of the frustration index goes back to the 1950's, its exact algorithmic computation, which is closely related to classic NP-hard graph problems, has only become a focus in recent years. We develop three new binary linear programming models to compute the frustration index exactly and efficiently as the solution to a global optimisation problem. Solving the models with prioritised branching and valid inequalities in Gurobi, we can compute the frustration index of real signed networks with over 15000 edges in less than a minute on inexpensive hardware. We provide extensive performance analysis for both random and real signed networks and show that our models outperform all existing approaches by large factors. Based on solve time, algorithm output, and effective branching factor we highlight the superiority of our models to both exact and heuristic methods in the literature.
△ Less
Submitted 26 August, 2019; v1 submitted 28 November, 2016;
originally announced November 2016.
-
Symplectic $n$-level densities with restricted support
Authors:
Amy M. Mason,
Nina C. Snaith
Abstract:
In this paper we demonstrate that the alternative form, derived by us in an earlier paper, of the $n$-level densities for eigenvalues of matrices from the classical compact group $USp(2N)$ is far better suited for comparison with derivations of the $n$-level densities of zeros in the family of Dirichlet $L$-functions associated with real quadratic characters than the traditional determinantal rand…
▽ More
In this paper we demonstrate that the alternative form, derived by us in an earlier paper, of the $n$-level densities for eigenvalues of matrices from the classical compact group $USp(2N)$ is far better suited for comparison with derivations of the $n$-level densities of zeros in the family of Dirichlet $L$-functions associated with real quadratic characters than the traditional determinantal random matrix formula. Previous authors have found ingenious proofs that the leading order term of the $n$-level density of the zeros agrees with the determinantal random matrix result under certain conditions, but here we show that comparison is more straightforward if the more suitable form of the random matrix result is used. For the support of the test function in $[1,-1]$ and in $[-2,2]$ we compare with existing number theoretical results. For support in $[-3,3]$ no rigorous number theoretical result is known for the $n$-level densities, but we derive the densities here using random matrix theory in the hope that this may make the path to a rigorous number theoretical result clearer.
△ Less
Submitted 17 March, 2016;
originally announced March 2016.
-
Orthogonal and symplectic n-level densities
Authors:
A. M. Mason,
N. C. Snaith
Abstract:
In this paper we apply to the zeros of families of $L$-functions with orthogonal or symplectic symmetry the method that Conrey and Snaith used to calculate the $n$-correlation of the zeros of the Riemann zeta function. This method uses the Ratios Conjectures for averages of ratios of zeta or $L$-functions. Katz and Sarnak conjecture that the zero statistics of families of $L$-functions have an und…
▽ More
In this paper we apply to the zeros of families of $L$-functions with orthogonal or symplectic symmetry the method that Conrey and Snaith used to calculate the $n$-correlation of the zeros of the Riemann zeta function. This method uses the Ratios Conjectures for averages of ratios of zeta or $L$-functions. Katz and Sarnak conjecture that the zero statistics of families of $L$-functions have an underlying symmetry relating to one of the classical compact groups $U(N)$, $O(N)$ and $USp(2N)$. Here we complete the work already done with $U(N)$ to show how new methods for calculating the $n$-level densities of eigenangles of random orthogonal or symplectic matrices can be used to create explicit conjectures for the $n$-level densities of zeros of $L$-functions with orthogonal or symplectic symmetry, including all the lower order terms. We show how the method used here results in formulae that are easily modified when the test function used has a restricted range of support, and this will facilitate comparison with rigorous number theoretic $n$-level density results.
△ Less
Submitted 21 June, 2018; v1 submitted 17 September, 2015;
originally announced September 2015.
-
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.
-
An Application of Stochastic Flows to Riemannian Foliations
Authors:
Alan Mason
Abstract:
A stochastic flow is constructed on a frame bundle adapted to a Riemannian foliation on a compact manifold. The generator A of the resulting transition semigroup is shown to preserve the basic functions and forms, and there is an essentially unique strictly positive smooth function phi satisfying A^* phi = 0. This function is used to perturb the metric, and an application of the ergodic theorem…
▽ More
A stochastic flow is constructed on a frame bundle adapted to a Riemannian foliation on a compact manifold. The generator A of the resulting transition semigroup is shown to preserve the basic functions and forms, and there is an essentially unique strictly positive smooth function phi satisfying A^* phi = 0. This function is used to perturb the metric, and an application of the ergodic theorem shows that there exists a bundle-like metric for which the basic projection of the mean curvature is basic-harmonic.
△ Less
Submitted 2 December, 1999; v1 submitted 18 December, 1998;
originally announced December 1998.
