r s rs r q r - - PowerPoint PPT Presentation

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s
• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

▲✉❝✐❛ ❉✐ ❱✐③✐♦ ✭❥♦✐♥t ✇♦r❦ ✇✐t❤ ❈❤❛r❧♦tt❡ ❍❛r❞♦✉✐♥✮

❇❡✐❥✐♥❣✱ ❖❝t♦❜❡r ✷✼t❤✱ ✷✵✶✵

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

q✲❞✐✛❡r❡♥❝❡ s②st❡♠s ❛♥❞ ♠♦❞✉❧❡s

✶

q✲❞✐✛❡r❡♥❝❡ s②st❡♠s ❛♥❞ ♠♦❞✉❧❡s

✷

❖✈❡r✈✐❡✇ ♦❢ ●❛❧♦✐s t❤❡♦r②

✸

• ❡♥❡r✐❝ ✭❛❧❣❡❜r❛✐❝✮ ●❛❧♦✐s ❣r♦✉♣s

✹

❈♦♠♣❛r✐s♦♥ t❤❡♦r❡♠

✺

Pr♦❧♦♥❣❛t✐♦♥ ❢✉♥❝t♦r

✻

❈♦♠♣❛r✐s♦♥ t❤❡♦r❡♠

✼

■♠♣r♦✈❡♠❡♥ts✱ ❧♦ss❡s✳

✽

❘❡❞✉❝t✐♦♥ t♦ ❛ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ❡①t❡♥s✐♦♥ ♦❢ Q ▼❛✐♥ t❤❡♦r❡♠ ✿ q r♦♦t ♦❢ ✉♥✐t② ▼❛✐♥ t❤❡♦r❡♠ ✿ q tr❛♥s❝❡♥❞❡♥t❛❧ ▼❛✐♥ t❤❡♦r❡♠ ✿ q ❛❧❣❡❜r❛✐❝✱ ♥♦t ❛ r♦♦t ♦❢ ✉♥✐t②

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

q✲❞✐✛❡r❡♥❝❡ s②st❡♠s ❛♥❞ ♠♦❞✉❧❡s

C ✜❡❧❞ ♦❢ ❝♦♠♣❧❡① ♥✉♠❜❡rs✱ q ∈ C {✵, ✶}✱ σq : ❢ (①) → ❢ (q①) q✲❞✐✛❡r❡♥❝❡ s②st❡♠ ❨ (q①) = ❆(①)❨ (①) ✇✐t❤ ❆(①) ∈ ●❧ν(C(①)) q✲❞✐✛❡r❡♥❝❡ ♠♦❞✉❧❡ M = (▼, Σq) ♦✈❡r C(①) ▼ C(①)✲✈❡❝t♦r s♣❛❝❡ ♦❢ ❞✐♠❡♥s✐♦♥ ν Σq : ▼ → ▼ σq✲s❡♠✐❧✐♥❡❛r ❜✐❥❡❝t✐♦♥ ❘♠❦✳ ❍♦r✐③♦♥t❛❧ ✈❡❝t♦rs ❢♦r Σq ↔ s♦❧✉t✐♦♥s ♦❢ ❛ q✲❞✐✛❡r❡♥❝❡ s②st❡♠

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

❖✈❡r✈✐❡✇ ♦❢ ●❛❧♦✐s t❤❡♦r②

■❢ |q| = ✶ ✿ ❆(①) ∈ ●❧ν(C(①)) ⇒ ∃❯ ∈ ●❧ν(M❡r(C∗)) s✳t✳ ❯(q①) = ❆(①)❯(①) ❨ (q①) = ❆(①)❨ (①) ❤❛s ❛ ❢✉♥❞❛♠❡♥t❛❧ s♦❧✉t✐♦♥ ✐♥ Eq(①)(❯) ⊂ M❡r(C∗)✱ ✇✐t❤ M❡r(C∗)σq = Eq ❛❧❣❡❜r❛✐❝ ❣r♦✉♣ ♦✈❡r t❤❡ ❛❧❣❡❜r❛✐❝ ❝❧♦s✉r❡ ♦✈❡r Eq ❞✐✛❡r❡♥t✐❛❧ ❣r♦✉♣ ♦✈❡r t❤❡ ❞✐✛❡r❡♥t✐❛❧ ❝❧♦s✉r❡ ♦✈❡r Eq ✭❍❛r❞♦✉✐♥✲❙✐♥❣❡r✮ Pr♦❜❧❡♠✳ ▲❛r❣❡ ✜❡❧❞ ♦❢ ❞❡✜♥✐t✐♦♥

