Rosatiho involuce - Rosati involution
v matematika , a Rosatiho involuce , pojmenoval podle Carlo Rosati , je involuce racionálního endomorfismus prsten z abelianská odrůda indukované polarizací.
Nechat A { displaystyle A} být abelianská odrůda , nechť A ^ = P i C 0 ( A ) { displaystyle { hat {A}} = mathrm {Pic} ^ {0} (A)} být dvojitá abelianská odrůda , a pro A ∈ A { displaystyle a v A} , nechť T A : A → A { displaystyle T_ {a}: od A do A} být překladem podle A { displaystyle a} mapa, T A ( X ) = X + A { displaystyle T_ {a} (x) = x + a} . Pak každý dělitel D { displaystyle D} na A { displaystyle A} definuje mapu ϕ D : A → A ^ { displaystyle phi _ {D}: A to { hat {A}}} přes ϕ D ( A ) = [ T A ∗ D − D ] { displaystyle phi _ {D} (a) = [T_ {a} ^ {*} D-D]} . Mapa ϕ D { displaystyle phi _ {D}} je polarizace, tj. má konečné jádro, právě když D { displaystyle D} je dostatek . Rosatiho involuce E n d ( A ) ⊗ Q { displaystyle mathrm {End} (A) otimes mathbb {Q}} vzhledem k polarizaci ϕ D { displaystyle phi _ {D}} pošle mapu ψ ∈ E n d ( A ) ⊗ Q { displaystyle psi in mathrm {End} (A) otimes mathbb {Q}} na mapu ψ ′ = ϕ D − 1 ∘ ψ ^ ∘ ϕ D { displaystyle psi '= phi _ {D} ^ {- 1} circ { hat { psi}} circ phi _ {D}} , kde ψ ^ : A ^ → A ^ { displaystyle { hat { psi}}: { hat {A}} do { hat {A}}} je duální mapa vyvolaná akcí ψ ∗ { displaystyle psi ^ {*}} na P i C ( A ) { displaystyle mathrm {obrázek} (A)} .
Nechat N S ( A ) { displaystyle mathrm {NS} (A)} označit Skupina Néron – Severi z A { displaystyle A} . Polarizace ϕ D { displaystyle phi _ {D}} také vyvolává zařazení Φ : N S ( A ) ⊗ Q → E n d ( A ) ⊗ Q { displaystyle Phi: mathrm {NS} (A) otimes mathbb {Q} to mathrm {End} (A) otimes mathbb {Q}} přes Φ E = ϕ D − 1 ∘ ϕ E { displaystyle Phi _ {E} = phi _ {D} ^ {- 1} circ phi _ {E}} . Obrázek uživatele Φ { displaystyle Phi} je rovný { ψ ∈ E n d ( A ) ⊗ Q : ψ ′ = ψ } { displaystyle { psi in mathrm {End} (A) otimes mathbb {Q}: psi '= psi }} , tj. soubor endomorfismů fixovaných Rosatiho involucí. Operace E ⋆ F = 1 2 Φ − 1 ( Φ E ∘ Φ F + Φ F ∘ Φ E ) { displaystyle E star F = { frac {1} {2}} Phi ^ {- 1} ( Phi _ {E} circ Phi _ {F} + Phi _ {F} circ Phi _ {E})} pak dává N S ( A ) ⊗ Q { displaystyle mathrm {NS} (A) otimes mathbb {Q}} struktura formálně reálného Jordan algebra .
Reference Mumford, David (2008) [1970], Abelianské odrůdy , Tata Institute of Fundamental Research Studies in Mathematics, 5 „Providence, R.I .: Americká matematická společnost , ISBN 978-81-85931-86-9 , PAN 0282985 , OCLC 138290 Rosati, Carlo (1918), „Sulle corrispondenze algebriche fra i punti di due curve algebriche.“ , Annali di Matematica Pura ed Applicata (v italštině), 3 (28): 35–60, doi :10.1007 / BF02419717