Ratner's theorem and invariant theory

Akihiko Yukie

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

1997-10-24

Abstract:In this note, we consider applications of Ratner's theorem to constructions of families of polynomials with dense values on the set of primitive integer points from the viewpoint of invariant theory.

Representation Theory

What problem does this paper attempt to address?

The integer point transform as a complete invariant

Sinai Robins

DOI: https://doi.org/10.46298/cm.11218

2023-09-07

Abstract:The integer point transform $\sigma_{\mathcal P}$ is an important invariant of a rational polytope $\mathcal P$, and here we show that it is a complete invariant. We prove that it is only necessary to evaluate $\sigma_{\mathcal P}$ at one algebraic point in order to uniquely determine $\mathcal P$, by employing the Lindemann-Weierstrass theorem. Similarly, we prove that it is only necessary to evaluate the Fourier transform of a rational polytope $\mathcal P$ at a single algebraic point, in order to uniquely determine $\mathcal P$. We prove that identical uniqueness results also hold for integer cones. In addition, by relating the integer point transform to finite Fourier transforms, we show that a finite number of \emph{integer point evaluations} of $\sigma_{\mathcal P}$ suffice in order to uniquely determine $\mathcal P$. We also give an equivalent condition for central symmetry of a finite point set, in terms of the integer point transform, and prove some facts about its local maxima. Most of the results are proven for arbitrary finite sets of integer points in $\mathbb R^d$.

Combinatorics,Metric Geometry,Number Theory
Integer-valued polynomials on subsets of upper triangular matrix rings

A. R. Naghipour,J. Sedighi Hafshejani

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

2024-02-21

Communications in Algebra

Abstract:S. Frisch, showed that the integer-valued polynomials on upper triangular matrix ring IntTn(K)(Tn(D)):={f∈Tn(K)[x]|f(Tn(D))⊆Tn(D)} is a ring, where D is an integral domain with field of fractions K . Let R1⊆R2 be commutative rings with identity. In this paper, we study the set IntTn(R2)(Ω,Tn(R1)):={f∈Tn(R2)[x]|f(Ω)⊆Tn(R1)} for some subsets Ω⊆Tn(R1) . We generalize Frisch's result and show that IntTn(R2)(Tn(R1)):=IntTn(R2)(Tn(R1),Tn(R1)) is a ring. We state a lower bound for the Krull dimension of the integer-valued polynomials on upper triangular matrix rings. Finally, we state the concept of Skolem closure of an ideal of the integer-valued polynomials on upper triangular matrix rings and as a consequence, we obtain a classification of maximal ideals of the integer-valued polynomials on upper triangular matrix rings.

mathematics
Vanishing of quasi-invariant generalized functions

dihua jiang,binyong sun,chenbo zhu

2012-01-01

Abstract: Determination of quasi-invariant generalized functions is important for a variety of problems in representation theory, notably character theory and restriction problems. In this note, we review some new and easy-to-use techniques to show vanishing of quasi-invariant generalized functions, developed in the recent work of the authors (Uniqueness of Ginzburg-Rallis models: the Archimedean case, Trans. Amer. Math. Soc. 363, (2011), 2763-2802). The first two techniques involve geometric notions attached to submanifolds, which we call metrical properness and unipotent $\chi$-incompatibility. The third one is analytic in nature, and it arises from the first occurrence phenomenon in Howe correspondence. We also highlight how these techniques quickly lead to two well-known uniqueness results, on trilinear forms and Whittaker models.
Novel Theory for Polynomial and Rational Matrices at Infinity. Part 2. Rational Matrices

S TAN,J VANDEWALLE

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

IF: 2.102

1988-01-01

International Journal of Control