• r♦✉♣s ❞✐✣❝✉❧t t♦ ❝❛❧❝✉❧❛t❡ ❛♥❞ ❝❤❛r❛❝t❡r✐③❡
• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s
• ❡♥❡r✐❝ ✭❛❧❣❡❜r❛✐❝✮ ●❛❧♦✐s ❣r♦✉♣s

MC(①) = (▼C(①), Σq) ❂ q✲❞✐✛❡r❡♥❝❡ ♠♦❞✉❧❡/C(①) ❈♦♥str(MC(①)) ❂ ❢❛♠✐❧② ♦❢ q✲❞✐✛✳ ♠♦❞✉❧❡s/C(①) ❝❧♦s❡❞ ✇✳r✳t✳ ❛❧❣❡❜r❛✐❝ ❝♦♥str✉❝t✐♦♥s

• ❧(▼C(①)) ♥❛t✉r❛❧❧② ❛❝ts ♦♥ ❈♦♥str(MC(①))
• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣
• ❛❧(MC(①), ηC(①)) = {ϕ ∈ ●❧ν(▼C(①)) : ϕ st❛❜✐❧✐s❡s

❡✈❡r② s✉❜✲q✲❞✐✛❡r❡♥❝❡ ♠♦❞✉❧❡ ✐♥ ❡✈❡r② ♦❜❥❡❝t ♦❢ ❈♦♥str(MC(①))}

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

❈♦♠♣❛r✐s♦♥ t❤❡♦r❡♠

❚❤❡♦r❡♠✳ ❞✐♠C(①) ●❛❧(MC(①), ηC(①)) ✐s ❡q✉❛❧ t♦ t❤❡ tr❛♥s❝❡♥❞❡♥❝❡ ❞❡❣r❡❡ ♦❢ t❤❡ P✐❝❛r❞✲❱❡ss✐♦t ❡①t❡♥s✐♦♥ ♦✈❡r t❤❡ ❛❧❣❡❜r❛✐❝ ❝❧♦s✉r❡ ♦❢ t❤❡ ✜❡❧❞ Eq ♦❢ q✲❡❧❧✐♣t✐❝ ❢✉♥❝t✐♦♥s✳ ❘▼❑ ❚❤❡ ✇❡❛❦ P✐❝❛r❞✲❱❡ss✐♦t ❡①t❡♥s✐♦♥ ♦✈❡r Eq ✐s ❛❝t✉❛❧❧② ❡♥♦✉❣❤ ✭❝❢✳ ❈❤❛t❞③✐❞❛❦✐s✲❍❛r❞♦✉✐♥✲❙✐♥❣❡r✮✳

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

Pr♦❧♦♥❣❛t✐♦♥ ❢✉♥❝t♦r

❈♦♥str ∂(MC(①)) ❂ ❢❛♠✐❧② ♦❢ q✲❞✐✛✳ ♠♦❞✉❧❡s/C(①) ❝❧♦s❡❞ ✇✳r✳t✳ ❝♦♥str✉❝t✐♦♥s ♦❢ ❞✐✛❡r❡♥t✐❛❧ ❛❧❣❡❜r❛ ✐✳❡✳ ❛❧❣❡❜r❛✐❝ ❝♦♥str✉❝t✐♦♥s ♣❧✉s t❤❡ ♣r♦❧♦♥❣❛t✐♦♥ ❢✉♥❝t♦r ❋ ❋(MC(①))❂ ❡①t❡♥s✐♦♥ ♦❢ MC(①) ❜② ✐ts❡❧❢ s✳t✳ ✐❢ ❡ ✐s ❛ ❜❛s✐s ♦❢ MC(①) ✇✐t❤ Σq❡ = ❡❆(①)✱ t❤❡♥ t❤❡r❡ ❡①✐sts ❛ ❜❛s✐s (❡, ❡′) ♦❢ ❋(MC(①)) s✉❝❤ t❤❛t Σq(❡, ❡′) = (❡, ❡′) ❆ ∂(❆) ✵ ❆

