Counterexamples in Involutions of Azumaya Algebras
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866912458448306176 |
|---|---|
| author | First, Uriya Williams, Ben |
| author_facet | First, Uriya Williams, Ben |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_15260 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Counterexamples in Involutions of Azumaya Algebras First, Uriya Williams, Ben Rings and Algebras 16W10, 16H05 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. |
| title | Counterexamples in Involutions of Azumaya Algebras |
| topic | Rings and Algebras 16W10, 16H05 |
| url | https://arxiv.org/abs/2405.15260 |