Abstract:The development reported in Part 1 of this series is continued by presenting a unifying theory for rational matrices at infinity. The cornerstone for the development is again the homogeneous form for polynomial and rational matrices. It is shown that when a rational matrix is factorized in matrix fraction description (MFD), redundancy at infinity may be introduced. This redundancy can be characterized precisely as the common divisor of the numerator and the denominator matrices at infinity. Moreover, when the numerator and the denominator matrices are completely coprime, the determinantal degree of the denominator is the McMillan degree of the rational matrix.
Robust Stability of Polynomials and Strictly Positive Realness Invariance of Rational Functions in Coefficient Space

Huang Lin

1992-01-01

Abstract:This paper discusses robust stability of polynomials and strictly positive realness invariance of rational functions in coefficient space in the sense of discrete time.We prove that,for certain superrcctanglc in coefficient space,the stability of all vertex polynomials implies the stability of the whole family,Similar results have been obtained for the strict positive realness of rational functions.
Invariant rational functions under rational transformations

Jason Bell,Rahim Moosa,Matthew Satriano

2024-03-12

Abstract:Let $X$ be an algebraic variety equipped with a dominant rational self-map $\phi:X\to X$. A new quantity measuring the interaction of $(X,\phi)$ with trivial dynamical systems is introduced; the stabilised algebraic dimension of $(X,\phi)$ captures the maximum number of new algebraically independent invariant rational functions on the cartesian product of $(X, \phi)$ and $(Y, \psi)$, as $(Y,\psi)$ ranges over all algebraic dynamical systems. It is shown that this birational invariant agrees with the maximum dimension of a dominant equivariant rational image $(X',\phi')$ where $\phi'$ is part of an algebraic group action on $X'$. As a consequence, it is deduced that if some cartesian power of $(X,\phi)$ admits a nonconstant invariant rational function, then already the second cartesian power does.

Algebraic Geometry,Dynamical Systems,Logic
On enumeration in classical invariant theory

Bruce W. Westbury

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

2014-08-06

Abstract:In this paper we study the Frobenius characters of the invariant subspaces of the tensor powers of a representation V. The main result is a formula for these characters for a polynomial functor of V involving the characters for V. The main application is to representations V for which these characters are known. The best understood case is for V the vector representation of a symplectic group or special linear group. Other cases where there are some related results are the defining representations of the symmetric groups and the adjoint representations of the general linear groups. This formula uses methods of enumerative combinatorics and in particular is similar to the cycle index series of regular graphs.

Representation Theory
A note on Shintani's invariants

Bora Yalkinoglu

2024-08-14

Abstract:Shintani's famous invariants conjecturally generate abelian extensions of real quadratic number fields and thus give a conjectural solution to Hilbert's 12th problem. In the present note, we find new expressions for Shintani's invariants by generalising an observation due to Yamamoto who showed that Shintani's invariants, originally expressed in terms of the double sine function, can be written in terms of the q-Pochhammer (or q-Exponential) function.

Number Theory
Novel Theory for Polynomial and Rational Matrices at Infinity. Part1. Polynomial Matrices

S TAN,J VANDEWALLE

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

IF: 2.102

1988-01-01

International Journal of Control

Abstract:A new approach for dealing with the structural properties of polynomial and rational matrices at infinity is presented. In this first part of the development, the attention is focused on polynomial matrices. Some fundamental notions and definitions such as the notion of homogeneous form for polynomial matrices are introduced. These enable us to define important concepts such as the cancellation at infinity, coprimeness at infinity, etc. for polynomial matrices in precisely the same way as for their finite counterparts. We demonstrate that our approach allows interesting generalizations of some important conventional concepts.
Iterative constructions of irreducible polynomials from isogenies

Alp Bassa,Gaetan Bisson,Roger Oyono

2023-11-04

