Strongly Anisotropic Involutions on Central Simple Algebras

The classical theorem of Bröcker and Prestel on quadratic forms over formally real fields determines a valuation theoretic condition under which all totally indefinite forms are weakly isotropic. In this article, we look for analogues of such a result in a more general setting of algebras with involutions. We prove that for involutions of first kind over central simple algebras of index two, one indeed has a Bröcker–Prestel like statement. The connection between two conditions, namely, total indefiniteness and weak isotropy is made via so called gauge functions on central simple algebras.     

The weak isotropy of quadratic forms over field extensions

The weak isotropy index (or equivalently, sublevel) of arbitrary quadratic forms is studied. Its relationship to the level of a form is investigated. The problem of determining the set of values of the weak isotropy index of a form as it ranges over field extensions is addressed, with both admissible and inadmissible numbers being determined. An analogous investigation with respect to the level of a form is also undertaken. A treatment of forms for which the above invariants coincide concludes this article, with some recently-raised questions being resolved.     

Irreducible Lie-Yamaguti algebras

Lie-Yamaguti algebras (or generalized Lie triple systems) are binary-ternary algebras intimately related to reductive homogeneous spaces. The Lie-Yamaguti algebras which are irreducible as modules over their Lie inner derivation algebra are the algebraic counterpart of the isotropy irreducible homogeneous spaces.These systems will be shown to split into three disjoint types: adjoint type, non-simple type and generic type. The systems of the first two types will be classified and most of them will be shown to be related to a Generalized Tits Construction of Lie algebras.     

The Euler-Poincaré-Hopf theorem for flat connections in some transitive Lie algebroids

This paper is a continuation of [19], [21], [22]. We study flat connections with isolated singularities in some transitive Lie algebroids for which either ℝ or sl(2, ℝ) or so(3) are isotropy Lie algebras. Under the assumption that the dimension of the isotropy Lie algebra is equal to n + 1, where n is the dimension of the base manifold, we assign to any such isolated singularity a real number called an index. For ℝ-Lie algebroids, this index cannot be an integer. We prove the index theorem (the Euler-Poincaré-Hopf theorem for flat connections) saying that the index sum is independent of the choice of a connection. Multiplying this index sum by the orientation class of M, we get the Euler class of this Lie algebroid. Some integral formulae for indices are given.     

Nonassociative quaternion algebras over rings

Non-split nonassociative quaternion algebras over fields were first discovered over the real numbers independently by Dickson and Albert. They were later classified over arbitrary fields by Waterhouse. These algebras naturally appeared as the most interesting case in the classification of the four-dimensional nonassociative algebras which contain a separable field extension of the base field in their nucleus. We investigate algebras of constant rank 4 over an arbitrary ringR which contain a quadratic étale subalgebraS overR in their nucleus. A generalized Cayley-Dickson doubling process is introduced to construct a special class of these algebras.     

On geometrically transitive Hopf algebroids

This paper contributes to the characterization of a certain class of commutative Hopf algebroids. It is shown that a commutative flat Hopf algebroid with a non zero base ring and a nonempty character groupoid is geometrically transitive if and only if any base change morphism is a weak equivalence (in particular, if any extension of the base ring is Landweber exact), if and only if any trivial bundle is a principal bi-bundle, and if and only if any two objects are fpqc locally isomorphic. As a consequence, any two isotropy Hopf algebras of a geometrically transitive Hopf algebroid (as above) are weakly equivalent. Furthermore, the character groupoid is transitive and any two isotropy Hopf algebras are conjugated. Several other characterizations of these Hopf algebroids in relation to transitive groupoids are also given.     

Classification of three-dimensional zeropotent algebras over the real number field

A nonassociative algebra is defined to be zeropotent if the square of any element is zero. In this paper, we give a complete classification of three-dimensional zeropotent algebras over the real number field up to isomorphism. By restricting the result to the subclass of Lie algebras, we can obtain a classification of three-dimensional real Lie algebras, which is in accordance with the Bianchi classification. Moreover, three-dimensional zeropotent algebras over a real closed field are classified in the same manner as those over the real number field.     

Orthogonal Pfister involutions in characteristic two

We show that over a field of characteristic 2 a central simple algebra with orthogonal involution that decomposes into a product of quaternion algebras with involution is either anisotropic or metabolic. We use this to define an invariant of such orthogonal involutions that completely determines the isotropy behaviour of the involution. We also give an example of a non-totally decomposable algebra with orthogonal involution that becomes totally decomposable over every splitting field of the algebra.     

The relative Brauer group of a cyclic cover of affine space

We study the finite-dimensional central division algebras over the rational function field in several variables over an algebraically closed field. We describe the division algebras that are split by the cyclic covering obtained by adjoining the nth root of a polynomial. The relative Brauer group is described in terms of the Picard group of the cyclic covering and its Galois group. Many examples are given and in most cases division algebras are presented that represent generators of the relative Brauer group.     

Irreducible Lie-Yamaguti algebras of generic type

Lie-Yamaguti algebras (or generalized Lie triple systems) are binary-ternary algebras intimately related to reductive homogeneous spaces. The Lie-Yamaguti algebras which are irreducible as modules over their inner derivation algebras are the algebraic counterparts of the isotropy irreducible homogeneous spaces.These systems splits into three disjoint types: adjoint type, non-simple type and generic type. The systems of the first two types were classified in a previous paper through a generalized Tits Construction of Lie algebras. In this paper, the Lie-Yamaguti algebras of generic type are classified by relating them to several other nonassociative algebraic systems: Lie and Jordan algebras and triple systems, Jordan pairs or Freudenthal triple systems.     

