-
Counterexamples in Involutions of Azumaya Algebras
Authors:
Uriya First,
Ben Williams
Abstract:
Suppose $A$ is an Azumaya algebra over a ring $R$ and $σ$ is an involution of $A$ extending an order-$2$ automorphism $λ:R\to R$. We say $σ$ is extraordinary if there does not exist a Brauer-trivial Azumaya algebra $\mathrm{End}_R(P)$ over $R$ carrying an involution $τ$ so that $(A, σ)$ and $(\mathrm{End}_R(P), τ)$ become isomorphic over some faithfully flat extension of the fixed ring of…
▽ More
Suppose $A$ is an Azumaya algebra over a ring $R$ and $σ$ is an involution of $A$ extending an order-$2$ automorphism $λ:R\to R$. We say $σ$ is extraordinary if there does not exist a Brauer-trivial Azumaya algebra $\mathrm{End}_R(P)$ over $R$ carrying an involution $τ$ so that $(A, σ)$ and $(\mathrm{End}_R(P), τ)$ become isomorphic over some faithfully flat extension of the fixed ring of $λ:R\to R$. We give, for the first time, an example of such an algebra and involution. We do this by finding suitable cohomological obstructions and showing they do not always vanish.
We also give an example of a commutative ring $R$ with involution $λ$ so that the scheme-theoretic fixed locus $Z$ of $λ:\mathrm{Spec} R\to \mathrm{Spec} R$ is disconnected, but such that every Azumaya algebra over $R$ with involution extending $λ$ is either orthogonal at every point of $Z$, or symplectic at every point of $Z$. No examples of this kind were previously known.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
Cosystolic Expansion of Sheaves on Posets with Applications to Good 2-Query Locally Testable Codes and Lifted Codes
Authors:
Uriya A. First,
Tali Kaufman
Abstract:
We study sheaves on posets, showing that cosystolic expansion of such sheaves can be derived from local expansion conditions of the sheaf and the poset (typically a high dimensional expander). When the poset at hand is a cell complex, a sheaf on it may be thought of as generalizing coefficient groups used for defining homology and cohomology, by letting the coefficient group vary along the cell co…
▽ More
We study sheaves on posets, showing that cosystolic expansion of such sheaves can be derived from local expansion conditions of the sheaf and the poset (typically a high dimensional expander). When the poset at hand is a cell complex, a sheaf on it may be thought of as generalizing coefficient groups used for defining homology and cohomology, by letting the coefficient group vary along the cell complex. Previous works established local criteria for cosystolic expansion only for simplicial complexes and with respect to constant coefficients. Cosystolic expansion of sheaves is related to property testing. We use this relation and our local criterion for cosystolic expansion to give two applications to locally testable codes (LTCs).
First, we show the existence of good $2$-query LTCs. These codes are related to the recent good $q$-query LTCs of Dinur et. al and Panteleev-Kalachev, being the formers' so-called line codes, but we get them from a new, more illuminating perspective, namely, by realizing them as cocycle codes of sheaves over posets. We then derive their good properties directly from our criterion for cosystolic expansion.
Second, we give a local criterion for a a lifted code (with some auxiliary structure) to be locally testable. This improves on a previous work of Dikstein et. al, where it was shown that one can obtain local testability of lifted codes from a mixture of local and global conditions.
△ Less
Submitted 13 May, 2024; v1 submitted 28 March, 2024;
originally announced March 2024.
-
Algebraic Groups with Torsors That Are Versal for All Affine Varieties
Authors:
Uriya A. First,
Mathieu Florence,
Zev Rosengarten
Abstract:
Let $k$ be a field and let $G$ be an affine $k$-algebraic group. Call a $G$-torsor weakly versal for a class of $k$-schemes $\mathscr{C}$ if it specializes to every $G$-torsor over a scheme in $\mathscr{C}$. A recent result of the first author, Reichstein and Williams says that for any $d\geq 0$, there exists a $G$-torsor over a finite type $k$-scheme that is weakly versal for finite type affine…
▽ More
Let $k$ be a field and let $G$ be an affine $k$-algebraic group. Call a $G$-torsor weakly versal for a class of $k$-schemes $\mathscr{C}$ if it specializes to every $G$-torsor over a scheme in $\mathscr{C}$. A recent result of the first author, Reichstein and Williams says that for any $d\geq 0$, there exists a $G$-torsor over a finite type $k$-scheme that is weakly versal for finite type affine $k$-schemes of dimension at most $d$. The first author also observed that if $G$ is unipotent, then $G$ admits a torsor over a finite type $k$-scheme that is weakly versal for all affine $k$-schemes, and that the converse holds if $\operatorname{char} k=0$. In this work, we extend this to all fields, showing that $G$ is unipotent if and only if it admits a $G$-torsor over a quasi-compact base that is weakly versal for all finite type regular affine $k$-schemes. Our proof is characteristic-free and it also gives rise to a quantitative statement: If $G$ is a non-unipotent subgroup of $\mathbf{GL}_n$, then a $G$-torsor over a quasi-projective $k$-scheme of dimension $d$ is not weakly versal for finite type regular affine $k$-schemes of dimension $n(d+1)+2$. This means in particular that every such $G$ admits a nontrivial torsor over a regular affine $(n+2)$-dimensional variety. When $G$ contains a nontrivial torus, we show that nontrivial torsors already exist over $3$-dimensional smooth affine varieties (even when $G$ is special), and this is optimal in general.
In the course of the proof, we show that for every $m,\ell\in\mathbb{N}\cup\{0\}$ with $\ell\neq 1$, there exists a smooth affine $k$-scheme $X$ carrying an $\ell$-torsion line bundle that cannot be generated by $m$ global sections. We moreover study the minimal possible dimension of such an $X$ and show that it is $m$, $m+1$ or $m+2$.
△ Less
Submitted 9 January, 2024;
originally announced January 2024.
-
Highly Versal Torsors
Authors:
Uriya A. First
Abstract:
Let $G$ be a linear algebraic group over an infinite field $k$. Loosely speaking, a $G$-torsor over $k$-variety is said to be versal if it specializes to every $G$-torsor over any $k$-field. The existence of versal torsors is well-known. We show that there exist $G$-torsors that admit even stronger versality properties. For example, for every $d\in\mathbb{N}$, there exists a $G$-torsor over a smoo…
▽ More
Let $G$ be a linear algebraic group over an infinite field $k$. Loosely speaking, a $G$-torsor over $k$-variety is said to be versal if it specializes to every $G$-torsor over any $k$-field. The existence of versal torsors is well-known. We show that there exist $G$-torsors that admit even stronger versality properties. For example, for every $d\in\mathbb{N}$, there exists a $G$-torsor over a smooth quasi-projective $k$-scheme that specializes to every torsor over a quasi-projective $k$-scheme after removing some codimension-$d$ closed subset from the latter. Moreover, such specializations are abundant in a well-defined sense. Similar results hold if we replace $k$ with an arbitrary base-scheme. In the course of the proof we show that every globally generated rank-$n$ vector bundle over a $d$-dimensional $k$-scheme of finite type can be generated by $n+d$ global sections.
When $G$ can be embedded in a group scheme of unipotent upper-triangular matrices, we further show that there exist $G$-torsors specializing to every $G$-torsor over any affine $k$-scheme. We show that the converse holds when $\operatorname{char} k=0$.
We apply our highly versal torsors to show that, for fixed $m,n\in\mathbb{N}$, the symbol length of any degree-$m$ period-$n$ Azumaya algebra over any local $\mathbb{Z}[\frac{1}{n},e^{2πi/n}]$-ring is uniformly bounded. A similar statement holds in the semilocal case, but under mild restrictions on the base ring.
△ Less
Submitted 13 July, 2023; v1 submitted 23 January, 2023;
originally announced January 2023.
-
On Good $2$-Query Locally Testable Codes from Sheaves on High Dimensional Expanders
Authors:
Uriya A. First,
Tali Kaufman
Abstract:
We expose a strong connection between good $2$-query locally testable codes (LTCs) and high dimensional expanders. Here, an LTC is called good if it has constant rate and linear distance. Our emphasis in this work is on LTCs testable with only $2$ queries, which are of particular interest to theoretical computer science. This is done by introducing a new object called a sheaf that is put on top of…
▽ More
We expose a strong connection between good $2$-query locally testable codes (LTCs) and high dimensional expanders. Here, an LTC is called good if it has constant rate and linear distance. Our emphasis in this work is on LTCs testable with only $2$ queries, which are of particular interest to theoretical computer science. This is done by introducing a new object called a sheaf that is put on top of a high dimensional expander. Sheaves are vastly studied in topology. Here, we introduce sheaves on simplicial complexes. Moreover, we define a notion of an expanding sheaf that has not been studied before.
We present a framework to get good infinite families of $2$-query LTCs from expanding sheaves on high dimensional expanders, utilizing towers of coverings of these high dimensional expanders. Starting with a high dimensional expander and an expanding sheaf, our framework produces an infinite family of codes admitting a $2$-query tester. We show that if the initial sheaved high dimensional expander satisfies some conditions, which can be checked in constant time, then these codes form a family of good $2$-query LTCs.
We give candidates for sheaved high dimensional expanders which can be fed into our framework, in the form of an iterative process which conjecturally produces such candidates given a high dimensional expander and a special auxiliary sheaf. (We could not verify the prerequisites of our framework for these candidates directly because of computational limitations.) We analyse this process experimentally and heuristically, and identify some properties of the fundamental group of the high dimensional expander at hand which are sufficient (but not necessary) to get the desired sheaf, and consequently an infinite family of good $2$-query LTCs.
△ Less
Submitted 13 May, 2024; v1 submitted 2 August, 2022;
originally announced August 2022.
-
The Cheeger Inequality and Coboundary Expansion: Beyond Constant Coefficients
Authors:
Uriya A. First,
Tali Kaufman
Abstract:
The Cheeger constant of a graph, or equivalently its coboundary expansion, quantifies the expansion of the graph. This notion assumes an implicit choice of a coefficient group, namely, $\mathbb{F}_2$. In this paper, we study Cheeger-type inequalities for graphs endowed with a generalized coefficient group, called a sheaf; this is motivated by applications to locally testable codes. We prove that a…
▽ More
The Cheeger constant of a graph, or equivalently its coboundary expansion, quantifies the expansion of the graph. This notion assumes an implicit choice of a coefficient group, namely, $\mathbb{F}_2$. In this paper, we study Cheeger-type inequalities for graphs endowed with a generalized coefficient group, called a sheaf; this is motivated by applications to locally testable codes. We prove that a graph is a good spectral expander if and only if it has good coboundary expansion relative to any (resp. some) constant sheaf, equivalently, relative to any `ordinary' coefficient group. We moreover show that sheaves that are close to being constant in a well-defined sense are also good coboundary expanders, provided that their underlying graph is an expander, thus giving the first example of good coboundary expansion in non-cosntant sheaves. By contrast, for general sheaves on graphs, it is impossible to relate the expansion of the graph and the coboundary expansion of the sheaf.
In addition, we show that the normalized second eigenvalue of the (weighted) graph underlying a $q$-thick $d$-dimensional spherical building is $O(\frac{1}{\sqrt{q}-3d})$ if $q>9d^2$, and plug this into our results about coboundary expansion of sheaves to get explicit bounds on the coboundary expansion in terms of $q$ and $d$. It approaches a constant as $q$ grows.
Along the way, we prove a new version of the Expander Mixing Lemma applying to $r$-partite weighted graphs.
△ Less
Submitted 21 November, 2023; v1 submitted 2 August, 2022;
originally announced August 2022.
-
The Brauer Class of an Azumaya Algebra with an Orthogonal Involution Admitting a Unitary Element of Reduced Norm $-1$ is Trivial
Authors:
Uriya A. First
Abstract:
Let $(A,σ)$ be an Azumaya algebra with an orthogonal involution over a ring $R$. We prove that if there exists $a\in A$ such that $σ(a)a=1$ and $\operatorname{Nrd}_{A/R}(a)=-1$, then the Brauer class of $A$ is trivial. This is well-known when $R$ is a field, and was proved recently by the author when $R$ is semilocal. The proof for general $R$ is very different from the semilocal case, and does no…
▽ More
Let $(A,σ)$ be an Azumaya algebra with an orthogonal involution over a ring $R$. We prove that if there exists $a\in A$ such that $σ(a)a=1$ and $\operatorname{Nrd}_{A/R}(a)=-1$, then the Brauer class of $A$ is trivial. This is well-known when $R$ is a field, and was proved recently by the author when $R$ is semilocal. The proof for general $R$ is very different from the semilocal case, and does not extend to Azumaya algebras over non-affine schemes. We also show that at this level of generality, the hypotheses on $(A,σ)$ do not guarantee that $A$ is a matrix algebra over $R$.
△ Less
Submitted 13 January, 2022;
originally announced January 2022.
-
On The Gersten-Witt Complex of an Azumaya Algebra with Involution
Authors:
Uriya A. First
Abstract:
Let $(A,σ)$ be an Azumaya algebra with involution over a regular ring $R$. We prove that the Gersten-Witt complex of $(A,σ)$ defined by Gille is isomorphic to the Gersten-Witt complex of $(A,σ)$ defined by Bayer-Fluckiger, Parimala and the author. Advantages of both constructions are used to show that the Gersten-Witt complex is exact when $\dim R\leq 3$, $\mathrm{ind}\, A\leq 2$ and $σ$ is orthog…
▽ More
Let $(A,σ)$ be an Azumaya algebra with involution over a regular ring $R$. We prove that the Gersten-Witt complex of $(A,σ)$ defined by Gille is isomorphic to the Gersten-Witt complex of $(A,σ)$ defined by Bayer-Fluckiger, Parimala and the author. Advantages of both constructions are used to show that the Gersten-Witt complex is exact when $\dim R\leq 3$, $\mathrm{ind}\, A\leq 2$ and $σ$ is orthogonal or symplectic. This means that the Grothendieck-Serre conjecture holds for the group $R$-scheme of $σ$-unitary elements in $A$ under the same hypotheses; $R$ is not required to contain a field.
△ Less
Submitted 30 January, 2022; v1 submitted 11 February, 2021;
originally announced February 2021.
-
On the number of generators of an algebra over a commutative ring
Authors:
Uriya A. First,
Zinovy Reichstein,
Ben Willams
Abstract:
A theorem of O. Forster says that if $R$ is a noetherian ring of Krull dimension $d$, then any projective $R$-module of rank $n$ can be generated by $d+n$ elements. S. Chase and R. Swan subsequently showed that this bound is sharp: there exist examples that cannot be generated by fewer than $d+n$ elements. We view projective $R$-modules as $R$-forms of the non-unital $R$-algebra where the product…
▽ More
A theorem of O. Forster says that if $R$ is a noetherian ring of Krull dimension $d$, then any projective $R$-module of rank $n$ can be generated by $d+n$ elements. S. Chase and R. Swan subsequently showed that this bound is sharp: there exist examples that cannot be generated by fewer than $d+n$ elements. We view projective $R$-modules as $R$-forms of the non-unital $R$-algebra where the product of any two elements is $0$. The first two authors generalized Forster's theorem to forms of other algebras (not necessarily commutative, associative or unital); A. Shukla and the third author then showed that this generalized Forster bound is optimal for étale algebras.
In this paper, we prove new upper and lower bound on the number of generators of an $R$-form of a $k$-algebra, where $k$ is an infinite field and $R$ has finite transcendence degree $d$ over $k$. In particular, we show that, contrary to expectations, for most types of algebras, the generalized Forster bound is far from optimal. Our results are particularly detailed in the case of Azumaya algebras. Our proofs are based on reinterpreting the problem as a question about approximating the classifying stack $BG$, where $G$ is the automorphism group of the algebra in question, by algebraic spaces of a certain form.
△ Less
Submitted 28 September, 2021; v1 submitted 14 December, 2020;
originally announced December 2020.
-
On the Grothendieck-Serre Conjecture for Classical Groups
Authors:
Eva Bayer-Fluckiger,
Uriya A. First,
Raman Parimala
Abstract:
We prove some new cases of the Grothendieck-Serre conjecture for classical groups. This is based on a new construction of the Gersten-Witt complex for Witt groups of Azumaya algebras with involution on regular semilocal rings, with explicit second residue maps; the complex is shown to be exact when the ring is of dimension $\le 2$ (or $\le 4$, with additional hypotheses on the algebra with involut…
▽ More
We prove some new cases of the Grothendieck-Serre conjecture for classical groups. This is based on a new construction of the Gersten-Witt complex for Witt groups of Azumaya algebras with involution on regular semilocal rings, with explicit second residue maps; the complex is shown to be exact when the ring is of dimension $\le 2$ (or $\le 4$, with additional hypotheses on the algebra with involution). Note that we do not assume that the ring contains a field.
△ Less
Submitted 5 April, 2022; v1 submitted 18 November, 2019;
originally announced November 2019.
-
A spectral theory for transverse tensor operators
Authors:
Uriya First,
Joshua Maglione,
James B. Wilson
Abstract:
Tensors are multiway arrays of data, and transverse operators are the operators that change the frame of reference. We develop the spectral theory of transverse tensor operators and apply it to problems closely related to classifying quantum states of matter, isomorphism in algebra, clustering in data, and the design of high performance tensor type-systems. We prove the existence and uniqueness of…
▽ More
Tensors are multiway arrays of data, and transverse operators are the operators that change the frame of reference. We develop the spectral theory of transverse tensor operators and apply it to problems closely related to classifying quantum states of matter, isomorphism in algebra, clustering in data, and the design of high performance tensor type-systems. We prove the existence and uniqueness of the optimally-compressed tensor product spaces over algebras, called \emph{densors}. This gives structural insights for tensors and improves how we recognize tensors in arbitrary reference frames. Using work of Eisenbud--Sturmfels on binomial ideals, we classify the maximal groups and categories of transverse operators, leading us to general tensor data types and categorical tensor decompositions, amenable to theorems like Jordan--Hölder and Krull--Schmidt. All categorical tensor substructure is detected by transverse operators whose spectra contain a Stanley--Reisner ideal, which can be analyzed with combinatorial and geometrical tools via their simplicial complexes. Underpinning this is a ternary Galois correspondence between tensor spaces, multivariable polynomial ideals, and transverse operators. This correspondence can be computed in polynomial time. We give an implementation in the computer algebra system \textsf{Magma}.
△ Less
Submitted 11 May, 2020; v1 submitted 6 November, 2019;
originally announced November 2019.
-
An $8$-Periodic Exact Sequence of Witt Groups of Azumaya Algebras with Involution
Authors:
Uriya A. First
Abstract:
Given an Azumaya algebra with involution $(A,σ)$ over a commutative ring $R$ and some auxiliary data, we construct an $8$-periodic chain complex involving the Witt groups of $(A,σ)$ and other algebras with involution, and prove it is exact when $R$ is semilocal. When $R$ is a field, this recovers an $8$-periodic exact sequence of Witt groups of Grenier-Boley and Mahmoudi, which in turn generalizes…
▽ More
Given an Azumaya algebra with involution $(A,σ)$ over a commutative ring $R$ and some auxiliary data, we construct an $8$-periodic chain complex involving the Witt groups of $(A,σ)$ and other algebras with involution, and prove it is exact when $R$ is semilocal. When $R$ is a field, this recovers an $8$-periodic exact sequence of Witt groups of Grenier-Boley and Mahmoudi, which in turn generalizes exact sequences of Parimala--Sridharan--Suresh and Lewis. We apply this result in several ways: We establish the Grothendieck--Serre conjecture on principal homogeneous bundles and the local purity conjecture for certain outer forms of $\mathbf{GL}_n$ and $\mathbf{Sp}_{2n}$, provided some assumptions on $R$. We show that a $1$-hermitian form over a quadratic étale or quaternion Azumaya algebra over a semilocal ring $R$ is isotropic if and only if its trace (a quadratic form over $R$) is isotropic, generalizing a result of Jacobson. We also apply it to characterize the kernel of the restriction map $W(R)\to W(S)$ when $R$ is a (non-semilocal) $2$-dimensional regular domain and $S$ is a quadratic étale $R$-algebra, generalizing a theorem of Pfister. In the process, we establish many fundamental results concerning Azumaya algebras with involution and hermitian forms over them.
△ Less
Submitted 11 August, 2021; v1 submitted 8 October, 2019;
originally announced October 2019.
-
Pfister's Local--Global Principle and Systems of Quadratic Forms
Authors:
Uriya A. First
Abstract:
Let $q$ be a unimodular quadratic form over a field $K$. Pfister's famous local--global principle asserts that $q$ represents a torsion class in the Witt group of $K$ if and only if it has signature $0$, and that in this case, the order of Witt class of $q$ is a power of $2$. We give two analogues of this result to systems of quadratic forms, the second of which applying only to nonsingular pairs.…
▽ More
Let $q$ be a unimodular quadratic form over a field $K$. Pfister's famous local--global principle asserts that $q$ represents a torsion class in the Witt group of $K$ if and only if it has signature $0$, and that in this case, the order of Witt class of $q$ is a power of $2$. We give two analogues of this result to systems of quadratic forms, the second of which applying only to nonsingular pairs. We also prove a counterpart of Pfister's theorem for finite-dimensional $K$-algebras with involution, generalizing a result of Lewis and Unger.
△ Less
Submitted 16 September, 2019;
originally announced September 2019.
-
On the non-neutral component of outer forms of the orthogonal group
Authors:
Uriya A. First
Abstract:
Let $(A,σ)$ be a central simple algebra with an orthogonal involution. It is well-known that $O(A,σ)$ contains elements of reduced norm $-1$ if and only if the Brauer class of $A$ is trivial. We generalize this statement to Azumaya algebras with orthogonal involution over semilocal rings, and show that the "if" part fails if one allows the base ring to be arbitrary.
Let $(A,σ)$ be a central simple algebra with an orthogonal involution. It is well-known that $O(A,σ)$ contains elements of reduced norm $-1$ if and only if the Brauer class of $A$ is trivial. We generalize this statement to Azumaya algebras with orthogonal involution over semilocal rings, and show that the "if" part fails if one allows the base ring to be arbitrary.
△ Less
Submitted 4 June, 2020; v1 submitted 3 September, 2019;
originally announced September 2019.
-
Orders that are Étale-Locally Isomorphic
Authors:
Eva Bayer-Fluckiger,
Uriya A. First,
Mathieu Huruguen
Abstract:
Let $R$ be a semilocal Dedekind domain with fraction field $F$. We show that two hereditary $R$-orders in central simple $F$-algebras which become isomorphic after tensoring with $F$ and with some faithfully flat étale $R$-algebra are isomorphic. On the other hand, this fails for hereditary orders with involution. The latter stands in contrast to a result of the first two authors, who proved this…
▽ More
Let $R$ be a semilocal Dedekind domain with fraction field $F$. We show that two hereditary $R$-orders in central simple $F$-algebras which become isomorphic after tensoring with $F$ and with some faithfully flat étale $R$-algebra are isomorphic. On the other hand, this fails for hereditary orders with involution. The latter stands in contrast to a result of the first two authors, who proved this statement for hermitian forms over hereditary $R$-orders with involution.
The results can be restated by means of étale cohomology and can be seen as variations of the Grothendieck--Serre conjecture on principal homogeneous bundles of reductive group schemes. Connections with Bruhat--Tits theory are also discussed.
△ Less
Submitted 25 April, 2018;
originally announced April 2018.
-
On Uniform Admissibility of Unitary and Smooth Representations
Authors:
Uriya A. First,
Thomas Rüd
Abstract:
Let $G$ be a locally compact totally disconnected topological group. Under a necessary mild assumption, we show that the irreducible unitary representations of $G$ are uniformly admissible if and only if the irreducible smooth representations of $G$ are uniformly admissible. We also show that the latter property is inherited by finite-index subgroups and overgroups of $G$.
Let $G$ be a locally compact totally disconnected topological group. Under a necessary mild assumption, we show that the irreducible unitary representations of $G$ are uniformly admissible if and only if the irreducible smooth representations of $G$ are uniformly admissible. We also show that the latter property is inherited by finite-index subgroups and overgroups of $G$.
△ Less
Submitted 26 January, 2018;
originally announced January 2018.
-
Involutions of Azumaya algebras
Authors:
Uriya A. First,
Ben Williams
Abstract:
We consider the general circumstance of an Azumaya algebra $A$ of degree $n$ over a locally ringed topos $(\mathbf{X}, {\mathcal{O}}_{\mathbf{ X}})$ where the latter carries a (possibly trivial) involution, denoted $λ$. This generalizes the usual notion of involutions of Azumaya algebras over schemes with involution, which in turn generalizes the notion of involutions of central simple algebras. W…
▽ More
We consider the general circumstance of an Azumaya algebra $A$ of degree $n$ over a locally ringed topos $(\mathbf{X}, {\mathcal{O}}_{\mathbf{ X}})$ where the latter carries a (possibly trivial) involution, denoted $λ$. This generalizes the usual notion of involutions of Azumaya algebras over schemes with involution, which in turn generalizes the notion of involutions of central simple algebras. We provide a criterion to determine whether two Azumaya algebras with involutions extending $λ$ are locally isomorphic, describe the equivalence classes obtained by this relation, and settle the question of when an Azumaya algebra $A$ is Brauer equivalent to an algebra carrying an involution extending $λ$, by giving a cohomological condition. We remark that these results are novel even in the case of schemes, since we allow ramified, nontrivial involutions of the base object. We observe that, if the cohomological condition is satisfied, then $A$ is Brauer equivalent to an Azumaya algebra of degree $2n$ carrying an involution. By comparison with the case of topological spaces, we show that the integer $2n$ is minimal, even in the case of a nonsingular affine variety $X$ with a fixed-point free involution. As an incidental step, we show that if $R$ is a commutative ring with involution for which the fixed ring $S$ is local, then either $R$ is local or $R/S$ is a quadratic étale extension of rings.
△ Less
Submitted 23 February, 2020; v1 submitted 8 October, 2017;
originally announced October 2017.
-
On the number of generators of a separable algebra over a finite field
Authors:
Uriya First,
Zinovy Reichstein,
Santiago Salazar
Abstract:
Let $F$ be a field and let $E$ be an étale algebra over $F$, that is, a finite product of finite separable field extensions $E = F_1 \times \dots \times F_r$. The classical primitive element theorem asserts that if $r = 1$, then $E$ is generated by one element as an $F$-algebra. The same is true for any $r \geqslant 1$, provided that $F$ is infinite. However, if $F$ is a finite field and…
▽ More
Let $F$ be a field and let $E$ be an étale algebra over $F$, that is, a finite product of finite separable field extensions $E = F_1 \times \dots \times F_r$. The classical primitive element theorem asserts that if $r = 1$, then $E$ is generated by one element as an $F$-algebra. The same is true for any $r \geqslant 1$, provided that $F$ is infinite. However, if $F$ is a finite field and $r \geqslant 2$, the primitive element theorem fails in general. In this paper we give a formula for the minimal number of generators of $E$ when $F$ is finite. We also obtain upper and lower bounds on the number of generators of a (not necessarily commutative) separable algebra over a finite field.
△ Less
Submitted 20 September, 2017;
originally announced September 2017.
-
On the number of generators of an algebra
Authors:
Uriya A. First,
Zinovy Reichstein
Abstract:
A classical theorem of Forster asserts that a finite module $M$ of rank $\leq n$ over a Noetherian ring of Krull dimension $d$ can be generated by $n + d$ elements. We prove a generalization of this result, with "module" replaced by "algebra". Here we allow arbitrary finite algebras, not necessarily unital, commutative or associative. Forster's theorem can be recovered as a special case by viewing…
▽ More
A classical theorem of Forster asserts that a finite module $M$ of rank $\leq n$ over a Noetherian ring of Krull dimension $d$ can be generated by $n + d$ elements. We prove a generalization of this result, with "module" replaced by "algebra". Here we allow arbitrary finite algebras, not necessarily unital, commutative or associative. Forster's theorem can be recovered as a special case by viewing a module as an algebra where the product of any two elements is $0$.
△ Less
Submitted 29 November, 2016; v1 submitted 25 October, 2016;
originally announced October 2016.
-
Highlights from "The Ramanujan Property for Simplicial Complexes" [arXiv:1605.02664]
Authors:
Uriya A. First
Abstract:
This paper brings the main definitions and results from "The Ramanujan Property for Simplicial Complexes" [arXiv:1605.02664]. No proofs are given.
Given a simplicial complex $\mathcal{X}$ and a group $G$ acting on $\mathcal{X}$, we define Ramanujan quotients of $\mathcal{X}$. For $G$ and $\mathcal{X}$ suitably chosen this recovers Ramanujan $k$-regular graphs and Ramanujan complexes in the sense…
▽ More
This paper brings the main definitions and results from "The Ramanujan Property for Simplicial Complexes" [arXiv:1605.02664]. No proofs are given.
Given a simplicial complex $\mathcal{X}$ and a group $G$ acting on $\mathcal{X}$, we define Ramanujan quotients of $\mathcal{X}$. For $G$ and $\mathcal{X}$ suitably chosen this recovers Ramanujan $k$-regular graphs and Ramanujan complexes in the sense of Lubotzky, Samuels and Vishne. Deep results in automorphic representations are used to give new examples of Ramanujan quotients when $\mathcal{X}$ is the affine building of an inner form of $\mathbf{GL}_n$ over a local field of positive characteristic.
△ Less
Submitted 7 July, 2016; v1 submitted 3 June, 2016;
originally announced June 2016.
-
The Ramanujan Property for Simplicial Complexes
Authors:
Uriya A. First
Abstract:
Let $G$ be a topological group acting on a simplicial complex $\mathcal{X}$ satisfying some mild assumptions. For example, consider a $k$-regular tree and its automorphism group, or more generally, a regular affine Bruhat-Tits building and its automorphism group. We define and study various types of high-dimensional spectra of quotients of $\mathcal{X}$ by subgroups of $G$. These spectra include t…
▽ More
Let $G$ be a topological group acting on a simplicial complex $\mathcal{X}$ satisfying some mild assumptions. For example, consider a $k$-regular tree and its automorphism group, or more generally, a regular affine Bruhat-Tits building and its automorphism group. We define and study various types of high-dimensional spectra of quotients of $\mathcal{X}$ by subgroups of $G$. These spectra include the spectrum of many natural operators associated with the quotients, e.g. the high-dimensional Laplacians.
We prove a theorem in the spirit of the Alon-Boppana Theorem, leading to a notion of Ramanujan quotients of $\mathcal{X}$. Ramanujan $k$-regular graphs and Ramanuajn complexes in the sense of Lubotzky, Samuels and Vishne are Ramanujan in dimension $0$ according to our definition (for $\mathcal{X}$, $G$ suitably chosen). We give a criterion for a quotient of $\mathcal{X}$ to be Ramanujan which is phrased in terms of representations of $G$, and use it, together with deep results about automorphic representations, to show that affine buildings of inner forms of $\mathbf{GL}_n$ over local fields of positive characteristic admit infinitely many quotients which are Ramanujan in all dimensions. The Ramanujan (in dimension $0$) complexes constructed by Lubotzky, Samuels and Vishne arise as a special case of our construction. Our construction also gives rise to Ramanujan graphs which are apparently new.
Other applications are also discussed. For example, we show that there are non-isomorphic simiplicial complexes which are isospectral in all dimensions.
△ Less
Submitted 7 July, 2016; v1 submitted 9 May, 2016;
originally announced May 2016.
-
Azumaya Algebras Without Involution
Authors:
Asher Auel,
Uriya A. First,
Ben Williams
Abstract:
Generalizing a theorem of Albert, Saltman showed that an Azumaya algebra $A$ over a ring represents a $2$-torsion class in the Brauer group if and only if there is an algebra $A'$ in the Brauer class of $A$ admitting an involution of the first kind. Knus, Parimala, and Srinivas later showed that one can choose $A'$ such that $\mathrm{deg}\, A'=2\mathrm{deg}\, A$. We show that $2\mathrm{deg}\, A$ i…
▽ More
Generalizing a theorem of Albert, Saltman showed that an Azumaya algebra $A$ over a ring represents a $2$-torsion class in the Brauer group if and only if there is an algebra $A'$ in the Brauer class of $A$ admitting an involution of the first kind. Knus, Parimala, and Srinivas later showed that one can choose $A'$ such that $\mathrm{deg}\, A'=2\mathrm{deg}\, A$. We show that $2\mathrm{deg}\, A$ is the lowest degree one can expect in general. Specifically, we construct an Azumaya algebra $A$ of degree $4$ and period $2$ such that the degree of any algebra $A'$ in the Brauer class of $A$ admitting an involution is divisible by $8$.
Separately, we provide examples of split and non-split Azumaya algebras of degree $2$ admitting symplectic involutions, but no orthogonal involutions. These stand in contrast to the case of central simple algebras of even degree over fields, where the presence of a symplectic involution implies the existence of an orthogonal involution and vice versa.
△ Less
Submitted 26 March, 2019; v1 submitted 21 October, 2015;
originally announced October 2015.
-
Rationally Isomorphic Hermitian Forms and Torsors of Some Non-Reductive Groups
Authors:
Eva Bayer-Fluckiger,
Uriya A. First
Abstract:
Let $R$ be a semilocal Dedekind domain. Under certain assumptions, we show that two (not necessarily unimodular) hermitian forms over an $R$-algebra with involution, which are rationally ismorphic and have isomorphic semisimple coradicals, are in fact isomorphic. The same result is also obtained for quadratic forms equipped with an action of a finite group. The results have cohomological restateme…
▽ More
Let $R$ be a semilocal Dedekind domain. Under certain assumptions, we show that two (not necessarily unimodular) hermitian forms over an $R$-algebra with involution, which are rationally ismorphic and have isomorphic semisimple coradicals, are in fact isomorphic. The same result is also obtained for quadratic forms equipped with an action of a finite group. The results have cohomological restatements that resemble the Grothendieck--Serre conjecture, except the group schemes involved are not reductive. We show that these group schemes are closely related to group schemes arising in Bruhat--Tits theory.
△ Less
Submitted 27 February, 2017; v1 submitted 23 June, 2015;
originally announced June 2015.
-
Patching and Weak Approximation in Isometry Groups
Authors:
Eva Bayer-Fluckiger,
Uriya A. First
Abstract:
Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all completions of $R$ and its fraction field. We prove that the number of isomorphism classes in the genus of unimodular quadratic spaces over (non necessarily commutative)…
▽ More
Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all completions of $R$ and its fraction field. We prove that the number of isomorphism classes in the genus of unimodular quadratic spaces over (non necessarily commutative) $R$-orders is always a finite power of $2$, and under further assumptions, e.g. that the order is hereditary, this number is $1$. The same result is also shown for related objects, e.g. systems of sesquilinear forms. A key ingredient in the proof is a weak approximation theorem for groups of isometries, which is valid over any (topological) base field, and even over semilocal base rings.
The appendix proves that the isometry group of a quadratic space over an $R$-order with involution can be regarded as a smooth affine group scheme under mild assumptions.
△ Less
Submitted 8 January, 2016; v1 submitted 6 April, 2015;
originally announced April 2015.
-
Witt's Extension Theorem for Quadratic Spaces over Semiperfect Rings
Authors:
Uriya A. First
Abstract:
We prove that every isometry of between (not-necessarily orthogonal) summands of a unimodular quadratic space over a semiperfect ring can be extended an isometry of the whole quadratic space. The same result was proved by Reiter for the broader class of semilocal rings, but with certain restrictions on the base modules, which cannot be removed in general. Our result implies that unimodular quadrat…
▽ More
We prove that every isometry of between (not-necessarily orthogonal) summands of a unimodular quadratic space over a semiperfect ring can be extended an isometry of the whole quadratic space. The same result was proved by Reiter for the broader class of semilocal rings, but with certain restrictions on the base modules, which cannot be removed in general. Our result implies that unimodular quadratic spaces over semiperfect rings cancel from orthogonal sums. This improves a cancellation result of Quebbemann, Scharlau and Schulte, which applies to quadratic spaces over hermitian categories. Combining this with other known results yields further cancellation theorems. For instance, we prove cancellation of (1) systems of sesquilinear forms over henselian local rings, and (2) non-unimodular hermitian forms over (arbitrary) valuation rings. Finally, we determine the group generated by the reflections of a unimodular quadratic space over a semiperfect ring.
△ Less
Submitted 12 August, 2015; v1 submitted 3 August, 2014;
originally announced August 2014.
-
An Elementary Proof That Rationally Isometric Quadratic Forms Are Isometric
Authors:
Uriya A. First
Abstract:
Let $R$ be a valuation ring with fraction field $K$ and $2\in R^\times$. We give an elementary proof of the following known result: Two unimodular quadratic forms over $R$ are isometric over $K$ if and only if they are isometric over $R$. Our proof does not use Witt's Cancelation Theorem and yields an explicit algorithm to construct an isometry over $R$ from a given isometry over $K$. The statemen…
▽ More
Let $R$ be a valuation ring with fraction field $K$ and $2\in R^\times$. We give an elementary proof of the following known result: Two unimodular quadratic forms over $R$ are isometric over $K$ if and only if they are isometric over $R$. Our proof does not use Witt's Cancelation Theorem and yields an explicit algorithm to construct an isometry over $R$ from a given isometry over $K$. The statement actually holds for hermitian forms over valuated involutary division rings, provided mild assumptions.
A python implementation of the algorithm derived from the proof can be found on the author's home page.
△ Less
Submitted 3 August, 2014; v1 submitted 20 April, 2014;
originally announced April 2014.
-
Categorical Realizations of Quivers
Authors:
Uriya A. First
Abstract:
We introduce and study categorical realizations of quivers. This construction generalizes comma categories and includes representations of quivers on categories, twisted representations of quivers and bilinear pairings as special cases. We prove a Krull-Schmidt Theorem in this general context, which results in a Krull-Schmidt Theorem for the special cases just mentioned. We also show that cancella…
▽ More
We introduce and study categorical realizations of quivers. This construction generalizes comma categories and includes representations of quivers on categories, twisted representations of quivers and bilinear pairings as special cases. We prove a Krull-Schmidt Theorem in this general context, which results in a Krull-Schmidt Theorem for the special cases just mentioned. We also show that cancellation holds under milder assumptions. Using similar ideas we prove a version of Fitting's Lemma for natural transformations between functors.
△ Less
Submitted 23 August, 2013; v1 submitted 12 June, 2013;
originally announced June 2013.
-
Rings That Are Morita Equivalent to Their Opposites
Authors:
Uriya A. First
Abstract:
We consider the following problem: Under what assumptions do one or more of the following are equivalent for a ring $R$: (A) $R$ is Morita equivalent to a ring with involution, (B) $R$ is Morita equivalent to a ring with an anti-automorphism, (C) $R$ is Morita equivalent to its opposite ring. The problem is motivated by a theorem of Saltman which roughly states that all conditions are equivalent f…
▽ More
We consider the following problem: Under what assumptions do one or more of the following are equivalent for a ring $R$: (A) $R$ is Morita equivalent to a ring with involution, (B) $R$ is Morita equivalent to a ring with an anti-automorphism, (C) $R$ is Morita equivalent to its opposite ring. The problem is motivated by a theorem of Saltman which roughly states that all conditions are equivalent for Azumaya algebras. Basing on the recent "general bilinear forms", we present a general machinery to attack the problem, and use it to show that (C)$\iff$(B) when $R$ is semilocal or $\mathbb{Q}$-finite. Further results of similar flavor are also obtained, for example: If $R$ is a semilocal ring such that $\mathrm{M}_{n}(R)$ has an involution, then $\mathrm{M}_{2}(R)$ has an involution, and under further mild assumptions, $R$ itself has an involution. In contrast to that, we demonstrate that (B) does not imply (A). Our methods also give a new perspective on the Knus-Parimala-Srinivas proof of Saltman's Theorem. Finally, we give a method to test Azumaya algebras of exponent $2$ for the existence of involutions, and use it to construct explicit examples of such algebras.
△ Less
Submitted 23 February, 2015; v1 submitted 22 May, 2013;
originally announced May 2013.
-
Hermitian Categories, Extension of Scalars and Systems of Sesquilinear Forms
Authors:
Eva Bayer-Fluckiger,
Uriya A. First,
Daniel A. Moldovan
Abstract:
We prove that the category of systems of sesquilinear forms over a given hermitian category is equivalent to the category of unimodular 1-hermitian forms over another hermitian category. The sesquilinear forms are not required to be unimodular or defined on a reflexive object (i.e. the standard map from the object to its double dual is not assumed to be bijective), and the forms in the system can…
▽ More
We prove that the category of systems of sesquilinear forms over a given hermitian category is equivalent to the category of unimodular 1-hermitian forms over another hermitian category. The sesquilinear forms are not required to be unimodular or defined on a reflexive object (i.e. the standard map from the object to its double dual is not assumed to be bijective), and the forms in the system can be defined with respect to different hermitian structures on the given category. This extends a result obtained by E. Bayer-Fluckiger and D. Moldovan.
We use the equivalence to define a Witt ring of sesquilinear forms over a hermitian category, and also to generalize various results (e.g.: Witt's Cancelation Theorem, Springer's Theorem, the weak Hasse principle, finiteness of genus) to systems of sesquilinear forms over hermitian categories.
△ Less
Submitted 3 December, 2013; v1 submitted 25 April, 2013;
originally announced April 2013.
-
General Bilinear Forms
Authors:
Uriya Aharon First
Abstract:
We introduce the new notion of general bilinear forms (generalizing sesquilinear forms) and prove that for every ring $R$ (not necessarily commutative, possibly without involution) and every right $R$-module $M$ which is a generator (i.e. $R_R$ is a summand of $M^n$ for some $n\in\N$), there is a one-to-one correspondence between the anti-automorphisms of $\End(M)$ and the general regular bilinear…
▽ More
We introduce the new notion of general bilinear forms (generalizing sesquilinear forms) and prove that for every ring $R$ (not necessarily commutative, possibly without involution) and every right $R$-module $M$ which is a generator (i.e. $R_R$ is a summand of $M^n$ for some $n\in\N$), there is a one-to-one correspondence between the anti-automorphisms of $\End(M)$ and the general regular bilinear forms on $M$, considered up to similarity. This generalizes a well-known similar correspondence in the case $R$ is a field. We also demonstrate that there is no such correspondence for arbitrary $R$-modules.
We use the generalized correspondence to show that there is a canonical set isomorphism between the orbits of the left action of $\Inn(R)$ on the anti-automorphisms of $R$ and the orbits of the left action of $\Inn(M_n(R))$ on the anti-automorphisms of $M_n(R)$, provided $R_R$ is the only right $R$-module $N$ satisfying $N^n\cong R^n$. We also prove a variant of a theorem of Osborn. Namely, we classify all semisimple rings with involution admitting no non-trivial idempotents that are invariant under the involution.
△ Less
Submitted 26 May, 2013; v1 submitted 4 March, 2013;
originally announced March 2013.
-
Semi-Invariant Subrings
Authors:
Uriya A. First
Abstract:
We say that a subring $R_0$ of a ring $R$ is semi-invariant if $R_0$ is the ring of invariants in $R$ under some set of ring endomorphisms of some ring containing $R$. We show that $R_0$ is semi-invariant if and only if there is a ring $S\supseteq R$ and a set $X\subseteq S$ such that $R_0=\Cent_R(X):={r\in R \suchthat xr=rx \forall x\in X}$; in particular, centralizers of subsets of $R$ are semi-…
▽ More
We say that a subring $R_0$ of a ring $R$ is semi-invariant if $R_0$ is the ring of invariants in $R$ under some set of ring endomorphisms of some ring containing $R$. We show that $R_0$ is semi-invariant if and only if there is a ring $S\supseteq R$ and a set $X\subseteq S$ such that $R_0=\Cent_R(X):={r\in R \suchthat xr=rx \forall x\in X}$; in particular, centralizers of subsets of $R$ are semi-invariant subrings.
We prove various properties of semi-invariant subrings and show how they can be used for various applications including: (1) The center of a semiprimary (resp. right perfect) ring is semiprimary (resp. right perfect). (2) If $M$ is a finitely presented module over a "good" semiperfect ring (e.g. an inverse limit of semiprimary rings), then $(M)$ is semiperfect, hence $M$ has a Krull-Schmidt decomposition. (This generalizes results of Bjork and Rowen). (3) If $ρ$ is a representation of a monoid or a ring over a module with a "good" semiperfect endomorphism ring (in the sense of (2)), then $ρ$ has a Krull-Schmidt decomposition. (4) If $S$ is a "good" commutative semiperfect ring and $R$ is an $S$-algebra that is f.p.\ as an $S$-module, then $R$ is semiperfect. (5) Let $R\subseteq S$ be rings and let $M$ be a right $S$-module. If $(M_R)$ is semiprimary (resp. right perfect), then $(M_S)$ is semiprimary (resp. right perfect).
△ Less
Submitted 14 January, 2013; v1 submitted 10 December, 2012;
originally announced December 2012.