• ❧(▼C(①)) ♥❛t✉r❛❧❧② ❛❝ts ♦♥ ❈♦♥str ∂(MC(①))
• ❡♥❡r✐❝ ❞✐✛❡r❡♥t✐❛❧ ●❛❧♦✐s ❣r♦✉♣
• ❛❧∂(MC(①), ηC(①)) = {ϕ ∈ ●❧ν(▼C(①)) : ϕ st❛❜✐❧✐s❡s

❡✈❡r② s✉❜✲q✲❞✐✛❡r❡♥❝❡ ♠♦❞✉❧❡ ✐♥ ❡✈❡r② ♦❜❥❡❝t ♦❢ ❈♦♥str ∂(MC(①))}

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

❈♦♠♣❛r✐s♦♥ t❤❡♦r❡♠

❚❤❡♦r❡♠✳ ❞✐✛.❞✐♠C(①)●❛❧∂(MC(①), ηC(①)) ✐s ❡q✉❛❧ t♦ t❤❡ ❤②♣❡rtr❛♥s❝❡♥❞❡♥❝❡ ❞❡❣r❡❡ ♦❢ t❤❡ ❞✐✛❡r❡♥t✐❛❧ P✐❝❛r❞✲❱❡ss✐♦t ❡①t❡♥s✐♦♥ ♦✈❡r t❤❡ ❞✐✛❡r❡♥t✐❛❧ ❝❧♦s✉r❡ ♦❢ t❤❡ ✜❡❧❞ Eq ♦❢ q✲❡❧❧✐♣t✐❝ ❢✉♥❝t✐♦♥s✳ ❘▼❑ ❚❤❡ ✇❡❛❦ P✐❝❛r❞✲❱❡ss✐♦t ❡①t❡♥s✐♦♥ ♦✈❡r Eq ✐s ❛❝t✉❛❧❧② ❡♥♦✉❣❤✳

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

■♠♣r♦✈❡♠❡♥ts✱ ❧♦ss❡s✳

❚♦ s✉♠♠❛r✐③❡ ✿ ❲❡ ❣✐✈❡ ✉♣ t❤❡ ●❛❧♦✐s ❝♦rr❡s♣♦♥❞❡♥❝❡✳ ❲❡ ❦❡❡♣ t❤❡ ✐♥❢♦r♠❛t✐♦♥ ♦♥ t❤❡ ❛❧❣❡❜r❛✐❝ ❛♥❞ ❞✐✛❡r❡♥t✐❛❧ r❡❧❛t✐♦♥s ❜❡t✇❡❡♥ t❤❡ s♦❧✉t✐♦♥s✳ ❲❡ ❣❛✐♥ ❛ s♠❛❧❧❡r ✜❡❧❞ ♦❢ ❞❡✜♥✐t✐♦♥ ❀ t❤❡ ✐♥tr✐♥s✐❝ ❝♦♥str✉❝t✐♦♥ ♦❢ t❤❡ ❣❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣ ✿ ♥♦ ♥❡❡❞ ♦❢ P✐❝❛r❞✲❱❡ss✐♦t t❤❡♦r② ♦r ♦❢ ❝♦♥str✉❝t✐♦♥ ♦❢ s♦❧✉t✐♦♥s ❀ ❛♥ ❛r✐t❤♠❡t✐❝ ❞❡s❝r✐♣t✐♦♥ ♦❢ t❤❡ ●❛❧♦✐s ❣r♦✉♣✳

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

❘❡❞✉❝t✐♦♥ t♦ ❛ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ❡①t❡♥s✐♦♥ ♦❢ Q

MC(①) q✲❞✐✛❡r❡♥❝❡ ♠♦❞✉❧❡/C(①)✱ ✇✐t❤ q ∈ C {✵, ✶} ⇒ ∃❑ ⊂ C✱ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞/Q ❛♥❞ M❑(①) s✉❝❤ t❤❛t M❑(①) ⊗❑(①) C(①) ∼ = MC(①)

