Four-dimensional compact projective planes with doubly transitive action on the fixed pencil

We consider a four-dimensional compact projective plane =( , ) whose collineation group is six-dimensional and solvable with a nilradical N isomorphic to Nil × R, where Nil denotes the three-dimensional, simply connected, non-Abelian, nilpotent Lie group. We assume that fixes a flag pW, acts transitively on _p \{W}, and fixes no point in the set W{p}. We study the actions of and N on and on the pencil _p \{W}, in the case that does not contain a three-dimensional elation group. In the special situation that acts doubly transitively on _p {W}, we will determine all possible planes . There are exactly two series of such planes.     

Dimension de Hausdorff de la Nervure

For a separable Hilbert space E whose dimension is 2 and for an open subset of E, not empty and different from E, let be the set of all points of which have at least two projections on the close set E\, and let be the set of all the centres of the open balls contained in and which are maximal for inclusion. We show that the Hausdorff dimension dim_H( ) of may be any real value s such that 0sdim E; we also show that can be chosen so that is everywhere dense in and so that we have dim_H( )=1.Associons à un ouvert d'un espace de Hilbert séparable E de dimension 2, non vide et distinct de E, l'ensemble des points de admettant plusieurs projections sur le fermé E\, et l'ensemble des centres des boules ouvertes inclues dans et maximales pour l'inclusion. Nous montrons d'une part que la dimension de Hausdorff dim_H( ) de peut prendre toute valeur réelle s telle que 0sdim E, et d'autre part qu'on peut choisir de sorte que soit dense dans et qu'on ait dim_H( )=1.     

Beispiele starrer,topologischer Faserungen des reellen projektiven 3-Raums

A spread of a projective 3-space is said to be rigid (German: starr) if the only collineation of leaving invariant is the identity; it is called nearly rigid if there are only finitely many collineations of this kind. A spread of real projective 3-space is called topological if the associated translation plane in the sense of André (or Bruck and Bose) is a topological plane; it is then a 4-dimensional translation plane (abbreviated: 4-dtp) in the terminology of Betten. is rigid if and only if every collineation of the associated 4-dtp fixes the translation line pointwise. In 1977 D. Betten asked for such 4-dtps and termed them rigid. If is nearly rigid, the collineation group of the associated 4-dtp is 5-dimensional.In the present paper, examples of rigid and nearly rigid 4-dtps are constructed. The central tool is the method of crosswise tacking together two topological spreads of along a common regulus, which yields two further topological spreads. In a first step, this method when applied to known spreads produces nearly rigid spreads. Rigid spreads are then obtained by iteration of the method; the simplest example is composed of parts of four elliptic linear line congruences. The rigidness of a spread of is proved by arguments from projective differential geometry applied to the image ( ) under Klein's correspondence from line geometry.     

SU4 (ℂ) als Kollineationsgruppe in sechzehndimensionalen lokalkompakten Translationsebenen

We study 16-dimensional locally compact translation planes in which, for an affine point o, the stabilizer of the affine collineation group contains a subgroup locally isomorphic to SU₄ (). If has only one affine fixed point o, then it is shown that either the plane is the classical Moufang plane over the Cayley numbers, or else must be normal in the stabilizer and has dimension at most 37. This also comprises the proof of the fact that if contains a subgroup locally isomorphic to SU₄() × SL₂() then the plane is the classical Cayley plane. The case that has more affine fixed points in dealt with as well; then, except for a well-known family of planes admitting Spin₇() as a group of collineations, has dimension at most 34.     

Discussing Knarr's 2-Surface of \mathbb{R} 4 which Generates the First Single Shift Plane

The generating line of the first single shift plane (cf. [11, p. 435]) is a 2-surface of ⁴ which we call the the affine part of Knarr's surface. We compute all affinities leaving invariant. After embedding ⁴ into PG(4, ) we calculate the uniquely determined projective closure _Kn of . Using a suitable projection we transform questions on Knarr's surface to questions on Cayley's surface in PG(3, ). In this way we determine all planes carrying 1-dimensional algebraic varieties of _Kn . We exhibit all automorphic collineations of _Kn .     

On Some Proximinal Subspaces of Modular Spaces

