Unitary units in modular group algebras

Letp be a prime,K a field of characteristicp, G a locally finitep-group,KG the group algebra, andV the group of the units ofKG with augmentation 1. The anti-automorphismg→g ⁻¹ ofG extends linearly toKG; this extension leavesV setwise invariant, and its restriction toV followed byv→v ⁻¹ gives an automorphism ofV. The elements ofV fixed by this automorphism are calledunitary; they form a subgroup. Our first theorem describes theK andG for which this subgroup is normal inV. For each elementg inG, let denote the sum (inKG) of the distinct powers ofg. The elements 1+(g-1) withh,hεG are thebicyclic units ofKG. Our second theorem describes theK andG for which all bicyclic units are unitary. Research partly supported by the Hungarian National Foundation for Scientific Research grant no. T4265. The second author is indebted to the ‘Universitas’ Foundation and the Lajos Kossuth University of Debrecen, Hungary, for warm hospitality and generous support during the period when this work began. This article was processed by the authors using the Springer-Verlag T_EX mamath macro package 1990.     

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.     

Bundle-connection pairs and loop group representations

LetM be a connected differentiable manifold. Denote by Ω _m (M) the space ofH ¹-loops based at a fixed pointm∈M. Associated to Ω _m (M) one has , the group of unparameterized loops. Given a bundle-connection pair (E,∇) overM with fiber the finite-dimensional vector spaceV and structure groupG⊂GL(V) we get (up to equivalence) a smooth representation of inG given by the parallel transport operatorP ^∇. It is possible to find in the literature several versions of the converse theorem, namely: all (smooth) representations of arise in the above described way from a bundle-connection pair. It is shown in the present paper that the correct setting for this theorem is the theory of induced representations for groupoids. Translated fromMatematicheskie Zametki, Vol. 61, No. 4, pp. 503–518, April, 1997.     

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ε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.     

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.     

Two Orbits: When is one in the closure of the other?

Let G be a connected linear algebraic group, let V be a finite dimensional algebraic G-module, and let and be two G-orbits in V. We describe a constructive way to find out whether or not lies in the closure of . Published in Russian in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2009, Vol. 264, pp. 152–164. In memory of V.A. Iskovskikh     

Gruppi che ammettono un automorfismo 4-spezzante

LetG be a group admitting a 4-splitting automorphism (i.e. an automorphism σ such that for everyg∈G). In this paper we prove that ifG≠1 is solvable with derived lengthd thenG′ is nilpotent of class not greater than (4 ^d−1−1)/3.     

Distribution of lattice orbits on homogeneous varieties

Given a lattice Γ in a locally compact group G and a closed subgroup H of G, one has a natural action of Γ on the homogeneous space V = H\ G. For an increasing family of finite subsets {Γ _T : T > 0}, a dense orbit υ· Γ, υ∈V and compactly supported function φ on V, we consider the sums . Understanding the asymptotic behavior of S _φ,υ (T) is a delicate problem which has only been considered for certain very special choices of H,G and {Γ _T }. We develop a general abstract approach to the problem, and apply it to the case when G is a Lie group and either H or G is semisimple. When G is a group of matrices equipped with a norm, we have where G _T = {g ∈G: ||g|| < T} and Γ _T = G _T ∩ Γ. We also show that the asymptotics of S _{φ, υ} (T) is governed by where ν is an explicit limiting density depending on the choice of υ and || · ||. Submitted: March 2005 Revision: April 2006 Accepted: June 2006     

Pseudo algebraically closed fields over rings

We prove that for almost allσ ∈G ℚ the field has the following property: For each absolutely irreducible affine varietyV of dimensionr and each dominating separable rational mapϕ:V→ there exists a point a ∈ such thatϕ(a) ∈ ℤ^r. We then say that is PAC over ℤ. This is a stronger property then being PAC. Indeed we show that beside the fields other fields which are algebraic over ℤ and are known in the literature to be PAC are not PAC over ℤ.     

On super vertex-graceful unicyclic graphs

A graph G with p vertices and q edges, vertex set V(G) and edge set E(G), is said to be super vertex-graceful (in short SVG), if there exists a function pair (f, f ⁺) where f is a bijection from V(G) onto P, f ⁺ is a bijection from E(G) onto Q, f ⁺((u, v)) = f(u) + f(v) for any (u, v) ∈ E(G),

The hamiltonian chromatic number of a connected graph without large hamiltonian-connected subgraphs

If G is a connected graph of order n ⩾ 1, then by a hamiltonian coloring of G we mean a mapping c of V (G) into the set of all positive integers such that |c(x) − c(y)| ⩾ n − 1 − D _G (x, y) (where D _G (x, y) denotes the length of a longest x − y path in G) for all distinct x, y ∈ V (G). Let G be a connected graph. By the hamiltonian chromatic number of G we mean

Regelflächenscharen

Let K be any commutative field and V:=K ⁴. A collection of ruled quadrics in V is called a flock of ruled quadrics if the following holds true. (1) ⋃_{ℱ∈ G} ℱ = V; (2) There is a line S⊂V such that ℱ₁⋂ℱ₂= S for all distinct ℱ₁, ℱ₂∈ . The group ΓL(V) decomposes the set of all those flocks into equivalence classes. Besides that, we consider any cone R in V, say R:= {x∈V|x ₁ x ₃ - x ₂ ² = 0}. Let R denote the set of all regular points of R. Plane sections of R which do not contain the singular point of ℜ are called regular sections. We consider decompositions of R ^* by regular sections and their equivalence classes with respect to the symmetry group ΓL(V)R of the cone ℜ. The main result is as follows. There is a (natural) bijection between the classes of equivalent flocks of rules quadrics and the classes of equivalent decompositions of R ^* by regular sections. A brief discussion of those flocks of ruled quadrics on which the construction of the so-called Betten-Walker planes is based ends the paper. Provided that char K≠3, these planes exist if and only if x∈K→x ³∈K is bijective.      

