Two-generation of traceless matrices over finite fields

Omer Cantor,Urban Jezernik,Andoni Zozaya

2024-05-16

Abstract:We prove that the Lie algebra $\mathfrak{sl}_n(\textbf{F}_q)$ of traceless matrices over a finite field of characteristic $p$ can be generated by $2$ elements with exceptions when $(n, p)$ is $(3, 3)$ or $(4,2)$. In the latter cases, we establish curious identities that obstruct $2$-generation.

Rings and Algebras

What problem does this paper attempt to address?

Trace identities and almost polynomial growth

Antonio Ioppolo,Plamen Koshlukov,Daniela La Mattina

DOI: https://doi.org/10.1016/j.jpaa.2020.106501

2020-12-21

Abstract:In this paper we study algebras with trace and their trace polynomial identities over a field of characteristic 0. We consider two commutative matrix algebras: $D_2$, the algebra of $2\times 2$ diagonal matrices and $C_2$, the algebra of $2 \times 2$ matrices generated by $e_{11}+e_{22}$ and $e_{12}$. We describe all possible traces on these algebras and we study the corresponding trace codimensions. Moreover we characterize the varieties with trace of polynomial growth generated by a finite dimensional algebra. As a consequence, we see that the growth of a variety with trace is either polynomial or exponential.

Rings and Algebras
Boundedness of trace fields of rank two local systems

Yeuk Hay Joshua Lam

2024-11-28

Abstract:Let $p$ be a fixed prime number, and $q$ a power of $p$. For any curve over $\mathbb{F}_q$ and any local system on it, we have a number field generated by the traces of Frobenii at closed points, known as the trace field. We show that as we range over all pointed curves of type $(g,n)$ in characteristic $p$ and rank two local systems satisfying a condition at infinity, the set of trace fields which are unramified at $p$ and of bounded degree is finite. This proves observations of Kontsevich obtained via numerical computations, which are in turn closely related to the analogue of Maeda's conjecture over function fields. The key ingredients of the proofs are Chin's theorem on independence of $\ell$ of monodromy groups, and the boundedness of abelian schemes of $\mathrm{GL}_2$-type over curves in positive characteristics, obtained using partial Hasse invariants; the latter is an analogue of Faltings' Arakelov theorem for abelian varieties in our setting.

Number Theory,Algebraic Geometry
Matrix algebras with degenerate traces and trace identities

Antonio Ioppolo,Plamen Koshlukov,Daniela La Mattina

DOI: https://doi.org/10.48550/arXiv.2012.10994

2020-12-21

Abstract:In this paper we study matrix algebras with a degenerate trace in the framework of the theory of polynomial identities. The first part is devoted to the study of the algebra $D_n$ of $n \times n$ diagonal matrices. We prove that, in case of a degenerate trace, all its trace identities follow by the commutativity law and by pure trace identities. Moreover we relate the trace identities of $D_{n+1}$ endowed with a degenerate trace, to those of $D_n$ with the corresponding trace. This allows us to determine the generators of the trace T-ideal of $D_3$. In the second part we study commutative subalgebras of $M_k(F)$, denoted by $C_k$ of the type $F + J$ that can be endowed with the so-called strange traces: $tr(a+j) = \alpha a + \beta j$, for any $a+j \in C_k$, $\alpha$, $\beta \in F$. Here $J$ is the radical of $C_k$. In case $\beta = 0$ such a trace is degenerate, and we study the trace identities satisfied by the algebra $C_k$, for every $k \geq 2$. Moreover we prove that these algebras generate the so-called minimal varieties of polynomial growth. In the last part of the paper, devoted to the study of varieties of polynomial growth, we completely classify the subvarieties of the varieties of algebras of almost polynomial growth introduced in an earlier paper of the same authors.

Rings and Algebras
Traces of powers of random matrices over local fields

Noam Pirani

2024-08-08

