On Discrete Zariski-Dense Subgroups of Algebraic Groups

We investigate under which conditions an algebraic group G defined over a locally compact field k admitr a subgroup Γ? G(k) which is dense in the Zariski topology, but discerte in the topology induced by the locally compact topology on k. For non—solvable groups we provide a complete answer.     

A Local Property of Large Polyhedral Maps on Compact 2-Dimensional Manifolds

We prove that each polyhedral map G on a compact 2-manifold, which has large enough vertices, contains a k-path, a path on k vertices, such that each vertex of it has, in G, degree at most 6k; this bound being best possible for k even. Moreover, if G has large enough vertices of degree >6k, than it contains a k-path such that each its vertex has degree, in G, at most 5k; this bound is best possible for any k. Received: December 8, 1997 Revised: April 27, 1998     

Estimating L ∞ Norms by L 2k Norms for Functions on Orbits

Abstract. Let G be a compact group acting in a real vector space V . We obtain a number of inequalities relating the L ^∞ norm of a matrix element of the representation of G with its L ^2k norm for a positive integer k . As an application, we obtain approximation algorithms to find the maximum absolute value of a given multivariate polynomial over the unit sphere (in which case G is the orthogonal group) and for the assignment problem of degree d , a hard problem of combinatorial optimization generalizing the quadratic assignment problem (in which case G is the symmetric group).     

A remark on divisibility of definable groups

