Submanifolds Of Maximal Nullity In Symmetric Spaces

A non-totally-geodesic submanifold of relative nullity n — 1 in a symmetric space M is a cylinder over one of the following submanifolds: a surface F ² of nullity 1 in a totally geodesic submanifold N³ ? M locally isometric to S ²(c) × ? or H ²(c) × ?; a submanifold F ^k+1 spanned by a totally geodesic submanifold F ^k(c) of constant curvature moving by a special curve in the isometry group of M; a submanifold F ^k+l of nullity k in a flat totally geodesic submanifold of M; a curve.     

The localization of 1-cohomology of transitive Lie algebroids

For a transitive Lie algebroid A on a connected manifold M and its representation on a vector bundle F, we define a morphism of cohomology groups rk: Hk(A,F) → Hk(Lx,Fx), called the localization map, where Lx is the adjoint algebra at x ∈ M. The main result in this paper is that if M is simply connected, or H (LX,FX) is trivial, then T is injective. This means that the Lie algebroid 1-cohomology is totally determined by the 1-cohomology of its adjoint Lie algebra in the above two cases.     

Connected subgroups of SO(2, n) acting irreducibly on ?2,n

We classify all connected subgroups of SO(2, n) that act irreducibly on ℝ^{2, n} . Apart from SO ₀(2, n) itself these are U(1, n/2), SU(1, n/2), if n even, S ¹ · SO(1, n/2) if n even and n ≥ 2, and SO ₀(1, 2) for n = 3. Our proof is based on the Karpelevich Theorem and uses the classification of totally geodesic submanifolds of complex hyperbolic space and of the Lie ball. As an application we obtain a list of possible irreducible holonomy groups of Lorentzian conformal structures, namely SO ₀(2, n), SU(1, n), and SO ₀(1, 2).     

On the abelianizations of congruence subgroups of Aut(<Emphasis Type="Italic">F</Emphasis><Subscript>2</Subscript>)

Let F _n be the free group of rank n, and let Aut⁺(F _n ) be its special automorphism group. For an epimorphism π : F _n → G of the free group F _n onto a finite group G we call the standard congruence subgroup of Aut⁺(F _n ) associated to G and π. In the case n = 2 we fully describe the abelianization of Γ⁺(G, π) for finite abelian groups G. Moreover, we show that if G is a finite non-perfect group, then Γ⁺(G, π) ≤ Aut⁺(F ₂) has infinite abelianization.     

The non-commutative Weil algebra

For any compact Lie group G, together with an invariant inner product on its Lie algebra ?, we define the non-commutative Weil algebra ? _G as a tensor product of the universal enveloping algebra U(?) and the Clifford algebra Cl(?). Just like the usual Weil algebra W _G =S(?^*)⊗∧?^*, ? _G carries the structure of an acyclic, locally free G-differential algebra and can be used to define equivariant cohomology ℋ _G (B) for any G-differential algebra B. We construct an explicit isomorphism ?: W _G →? _G of the two Weil algebras as G-differential spaces, and prove that their multiplication maps are G-chain homotopic. This implies that the map in cohomology H _G (B)→ℋ _G (B) induced by ? is a ring isomorphism. For the trivial G-differential algebra B=ℝ, this reduces to the Duflo isomorphism S(?) ^G ≅U(?) ^G between the ring of invariant polynomials and the ring of Casimir elements. Oblatum 13-III-1999 & 27-V-1999 / Published online: 22 September 1999     

The McKay conjecture for exceptional groups and odd primes

Let G be a simply-connected simple algebraic group over an algebraically closed field of characteristic p with a Frobenius map F : G → G and G := G ^F , such that the root system is of exceptional type or G is a Suzuki group or Steinberg’s triality group. We show that all irreducible characters of C _G (S), the centraliser of S in G, extend to their inertia group in N _G (S), where S is any F-stable Sylow torus of (G, F). Together with the work in [16] this implies that the McKay conjecture is true for G and odd primes ℓ different from the defining characteristic. Moreover it shows important properties of the associated simple groups, which are relevant for the proof that the associated simple groups are good in the sense of Isaacs, Malle and Navarro, as defined in [14]. This research has been supported by the DFG-grant “Die Alperin-McKay-Vermutung für endliche Gruppen” and an Oberwolfach Leibniz fellowship.     

Scale functions on $p$-adic Lie groups

Let G be a p-adic Lie group. Then G is a locally compact, totally disconnected group, to which Willis [14] associates its scale function G : G→ℕ. We show that s can be computed on the Lie algebra level. The image of s consists of powers of p. If G is a linear algebraic group over ℚ _p , s(x)=s(h) is determined by the semisimple part h of x∈G. For every finite extension K of ℚ _p , the scale functions of G and H:=G(K) are related by s _H ∣ _G =s _G ^{[ K :ℚ} _p ^]. More generally, we clarify the relations between the scale function of a p-adic Lie group and the scale functions of its closed subgroups and Hausdorff quotients. Received: 20 February 1997; Revised version: 18 May 1998     

