Moduli spaces of quadratic differentials

The cotangent bundle ofJ (g, n) is a union of complex analytic subvarieties, V(π), the level sets of the function “singularity pattern” of quadratic differentials. Each V(π) is endowed with a natural affine complex structure and volume element. The latter contracts to a real analytic volume element, Μ_π, on the unit hypersurface, V₁(π), for the Teichmüller metric. Μ_π is invariant under the pure mapping class group, γ(g, n), and a certain class of functions is proved to be L^p(Μ_π), 0 <p < 1, over the moduli space V₁(π)/γ (g, n). In particular, Μ_π(V₁(π)/γ(g, n)) < ∞, a statement which generalizes a theorem by H. Masur. Research supported by NSF-MCS-8219148 and NSF-DMS-8521620.     

Block separation in solvable groups

If π is a set of primes, a finite group G is block π-separated if for every two distinct irreducible complex characters α, β ∈ Irr(G) there exists a prime p ∈ π such that α and β lie in different Brauer p-blocks. A group G is block separated if it is separated by the set of prime divisors of |G|. Given a set π with n different primes, we construct an example of a solvable π-group G which is block separated but it is not separated by every proper subset of π. Received: 22 December 2004     

Discrete decomposability of the restriction of Aq(λ) with respect to reductive subgroups III. Restriction of Harish-Chandra modules and associated varieties