• ❛❧(M❑(①), η❑(①)) ⊗❑(①) C(①) ∼

= ●❛❧(MC(①), ηC(①))

• ❛❧∂(M❑(①), η❑(①)) ⊗❑(①) C(①) ∼

= ●❛❧∂(MC(①), ηC(①)) ❲❡ ❝❛♥ ❛❧✇❛②s ✇♦r❦ ♦♥ ❛ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ❡①t❡♥s✐♦♥ ❑ ♦❢ Q✳ ❚❤r❡❡ ❝❛s❡s ✿ q r♦♦t ♦❢ ✉♥✐t② ✭❢♦r ●❛❧(M❑(①), η❑(①)) ❝❢✳ ❍❡♥❞r✐❦s✱ ✶✾✾✻✮ q tr❛♥s❝❡♥❞❛♥t q ❛❧❣❡❜r❛✐❝ ♥♦t ❛ r♦♦t ♦❢ ✉♥✐t② ✭❢♦r ●❛❧(M❑(①), η❑(①))✱ ✇✐t❤ ❑ ♥✉♠❜❡r ✜❡❧❞ ❝❢✳ ❉❱✱ ✷✵✵✷✮

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

❘❡❞✉❝t✐♦♥ t♦ ❛ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ❡①t❡♥s✐♦♥ ♦❢ Q ▼❛✐♥ t❤❡♦r❡♠ ✿ q r♦♦t ♦❢ ✉♥✐t②

q r♦♦t ♦❢ ✉♥✐t② ♦❢ ♦r❞❡r κ ⇒ t❤❡r❡ ✐s ♦♥❧② ♦♥❡ ❝✉r✈❛t✉r❡ t♦ t❛❦❡ ✐♥t♦ ❛❝❝♦✉♥t ✿ Σκ

q

❚❤❡♦r❡♠

• ❛❧(M❑(①), η❑(①)) ✐s t❤❡ ❩❛r✐s❦✐ ❝❧♦s✉r❡ ♦❢ Σκ

q✳

• ❛❧∂(M❑(①), η❑(①)) ✐s t❤❡ ❑♦❧❝❤✐♥ ❝❧♦s✉r❡ ♦❢ Σκ

q✳

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

❘❡❞✉❝t✐♦♥ t♦ ❛ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ❡①t❡♥s✐♦♥ ♦❢ Q ▼❛✐♥ t❤❡♦r❡♠ ✿ q tr❛♥s❝❡♥❞❡♥t❛❧

∃❦ ⊂ ❑ s✉❝❤ t❤❛t ❑/❦(q) ✜♥✐t❡ ❛♥❞ ❦(q)/❦ tr❛♥s❝❡♥❞❡♥t❛❧ ❋♦r s✐♠♣❧✐❝✐t②✱ ✇❡ st❛t❡ t❤❡ t❤❡♦r❡♠ ❢♦r ❑ = ❦(q) ✿ φ✈❂ ✐rr❡❞✉❝✐❜❧❡ ❢❛❝t♦r ♦❢ ❛ ❝②❝❧♦t♦♠✐❝ ♣♦❧②♥♦♠✐❛❧ ✐♥ ❦[q] ❚❤❡♦r❡♠

• ❛❧(M❑(①), η❑(①)) ✐s t❤❡ s♠❛❧❧❡st ❛❧❣❡❜r❛✐❝ s✉❜❣r♦✉♣ ♦❢
• ❧ν(▼❑(①)) ✇❤♦s❡ r❡❞✉❝t✐♦♥ ♠♦❞✉❧♦ φ✈ ❝♦♥t❛✐♥s

Σκ✈

q : ▼A ⊗ O❑/φ✈ → ▼A ⊗ O❑/φ✈✱ ❢♦r ❛❧♠♦st ❛❧❧ ✈✳

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

❘❡❞✉❝t✐♦♥ t♦ ❛ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ❡①t❡♥s✐♦♥ ♦❢ Q ▼❛✐♥ t❤❡♦r❡♠ ✿ q tr❛♥s❝❡♥❞❡♥t❛❧

