Source author record

Uriya A. First

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RA math.AG math.NT math.RT math.CO math.AT math.KT

Catalog footprint

Research overview

15works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

On The Gersten-Witt Complex of an Azumaya Algebra with Involution

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.

preprint2020arXiv

Involutions of Azumaya algebras

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.

preprint2020arXiv

On the non-neutral component of outer forms of the orthogonal group

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.

preprint2019arXiv

Azumaya Algebras Without Involution

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.

preprint2019arXiv

Pfister's Local--Global Principle and Systems of Quadratic Forms

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.

preprint2016arXiv

Highlights from "The Ramanujan Property for Simplicial Complexes" [arXiv:1605.02664]

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.

preprint2016arXiv

On the number of generators of an algebra

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$ .

preprint2016arXiv

Patching and Weak Approximation in Isometry Groups

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.

preprint2016arXiv

The Ramanujan Property for Simplicial Complexes

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.

preprint2015arXiv

Rings That Are Morita Equivalent to Their Opposites

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.

preprint2015arXiv

Witt's Extension Theorem for Quadratic Spaces over Semiperfect Rings

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.

preprint2014arXiv

An Elementary Proof That Rationally Isometric Quadratic Forms Are Isometric

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.

preprint2013arXiv

Categorical Realizations of Quivers

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.

preprint2013arXiv

Hermitian Categories, Extension of Scalars and Systems of Sesquilinear Forms

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.

preprint2013arXiv

Semi-Invariant Subrings

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).

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Uriya A. First

Research overview

Is this your work?

15 publications

On The Gersten-Witt Complex of an Azumaya Algebra with Involution

Involutions of Azumaya algebras

On the non-neutral component of outer forms of the orthogonal group

Azumaya Algebras Without Involution

Pfister's Local--Global Principle and Systems of Quadratic Forms

Highlights from "The Ramanujan Property for Simplicial Complexes" [arXiv:1605.02664]

On the number of generators of an algebra

Patching and Weak Approximation in Isometry Groups

The Ramanujan Property for Simplicial Complexes

Rings That Are Morita Equivalent to Their Opposites

Witt's Extension Theorem for Quadratic Spaces over Semiperfect Rings

An Elementary Proof That Rationally Isometric Quadratic Forms Are Isometric

Categorical Realizations of Quivers

Hermitian Categories, Extension of Scalars and Systems of Sesquilinear Forms

Semi-Invariant Subrings

See the researcher in context

Building this map preview