A Kronecker factorization theorem for the exceptional Jordan superalgebra

We prove that a Jordan superalgebra J containing the 10-dimensional exceptional Kac superalgebra K₁₀ is isomorphic to (K₁₀⊗_FS)⊕J′, where S is an associative commutative algebra.     

Representations of centrally-extended Lie algebras over differential operators and vertex algebras

We construct irreducible modules of centrally-extended classical Lie algebras over left ideals of the algebra of differential operators on the circle, through certain irreducible modules of centrally-extended classical Lie algebras of infinite matrices with finite number of nonzero entries. The structures of vertex algebras associated with the vacuum representations of these algebras are determined. Moreover, we prove that under certain conditions, the highest-weight irreducible modules of centrally-extended classical Lie algebras of infinite matrices with finite number of nonzero entries naturally give rise to the irreducible modules of the simple quotients of these vertex algebras. From vertex algebra and its representation point of view, our results with positive integral central charge are high-order differential operator analogues of the well-known WZW models in conformal field theory associated with affine Kac-Moody algebras. Indeed, when the left ideals are the algebra of differential operators, our Lie algebras do contain affine Kac-Moody algebras as subalgebras and our results restricted on them are exactly the representation contents in WZW models. Similar results with negative central charge are also obtained.     

Lévy group and density measures

We will deal with finitely additive measures on integers extending the asymptotic density. We will study their relation to the Lévy group G of permutations of N. Using a new characterization of the Lévy group G we will prove that a finitely additive measure extends density if and only if it is G-invariant.     

Orientation-reversing actions on lens spaces and Gaussian integers

A finite group action on a lens space L(p,q) has ‘type OR’ if it reverses orientation and has an invariant Heegaard torus whose sides are interchanged by the orientation-reversing elements. In this paper we enumerate the actions of type OR up to equivalence. This leads to a complete classification of geometric finite group actions on amphicheiral lens spaces L(p,q) with p>2. The family of actions of type OR is partially ordered by lifting actions via covering maps. We show that each connected component of this poset may be described in terms of a subset of the lattice of Gaussian integers ordered by divisibility. This results in a correspondence equating equivalence classes of actions of type OR with pairs of Gaussian integers.     

Identifications in modular group algebras

Let G be a group, S a subgroup of G, and F a field of characteristic p. We denote the augmentation ideal of the group algebra FG by ω(G). The Zassenhaus-Jennings-Lazard series of G is defined by D_n(G)=G∩(1+ωⁿ(G)). We give a constructive proof of a theorem of Quillen stating that the graded algebra associated with FG is isomorphic as an algebra to the enveloping algebra of the restricted Lie algebra associated with the D_n(G). We then extend a theorem of Jennings that provides a basis for the quotient ωⁿ(G)/ωⁿ⁺¹(G) in terms of a basis of the restricted Lie algebra associated with the D_n(G). We shall use these theorems to prove the main results of this paper. For G a finite p-group and n a positive integer, we prove that G∩(1+ω(G)ωⁿ(S))=D_n+1(S) and G∩(1+ω²(G)ωⁿ(S))=D_n+2(S)D_n+1(S∩D₂(G)). The analogous results for integral group rings of free groups have been previously obtained by Gruenberg, Hurley, and Sehgal.     

Projective remoteness planes

A new axiomatization involving incidence and remoteness of planes with nondivision coordinate rings is introduced and a coordinatization theorem is obtained. A geometric process of splitting points and lines to obtain another plane with the same coordinates is described. It is also shown that a group of Steinberg type is parametrized by a nonassociative ring. The notion of elementary basis sets for an associative ring is introduced and constructions of projective and affine planes are given. A plane with reflections determining a system of rotations is shown to have commutative, associative coordinates.     

Localization and completion of nilpotent groups of automorphisms

We study nilpotent subgroups of automorphism groups in the category of groups and the homotopy category of spaces. We establish localization and completion theorems for nilpotent groups of automorphisms of nilpotent groups. We then apply these algebraic theorems to prove analogous results for certain groups of self-homotopy equivalences of spaces.     

Hilbert series of subspace arrangements

The vanishing ideal I of a subspace arrangement V₁∪V₂∪?∪V_m⊆V is an intersection I₁∩I₂∩?∩I_m of linear ideals. We give a formula for the Hilbert polynomial of I if the subspaces meet transversally. We also give a formula for the Hilbert series of the product ideal J=I₁I₂?I_m without any assumptions about the subspace arrangement. It turns out that the Hilbert series of J is a combinatorial invariant of the subspace arrangement: it only depends on the intersection lattice and the dimension function. The graded Betti numbers of J are determined by the Hilbert series, so they are combinatorial invariants as well. We will also apply our results to generalized principal component analysis (GPCA), a tool that is useful for computer vision and image processing.