Orders that are étale-locally isomorphic

Let R be a semilocal Dedekind domain with fraction field F. It is shown that two hereditary R-orders in central simple F-algebras that become isomorphic after tensoring with F and with some faithfully flat étale R-algebra are isomorphic. On the other hand, this fails for hereditary orders with involution. The latter stands in contrast to a result of the first two authors, who proved this statement for Hermitian forms over hereditary R-orders with involution. The results can be restated by means of étale cohomology and can be viewed as variations of the Grothendieck–Serre conjecture on principal homogeneous spaces of reductive group schemes. The relationship with Bruhat–Tits theory is also discussed.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Mathieu Huruguen, Eva Bayer Fluckiger
2019
Journal paper

Abstract

Official source

https://infoscience.epfl.ch/record/277396?ln=en

About this result

Related concepts (8)

Isomorphism

In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word isomorphism is derived from the Ancient Greek: ἴσος isos "equal", and μορφή morphe "form" or "shape". The interest in isomorphisms lies in the fact that two isomorphic objects have the same properties (excluding further information such as additional structure or names of objects).

Étale cohomology

In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil conjectures. Étale cohomology theory can be used to construct l-adic cohomology, which is an example of a Weil cohomology theory in algebraic geometry. This has many applications, such as the proof of the Weil conjectures and the construction of representations of finite groups of Lie type.

Reductive group

In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group G over a perfect field is reductive if it has a representation that has a finite kernel and is a direct sum of irreducible representations. Reductive groups include some of the most important groups in mathematics, such as the general linear group GL(n) of invertible matrices, the special orthogonal group SO(n), and the symplectic group Sp(2n).