Abstract:Let $S$ be a rational fraction and let $f$ be a polynomial over a finite field. Consider the transform $T(f)=\operatorname{numerator}(f(S))$. In certain cases, the polynomials $f$, $T(f)$, $T(T(f))\dots$ are all irreducible. For instance, in odd characteristic, this is the case for the rational fraction $S=(x^2+1)/(2x)$, known as the $R$-transform, and for a positive density of all irreducible polynomials $f$. We interpret these transforms in terms of isogenies of elliptic curves. Using complex multiplication theory, we devise algorithms to generate a large number of other rational fractions $S$, each of which yields infinite families of irreducible polynomials for a positive density of starting irreducible polynomials $f$.

Number Theory
Rational powers, invariant ideals, and the summation formula

Sankhaneel Bisui,Sudipta Das,Tài Huy Hà,Jonathan Montaño

2024-02-20

Abstract:We study the Rees valuations and rational powers of several classes of invariant ideals, providing explicit descriptions in terms of certain polyhedra. This allows us to show that a version of Musta\c{t}\u{a}-Takagi's summation formula for rational powers holds for these ideals. Moreover, for arbitrary ideals over the complex numbers, we prove a weaker version of this formula that holds for high enough rational numbers. Our methods lead to a definition of rational powers of ideal sheaves in normal complex varieties inspired by work of Lejeune-Jalabert-Teissier and Lazarsfeld.

Commutative Algebra
A refinement of Reznick's Positivstellensatz with applications to quantum information theory

Alexander Müller-Hermes,Ion Nechita,David Reeb

DOI: https://doi.org/10.22331/q-2023-05-12-1001

2023-06-05

Abstract:In his solution of Hilbert's 17th problem Artin showed that any positive definite polynomial in several variables can be written as the quotient of two sums of squares. Later Reznick showed that the denominator in Artin's result can always be chosen as an $N$-th power of the squared norm of the variables and gave explicit bounds on $N$. By using concepts from quantum information theory (such as partial traces, optimal cloning maps, and an identity due to Chiribella) we give simpler proofs and minor improvements of both real and complex versions of this result. Moreover, we discuss constructions of Hilbert identities using Gaussian integrals and we review an elementary method to construct complex spherical designs. Finally, we apply our results to give improved bounds for exponential quantum de Finetti theorems in the real and in the complex setting.

Quantum Physics,Mathematical Physics
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
On the Non p-Rationality and Iwasawa Invariants of Certain Real Quadratic Fields

Peikai Qi,Matt Stokes

2024-08-07

Abstract:Let $p$ be an odd prime, and $m,r \in \mathbb{Z}^+$ with $m$ coprime to $p$. In this paper we investigate the real quadratic fields $K = \mathbb{Q}(\sqrt{m^2p^{2r} + 1})$. We first show that for $m < C$, where constant $C$ depends on $p$, the fundamental unit $\varepsilon$ of $K$ satisfies the congruence $\varepsilon^{p-1} \equiv 1 \mod{p^2}$, which implies that $K$ is a non $p$-rational field. Varying $r$ then gives an infinite family of non $p$-rational fields. When $m = 1$ and $p$ is a non-Wieferich prime, we use a criterion of Fukuda and Komatsu to show that if $p$ does not divide the class number of $K$, then the Iwasawa invariants for cyclotomic $\mathbb{Z}_p$-extension of $K$ vanish. We conjecture that there are infinitely many $r$ such that $p$ does not divide the class number of $K$.

Number Theory
Arithmetic Invariant Theory of Reductive Groups

Yidi Wang

2024-10-17

Abstract:In this manuscript, we define the notion of linearly reductive groups over commutative unital rings and study the Cohen-Macaulay property of the ring of invariants under rational actions of a linearly reductive group. Moreover, we study the equivalence of different notions of reductivity over regular rings of Krull dimension two by studying these properties locally.

Representation Theory,Commutative Algebra
Effective Invariant Theory of Permutation Groups using Representation Theory

Nicolas Borie

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

2015-11-03

Combinatorics

Abstract:Using the theory of representations of the symmetric group, we propose an algorithm to compute the invariant ring of a permutation group. Our approach have the goal to reduce the amount of linear algebra computations and exploit a thinner combinatorial description of the invariant ring.
On polynomial invariant rings in modular invariant theory

