Separating invariants for two-dimensional orthogonal groups over finite fields

Artem Lopatin,Pedro Antonio Muniz Martins

DOI: https://doi.org/10.1016/j.laa.2024.03.038

IF: 1.307

2024-04-05

Linear Algebra and its Applications

Abstract:We described a minimal separating set for the algebra of O2+(Fq) -invariant polynomial functions of m -tuples of two-dimensional vectors over a finite field Fq .

mathematics, applied

What problem does this paper attempt to address?

Separating invariants for two-dimensional orthogonal groups over finite fields

Artem Lopatin,Pedro Antonio Muniz Martins

2023-10-01

Abstract:We described a minimal separating set for the algebra of $O(F_q)$-invariant polynomial functions of $m$-tuples of two-dimensional vectors over a finite field $F_q$.

Commutative Algebra,Rings and Algebras,Representation Theory
Separating invariants for 2x2 matrices

Ivan Kaygorodov,Artem Lopatin,Yury Popov

DOI: https://doi.org/10.1016/j.laa.2018.08.010

2017-11-19

Abstract:A minimal separating set is found for the algebra of matrix invariants of several 2x2 matrices over an infinite field of arbitrary characteristic

Representation Theory,Rings and Algebras
On m-tuples of nilpotent 2x2 matrices over an arbitrary field

Artem Lopatin

2024-03-23

Abstract:The algebra of ${\rm GL}_n$-invariants of $m$-tuples of $n\times n$ matrices with respect to the action by simultaneous conjugation is a classical topic in case of infinite base field. On the other hand, in case of a finite field generators of polynomial invariants even in case of a pair of $2\times 2$ matrices are not known. Working over an arbitrary field we classified all ${\rm GL}_2$-orbits on $m$-tuples of $2\times 2$ nilpotent matrices for all $m>0$. As a consequence, we obtained a minimal separating set for the algebra of ${\rm GL}_2$-invariant polynomial functions of $m$-tuples of $2\times 2$ nilpotent matrices. We also described the least possible number of elements of a separating set for an algebra of invariant polynomial functions over a finite field.

Rings and Algebras,Commutative Algebra,Representation Theory
Vector Invariant Fields of Finite Classical Groups

Yin Chen,Zhongming Tang

DOI: https://doi.org/10.1016/j.jalgebra.2019.05.032

IF: 0.908

2019-01-01

Journal of Algebra

Abstract:Let W be an n-dimensional vector space over a finite field Fq of any characteristic and mW denote the direct sum of m copies of W. Let Fq[mW]GL(W) and Fq(mW)GL(W) denote the vector invariant ring and vector invariant field respectively where GL(W) acts on W in the standard way and acts on mW diagonally. We prove that there exists a set of homogeneous invariant polynomials {f1,f2,…,fmn}⊆Fq[mW]GL(W) such that Fq(mW)GL(W)=Fq(f1,f2,…,fmn). We also prove the same assertions for the special linear groups in any characteristic, and the orthogonal, unitary and symplectic groups in odd characteristic.
Invariants and orthogonal $q$-polynomials associated with $\Bbb{C}_{q}(osp(1,2))$

Yi Ming Zou

DOI: https://doi.org/10.48550/arXiv.math/0608691

2006-08-28

Abstract:The spaces of invariants and the zonal spherical functions associated with quantum super 2-shpheres defined by $\Bbb{C}_{q}(osp(1,2))$ are discussed. Connection between the zonal spherical functions and orthogonal $q$-polynomials from the Askey-Wilson scheme is investigated.

Quantum Algebra,Representation Theory
Rotation of 2D Orthogonal Polynomials

Bo Yang,Jan Flusser,Jaroslav Kautsky

DOI: https://doi.org/10.1016/j.patrec.2017.12.013

IF: 4.757

2017-01-01

Pattern Recognition Letters

Abstract:Orientation-independent object recognition mostly relies on rotation invariants. Invariants from moments orthogonal on a square have favorable numerical properties but they are difficult to construct. The paper presents sufficient and necessary conditions, that must be fulfilled by 2D separable orthogonal polynomials, for being transformed under rotation in the same way as are the monomials. If these conditions have been met, the rotation property propagates from polynomials to moments and allows a straightforward derivation of rotation invariants. We show that only orthogonal polynomials belonging to a specific class exhibit this property. We call them Hermite-like polynomials. (C) 2017 Elsevier B.V. All rights reserved.
Stable Separation of Orbits for Finite Abelian Group Actions

Jameson Cahill,Andres Contreras,Andres Contreras Hip

DOI: https://doi.org/10.1007/s00041-024-10069-z

2024-02-07

Journal of Fourier Analysis and Applications

