Orthogonal Representations of Algebraic Groups

Decompositions in categories of highest weight modules

We study the structure of a metric n-Lie algebra \(\mathcal{G}\) over the complex field ℂ. Let \(\mathcal{G} = \mathcal{S} \oplus \mathcal{R}\) be the Levi decomposition, where \(\mathcal{R}\) is the radical of \(\mathcal{G}\) and \(\mathcal{S}\) is a strong semisimple subalgebra of \(\mathcal{G}\). Denote by \(m\left( \mathcal{G} \right)\) the number of all minimal ideals of an indecomposable metric n-Lie algebra and \(\mathcal{R}^ \bot\) the orthogonal complement of R. We obtain the following results. As \(\mathcal{S}\)-modules, \(\mathcal{R}^ \bot\) is isomorphic to the dual module of \({\mathcal{G} \mathord{\left/ {\vphantom {\mathcal{G} \mathcal{R}}} \right. \kern-\nulldelimiterspace} \mathcal{R}}\). The dimension of the vector space spanned by all nondegenerate invariant symmetric bilinear forms on \(\mathcal{G}\) is equal to that of the vector space of certain linear transformations on \(\mathcal{G}\); this dimension is greater than or equal to \(m\left( \mathcal{G} \right) + 1\). The centralizer of \(\mathcal{R}\) in \(\mathcal{G}\) is equal to the sum of all minimal ideals; it is the direct sum of \(\mathcal{R}^ \bot\) and the center of \(\mathcal{G}\). Finally, \(\mathcal{G}\) has no strong semisimple ideals if and only if \(\mathcal{R}^ \bot \subseteq \mathcal{R}\).

An affine algebraic group

Let K/k be a separable field extension of degree 2, D be a finite-dimensional central division algebra over K with a K/k-involution τ, h be an Hermitian anisotropic form on a right D-vector space with respect to τ, and let U(h) be the unitary group of h. Then the reduced Whitehead group of its special linear subgroup is defined as follows: $$ \mathrm{SUK}_1^{\mathrm{an}}(h)={{{\mathrm{SU}(h)}} \left/ {{\left[ {U(h),U(h)} \right]}} \right.} $$ , where [U(h), U(h)] is the commutator subgroup of U(h). The first main result establishes a link between the above group and its analog SUK1(h) for the case of isotropic h (with respect to the same τ). Theorem. There exists a surjective homomorphism from $$ \mathrm{SUK}_1^{\mathrm{an}}(h) $$ to SUK1(h). Furthermore, we also give a solution of the conjugacy problem for special unitary subgroups of anisotropic Hermitian forms over quaternion division algebras as subgroups of their multiplicative groups. Bibliography: 32 titles.

Given a symmetric bilinear form F on a finite dimensional real vector space V we attempt to find ‘nice’ bases where the matrix representation of the form is as simple as possible, in the same sort of way as we did in the Gram-Schmidt orthogonalization process for inner products. The theorem which says that this is possible and which describes all the possible matrix representations one can get is called Sylvester’s law of inertia. (Sylvester’s law of inertia has nothing to do with inertia: the story goes that Sylvester said, ‘If Isaac Newton can have a law of inertia, then so can I’, and consequently gave this theorem the name it has been known by ever since.) This ‘law’ is exactly analogous to Theorem 2.33 which classified all finite dimensional vector spaces using dimension; it turns out that symmetric bilinear forms are classified by the dimension of the underlying vector space and two further numbers, called the rank and the signature of the form.

The sheaf-function correspondence identifies the group of constructible functions on a real analytic manifold M with the Grothendieck group of constructible sheaves on M. When M is a finite dimensional real vector space, Kashiwara-Schapira have recently introduced the convolution distance between sheaves of $\mathbf {k}$ -vector spaces on M. In this paper, we characterize distances on the group of constructible functions on a real finite dimensional vector space that can be controlled by the convolution distance through the sheaf-function correspondence. Our main result asserts that such distances are almost trivial: they vanish as soon as two constructible functions have the same Euler integral. We formulate consequences of our result for Topological Data Analysis: there cannot exist nontrivial additive invariants of persistence modules that are continuous for the interleaving distance.

