Related papers: On the Gersten conjecture for hermitian Witt group…
Let $(A,\sigma)$ be an Azumaya algebra with involution over a regular ring $R$. We prove that the Gersten-Witt complex of $(A,\sigma)$ defined by Gille is isomorphic to the Gersten-Witt complex of $(A,\sigma)$ defined by Bayer-Fluckiger,…
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…
We prove Pfister's local-global principle for hermitian forms over Azumaya algebras with involution over semilocal rings, and show in particular that the Witt group of nonsingular hermitian forms is $2$-primary torsion. Our proof relies on…
Given an Azumaya algebra with involution $(A,\sigma)$ over a commutative ring $R$ and some auxiliary data, we construct an $8$-periodic chain complex involving the Witt groups of $(A,\sigma)$ and other algebras with involution, and prove it…
The purpose of this article is to prove that Gersten's conjecture for a commutative discrete valuation ring is true. Combining with the result of \cite{GL87}, we learn that Gersten's conjecture is true if the ring is a commutative regular…
In this paper we continue our investigation of signatures of hermitian forms over Azumaya algebras with involution over commutative rings. We show that the approach used in an earlier paper for central simple algebras can be extended to…
Two Azumaya algebras with involutions are considered over a regular local ring. It is proved that if they are isomorphic over the quotient field, then they are isomorphic too. In particular, if two quadratic spaces over such a ring are…
In the case of quadratic forms over a field, it is well-known that the prime spectrum of the Witt ring and the space of orderings of the field determine one another, through associated signature maps. We show that a sililar relation holds…
In this paper, we show local Gersten's conjecture for regular system of parameters. As its consequence we obtain Gersten's conjecture for a commutative regular local ring and smooth over a commutative discrete valuation ring.
In this paper, we define a generalization of the Brauer groups by using Bloch's cycle complex on etale site. We prove the Gersten conjecture of generalized Brauer group on some cases. As an application we prove the Gersten conjecture of the…
Although there is no natural internal product for hermitian forms over an algebra with involution of the first kind, we describe how to multiply two $\varepsilon$-hermitian forms to obtain a quadratic form over the base field. This allows…
Let $(A,\sigma)$ be an Azumaya algebra with orthogonal involution over a ring $R$ with $2\in R^\times$. We show that if $(A,\sigma)$ admits an improper isometry, i.e., an element $a\in A$ with $\sigma(a)a=1$ and $\mathrm{Nrd}_{A/R}(a)=-1$,…
For a reductive group scheme over a regular semi-local ring, we prove an equivarinat version of the Gersten conjecture. We draw some interesting consequences for the representation rings of such reductive group schemes. We also prove the…
In this paper we define a notion of Witt group for sesquilinear forms in hermitian categories, which in turn provides a notion of Witt group for sesquilinear forms over rings with involution. We also study the extension of scalars for…
We show that the Gersten complex for the (improved) Milnor K-sheaf on a smooth scheme over an excellent discrete valuation ring is exact except at the first place and that exactness at the first place may be checked at the discrete…
A hermitian algebra is a unital associative ${\mathbb C}$-algebra endowed with an involution such that the spectra of self-adjoint elements are contained in ${\mathbb R}$. In the case of an algebra ${\mathcal A}$ endowed with a…
Suppose $A$ is an Azumaya algebra over a ring $R$ and $\sigma$ is an involution of $A$ extending an order-$2$ automorphism $\lambda:R\to R$. We say $\sigma$ is extraordinary if there does not exist a Brauer-trivial Azumaya algebra…
We equip the complex polynomial algebra C[t] with the involution which is the identity on C and sends t to -t. Answering a question raised by V.G. Kac, we show that every hermitian or skew-hermitian matrix over this algebra is congruent to…
The Witt group of skew hermitian forms over a division algebra $D$ with symplectic involution is shown to be canonically isomorphic to the Witt group of symmetric bilinear forms over the Severi-Brauer variety of $D$ with values in a…
We prove that if $X \to Y$ is a (geometrically) regular morphism of Noetherian schemes, then from a Nisnevich-local perspective, the Gersten complex for Quillen $K$-theory on $X$ becomes acyclic in degrees beyond the Krull dimension of $Y$.…