Abstract:Let $M$ be chosen uniformly at random w.r.t. the Haar measure on the unitary group $U_n$, the unitary symplectic group $USp_{2n}$ or the orthogonal group $O_n$. Diaconis and Shashahani proved that the traces $\mathrm{tr}(M),\mathrm{tr}(M^2),\ldots,\mathrm{tr}(M^k)$ converge in distribution to independent normal random variables as $k$ is fixed and $n\to\infty$. Recently, Gorodetsky and Rodgers proved analogs for these results for matrices chosen from certain finite matrix groups. For example, let $M$ be chosen uniformly at random from $U_n(\mathbb{F}_q)$. They show that $\{\mathrm{tr}(M^i)\}_{i=1,p\nmid i}^{k}$ converge in distribution to independent uniform random variables in $\mathbb{F}_{q^2}$ as $k$ is fixed and $n\to\infty$. We prove analogs for these results over local fields. Let $\mathcal{F}$ be a local field with a ring of integers $\mathcal{O}$, a uniformizer $\pi$, and a residue field of odd characteristic. Let $\mathcal{K}/\mathcal{F}$ be an unramified extension of degree $2$ with a ring of integers $\mathcal{R}$. Let $M$ be chosen uniformly at random w.r.t. the Haar measure on the unitary group $U_n(\mathcal{O})$, and fix $k$. We prove that the traces of powers $\{\mathrm{tr}(M^i)\}_{i=1,p\nmid i}^k$ converge to independent uniform random variables on $\mathcal{R}$, as $n\to\infty$. We also consider the case where $k$ may tend to infinity with $n$. We show that for some constant $c$ (coming from the mod $\pi$ distribution), the total variation distance from independent uniform random variables on $\mathcal{R}$ is $o(1)$ as $n\to\infty$, as long as $k<c\cdot n$. We also consider other matrix groups over local fields and prove similar results for them. Moreover, we consider traces of powers $M^{pi}$ and traces of negative powers, and show that apart from certain necessary modular restrictions, they also equidistribute in the limit.

Number Theory,Probability
$\mathrm{SL}_2$-like Properties of Matrices Over Noncommutative Rings and Generalizations of Markov Numbers

Zachary Greenberg,Dani Kaufman,Anna Wienhard

2024-03-01

Abstract:We study $2\times 2$ matrices over noncommutative rings with anti-involution, with a special focus on the symplectic group $\mathrm{Sp}_2(\mathcal{A},\sigma)$. We define traces and determinants of such matrices and use them to prove a Cayley Hamilton identity and trace relations which generalize well known relations for elements of $\mathrm{SL}_2(R)$ over a commutative ring. We compare the structure of elements of $\mathrm{Sp}_2(\mathcal{A},\sigma)$ with Manin matrices over general noncommutative rings; this naturally leads to a quantization $\mathrm{Sp}_2(\mathcal{A},\sigma)_q$. In contrast to the usual definition of the quantum group as a deformation of the ring of matrix functions on $\mathrm{SL}_2(R)$, this quantization produces a group of matrices over a new noncommutative ring with involution. We finish the comparison by constructing a generalization of a Hopf algebra structure on the noncommutative ring of matrix functions of our quantum group. Finally, we use the noncommutative surface-type cluster algebras of Berenstein and Retakh to give a geometric interpretation of our Hopf algebra structure and to produce noncommutative generalizations of Markov numbers over many rings with involution including the complex numbers, dual numbers, matrix rings, and group rings.

Number Theory,Quantum Algebra,Rings and Algebras
Trace Preserving Homomorphisms on SL(2,C)

N. Purzitsky

DOI: https://doi.org/10.48550/arXiv.1608.08212

2016-08-29

Geometric Topology

