← 研踪 PaperTrailarXiv:2609.39567 · v2
Invariant Shape Analysis of Surfaces with Spherical Topology
首次提交 2026-09-30 20:02
版本更新 2026-11-01 17:00
雷达观测 2026-11-04 23:43
摘要
Every real spherical harmonic of even degree is congruent to its mirror image. We prove that a real spherical harmonic of odd degree $n\ge3$ with distinct Maxwell axes is congruent to its mirror image if and only if the hyperelliptic curve of genus $n-1$ defined by its binary form has a reduced automorphism of even order whose lift acts on the form by $-1$. We then determine the locus of these curves: it is the locus of curves with an extra involution if and only if $n-1$ is a power of two, and otherwise it also contains, for each even divisor $k$ of $n-1$ with odd cofactor $d\ge3$, an irreducible family $y^2=x K(x^{2k})$, $°K=d$, with generic reduced automorphism group $\Z/2k$. For $n=3$ the condition is the vanishing of the skew invariant of the binary sextic. As an application, the invariants of the truncated spherical harmonic expansion of a genus-zero surface, in a conformal parameterization normalized by its conformal barycenter, give a descriptor that is exactly invariant under parameterization, position and scale, records handedness, and is stable in the orbit distance.
观测到的版本
相邻记录可能跳过中间版本；首次发现 v2 及以上也会标为版本更新。
v2 · 2026-11-01 17:00 · 最新观测版本
Invariant Shape Analysis of Surfaces with Spherical Topology
Every real spherical harmonic of even degree is congruent to its mirror image. We prove that a real spherical harmonic of odd degree $n\ge3$ with distinct Maxwell axes is congruent to its mirror image if and only if the hyperelliptic curve of genus $n-1$ defined by its binary form has a reduced automorphism of even order whose lift acts on the form by $-1$. We then determine the locus of these curves: it is the locus of curves with an extra involution if and only if $n-1$ is a power of two, and otherwise it also contains, for each even divisor $k$ of $n-1$ with odd cofactor $d\ge3$, an irreducible family $y^2=x K(x^{2k})$, $°K=d$, with generic reduced automorphism group $\Z/2k$. For $n=3$ the condition is the vanishing of the skew invariant of the binary sextic. As an application, the invariants of the truncated spherical harmonic expansion of a genus-zero surface, in a conformal parameterization normalized by its conformal barycenter, give a descriptor that is exactly invariant under parameterization, position and scale, records handedness, and is stable in the orbit distance.
查看此版本解读 →查看此版本原文 ↗