Field Patching, Factorization, and Local–Global Principles

In [3] some constructions of exceptional Jordan algebras due to H. Freudenthal, T. A. Springer, and J. Tits were carried over to quadratic Jordan algebras (as in [4]) of arbitrary characteristic. The question was left open whether the Tits Constructions yielded all exceptional finite-dimensional central simple algebras in characteristic 2 (it was known that they do for characteristics #2). In this paper we settle this question in the affirmative. This result completes the structure theory for finite-dimensional quadratic Jordan algebras. The Tits Constructions as given in [3] involve the construction of a norm form. To prove that all the exceptional algebras arise from these constructions we need to show that all such algebras have a suitable norm form. This necessitates a slight detour in ??1 and 2 to verify that Jordan algebras in characteristic 2 have generic norms with the same properties as in the other characteristics. In ?3 we define the centroid for quadratic Jordan algebras and the corresponding notion of central simple algebras. In the next section we establish certain conditions under which a central simple Jordan algebra remains simple upon extension of the base field. In ?5 we apply these results to show that every exceptional finite-dimensional central simple algebra is a form of the 27-dimensional exceptional algebra ?((i3) (i.e. becomes ( upon suitable extension of the base field). In the final section we show that the Tits Constructions yield precisely all the exceptional finite-dimensional central simple Jordan algebras. Our proofs will be valid for all characteristics.

Let R be a 2-dimensional normal excellent henselian local domain in which 2 is invertible and let L and k be its fraction field and residue field respectively. Let Ω R be the set of rank 1 discrete valuations of L corresponding to codimension 1 points of regular proper models of Spec R . We prove that a quadratic form q over L satisfies the local-global principle with respect to Ω R in the following two cases: (1) q has rank 3 or 4; (2) q has rank ≥ 5 and R = A [ [ y ] ] , where A is a complete discrete valuation ring with a not too restrictive condition on the residue field k , which is satisfied when k is C 1 .

In this paper we prove local–global principles for the existence of an embedding (E, σ) ↪ (A, τ) of a given global field E endowed with an involutive automorphism σ into a simple algebra A given with an involution τ in all situations except where A is a matrix algebra of even degree over a quaternion division algebra and τ is orthogonal (Theorem A of the introduction). Rather surprisingly, in the latter case we have a result which in some sense is opposite to the local–global principle, viz. algebras with involution locally isomorphic to (A, τ) are distinguished by their maximal subfields invariant under the involution (Theorem B of the introduction). These results can be used in the study of classical groups over global fields. In particular, we use Theorem B to complete the analysis of weakly commensurable Zariski-dense S -arithmetic groups in all absolutely simple algebraic groups of type different from D_4 which was initiated in our paper [23]. More precisely, we prove that in a group of type D_n , n even > 4 , two weakly commensurable Zariski-dense S -arithmetic subgroups are actually commensurable. As indicated in [23], this fact leads to results about length-commensurable and isospectral compact arithmetic hyperbolic manifolds of dimension 4n + 7 , with n ≥ 1 . The appendix contains a Galois-cohomological interpretation of our embedding theorems.

An integer may be represented by a quadratic form over each ring of p -adic integers and over the reals without being represented by this quadratic form over the integers. More generally, such failure of a local-global principle may occur for the representation of one integral quadratic form by another integral quadratic form. We show that many such examples may be accounted for by a Brauer–Manin obstruction for the existence of integral points on schemes defined over the integers. For several types of homogeneous spaces of linear algebraic groups, this obstruction is shown to be the only obstruction to the existence of integral points.

The notions of the rank or principal polynomial of an associative algebra and the corresponding notions of trace and norm are classical. These notions have been generalized recently by the author ([13,I]) to apply to strictly power associative algebras, and we have renamed these concepts the generic minimal polynomial, trace and norm, since this terminology appears to be more in keeping with present day usage in analogous situations. In our paper we investigated the groups of linear transformations which preserve the norms in special central simple Jordan algebras. This applies to central simple associative algebras as a special case. In a later paper ([13, III]) we studied the norm preserving groups of exceptional central simple Jordan algebras. The groups obtained in this way are generalizations of the complex Lie group E 6 and include certain geometrically defined subgroups of the collineation groups of Cayley planes.

Let $K$ be a (non-archimedean) local field and let $F$ be the function field of a curve over $K$. Let $D$ be a central simple algebra over $F$ of period $n$ and $\unicode[STIX]{x1D706}\in F^{\ast }$. We show that if $n$ is coprime to the characteristic of the residue field of $K$ and $D\cdot (\unicode[STIX]{x1D706})=0$ in $H^{3}(F,\unicode[STIX]{x1D707}_{n}^{\otimes 2})$, then $\unicode[STIX]{x1D706}$ is a reduced norm from $D$. This leads to a Hasse principle for the group $\operatorname{SL}_{1}(D)$, namely, an element $\unicode[STIX]{x1D706}\in F^{\ast }$ is a reduced norm from $D$ if and only if it is a reduced norm locally at all discrete valuations of $F$.

In 1993 I. P. Shestakov came up with the question whether there exists a central simple finite-dimensional algebra over a field of characteristic 0, whose identities are not given by a finite set (Dniester Notebook, Question 3.103). In 2012 I. M. Isaev and the author constructed a desired example, giving an affirmative answer to the question posed. Here research into Shestakov’s question is continued for the case of commutative algebras. A seven-dimensional central simple commutative algebra over a field of characteristics 0 having no finite basis of identities is exemplified.

Invertibility preservers on central simple algebras

Louis Solomon introduced the notion of a zeta function ${\zeta _\Theta }(s)$ of an order $\Theta$ in a finite-dimensional central simple K-algebra A, with K a number field or its completion ${K_P}$ (P a non-Archimedean prime in K). In several papers, C. J. Bushnell and I. Reiner have developed the theory of zeta functions and they gave explicit formulae in some special cases. One important property of these zeta functions is the Euler product, which implies that in order to calculate ${\zeta _\Theta }(s)$, it is sufficient to consider the zeta function of local orders ${\Theta _P}$. However, since these local orders ${\Theta _P}$ are in general not principal ideal domains, their zeta function is a finite sum of so-called ’partial zeta functions’. The most complicated term is the ’genus zeta function’, ${Z_{{\Theta _P}}}(s)$, which is related to the free ${\Theta _P}$-ideals. I. Reiner and C. J. Bushnell calculated the genus zeta function for hereditary orders in quaternion algebras (i.e., $[A:K] = 4$). The authors mention the general case but they remark that the calculations are cumbersome. In this paper we derive an explicit method to calculate the genus zeta function ${Z_{{\Theta _P}}}(s)$ of any local hereditary order ${\Theta _P}$ in a central simple algebra over a local field. We obtain ${Z_{{\Theta _P}}}(s)$ as a finite sum of explicit terms which can be calculated with a computer. We make some remarks on the programming of the formula and give a short list of examples. The genus zeta function of the minimal hereditary orders (corresponding to the partition (1, 1, ... , 1) of n) seems to have a surprising property. In all examples, the nominator of this zeta function is a generating function for the q-Eulerian polynomials. We conclude with some remarks on a conjectured identity.

A means to construct dense, full-diversity STBCs from maximal orders in central simple algebras is introduced for the first time. As an example we construct an efficient ST lattice code with non-vanishing determinant for 4 transmit antenna MISO application. Also a general algorithm for testing the maximality of a given order is presented. By using a maximal order instead of just the ring of algebraic integers, the size of the code increases without losses in the minimum determinant. The usage of a proper ideal of a maximal order further improves the code, as the minimum determinant increases. Simulations in a quasi-static Rayleigh fading channel show that our lattice outperforms the DAST-lattice due to the properties described above.

We show that every central simple algebra $A$ over a field $k$ is Brauer equivalent to a quotient of a finite dimensional Hopf algebra over the same field. This shows that the natural generalization of the Schur group for Hopf algebras (which we call the Hopf Schur group) is in fact the entire Brauer group of $k$. If the characteristic of the field is zero, or if the algebra has a Galois splitting field with certain properties, we can take this Hopf algebra to be semisimple. We also show that if $F$ is any finite separable extension of $k$, then $F$ is a quotient of a finite dimensional commutative semisimple and cosemisimple Hopf algebra over $k$.

Let $\mathcal O$ be an order in a central simple algebra $A$ over a number field. The elasticity $\rho (\mathcal O)$ is the supremum of all fractions $k/l$ such that there exists a non-zero-divisor $a \in \mathcal O$ that has factorizations into atoms (ir

CONTENTS Introduction § 1. Arithmetic groups § 2. Adèle groups § 3. Tamagawa numbers § 4. Approximations in algebraic groups § 5. Class numbers and class groups of algebraic groups § 6. The genus problem in arithmetic groups § 7. Classification of maximal arithmetic subgroups § 8. The congruence problem § 9. Groups of rational points over global fields § 10. Galois cohomology and the Hasse principle § 11. Cohomology of arithmetic groups References

We obtain a Siegel formula for a quadratic form over a function field, by establishing the convergence of the corresponding Eisenstein-Siegel series directly, then via the Hasse principle, that of the associated Poisson formula.

Quadratic quaternion forms, introduced by Seip-Hornix (1965), are special cases of generalized quadratic forms over algebras with involutions. We apply the formalism of these generalized qua- dratic forms to give a characteristic free version of difierent results related to hermitian forms over quaternions: 1) An exact sequence of Lewis 2) Involutions of central simple algebras of exponent 2. 3) Triality for 4-dimensional quadratic quaternion forms. 1991 Mathematics Subject Classiflcation: 11E39, 11E88 Keywords and Phrases: Quadratic quaternion forms, Involutions, Tri- ality