Related papers: Pfister's local-global principle for Azumaya algeb…

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…

We prove that the hermitian Gersten-Witt complex is exact for Azumaya algebras with involution of the first- or second kind over a regular local ring, which is essentially smooth over a field, or over a discrete valuation ring.

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…

We establish a trace formula for signatures of hermitian forms over Azumaya algebras with involution, extending Knebusch's work on symmetric bilinear forms over finite \'etale extensions of commutative base rings. As an application when the…

Pfister's Local-Global Principle states that a quadratic form over a (formally) real field is weakly hyperbolic (i.e. represents a torsion element in the Witt ring) if and only if its total signature is zero. This result extends naturally…

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…

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,…

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…

In a recent paper, Colliot-Th\'el\`ene, Parimala and Suresh conjectured that a local-global principle holds for projective homogeneous spaces of connected linear algebraic groups over function fields of p-adic curves. In this paper, we show…

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…

This paper presents a generalisation of Sylvester's law of inertia to real non-degenerate quadratic forms on a fixed real vector bundle over a connected locally connected paracompact Hausdorff space. By interpreting the classical inertia as…

We describe all Witt invariants of anti-hermitian forms over a quaternion algebra with its canonical involution, and in particular all Witt invariants of orthogonal groups $O(A,\sigma)$ where $(A,\sigma)$ is an central simple algebra with…

Sylvester's law of inertia states that the number of positive, negative and zero eigenvalues of Hermitian matrices is preserved under congruence transformations. The same is true of generalized Hermitian definite eigenvalue problems, in…

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 consider local-global principles for torsors under linear algebraic groups, over function fields of curves over complete discretely valued fields. The obstruction to such a principle is a version of the Tate-Shafarevich group; and for…

Following the theory of tensor triangular support introduced by Sanders, which generalizes the Balmer-Favi support, we prove the local version of the result of Zou that the Balmer spectrum being Hochster weakly scattered implies the…

The Broecker-Prestel local-global principle characterizes weak isotropy of quadratic forms over a formally real field in terms of weak isotropy over the henselizations and isotropy over the real closures of that field. A hermitian analogue…

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$,…

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 $\lambda$. This…

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…