Supersolvable Frobenius groups with nilpotent centralizers

Let FH be a supersolvable Frobenius group with kernel F and complement H. Suppose that a finite group G admits FH as a group of automorphisms in such a manner that $C_G(F)=1$ and $C_G(H)$ is nilpotent of class c. We show that G is nilpotent of $(c,\left|FH\right|)$-bounded class.     

Nilpotent orbits and some small unitary representations of indefinite orthogonal groups

For 2?m?l/2, let G be a simply connected Lie group with as Lie algebra, let be the complexification of the usual Cartan decomposition, let K be the analytic subgroup with Lie algebra , and let be the universal enveloping algebra of . This work examines the unitarity and K spectrum of representations in the “analytic continuation” of discrete series of G, relating these properties to orbits in the nilpotent radical of a certain parabolic subalgebra of .The roots with respect to the usual compact Cartan subalgebra are all ±e_i±e_j with 1?i<j?l. In the usual positive system of roots, the simple root e_m−e_m+1 is noncompact and the other simple roots are compact. Let be the parabolic subalgebra of for which e_m−e_m+1 contributes to and the other simple roots contribute to , let L be the analytic subgroup of G with Lie algebra , let , let be the sum of the roots contributing to , and let be the parabolic subalgebra opposite to .The members of are nilpotent members of . The group acts on with finitely many orbits, and the topological closure of each orbit is an irreducible algebraic variety. If Y is one of these varieties, let R(Y) be the dual coordinate ring of Y; this is a quotient of the algebra of symmetric tensors on that carries a fully reducible representation of .For , let . Then λ_s defines a one-dimensional module . Extend this to a module by having act by 0, and define . Let be the unique irreducible quotient of . The representations under study are and , where and Π_S is the Sth derived Bernstein functor.For s>2l−2, it is known that π_s=π_s′ and that π_s′ is in the discrete series. Enright, Parthsarathy, Wallach, and Wolf showed for m?s?2l−2 that π_s=π_s′ and that π_s′ is still unitary. The present paper shows that π_s′ is unitary for 0?s?m−1 even though π_s≠π_s′, and it relates the K spectrum of the representations π_s′ to the representation of on a suitable R(Y) with Y depending on s. Use of a branching formula of D. E. Littlewood allows one to obtain an explicit multiplicity formula for each K type in π_s′; the variety Y is indispensable in the proof. The chief tools involved are an idea of B. Gross and Wallach, a geometric interpretation of Littlewood's theorem, and some estimates of norms.It is shown further that the natural invariant Hermitian form on π_s′ does not make π_s′ unitary for s<0 and that the K spectrum of π_s′ in these cases is not related in the above way to the representation of on any R(Y).A final section of the paper treats in similar fashion the simply connected Lie group with Lie algebra , 2?m?l/2.     

An example of a bireflectional spin group

Let $\frak n$ be the anisotropic norm of a Cayley algebra $\frak C$ over a field F of characteristic different from 2 where -1 is a square. Let Spin$(\frak C, \frak n)$ be the spin group of the quadratic form $\frak n$. We prove that every element in Spin$(\frak C, \frak n)$ is a product of two involutory elements, i.e. Spin$(\frak C, \frak n)$ is birefiectional. Received: 28 February 2002     

Linear preserver problems and algebraic groups

Supported by University of Waterloo Grant and the Alexander von Humboldt Foundation     

Products of conjugacy classes in finite and algebraic simple groups

We prove the Arad–Herzog conjecture for various families of finite simple groups — if A$A$ and B$B$ are nontrivial conjugacy classes, then AB$AB$ is not a conjugacy class. We also prove that if G$G$ is a finite simple group of Lie type and A$A$ and B$B$ are nontrivial conjugacy classes, either both semisimple or both unipotent, then AB$AB$ is not a conjugacy class. We also prove a strong version of the Arad–Herzog conjecture for simple algebraic groups and in particular show that almost always the product of two conjugacy classes in a simple algebraic group consists of infinitely many conjugacy classes. As a consequence we obtain a complete classification of pairs of centralizers in a simple algebraic group which have dense product. A special case of this has been used by Prasad to prove a uniqueness result for Tits systems in quasi-reductive groups. Our final result is a generalization of the Baer–Suzuki theorem for p$p$-elements with p≥5$p\ge 5$.     

The probability of generating a finite linear group

We study the asymptotic behavior of the probability of generating a finite completely reducible linear group G of degree n with [ n] elements. In particular we prove that if 3/2 and n is large enough then [ n] randomly chosen elements that generate G modulo O²(G) almost certainly generate G itself.Received: 13 February 2003     

On subgroups of orthogonal groups of isotropic quadratic forms

Let a field K be an algebraic extension of a subfield k of characteristic not 2, n an integer, a non-degenerate isotropic form in n variables over K with coefficients in k. We study subgroups of the orthogonal group O_n(K,Q) that contain the derived subgroup Ω_n(k,Q) of the group O_n(k,Q).     

