scholarly journals On division algebras having the same maximal subfields

2010 ◽  
Vol 132 (3-4) ◽  
pp. 273-293 ◽  
Author(s):  
Andrei S. Rapinchuk ◽  
Igor A. Rapinchuk
Keyword(s):  
Author(s):  
Bernhard M¨uhlherr ◽  
Holger P. Petersson ◽  
Richard M. Weiss

This chapter proves that Bruhat-Tits buildings exist. It begins with a few definitions and simple observations about quadratic forms, including a 1-fold Pfister form, followed by a discussion of the existence part of the Structure Theorem for complete discretely valued fields due to H. Hasse and F. K. Schmidt. It then considers the generic unramified cases; the generic semi-ramified cases, the generic ramified cases, the wild unramified cases, the wild semi-ramified cases, and the wild ramified cases. These cases range from a unique unramified quadratic space to an unramified separable quadratic extension, a tamely ramified division algebra, a ramified separable quadratic extension, and a unique unramified quaternion division algebra. The chapter also describes ramified quaternion division algebras D₁, D₂, and D₃ over K containing a common subfield E such that E/K is a ramified separable extension.


2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Tejinder P. Singh

AbstractWe have recently proposed a Lagrangian in trace dynamics at the Planck scale, for unification of gravitation, Yang–Mills fields, and fermions. Dynamical variables are described by odd-grade (fermionic) and even-grade (bosonic) Grassmann matrices. Evolution takes place in Connes time. At energies much lower than Planck scale, trace dynamics reduces to quantum field theory. In the present paper, we explain that the correct understanding of spin requires us to formulate the theory in 8-D octonionic space. The automorphisms of the octonion algebra, which belong to the smallest exceptional Lie group G2, replace space-time diffeomorphisms and internal gauge transformations, bringing them under a common unified fold. Building on earlier work by other researchers on division algebras, we propose the Lorentz-weak unification at the Planck scale, the symmetry group being the stabiliser group of the quaternions inside the octonions. This is one of the two maximal sub-groups of G2, the other one being SU(3), the element preserver group of octonions. This latter group, coupled with U(1)em, describes the electrocolour symmetry, as shown earlier by Furey. We predict a new massless spin one boson (the ‘Lorentz’ boson) which should be looked for in experiments. Our Lagrangian correctly describes three fermion generations, through three copies of the group G2, embedded in the exceptional Lie group F4. This is the unification group for the four fundamental interactions, and it also happens to be the automorphism group of the exceptional Jordan algebra. Gravitation is shown to be an emergent classical phenomenon. Although at the Planck scale, there is present a quantised version of the Lorentz symmetry, mediated by the Lorentz boson, we argue that at sub-Planck scales, the self-adjoint part of the octonionic trace dynamics bears a relationship with string theory in 11 dimensions.


2011 ◽  
Vol 103 (3) ◽  
pp. 508-534 ◽  
Author(s):  
R. Hazrat ◽  
A. R. Wadsworth
Keyword(s):  

1996 ◽  
Vol 96 (2) ◽  
pp. 527-552 ◽  
Author(s):  
Louis H. Rowen ◽  
David J. Saltman

1982 ◽  
Vol 47 (4) ◽  
pp. 734-738
Author(s):  
Bruce I. Rose

In this note we show that taking a scalar extension of two elementarily equivalent finite-dimensional algebras over the same field preserves elementary equivalence. The general question of whether or not tensor product preserves elementary equivalence was originally raised in [4]. In [3] Feferman relates an example of Ersov which answers the question negatively. Eklof and Olin [7] also provide a counterexample to the general question in the context of two-sorted structures. Thus the result proved below is a partial positive answer to a general question whose status has been resolved negatively. From the viewpoint of applied model theory it seems desirable to find contexts in which positive statements of preservation can be obtained. Our result does have an application; a corollary to it increases our understanding of what it means for two division algebras to be elementarily equivalent.All algebras are finite-dimensional algebras over fields. All algebras contain an identity element, but are not necessarily associative.Recall that the center of a not necessarily associative algebra A is the set of elements which commute and “associate” with all elements of A. The notion of a scalar extension is an important one in algebra. If A is an algebra over F and G is an extension field of F, then the scalar extension of A by G is the algebra A ⊗F G.


1989 ◽  
Vol 120 (1) ◽  
pp. 90-99 ◽  
Author(s):  
H.H Brungs ◽  
Joachim Gräter

2020 ◽  
Vol 2020 (768) ◽  
pp. 93-147
Author(s):  
Charlotte Chan

AbstractWe prove a 1979 conjecture of Lusztig on the cohomology of semi-infinite Deligne–Lusztig varieties attached to division algebras over local fields. We also prove the two conjectures of Boyarchenko on these varieties. It is known that in this setting, the semi-infinite Deligne–Lusztig varieties are ind-schemes comprised of limits of certain finite-type schemes {X_{h}}. Boyarchenko’s two conjectures are on the maximality of {X_{h}} and on the behavior of the torus-eigenspaces of their cohomology. Both of these conjectures were known in full generality only for division algebras with Hasse invariant {1/n} in the case {h=2} (the “lowest level”) by the work of Boyarchenko–Weinstein on the cohomology of a special affinoid in the Lubin–Tate tower. We prove that the number of rational points of {X_{h}} attains its Weil–Deligne bound, so that the cohomology of {X_{h}} is pure in a very strong sense. We prove that the torus-eigenspaces of the cohomology group {H_{c}^{i}(X_{h})} are irreducible representations and are supported in exactly one cohomological degree. Finally, we give a complete description of the homology groups of the semi-infinite Deligne–Lusztig varieties attached to any division algebra, thus giving a geometric realization of a large class of supercuspidal representations of these groups. Moreover, the correspondence {\theta\mapsto H_{c}^{i}(X_{h})[\theta]} agrees with local Langlands and Jacquet–Langlands correspondences. The techniques developed in this paper should be useful in studying these constructions for p-adic groups in general.


Sign in / Sign up

Export Citation Format

Share Document