Isotropy of unitary involutions

We prove the so-called unitary isotropy theorem, a result on isotropy of a unitary involution. The analogous previously known results on isotropy of orthogonal and symplectic involutions as well as on hyperbolicity of orthogonal, symplectic, and unitary involutions are formal consequences of this theorem. A component of the proof is a detailed study of the quasi-split unitary grassmannians.     

Isotropy of symplectic involutions

We prove the symplectic analogue of the isotropy theorem for orthogonal involutions. We apply (a modification of) a method due to J.-P. Tignol originally applied to prove the symplectic analogue of the hyperbolicity theorem for orthogonal involutions.     

UNITARY GRASSMANNIANS OF DIVISION ALGEBRAS

We consider a central division algebra over a separable quadratic extension of a base field endowed with a unitary involution and prove 2-incompressibility of certain varieties of isotropic right ideals of the algebra. The remaining related projective homogeneous varieties are shown to be 2-compressible in general. Together with [17], where a similar issue for orthogonal and symplectic involutions has been treated, the present paper completes the study of Grassmannians of isotropic right ideals of division algebras.     

Discriminant and Clifford algebras

The centralizer of a square-central skew-symmetric unit in a central simple algebra with orthogonal involution carries a unitary involution. The discriminant algebra of this unitary involution is shown to be an orthogonal summand in one of the components of the Clifford algebra of the orthogonal involution. As an application, structure theorems for orthogonal involutions on central simple algebras of degree 8 are obtained. Received: 30 January 2001; in final form: 28 May 2001 / Published online: 1 February 2002     

A Schur decomposition for Hamiltonian matrices

A Schur-type decomposition for Hamiltonian matrices is given that relies on unitary symplectic similarity transformations. These transformations preserve the Hamiltonian structure and are numerically stable, making them ideal for analysis and computation. Using this decomposition and a special singular-value decomposition for unitary symplectic matrices, a canonical reduction of the algebraic Riccati equation is obtained which sheds light on the sensitivity of the nonnegative definite solution. After presenting some real decompositions for real Hamiltonian matrices, we look into the possibility of an orthogonal symplectic version of the QR algorithm suitable for Hamiltonian matrices. A finite-step initial reduction to a Hessenberg-type canonical form is presented. However, no extension of the Francis implicit-shift technique was found, and reasons for the difficulty are given.     

On Representations of Classical Groups Over Principal Ideal Local Rings of Length Two

We study the complex irreducible representations of special linear, symplectic, orthogonal, and unitary groups over principal ideal local rings of length two. We construct a canonical correspondence between the irreducible representations of all such groups that preserves dimensions. The case for general linear groups has already been proved by the author.     

Dirac submanifolds and Poisson involutions

