The norming set of a symmetric bilinear form on the plane with the supremum norm

An element $(x_1, \ldots, x_n)\in E^n$ is called a {\em norming point} of $T\in {\mathcal L}_s(^n E)$ if $\|x_1\|=\cdots=\|x_n\|=1$ and$|T(x_1, \ldots, x_n)|=\|T\|,$ where ${\mathcal L}_s(^n E)$ denotes the space of all symmetric continuous $n$-linear forms on $E.$For $T\in {\mathcal L}_s(^n E),$ we define $$\mathop{\rm Norm}(T)=\{(x_1, \ldots, x_n)\in E^n: (x_1, \ldots, x_n)~\mbox{is a norming point of}~T\}.$$$\mathop{\rm Norm}(T)$ is called the {\em norming set} of $T$. We classify $\mathop{\rm Norm}(T)$ for every $T\in {\mathcal L}_s(^2l_{\infty}^2)$.

Matroid connectivity and singularities of configuration hypersurfaces

Consider a linear realization of a matroid over a field. One associates with it a configuration polynomial and a symmetric bilinear form with linear homogeneous coefficients. The corresponding configuration hypersurface and its non-smooth locus support the respective first and second degeneracy scheme of the bilinear form. We show that these schemes are reduced and describe the effect of matroid connectivity: for (2-)connected matroids, the configuration hypersurface is integral, and the second degeneracy scheme is reduced Cohen–Macaulay of codimension 3. If the matroid is 3-connected, then also the second degeneracy scheme is integral. In the process, we describe the behavior of configuration polynomials, forms and schemes with respect to various matroid constructions.

The commutative nonassociative algebra of metric curvature tensors

The space of tensors of metric curvature type on a Euclidean vector space carries a two-parameter family of orthogonally invariant commutative nonassociative multiplications invariant with respect to the symmetric bilinear form determined by the metric. For a particular choice of parameters these algebras recover the polarization of the quadratic map on metric curvature tensors that arises in the work of Hamilton on the Ricci flow. Here these algebras are studied as interesting examples of metrized commutative algebras and in low dimensions they are described concretely in terms of nonstandard commutative multiplications on self-adjoint endomorphisms. The algebra of curvature tensors on a 3-dimensional Euclidean vector space is shown isomorphic to an orthogonally invariant deformation of the standard Jordan product on $3 \times 3$ symmetric matrices. This algebra is characterized up to isomorphism in terms of purely algebraic properties of its idempotents and the spectra of their multiplication operators. On a vector space of dimension at least 4, the subspace of Weyl (Ricci-flat) curvature tensors is a subalgebra for which the multiplication endomorphisms are trace-free and the Killing type trace-form is a multiple of the nondegenerate invariant metric. This subalgebra is simple when the Euclidean vector space has dimension greater than 4. In the presence of a compatible complex structure, the analogous result is obtained for the subalgebra of Kähler Weyl curvature tensors. It is shown that the anti-self-dual Weyl tensors on a 4-dimensional vector space form a simple 5-dimensional ideal isometrically isomorphic to the trace-free part of the Jordan product on trace-free $3 \times 3$ symmetric matrices.

Double Constructions of Compatible Associative Algebras

A compatible associative algebra is a pair of associative algebras satisfying that any linear combination of the two associative products is still an associative product. We construct a compatible associative algebra with a decomposition into the direct sum of the underlying vector space of another compatible associative algebra and its dual space such that both of them are subalgebras and the natural symmetric bilinear form is invariant. This compatible associative algebra is equivalent to a certain bialgebra structure of compatible associative algebras, which is an analogue of a Lie bialgebra. Many properties of the bialgebra are presented. In particular, the coboundary bialgebra theory leads to the system of associative Yang–Baxter equations in compatible associative algebras, which is an analogue of the classical Yang–Baxter equation in a Lie algebra. Furthermore, the bialgebra can also be regarded as a “compatible version” of antisymmetric infinitesimal bialgebras, that is, a pair of antisymmetric infinitesimal bialgebras satisfying any linear combination of them is still an antisymmetric infinitesimal bialgebra.

Bounds on real finite linear groups that preserve a symmetric or skew symmetric bilinear form

