The lattice automorphisms of simple algebraic groups over\bar F_2

We prove that if u is a unipotent element of a connected reductive algebraic group G over , there exists an involution σ in G such that σuσ=u⁻¹. We use this result to determine the group of lattice automorphisms of G, when G is simple.     

Spectra of ergodic group actions

LetG be a locally compact second countable abelian group, (X, μ) aσ-finite Lebesgue space, and (g, x) →gx a non-singular, properly ergodic action ofG on (X, μ). Let furthermore Γ be the character group ofG and let Sp(G, X) ⊂ Γ denote theL ^∞-spectrum ofG on (X, μ). It has been shown in [5] that Sp(G, X) is a Borel subgroup of Γ and thatσ (Sp(G, X))<1 for every probability measureσ on Γ with lim sup_g→∞Re (g)<1, where is the Fourier transform ofσ. In this note we prove the following converse: ifσ is a probability measure on Γ with lim sup_g→∞Re (g)<1 (g)=1 then there exists a non-singular, properly ergodic action ofG on (X, μ) withσ(Sp(G, X))=1.     

Motivic torsors

The torsorP _δ=Hom^⊗ (H _DR,H _σ) under the motivic Galois groupG _σ=Aut^⊗ H _δ of the Tannakian category generated by one-motives related by absolute Hodge cycles over a field κ with an embedding σ:k↪ℂ is shown to be determined by its projectionP _σ→P _σ/G _σ ⁰ to a Gal( )-torsor, and by its localizationsP _σ⊕_k k _ξ at a dense subset of orderings ϕ of the field κ, provided κ has virtual cohomological dimension (vcd) one. This result is an application of a recent local-global principle for connected linear algebraic groups over a field κ of vcd ≤1.     

On automorphism groups of connected Lie groups

We prove that ifG is a connected Lie group with no compact central subgroup of positive dimension then the automorphism group ofG is an almost algebraic subgroup of , where is the Lie algebra ofG. We also give another proof of a theorem of D. Wigner, on the connected component of the identity in the automorphism group of a general connected Lie group being almost algebraic, and strengthen a result of M.Goto on the subgroup consisting of all automorphisms fixing a given central element.     

Polar actions on Hilbert space

An isometricH-action on a Riemannian manifoldX is calledpolar if there exists a closed submanifoldS ofX that meets everyH-orbit and always meets orbits orthogonally (S is called a section). LetG be a compact Lie group equipped with a biinvariant metric,H a closed subgroup ofG ×G, and letH act onG isometrically by (h ₁,h ₂) ·x = h ₁ xh ₂ ⁻¹ · LetP(G, H) denote the group ofH ¹-pathsg: [0, 1] →G such that (g(0),g (1)) ∈H, and letP(G, H) act on the Hilbert spaceV = H ⁰([0, 1], g) isometrically byg * u = gug ⁻¹ −g′g ⁻¹. We prove that if the action ofH onG is polar with a flat section then the action ofP(G, H) onV is polar. Principal orbits of polar actions onV are isoparametric submanifolds ofV and are infinite-dimensional generalized real or complex flag manifolds. We also note that the adjoint actions of affine Kac-Moody groups and the isotropy action corresponding to an involution of an affine Kac-Moody group are special examples ofP(G, H)-actions for suitable choice ofH andG. Work supported partially by NSF Grant DMS 8903237 and by The Max-Planck-Institut für Mathematik in Bonn.     

Limit distributions of expanding translates of certain orbits on homogeneous spaces

