Researcher profile

Uriya A. First

Uriya A. First contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
5topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

5 published item(s)

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.