A trace lower bound for totally positive units in $\mathbb{Q}(\zeta_p)^+$ and its application to fusion category 7QFBJCRPW1

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
903EH7TEJ8	statement	proposition 3.6	arxiv
93SECE7QHW	conjecture	conjecture 3.8	arxiv
CWJT8N9NZ2	statement	proposition 4.2	arxiv
DWDH982AA3	statement	theorem 3.1	arxiv
F6135AVZEH	statement	lemma 3.10	arxiv
GPPQNM5R12	statement	lemma 4.1	arxiv
GWEQZ0ZDTG	statement	lemma 3.4	arxiv
JAFN7APDGB	statement	proposition 3.5	arxiv
N94KY5X9XG	statement	lemma 3.2	arxiv
R2BYRQNRGD	statement	theorem 1.3	arxiv
SCTXZNZRF6	statement	corollary 1.2	arxiv
W85KWYZWTV	statement	theorem 3.11	arxiv
WBB1Z11WDD	definition	definition 3.9	arxiv
WXV2NAG1R9	statement	proposition 3.3	arxiv
X9B3XW89JE	statement	theorem 1.1	arxiv
ZNZQ7N8R8V	statement	theorem 4.3	arxiv