Canonical representation of tangent vectors of Grassmannians

The structure of the tangent bundle of the real Grassmann manifold G ₊ ^p,n under the Plücker embedding (in the exterior algebra of the initial Euclidean space) is studied. Explicit expressions for the relation between decompositions of a tangent vector with respect to different bases of the tangent space are obtained, and a constructivemethod yielding the canonical (= simplest) decomposition is presented. Bibliography: 8 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 329, 2005, pp. 147–158.     

Two questions on the exterior geometry of the plücker embeddings of the Grassmann manifolds

The Plücker model of the Grassmann manifold G _p,p+q ⁺ is considered. The structure of intersections of G _p,p+q ⁺ with tangent spaces of G _p,p+q ⁺ regarded as subspaces of the ambient exterior algebra is described. An explicit formula for the second fundamental form of G _2,4 ⁺ as of a hypersurface in the five-dimensional sphere is given. The level sets of the normal curvature functions for this hypersurface are studied. Bibliography: 3 titles. Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 246, 1997, pp. 5–12. Translated by N. Yu. Netsvetaev.     

Classification of torus manifolds with codimension one extended actions

The purpose of this paper is to classify torus manifolds (M ²ⁿ , T ⁿ ) with codimension one extended G-actions (M ²ⁿ , G) up to essential isomorphism, where G is a compact, connected Lie group whose maximal torus is T ⁿ . For technical reasons, we do not assume torus manifolds are orientable. We prove that there are seven types of such manifolds. As a corollary, if a nonsingular toric variety or a quasitoric manifold has a codimension one extended action then such manifold is a complex projective bundle over a product of complex projective spaces.     

Tian’s invariant of the Grassmann manifold

We prove that Tian’s invariant on the complex Grassmann manifold G _p,q(?)is equal to 1/(p+ q).The method introduced here uses a Lie group of holomorphic isometries which operates transitively on the considered manifolds and a natural imbedding of (?¹ (?))^p in G _p,q (?).     

On continuous maps between Grassmann manifolds

LetG _n,k denote the Grassmann manifold ofk-planes in ?ⁿ. We show that for any continuous mapf: G _n,k→G_n,l the induced map inZ/2-cohomology is either zero in positive dimensions or has image in the subring generated by w₁(γ_{n, k}), provided 1≤l<k≤[n/2] andn≥k+2l-1. Our main application is to obtain negative results on the existence of equivariant maps between oriented Grassmann manifolds. We also obtain positive results in many cases on the existence of equivariant maps between oriented Grassmann manifolds.     

Affinely equivalent complete flat manifolds

Let E _Aff(Γ,G, m) be the set of affine equivalence classes of m-dimensional complete flat manifolds with a fixed fundamental group Γ and a fixed holonomy group G. Let n be the dimension of a closed flat manifold whose fundamental group is isomorphic to Γ. We describe E _Aff(Γ,G, m) in terms of equivalence classes of pairs (ε, ρ), consisting of epimorphisms of Γ onto G and representations of G in ℝ ^m-n . As an application we give some estimates of card E _Aff(Γ,G, m).     

Lorentzian similarity manifolds

An (m+2)-dimensional Lorentzian similarity manifold M is an affine flat manifold locally modeled on (G,ℝ ^m+2), where G = ℝ ^m+2 ⋊ (O(m+1, 1)×ℝ⁺). M is also a conformally flat Lorentzian manifold because G is isomorphic to the stabilizer of the Lorentzian group PO(m+2, 2) of the Lorentz model S ^m+1,1. We discuss the properties of compact Lorentzian similarity manifolds using developing maps and holonomy representations.     

Geometry of real grassmann manifolds. Parts I, II

The paper deals with the properties of the exterior algebra ℝ(Λⁿ) related to the Euclidean structure on ℝ(Λⁿ) induced by the scalar product in ℝ(Λⁿ). A geometric interpretation of inner multiplication for simple p-vectors is given. An invariant form of the Cartan criterion for the simplicity of a p-vector is given. The Plücker model realizing the real Grassmann manifold as a submanifold of the Euclidean space ℝ(Λⁿ), and an isometry of this submanifold onto the classical Grassmann manifold with SO(n)-invariant metric are described. A canonical decomposition of bivectors is given. Bibliography: 12 titles. Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 246, 1997, pp. 84–107. Translated by N. Yu: Netsvetaev.     