Manoj Kummini,Mandira Mondal

2024-06-24

Abstract:Let $\Bbbk$ be a field of characteristic $p>0$, $V$ a finite-dimensional $\Bbbk$-vector-space, and $G$ a finite $p$-group acting $\Bbbk$-linearly on $V$. Let $S = \Sym V^*$. We show that $S^G$ is a polynomial ring if and only if the dimension of its singular locus is less than $\rank_\Bbbk V^G$. Confirming a conjecture of Shank-Wehlau-Broer, we show that if $S^G$ is a direct summand of $S$, then $S^G$ is a polynomial ring, in the following cases: \begin{enumerate} \item $\Bbbk = \bbF_p$ and $\rank_\Bbbk V^G = 4$; or \item $|G| = p^3$. \end{enumerate} In order to prove the above result, we also show that if $\rank_\Bbbk V^G \geq \rank_\Bbbk V - 2$, then the Hilbert ideal $\hilbertIdeal_{G,S}$ is a complete intersection.

Commutative Algebra
Some Remarks on Random Vectors and $O(n)$-Invariants

Alexander Kushkuley

2023-03-10

Abstract:Computations involving invariant random vectors are directly related to the theory of invariants (cf. e.g \cite{Weing_1}). Some simple observations along these lines are presented in this paper. We note in particular that sum of elements of the standard basis of $ O(n)$-invariants is equal to the expectation of a random Veronese tensor up to a known scalar multiplier.

Numerical Analysis,Probability,Representation Theory
Linking Invariants for Valuations and Orderings on Fields

Ido Efrat

2024-09-19

Abstract:The mod-2 arithmetic Milnor invariants, introduced by Morishita, provide a decomposition law for primes in canonical Galois extensions of $\mathbb{Q}$ with unitriangular Galois groups, and contain the Legendre and Redei symbols as special cases. Morishita further proposed a notion of mod-q arithmetic Milnor invariants, where q is a prime power, for number fields containing the q-th roots of unity and satisfying certain class field theory assumptions. We extend this theory from the number field context to general fields, by introducing a notion of a linking invariant for discrete valuations and orderings. We further express it as a Magnus homomorphism coefficient, and relate it to Massey product elements in Galois cohomology.

Number Theory
Remarks on two theorems in linear algebra

Yifan Ren,Tongsuo Wu

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

2019-12-07

Abstract:In this note, we use the concept of a polynomial ring to give an elementary proof to Cayley-Hamilton Theorem. We also give an elementary proof to Birkhoff theorem on Bi-stochastic matrices.

History and Overview

Ratner's theorem and invariant theory

The integer point transform as a complete invariant

Integer-valued polynomials on subsets of upper triangular matrix rings

Vanishing of quasi-invariant generalized functions

Novel Theory for Polynomial and Rational Matrices at Infinity. Part 2. Rational Matrices

Robust Stability of Polynomials and Strictly Positive Realness Invariance of Rational Functions in Coefficient Space

Invariant rational functions under rational transformations

On enumeration in classical invariant theory

A note on Shintani's invariants

Novel Theory for Polynomial and Rational Matrices at Infinity. Part1. Polynomial Matrices

Iterative constructions of irreducible polynomials from isogenies

Rational powers, invariant ideals, and the summation formula

A refinement of Reznick's Positivstellensatz with applications to quantum information theory

The -invariant over splitting fields of Tits algebras

On the Non p-Rationality and Iwasawa Invariants of Certain Real Quadratic Fields

Arithmetic Invariant Theory of Reductive Groups

Effective Invariant Theory of Permutation Groups using Representation Theory

On polynomial invariant rings in modular invariant theory

Some Remarks on Random Vectors and $O(n)$-Invariants

Linking Invariants for Valuations and Orderings on Fields

Remarks on two theorems in linear algebra