Let H⊂G be real reductive Lie groups and π an irreducible unitary representation of G. We introduce an algebraic formulation (discretely decomposable restriction) to single out the nice class of the branching problem (breaking symmetry in physics) in the sense that there is no continuous spectrum in the irreducible decomposition of the restriction π| _H . This paper offers basic algebraic properties of discretely decomposable restrictions, especially for a reductive symmetric pair (G,H) and for the Zuckerman-Vogan derived functor module , and proves that the sufficient condition [Invent. Math. '94] is in fact necessary. A finite multiplicity theorem is established for discretely decomposable modules which is in sharp contrast to known examples of the continuous spectrum. An application to the restriction π| _H of discrete series π for a symmetric space G/H is also given. Oblatum 2-X-1996 & 10-III-1997     

Finite groups with seminormal Sylow subgroups

In this paper, we prove the following theorem： Let p be a prime number, P a Sylow psubgroup of a group G and π = π（G） ／ {p}. If P is seminormal in G, then the following statements hold： 1） G is a p-soluble group and P＇ ≤ Op（G）; 2） lp（G） ≤ 2 and lπ（G） ≤ 2; 3） if a π-Hall subgroup of G is q-supersoluble for some q ∈ π, then G is q-supersoluble.     

One-regular Normal Cayley Graphs on Dihedral Groups of Valency 4 or 6 with Cyclic Vertex Stabilizer

A graph G is one-regular if its automorphism group Aut（G） acts transitively and semiregularly on the arc set. A Cayley graph Cay（Г, S） is normal if Г is a normal subgroup of the full automorphism group of Cay（Г, S）. Xu, M. Y., Xu, J. （Southeast Asian Bulletin of Math., 25, 355-363 （2001）） classified one-regular Cayley graphs of valency at most 4 on finite abelian groups. Marusic, D., Pisanski, T. （Croat. Chemica Acta, 73, 969-981 （2000）） classified cubic one-regular Cayley graphs on a dihedral group, and all of such graphs turn out to be normal. In this paper, we classify the 4-valent one-regular normal Cayley graphs G on a dihedral group whose vertex stabilizers in Aut（G） are cyclic. A classification of the same kind of graphs of valency 6 is also discussed.     

The space of surface group representations

In this note we prove that the number of irreducible components of Hom (π,G) is the same as π₁(G), where π is a surface group andG is complex semisimple. This is established by studying the flat bundles on Riemann surfaces. The present work is partially supported by NSF grant DMS89-04922     

On Isomorphisms of Minimal Cayley Graphs and Digraphs

 A Cayley graph or digraph Cay(G,S) is called a CI-graph of G if, for any T⊂G, Cay(G,S)≅Cay(G,T) if and only if S ^σ=T for some σ∈Aut(G). The aim of this paper is to characterize finite abelian groups for which all minimal Cayley graphs and digraphs are CI-graphs. Received: February 13, 1998 Final version received: May 7, 1999     

Factoring a Lie Group into a Compactly Embeddedand a Solvable Subgroup

 Let G be a real connected Lie group. A subgroup K is called compactly embedded if the closure of Ad(K) is compact in Aut(). If K is, in addition, maximal with respect to this property, then there exists a solvable subgroup S containing the nilradical such that and is the one-component of the center of G. (Received 1 June 1999; in revised form 28 December 1999)     

Vertices of simple modules and normal subgroups ofp-solvable groups

Let π be a set of prime numbers andG a finite π-separable group. Let θ be an irreducible π′-partial character of a normal subgroupN ofG and denote by I_π′ (G‖θ), the set of all irreducible π′-partial characters Φ ofG such that θ is a constituent of Φ_N. In this paper, we obtain some information about the vertices of the elements in I_π′ (G‖θ). As a consequence, we establish an analogue of Fong's theorem on defect groups of covering blocks, for the vertices of the simple modules (in characteristicsp) of a finitep-solvable group lying over a fixed simple module of a normal subgroup.     

Commuting elements and spaces of homomorphisms

This article records basic topological, as well as homological properties of the space of homomorphisms Hom(π,G) where π is a finitely generated discrete group, and G is a Lie group, possibly non-compact. If π is a free abelian group of rank equal to n, then Hom(π, G) is the space of ordered n–tuples of commuting elements in G. If G = SU(2), a complete calculation of the cohomology of these spaces is given for n = 2, 3. An explicit stable splitting of these spaces is also obtained, as a special case of a more general splitting. Alejandro Adem was partially supported by the NSF and NSERC. Frederick R. Cohen was partially supported by the NSF, grant number 0340575.     

Semigroups containing proximal linear maps

A linear automorphism of a finite dimensional real vector spaceV is calledproximal if it has a unique eigenvalue—counting multiplicities—of maximal modulus. Goldsheid and Margulis have shown that if a subgroupG of GL(V) contains a proximal element then so does every Zariski dense subsemigroupH ofG, providedV considered as aG-module is strongly irreducible. We here show thatH contains a finite subsetM such that for everyg∈GL(V) at least one of the elements γg, γ∈M, is proximal. We also give extensions and refinements of this result in the following directions: a quantitative version of proximality, reducible representations, several eigenvalues of maximal modulus. Partially supported by NSF grant DMS 9204-720.     

Forest-Like Permutations

Given a permutation , construct a graph G _π on the vertex set {1, 2,..., n} by joining i to j if (i) i < j and π(i) < π(j) and (ii) there is no k such that i < k < j and π(i) < π(k) < π(j). We say that π is forest-like if G _π is a forest. We first characterize forest-like permutations in terms of pattern avoidance, and then by a certain linear map being onto. Thanks to recent results of Woo and Yong, these show that forest-like permutations characterize Schubert varieties which are locally factorial. Thus forest-like permutations generalize smooth permutations (corresponding to smooth Schubert varieties). We compute the generating function of forest-like permutations. As in the smooth case, it turns out to be algebraic. We then adapt our method to count permutations for which G _π is a tree, or a path, and recover the known generating function of smooth permutations. Received March 27, 2006     

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.     

On finite products of soluble groups

Let the finite groupG =AB be the product of two soluble subgroupsA andB, and letπ be a set of primes. We investigate under which conditions for the maximal normalπ-subgroups ofA, B andG the following holds:O _π (G) ∩O _π (G) ⊆O _π (G). The second author would like to thank the Department of Mathematics of the University of Mainz and the Mathematische Forschungsinstitut Oberwolfach for their excellent hospitality during the preparation of this paper.     

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.     

On a group with three supersolvable subgroups of pairwise relatively prime indices

In this paper, we show that if G is a finite group with three supersolvable subgroups of pairwise relatively prime indices in G and G′ is nilpotent, then G is supersolvable. Let π(G) denote the set of prime divisors of |G| and max(π(G)) denote the largest prime divisor of |G|. We also establish that if G is a finite group such that G has three supersolvable subgroups H, K, and L whose indices in G are pairwise relatively prime, q \nmid p-1{q \nmid p-1} where p =  max(π(G)) and q = max(π(L)) with L a Hall p′-subgroup of G, then G is supersolvable.     

On Baer-Suzuki <Emphasis Type="Italic">π</Emphasis>-theorems

Given a set π of primes, say that the Baer-Suzuki π-theorem holds for a finite group G if only an element of O _π(G) can, together with each conjugate element, generate a π-subgroup. We find a sufficient condition for the Baer-Suzuki π-theorem to hold for a finite group in terms of nonabelian composition factors. We show also that in case 2 ∉ π the Baer-Suzuki π-theorem holds for every finite group.     

Thompson’s conjecture for simple groups with connected prime graph

We deal with finite simple groups G with the property π(G) ⊆ {2, 3, 5, 7, 11, 13, 17}, where π(G) is the set of all prime divisors of the order of a group G. The set of all such groups is denoted by ζ ₁₇. Thompson’s conjecture in [1, Question 12.38] is proved valid for all groups in ζ ₁₇ whose prime graph is connected.     

Lefschetz fixed point theory on fibrations

For a fibre preserving map ϕ: E → E on a fibration (E, π, B), we construct a grading preserving map T(ϕ, π) between H*(E) and H*(B) that generalizes the Lefschetz number. If T(ϕ, π) is an isomorphism between H ⁰(E) and H ⁰(B), then π restricts to a surjective local diffeomorphism on each connected component of the fixed point set of ϕ under a transversality condition. This yields a characterization for the bundle H → G → G/H to be trivial when π ₁ (G/H) = 0.