Embedding EnG in Euclidean space

It is shown that if G is an arbitrary upper semicontinuous decomposition of Eⁿ for which π(N_G embeds in S^m for some m?3, then the decomposition space $\text{E}{}^{\mathrm{n}}\text{G}$ embeds as a closed subset of E^n+m+1. The proof consists of constructing a cell-like upper semicontinuous decomposition G? of E^n+m+1 which intersects Eⁿ to yield precisely G and using Edwards' Cell-Like Approximation Theorem to show that G? is shrinkable. As an immediate corollary, $\text{E}{}^{\mathrm{n}}\text{G}$ embeds in E^n+2k+2 whenever G is an arbitrary k-dimensional upper semicontinuous decomposition of Eⁿ. This is an improvement of (n?1)-dimensions over the corresponding dimension theoretic result and examples due to Daverman show that this result is sharp in case n is odd and off by no more than one dimension in case n is even.     

Extensions and the Induced Characters of Cyclic p-Groups

For a prime p, we denote by B_n the cyclic group of order pⁿ. Let φ be a faithful irreducible character of B_n, where p is an odd prime. We study the p-group G containing B_n such that the induced character φ^G is also irreducible. The purpose of this article is to determine the subgroup N_G(N_G(B_n)) of G under the hypothesis [N_G(B_n):B_n]⁴ ≦ pⁿ.     

On conformally flat Lorentz parabolic manifolds

We introduce conformally flat Fefferman-Lorentz manifold of parabolic type as a special class of Lorentz parabolic manifolds. It is a smooth (2n+2)-manifold locally modeled on (Û(n+1, 1), S ^2n+1,1). As the terminology suggests, when a Fefferman-Lorentz manifold M is conformally flat, M is a Fefferman-Lorentz manifold of parabolic type. We shall discuss which compact manifolds occur as a conformally flat Fefferman-Lorentz manifold of parabolic type.     

Three-dimensional Lie group actions on compact (4n+3)-dimensional geometric manifolds

The (4n+3)-dimensional sphere S⁴ⁿ⁺³ can be viewed as the boundary of the quaternionic hyperbolic space and the group PSp(n+1,1) of quaternionic hyperbolic isometries extends to a real analytic transitive action on S⁴ⁿ⁺³. We call the pair (PSp(n+1,1),S⁴ⁿ⁺³) a spherical Q C-C geometry. A manifold M locally modelled on this geometry is said to be a spherical Q C-C manifold. We shall classify all pairs (G,M) where G is a three-dimensional connected Lie group which acts smoothly and almost freely on a compact spherical Q C-C manifold M, preserving the geometric structure. As an application, we shall determine all compact 3-pseudo-Sasakian manifolds admitting spherical Q C-C structures.     

Homogeneous almost normal Riemannian manifolds

In this article, we introduce a newclass of compact homogeneous Riemannian manifolds (M = G/H, µ) almost normal with respect to a transitive Lie group G of isometries for which by definition there exists a G-left-invariant and an H-right-invariant inner product ν such that the canonical projection p: (G, ν) → (G/H, µ) is a Riemannian submersion and the norm | · | of the product ν is at least the bi-invariant Chebyshev normon G defined by the space (M,µ).We prove the following results: Every homogeneous Riemannian manifold is almost normal homogeneous. Every homogeneous almost normal Riemannian manifold is naturally reductive and generalized normal homogeneous. For a homogeneous G-normal Riemannian manifold with simple Lie group G, the unit ball of the norm | · | is a Löwner-John ellipsoid with respect to the unit ball of the Chebyshev norm; an analogous assertion holds for the restrictions of these norms to a Cartan subgroup of the Lie group G. Some unsolved problems are posed.     

The Hamiltonian problem on distance-hereditary graphs

In this paper, we first present an O(n+m)-time sequential algorithm to solve the Hamiltonian problem on a distance-hereditary graph G, where n and m are the number of vertices and edges of G, respectively. This algorithm is faster than the previous best known algorithm for the problem which takes O(n²) time. We also give an efficient parallel implementation of our sequential algorithm. Moreover, if G is represented by its decomposition tree form, the problem can be solved optimally in O(logn) time using O((n+m)/logn) processors on an EREW PRAM.     

Multiplicative infinite loop space theory

Let G be a finitely presented group given by its pre-abelian presentation <X1,…,Xm; Xe11ζ1,…,Xemmζ,ζm+1,…>, where ei≥0 for i = 1,…, m and ζj?G′ for j≥1. Let N be the subgroup of G generated by the normal subgroups [xeii, G] for i = 1,…, m. Then Dn+2(G)≡γn+2(G) (modNG′) for all n≥0, where G” is the second commutator subgroup of G,γn+2(G) is the (n+2)th term of the lower central series of G and Dn+2(G) = G∩(1+△n+2(G)) is the (n+2)th dimension subgroup of G.     

Irreducible Algebraic Sets in Metabelian Groups

We present the construction for a u-product G₁ ○ G₂ of two u-groups G₁ and G₂, and prove that G₁ ○ G₂ is also a u-group and that every u-group, which contains G₁ and G₂ as subgroups and is generated by these, is a homomorphic image of G₁ ○ G₂. It is stated that if G is a u-group then the coordinate group of an affine space Gⁿ is equal to G ○ F_n, where F_n is a free metabelian group of rank n. Irreducible algebraic sets in G are treated for the case where G is a free metabelian group or wreath product of two free Abelian groups of finite ranks. __________ Translated from Algebra i Logika, Vol. 44, No. 5, pp. 601–621, September–October, 2005. Supported by RFBR grant No. 05-01-00292, by FP “Universities of Russia” grant No. 04.01.053, and by RF Ministry of Education grant No. E00-1.0-12.     

Pseudo-dimension and entropy of manifolds formed by affine-invariant dictionary

We consider the manifolds H _n(φ) formed by all possible linear combinations of n functions from the set {φ(A⋅+b)}, where x→Ax+b is arbitrary affine mapping in the space ℝ^d. For example, neural networks and radial basis functions are the manifolds of type H _n(φ). We obtain estimates for pseudo-dimension of the manifold H _n(φ) for wide collection of the generator function φ. The estimates have the order O(d ² n) in degree scale, that is the order is proportional to number of parameters of the manifold H _n(φ). Moreover the estimates for ɛ-entropy of the manifold H _n(φ) are obtained. Mathematics subject classifications (2000) 41A46, 41A50, 42A61, 42C10 V. Maiorov: Supported by the Center for Absorption in Science, Ministry of Immigrant Absorption, State of Israel.     

G-symmetric products of the sphereS 2 and other closed surfaces

It is shown that a functor of G-symmetric degree maps closed 2-manifolds into manifolds if and only if it is isomorphic to the Cartesian product of functors of symmetric degree. We study the canonical stratification of the pseudomanifolds , where M is a closed orientable surface. We find the torsion subgroups of certain homology groups H_i(SP _G ⁿ M,).Translated fromMatematicheskie Metody i Fiziko-Mekhanicheskie Polya, Issue 32, 1990, pp. 9–14.     

On a Function Related to Multinomial Coefficients (I)

Let F _p,t (n) denote the number of the coefficients of (x ₁+1x ₂+...+x _t ) ^j , 0 ≤j≤n− 1, which are not divisible by the prime p. Define G _p,t (n) = F _p,t /n ^θ and β(p,t) = lim infF _p,t )(n)/n ^θ, where θ = (log)/(log p). In this paper, we mainly prove that G _p,t can be extended to a continuous function on ℝ⁺, and the function G _p,t is nowhere monotonic. Both the set of differential points of the function G _p,t and the set of non-differential points of the function G _p,t are dense in ℝ⁺. Received February 18, 2000, Accepted December 7, 2000