A trace lower bound for totally positive units in $\mathbb{Q}(ζ_p)^+$ and its application to fusion category
Let $p = 4q + 1$ be a prime integer, where $q$ is an odd prime. Let $L = \mathbb{Q}(ζ_p)^+$ denote the maximal totally real subfield of the $p$-th cyclotomic field $\mathbb{Q}(ζ_p)$. In this paper, we prove that if $U_L^+=U_L^2$ (i.e., every totally positive unit is a square in $L$), then for any non-trivial subfield $K \subseteq L$ and any non-trivial totally positive unit $\varepsilon \in U_K^+$, the absolute trace satisfies the sharp lower bound $\Tr_{K/\mathbb{Q}}(\varepsilon) \ge p - 4$. As an application, we show that a spherical fusion category $\C$ with global dimension…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.15643
curl -X POST /api/v1/records/arxiv/2610.15643/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.15643/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'