A lower bound on the total signed domination numbers of graphs

Let G be a finite connected simple graph with a vertex set V(G)and an edge set E(G). A total signed domination function of G is a function f:V(G)∪E(G)→{-1,1}.The weight of f is W(f)=∑_(x∈V)(G)∪E(G))f(X).For an element x∈V(G)∪E(G),we define f[x]=∑_(y∈NT[x])f(y).A total signed domination function of G is a function f:V(G)∪E(G)→{-1,1} such that f[x]≥1 for all x∈V(G)∪E(G).The total signed domination numberγ_s~*(G)of G is the minimum weight of a total signed domination function on G. In this paper,we obtain some lower bounds for the total signed domination number of a graph G and compute the exact values ofγ_s~*(G)when G is C_n and P_n.     

A bound on the <Emphasis Type="Italic">k</Emphasis>-domination number of a graph

Let G be a graph with vertex set V(G), and let k ⩾ 1 be an integer. A subset D ⊆ V(G) is called a k-dominating set if every vertex υ ∈ V(G)-D has at least k neighbors in D. The k-domination number γ _k (G) of G is the minimum cardinality of a k-dominating set in G. If G is a graph with minimum degree δ(G) ⩾ k + 1, then we prove that

Embedding graphs with bounded degree in sparse pseudorandom graphs

In this paper, we show the equivalence of somequasi-random properties for sparse graphs, that is, graphsG with edge densityp=|E(G)|/( ₂ ⁿ )=o(1), whereo(1)→0 asn=|V(G)|→∞. Our main result (Theorem 16) is the following embedding result. For a graphJ, writeN _J(x) for the neighborhood of the vertexx inJ, and letδ(J) andΔ(J) be the minimum and the maximum degree inJ. LetH be atriangle-free graph and setd _H=max{δ(J):J⊆H}. Moreover, putD _H=min{2d _H,Δ(H)}. LetC>1 be a fixed constant and supposep=p(n)≫n ⁻¹ D _H. We show that ifG is such that

Some Aspects of Lw1^r （G）∩ L（p,q, w2dμ）（G）

Let G be a locally compact Abelian group with Haar measure. The authors discuss some basic properties of Lw1^r （G）∩ L（p, q, w2dμ）（G） spaces. Then the necessary conditions for compact embeddings of the spaces Lw1^r （R^d）∩ L（p, q, w2dμ）（R^d） are showed.     

Division algebras with a projective basis

Letk be any field andG a finite group. Given a cohomology class α∈H ²(G,k ^*), whereG acts trivially onk ^*, one constructs the twisted group algebrak ^αG. Unlike the group algebrakG, the twisted group algebra may be a division algebra (e.g. symbol algebras, whereG⋞Z _n×Z_n). This paper has two main results: First we prove that ifD=k ^α G is a division algebra central overk (equivalentyD has a projectivek-basis) thenG is nilpotent andG’ the commutator subgroup ofG, is cyclic. Next we show that unless char(k)=0 and , the division algebraD=k ^α G is a product of cyclic algebras. Furthermore, ifD _p is ap-primary factor ofD, thenD _p is a product of cyclic algebras where all but possibly one are symbol algebras. If char(k)=0 and , the same result holds forD _p, p odd. Ifp=2 we show thatD ₂ is a product of quaternion algebras with (possibly) a crossed product algebra (L/k,β), Gal(L/k)⋞Z ₂×Z₂n.     

Holomorphic automorphisms and collective compactness in J*-algebras of operator

Let G be the Banach-Lie group of all holomorphic automorphisms of the open unit ball in a J^*-algebra of operators. Let be the family of all collectively compact subsets W contained in . We show that the subgroup F ⊂ G of all those g ∈ G that preserve the family is a closed Lie subgroup of G and characterize its Banach-Lie algebra. We make a detailed study of F when is a Cartan factor.      

Finiteness properties of chevalley groups overFq[t]

LetG be a simple Chevalley group of rankn and Γ=G( ). Then the finiteness length of Γ shall be determined by studying the action of Γ on the Bruhat-Tits buildingX ofG . This is always possible provided that certain subcomplexes of the links of simplices inX are spherical. As a consequence, one obtains that Γ is of typeF _n−1 but not of typeFP _n ifG is of typeA _n, B_n, C_n orD _n andq≥2²ⁿ⁻¹.     

On Galois isomorphisms between ideals in extensions of local fields

LetL/K be a totally ramified, finite abelian extension of local fields, let and be the valuation rings, and letG be the Galois group. We consider the powers of the maximal ideal of as modules over the group ring . We show that, ifG has orderp ^m (withp the residue field characteristic), ifG is not cyclic (or ifG has orderp), and if a certain mild hypothesis on the ramification ofL/K holds, then and are isomorphic iffr≡r′ modp ^m . We also give a generalisation of this result to certain extensions not ofp-power degree, and show that, in the casep=2, the hypotheses thatG is abelian and not cyclic can be removed.