Hsiang cubics as spherical Chebyshev polynomials: equioscillation and idempotent quadrature

Vladimir G. Tkachev

Home/Archive/arXiv

arXiv · 2610.13532

Hsiang cubics as spherical Chebyshev polynomials: equioscillation and idempotent quadrature

Vladimir G. Tkachev

View original source ↗Read source document ↗Export metadata ↓

Abstract

A Hsiang cubic is a cubic form on $\mathbb{R}^{n}$ whose zero set is a minimal cone; equivalently, it is the cubic form of a commutative nonassociative metrized algebra satisfying a single identity of degree four. We show that the intrinsic geometry of such an algebra, encoded in its idempotents and their Peirce decompositions, is the geometry of a Chebyshev-type extremal problem on the sphere. A Hsiang cubic equioscillates on $S^{n-1}$: its maximum set is the set of normalized idempotents, and on suitable great circles through an idempotent it restricts to the Chebyshev polynomial $T_3$. For the spherical analogue of the problem of least deviation, the minimization of $\|p\|_\infty^2/\|p\|_2^2$ over harmonic cubics, a sharp lower bound based on Kellogg's inequality shows that Cartan's isoparametric cubics are the global minimizers in dimensions $5$, $8$, $14$ and $26$. In general, we compute the ratio of every Hsiang cubic in terms of the Killing form and characterize stationarity by a Kolmogorov criterion: it amounts to a positive measure on the idempotent variety. Such measures are given explicitly in several cases which together cover every Hsiang cubic known to exist; in particular, all of them are stationary. These measures give quadrature identities on the idempotent variety whose moments are invariants of the algebra; they are spherical designs exactly in the Einstein (Killing metrized) case, i.e.\ when the Killing form is proportional to the inner product. Distinguished low-dimensional Hsiang cubics are strict local minimizers, whereas a polar Hsiang cubic is a stationary non-minimizer.

Explore related subjects

math.CA math.CV math.RA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Vladimir G. Tkachev. 2026-10-09. Hsiang cubics as spherical Chebyshev polynomials: equioscillation and idempotent quadrature. https://arxiv.org/abs/2610.13532

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Yet Another Table of Integrals

This collection of sums and integrals has been harvested from the mathematical and physical literature in unstructured ways. Its main use is backtracking the original sources whenever an integral of the reader's application resembles one of the items in the collection.

math.CA↗

arXiv2026

Hausdorff content $A_p$ weights: weighted maximal inequalities and fundamental structural properties

Let $\mathcal H_{\infty}^δ$ denote the Hausdorff content of dimension $δ\in(0,n]$ defined on subsets of $\mathbb R^n$. The principal problem, considered in this paper, is to characterize the non-negative function $w$ for which the weighted $L^p$ inequality with $p\in(1,\infty)$ and the weighted weak $L^1$ inequality on Hardy-Littlewood maximal operators associated with Hausdorff content hold true. To achieve this, we introduce a class of Hausdorff content $A_p$ weights, denoted as $\mathcal A_{p,δ}$, and then show that, for any $p\in(1,\infty)$ and $δ\in(0,n]$, the weighted $L^p$ maximal inequality holds true if and only if $w\in\mathcal A_{p,δ}$, and the weighted weak $L^1$ maximal inequality holds true if and only if $w\in\mathcal A_{1,δ}$ by proposing a novel approach. As the second objective, applying this approach, the seminal structural properties of classical Muckenhoupt $A_p$ weights, such as the reverse Hölder inequality [R. R. Coifman and C. Fefferman, Studia Math. 51 (1974), 241-250], the self-improving property [B. Muckenhoupt, Trans. Amer. Math. Soc. 165 (1972), 207-226], and Jones' factorization theorem [P. W. Jones, Ann. of Math. (2) 111 (1980), 511-530], are all established for $\mathcal A_{p,δ}$. The main novelties of this paper lies in: (i) we discover $\mathcal A_{p,δ}$ weights with rich structural properties, that increase strictly on dimension exponent and hence reduce to the classical $A_p$ class at the endpoint dimension, forming proper subsets of it for smaller dimension exponent; (ii) by proposing a novel approach, this work naturally extends the classical theory beyond measure-theoretic frameworks, while also provides novel insights even when reduced to the classical $A_p$ weight case.

math.CA↗

arXiv2026

Directional maximal operators in the plane

This monograph investigates the Lebesgue boundedness of planar directional maximal operators $D_Ω$. These are maximal averages of functions over line segments in $\mathbb R^2$ whose slopes lie in a specified set $Ω\subseteq\mathbb R$. A large body of work has identified a geometric property of $Ω$, called finite-order lacunarity, as a key factor in ensuring that $D_Ω$ is Lebesgue bounded. While several variations of this notion exist, they all centre on the distribution of gaps in $Ω$. Building on earlier work, an article of Bateman(2009) asserted a dichotomy for such operators. Namely, $D_Ω$ is bounded on $L^p$ for all $p\in (1,\infty)$ precisely when the slope set $Ω$ is finite-order lacunary, or equivalently, when $Ω$ does not admit Kakeya-type sets. Conversely, sublacunary direction sets $Ω$ admit Kakeya-like phenomena, implying that $D_Ω$ is unbounded on $L^p$ for all $p\in [1,\infty)$. Recent work of Hagelstein, Radillo-Murguia, and Stokolos(2024) identified a gap in the proof of this assertion and produced counterexamples for which the separation mechanism underlying that proof fails, demonstrating the need for a corrected framework. We establish the corrected characterization by introducing a new notion of admissible finite-order lacunarity that faithfully reflects the combinatorial structure of the direction set. This leads to a tree-theoretic characterization in terms of finite splitting number and provides the foundation for new geometric and probabilistic constructions establishing the equivalence between finite-order lacunarity, the absence of Kakeya-type sets, and the boundedness of directional maximal operators. The resulting framework not only resolves the gap in the earlier proof, but also identifies admissible finite-order lacunarity as the structural invariant governing these phenomena.

math.CA↗