Involutions for upper triangular matrix algebras

In this paper we describe completely the involutions of the first kind of the algebra UT_n(F) of n×n upper triangular matrices. Every such involution can be extended uniquely to an involution on the full matrix algebra. We describe the equivalence classes of involutions on the upper triangular matrices. There are two distinct classes for UT_n(F) when n is even and a single class in the odd case.Furthermore we consider the algebra UT₂(F) of the 2×2 upper triangular matrices over an infinite field F of characteristic different from 2. For every involution *, we describe the *-polynomial identities for this algebra. We exhibit bases of the corresponding ideals of identities with involution, and compute the Hilbert (or Poincaré) series and the codimension sequences of the respective relatively free algebras.Then we consider the *-polynomial identities for the algebra UT₃(F) over a field of characteristic zero. We describe a finite generating set of the ideal of *-identities for this algebra. These generators are quite a few, and their degrees are relatively large. It seems to us that the problem of describing the *-identities for the algebra UT_n(F) of the n×n upper triangular matrices may be much more complicated than in the case of ordinary polynomial identities.     

Localization for Involutions in Floer Cohomology

We consider Lagrangian Floer cohomology for a pair of Lagrangian submanifolds in a symplectic manifold M. Suppose that M carries a symplectic involution, which preserves both submanifolds. Under various topological hypotheses, we prove a localization theorem for Floer cohomology, which implies a Smith-type inequality for the Floer cohomology groups in M and its fixed point set. Two applications to symplectic Khovanov cohomology are included.     

Involutions and semiinvolutions

We define a linear map called a semiinvolution as a generalization of an involution, and show that any nilpotent linear endomorphism is a product of an involution and a semiinvolution. We also give a new proof for Djocović’s theorem on a product of two involutions.     

对合的分解

Using the notion of biconnected sum we define the biconnected sum (T₁, M₁)§(T₂,M₂) of two involutions (T1M1) and (T2,M2) which is an involution on the biconnected sum M₁,§M₂. A connected involution is said to be reducible if it can be expressed as a biconnected sum of two connected involutions.Theorem Each connected involution (T, M) can be decomposed into a bi-connected sum of connected irreducible involutions (T, M)=(T₁, M₁)§…§(T_q,M_q),and (?) where the coefficients of H_{n_1}(M) are in Z/2 Z if M is unoriented, in Z if is oriented .     

Involutions and representations for reduced quantum algebras

In the context of deformation quantization, there exist various procedures to deal with the quantization of a reduced space Mred. We shall be concerned here mainly with the classical Marsden-Weinstein reduction, assuming that we have a proper action of a Lie group G on a Poisson manifold M, with a moment map J for which zero is a regular value. For the quantization, we follow Bordemann et al. (2000) [6] (with a simplified approach) and build a star product red_? on Mred from a strongly invariant star product ? on M. The new questions which are addressed in this paper concern the existence of natural ^∗-involutions on the reduced quantum algebra and the representation theory for such a reduced ^∗-algebra.We assume that ? is Hermitian and we show that the choice of a formal series of smooth densities on the embedded coisotropic submanifold C=J−1(0), with some equivariance property, defines a ^∗-involution for red_? on the reduced space. Looking into the question whether the corresponding ^∗-involution is the complex conjugation (which is a ^∗-involution in the Marsden-Weinstein context) yields a new notion of quantized modular class.We introduce a left (C^∞(M)?λ?,?)-submodule and a right (C^∞(Mred)?λ?,red_?)-submodule of C^∞(C)?λ?; we define on it a C^∞(Mred)?λ?-valued inner product and we establish that this gives a strong Morita equivalence bimodule between C^∞(Mred)?λ? and the finite rank operators on . The crucial point is here to show the complete positivity of the inner product. We obtain a Rieffel induction functor from the strongly non-degenerate ^∗-representations of (C^∞(Mred)?λ?,red_?) on pre-Hilbert right D-modules to those of (C^∞(M)?λ?,?), for any auxiliary coefficient ^∗-algebra D over C?λ?.     

Isomorphisms in pro-categories

