Commutativity of localized self-homotopy groups of symplectic groups

The self-homotopy group of a topological group G is the set of homotopy classes of self-maps of G equipped with the group structure inherited from G. We determine the set of primes p such that the p-localization of the self-homotopy group of Sp(n) is commutative. As a consequence, we see that this group detects the homotopy commutativity of p-localized Sp(n) by its commutativity almost all cases.     

Fundamental groups and finite sheeted coverings

It is well known that for a connected locally path-connected semi-locally 1-connected space X, there exists a bi-unique correspondence between the pointed d-fold connected coverings and the transitive representations of the fundamental group of X in the symmetric group Σ_d of degree d.The classification problem becomes more difficult if X is a more general space, particularly if X is not locally connected. In attempt to solve the problem for general spaces, several notions of coverings have been introduced, for example, those given by Lubkin or by Fox. On the other hand, different notions of ‘fundamental group’ have appeared in the mathematical literature, for instance, the Brown-Grossman-Quigley fundamental group, the ?ech-Borsuk fundamental group, the Steenrod-Quigley fundamental group, the fundamental profinite group or the fundamental localic group.The main result of this paper determines different ‘fundamental groups’ that can be used to classify pointed finite sheeted connected coverings of a given space X depending on topological properties of X.     

Foliations by stationary disks of almost complex domains

We study the problem of existence of stationary disks for domains in almost complex manifolds. As a consequence of our results, we prove that any almost complex domain which is a small deformation of a strictly linearly convex domain D⊂Cn with standard complex structure admits a singular foliation by stationary disks passing through any given internal point. Similar results are given for foliations by stationary disks through a given boundary point.     

Self homotopy groups with large nilpotency classes

We demonstrate that for any n>0 there exists a compact connected Lie group G such that the self homotopy group [G,G] has the nilpotency class greater than n, where [G,G] is a nilpotent group for a compact connected Lie group G.     

Unitary groups of nondegenerate Hermitian forms and the homotopy groups of pseudospheres

The Witt Extension Theorem states that the unitary group of a finite-dimensional vector space V equipped with a nondegenerate hermitian form acts transitively on the pseudosphere induced by the form. We provide a new, constructive proof of this result for finite-dimensional vector spaces V over R, C, or H. This constructive proof is then used to prove a similar result for the unitary group of a finitely generated free right module over an abelian AW^∗-algebra. The topology of these unitary groups is examined and as an application we determine the homotopy groups π₁ and π₂ of the induced real, complex, and quaternionic pseudospheres.     

The isotropy groups of bounded homogeneous domains are nontrivial

It will be shown in this paper that the automorphism group of a bounded homogeneous domain D in ℂ ⁿ can never act freely on $D$. An equivalent statement is that the isotropy groups of bounded homogeneous domains always contain at least two elements. Received: 7 May 1998     

A characterization of products of balls by their isotropy groups

In this paper we will characterize products of balls – especially the ball and the polydisc – in by properties of the isotropy group of a single point. It will be shown that such a characterization is possible in the class of Siegel domains of the second kind, a class that extends the class of bounded homogeneous domains, and that such a characterization is no longer possible in the class of bounded domains with noncompact automorphism groups. The main result is that a Siegel domain of the second kind is biholomorphically equivalent to a product of balls, iff there is a point such that the isotropy group of p contains a torus of dimension n. As an application it will be proved that the only domains biholomorphically equivalent to a Siegel domain of the second kind and to a Reinhardt domain are exactly the domains biholomorphically equivalent to a product of b alls. Received: 27 February 1998 / In final form: 6 August 1998     

Efficient representation of perm groups

This note presents an elementary version of Sims's algorithm for computing strong generators of a given perm group, together with a proof of correctness and some notes about appropriate lowlevel data structures. Upper and lower bounds on the running time are also obtained. (Following a suggestion of Vaughan Pratt, we adopt the convention that perm=permutation, perhaps thereby saving millions of syllables in future research.)Dedicated to the memory of Marshall HallThis research was supported in part by the National Science Foundation under grant CCR-86-10181, and by Office of Naval Research contract N00014-87-K-0502.     

The cohomology of the cotangent bundle of Heisenberg groups

Given a parabolic subalgebra g₁×n of a semisimple Lie algebra, Kostant (Ann. Math. 1963) and Griffiths (Acta Math. 1963) independently computed the g₁ invariants in the cohomology group of n with exterior adjoint coefficients. By a theorem of Bott (Ann. Math. 1957), this is the cohomology of the associated compact homogeneous space with coefficients in the sheaf of local holomorphic forms. In this paper we determine explicitly the full module structure, over the symplectic group, of the cohomology group of the Heisenberg Lie algebra with exterior adjoint coefficients. This is the cohomology of the cotangent bundle of the Heisenberg group.     

