{"id":"arxiv/2610.15643","url":"https://arxiv.org/abs/2610.15643","tags":["math.QA"],"score":0,"title":"A trace lower bound for totally positive units in $\\mathbb{Q}(ζ_p)^+$ and its application to fusion category","domain":"math.QA","source":"arxiv","authors":["Yue Meng","Zhiqiang Yu"],"reviews":0,"subject":"math.QA","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-11","reactions":{}}