Related papers: $\mathrm{Spin}(9)$-invariant valuations on the oct…
We describe explicitly the algebra of Spin(9)-invariant, translation-invariant, continuous valuations on the octonionic plane. Namely, we present a basis in terms of invariant differential forms and determine the Bernig-Fu convolution on…
It is well known that there is a unique $Spin(9)$-invariant 8-form on the octonionic plane that naturally yields a canonical differential 8-form on any Riemannian manifold with a weak $Spin(9)$-structure. Over the decades, this invariant…
A new class of plurisubharmonic functions on the octonionic plane O^2= R^{16} is introduced. An octonionic version of theorems of A.D. Aleksandrov and Chern- Levine-Nirenberg, and Blocki are proved. These results are used to construct new…
We describe the orbit space of the action of the group $\mathrm{Sp}(2)\mathrm{Sp}(1)$ on the real Grassmann manifolds $\mathrm{Gr}_k(\mathbb{H}^2)$ in terms of certain quaternionic matrices of Moore rank not larger than $2$. We then give a…
We introduce different bases for the vector space of $\mathrm{Sp}(2)\mathrm{Sp}(1)$-invariant, translation invariant continuous valuations on the quaternionic plane and determine a complete set of kinematic formulas.
Starting from the 2001 Thomas Friedrich's work on Spin(9), we review some interactions between Spin(9) and geometries related to octonions. Several topics are discussed in this respect: explicit descriptions of the Spin(9) canonical 8-form…
The spaces of Sp(n)-, Sp(n)U(1)- and Sp(n)Sp(1)- invariant, translation invariant, continuous convex valuations on the quaternionic vector space H^n are studied. Combinatorial dimension formulas involving Young diagrams and Schur…
The algebras of valuations on $S^6$ and $S^7$ invariant under the actions of $\mathrm G_2$ and $\mathrm{Spin}(7)$ are shown to be isomorphic to the algebra of translation-invariant valuations on the tangent space at a point invariant under…
We deal with Riemannian properties of the octonionic Hopf fibration S^{15}-->S^8, in terms of the structure given by its symmetry group Spin(9). In particular, we show that any vertical vector field has at least one zero, thus reproving the…
The Alesker-Poincare pairing for smooth valuations on manifolds is expressed in terms of the Rumin differential operator acting on the cosphere-bundle. It is shown that the derivation operator, the signature operator and the Laplace…
Let $\mathrm{SO}^+(p,q)$ denote the identity connected component of the real orthogonal group with signature $(p,q)$. We give a complete description of the spaces of continuous and generalized translation- and $\mathrm{SO}^+(p,q)$-invariant…
A new method of constructing translation invariant continuous valuations on convex subsets of the quaternionic space $\HH^n$ is presented. In particular new examples of $Sp(n)Sp(1)$-invariant translation invariant continuous valuations are…
In this paper, we present the implicit equations for one special class of real-valued spherical harmonics with octahedral symmetry. Based on this representation, we construct the rotationally invariant measure of deviation from the…
A classification of SL$(n)$ invariant valuations on the space of convex polytopes in $R^n$ without any continuity assumptions is established. A corresponding result is obtained on the space of convex polytopes in $R^n$ that contain the…
An explicit expression of the canonical 8-form on a Riemannian manifold with a Spin(9)-structure, in terms of the nine local symmetric involutions involved, is given. The list of explicit expressions of all the canonical forms related to…
An algorithm is given for computing explicit formulas for the generators of relations among the invariant rational functions for vector-valued bilinear forms. These formulas have applications in the geometry of Riemannian submanifolds and…
This is the first part of a series of articles where we are going to develop theory of valuations on manifolds generalizing the classical theory of continuous valuations on convex subsets of a linear space. In this article we still work…
For a Spin(9)-structure on a Riemannian manifold M^16 we write explicitly the matrix psi of its K\"ahler 2-forms and the canonical 8-form Phi. We then prove that Phi coincides up to a constant with the fourth coefficient of the…
We show how Alesker's theory of valuations on manifolds gives rise to an algebraic picture of the integral geometry of any Riemannian isotropic space. We then apply this method to give a thorough account of the integral geometry of the…
Let K be the product O(n_1) x O(n_2) x ... x O(n_r) of orthogonal groups. Let V the r-fold tensor product of defining representations of each orthogonal factor. We compute a stable formula for the dimension of the K-invariant algebra of…