Topological methods for complex-analytic Brauer groups

Using methods from algebraic topology and group cohomology, I pursue Grothendieck's question on equality of geometric and cohomological Brauer groups in the context of complex-analytic spaces. The main result is that equality holds under suitable assumptions on the fundamental group and the Pontrjagin dual of the second homotopy group. I apply this to Lie groups, Hopf manifolds, and complex-analytic surfaces.     

On Samelson products in p-localized unitary groups

The unitary group U(n) has elements εi∈π2i+1(U(n)) (0?i?n−1) of its homotopy groups in the stable range. In this paper we show that certain multi Samelson products of type 〈εi,〈εj,εk〉〉 are non-trivial. This leads us to the result that the nilpotency class of the group of the self homotopy set [SU(n),SU(n)] is no less than 3, if 4?n. Also by the power of generalized Samelson products, we can see the further result that, for a prime p and an integer n=pk, nil[SU(n),SU(n)]_(p)?3, if (1) p?7 or (2) p=5 and n≡0 or 1mod4.     

On some examples of duality groups

In [1, 3] it was shown: Theorem A. If G is the fundamental group of a finite graph of λ-dimensional duality groups with |G _o(e) : G _e | < ∞ and |G _τ(e) : G _e | < ∞ for every edge e of the corresponding G-tree, then G is an (λ + 1)-dimensional duality group. Here we use the methods of Brown and Geoghegan in [3] to obtain examples of duality groups under weaker conditions than those of Theorem A. Received: 5 June 2007     

Hyperbolic elements in negatively curved groups

We show that in a negatively curved groupG the conjugacy class of any infinite cyclic subgroup contains a straight element, an elementg with |g ⁿ |=n|g|, and thus the translation number of an element in a negatively curved group is rational with uniformly bounded denominator. We also find an upper bound on the cardinality of a finite normal subgroup.     

Explicit determination of generalized symmetric and alternating Galois groups

This paper shows a probabilistic algorithm to decide whether the Galois group of a given irreducible polynomial with rational coefficients is the generalized symmetric group C_p?S_m or the generalized alternating group C_p?A_m. In the affirmative case, we give generators of the group with their action on the set of roots of the polynomial.     

Complex hyperbolic Kleinian groups with limit set a wild knot

We construct quasi-Fuchsian groups acting on two-dimensional complex hyperbolic space with limit set a wild knot. Also, we study the Teichmüller space T(G) of faithful, discrete, type-preserving representations of a Fuchsian group G of the first kind with parabolic elements in complex hyperbolic space. We show that T(G) is not connected, and that the Toledo invariant does not distinguish different connected components of T(G).     

Monge-Ampère equations and moduli spaces of manifolds of circular type

A (bounded) manifold of circular type is a complex manifold M of dimension n admitting a (bounded) exhaustive real function u, defined on M minus a point xo, so that: (a) it is a smooth solution on M?{xo} to the Monge-Ampère equation n(ddcu)=0; (b) xo is a singular point for u of logarithmic type and eu extends smoothly on the blow up of M at xo; (c) ddc(eu)>0 at any point of M?{xo}. This class of manifolds naturally includes all smoothly bounded, strictly linearly convex domains and all smoothly bounded, strongly pseudoconvex circular domains of Cn.A set of modular parameters for bounded manifolds of circular type is considered. In particular, for each biholomorphic equivalence class of them it is proved the existence of an essentially unique manifold in normal form. It is also shown that the class of normalizing maps for an n-dimensional manifold M is a new holomorphic invariant with the following property: it is parameterized by the points of a finite dimensional real manifold of dimension n² when M is a (non-convex) circular domain while it is of dimension n²+2n when M is a strictly linearly convex domain. New characterizations of the circular domains and of the unit ball are also obtained.     

Oka's principle for holomorphic submersions with sprays

We classify, up to a local isometry, all non-K?hler almost K?hler 4-manifolds for which the fundamental 2-form is an eigenform of the Weyl tensor, and whose Ricci tensor is invariant with respect to the almost complex structure. Equivalently, such almost K?hler 4-manifolds satisfy the third curvature condition of A. Gray. We use our local classification to show that, in the compact case, the third curvature condition of Gray is equivalent to the integrability of the corresponding almost complex structure. Received: 1 October 2001 / Published online: 17 June 2002