∃❦ ⊂ ❑ s✉❝❤ t❤❛t ❑/❦(q) ✜♥✐t❡ ❛♥❞ ❦(q)/❦ tr❛♥s❝❡♥❞❡♥t❛❧ ❋♦r s✐♠♣❧✐❝✐t②✱ ✇❡ st❛t❡ t❤❡ t❤❡♦r❡♠ ❢♦r ❑ = ❦(q) ✿ φ✈❂ ✐rr❡❞✉❝✐❜❧❡ ❢❛❝t♦r ♦❢ ❛ ❝②❝❧♦t♦♠✐❝ ♣♦❧②♥♦♠✐❛❧ ✐♥ ❦[q] ❚❤❡♦r❡♠

• ❛❧∂(M❑(①), η❑(①)) ✐s t❤❡ s♠❛❧❧❡st ❞✐✛❡r❡♥t✐❛❧ s✉❜❣r♦✉♣ ♦❢
• ❧ν(▼❑(①)) ✇❤♦s❡ r❡❞✉❝t✐♦♥ ♠♦❞✉❧♦ φ✈ ❝♦♥t❛✐♥s

Σκ✈

q : ▼A ⊗ O❑/φ✈ → ▼A ⊗ O❑/φ✈✱ ❢♦r ❛❧♠♦st ❛❧❧ ✈✳

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

❘❡❞✉❝t✐♦♥ t♦ ❛ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ❡①t❡♥s✐♦♥ ♦❢ Q ▼❛✐♥ t❤❡♦r❡♠ ✿ q ❛❧❣❡❜r❛✐❝✱ ♥♦t ❛ r♦♦t ♦❢ ✉♥✐t②

q ❛❧❣❡❜r❛✐❝✱ ♥♦t ❛ r♦♦t ♦❢ ✉♥✐t② ◗❂ ❛❧❣❡❜r❛✐❝ ❝❧♦s✉r❡ ♦❢ Q ✐♥ ❑✱ ✇✐t❤ r✐♥❣ ♦❢ ✐♥t❡❣❡rs O◗ ❋♦r s✐♠♣❧✐❝✐t② ✇❡ t❛❦❡ Q = ◗ κ♣❂ ♦r❞❡r ❛s ❛ r♦♦t ♦❢ ✉♥✐t② ♦❢ q ♠♦❞ ♣ ♣ℓ♣❂ ✐♥t❡❣❡r ♣♦✇❡r ♦❢ ♣ s✳t✳ ♣−ℓ♣(✶ − qκ♣) ∈ Z×

♣

❚❤❡♦r❡♠

• ❛❧(M❑(①), η❑(①)) ✐s t❤❡ s♠❛❧❧❡st ❛❧❣❡❜r❛✐❝ s✉❜❣r♦✉♣ ♦❢
• ❧ν(▼❑(①)) ✇❤♦s❡ r❡❞✉❝t✐♦♥ ♠♦❞✉❧♦ ♣ℓ♣ ❝♦♥t❛✐♥s

Σκ♣

q : ▼A ⊗ OQ/♣ℓ♣ → ▼A ⊗ OQ/♣ℓ♣ ❢♦r ❛❧♠♦st ❛❧❧ ♣❧❛❝❡s ♣✳

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

❘❡❞✉❝t✐♦♥ t♦ ❛ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ❡①t❡♥s✐♦♥ ♦❢ Q ▼❛✐♥ t❤❡♦r❡♠ ✿ q ❛❧❣❡❜r❛✐❝✱ ♥♦t ❛ r♦♦t ♦❢ ✉♥✐t②

q ❛❧❣❡❜r❛✐❝✱ ♥♦t ❛ r♦♦t ♦❢ ✉♥✐t② ◗❂ ❛❧❣❡❜r❛✐❝ ❝❧♦s✉r❡ ♦❢ Q ✐♥ ❑✱ ✇✐t❤ r✐♥❣ ♦❢ ✐♥t❡❣❡rs O◗ ❋♦r s✐♠♣❧✐❝✐t② ✇❡ t❛❦❡ Q = ◗ κ♣❂ ♦r❞❡r ❛s ❛ r♦♦t ♦❢ ✉♥✐t② ♦❢ q ♠♦❞ ♣ ♣ℓ♣❂ ✐♥t❡❣❡r ♣♦✇❡r ♦❢ ♣ s✳t✳ ♣−ℓ♣(✶ − qκ♣) ∈ Z×

