arXiv Science⌕ Search

arXiv subjects

Uzi Vishne

Publications and source records attributed to Uzi Vishne.

At least 19 recordsLinked to original sources
arXiv2026

Stabilizers in Coxeter groups with a transpositional action

We study simply-laced Coxeter groups whose Coxeter diagram is the line graph $\mathcal{L}Γ$ of some simple graph $Γ$; such groups act on the set of vertices of the graph by transpositions. Our goal is to describe the point stabilizer of this action in detail. For any tree $Σ$, we show that the stabilizer is a finite-index reflection subgroup, and identify its Coxeter diagram, thereby discovering finite-index embeddings of Coxeter groups $W(\mathcal{L}^{[2]}Σ) \hookrightarrow W(\mathcal{L}Σ)$ for any tree $Σ$, including infinitely many cases where the stabilizer itself is simply-laced.

math.GR↗
arXiv2026

Makar-Limanov's problem on values of polynomials on matrices

Suppose $F$ is an infinite field and let $f \in F\{X_1, \dots,X_m\}$ be a noncommutative polynomial. Partially answering a query of Makar-Limanov, we show that there are numbers $d$ and $m'$ such that, if $F$ is closed under taking $d$th roots, for any $n \ge m'$ there are matrices $A_1,\dots,A_m$ in~$M_n(F)$ such that $f(A_1,\dots,A_m)$ is upper triangular with $n-m'$ prescribed diagonal entries. When f is homogeneous, $f(A_1,\dots,A_m)$ is diagonal with $n-m'$ prescribed diagonal entries. When f is multilinear, we can take $d=1$ and $m' = [\frac{m-1}{2}]$, and the upper left $(n-m')\times (n-m')$ piece of $f(A_1,\dots,A_m)$ can be taken to be $diag(β_1,\dots, β_{n-m'})$, for indeterminates $β_i$. Furthermore, if $f$ is not a polynomial identity of $ k \times k $ matrices, then at least $ n - k $ characteristic values of $ f(A_1,\dots,A_m) $ may be taken to be algebraically independent.

math.RA↗
arXiv2025

Quotients of Buildings by Non-uniform Lattices

We consider quotients of the Bruhat-Tits building associated to the projective linear groups of dimension $d>2$ over the function field $\mathbb F_q(t)$ by a non-uniform lattice $Γ$ which is a congruence subgroup in the non-uniform lattice $ PGL_{d}(R)$, where $R=\mathbb F_q[\frac{1}{t}]$. We determine a fundamental domain and demonstrate that the quotient, while not cofinite, is at least of finite covolume. We do the case $d=3$ in considerable detail.

math.RT↗
arXiv2025

Mixability of finite groups

Say that a finite group $G$ is mixable if a product of random elements, each chosen independently from two options, can distribute uniformly on $G$. We present conditions and obstructions to mixability. We show that $2$-groups, the symmetric groups, the simple alternating groups, several matrix and sporadic simple groups, and most finite Coxeter groups, are mixable. We also provide bounds on the mixing length of such groups.

math.GR↗
arXiv2024

Loops with involution and the Cayley-Dickson doubling process

We develop a theory of loops with involution. On this basis we define a Cayley-Dickson doubling on loops, and use it to investigate the lattice of varieties of loops with involution, focusing on properties that remain valid in the Cayley-Dickson double. Specializing to central-by-abelian loops with elementary abelian $2$-group quotients, we find conditions under which one can characterize the automorphism groups of iterated Cayley-Dickson doubles. A key result is a corrected proof that for $n>3$, the automorphism group of the Cayley-Dickson loop $Q_n$ is $\text{GL}_3(\mathbb{F}_2) \times \{\pm 1\}^{n-3}$.

math.CO↗
arXiv2024

The fundamental group of Galois covers of surfaces with octahedral envelope

We compute the fundamental group of the Galois cover of a surface of degree~$8$, with singularities of degree $4$, whose degeneration envelope is isomorphic to an octahedron. The group is shown to be a metabelian group of order $2^{23}$. The computation amalgamates local groups, classified elsewhere, by an iterative combination of computational and group theoretic methods. Three simplified surfaces, for which the fundamental group of the Galois cover is trivial, demonstrate how nontrivial cycles in the degenerated surface complicate the computation.

math.AG↗
arXiv2023

Semiassociative algebras over a field

An associative central simple algebra is a form of matrices, because a maximal étale subalgebra acts on the algebra faithfully by left and right multiplication. In an attempt to extract and isolate the full potential of this point of view, we study nonassociative algebras whose nucleus contains an étale subalgebra bi-acting faithfully on the algebra. These algebras, termed semiassociative, are shown to be the forms of skew matrices, which we are led to define and investigate. Semiassociative algebras modulo skew matrices compose a Brauer monoid, which contains the Brauer group of the field as a unique maximal subgroup.

math.RA↗
arXiv2023

The algebra of supernatural matrices

The algebra of supernatural matrices is a key example in the theory of locally finite central simple algebras, which studied in a previous paper of the authors (\cite{Local}). It is also a stand-alone object admits a rich study and various connections to other fields. The goal of this paper is to expose some new information about supernatural matrices, mainly in terms of the "inner" ways to identify such algebras, and their appearance as minimal solutions to equations of the form $M_n(A)\cong A$. Viewing a natural representation of this algebra, we show that supernatural matrices generalize both McCrimmon's deep matrices algebra and $m$-petal Leavitt path algebra. We also study their simple representations.

math.RA↗
arXiv2023

Representability of relatively free affine algebras over a Noetherian ring