Projective bundle ideals and Poincaré duality algebras

The study of maximal-primary irreducible ideals in a commutative graded connected Noetherian algebra over a field is in principle equivalent to the study of the corresponding quotient algebras. Such algebras are Poincaré duality algebras. A prototype for such an algebra is the cohomology with field coefficients of a closed oriented manifold. Topological constructions on closed manifolds often lead to algebraic constructions on Poincaré duality algebras and therefore also on maximal-primary irreducible ideals. It is the purpose of this note to examine several of these and develop some of their basic properties.     

Global dimension two orders are quasi-hereditary

Motivated by results of Cline, Parshall and Scott on quasi-hereditary algebras, in [8] the concept of a quasi-hereditary order is introduced in integral representation theory. In this note we show that the results of Dlab and Ringel on quasi-hereditary semiprimary rings and hereditary artinian rings presented in [6] have integral analogues in the theory of orders. In particular, we prove as our main result the followingTheorem: An order of global dimension at most two over a complete Dedekind domain R in a separable algebra over the quotient field of R is quasi-hereditary.     

Some remarks on growth of algebras over commutative noetherian rings

Using a growth function,GK defined for algebras over integral domains, we construct a generalization of Gelfand Kirillov dimensionGGK. GGK coincides with the classical no-tion of GK for algebras over a field, but is defined for algebras over arbitrary commutative rings. It is proved that GGK exceeds the Krull dimension for affine Noetherian PI algebras. The main result is that algebras of GGK at most one are PI for a large class of commutative Noetherian base rings including the ring of integers, Z. This extends the well-known result of Small, Stafford, and Warfield found in [11].     

Equivalent conditions of polynomial growth of a variety of Poisson algebras

Equivalent conditions of the polynomial codimension growth of a variety of Poisson algebras over a field of characteristic zero are presented and it is shown that there are only two varieties of Poisson algebras with almost polynomial growth.     

Nonassociative cyclic algebras

Nonassociative quaternion algebras were first discovered over the real numbers independently by Dickson and Albert and provided some of the first examples of nonassociative division algebras. They were later classified completely by Waterhouse. Cyclic algebras can be seen as a natural generalisation of the classical quaternion algebras. With this in mind we generalise nonassociative quaternion algebras and introduce nonassociative cyclic algebras. These provide new examples of nonassociative central division algebras with Nucleus a separable field extension of degree n.     

On absolute Galois splitting fields of central simple algebras

A splitting field of a central simple algebra is said to be absolute Galois if it is Galois over some fixed subfield of the centre of the algebra. The paper proves an existence theorem for such fields over global fields with enough roots of unity. As an application, all twisted function fields and all twisted Laurent series rings over symbol algebras (or p-algebras) over global fields are crossed products. An analogous statement holds for division algebras over Henselian valued fields with global residue field.The existence of absolute Galois splitting fields in central simple algebras over global fields is equivalent to a suitable generalization of the weak Grunwald-Wang theorem, which is proved to hold if enough roots of unity are present. In general, it does not hold and counter examples have been used in noncrossed product constructions. This paper shows in particular that a certain computational difficulty involved in the construction of explicit examples of noncrossed product twisted Laurent series rings cannot be avoided by starting the construction with a symbol algebra.     

Poincaré duality algebras mod two

We study Poincaré duality algebras over the field F₂ of two elements. After introducing a connected sum operation for such algebras we compute the corresponding Grothendieck group of surface algebras (i.e., Poincaré algebras of formal dimension 2). We show that the corresponding group for 3-folds (i.e., algebras of formal dimension 3) is not finitely generated, but does have a Krull-Schmidt property.We then examine the isomorphism classes of 3-folds with at most three generators of degree 3, provide a complete classification, settle which such occur as the cohomology of a smooth 3-manifold, and list separating invariants.The closing section and Appendix A provide several different means of constructing connected sum indecomposable 3-folds.     

Del Pezzo surfaces of degree 6 over an arbitrary field

We give a characterization of all del Pezzo surfaces of degree 6 over an arbitrary field F. A surface is determined by a pair of separable algebras. These algebras are used to compute the Quillen K-theory of the surface. As a consequence, we obtain an index reduction formula for the function field of the surface.     

On diverse forms of homogeneity of Lie algebras

In the paper, several different ways to introduce the notion of homogeneity in the case of finite-dimensional Lie algebras are considered. Among these notions, we have homogeneity, almost homogeneity, weak homogeneity, and projective homogeneity. Constructions and examples of Lie algebras of diverse forms of homogeneity are presented. It is shown that the notions of weak homogeneity and of weak projective homogeneity are the most nontrivial and interesting for a detailed investigation. Some structural properties are proved for weakly homogeneous and weakly projectively homogeneous Lie algebras.     

Conjugacy of Cartan subalgebras inn-Lie algebras

One of the most profound results in the theory of Lie algebras states that any two Cartan subalgebras of a finite-dimensional Lie algebra over an algebraically closed field of characteristic 0 are conjugate relative to the group of special automorphisms generated by the exponents of nilpotent inner derivations. Using some new ideas, we prove an analog of this statement for n-ary n-Lie algebras. Other interesting properties of Cartan algebras, which are known to be shared by Lie algebras, are carried over to n-Lie algebras.Translated fromAlgebra i Logika, Vol. 34, No. 4, pp. 405–419, July-August, 1995.