Abstract:In this paper we construct two new families of invariant maps that separate the orbits of the action of a finite Abelian group on a finite dimensional complex vector space. One of these families is Lipschitz continuous with respect to the quotient metric on the space of orbits, but involves computing large powers of the components of the vectors which can lead to instabilities. The other family avoids this issue by putting the powers only on the phase of the components, but in turn is not continuous. However, we show that they are Lipschitz continuous on the set of vectors with fixed support, so in particular they are Lipschitz on the set of vectors with no zero entries. Furthermore, the target dimension of these maps is small, i.e., linear in the original dimension.

mathematics, applied
Separating symmetric polynomials over finite fields

Artem Lopatin,Pedro Antonio Muniz Martins,Lael Viana Lima

2024-10-26

Abstract:The set $S(n)$ of all elementary symmetric polynomials in $n$ variables is a minimal generating set for the algebra of symmetric polynomials in $n$ variables, but over a finite field ${\mathbb F}_q$ the set $S(n)$ is not a minimal separating set for symmetric polynomials in general. We determined when $S(n)$ is a minimal separating set for the algebra of symmetric polynomials having the least possible number of elements.

Commutative Algebra,Combinatorics,Rings and Algebras
Orthogonal Systems in Vector Spaces over Finite Fields

Alex Iosevich,Steven Senger

DOI: https://doi.org/10.37236/875

2008-12-09

The Electronic Journal of Combinatorics

Abstract:We prove that if a subset of the $d$-dimensional vector space over a finite field is large enough, then it contains many $k$-tuples of mutually orthogonal vectors.
The -invariant over splitting fields of Tits algebras

Zhykhovich,Maksim

DOI: https://doi.org/10.1112/s0010437x24007255

2024-09-11

Compositio Mathematica

Abstract:We describe the -invariant of a semisimple algebraic group over a generic splitting field of a Tits algebra of in terms of the -invariant over the base field. As a consequence we prove a 10-year-old conjecture of Quéguiner-Mathieu, Semenov, and Zainoulline on the -invariant of groups of type . In the case of type we also provide explicit formulas for the first component and in some cases for the second component of the -invariant.

mathematics
Invariants of Finite Orthogonal Groups of Plus Type in Odd Characteristic

H. E. A. Campbell,R. James Shank,David L. Wehlau

2024-07-01

Abstract:We describe the ring of invariants for the finite orthogonal group of plus type in odd characteristic acting on its defining representation. We also describe the invariants of its Sylow subgroup in the defining characteristic. In both cases we construct minimal algebra generating sets and describe the relations among the generators. Both rings of invariants are shown to be Complete Intersections and thus are Cohen-Macaulay. We expect the techniques we use will generalise to give a systematic computation for rings of invariants for all of the finite classical groups.

Commutative Algebra,Representation Theory
Invariant rings of the special orthogonal group have nonunimodal $h$-vectors

Aldo Conca,Anurag K. Singh,Matteo Varbaro

2024-08-06

Abstract:For $K$ an infinite field of characteristic other than two, consider the action of the special orthogonal group $\operatorname{SO}_t(K)$ on a polynomial ring via copies of the regular representation. When $K$ has characteristic zero, Boutot's theorem implies that the invariant ring has rational singularities; when $K$ has positive characteristic, the invariant ring is $F$-regular, as proven by Hashimoto using good filtrations. We give a new proof of this, viewing the invariant ring for $\operatorname{SO}_t(K)$ as a cyclic cover of the invariant ring for the corresponding orthogonal group; this point of view has a number of useful consequences, for example it readily yields the $a$-invariant and information on the Hilbert series. Indeed, we use this to show that the $h$-vector of the invariant ring for $\operatorname{SO}_t(K)$ need not be unimodal.

Commutative Algebra
Totally orthogonal finite simple groups

C. Ryan Vinroot

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

2018-11-13

Abstract:We prove that if $G$ is a finite simple group, then all irreducible complex representations of $G$ by be realized over the real numbers if and only if every element of $G$ may be written as a product of two involutions in $G$. This follows from our result that if $q$ is a power of $2$, then all irreducible complex representations of the orthogonal groups $\mathrm{O}^{\pm}(2n, \mathbb{F}_q)$ may be realized over the real numbers. We also obtain generating functions for the sums of degrees of several sets of unipotent characters of finite orthogonal groups, and we obtain a twisted version of our main result for a broad family of finite classical groups.

Representation Theory,Group Theory
Orthogonal irreducible representations of finite solvable groups in odd dimension

Mikko Korhonen

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

2023-09-27

Abstract:We prove that if $G$ is a finite irreducible solvable subgroup of an orthogonal group $O(V,Q)$ with $\dim V$ odd, then $G$ preserves an orthogonal decomposition of $V$ into $1$-spaces. In particular $G$ is monomial. This generalizes a theorem of Rod Gow.

