Dade's Invariant Conjecture for the Symplectic Group Sp4(2 n ) and the Special Unitary Group SU4(22n ) in Defining Characteristic

In this article, we verify Dade's projective invariant conjecture for the symplectic group Sp₄(2 ⁿ ) and the special unitary group SU₄(2²ⁿ ) in the defining characteristic, that is, in characteristic 2. Furthermore, we show that the Isaacs–Malle–Navarro version of the McKay conjecture holds for Sp₄(2 ⁿ ) and SU₄(2²ⁿ ) in the defining characteristic, that is, Sp₄(2 ⁿ ) and SU₄(2²ⁿ ) are good for the prime 2 in the sense of Isaacs, Malle, and Navarro.     

Automorphisms of the symplectic group over a local ring

Let R denote a commutative local ring with maximal ideal m and residue field K = R/m. Let V be a symplectic space over R. In this paper we determine the group automorphisms of the symplectic group Sp_n(V) when n 6, the characteristic of k is not 2, and k is not the finite field of three elements.     

Finite quotients of the pure symplectic braid group

We show how the finite symplectic groups arise as quotients of the pure symplectic braid group. Via [SV] certain of these groups — in particular, all groups Sp _n (2) — occur as Galois groups over ℚ. Supported by NSF grant DMS-9306479.     

Generation of classical groups over finite fields

Let U_n(V) and Sp_n(V) denote the unitary group and the symplectic group of the n dimensional vector space V over a finite field of characteristic not 2, respectively. Assume that the hyperbolic rank of U_n(V) is at least one. Then U_n(V) is generated by 4 elements and Sp_n(V) by 3 elements. Further, U_2m+1(V) is generated by 3 elements and Sp_4m(V) by 2 elements.     

An infinite family of simply connected flag-transitive tilde geometries

We consider tilde-geometries (orT-geometries), which are geometries belonging to diagrams of the following shape: Here the rightmost edge stands for the famous triple cover of the classical generalized quadrangle related to the group Sp₄(2). The automorphism group of the cover is the nonsplit extension 3·Sp₄(2) – 3 ·S ₆. Five examples of flag-transitiveT-geometries were known. These are rank 3 geometries related to the groupsM ₂₄ (the Mathieu group),He (the Held group) and and 3⁷·Sp₆(2) (a nonsplit extension); a rank 4 geometry related to the Conway groupCo ₁ and a rank 5 geometry related to the Fischer-Griess Monster groupF ₁. In the present paper we construct an infinite family of flag-transitiveT-geometries and prove that all the new geometries are simply connected. The automorphism group of the rankn geometry in the family is a nonsplit extension of a 3-group by the symplectic group Sp_2n (2). The rank of the 3-group is equal to the number of 2-dimensional subspaces in ann-dimensional vector space over GF(2).     

A 14-dimensional Module for the Symplectic Group: Orbits on Vectors

Let 𝔽 be a field, V a 6-dimensional 𝔽-vector space and f a nondegenerate alternating bilinear form on V. We consider a 14-dimensional module for the symplectic group Sp(V, f) ? Sp(6, 𝔽) associated with (V, f), and classify the orbits on vectors. For characteristic distinct from 2, this module is irreducible and isomorphic to the Weyl module of Sp(V, f) for the fundamental weight λ₃. If the characteristic is 2, then the module is reducible as it contains an 8-dimensional submodule isomorphic to the spin module of Sp(V, f).     

A basis for the symplectic group branching algebra

The symplectic group branching algebra, B\mathcal {B}, is a graded algebra whose components encode the multiplicities of irreducible representations of Sp_2n−2(ℂ) in each finite-dimensional irreducible representation of Sp_2n (ℂ). By describing on B\mathcal {B} an ASL structure, we construct an explicit standard monomial basis of B\mathcal {B} consisting of Sp_2n−2(ℂ) highest weight vectors. Moreover, B\mathcal {B} is known to carry a canonical action of the n-fold product SL₂×⋯×SL₂, and we show that the standard monomial basis is the unique (up to scalar) weight basis associated to this representation. Finally, using the theory of Hibi algebras we describe a deformation of Spec(B)\mathrm{Spec}(\mathcal {B}) into an explicitly described toric variety.     

The Entries of Haar-Invariant Matrices from the Classical Compact Groups

Let Γ _n =(γ _ij ) _n×n be a random matrix with the Haar probability measure on the orthogonal group O(n), the unitary group U(n), or the symplectic group Sp(n). Given 1≤m<n, a probability inequality for a distance between (γ _ij ) _n×m and some mn independent F-valued normal random variables is obtained, where F=ℝ, ℂ, or ℍ (the set of real quaternions). The result is universal for the three cases. In particular, the inequality for Sp(n) is new.     

Twisted conjugacy classes in symplectic groups,mapping class groups and braid groups (with an appendix written jointly with Francois Dahmani)

We prove that the symplectic group Sp(2n,\mathbbZ){Sp(2n,\mathbb{Z})} and the mapping class group Mod _S of a compact surface S satisfy the R _∞ property. We also show that B _n (S), the full braid group on n-strings of a surface S, satisfies the R _∞ property in the cases where S is either the compact disk D, or the sphere S ². This means that for any automorphism f{\phi} of G, where G is one of the above groups, the number of twisted f{\phi}-conjugacy classes is infinite.     

