The design of linear algebra and geometry

Conventional formulations of linear algebra do not do justice to the fundamental concepts of meet, join, and duality in projective geometry. This defect is corrected by introducing Clifford algebra into the foundations of linear algebra. There is a natural extension of linear transformations on a vector space to the associated Clifford algebra with a simple projective interpretation. This opens up new possibilities for coordinate-free computations in linear algebra. For example, the Jordan form for a linear transformation is shown to be equivalent to a canonical factorization of the unit pseudoscalar. This approach also reveals deep relations between the structure of the linear geometries, from projective to metrical, and the structure of Clifford algebras. This is apparent in a new relation between additive and multiplicative forms for intervals in the cross-ratio. Also, various factorizations of Clifford algebras into Clifford algebras of lower dimension are shown to have projective interpretations.As an important application with many uses in physics as well as in mathematics, the various representations of the conformal group in Clifford algebra are worked out in great detail. A new primitive generator of the conformal group is identified.     

Completions of orthomodular lattices

If K is a variety of orthomodular lattices generated by a finite orthomodular lattice the MacNeille completion of every algebra in K again belongs to K.     

Unitary spherical spectrum for p-adic classical groups

Let G be a split reductive p-adic group. Then the determination of the unitary representations with nontrivial Iwahori fixed vectors can be reduced to the determination of the unitary dual of the corresponding Iwahori-Hecke algebra. In this paper we study the unitary dual of the Iwahori-Hecke algebras corresponding to the classical groups. We determine all the unitary spherical representations.     

Clifford 代数,几何计算和几何推理

Clifford代数是一种深深根植于几何学之中的代数系统,被它的创始人称为几何代数．历史上,E．Cartan,R．Brauer,H．Weyl,C．Chevalley等数学大师都曾研究和应用过Clifford代数,对它的发展起了重要作用．近年来,Clifford代数在微分几何、理论物理、经典分析等方面取得了辉煌的成就,是现代理论数学和物理的一个核心工具,并在现代科技的各个领域,如机器人学、信号处理、计算机视觉、计算生物学、量子计算等方面有广泛的应用．本文主要介绍Clifford代数在几何计算和几何推理中的应用．作为一种优秀的描述和计算几何问题的代数语言,Clifford代数对于几何体,几何关系和几何变换有不依赖于坐标的、易于计算的多种表示,因而应用它进行几何自动推理,不仅使困难定理的证明往往变得极为简单,而且能够解决一些著名的公开问题,目前在国际上,几何自动推理已经成为Clifford代数的一个重要应用领域。     

The Notion of Vertex Operator Coalgebra and a Geometric Interpretation

The notion of vertex operator coalgebra is presented and motivated via the geometry of conformal field theory. Specifically, we describe the category of geometric vertex operator coalgebras, whose objects have comultiplicative structures meromorphically induced by conformal equivalence classes of worldsheets. We then show this category is isomorphic to the category of vertex operator coalgebras, which is defined in the language of formal algebra. The latter has several characteristics which give it the flavor of a coalgebra with respect to the structure of a vertex operator algebra and several characteristics that distinguish it from a standard dual—both of them will be highlighted.     

Fibonacci Numbers and an Area Puzzle: Connecting Geometry and Algebra in the Mathematics Classroom

A mathematical puzzle that asks about “missing” area leads to an exploration of the Fibonacci sequence as well as genuine inquiry in plane geometry connected to algebra. This article discusses the inquiry, the concepts, the solution, and an extension that deepens all students’ understanding of connections between algebra and geometry.     

Galerkin approximations of infinite-dimensional compensators for flexible structures with unbounded control action

Galerkin (finite elements) approximations of compensators/estimators for partially observed infinite-dimensional systems with unbounded control operators are considered. It is shown that these approximations enjoy two features: (i) they provide a near-optimal performance, and (ii) they retain uniform asymptotic stability properties (uniform with respect to the parameter of discretization) of the entire closed loop system. Examples of hyperbolic equations with boundary controls and boundary observations are provided.     

Polynomial Basis Multiplication over GF(2 m )

In this paper, we describe, analyze and compare various multipliers. Particularly, we investigate the standard modular multiplication, the Montgomery multiplication, and the matrix–vector multiplication techniques.     

Weyl代数研究简介

本文简要综述Ｗｅｙｌ代数诞生７０余年来的一系列重要研究成果。     

Spaces of nonpositive curvature arising from a finite algebra

In this paper we introduce a family of examples that can be regarded as spaces of nonpositive curvature, but with the distinct quality that they are not complete as metric spaces. This amounts to the fact that they are modelled on a finite von Neumann algebra, and the metrics introduced arise from the trace of the algebra. In spite of the noncompleteness of these manifolds, their geometry can be studied from the view-point of metric geometry, and several techniques derived from the functional analysis are applied to gain insight on their geodesic structure.     

Twisted descent algebras and the Solomon-Tits algebra

The notion of descent algebra of a bialgebra is lifted to the Barratt-Joyal setting of twisted bialgebras. The new twisted descent algebras share many properties with their classical counterparts. For example, there are twisted analogs of classical Lie idempotents and of the peak algebra. Moreover, the universal twisted descent algebra is equipped with two products and a coproduct, and there is a fundamental rule linking all three. This algebra is shown to be naturally related to the geometry of the Coxeter complex of type A.     

Some mathematical problems in seriation

