The Exact Comass Criterion for the Tsai--Wang Form

Abstract

For a map $F:Ω\subset\mathbb{R}^n\to\mathbb{R}^m$, let $Θ(F)$ be the $n$-form on $Ω\times\mathbb{R}^m$ introduced by Tsai and Wang [arXiv:2604.04336]. If $λ_1,\ldots,λ_{r}$ are the nonzero singular values of $d F$ at any fixed point, we prove that $$ Θ(F) \text{ has comass one if and only if }~ \mathcal{S}(λ):=\sum_{i=1}^{r}\frac{λ_i^2}{1+λ_i^2}\leq1. $$ Note that if $\text{rank} d F\le1$, $\mathcal{S}$ is always less than $1$. We also prove a dichotomy that if $\mathcal{S}\leq 1$, then either $\mathcal{S} < 1$ or $\mathcal{S}\equiv1$. When $\mathcal{S}<1$, the graph tangent plane is the only calibrated plane, generalizing the corresponding result for hypersurfaces. When $\mathcal{S}\equiv1$, we prove that $F$ is affine or of rank $2$.