We show that if G is a definably compact, definably connected definable group defined in an arbitrary o‐minimal structure, then G is divisible. Furthermore, if G is defined in an o‐minimal expansion of a field, k ∈ ? and p_k : G → G is the definable map given by p_k (x ) = x^k for all x ∈ G , then we have |(p_k )^–1(x )| ≥ k^r for all x ∈ G , where r > 0 is the maximal dimension of abelian definable subgroups of G . (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Geometric realization of Adams maps

Let G/P be a homogenous space with G a compact connected Lie group and P a connected subgroup of G of equal rank. As the rational cohomology ring of G/P is concentrated in even dimensions, for an integer k we can define the Adams map of type k to be l _k : H*(G/P, ℚ) → H*(G/P, ℚ), l _k (u) = k ⁱ u, u ∈ H ²ⁱ (G/P, ℚ). We show that if k is prime to the order of the Weyl group of G, then l _k can be induced by a self map of G/P. We also obtain results which imply the condition that k is prime to the order of the Weyl group of G is necessary.     

On the set of discrete subgroups of bounded covolume in a semisimple group

In this noteG is a locally compact group which is the product of finitely many groups G_s(k_s)(s∈S), where k_s is a local field of characteristic zero and G_s an absolutely almost simplek _s-group, ofk _s-rank ≥1. We assume that the sum of the r_s is ≥2 and fix a Haar measure onG. Then, given a constantc > 0, it is shown that, up to conjugacy,G contains only finitely many irreducible discrete subgroupsL of covolume ≥c (4.2). This generalizes a theorem of H C Wang for real groups. His argument extends to the present case, once it is shown thatL is finitely presented (2.4) and locally rigid (3.2).     

On the admissibility of finite groups over global fields of finite characteristic

Let k be a global field of characteristic p. A finite group G is called k-admissible if there exists a division algebra finite dimensional and central over k which is a crossed product for G. Let G be a finite group with normal Sylow p-subgroup P. If the factor group G/P is k-admissible, then G is k-admissible. A necessary condition is given for a group to be k-admissible: if a finite group G is k-admissible, then every Sylow l-subgroup of G for l ≠ p is metacyclic with some additional restriction. Then it is proved that a metacyclic group G generated by x and y is k-admissible if some relation between x and y is satisfied.     

Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields II

Let k be a separably closed field. Let G be a reductive algebraic k-group. We study Serre’s notion of complete reducibility of subgroups of G over k. In particular, using the recently proved center conjecture of Tits, we show that the centralizer of a k-subgroup H of G is G-completely reducible over k if it is reductive and H is G-completely reducible over k. We show that a regular reductive k-subgroup of G is G-completely reducible over k. We present examples where the number of overgroups of irreducible subgroups and the number of G(k)-conjugacy classes of k-anisotropic unipotent elements are infinite.     

Cardinal invariants of infinite groups

LetG be a group. CallG akC-group if every element ofG has less thank conjugates. Denote byP(G) the least cardinalk such that any subset ofG of sizek contains two elements which commute.It is shown that the existence of groupsG such thatP(G) is a singular cardinal is consistent withZFC. So is the existence of groupsG which are notkC but haveP(G) wherek is a limit cardinal. On the other hand, ifk is a singular strong limit cardinal, andG is akC-group, thenP(G)k. This partially answers questions, and improves results, of Faber, Laver and McKenzie.The present paper has non-trivial intersection with the author's Diplomarbeit written under the direction of Prof. Ulrich Felgner at the University of Tübingen, W. Germany, 1988     

Edge disjoint cycles through specified vertices

We give a sufficient condition for a simple graph G to have k pairwise edge‐disjoint cycles, each of which contains a prescribed set W of vertices. The condition is that the induced subgraph G[W] be 2k‐connected, and that for any two vertices at distance two in G[W], at least one of the two has degree at least |V(G)|/2 + 2(k ? 1) in G. This is a common generalization of special cases previously obtained by Bollobás/Brightwell (where k = 1) and Li (where W = V(G)). A key lemma is of independent interest. Let G be the complement of a bipartite graph with partite sets X, Y. If G is 2k connected, then G contains k Hamilton cycles that are pairwise edge‐disjoint except for edges in G[Y]. © 2005 Wiley Periodicals, Inc. J Graph Theory     

Spanning k-Trees of n-Connected Graphs

A tree is called a k-tree if the maximum degree is at most k. We prove the following theorem, by which a closure concept for spanning k-trees of n-connected graphs can be defined. Let k ≥ 2 and n ≥ 1 be integers, and let u and v be a pair of nonadjacent vertices of an n-connected graph G such that deg _G (u) + deg _G (v) ≥ |G| − 1 − (k − 2)n, where |G| denotes the order of G. Then G has a spanning k-tree if and only if G + uv has a spanning k-tree.     

Principe de Hasse pour les espaces principaux homogènes sous les groupes classiques sur un corps de dimension cohomologique virtuelle au plus 1

Letk be a perfect field of virtual cohomological dimension at most 1. LetG be a semi-simple, simply connected classical group. In this paper it is proved that a principal homogeneous space underG which is trivial over every real closure ofk is trivial.      

Set intersection representations for almost all graphs

Two variations of set intersection representation are investigated and upper and lower bounds on the minimum number of labels with which a graph may be represented are found that hold for almost all graphs. Specifically, if θ_k(G) is defined to be the minimum number of labels with which G may be represented using the rule that two vertices are adjacent if and only if they share at least k labels, there exist positive constants c_k and c′_k such that almost every graph G on n vertices satisfies Changing the representation only slightly by defining θ;_odd (G) to be the minimum number of labels with which G can be represented using the rule that two vertices are adjacent if and only if they share an odd number of labels results in quite different behavior. Namely, almost every graph G satisfies Furthermore, the upper bound on θ_odd(G) holds for every graph. © 1996 John Wiley & Sons, Inc.     

On Compact Graphs

Let G be a finite simple graph with adjacency matrix A, and let P（A） be the convex closure of the set of all permutation matrices commuting with A. G is said to be compact if every doubly stochastic matrix which commutes with A is in P（A）. In this paper, we characterize 3-regular compact graphs and prove that if G is a connected regular compact graph, G - v is also compact, and give a family of almost regular compact connected graphs.     

Non-traceability of large connected claw-free graphs

Let G be a connected claw-free graph on n vertices. Let ς₃(G) be the minimum degree sum among triples of independent vertices in G. It is proved that if ς₃(G) ≥ n − 3 then G is traceable or else G is one of graphs G_n each of which comprises three disjoint nontrivial complete graphs joined together by three additional edges which induce a triangle K₃. Moreover, it is shown that for any integer k ≥ 4 there exists a positive integer ν(k) such that if ς₃(G) ≥ n − k, n > ν(k) and G is non-traceable, then G is a factor of a graph G_n. Consequently, the problem HAMILTONIAN PATH restricted to claw-free graphs G = (V, E) (which is known to be NP-complete) has linear time complexity O(|E|) provided that ς₃(G) ≥ . This contrasts sharply with known results on NP-completeness among dense graphs. © 1998 John Wiley & Sons, Inc. J Graph Theory 27: 75–86, 1998     

Pentagons and cycle coverings

Let G be a graph of order n ≥ 5k + 2, where k is a positive integer. Suppose that the minimum degree of G is at least ?(n + k)/2?. We show that G contains k pentagons and a path such that they are vertex‐disjoint and cover all the vertices of G. Moreover, if n ≥ 5k + 7, then G contains k + 1 vertex‐disjoint cycles covering all the vertices of G such that k of them are pentagons. © 2006 Wiley Periodicals, Inc. J Graph Theory 54: 194–208, 2007     

Compact abelian group extensions of discrete dynamical systems

Summary This paper introduces the notion of a free G extension of a dynamical system where G is a compact abelian group. The concept is closely allied to that of generalised discrete spectrum (which includes Abramov's quasi-discrete spectrum as a special case). We give necessary and sufficient conditions for a G extension of a minimal (uniquely ergodic) dynamical system to be minimal (uniquely ergodic) and show that in a certain sense a general G extension lifts these properties. Stable G-extensions always lift these properties if the underlying space is connected. This fact is then used to characterise all uniquely ergodic and minimal affine transformations of a certain three dimensional nilmanifold. The rest of the paper is devoted to the exhibition of group invariants for systems with generalised discrete spectrum. In particular it is shown that such systems always have a compact abelian group as underlying space. A lemma which facilitates this result gives necessary and sufficient conditions for a connected G-extension of a compact abelian group to be a compact abelian group.     

Hamiltonicity of regular 2-connected graphs

Let G be a k-regular 2-connected graph of order n. Jackson proved that G is hamiltonian if n ≤ 3k. Zhu and Li showed that the upper bound 3k on n can be relaxed to 22/7k if G is 3-connected and k ≥ 63. We improve both results by showing that G is hamiltonian if n ≤ 7/2k − 7 and G does not belong to a restricted class F of nonhamiltonian graphs of connectivity 2. To establish this result we obtain a variation of Woodall's Hopping Lemma and use it to prove that if n ≤ 7/2k − 7 and G has a dominating cycle (i.e., a cycle such that the vertices off the cycle constitute an independent set), then G is hamiltonian. We also prove that if n ≤ 4k − 3 and G ∉ F, then G has a dominating cycle. For k ≥ 4 it is conjectured that G is hamiltonian if n ≤ 4k and G ∉ F. © 1996 John Wiley & Sons, Inc.     

An <Emphasis Type="Italic">s</Emphasis>-Hamiltonian Line Graph Problem

For an integer k > 0, a graph G is k-triangular if every edge of G lies in at least k distinct 3-cycles of G. In (J Graph Theory 11:399–407 (1987)), Broersma and Veldman proposed an open problem: for a given positive integer k, determine the value s for which the statement “Let G be a k-triangular graph. Then L(G), the line graph of G, is s-hamiltonian if and only L(G) is (s + 2)-connected” is valid. Broersma and Veldman proved in 1987 that the statement above holds for 0 ≤ s ≤ k and asked, specifically, if the statement holds when s = 2k. In this paper, we prove that the statement above holds for 0 ≤ s ≤ max{2k, 6k − 16}.     

Multipliers and Modulus on Banach Algebras Related to Locally Compact Groups

LetGbe a locally compact group. In this paper we study moduli of products of elements and of multipliers of Banach algebras which are related to locally compact groups and which admit lattice structure. As a consequence, we obtain a characterization of operators onL^∞(G) which commute with convolutions whenGis amenable as discrete.