Some mathematical aspects of seriation are studied in this paper. Certain conditions on an abundance or an incidence matrix have been given in the past which imply that there exists a permutation of its rows so that the resulting matrix is a Q matrix (in which case the original matrix is said to be a pre-Q). These types of results have applications to chronologically ordering archaeological provenances under certain circumstances. Unfortunately these conditions are deficient both theoretically and practically, in that for much archaeological data the conditions are not necessarily true yet the corresponding provenances do have chronological orderings. Here we are able to generalize these results in two ways. First we are able to establish necessary and sufficient conditions on the rows of a matrix for it to be pre-Q. These conditions are local in that they concern only certain triples and quadruples of the rows. Secondly, we are able to interpret seriation in terms of a ternary relation R on a set A and prove the results in this general context. In this form the theorem says that if only certain of the triples and quadruples are R-strings, then the whole set A is an R-string, and so has a linear order consistent with the ternary relation R. This would appear to generalize a theorem of P. C. Fishburn. Both aspects of the generalization mean that the results stated herein have a wider applicability than those given heretofore. Possibly more importantly than this is that they lead to numerical invariants, called the fixing number and the related linear rigidity, of such an R-string on A. The archaeological interpretation of these is given in the paper and data supplied which illustrates this point. Finally various other conditions on products and representations of relations are stated which imply that A is an R-string. One of these generalizes and completes a theorem of D. G. Kendall.     

On derivations of the heisenberg algebra

Derivations of the Heisenberg algebraH and some related questions are studied. The ideas and the language of formal differential geometry are used. It is proved that all derivations of this algebra are inner. The main subalgebras of the Lie algebraD(H) of all derivations ofH are distinguished, and their properties are studied. It is shown that the algebraH interpreted as a Lie algebra (with the commutator as the Lie bracket) forms a one-dimensional central extension ofD(H). Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 118. No. 2 pp. 163–189, February, 1999.     

Toward an Algebra Acquisition Support System: A Study Based on Using Graphic Calculators in the Classroom

This article discusses the results of a study that focused on using graphic calculators. The algebraic code of the calculator was used to introduce 11- to 12-year-old students to algebraic language as a tool for modeling and solving problems, relating this to their previous arithmetical experience and their evolving use of symbolic language. This study provided empirical evidence for the potential of conceiving algebra as a language and teaching it as a language-in-use, supported by the graphic calculator. The teaching approach was based on Bruner's (1983) research on natural language acquisition. Bruner claimed that natural language is taught and that the adult shapes the environment such that children can learn the rudiments of their mother tongue through its use, without needing to know syntactical rules and definitions. The main aim of this study was to investigate the outcomes of an algebra learning scheme based on Bruner's theory of language acquisition.     

On stable geometries

Within the concept of projective lattice geometry we are considering the class of stable geometries which have also been introduced in [14]. The investigation of their basic properties will result in fundamental structure theorems which especially give a lattice-geometric characterization of free left modules of rank 6 over proper right Bezout rings of stable rank 2. This yields a proper generalization of previous results of ours.     

Positive definite Minkowski Lie algebras and bi-invariant Finsler metrics on Lie groups

In this paper, we introduce the notion of a Minkowski Lie algebra, which is the natural generalization of the notion of a real quadratic Lie algebra (metric Lie algebra). We then study the positive definite Minkowski Lie algebras and obtain a complete classification of the simple ones. Finally, we present some applications of our results to Finsler geometry and give a classification of bi-invariant Finsler metrics on Lie groups. This work was supported by NSFC (No.10671096) and NCET of China.     

On the general theory of exact controllability for skew symmetric operators

We introduce a general formalism for linear evolution equations with skew adjoint operators. We make explicit the controllability operator as an expansion with respect to eigenfunctions. Using the fact that the eigenvalues are purely imaginary, we give sufficient controllability conditions. This approach is convenient for studying the asymptotic behaviour of the optimal control.     

On finite algebras having a linear congruence class geometry

According to Wille a congruence class geometry arises from a (universal) algebra essentially by taking the elements of the base set of the algebra as points and the congruence classes as subspaces of the geometry. Such a geometry is calledlinear if every of its lines is specified uniquely by any two of its points. In Theorem 3.8 all those nonsimple finite algebras (with at least one fundamental operation of arity 2) having a linear congruence class geometry are determined. In particular, it is proved that the congruence class geometry of each such algebra is affine and desarguesian.Presented by B. Jónsson.     

On geometry of curves of flags of constant type

We develop an algebraic version of Cartan’s method of equivalence or an analog of Tanaka prolongation for the (extrinsic) geometry of curves of flags of a vector space W with respect to the action of a subgroup G of GL(W). Under some natural assumptions on the subgroup G and on the flags, one can pass from the filtered objects to the corresponding graded objects and describe the construction of canonical bundles of moving frames for these curves in the language of pure linear algebra. The scope of applicability of the theory includes geometry of natural classes of curves of flags with respect to reductive linear groups or their parabolic subgroups. As simplest examples, this includes the projective and affine geometry of curves. The case of classical groups is considered in more detail.     

Bundle automorphisms for fiberG-structures of finite type

In this paper we study geometric settings where a Lie group preserving a measurable field of measurable Riemannian metrics on the fibers of a smooth fiber bundle must actually preserve a measurable field of smooth Riemannian metrics. For ergodic actions on bundles with compact fiber this will imply that the standard fiber is a homogeneous space for a compact Lie group. In particular we show this conclusion holds for a semisimple Lie group of higher real rank (or a lattice subgroup) preserving a finite measure and either a field of connections or pseudo-Riemannian metrics when the fiber is compact and of low dimension.Research completed while a member of the University of Chicago Mathematics Department.