Gauge-Invariant Characterization of Yang–Mills–Higgs Equations

Let C → M be the bundle of connections of a principal G-bundle P → M over a pseudo-Riemannian manifold (M,g) of signature (n⁺, n⁻) and let E → M be the associated bundle with P under a linear representation of G on a finite-dimensional vector space. For an arbitrary Lie group G, the O(n⁺, n⁻) × G-invariant quadratic Lagrangians on J¹(C × _M E) are characterized. In particular, for a simple Lie group the Yang–Mills and Yang–Mills–Higgs Lagrangians are characterized, up to an scalar factor, to be the only O(n⁺, n⁻) × G-invariant quadratic Lagrangians. These results are also analyzed on several examples of interest in gauge theory. Submitted: May 19, 2005; Accepted: April 25, 2006     

The isometric extension of the into mapping from the unit sphere S 1( E ) to S 1( l ∞(Γ))

This paper considers the isometric extension problem concerning the mapping from the unit sphere S ₁(E) of the normed space E into the unit sphere S ₁(l ^∞(Γ)). We find a condition under which an isometry from S ₁(E) into S ₁(l ^∞(Γ)) can be linearly and isometrically extended to the whole space. Since l ^∞(Γ) is universal with respect to isometry for normed spaces, isometric extension problems on a class of normed spaces are solved. More precisely, if E and F are two normed spaces, and if V ₀: S ₁(E) → S ₁(F) is a surjective isometry, where c ₀₀(Γ) ⊆ F ⊆ l ^∞(Γ), then V ₀ can be extended to be an isometric operator defined on the whole space. This work is supported by Natural Science Foundation of Guangdong Province, China (Grant No. 7300614)     

The geodetic numbers of graphs and digraphs

For every two vertices u and v in a graph G,a u-v geodesic is a shortest path between u and v.Let I(u,v)denote the set of all vertices lying on a u-v geodesic.For a vertex subset S,let I(S) denote the union of all I(u,v)for u,v∈S.The geodetic number g(G)of a graph G is the minimum cardinality of a set S with I(S)=V(G).For a digraph D,there is analogous terminology for the geodetic number g(D).The geodetic spectrum of a graph G,denoted by S(G),is the set of geodetic numbers of all orientations of graph G.The lower geodetic number is g~-(G)=minS(G)and the upper geodetic number is g~ (G)=maxS(G).The main purpose of this paper is to study the relations among g(G),g~-(G)and g~ (G)for connected graphs G.In addition,a sufficient and necessary condition for the equality of g(G)and g(G×K_2)is presented,which improves a result of Chartrand,Harary and Zhang.     

Submanifolds with Parallel Second Fundamental Form Studied via the Gauss Map

For an arbitrary n-dimensional Riemannian manifold N and an integer m ∈ {1,…,n−1} a covariant derivative on the Grassmann bundle ^ := G_m(T N) is introduced which has the property that an m-dimensional submanifold M ⊂ N has parallel second fundamental form if and only if its Gauss map M → ^ is affine. (For N Rⁿ this result was already obtained by J. Vilms in 1972.) By means of this relation a generalization of Cartan's theorem on the total geodesy of a geodesic umbrella can be derived: Suppose, initial data (p,W,b) prescribing a tangent space W ∈ G_m(T_pN) and a second fundamental form b at p ∈ N are given; for these data we construct an m-dimensional ‘umbrella’ M = M(p,W,b) ⊂ N the rays of which are helical arcs of N; moreover, we present tensorial conditions (not involving ) which guarantee that the umbrella M has parallel second fundamental form. These conditions are as well necessary, and locally every submanifold with parallel second fundamental form can be obtained in this way. Mathematics Subject Classifications (2000): 53B25, 53B20, 53B21.     

Lie subalgebras in a certain operator Lie algebra with involution

We show in a certain Lie*-algebra, the connections between the Lie subalgebra G ⁺:= G + G* + [G, G*], generated by a Lie subalgebra G, and the properties of G. This allows us to investigate some useful information about the structure of such two Lie subalgebras. Some results on the relations between the two Lie subalgebras are obtained. As an application, we get the following conclusion: Let A ⊂ B(X) be a space of self-adjoint operators and ℒ:= A ⊕ iA the corresponding complex Lie*-algebra. G ⁺ = G + G* + [G, G*] and G are two LM-decomposable Lie subalgebras of ℒ with the decomposition G ⁺ = R(G ⁺) + S, G = R _G + S _G , and R _G ⊆ R(G ⁺). Then G ⁺ is ideally finite iff R _G ⁺:= R _G + R* _G ^* + [R _G , R _G ^*] is a quasisolvable Lie subalgebra, S _G ⁺:= S _G + S _G ^* + [S _G , S _G ^*] is an ideally finite semisimple Lie subalgebra, and [R _G , S _G ] = [R _G ^*, S _G ] = {0}.     