Abstract:Let G a be subgroup of SL(2,C), the group of 2x2 matrices of determinant 1 with complex entries. Let h map onto h(G) be a homomorphism. We call h a trace preserving homomorphism if tr(h(g))=tr(g) for all g in G,where tr(g) is the trace of g. We solve the question of when a trace invariant homomorphism is a conjugation by some A in SL(2,R). Moreover, if the group G is finitely presented, this paper determines which traces of the generators and products of the generators determine the group up to conjugation. Incomplete solutions are known from the study of Fuchsian groups. Our theorems in this paper will expand the results in the literature to include Fuchsian Groups with elliptic elements, which have not been considered before. Moreover, they will be applicable to any class of subgroups of SL(2,C). The methods used will be relatively elementary and will indicate how many traces are needed, and the role that any relator equation plays in the parameterization by traces of a class of groups.
Z2-graded Cayley-Hamilton trace identities in M_{n}(E)

Szilvia Homolya,Jeno Szigeti

DOI: https://doi.org/10.48550/arXiv.2004.12101

2020-04-25

Abstract:We show, how the combination of the Cayley-Hamilton theorem and a certain companion matrix construction can be used to derive Z2-graded trace identities in M_{n}(E).

Rings and Algebras
Generating all invertible matrices by row operations

Petr Gregor,Hung P. Hoang,Arturo Merino,Ondřej Mička

2024-10-08

Abstract:We show that all invertible $n \times n$ matrices over any finite field $\mathbb{F}_q$ can be generated in a Gray code fashion. More specifically, there exists a listing such that (1) each matrix appears exactly once, and (2) two consecutive matrices differ by adding or subtracting one row from a previous or subsequent row, or by multiplying or diving a row by the generator of the multiplicative group of $\mathbb{F}_q$. This even holds if the addition and subtraction of each row is allowed to some specific rows satisfying a certain mild condition. Moreover, we can prescribe the first and the last matrix if $n\ge 3$, or $n=2$ and $q>2$. In other words, the corresponding flip graph on all invertible $n \times n$ matrices over $\mathbb{F}_q$ is Hamilton connected if it is not a cycle. This solves yet another special case of Lovász conjecture on Hamiltonicity of vertex-transitive graphs.

Combinatorics
A tracial characterization of Furstenberg's $\times p,\times q$ conjecture

Chris Bruce,Eduardo Scarparo

2023-09-03

Abstract:We investigate almost minimal actions of abelian groups and their crossed products. As an application, given multiplicatively independent integers $p$ and $q$, we show that Furstenberg's $\times p,\times q$ conjecture holds if and only if the canonical trace is the only faithful extreme tracial state on the $C^*$-algebra of the group $\mathbb{Z}[\frac{1}{pq}]\rtimes\mathbb{Z}^2$. We also compute the primitive ideal space and K-theory of $C^*(\mathbb{Z}[\frac{1}{pq}]\rtimes\mathbb{Z}^2)$.

Operator Algebras,Dynamical Systems
Von Neumann Dimensions and Trace Formulas II: A Jacquet-Langlands correspondence for Arithmetic Group Algebras in $\rm{GL}(2)$

Jun Yang

2024-02-29

