Spectral truncations of SU(2) and the spectral localizer AVDB4KJ6XB

Expressions

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

Item	Kind	Where	Source
3WWJ5Q3J98	statement	lemma 4.3	arxiv
45S9T62FTM	definition	definition 5.4	arxiv
4R203QKRTB	statement	theorem 4.5	arxiv
5PRPD9RVCJ	definition	definition 3.9	arxiv
5V8GARGFKR	statement	theorem 3.3	arxiv
60TBNW144Z	statement	theorem 3.12	arxiv
7KHJCY8G76	statement	corollary 3.13	arxiv
8BT2M89DMN	statement	lemma 4.12	arxiv
8KGJ374SQD	definition	definition 4.2	arxiv
9NDH39888Q	statement	lemma 3.4	arxiv
AXVG1N7011	statement	lemma 4.7	arxiv
C1KKRKQA72	definition	definition 3.1	arxiv
C8XZ3Z2XMQ	conjecture	conjecture 4.13	arxiv
DAJ8E98X9B	definition	definition 3.2	arxiv
DWMD3CG0W8	statement	proposition 3.6	arxiv
GA1J1RTGJX	statement	proposition 5.8	arxiv
GCSJ7NQK33	statement	corollary 3.15	arxiv
HANPEBSA2A	definition	definition 4.9	arxiv
Prop 8.7.1; p. 485; , Section 4.3	definition	definition 5.3	arxiv
K0VRCBVGD6	statement	proposition 3.10	arxiv
KFWA80JAQS	statement	lemma 4.4	arxiv
Eq. 8.5.3.	statement	lemma 4.6	arxiv
KZ4E3WZ80V	statement	theorem 4.1	arxiv
NYDG3JR2E6	statement	proposition 2.3	arxiv
Sec. 1.6 + Cor 1.10.9	statement	proposition 3.11	arxiv
Q6771NQPZV	statement	proposition 5.7	arxiv
Q6NHV1T93K	statement	lemma 4.8	arxiv
QA7RS45JAT	statement	lemma 3.5	arxiv
QHZ4R8DA8G	statement	theorem 4.10	arxiv
QQGNY42WZ4	statement	proposition 5.1	arxiv
T47ZHD12MX	statement	lemma 4.11	arxiv
TCWPWYNBCB	definition	definition 3.7	arxiv
V4MQCAFX08	statement	proposition 5.9	arxiv
WSAAS81ZJF	statement	proposition 5.2	arxiv
Y53G2ESAV2	definition	definition 3.8	arxiv
Y99WQP99BP	definition	definition 5.5	arxiv
Spectral localizer theorem, Thm 10.4.1	statement	theorem 5.6	arxiv