We extend the results of our earlier work on Jordan-type bounds for finite subgroups of complex classical groups to real groups. The bounds that we obtain are related to our previous results by means of structural results for finite linear groups that we can generalise here to compact groups. For the real analogue of orthogonal groups, we take into account the signature of a real quadratic form to determine bounds in every case.

Isotopes of simple algebras of arbitrary dimension

It is proved that every finite-dimensional algebra is embeddable in a simple finite-dimensional algebra (a suitable isotope of a matrix algebra). An isotope of the 2nd order matrix algebra over an infinite extension of the ground field may contain a trivial ideal. Every one-sided isotope of a simple unital alternative or Jordan algebra is a simple algebra. Besides, any isotope of a central simple non-Lie Maltsev algebra of characteristic other than 2 and 3 is a simple algebra. But an isotope of a simple Jordan algebra of the symmetric bilinear form on the infinite dimensional space may contain a trivial ideal.

The First Eigenvalue Estimates of Warped Product Pseudo-Slant Submanifolds

The aim of this paper is to construct a sharp general inequality for warped product pseudo-slant submanifold of the type M = M ⊥ × f M θ , in a nearly cosymplectic manifold, in terms of the warping function and the symmetric bilinear form h which is known as the second fundamental form. The equality cases are also discussed. As its application, we establish a bound for the first non-zero eigenvalue of the warping function whose base manifold is compact.

On the realizable classes of the square root of the inverse different in the unitary class group

Let [Formula: see text] be a number field with ring of integers [Formula: see text] and let [Formula: see text] be a finite abelian group of odd order. Given a [Formula: see text]-Galois [Formula: see text]-algebra [Formula: see text], write [Formula: see text] for its trace map and [Formula: see text] for its square root of the inverse different, where [Formula: see text] exists by Hilbert’s formula since [Formula: see text] has odd order. The pair [Formula: see text] is locally [Formula: see text]-isometric to [Formula: see text] whenever [Formula: see text] is weakly ramified, in which case it defines a class in the unitary class group [Formula: see text] of [Formula: see text]. Here [Formula: see text] denotes the canonical symmetric bilinear form on [Formula: see text] defined by [Formula: see text] for all [Formula: see text]. We will study the set of all such classes and show that a subset of them forms a subgroup of [Formula: see text].

Symmetric powers of symmetric bilinear forms, homogeneous orthogonal polynomials on the sphere and an application to compact Hyperkähler manifolds

The Beauville–Fujiki relation for a compact Hyperkähler manifold [Formula: see text] of dimension [Formula: see text] allows to equip the symmetric power [Formula: see text] with a symmetric bilinear form induced by the Beauville–Bogomolov form. We study some of its properties and compare it to the form given by the Poincaré pairing. The construction generalizes to a definition for an induced symmetric bilinear form on the symmetric power of any free module equipped with a symmetric bilinear form. We point out how the situation is related to the theory of orthogonal polynomials in several variables. Finally, we construct a basis of homogeneous polynomials that are orthogonal when integrated over the unit sphere [Formula: see text], or equivalently, over [Formula: see text] with a Gaussian kernel.

Dirichlet Forms Constructed from Annihilation Operators on Bernoulli Functionals

The annihilation operators on Bernoulli functionals (Bernoulli annihilators, for short) and their adjoint operators satisfy a canonical anticommutation relation (CAR) in equal-time. As a mathematical structure, Dirichlet forms play an important role in many fields in mathematical physics. In this paper, we apply the Bernoulli annihilators to constructing Dirichlet forms on Bernoulli functionals. Let w be a nonnegative function on N. By using the Bernoulli annihilators, we first define in a dense subspace of L2-space of Bernoulli functionals a positive, symmetric, bilinear form Ew associated with w. And then we prove that Ew is closed and has the contraction property; hence, it is a Dirichlet form. Finally, we consider an interesting semigroup of operators associated with w on L2-space of Bernoulli functionals, which we call the w-Ornstein-Uhlenbeck semigroup, and, by using the Dirichlet form, Ew we show that the w-Ornstein-Uhlenbeck semigroup is a Markov semigroup.