Let (, , ) be a complete measure space, L⁰ the vector lattice of -measurable real functions on , : L⁰ [0, )] a lattice semimodular, the corresponding modular space, S₀ the ideal generated by and 0,{\text{ }}\exists {\text{ }}s \in {\text{ }}S_{\text{0}} {\text{ such that }}\rho \left( {\frac{{x - s}}{\user1{\lambda }}} \right) < \infty } \right\}$$ " align="middle" border="0"> . In X consider the distance 0:\rho \left( {\frac{{x - y}}{\user1{\lambda }}} \right) \leqq \user1{\lambda }} \right\}$$ " align="middle" border="0"> and, if is convex, the distances d_L, d_o subordinated to the Luxemburg and Amemiya-Orlicz norms, respectively. We give necessary and sufficient conditions for H(S_o) in order to be proximinal in X with the distances d, d_L and d_o.     

A Question in the Theory of Totally Local Formations of Finite Groups

It is proved that all proper totally local subformations of a non one-generated totally local formation of finite groups are one-generated iff coincides with a formation of all soluble -groups, where ||=2.     

Proper holomorphic mappings between generalized pseudoellipsoids

Summary We characterize the existence of proper holomorphic mappings between pseudoellipsoids of the form . If f:()() is any such mapping, the existence of a subgroup of Aut (()) such that is shown equivalent to a condition on the branch locus of f.     

Krümmungskennzeichnung der Ketten einer allgemeinen Geometrie Σ(ℜ,\mathfrak{L})

Lie theory renders a concept of curvature for the geometries (,) introduced by W. Benz [1]. Among regular curves in the chains of (, ) are characterized by =0.     

An Application of U(g)-bimodules to Representation Theory of Affine Lie Algebras

Let be the affine Lie algebra associated to the simple finite-dimensional Lie algebra . We consider the tensor product of the loop -module associated to the irreducible finite-dimensional -module V() and the irreducible highest weight -module L _k,. Then L _k, can be viewed as an irreducible module for the vertex operator algebra M _k,0. Let A(L _k,) be the corresponding -bimodule. We prove that if the -module is zero, then the -module is irreducible. As an example, we apply this result on integrable representations for affine Lie algebras.     

Estimation of the Coefficient of Multiple Determination

Assume that we have iid observations on the random vector X = (X ,...,X ) following a multivariate normal distribution N (,) where both R and (p.d.) are unknown. Let denote the multiple correlation coefficient between X and (X ,...,X ). The parameter = , called the multiple coefficient of determination, indicates the proportion of variability in X explained by its best linear fit based on (X ,..., X ). In this paper we consider the point estimation of under the ordinary squared error loss function. The usual estimators (MLE, UMVUE) have complicated risk expressions and hence it is quite difficult to get exact decision-theoretic results. We therefore follow the asymptotic decision theoretic approach (as done by Ghosh and Sinha (1981, Ann. Statist., 9, 1334-1338)) and study Second Order Admissibility of various estimators including the usual ones.     

Octagonality conditions in projective and affine planes

A projective confined configuration with axis and centre will be introduced in terms of a non-degenerate octagon satisfying some hypotheses on the position of its diagonal points (i.e. intersections of edges having distance 8 in the flag graph ( )) and its first minor diagonal lines (i.e. diagonal lines joining vertices of distance 6 in ( )). That confined configuration gives rise to a certain configurational condition whose affine specialization (i.e. the axis coincides with the line at infinity) is equivalent to the affine Pappos condition, whereas its little specialization (i.e. the centre lies on the axis) turns out to be equivalent to the little Desargues condition. In Pappian projective planes can be completed to a configuration of type (12₄, 16₃).     

Generalized Harish-Chandra Modules: A New Direction in the Structure Theory of Representations

Let be a reductive Lie algebra over C. We say that a -module M is a generalized Harish-Chandra module if, for some subalgebra , M is locally -finite and has finite -multiplicities. We believe that the problem of classifying all irreducible generalized Harish-Chandra modules could be tractable. In this paper, we review the recent success with the case when is a Cartan subalgebra. We also review the recent determination of which reductive in subalgebras are essential to a classification. Finally, we present in detail the emerging picture for the case when is a principal 3-dimensional subalgebra.     

On the ‘Standard’ Condition for Noncompact Homogeneous Einstein Spaces