Let K[?] denote the group algebra of an infinite locally finite group?. In recent years, the lattice of ideals of K[?] has been extensively studied under the assumption that? is simple. From these many results, it appears that such group algebras tend to have very few ideals. While some work still remains to be done in the simple group case, we nevertheless move on to the next stage of this program by considering certain abelian-by-(quasi-simple) groups. Standard arguments reduce this problem to that of characterizing the ideals of an abelian group algebra K[V] stable under the action of an appropriate automorphism group of V. Specifically, in this paper, we let B be a quasi-simple group of Lie type defined over an infinite locally finite field F, and we let V be a finite-dimensional vector space over a field E of the same characteristic p. If B acts nontrivially on V by way of the homomorphism Φ: G → GL(V), and if V has no proper G-stable subgroups, then we show that the augmentation ideal ωK[V] is the unique proper G-stable ideal of K[V] when char K ¬= p. The proof of this result requires, among other things, that we study characteristic p division rings D, certain multiplicative subgroups G of D*, and the action of G on the group algebra K[A], where A is the additive group D + . In particular, properties of the quasi-simple group G come into play only in the final section of this paper.

In 1955, Jean-Louis Koszul has written a seminal paper entitled “Sur la forme hermitienne canonique des espaces homogenes complexes“. Let G be a Lie group and let B be a closed subgroup of G, Koszul introduced a hermitian form that he called canonical hermitian form of the complex homogeneous space G/B with an invariant volume form. In this seminal paper, Koszul has investigated homogeneous spaces and necessary conditions to carry a nondegenerate 2-form derived from the invariant volume element. The advantage of this form for the determination of homogeneous bounded domains was underlined by Elie Cartan in last sentence of his 1932 paper “Sur les domaines bornes de l’espace de n variables complexes”, observing that a necessary condition for G/B to be a bounded domain is that this form is positive definite. Hirohiko Shima has first observed that this geometry of Koszul Hessian structures is linked with Information Geometry. Jean-Louis Koszul also developed these structures in a Lecture “Exposes sur les Espaces Homogenes Symetriques” given at Sao-Paulo in 1958. We will synthetize these Jean-Louis Koszul works of 1955 and 1958 on this invariant form. We will put these elements in the context of more recent researches as a recent work of Della Vedova on covering spaces of symplectic manifolds (co-adjoint orbits, endowed with their canonical Kirillov-Kostant-Souriau symplectic structure) admitting homogeneous non Chern-Ricci flat special compatible almost complex structures, or Biquard extension of Kostant-Sekiguchi-Vergne correspondance. In last part, we develop the role of homogeneous bounded domains and invariant Koszul form in the framework of Information Geometry with use-case of Gaussian laws.

