J-structure

Last updated

In mathematics, a J-structure is an algebraic structure over a field related to a Jordan algebra. The concept was introduced by Springer (1973) to develop a theory of Jordan algebras using linear algebraic groups and axioms taking the Jordan inversion as basic operation and Hua's identity as a basic relation. There is a classification of simple structures deriving from the classification of semisimple algebraic groups. Over fields of characteristic not equal to 2, the theory of J-structures is essentially the same as that of Jordan algebras.

Contents

Definition

Let V be a finite-dimensional vector space over a field K and j a rational map from V to itself, expressible in the form n/N with n a polynomial map from V to itself and N a polynomial in K[V]. Let H be the subset of GL(V) × GL(V) containing the pairs (g,h) such that gj = jh: it is a closed subgroup of the product and the projection onto the first factor, the set of g which occur, is the structure group of j, denoted G'(j).

A J-structure is a triple (V,j,e) where V is a vector space over K, j is a birational map from V to itself and e is a non-zero element of V satisfying the following conditions. [1]

The norm associated to a J-structure (V,j,e) is the numerator N of j, normalised so that N(e) = 1. The degree of the J-structure is the degree of N as a homogeneous polynomial map. [2]

The quadratic map of the structure is a map P from V to End(V) defined in terms of the differential dj at an invertible x. [3] We put

The quadratic map turns out to be a quadratic polynomial map on V.

The subgroup of the structure group G generated by the invertible quadratic maps is the inner structure group of the J-structure. It is a closed connected normal subgroup. [4]

J-structures from quadratic forms

Let K have characteristic not equal to 2. Let Q be a quadratic form on the vector space V over K with associated bilinear form Q(x,y) = Q(x+y) − Q(x) − Q(y) and distinguished element e such that Q(e,.) is not trivial. We define a reflection map x* by

and an inversion map j by

Then (V,j,e) is a J-structure.

Example

Let Q be the usual sum of squares quadratic function on Kr for fixed integer r, equipped with the standard basis e1,...,er. Then (Kr, Q, er) is a J-structure of degree 2. It is denoted O2. [5]

In characteristic not equal to 2, which we assume in this section, the theory of J-structures is essentially the same as that of Jordan algebras.

Let A be a finite-dimensional commutative non-associative algebra over K with identity e. Let L(x) denote multiplication on the left by x. There is a unique birational map i on A such that i(x).x = e if i is regular on x: it is homogeneous of degree −1 and an involution with i(e) = e. It may be defined by i(x) = L(x)−1.e. We call i the inversion on A. [6]

A Jordan algebra is defined by the identity [7] [8]

An alternative characterisation is that for all invertible x we have

If A is a Jordan algebra, then (A,i,e) is a J-structure. If (V,j,e) is a J-structure, then there exists a unique Jordan algebra structure on V with identity e with inversion j.

In general characteristic, which we assume in this section, J-structures are related to quadratic Jordan algebras. We take a quadratic Jordan algebra to be a finite dimensional vector space V with a quadratic map Q from V to End(V) and a distinguished element e. We let Q also denote the bilinear map Q(x,y) = Q(x+y) − Q(x) − Q(y). The properties of a quadratic Jordan algebra will be [9] [10]

We call Q(x)e the square of x. If the squaring is dominant (has Zariski dense image) then the algebra is termed separable. [11]

There is a unique birational involution i such that Q(x)ix = x if Q is regular at x. As before, i is the inversion, definable by i(x) = Q(x)−1x.

If (V,j,e) is a J-structure, with quadratic map Q then (V,Q,e) is a quadratic Jordan algebra. In the opposite direction, if (V,Q,e) is a separable quadratic Jordan algebra with inversion i, then (V,i,e) is a J-structure. [12]

H-structure