LetL be a Lie group and λ a lattice inL. SupposeG is a non-compact simple Lie group realized as a Lie subgroup ofL and . LetaεG be such that Ada is semisimple and not contained in a compact subgroup of Aut(Lie(G)). Consider the expanding horospherical subgroup ofG associated toa defined as U⁺ ={g&#x03B5;G:a ⁻ⁿ gaⁿ} →e as n → ∞. Let Ω be a non-empty open subset ofU ⁺ andn _i → ∞ be any sequence. It is showed that . A stronger measure theoretic formulation of this result is also obtained. Among other applications of the above result, we describeG-equivariant topological factors of L/gl × G/P, where the real rank ofG is greater than 1,P is a parabolic subgroup ofG andG acts diagonally. We also describe equivariant topological factors of unipotent flows on finite volume homogeneous spaces of Lie groups.     

Orbits in Degenerate Compactifications of Symmetric Varieties

Let G be a simply connected semisimple algebraic group and let H ⁰ be the subgroup of points fixed under an involution of G. If V is an irreducible representation with a line L of vectors fixed by H ⁰ we consider the closure of the G-orbit of L in . We describe the G-orbits of this closure and we prove that the normalization of this variety is homeomorphic to the variety itself.     

Galois groups of intersections of local fields

LetK be a denumerable Hilbertian field with separable algebraic closure and Galois group , letw ₁,...w _n be absolute values on . Then for almost allσ ∈ G _K ⁿ (in the sense of Haar measure) there are no relations between the decomposition groups G _K (ω ₁ σ ₁),...,G _K (w _n σ _n ) of the absolute valuesw ₁ σ ₁,...,w _n σ _n i.e. the subgroup of G _K generated by these groups is the free product of these groups.     

Simple immersions of wonderful varieties

Let G be a semisimple connected linear algebraic group over , and X a wonderful G-variety. We study the possibility of realizing X as a closed subvariety of the projective space of a simple G-module. We describe the wonderful varieties having this property as well as the linear systems giving rise to such immersions. We also prove that any ample line bundle on a wonderful variety is very ample. Research supported by European Research Training Network LIEGRITS (MRTN-CT 2003- 505078), in contract with CNRS DR17, No 2.     

A Chebotarev Theorem for finite homogeneous extensions of shifts

We derive a Chebotarev Theorem for finite homogeneous extensions of shifts of finite type. These extensions are of the form :X×G/H→X×G/H where (x,gH)=(σx, α(x)gH), for some finite groupG and subgroupH. Given a σ-closed orbit τ, the periods of the -closed orbits covering τ define a partition of the integer |G/H|. The theorem then gives us an asymptotic formula for the number of closed orbits with respect to the various partitions of the integer |G/H|. We apply our theorem to the case of a finite extension and of an automorphism extension of shifts of finite type. We also give a further application to ‘automorphism extensions’ of hyperbolic toral automorphisms. Financially supported by Universiti Kebangsaan Malaysia     

Reconstructing graphs as subsumed graphs of hypergraphs,and some self-complementary triple systems

LetV be a set ofn elements. The set of allk-subsets ofV is denoted . Ak-hypergraph G consists of avertex-set V(G) and anedgeset , wherek≥2. IfG is a 3-hypergraph, then the set of edges containing a given vertexvεV(G) define a graphG _v . The graphs {G _v νvεV(G)} aresubsumed byG. Each subsumed graphG _v is a graph with vertex-setV(G) − v. They can form the set of vertex-deleted subgraphs of a graphH, that is, eachG _v ≽H −v, whereV(H)=V(G). In this case,G is a hypergraphic reconstruction ofH. We show that certain families of self-complementary graphsH can be reconstructed in this way by a hypergraphG, and thatG can be extended to a hypergraphG ^*, all of whose subsumed graphs are isomorphic toH, whereG andG ^* are self-complementary hypergraphs. In particular, the Paley graphs can be reconstructed in this way. This work was supported by an operating grant from the Natural Sciences and Engineering Research Council of Canada.     

Homogeneous Riemannian manifolds of positive Ricci curvature

We prove that a homogeneous effective spaceM=G/H, whereG is a connected Lie group andH⊂G is a compact subgroup, admits aG-invariant Riemannian metric of positive Ricci curvature if and only if the spaceM is compact and its fundamental group π₁(M) is finite (in this case any normal metric onG/H is suitable). This is equivalent to the following conditions: the groupG is compact and the largest semisimple subgroupLG⊂G is transitive onG/H. Furthermore, ifG is nonsemisimple, then there exists aG-invariant fibration ofM over an effective homogeneous space of a compact semisimple Lie group with the torus as the fiber. Translated fromMatematicheskie Zametki, Vol. 58, No. 3, pp. 334–340, September, 1995.     

Cusp forms

LetG andH ⊂G be two real semisimple groups defined overQ. Assume thatH is the group of points fixed by an involution ofG. Letπ ⊂L ²(H\G) be an irreducible representation ofG and letf επ be aK-finite function. Let Γ be an arithmetic subgroup ofG. The Poincaré seriesP _f(g)=Σ_H∩ΓΓ f(γ{}itg) is an automorphic form on Γ\G. We show thatP _f is cuspidal in some cases, whenH ∩Γ\H is compact. Partially supported by NSF Grant # DMS 9103608.     

Existence of homogeneous vectors on the fiber space of the tangent bundle

Let M = G/K be a homogeneous differentiable manifold. We consider the homogeneous bundle = (G, π, G/K, K) and the tangent bundle τ _G/K of M = G/K, and give some results about the existence of homogeneous vectors on the fiber space of τ _G/K, for both cases of G semisimple and weakly semisimple.      

The asymptotic σ-algebra of a recurrent random walk on a locally compact group

Let μ be a probability measure on a locally compact second countable groupG defining a recurrent (but not necessarily Harris) random walk. Denote byG ^∞ the space of paths and byB ^(a)the asymptotic σ-algebra. Let the starting measure be equivalent to the Haar measure and writeQ for the corresponding Markov measure onG ^∞. We prove thatL ^∞(G^∞, B^(a), Q) is in a canonical way isomorphic toL ^∞(G/N) whereN is the smallest closed normal subgroup ofG such that μ(zN)=1 for somez∈G. The groupG/N is either a finite cyclic group with generatorzN or a compact abelian group having the cyclic group as a dense subgroup. As a corollary we obtain that the set of all φ∈L ¹(G) such that coincides with the kernel of the canonical mapping ofL ¹(G)ontoL ¹(G/N). In particular, when μ is aperiodic, i.e.,G=N, then the random walk is mixing: for every φ∈L ¹(G) with ∝ φ=0.     

Compactification of symmetric varieties

The symmetric varieties considered in this paper are the quotientsG/H, whereG is an adjoint semi-simple group over a fieldk of characteristic 2, andH is the fixed point group of an involutorial automorphism ofG which is defined overk. In the casek=C, De Concini and Procesi (1983) constructed a wonderful compactification ofG/H. We prove the existence of such a compactification for arbitraryk. We also prove cohomology vanishing results for line bundles on the compactification. Dedicated to the memory of C. Chevalley     

Partitions of the wonderful group compactification

We define and study a family of partitions of the wonderful compactification of a semisimple algebraic group G of adjoint type. The partitions are obtained from subgroups of G × G associated to triples (A₁, A₂, a), where A₁ and A₂ are subgraphs of the Dynkin graph Γ of G and a : A₁ → A₂ is an isomorphism. The partitions of of Springer and Lusztig correspond, respectively, to the triples (∅, ∅, id) and (Γ, Γ, id).     

The Fractional Chromatic Number Of The Categorical Product Of Graphs

We prove that the identity

Measurable orthogonally additive functions modulo a discrete subgroup

Under appropriate conditions on Abelian topological groups G and H, an orthogonality ⊥ ⊂ G ² and a σ-algebra of subsets of G we decompose an -measurable function f: G → H which is orthogonally additive modulo a discrete subgroup K of H into its continuous additive and continuous quadratic part (modulo K). Research supported by the Silesian University Mathematics Department (Functional Equations on Abstract Structures program — the first author, and Iterative Functional Equations and Real Analysis program — the second author).     

Rigidity problem for lattices in solvable Lie groups

The paper concerns rigidity problem for lattices in simply connected solvable Lie groups. A lattice Γ⊂G is said to be rigid if for any isomorphism ϕ:Γ→Γ′ with another lattice Γ′⊂G there exists an automorphism which extends ϕ. An effective rigidity criterion is proved which generalizes well-known rigidity theorems due to Malcev and Saito. New examples of rigid and nonrigid lattices are constructed. In particular, we construct: a) rigid lattice Γ⊂G which is not Zariski dense in the adjoint representation ofG, b) Zariski dense lattice Γ⊂G which is not rigid, c) rigid virtually nilpotent lattice Γ in a solvable nonnilpotent Lie groupG.