Over the years questions have arisen about T-ideals of (noncommutative) polynomials. But when evaluating a noncentral polynomial in subalgebras of matrices, one often has little control in determining the specific evaluations of the polynomial. One way of overcoming this difficulty in characteristic 0, is to reduce to multilinear polynomials and utilizing the representation theory of the symmetric group. But this technique is unavailable in characteristic $p>0$. An alternative method, which succeeds, is the process of ``hiking'' a polynomial, in which one specializes its indeterminates in several stages, to obtain a polynomial that contains Capelli polynomials, in order to get control on its evaluations. This method was utilized on homogeneous polynomials in the proof of Specht's conjecture for affine algebras over fields of positive characteristic. In this paper we develop hiking further to nonhomogeneous polynomials, to apply to the representability question. Kemer proved in 1988 that every affine relatively free PI algebra over an infinite field, is representable. In 2010, the first author of this paper proved more generally that every affine relatively free PI algebra over any commutative Noetherian unital ring is representable. We present a different, complete, proof, based on hiking nonhomogeneous polynomials, over finite fields. We then obtain the full result over a Noetherian commutative ring, using Noetherian induction on T-ideals. The bulk of the proof is for the case of a base field of positive characteristic. Here, whereas the usage of hiking is more direct than in proving Specht's conjecture, one must consider nonhomogeneous polynomials when the base ring is finite, which entails certain difficulties to be overcome. In the appendix we show how hiking can be adapted to prove the involutory versions, as well as various graded and nonassociative theorems.

math.RA↗
arXiv2019

Property testing and expansion in cubical complexes

We consider expansion and property testing in the language of incidence geometry, covering both simplicial and cubical complexes in any dimension. We develop a general method for passing from an explicit description of the cohomology group, which need not be trivial, to a testability proof with linear ratio between errors. The method is demonstrated by testing functions on 2-cells in cubical complexes to be induced from the edges.

math.CO↗
arXiv2018

Representability of affine algebras over an arbitrary field

In a series of papers, we used full quivers as tools in describing PI-varieties of algebras and providing a complete proof of Belov's solution of Specht's problem for affine algebras over an arbitrary Noetherian ring. In this paper, utilizing ideas from that work, we give a full exposition of Belov's theorem that relatively free affine PI-algebras over an arbitrary field are representable. (Kemer proved the theorem over an infinite field.)

math.RA↗
arXiv2017

Linkage of Quadratic Pfister Forms

We study the necessary conditions for sets of quadratic $n$-fold Pfister forms to have a common $(n-1)$-fold Pfister factor. For any set $S$ of $n$-fold Pfister forms generating a subgroup of $I_q^n F/I_q^{n+1} F$ of order $2^s$ in which every element has an $n$-fold Pfister representative, we associate an invariant in $I_q^{n+1} F$ which lives inside $I_q^{n+s-1} F$ when the forms in $S$ have a common $(n-1)$-fold Pfister factor. We study the properties of this invariant and compute it explicitly in a few interesting cases.

math.RA↗
arXiv2016

Bimodule Structure of Central Simple Algebras

For a maximal separable subfield $K$ of a central simple algebra $A$, we provide a semiring isomorphism between $K$-$K$-bimodules $A$ and $H$-$H$ bisets of $G = \Gal(L/F)$, where $F = \operatorname{Z}(A)$, $L$ is the Galois closure of $K/F$, and $H = \Gal(L/K)$. This leads to a combinatorial interpretation of the growth of $\dim_K((KaK)^i)$, for fixed $a \in A$, especially in terms of Kummer sets.

math.RA↗
arXiv2015

Unions of Chains of Primes

The union of an ascending chain of prime ideals is not always prime. We show that this property is independent of the parallel property for semiprimes. We also show that the PI-class is a tight bound on the number of non-prime unions of subchains in a chain of primes in a PI-algebra.

math.RA↗
arXiv2015

Bolza quaternion order and asymptotics of systoles along congruence subgroups

We give a detailed description of the arithmetic Fuchsian group of the Bolza surface and the associated quaternion order. This description enables us to show that the corresponding principal congruence covers satisfy the bound sys(X) > 4/3 log g(X) on the systole, where g is the genus. We also exhibit the Bolza group as a congruence subgroup, and calculate out a few examples of "Bolza twins" (using magma). Like the Hurwitz triplets, these correspond to the factoring of certain rational primes in the ring of integers of the invariant trace field of the surface. We exploit random sampling combined with the Reidemeister-Schreier algorithm as implemented in magma to generate these surfaces.

math.DG↗
arXiv2015

Kummer Spaces in Cyclic Algebras of Prime Degree

We classify the monomial Kummer subspaces of division cyclic algebras of prime degree $p$, showing that every such space is standard, and in particular the dimension is no greater than $p+1$. It follows that in a generic cyclic algebra, the dimension of any Kummer subspace is at most $p+1$.

math.RA↗
arXiv2015

The Grassmann algebra in arbitrary characteristic and generalized sign

We define a generalization $\mathfrak{G}$ of the Grassmann algebra $G$ which is well-behaved over arbitrary commutative rings $C$, even when $2$ is not invertible. In particular, this enables us to define a notion of superalgebras that does not become degenerate in such a setting. Using this construction we are able to provide a basis of the non-graded multilinear identities of the free superalgebra with supertrace, valid over any ring. We also show that all identities of $\mathfrak{G}$ follow from the Grassmann identity, and explicitly give its co-modules, which turn out to be generalizations of the sign representation. In particular, we show that the co-module is a free $C$-module of rank $2^{n-1}$.

math.RA↗