scholarly journals An identification system based on the explicit isomorphism problem

Author(s):  
Sándor Z. Kiss ◽  
Péter Kutas

AbstractWe propose a new identification system based on algorithmic problems related to computing isomorphisms between central simple algebras. We design a statistical zero knowledge protocol which relies on the hardness of computing isomorphisms between orders in division algebras which generalizes a protocol by Hartung and Schnorr, which relies on the hardness of integral equivalence of quadratic forms.

Author(s):  
Gonçalo Tabuada

AbstractIn this article we construct a new motivic measure called the Jacques Tits motivic measure. As a first main application, we prove that two Severi-Brauer varieties (or, more generally, two twisted Grassmannian varieties), associated to 2-torsion central simple algebras, have the same class in the Grothendieck ring of varieties if and only if they are isomorphic. In addition, we prove that if two Severi-Brauer varieties, associated to central simple algebras of period $$\{3, 4, 5, 6\}$$ { 3 , 4 , 5 , 6 } , have the same class in the Grothendieck ring of varieties, then they are necessarily birational to each other. As a second main application, we prove that two quadric hypersurfaces (or, more generally, two involution varieties), associated to quadratic forms of dimension 6 or to quadratic forms of arbitrary dimension defined over a base field k with $$I^3(k)=0$$ I 3 ( k ) = 0 , have the same class in the Grothendieck ring of varieties if and only if they are isomorphic. In addition, we prove that the latter main application also holds for products of quadric hypersurfaces.


2009 ◽  
Vol 178 (2) ◽  
pp. 231-263 ◽  
Author(s):  
David Harbater ◽  
Julia Hartmann ◽  
Daniel Krashen

1989 ◽  
Vol 32 (1) ◽  
pp. 139-145
Author(s):  
D. W. Lewis

Let L be an odd degree extension field of the field K, char K ≠ 2. Let U* denote the natural extension map from W(K) to W(L) where W(K), resp. W(L) denotes the Witt group of quadratic forms over K, resp. L. It is well-known that U* is injective [4, p. 198]. In fact Springer [10] proved a stronger theorem, namely that if φ is anisotropic over K then it remains anisotropic on extension to L. Rosenberg and Ware [8] proved that if L is a Galois extension then the image of U* is precisely the subgroup of W(L) fixed by the Galois group of L over K, this Galois group having a natural action on W(L). See [4, p. 214] and [3] for a quick proof. See also Dress [1] who extended these results to equivariant forms. In this article we investigate the corresponding map U* when we replace the field L by a central simple K-algebra of odd degree and indeed more generally by any finite dimensional K-algebra which becomes odd-dimensional on factoring out by the radical. Our algebras are equipped with an involution of the second kind, i.e. one which is non-trivial on the centre, and we replace quadratic forms by hermitian forms with respect to the involution. We show that U* is injective for all the algebras mentioned above and that a weaker version of Springer's theorem holds for central simple algebras of odd degree provided we make a suitable restriction on the nature of the involution. We show that the analogue of the Rosenberg-Ware result is valid for hermitian forms over odd-dimensional Galois field extensions but that for central simple algebras of odd degree a result as nice as the Rosenberg–Ware one cannot hold. Indeed the group of all K-automorphisms of such an algebra which commute with the involution fixes all of the Witt group. However the map U* is not surjective in general even for division algebras of odd degree.


2020 ◽  
Vol 28 (2) ◽  
pp. 89-102
Author(s):  
Daniel Thompson

AbstractWe generalize Knuth's construction of Case I semifields quadratic over a weak nucleus, also known as generalized Dickson semifields, by doubling of central simple algebras. We thus obtain division algebras of dimension 2s2 by doubling central division algebras of degree s. Results on isomorphisms and automorphisms of these algebras are obtained in certain cases.


2019 ◽  
Vol 155 (12) ◽  
pp. 2399-2438
Author(s):  
Vlerë Mehmeti

We extend field patching to the setting of Berkovich analytic geometry and use it to prove a local–global principle over function fields of analytic curves with respect to completions. In the context of quadratic forms, we combine it with sufficient conditions for local isotropy over a Berkovich curve to obtain applications on the $u$-invariant. The patching method we adapt was introduced by Harbater and Hartmann [Patching over fields, Israel J. Math. 176 (2010), 61–107] and further developed by these two authors and Krashen [Applications of patching to quadratic forms and central simple algebras, Invent. Math. 178 (2009), 231–263]. The results presented in this paper generalize those of Harbater, Hartmann, and Krashen [Applications of patching to quadratic forms and central simple algebras, Invent. Math. 178 (2009), 231–263] on the local–global principle and quadratic forms.


Sign in / Sign up

Export Citation Format

Share Document