A morphism of a category which is simultaneously an epimorphism and a monomorphism is called a bimorphism. In (Dydak and Ruiz del Portal (Monomorphisms and epimorphisms in pro-categories, preprint)) we gave characterizations of monomorphisms (resp. epimorphisms) in arbitrary pro-categories, pro-C, where C has direct sums (resp. weak push-outs). In this paper, we introduce the notions of strong monomorphism and strong epimorphism. Part of their significance is that they are preserved by functors. These notions and their characterizations lead us to important classical properties and problems in shape and pro-homotopy. For instance, strong epimorphisms allow us to give a categorical point of view of uniform movability and to introduce a new kind of movability, the sequential movability. Strong monomorphisms are connected to a problem of K. Borsuk regarding a descending chain of retracts of ANRs. If f : X→Y is a bimorphism in the pointed shape category of topological spaces, we prove that f is a weak isomorphism and f is an isomorphism provided Y is sequentially movable and X or Y is the suspension of a topological space. If f : X→Y is a bimorphism in the pro-category pro-H₀ (consisting of inverse systems in H₀, the homotopy category of pointed connected CW complexes) we show that f is an isomorphism provided Y is sequentially movable.     

Isomorphisms preserving invariants

Let V and W be finite dimensional real vector spaces and let G ì GL(V){G \subset {\rm GL}(V)} and H ì GL(W){H \subset {\rm GL}(W)} be finite subgroups. Assume for simplicity that the actions contain no reflections. Let Y and Z denote the real algebraic varieties corresponding to \mathbbR[V]^G{\mathbb{R}[V]^G} and \mathbbR[W]^H{\mathbb{R}[W]^H}, respectively. If V and W are quasi-isomorphic, i.e., if there is a linear isomorphism L : V → W such that L sends G-orbits to H-orbits and L ⁻¹ sends H-orbits to G-orbits, then L induces an isomorphism of Y and Z. Conversely, suppose that f : Y → Z is a germ of a diffeomorphism sending the origin of Y to the origin of Z. Then we show that V and W are quasi-isomorphic, This result is closely related to a theorem of Strub [8], for which we give a new proof. We also give a new proof of a result of Kriegl et al. [3] on lifting of biholomorphisms of quotient spaces.     

Involutions in triangular groups

We describe involutions, i.e. elements of order 2, in the groups T _n (K) – of upper triangular matrices of dimension n (n?∈??), and T _∞(K) – of upper triangular infinite matrices, where K is a field of characteristic different from 2. Using the obtained result, we give a formula for the number of all involutions in T _n (K) in the case when K is a finite field.     

具有对合运算的$n$-clean环

A *-ring is called *-clean if every element of the ring can be written as the sum of a projection and a unit. For an integer n ≥ 1, we call a *-ring R n-*-clean if for any a ∈ R,a = p + u1 + ··· + unwhere p is a projection and ui are units for all i. Basic properties of n-*-clean rings are considered, and a number of illustrative examples of 2-*-clean rings which are not *-clean are provided. In addition, extension properties of n-*-clean rings are discussed.     

Involutions in Dual Split-Quaternions

Involutions and anti-involutions are self-inverse linear mappings. In three-dimensional Euclidean space \({\mathbb{R}^{3}}\), a reflection of a vector in a plane can be represented by an involution or anti-involution mapping obtained by real-quaternions. A reflection of a line about a line in \({\mathbb{R}^{3}}\) can also be represented by an involution or anti-involution mapping obtained by dual real-quaternions. In this paper, we will represent involution and anti-involution mappings obtaind by dual split-quaternions and a geometric interpretation of each as rigid-body (screw) motion in three-dimensional Lorentzian space \({\mathbb{R}_1^{3} }\).     

A Criterion for Non-Simplicity of Groups with Involutions

We settle Question 10.61, posed by A. Sozutov in the Kourovka Notebook, for the case where .     

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.     

A Statistic on Involutions

We define a statistic, called weight, on involutions and consider two applications in which this statistic arises. Let I(n) denote the set of all involutions on [n](={1,2,..., n}) and let F(2n) denote the set of all fixed point free involutions on [2n]. For an involution , let || denote the number of 2-cycles in . Let[ n] _q =1+q++q^n-1 and let denote the q-binomial coefficient. There is a statistic wt on I(n) such that the following results are true.(i) We have the expansion