Representation Theory,Group Theory
Galois groups of low dimensional abelian varieties over finite fields

Santiago Arango-Piñeros,Sam Frengley,Sameera Vemulapalli

2024-12-04

Abstract:We consider three isogeny invariants of abelian varieties over finite fields: the Galois group, Newton polygon, and the angle rank. Motivated by work of Dupuy, Kedlaya, and Zureick-Brown, we define a new invariant called the weighted permutation representation which encompasses all three of these invariants and use it to study the subtle relationships between them. We use this permutation representation to classify the triples of invariants that occur for abelian surfaces and simple abelian threefolds.

Number Theory,Algebraic Geometry
Modular invariants of a vector and a covector for some elementary abelian p-groups

Shan Ren

DOI: https://doi.org/10.1080/00927872.2024.2361363

2024-06-23

Communications in Algebra

Abstract:Let Fp be the prime field of order p > 0 and G be an elementary abelian p -group. For some n -dimensional cohyperplane G -representations V over Fp , we show that Fp[V⊕V*]G , the invariant ring of a vector and a covector is a complete intersection by exhibiting an explicit generating set (in fact, a SAGBI basis) and exposing all relations among the generators.

mathematics
Separating Tilting Modules

P ZHANG

DOI: https://doi.org/10.1080/00927872.2021.1942482

1992-01-01

Abstract:Let A be a basic, connected and finite-dimensional algebra over an algebraically closed field k. A tilting module A~T is called separating if the torsion theory (F(A~T), G(A~T)) induced by A~T is splitting in A-mod, i. e. any indecomposable module A~M belongs either to F(A~T) or to G(A~T). In this note we prove the following main result by using the representation theory of representation-infinite hereditary algebra.
Words and polynomial invariants of finite groups in non-commutative variables

Anouk Bergeron-Brlek,Christophe Hohlweg,Mike Zabrocki

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

2010-03-03

Abstract:Let V be a complex vector space with basis {x_1,x_2,...,x_n} and G be a finite subgroup of GL(V). The tensor algebra T(V) over the complex is isomorphic to the polynomials in the non-commutative variables x_1, x_2,..., x_n with complex coefficients. We want to give a combinatorial interpretation for the decomposition of T(V) into simple G-modules. In particular, we want to study the graded space of invariants in T(V) with respect to the action of G. We give a general method for decomposing the space T(V) into simple modules in terms of words in a Cayley graph of the group G. To apply the method to a particular group, we require a homomorphism from a subalgebra of the group algebra into the character algebra. In the case of G as the symmetric group, we give an example of this homomorphism from the descent algebra. When G is the dihedral group, we have a realization of the character algebra as a subalgebra of the group algebra. In those two cases, we have an interpretation for the graded dimensions of the invariant space in term of those words.

Combinatorics
Modular invariants of a vector and a covector for some elementary abelian $p$-groups

Shan Ren

2024-05-21

Abstract:Let $\mathbb{F}_p$ be the prime field of order $p>0$ and $G$ be an elementary abelian $p$-group.For some $n$-dimensional cohyperplane $G$-representations $V$ over $\mathbb{F}_p$, we show that $\mathbb{F}_p[V\oplus V^*]^G$, the invariant ring of a vector and a covector is a complete intersection by exhibiting an explicit generating set (in fact, a SAGBI basis) and exposing all relations among the generators.

Commutative Algebra

Separating invariants for two-dimensional orthogonal groups over finite fields

Separating invariants for two-dimensional orthogonal groups over finite fields

Separating invariants for 2x2 matrices

On m-tuples of nilpotent 2x2 matrices over an arbitrary field

Vector Invariant Fields of Finite Classical Groups

Invariants and orthogonal $q$-polynomials associated with $\Bbb{C}_{q}(osp(1,2))$

Rotation of 2D Orthogonal Polynomials

Stable Separation of Orbits for Finite Abelian Group Actions

Separating symmetric polynomials over finite fields

Orthogonal Systems in Vector Spaces over Finite Fields

The -invariant over splitting fields of Tits algebras

Invariants of Finite Orthogonal Groups of Plus Type in Odd Characteristic

Invariant rings of the special orthogonal group have nonunimodal $h$-vectors

Totally orthogonal finite simple groups

Orthogonal irreducible representations of finite solvable groups in odd dimension

Galois groups of low dimensional abelian varieties over finite fields

Modular invariants of a vector and a covector for some elementary abelian p-groups

Separating Tilting Modules

Words and polynomial invariants of finite groups in non-commutative variables

Modular invariants of a vector and a covector for some elementary abelian $p$-groups