♣

❚❤❡♦r❡♠

• ❛❧∂(M❑(①), η❑(①)) ✐s t❤❡ s♠❛❧❧❡st ❞✐✛❡r❡♥t✐❛❧ s✉❜❣r♦✉♣ ♦❢
• ❧ν(▼❑(①)) ✇❤♦s❡ r❡❞✉❝t✐♦♥ ♠♦❞✉❧♦ ♣ℓ♣ ❝♦♥t❛✐♥s

Σκ♣

q : ▼A ⊗ OQ/♣ℓ♣ → ▼A ⊗ OQ/♣ℓ♣ ❢♦r ❛❧♠♦st ❛❧❧ ♣❧❛❝❡s ♣✳

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

❘❡❞✉❝t✐♦♥ t♦ ❛ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ❡①t❡♥s✐♦♥ ♦❢ Q ▼❛✐♥ t❤❡♦r❡♠ ✿ q ❛❧❣❡❜r❛✐❝✱ ♥♦t ❛ r♦♦t ♦❢ ✉♥✐t②

❈♦r♦❧❧❛r②

• ❛❧(MC(①), ηC(①)) ❛♥❞ ●❛❧∂(MC(①), ηC(①)) ❝❛♥ ❛❧✇❛②s ❜❡

❝❤❛r❛❝t❡r✐③❡❞ ❜② ❝✉r✈❛t✉r❡ ♠❡❛♥s✳

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s

❘❡❞✉❝t✐♦♥ t♦ ❛ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞ ❡①t❡♥s✐♦♥ ♦❢ Q ▼❛✐♥ t❤❡♦r❡♠ ✿ q ❛❧❣❡❜r❛✐❝✱ ♥♦t ❛ r♦♦t ♦❢ ✉♥✐t②

❚♦ ❦❡❡♣ ✐♥ ♠✐♥❞ ❢♦r t❤❡ ❛♣♣❧✐❝❛t✐♦♥s ✿

❨ (q①) = ❆(①)❨ (①)✱ ✇✐t❤ ❆(①) ∈ ●❧ν(C(①)) ❨ (q❦①) = ❆❦(①)❨ (①)✱ ❦ ∈ Z✱ ✇❤❡r❡ ❆❦(①) = ❆(q❦−✶①) · · · ❆(q①)❆(①) , ❦ > ✵ , ❆✵ = ✐❞ , ❆−❦(①) = ❆❦(q−❦①)−✶ , ❦ > ✵ . ❚❤❡ ❣❡♥❡r✐❝ ✭❞✐✛❡r❡♥t✐❛❧✮ ●❛❧♦✐s ❣r♦✉♣ ♦❢ (C(①)ν, ❳ → ❆(①)−✶σq(❳)) ✐s t❤❡ s♠❛❧❧❡st ❛❧❣❡❜r❛✐❝ ✭❞✐✛❡r❡♥t✐❛❧✮

• ❛❧♦✐s ❣r♦✉♣ ❝♦♥t❛✐♥✐♥❣

✐❢ q ✐s tr❛♥s❝❡♥❞❡♥t✱ t❤❡ s♣❡❝✐❛❧✐③❛t✐♦♥ ♦❢ ❆κξ(①) ❛t q = ξ✱ ❢♦r ❛❧♠♦st ❛❧❧ ♣r✐♠✐t✐✈❡ r♦♦t ♦❢ ✉♥✐t② ξ ✐♥ ❛♥ ❛❧❣❡❜r❛✐❝ ❝❧♦s✉r❡ ♦❢ ❑✱ ♦❢ ♦r❞❡r κξ✳ ✐❢ q ✐s ❛❧❣❡❜r❛✐❝✱ t❤❡ r❡❞✉❝t✐♦♥ ♦❢ ❆κ♣(①) ♠♦❞✉❧♦ ♣ℓ♣ ❢♦r ❛❧♠♦st ❛❧❧ ♣r✐♠❡s ♣✳

• ❡♥❡r✐❝ ●❛❧♦✐s ❣r♦✉♣s ❢♦r q✲❞✐✛❡r❡♥❝❡ ❡q✉❛t✐♦♥s