ADDITIVE FAMILIES OF INVARIANTS OF SKEWSYMMETRIC TENSORS

Abstract

Let d be a positive integer and F be a field of characteristic 0. Suppose that for each positive integer n, I _n is a polynomial invariant of the usual action of GL_n (F) on Λ^d(Fⁿ), such that for t ? Λ^d(F ^k) and s ? Λ^d(F ^l), I _{k + l} (t l s) = I _k(t)I _t (s), where t ⊥ s is defined in §1.4. Then we say that {I_n} is an additive family of invariants of the skewsymmetric tensors of degree d, or, briefly, an additive family of invariants. If not all the I_n are constant we say that the family is non-trivial. We show that in each even degree d there is a non-trivial additive family of invariants, but that this is not so for any odd d. These results are analogous to those in our paper [3] for symmetric tensors. Our proofs rely on the symbolic method for representing invariants of skewsymmetric tensors. To keep this paper self-contained we expound some of that theory, but for the proofs we refer to the book [2] of Grosshans, Rota and Stein.     

INITIAL FORMS OF STABLE INVARIANTS FOR ADDITIVE GROUP ACTIONS

The Derksen–Hadas–Makar-Limanov theorem (2001) says that the invariants for nontrivial actions of the additive group on a polynomial ring have no intruder. In this paper, we generalize this theorem to the case of stable invariants. We also prove a similar result for constants of locally finite higher derivations.     

HIGHER DEGREE HYPERBOLIC FORMS

Abstract

We define higher degree hyperbolic forms, analogous to the quadratic hyperbolic forms. We prove the following descent result. Let f be a form of degree d ≥ 3 over a field F of characteristic 0, and let K|f be a field extension. Then if f is equivalent over K to a hyperbolic form, f must already be equivalent to it over F. We also prove that in the monoid of equivalence classes of forms defined over F of a fixed degree d ≥ 3, under the tensor product, the submonoid generated by the equivalence classes of the hyperbolic forms is free. The proofs of these results involve the calculation of the centres and the Lie algebras of the higher degree hyperbolic forms. For the convenience of the reader we expound some of Harrison's seminal paper [5].     

The work of Gian-Carlo rota on invariant theory

The purpose of this paper is twofold: first, to explain Gian-Carlo Rotas work on invariant theory; second, to place this work in a broad historical and mathematical context. Rotas work falls under three specific cases: vector invariants, the invariants of binary forms, and the invariants of skew-symmetric tensors. We discuss each of these cases and show how determinants and straightening play central roles. In fact, determinants constitute all invariants in the vector case; for binary forms and skew-symmetric tensors, they constitute all invariants when invariants are represented symbolically. Consequently, we explain the symbolic method both for binary forms and for skew-symmetric tensors, where Rota developed generalizations of the usual notion of a determinant. We also discuss the Grassmann algebra, with its two operations of meet and join, which was a theme which ran through Rotas work on invariant theory almost from the very beginning.To the memory of Gian-Carlo Rota     

TWO FAMILIES OF CARTESIAN CLOSED TOPOLOGICAL CATEGORIES

Abstract

In this paper two ordered families of topological categories are studied. The first family includes the category of all abstract simplicial complexes and the subcategories of all abstract simplicial complexes of dimension less than or equal to n. The categories of the second family are bireflective subcategories of the category of all bornological spaces. All these categories are cartesian closed and have other nice properties.     

On the trivectors of a 6-dimensional symplectic vector space

Let V be a 6-dimensional vector space over a field F, let f be a nondegenerate alternating bilinear form on V and let Sp(V,f)≅Sp₆(F) denote the symplectic group associated with (V,f). The group GL(V) has a natural action on the third exterior power ?³V of V and this action defines five families of nonzero trivectors of V (four of whose are orbits for any choice of F). In this paper, we divide three of these five families into orbits for the action of Sp(V,f)⊆GL(V) on ?³V.     

On the theory of Pfaffians based on exponential maps in exterior algebras

Based on the relation of exponential maps and interior products in exterior algebras, some formulas of Pfaffians, including expansion formulas and the Cayley-Jacobi formula for determinants of alternating matrices, are deduced with new proofs. As an application, Pfaffian powers of alternating bilinear forms [O. Loos, Discriminant algebras and adjoints of quadratic forms, Beiträge Algebra Geom. 38 (1997) 33-72] are interpreted in terms of exponential maps in algebras of alternating multi-linear forms.     