Dirac submanifolds are a natural generalization in the Poisson category of the symplectic submanifolds of a symplectic manifold. They correspond to symplectic subgroupoids of the symplectic groupoid of the given Poisson manifold. In particular, Dirac submanifolds arise as the stable loci of Poisson involutions. In this paper, we make a general study of these submanifolds including both local and global aspects.In the second part of the paper, we study Poisson involutions and the induced Poisson structures on their stable loci. In particular, we discuss the Poisson involutions on a special class of Poisson groups, and more generally Poisson groupoids, called symmetric Poisson groups, and symmetric Poisson groupoids. Many well-known examples, including the standard Poisson group structures on semi-simple Lie groups, Bruhat Poisson structures on compact semi-simple Lie groups, and Poisson groupoid structures arising from dynamical r-matrices of semi-simple Lie algebras are symmetric, so they admit a Poisson involution. For symmetric Poisson groups, the relation between the stable locus Poisson structure and Poisson symmetric spaces is discussed. As a consequence, we prove that the Dubrovin Poisson structure on the space of Stokes matrices U₊ (appearing in Dubrovin's theory of Frobenius manifolds) is a Poisson symmetric space.     

关于k-广义酉矩阵

本文研究了k-广义酉矩阵的性质及其与酉矩阵、辛矩阵、Householder矩阵之间的联系,取得了许多新的结果,推广了酉矩阵及Householder矩阵的相应结果,特别将正交矩阵的广义Cayley分解推广到了广义酉矩阵上;并将各类酉矩阵及辛矩阵统一了起来.     

Minimum distances of three families of low-density parity-check codes based on finite geometries

Three families of low-density parity-check (LDPC) codes are constructed based on the totally isotropic subspaces of symplectic, unitary, and orthogonal spaces over finite fields, respectively. The minimum distances of the three families of LDPC codes in some special cases are settled.     

On quasifree representations of infinite dimensional symplectic group

We consider an infinite dimensional generalization of metaplectic representations (Weil representations) for the (double covering of) symplectic group. Given quasifree states of an infinite dimensional CCR algebra, projective unitary representations of the infinite dimensional symplectic group are constructed via unitary implementors of Bogoliubov automorphisms. Complete classification of these representations up to quasi-equivalence is obtained.     

Transfers of K-types on local theta lifts of characters and unitary lowest weight modules

In this paper we study representations of the indefinite orthogonal group O(n,m) which are local theta lifts of one-dimensional characters or unitary lowest weight modules of the double covers of the symplectic groups. We apply the transfer of K-types on these representations of O(n,m), and we study their effects on the dual pair correspondences. These results provide examples that the theta lifting is compatible with the transfer of K-types. Finally, we will use these results to study subquotients of some cohomologically induced modules.     

Eigenvalue perturbation theory of symplectic,orthogonal, and unitary matrices under generic structured rank one perturbations

We study the perturbation theory of structured matrices under structured rank one perturbations, with emphasis on matrices that are unitary, orthogonal, or symplectic with respect to an indefinite inner product. The rank one perturbations are not necessarily of arbitrary small size (in the sense of norm). In the case of sesquilinear forms, results on selfadjoint matrices can be applied to unitary matrices by using the Cayley transformation, but in the case of real or complex symmetric or skew-symmetric bilinear forms additional considerations are necessary. For complex symplectic matrices, it turns out that generically (with respect to the perturbations) the behavior of the Jordan form of the perturbed matrix follows the pattern established earlier for unstructured matrices and their unstructured perturbations, provided the specific properties of the Jordan form of complex symplectic matrices are accounted for. For instance, the number of Jordan blocks of fixed odd size corresponding to the eigenvalue 1 or ?1 have to be even. For complex orthogonal matrices, it is shown that the behavior of the Jordan structures corresponding to the original eigenvalues that are not moved by perturbations follows again the pattern established earlier for unstructured matrices, taking into account the specifics of Jordan forms of complex orthogonal matrices. The proofs are based on general results developed in the paper concerning Jordan forms of structured matrices (which include in particular the classes of orthogonal and symplectic matrices) under structured rank one perturbations. These results are presented and proved in the framework of real as well as of complex matrices.     

When is a symplectic quotient an orbifold?

Let K be a compact Lie group of positive dimension. We show that for most unitary K-modules the corresponding symplectic quotient is not regularly symplectomorphic to a linear symplectic orbifold (the quotient of a unitary module of a finite group). When K is connected, we show that even a symplectomorphism to a linear symplectic orbifold does not exist. Our results yield conditions that preclude the symplectic quotient of a Hamiltonian K  -manifold from being locally isomorphic to an orbifold. As an application, we determine which unitary _SU2${\mathrm{SU}}_2$-modules yield symplectic quotients that are Z⁺${\mathbb{Z}}^{+}$-graded regularly symplectomorphic to a linear symplectic orbifold. We similarly determine which unitary circle representations yield symplectic quotients that admit a regular diffeomorphism to a linear symplectic orbifold.     

典型群的增广商群

设G 为有限域K 上的一般线性群(特殊线性群、酉群、辛群及正交群), 记整群环ZG 的n 次增广理想为△ⁿ(G). 本文着重研究有限域上的典型群的增广商群Q_n(G) = △ⁿ(G)/△ⁿ⁺¹(G), 并刻画了这些连续商群的结构.     

Correlations for superpositions and decimations of Laguerre and Jacobi orthogonal matrix ensembles with a parameter

A superposition of a matrix ensemble refers to the ensemble constructed from two independent copies of the original, while a decimation refers to the formation of a new ensemble by observing only every second eigenvalue. In the cases of the classical matrix ensembles with orthogonal symmetry, it is known that forming superpositions and decimations gives rise to classical matrix ensembles with unitary and symplectic symmetry. The basic identities expressing these facts can be extended to include a parameter, which in turn provides us with probability density functions which we take as the definition of special parameter dependent matrix ensembles. The parameter dependent ensembles relating to superpositions interpolate between superimposed orthogonal ensembles and a unitary ensemble, while the parameter dependent ensembles relating to decimations interpolate between an orthogonal ensemble with an even number of eigenvalues and a symplectic ensemble of half the number of eigenvalues. By the construction of new families of biorthogonal and skew orthogonal polynomials, we are able to compute the corresponding correlation functions, both in the finite system and in various scaled limits. Specializing back to the cases of orthogonal and symplectic symmetry, we find that our results imply different functional forms to those known previously.     

Involutions on composition algebras

Involutions on composition algebras over rings where 2 is invertible are investigated. It is proved that there is a one-one correspondence between non-standard involutions of the first kind, and composition subalgebras of half rank. Every non-standard involution of the first kind is isomorphic to the natural generalization of Lewis's hat-involution [L]. Any involution of the second kind on a composition algebra C over a quadratic etale R-algebra S can be written as the tensor product of the standard involution of a unique R-composition subalgebra of C and the standard involution of S/R. The latter generalizes a well-known theorem of Albert on quaternion algebras with unitary involutions.     

Construction of Symmetric and Symplectic Bilinear Forms

Let V be a finite-dimensional vector-space. A linear mapping on V is called simple if V( - 1) is 1-dimensional. Let S be a set of simple bijections on V. We discuss conditions entraining that each element of S is orthogonal (respectively symplectic) under an appropriate symmetric (respectively symplectic) bilinear form on V.     

A characteristic free approach to Brauer algebras

Brauer algebras arise in representation theory of orthogonal or symplectic groups. These algebras are shown to be iterated inflations of group algebras of symmetric groups. In particular, they are cellular (as had been shown before by Graham and Lehrer). This gives some information about block decomposition of Brauer algebras.

     

Deficiencies of smooth manifolds

Being given a closed manifold Mⁿ, there are involutions (X²ⁿ, T) on closed manifolds of twice the dimension having fixed point set M. Kulkarni defined the deficiency of M for a class of involutions to be $\text{min}\text{(}\text{1}\text{2}\text{{}\text{dim}\text{H}{}^1\text{(X;Z}{}_{\mathrm{<mtext>2</mtext>}}\text{)?}\text{dim}\text{H}{}^1\text{(M;Z}{}_{\mathrm{<mtext>2</mtext>}}\text{)})}$ for all involutions (X, T) in the class. This paper exhibits manifolds for which the deficiency is positive for all involutions and studies the deficiencies for other classes.