Contractible Lie groups over local fields

Let G be a Lie group over a local field of characteristic p > 0 which admits a contractive automorphism α : G → G (i.e., α ⁿ (x) → 1 as n → ∞, for each x ∈ G). We show that G is a torsion group of finite exponent and nilpotent. We also obtain results concerning the interplay between contractive automorphisms of Lie groups over local fields, contractive automorphisms of their Lie algebras, and positive gradations thereon. Some of the results extend to Lie groups over arbitrary complete ultrametric fields. Supported by the German Research Foundation (DFG), grants GL 357/2-1 and GL 357/6-1.     

The Exceptional Compact Symmetric Spaces <Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript> and <Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript>/<Emphasis Type="Italic">SO</Emphasis>(4) as Tubes

In the present paper we discuss in detail the cohomogeneity one isometric actions of the Lie groups SU(3) × SU(3) and SU(3) on the exceptional compact symmetric spaces G₂ and G₂/SO(4), respectively. We show that the principal orbits coincide with the tubular hypersurfaces around the totally geodesic singular orbits, and the symmetric spaces G₂ and G₂/SO(4) can be thought of as compact tubes around SU(3) and P², respectively. Moreover, we determine the radii of these tubes and describe the shape operators of the principal orbits. Finally, we apply these results to compute the volumes of the two symmetric spaces.The author was partially supported by the Hungarian National Science and Research Foundation OTKA T032478.     

The Exceptional Compact Symmetric Spaces G 2 and G 2/ SO(4) as Tubes

In the present paper we discuss in detail the cohomogeneity one isometric actions of the Lie groups SU(3) × SU(3) and SU(3) on the exceptional compact symmetric spaces G₂ and G₂/SO(4), respectively. We show that the principal orbits coincide with the tubular hypersurfaces around the totally geodesic singular orbits, and the symmetric spaces G₂ and G₂/SO(4) can be thought of as compact tubes around SU(3) and P², respectively. Moreover, we determine the radii of these tubes and describe the shape operators of the principal orbits. Finally, we apply these results to compute the volumes of the two symmetric spaces.     

Unique ergodicity of flows on homogeneous spaces

LetG be a unimodular Lie group, Γ a co-compact discrete subgroup ofG and ‘a’ a semisimple element ofG. LetT _a be the mapgΓ →ag Γ:G/Γ →G/Γ. The following statements are pairwise equivalent: (1) (T _a, G/Γ,θ) is weak-mixing. (2) (T _a, G/Γ) is topologically weak-mixing. (3) (G ^u, G/Γ) is uniquely ergodic. (4) (G ^u, G/Γ,θ) is ergodic. (5) (G ^u, G/Γ) is point transitive. (6) (G ^u, G/Γ) is minimal. If in additionG is semisimple with finite center and no compact factors, then the statement “(T _a, G/Γ,θ) is ergodic” may be added to the above list. The authors were partially supported by NSF grant MCS 75-05250.     

The cobordism classification of involution on DOLD manifoldP(1,2l)

Supposing the smooth involution of the DOLD manifoldP(1,2l) satisfies the following condition: the fiberation π:P(1,2l)× _T×(−1)S^∞→RP(∞) is totally nonhomologous to zero (cf. [1, p373]), this paper determines the classification of smooth involution on the DOLD manifoldP(1,2l) totally. Supported by the Foundation of Tian Yuan and the Natural Science Foundation of Hebei province.     

Harmonic maps with potential

Let (M,g) and (N,h) be two Riemannian manifolds, and G:N →ℝ a given function. If f:M → N is a smooth map, we set E _G (f)=12 ∫_M [∣df∣²− 2G(f)]dv _g. We establish some variational properties and some existence results for the functional E _G (f): in particular, we analyse the case of maps into a sphere. Received April 29, 1996 / Accepted May 28, 1996     

Three classes of smooth Banach submanifolds in B(E,F)

Let E, F be two Banach spaces, and B(E, F), Φ(E, F), SΦ(E, F) and R(E,F) be the bounded linear, Fredholm, semi-Frdholm and finite rank operators from E into F, respectively. In this paper, using the continuity characteristics of generalized inverses of operators under small perturbations, we prove the following result Let ∑ be any one of the following sets {T ∈ Φ(E, F) IndexT =const, and dim N(T) = const.}, {T ∈ SΦ(E, F) either dim N(T) = const. ＜ ∞ or codim R(T) = const.＜ ∞} and {T ∈ R(E, F) RankT =const.＜∞}. Then ∑ is a smooth submanifold of B(E, F) with the tangent space TA∑ = {B ∈ B(E,F) BN(A) (∪) R(A)} for any A ∈ ∑. The result is available for the further application to Thom's famous results on the transversility and the study of the infinite dimensional geometry.