Abstract:We propose a global Jacquet-Langlands correspondence for the modules over the von Neumann algebras of $S$-arithmetic subgroups of $\rm{GL}(2)$ and of a quaternion algebra $D$, which are both defined over a totally real number field $F$. If a representation $\pi'=\otimes\pi'_v$ of $D^{\times}(\mathbb{A}_F)$ corresponds to a representation $\pi=\otimes \pi_v$ of $\rm{GL}(2,\mathbb{A}_F)$, we have $\frac{\dim_{\mathcal{L}(\rm{SL}(2,\mathcal{O}_S))}\pi_S}{\dim_{\mathbb{C}}\pi'_S}=|\frac{\zeta_{D}(0)}{\zeta_{F}(0)}|$, where $\zeta_F,\zeta_{D}$ are the zeta functions of $F,D$ respectively.

Representation Theory,Number Theory
Equidistribution of high traces of random matrices over finite fields and cancellation in character sums of high conductor

Ofir Gorodetsky,Valeriya Kovaleva

DOI: https://doi.org/10.1112/blms.13057

2024-05-08

Abstract:Let $g$ be a random matrix distributed according to uniform probability measure on the finite general linear group $\mathrm{GL}_n(\mathbb{F}_q)$. We show that $\mathrm{Tr}(g^k)$ equidistributes on $\mathbb{F}_q$ as $n \to \infty$ as long as $\log k=o(n^2)$ and that this range is sharp. We also show that nontrivial linear combinations of $\mathrm{Tr}(g^1),\ldots, \mathrm{Tr}(g^k)$ equidistribute as long as $\log k =o(n)$ and this range is sharp as well. Previously equidistribution of either a single trace or a linear combination of traces was only known for $k \le c_q n$, where $c_q$ depends on $q$, due to work of the first author and Rodgers. We reduce the problem to exhibiting cancellation in certain short character sums in function fields. For the equidistribution of $\mathrm{Tr}(g^k)$ we end up showing that certain explicit character sums modulo $T^{k+1}$ exhibit cancellation when averaged over monic polynomials of degree $n$ in $\mathbb{F}_q[T]$ as long as $\log k = o(n^2)$. This goes far beyond the classical range $\log k =o(n)$ due to Montgomery and Vaughan. To study these sums we build on the argument of Montgomery and Vaughan but exploit additional symmetry present in the considered sums.

Number Theory,Probability
On prescribed characteristic polynomials

Peter Danchev,Esther García,Miguel Gómez Lozano

2024-03-22

Abstract:Let $\mathbb{F}$ be a field. We show that given any $n$th degree monic polynomial $q(x)\in \mathbb{F}[x]$ and any matrix $A\in\mathbb{M}_n(\mathbb{F})$ whose trace coincides with the trace of $q(x)$ and consisting in its main diagonal of $k$ 0-blocks of order one, with $k<n-k$, and an invertible non-derogatory block of order $n-k$, we can construct a square-zero matrix $N$ such that the characteristic polynomial of $A+N$ is exactly $q(x)$. We also show that the restriction $k<n-k$ is necessary in the sense that, when the equality $k=n-k$ holds, not every characteristic polynomial having the same trace as $A$ can be obtained by adding a square-zero matrix. Finally, we apply our main result to decompose matrices into the sum of a square-zero matrix and some other matrix which is either diagonalizable, invertible, potent or torsion.

Rings and Algebras
Galois trace forms of type $A_{n}, D_{n}, E_{n}$ for odd $n$

Riku Higa,Yoshinosuke Hirakawa

2023-08-24

Abstract:Let $p$ be an odd prime number and $\zeta_{p} := \exp(2\pi i/p)$. Then, it is well-known that the $A_{p-1}$-root lattice can be realized as the (Hermitian) trace form of the $p$-th cyclotomic extension $\mathbb{Q}(\zeta_{p})/\mathbb{Q}$ restricted to the fractional ideal generated by $(1-\zeta_{p})^{-(p-3)/2}$. In this paper, in contrast with the case of the $A_{p-1}$-root lattice, we prove the following theorem: Let $n$ be an odd positive integer and $F/\mathbb{Q}$ be a Galois extension of degree $n$. Then, there exist no fractional ideals $\Lambda$ of $F$ such that the restricted trace form $(\Lambda, \mathrm{Tr}|_{\Lambda \times \Lambda})$ is of type $A_{n}, D_{n}, E_{n}$. The proof is done by the prime ideal factorization of fractional ideals of $F$ with care of certain 2-adic obstruction. Additionally, we prove that every cyclic cubic field contains infinitely many distinct sub $\mathbb{Z}$-lattices of type $A_{3}$ (i.e., normalized face centered cubic lattices) with normal $\mathbb{Z}$-bases. The latter fact is in contrast with another fact that among quadratic fields only $\mathbb{Q}(\sqrt{\pm3})$ contain sub $\mathbb{Z}$-lattices of type $A_{2}$.

Number Theory
Characteristic Relations for Quantum Matrices

P. Pyatov,P. Saponov

DOI: https://doi.org/10.1088/0305-4470/28/15/020

1995-02-24

Abstract:General algebraic properties of the algebras of vector fields over quantum linear groups $GL_q(N)$ and $SL_q(N)$ are studied. These quantum algebras appears to be quite similar to the classical matrix algebra. In particular, quantum analogues of the characteristic polynomial and characteristic identity are obtained for them. The $q$-analogues of the Newton relations connecting two different generating sets of central elements of these algebras (the determinant-like and the trace-like ones) are derived. This allows one to express the $q$-determinant of quantized vector fields in terms of their $q$-traces.

Quantum Algebra
Existence of primitive normal pairs over finite fields with prescribed subtrace

K.Chatterjee,G. Kapetanakis,S.K. Tiwari,H. Sharma

2024-05-19

Abstract:Given positive integers $q,n,m$ and $a\in\mathbb{F}_{q}$, where $q$ is an odd prime power and $n\geq 5$, we investigate the existence of a primitive normal pair $(\epsilon,f(\epsilon))$ in $\mathbb{F}_{q^{n}}$ over $\mathbb{F}_{q}$ such that $\mathrm{STr}_{q^n/q}(\epsilon)=a$, where $f(x)=\frac{f_{1}(x)}{f_{2}(x)}\in\mathbb{F}_{q^n}(x)$ is a rational function together with deg$(f_{1})+$deg$(f_{2})=m$ and $\mathrm{STr}_{q^n/q}(\epsilon) = \sum_{0\leq i<j\leq n-1}^{}\epsilon^{q^i+q^j}$. Finally, we conclude that for $m=3$, $n\geq 6$ and $q=7^k$; $k\in\mathbb{N}$, such a pair will exist certainly for all $(q,n)$ except at most $14$ choices.

Number Theory
Constructing abelian varieties from rank 3 Galois representations with real trace field

Raju Krishnamoorthy,Yeuk Hay Joshua Lam

2024-03-27

Abstract:Let $U/K$ be a smooth affine curve over a number field and let $L$ be an irreducible rank 3 $\overline{\mathbb Q}_{\ell}$-local system on $U$ with trivial determinant and infinite geometric monodromy around a cusp. Suppose further that $L$ extends to an integral model such that the Frobenius traces are contained in a fixed totally real number field. Then, after potentially shrinking $U$, there exists an abelian scheme $f\colon B_U\rightarrow U$ such that $L$ is a summand of $R^2f_*\overline{\mathbb Q}_{\ell}(1)$.

Algebraic Geometry,Number Theory
Multislant matrices and Jacobi--Trudi determinants over finite fields

Omesh Dhar Dwivedi,Jonah Blasiak,Darij Grinberg

DOI: https://doi.org/10.1016/j.ffa.2023.102262

2023-06-07

Abstract:The problem of counting the $\mathbb{F}_q$-valued points of a variety has been well-studied from algebro-geometric, topological, and combinatorial perspectives. We explore a combinatorially flavored version of this problem studied by Anzis et al. (2018), which is similar to work of Kontsevich, Elkies, and Haglund. Anzis et al. considered the question: what is the probability that the determinant of a Jacobi-Trudi matrix vanishes if the variables are chosen uniformly at random from a finite field? They gave a formula for various partitions such as hooks, staircases, and rectangles. We give a formula for partitions whose parts form an arithmetic progression, verifying and generalizing one of their conjectures. More generally, we compute the probability of the determinant vanishing for a class of matrices (``multislant matrices'') made of Toeplitz blocks with certain properties. We furthermore show that the determinant of a skew Jacobi-Trudi matrix is equidistributed across the finite field if the skew partition is a ribbon.

Combinatorics,Rings and Algebras
On Linear Codes with Random Multiplier Vectors and the Maximum Trace Dimension Property

Márton Erdélyi,Pál Hegedüs,Sándor Z. Kiss,Gábor P. Nagy

2023-09-02

Abstract:Let $C$ be a linear code of length $n$ and dimension $k$ over the finite field $\mathbb{F}_{q^m}$. The trace code $\mathrm{Tr}(C)$ is a linear code of the same length $n$ over the subfield $\mathbb{F}_q$. The obvious upper bound for the dimension of the trace code over $\mathbb{F}_q$ is $mk$. If equality holds, then we say that $C$ has maximum trace dimension. The problem of finding the true dimension of trace codes and their duals is relevant for the size of the public key of various code-based cryptographic protocols. Let $C_{\mathbf{a}}$ denote the code obtained from $C$ and a multiplier vector $\mathbf{a}\in (\mathbb{F}_{q^m})^n$. In this paper, we give a lower bound for the probability that a random multiplier vector produces a code $C_{\mathbf{a}}$ of maximum trace dimension. We give an interpretation of the bound for the class of algebraic geometry codes in terms of the degree of the defining divisor. The bound explains the experimental fact that random alternant codes have minimal dimension. Our bound holds whenever $n\geq m(k+h)$, where $h\geq 0$ is the Singleton defect of $C$. For the extremal case $n=m(h+k)$, numerical experiments reveal a closed connection between the probability of having maximum trace dimension and the probability that a random matrix has full rank.

Information Theory,Number Theory
Planarity of Mappingsx(tr(x)−α2x)on Finite Fields

Minghui Yang,Shixin Zhu,Keqin Feng

DOI: https://doi.org/10.1016/j.ffa.2013.04.001

IF: 1.655

2013-01-01

Finite Fields and Their Applications

Abstract:Let q be a power of an odd prime, n⩾3 and Trn:Fqn→Fq be the trace mapping. A mapping f=f(x):Fqn→Fqn is called planar (or perfect nonlinear) on Fqn if for any non-zero a∈Fqn, the difference mapping Df,a:Fqn→Fqn is a permutation where for x∈Fqn, Df,a(x)=f(x+a)−f(x). Kyureghyan and Özbudak (2012) [8] considered the planarity of mappings fn,α(x)=x(Trn(x)−α2x) on Fqn for α∈Fqn and proved that there is no planar fn,α for n⩾5. For the case n=3 and n=4, they raised three conjectures. In this paper we prove the third conjecture which says that there is no planar fn,α for n=4, by using Kloosterman sums. Our proof also works for case n⩾5, so we present a new proof of the Kyureghyan–Özbudak result. For case n=3, we present an elementary proof of the first conjecture which says that there is no planar f3,α for α∈Fq\{2,4}.

Two-generation of traceless matrices over finite fields

Trace identities and almost polynomial growth

Boundedness of trace fields of rank two local systems

Matrix algebras with degenerate traces and trace identities

Traces of powers of random matrices over local fields

$\mathrm{SL}_2$-like Properties of Matrices Over Noncommutative Rings and Generalizations of Markov Numbers

Trace Preserving Homomorphisms on SL(2,C)

Z2-graded Cayley-Hamilton trace identities in M_{n}(E)

Generating all invertible matrices by row operations

A tracial characterization of Furstenberg's $\times p,\times q$ conjecture

Von Neumann Dimensions and Trace Formulas II: A Jacquet-Langlands correspondence for Arithmetic Group Algebras in $\rm{GL}(2)$

Equidistribution of high traces of random matrices over finite fields and cancellation in character sums of high conductor

On prescribed characteristic polynomials

Galois trace forms of type $A_{n}, D_{n}, E_{n}$ for odd $n$

Characteristic Relations for Quantum Matrices

Existence of primitive normal pairs over finite fields with prescribed subtrace

Constructing abelian varieties from rank 3 Galois representations with real trace field

Multislant matrices and Jacobi--Trudi determinants over finite fields

On Linear Codes with Random Multiplier Vectors and the Maximum Trace Dimension Property

Planarity of Mappingsx(tr(x)−α2x)on Finite Fields