Bartlett correctable two-sample adjusted empirical likelihood

We propose a two-sample adjusted empirical likelihood (AEL) to construct confidence regions for the difference of two d-dimensional population means. This method eliminates the non-definition of the usual two-sample empirical likelihood (EL) and is shown to be Bartlett correctable. We further show that when the adjustment level is half the Bartlett correction factor for the usual two-sample EL, the two-sample AEL has the same high-order precision as the EL with Bartlett correction. To enhance the performance of the two-sample AEL with adjustment level being half the Bartlett correction factor, we propose a less biased estimate of the Bartlett correction factor. The efficiency of the proposed method is illustrated by simulations and a real data example.     

Global Springer theory

We generalize Springer representations to the context of groups over a global function field. The global counterpart of the Grothendieck simultaneous resolution is the parabolic Hitchin fibration. We construct an action of the graded double affine Hecke algebra (DAHA) on the direct image complex of the parabolic Hitchin fibration. In particular, we get representations of the degenerate graded DAHA on the cohomology of parabolic Hitchin fibers, providing the first step towards a global Springer theory.     

On the topology of components of some Springer fibers and their relation to Kazhdan-Lusztig theory

We describe the irreducible components of Springer fibers for hook and two-row nilpotent elements of as iterated bundles of flag manifolds and Grassmannians. We then relate the topology (in particular, the intersection homology Poincaré polynomials) of the pairwise intersections of these components with the inner products of the Kazhdan-Lusztig basis elements of irreducible representations of the rational Iwahori-Hecke algebra of type A corresponding to the hook and two-row Young shapes.     

The subregular variety to the variety of special lattices

We recall the basic geometric properties of the full lattice variety, the projective variety parametrizing special lattices over Witt vectors which was introduced in Haboush (2005) [6]. It is an analog in unequal characteristic, of a certain Schubert variety in the affine Grassmannian for , and it is normal and a locally complete intersection (Haboush and Sano, submitted for publication [7], Sano (2004) [15]). In this paper, I prove that the complement of its smooth locus, the subregular variety in it, is also normal and a locally complete intersection. The result is analogous to the geometry of the subregular subvariety of the nilpotent cone.     

Homotopical smallness and closeness

The aim of this paper is to introduce the concepts of homotopical smallness and closeness. These are the properties of homotopical classes of maps that are related to recent developments in homotopy theory and to the construction of universal covering spaces for non-semi-locally simply connected spaces, in particular to the properties of being homotopically Hausdorff and homotopically path Hausdorff. The definitions of notions in question and their role in homotopy theory are supplemented by examples, extensional classifications, universal constructions and known applications.     

Global attractor and nonhomogeneous equilibria for a nonlocal evolution equation in an unbounded domain

In this work we consider the nonlocal evolution equation which arises in models of phase separation. We prove the existence of a compact global attractor in some weighted spaces and the existence of a distinguished nonhomogeneous equilibrium: the ‘critical droplet.’     

Fixed point theorems for a class of nonlinear operators in Banach spaces and applications

In this paper, we study a class of nonlinear operator equations with more extensive conditions in ordered Banach spaces. By using the cone theory and Banach contraction mapping principle, the existence and uniqueness of solutions for such equations are investigated without demanding the existence of upper and lower solutions and compactness and continuity conditions. The results in this paper are applied to a class of abstract semilinear evolution equations with noncompact semigroup in Banach spaces and the initial value problems for nonlinear second-order integro-differential equations of mixed type in Banach spaces. The results obtained here improve and generalize many known results.     

On the dual canonical and Kazhdan-Lusztig bases and 3412-, 4231-avoiding permutations

Using Du’s characterization of the dual canonical basis of the coordinate ring O(GL(n,C)), we express all elements of this basis in terms of immanants. We then give a new factorization of permutations w avoiding the patterns 3412 and 4231, which in turn yields a factorization of the corresponding Kazhdan-Lusztig basis elements of the Hecke algebra H_n(q). Using the immanant and factorization results, we show that for every totally nonnegative immanant and its expansion with respect to the basis of Kazhdan-Lusztig immanants, the coefficient d_w must be nonnegative when w avoids the patterns 3412 and 4231.     

The eigenvalue field is a splitting field

Let K be an algebraically closed field of arbitrary characteristic and F < K a subfield. If is an irreducible semigroup of matrices such that the spectra of all the elements of are contained in F, then is conjugate to a subsemigroup of M _n (F). Research supported in part by the Ministry of Higher Education, Science, and Technology of Slovenia. Received: 6 April 2006     

On nondifferentiable functions and the bootstrap

Summary We investigate a class of statistical problems, where usual bootstrap methods fail, and discuss two alternative solutions. In particular, a stochastic procedure for constructing confidence sets is proposed. Special applications are the eigenvalues of a covariance matrix and minimum distance functionals.Work supported by the Miller Institute for Basic Research in Science, Berkeley