A nonflat Einstein solvmanifold ( , g) is said to be of standard type if in the associated metric Lie algebra , the orthogonal complement of the derived algebra is Abelian. It is an open question whether the standard condition is automatically satisfied for all nonflat Einstein solvmanifolds. We derive certain properties of the metric Lie algebra of a nonflat Einstein solvmanifold ( , g) under the assumption . In particular, we obtain some new sufficient conditions which imply standard type.     

Eine Variante des Fano-Axioms fü angeordnete Ebenen

An ordered plane is an incidence structure ( ) with an order function , which satisfies the axioms (G), (V) and (S), but no continuation--axiom is required. Points a, b E are said to be in distinct sides of a line iff and in the same side if , respectively. For any lines , and we prove that if b,c are in the same side of line A and a,c are in the same side of B , then a and b are in distinct sides of C. As conclusions we deduce that is harmonic and that in each complete quadrangle the intersection points of the diagonals are never collinear, which is known as the axiom of Fano. So the Fano-axiom holds in each ordered plane, and also in those with boundary points.     

Blocking sets and partial spreads in finite projective spaces

A t-blocking set in the finite projective space PG(d, q) with dt+1 is a set of points such that any (d–t)-dimensional subspace is incident with a point of and no t-dimensional subspace is contained in . It is shown that | |q ^t +...+1+q ^t–1q and the examples of minimal cardinality are characterized. Using this result it is possible to prove upper and lower bounds for the cardinality of partial t-spreads in PG(d, q). Finally, examples of blocking sets and maximal partial spreads are given.     

On graphs and Lie rings

From a finite oriented graph , finite-dimensional graded nilpotent Lie rings () and () are naturally constructed; these rings are related to subtrees and connected subgraphs of , respectively. Diverse versions of these constructions are also suggested. Moreover, an embedding of Lie rings of the form () in the adjoint Lie rings of finite-dimensional associative rings (also determined by the graph ) is indicated.Translated from Matematicheskie Zametki, vol. 77, no. 3, 2005, pp. 449–459.Original Russian Text Copyright © 2005 by Yu. S. Sernenov.This revised version was published online in April 2005 with a corrected issue number.     

Die Gruppe der Projektivitäten einer Geraden auf sich in endlichen André-Ebenen

Zusammenfassung Für eine Gerade Y in einer projektiven Eben bezeichne die Gruppe der Projektivitäten von Y auf sich. In [9] wurde diese Gruppe für einige Klassen von André-Ebenen vom Grad 2 bestimmt. Dabei zeigte sich, daß für Ebenen gerader Ordnung mit der alternierenden Gruppe und für Ebenen ungerader Ordnung mit der symmetrischen Gruppe übereinstimmt. Hauptanliegen der vorliegenden Arbeit ist es, dieses Ergebnis auf alle André-Ebenen mit geradem Grad auszudehnen. Die hierfür erforderlichen Projektivitäten lassen sich in projektiven Ebenen über cartesischen Gruppen behandeln (Abschnitt 1). In Abschnitt 2 sind die später benötigten Eigenschaften der André-Ebenen zusammengefaßt. Anschlieend geben wir für jede André-Ebene ungerader Ordnung eine ungerade Projektivität an (Abschnitt 3) und übertragen die Aussagen der Sätze (3.3) und (3.5) aus [9] auf André-Ebenen mit beliebigem Grad (Abschnitt 4). Das oben angegebene Resultat für André-Ebenen mit geradem Grad wird schließlich in abschnitt 5 bewiesen.     

Lattices of interpretability types of varieties

Let be the set of all primes, the field of all algebraic numbers, and Z the set of square-free natural numbers. We consider partially ordered sets of interpretability types such as , and , where AD is a variety of -divisible Abelian groups with unique taking of the pth root _p(x) for every p , is a variety of -modules over a normal field , contained in , and G_n is a variety of n-groupoids defined by a cyclic permutation (12 ...n). We prove that , and are distributive lattices, with and where ub and ub_f are lattices (w.r.t. inclusion) of all subsets of the set and of finite subsets of , respectively.Deceased.__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 198–210, March–April, 2005.     

Derangements and Tensor Powers of Adjoint Modules for \mathfrak{s}\mathfrak{l}_n

We obtain the decomposition of the tensor space as a module for , find an explicit formula for the multiplicities of its irreducible summands, and (when n 2k) describe the centralizer algebra = ( ) and its representations. The multiplicities of the irreducible summands are derangement numbers in several important instances, and the dimension of is given by the number of derangements of a set of 2k elements.