Homogeneous tri-additive forms and derivations

Gleason [A.M. Gleason, The definition of a quadratic form, Amer. Math. Monthly 73 (1966) 1049-1066] determined all functionals Q on K-vector spaces satisfying the parallelogram law Q(x+y)+Q(x-y)=2Q(x)+2Q(y) and the homogeneity Q(λx)=λ²Q(x). Associated with Q is a unique symmetric bi-additive form S such that Q(x)=S(x,x) and 4S(x,y)=Q(x+y)-Q(x-y). Homogeneity of Q corresponds to that of S: S(λx,λy)=λ²S(x,y). The associated S is not necessarily bi-linear.Let V be a vector space over a field K, char(K)≠2,3. A tri-additive form T on V is a map of V³ into K that is additive in each of its three variables. T is homogeneous of degree 3 if T(λx,λy,λz)=λ³T(x,y,z) for all .We determine the structure of tri-additive forms that are homogeneous of degree 3. One of the keys to this investigation is to find the general solution of the functional equation

F(t)+t³G(1/t)=0,     

A characterization of graphs with rank 4

The rank of a graph G is defined to be the rank of its adjacency matrix. In this paper, we consider the following problem: What is the structure of a connected graph with rank 4? This question has not yet been fully answered in the literature, and only some partial results are known. In this paper we resolve this question by completely characterizing graphs G whose adjacency matrix has rank 4.     

EMBEDDINGS INTO THE CATEGORY OF SUPER UNIFORM SPACES

Abstract

The category US of uniform spaces has been generalised in various ways. The category FUS, of fuzzy uniform spaces and the category GUS, of generalised uniform spaces have both been shown to be good extensions in the sense that US can be embedded into them. We show here that the category SUS, of super uniform spaces also enjoys this property and furthermore, the categories FUS and GUS can be embedded into SUS.     

On the concept of matrix derivative

We discuss how to generalize the concept of vector derivative to matrix derivative, propose two definitions, a ‘broad’ and a ‘narrow’ one, compare the two definitions, and argue in favor of the narrow definition.     

Criteria of unitary equivalence of Hermitian operators with a degenerate spectrum

Nonimprovable, in general, estimates of the number of necessary and sufficient conditions for two Hermitian operators to be unitarily equaivalent in a unitary space are obtained when the multiplicities of eigenvalues of operators can be more than 1. The explicit form of these conditions is given. In the Appendix the concept of conditionally functionally independent functions is given and the corresponding necessary and sufficient conditions are presented.     

Unitarily achievable zero patterns and traces of words in A and A

Our primary objective is to identify a natural and substantial problem about unitary similarity on arbitrary complex matrices: which 0-patterns may be achieved for any given n-by-n complex matrix via some unitary similarity of it. To this end, certain restrictions on “achievable” 0-patterns are mentioned, both positional and, more important, on the maximum number of achievable 0’s. Prior results fitting this general question are mentioned, as well as the “first” unresolved pattern (for 3-by-3 matrices!). In the process a recent question is answered.A closely related additional objective is to mention the best known bound for the maximum length of words necessary for the application of Specht’s theorem about which pairs of complex matrices are unitarily similar, which seems not widely known to matrix theorists. In the process, we mention the number of words necessary for small size matrices.     

EQUI-MORPHIC FAMILIES IN CATEGORIES

Motivated by his previous work on proximally fine and on equi-p-fine uniform spaces, the author extends some results about equi-uniformly continuous families of functions to the general setting of equi-morphic families in a category.     

Unitary similarity of projectors

Summary We deal with linear operators acting in a finite dimensional complex Hilbert space. We show that there exists a simple canonical form for projectors (not necessarily orthogonal) under unitary similarity. As a consequence we obtain a simple test for unitary similarity of projectors. IfP is a projector we show thatP andP ^* are unitarily similar. We also determine the isomorphism type of the algebra generated by the projectorsP andP ^*.Dedicated to the memory of Alexander M. Ostrowski on the occasion of the 100th anniversary of his birth     

A concise proof of Kruskal’s theorem on tensor decomposition

A theorem of J. Kruskal from 1977, motivated by a latent-class statistical model, established that under certain explicit conditions the expression of a third-order tensor as the sum of rank-1 tensors is essentially unique. We give a new proof of this fundamental result, which is substantially shorter than both the original one and recent versions along the original lines.