McCrimmon proposed a notion of H-structure by dropping the density axiom and strengthening the third (a form of Hua's identity) to hold in all isotopes. The resulting structure is categorically equivalent to a quadratic Jordan algebra. [13] [14]

Peirce decomposition

A J-structure has a Peirce decomposition into subspaces determined by idempotent elements. [15] Let a be an idempotent of the J-structure (V,j,e), that is, a2 = a. Let Q be the quadratic map. Define

This is invertible for non-zero t,u in K and so φ defines a morphism from the algebraic torus GL1 × GL1 to the inner structure group G1. There are subspaces

and these form a direct sum decomposition of V. This is the Peirce decomposition for the idempotent a. [16]

Generalisations

If we drop the condition on the distinguished element e, we obtain "J-structures without identity". [17] These are related to isotopes of Jordan algebras. [18]

Related Research Articles

In mathematics, the discriminant of a polynomial is a quantity that depends on the coefficients and allows deducing some properties of the roots without computing them. More precisely, it is a polynomial function of the coefficients of the original polynomial. The discriminant is widely used in polynomial factoring, number theory, and algebraic geometry.

<span class="mw-page-title-main">Orthogonal group</span> Type of group in mathematics

In mathematics, the orthogonal group in dimension n, denoted O(n), is the group of distance-preserving transformations of a Euclidean space of dimension n that preserve a fixed point, where the group operation is given by composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of n × n orthogonal matrices, where the group operation is given by matrix multiplication (an orthogonal matrix is a real matrix whose inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact.

<span class="mw-page-title-main">Unitary group</span> Group of unitary matrices

In mathematics, the unitary group of degree n, denoted U(n), is the group of n × n unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group GL(n, C), and it has as a subgroup the special unitary group, consisting of those unitary matrices with determinant 1.

In ring theory, a branch of abstract algebra, a quotient ring, also known as factor ring, difference ring or residue class ring, is a construction quite similar to the quotient group in group theory and to the quotient space in linear algebra. It is a specific example of a quotient, as viewed from the general setting of universal algebra. Starting with a ring and a two-sided ideal in , a new ring, the quotient ring , is constructed, whose elements are the cosets of in subject to special and operations.

In mathematics, a quadratic form is a polynomial with terms all of degree two. For example,

In mathematics, the universal enveloping algebra of a Lie algebra is the unital associative algebra whose representations correspond precisely to the representations of that Lie algebra.

In mathematics, a bilinear form is a bilinear map V × VK on a vector space V over a field K. In other words, a bilinear form is a function B : V × VK that is linear in each argument separately:

In abstract algebra, a Jordan algebra is a nonassociative algebra over a field whose multiplication satisfies the following axioms:

  1. .
<span class="mw-page-title-main">Blowing up</span>

In mathematics, blowing up or blowup is a type of geometric transformation which replaces a subspace of a given space with the space of all directions pointing out of that subspace. For example, the blowup of a point in a plane replaces the point with the projectivized tangent space at that point. The metaphor is that of zooming in on a photograph to enlarge part of the picture, rather than referring to an explosion.

In mathematics, a composition algebraA over a field K is a not necessarily associative algebra over K together with a nondegenerate quadratic form N that satisfies

A non-associative algebra (or distributive algebra) is an algebra over a field where the binary multiplication operation is not assumed to be associative. That is, an algebraic structure A is a non-associative algebra over a field K if it is a vector space over K and is equipped with a K-bilinear binary multiplication operation A × AA which may or may not be associative. Examples include Lie algebras, Jordan algebras, the octonions, and three-dimensional Euclidean space equipped with the cross product operation. Since it is not assumed that the multiplication is associative, using parentheses to indicate the order of multiplications is necessary. For example, the expressions (ab)(cd), (a(bc))d and a(b(cd)) may all yield different answers.

In mathematics, the spin representations are particular projective representations of the orthogonal or special orthogonal groups in arbitrary dimension and signature. More precisely, they are two equivalent representations of the spin groups, which are double covers of the special orthogonal groups. They are usually studied over the real or complex numbers, but they can be defined over other fields.

In mathematics, specifically linear algebra, the Jordan–Chevalley decomposition, named after Camille Jordan and Claude Chevalley, expresses a linear operator in a unique way as the sum of two other linear operators which are simpler to understand. Specifically, one part is potentially diagonalisable and the other is nilpotent. The two parts are polynomials in the operator, which makes them behave nicely in algebraic manipulations.

In algebraic geometry, the Iitaka dimension of a line bundle L on an algebraic variety X is the dimension of the image of the rational map to projective space determined by L. This is 1 less than the dimension of the section ring of L

In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function. A regular map whose inverse is also regular is called biregular, and the biregular maps are the isomorphisms of algebraic varieties. Because regular and biregular are very restrictive conditions – there are no non-constant regular functions on projective varieties – the concepts of rational and birational maps are widely used as well; they are partial functions that are defined locally by rational fractions instead of polynomials.

In algebra and number theory, a distribution is a function on a system of finite sets into an abelian group which is analogous to an integral: it is thus the algebraic analogue of a distribution in the sense of generalised function.

In mathematics, quadratic Jordan algebras are a generalization of Jordan algebras introduced by Kevin McCrimmon. The fundamental identities of the quadratic representation of a linear Jordan algebra are used as axioms to define a quadratic Jordan algebra over a field of arbitrary characteristic. There is a uniform description of finite-dimensional simple quadratic Jordan algebras, independent of characteristic. If 2 is invertible in the field of coefficients, the theory of quadratic Jordan algebras reduces to that of linear Jordan algebras.

In mathematics, a mutation, also called a homotope, of a unital Jordan algebra is a new Jordan algebra defined by a given element of the Jordan algebra. The mutation has a unit if and only if the given element is invertible, in which case the mutation is called a proper mutation or an isotope. Mutations were first introduced by Max Koecher in his Jordan algebraic approach to Hermitian symmetric spaces and bounded symmetric domains of tube type. Their functorial properties allow an explicit construction of the corresponding Hermitian symmetric space of compact type as a compactification of a finite-dimensional complex semisimple Jordan algebra. The automorphism group of the compactification becomes a complex subgroup, the complexification of its maximal compact subgroup. Both groups act transitively on the compactification. The theory has been extended to cover all Hermitian symmetric spaces using the theory of Jordan pairs or Jordan triple systems. Koecher obtained the results in the more general case directly from the Jordan algebra case using the fact that only Jordan pairs associated with period two automorphisms of Jordan algebras are required.

In the theory of algebras over a field, mutation is a construction of a new binary operation related to the multiplication of the algebra. In specific cases the resulting algebra may be referred to as a homotope or an isotope of the original.

In mathematics, a Moufang set is a particular kind of combinatorial system named after Ruth Moufang.

References

  1. Springer (1973) p.10
  2. Springer (1973) p.11
  3. Springer (1973) p.16
  4. Springer (1973) p.18
  5. Springer (1973) p.33
  6. Springer (1973) p.66
  7. Schafer (1995) p.91
  8. Okubo (2005) p.13
  9. Springer (1973) p.72
  10. McCrimmon (2004) p.83
  11. Springer (1973) p.74
  12. Springer (1973) p.76
  13. McCrimmon (1977)
  14. McCrimmon (1978)
  15. Springer (1973) p.90
  16. Springer (1973) p.92
  17. Springer (1973) p.21
  18. Springer (1973) p.22