This chapter studies, in the setting of vector spaces over a field, the basics concerning multilinear functions, tensor products, spaces of linear functions, and algebras related to tensor products. Sections 1–5 concern special properties of bilinear forms, all vector spaces being assumed to be finite-dimensional. Section 1 associates a matrix to each bilinear form in the presence of an ordered basis, and the section shows the effect on the matrix of changing the ordered basis. It then addresses the extent to which the notion of “orthogonal complement” in the theory of inner-product spaces applies to nondegenerate bilinear forms. Sections 2–3 treat symmetric and alternating bilinear forms, producing bases for which the matrix of such a form is particularly simple. Section 4 treats a related subject, Hermitian forms when the field is the complex numbers. Section 5 discusses the groups that leave some particular bilinear and Hermitian forms invariant. Section 6 introduces the tensor product of two vector spaces, working with it in a way that does not depend on a choice of basis. The tensor product has a universal mapping property—that bilinear functions on the product of the two vector spaces extend uniquely to linear functions on the tensor product. The tensor product turns out to be a vector space whose dual is the vector space of all bilinear forms. One particular application is that tensor products provide a basis-independent way of extending scalars for a vector space from a field to a larger field. The section includes a number of results about the vector space of linear mappings from one vector space to another that go hand in hand with results about tensor products. These have convenient formulations in the language of category theory as “natural isomorphisms.” Section 7 begins with the tensor product of three and then $n$ vector spaces, carefully considering the universal mapping property and the question of associativity. The section defines an algebra over a field as a vector space with a bilinear multiplication, not necessarily associative. If $E$ is a vector space, the tensor algebra $T(E)$ of $E$ is the direct sum over $n\geq0$ of the $n$-fold tensor product of $E$ with itself. This is an associative algebra with a universal mapping property relative to any linear mapping of $E$ into an associative algebra $A$ with identity: the linear map extends to an algebra homomorphism of $T(E)$ into $A$ carrying 1 into 1. Sections 8–9 define the symmetric and exterior algebras of a vector space $E$. The symmetric algebra $S(E)$ is a quotient of $T(E)$ with the following universal mapping property: any linear mapping of $E$ into a commutative associative algebra $A$ with identity extends to an algebra homomorphism of $S(E)$ into $A$ carrying 1 into 1. The symmetric algebra is commutative. Similarly the exterior algebra $\bigwedge(E)$ is a quotient of $T(E)$ with this universal mapping property: any linear mapping $l$ of $E$ into an associative algebra $A$ with identity such that $l(v)^2=0$ for all $v\in E$ extends to an algebra homomorphism of $\bigwedge(E)$ into $A$ carrying 1 into 1. The problems at the end of the chapter introduce some other algebras that are of importance in applications, and the problems relate some of these algebras to tensor, symmetric, and exterior algebras. Among the objects studied are Lie algebras, universal enveloping algebras, Clifford algebras, Weyl algebras, Jordan algebras, and the division algebra of octonions.

Sums of two square-zero selfadjoint or skew-selfadjoint endomorphisms

The combination of algebraic structures and graphs was carried out by investigating thoroughly the relation among the algebraic structure and the graph theoretic properties. Moreover, it needs to explore algebraic structure. The results of the combination of algebraic structures and graphs have many applications in the fields of Internet modeling, coding, etc. For example, the famous Cayley graph was constructed from groups and widely used in network models. Das introduced the subspace inclusion graph on finite-dimensional vector space over a finite filed, and studied that the graph is bipartite and some special properties if the dimension of the vector space is 3. In this paper, this bipartite inclusion graph in the case of 3-dimensional is extended to more general dimensional bipartite inclusion graph. The diameter, girth, clique number, covering number, independence number and matching number are studied and the properties are shown, such as regular, planar and Eulerian. Moreover, the authors also introduce a new results about the structure and the number of 1-dimensional and n-1-dimensional subspaces on n-dimensional vector space.

In this paper we describe a connection between Vinberg's criterion for the existence of an invariant symmetric bilinear form for a geometric representation of a Coxeter groups and other criteria which are formulated in terms of conjugation invariant sets of reflections generating a given group. Similar methods lead to the result that every non-symmetrizable Kac--Moody Lie algebra contains a non-symmetrizable subalgebra of rank 3. Finally we explain how the results for symmetric bilinear forms can also be obtained for skew-symmetric forms.

In this paper, we give the classification of the irreducible nonsolvable Lie algebras of dimensions \documentclass[12pt]{minimal}\begin{document}$\le\hspace*{-2.5pt}13$\end{document}≤13 with nondegenerate, symmetric, and invariant bilinear forms.

Application of neustadt's theory of extremals to an optimal control problem with a functional differential equation and a functional inequality constraint

Proof.We will prove the first part by induction on t.When r=l, u=Uy.In addition, [uk] = [u]k = [u] so u is not nilpotent.Hence, the associative algebra of all polynomials in u, denoted by F[u], is not nilpotent and thus contains an idempotent e=f(u) for fix) a polynomial.Then [e] = [/(«)] = a[u] where a=f(l) is in F. Thus a[w] = [e] = [e]2 = c72[w]2 = c72[w].Since e is not in M, a[u]^0 and a=l.Let w = Uy + u2 for r^2.Then u=w+u3+ ■ ■ ■ +ut for pairwise orthogonal idempotents [w], [u3],..., [ut].By the inductive hypothesis, there exists an idempotent e and pairwise orthogonal idempotents/ e3,...,et in Ae(l) such that