Trace map,Cayley transform and LS category of Lie groups

The aim of this article is to use the so-called Cayley transform in order to compute the LS category of Lie groups and homogeneous spaces by giving explicit categorical open coverings. When applied to U(n), U(2n)/Sp(n) and U(n)/O(n) this method is simpler than those formerly known. We also show that the Cayley transform is related to height functions in Lie groups, allowing to give a local linear model of the set of critical points. As an application we give an explicit covering of Sp(2) by categorical open sets. The obstacles to generalize these results to Sp(n) are discussed.     

A relative Kuznietsov trace formula on G2

In this paper, we set up the general formulation to study distinguished residual representations of a reductive group G by the relative trace formula approach. This approach simplifies the argument of [JR], which deals with this type of relative trace formula for a special symmetric pair (GL(2n), Sp(2n)) and also works for non-symmetric, spherical pairs. To illustrate our idea and method, we complete our relative trace formula (both the geometric side identity and the spectral side identity) for the case (G ₂, SL(3)). Received: 6 February 1999     

Generators of Spn(V) over a quasi semilocal semihereditary ring

This paper is devoted to determine the minimal length of expressions of an isometry in a symplectic group Sp_n(V) by a product of transvections under the assumption that V is an n-ary nonsingular alternating space over a quasi semilocal semihereditary ring with 2 as a unit.     

Globally Irreducible Representations of Finite Groups and Integral Lattices

The notion of globally irreducible representations of finite groups has been introduced by B. H. Gross, in order to explain new series of Euclidean lattices discovered recently by N. Elkies and T. Shioda using Mordell--Weil lattices of elliptic curves. In this paper we first give a necessary condition for global irreducibility. Then we classify all globally irreducible representations of L ₂(q) and ²B₂(q), and of the majority of the 26 sporadic finite simple groups. We also exhibit one more globally irreducible representation, which is related to the Weil representation of degree (pⁿ-1)/2 of the symplectic group Sp_2n(p) (p 1 (mod 4) is a prime). As a consequence, we get a new series of even unimodular lattices of rank 2(pⁿ–1). A summary of currently known globally irreducible representations is given.     

Symplectic Shifted Tableaux and Deformations of Weyl's Denominator Formula for sp(2n)

A determinantal expansion due to Okada is used to derive both a deformation of Weyl's denominator formula for the Lie algebra sp(2n) of the symplectic group and a further generalisation involving a product of the deformed denominator with a deformation of flagged characters of sp(2n). In each case the relevant expansion is expressed in terms of certain shifted sp(2n)-standard tableaux. It is then re-expressed, first in terms of monotone patterns and then in terms of alternating sign matrices.     

Alcune osservazioni sui sottogruppi abeliani del gruppoSp(n)·Sp(1)

Sunto Si studiano i sottogruppi abeliani diSp(n)·Sp(1). Viene data una caratterizzazione dei sottogruppi abeliani G diSp(n)·Sp(1) che sono immagini di sottogruppi abeliani del rivestimento universaleSp(n)·Sp(1). In relazione all'azione diSp(n)·Sp(1) su R⁴ⁿ ≡ Qⁿ si determinano i sottogruppi abeliani G per i quali Qⁿ si decompone nella somma diretta di di n sottospazi quaternionali1-dimensionali invarianti per G. Si caratterizzano i sottogruppi abeliani massimali tra quelli del tipo Z_p × … × Z_p (p numero primo). Entrata in Redazione il 21 Luglio 1976.     

Eigenvalues of the Manifold Sp（n）/U（n）

In this paper, we give the eigenvalues of the manifold Sp(n)/U(n). We prove that an eigenvalue λ _s (f ₂, f ₂, …, f _n ) of the Lie group Sp(n), corresponding to the representation with label (f ₁, f ₂, ..., f _n ), is an eigenvalue of the manifold Sp(n)/U(n), if and only if f ₁, f ₂, …, f _n are all even.     

Values of the Euler phi function not divisible by a given odd prime

An asymptotic formula is given for the number of integers n≤x for which φ(n) is not divisible by a given odd prime.     

Cobordism of disk knots

We study cobordisms and cobordisms rel boundary of PL locally-flat disk knots D ⁿ⁻² ↪ D ⁿ . Any two disk knots are cobordant if the cobordisms are not required to fix the boundary sphere knots, and any two even-dimensional disk knots with isotopic boundary knots are cobordant rel boundary. However, the cobordism rel boundary theory of odd-dimensional disk knots is more subtle. Generalizing results of J. Levine on the cobordism of sphere knots, we define disk knot Seifert matrices and show that two higher-dimensional disk knots with isotopic boundaries are cobordant rel boundary if and only if their disk knot Seifert matrices are algebraically cobordant. We also ask which algebraic cobordism classes can be realized given a fixed boundary knot and provide a complete classification when the boundary knot has no 2-torsion in its middle-dimensional Alexander module. In the course of this classification, we establish a close connection between the Blanchfield pairing of a disk knot and the Farber-Levine torsion pairing of its boundary knot (in fact, for disk knots satisfying certain connectivity assumptions, the disk knot Blanchfield pairing will determine the boundary Farber-Levine pairing). In addition, we study the dependence of disk knot Seifert matrices on choices of Seifert surface, demonstrating that all such Seifert matrices are rationally S-equivalent, but not necessarily integrally S-equivalent.