➜➵✐ ❤ä❝ ❤✉Õ
❚r➢ê♥❣ ➤➵✐ ❤ä❝ s➢ ♣❤➵♠
♣❤➵♠ t❤Þ ❝ó❝
❍Ö ♥❤➞♥ tö
tr♦♥❣ ♥❤ã♠ ♣❤➵♠ trï ♣❤➞♥ ❜❐❝
❈❤✉②➟♥ ♥❣➭♥❤✿
➜➵✐ sè ✈➭ ▲ý t❤✉②Õt sè
▼➲ sè✿
✻✷✳ ✹✻✳ ✵✺✳ ✵✶
❧✉❐♥ ➳♥ t✐Õ♥ sÜ t♦➳♥ ❤ä❝
❍✉Õ ✲ ✷✵✶✹
▲✉❐♥ ➳♥ ➤➢î❝ ❤♦➭♥ t❤➭♥❤ t➵✐✿
❚r➢ê♥❣ ➜➵✐ ❤ä❝ s➢ ♣❤➵♠✱ ➜➵✐ ❤ä❝ ❍✉Õ
◆❣➢ê✐ ❤➢í♥❣ ❞➱♥ ❦❤♦❛ ❤ä❝✿
✶✳ P●❙✳ ❚❙✳ ◆❣✉②Ô♥ ❚✐Õ♥ ◗✉❛♥❣
✷✳ ●❙✳ ❚❙✳ ▲➟ ❱➝♥ ❚❤✉②Õt
P❤➯♥ ❜✐Ö♥ ✶✿
P❤➯♥ ❜✐Ö♥ ✷✿
P❤➯♥ ❜✐Ö♥ ✸✿
▲✉❐♥ ➳♥ sÏ ➤➢î❝ ❜➯♦ ✈Ö t➵✐ ❍é✐ ➤å♥❣ ❝❤✃♠ ❧✉❐♥ ➳♥ ❝✃♣ ➜➵✐ ❤ä❝ ❍✉Õ ❤ä♣ t➵✐✿
❱➭♦ ❤å✐ ✳✳✳ ❣✐ê ✳✳✳ ♥❣➭② ✳✳✳ t❤➳♥❣ ✳✳✳ ♥➝♠ ✷✵✶✹
❈ã t❤Ó t×♠ ❤✐Ó✉ ❧✉❐♥ ➳♥ t➵✐✿
✲ ❚r✉♥❣ t➞♠ ❤ä❝ ❧✐Ö✉ ✲ ➜➵✐ ❤ä❝ ❍✉Õ
✲ ❚❤➢ ✈✐Ö♥ ❚r➢ê♥❣ ➜➵✐ ❤ä❝ s➢ ♣❤➵♠ ✲ ➜➵✐ ❤ä❝ ❍✉Õ
▼ë ➤➬✉
❙❛✉ ❦❤✐ ❦❤➳✐ ♥✐Ö♠
♣❤➵♠ trï ♠♦♥♦✐❞❛❧
✭❤❛②
♣❤➵♠ trï t❡♥①➡
✮ ➤➢î❝ ➤Ò ①✉✃t
❜ë✐ ❏✳ ❇Ð♥❛❜♦✉✱ ❙✳ ▼❛❝ ▲❛♥❡✱ ●✳ ▼✳ ❑❡❧❧②✱ ✳✳✳ ✈➭♦ ➤➬✉ ♥❤÷♥❣ ♥➝♠ ✻✵ ❝ñ❛ t❤Õ
❦û tr➢í❝✱ ♥ã ➤➲ ➤➢î❝ ♥❤✐Ò✉ ♥❣➢ê✐ q✉❛♥ t➞♠ ♥❣❤✐➟♥ ❝ø✉ ✈➭ ♣❤➳t tr✐Ó♥ ❦❤➳ ♥❤❛♥❤✳
P❤➵♠ trï ♠♦♥♦✐❞❛❧ ➤➢î❝ ✧♠Þ♥ ❤ã❛✧ ➤Ó trë t❤➭♥❤
♣❤➵♠ trï ✈í✐ ❝✃✉ tró❝ ♥❤ã♠
❦❤✐ ❜æ s✉♥❣ t❤➟♠ ❦❤➳✐ ♥✐Ö♠
✈❐t ❦❤➯ ♥❣❤Þ❝❤
✳ ❚r♦♥❣ tr➢ê♥❣ ❤î♣ ♣❤➵♠ trï ♥Ò♥
❧➭ ♠ét
❣r♦✉♣♦✐❞
✭♥❣❤Ü❛ ❧➭ ♠ä✐ ♠ò✐ t➟♥ tr♦♥❣ ♣❤➵♠ trï ➤Ò✉ ❧➭ ➤➻♥❣ ❝✃✉✮ t❤× t❛
t❤✉ ➤➢î❝ ❦❤➳✐ ♥✐Ö♠
♥❤ã♠ ♣❤➵♠ trï
✳ ❚r♦♥❣ tr➢ê♥❣ ❤î♣ ♥❤ã♠ ♣❤➵♠ trï ❝ã t❤➟♠
r➭♥❣ ❜✉é❝ ❣✐❛♦ ❤♦➳♥ t❤× t❛ t❤✉ ➤➢î❝ ❦❤➳✐ ♥✐Ö♠
♥❤ã♠ ♣❤➵♠ trï ➤è✐ ①ø♥❣
✭❤❛②
♣❤➵♠ trï P✐❝❛r❞
✳
◆❤÷♥❣ t➳❝ ❣✐➯ ➤➬✉ t✐➟♥ ♥❣❤✐➟♥ ❝ø✉ ✈Ò ♥❤ã♠ ♣❤➵♠ trï ♠➭ t❛ ❝ã t❤Ó ❦Ó ➤Õ♥
❧➭ ◆✳ ❙❛❛✈❡❞r❛ ❘✐✈❛♥♦✱ ❍✳ ❳✳ ❙Ý♥❤✱ ▼✳ ▲✳ ▲❛♣❧❛③❛✱ ✳✳✳ ❚r♦♥❣ ❧✉❐♥ ➳♥ ❝ñ❛ ♠×♥❤
♥➝♠ ✶✾✼✺✱ ❍✳ ❳✳ ❙Ý♥❤ ➤➲ ♠➠ t➯ ❝✃✉ tró❝ ❝ñ❛ ♥❤ã♠ ♣❤➵♠ trï ✈➭ ♣❤➵♠ trï P✐❝❛r❞
✈➭ ♣❤➞♥ ❧í♣ ❝❤ó♥❣ ❜ë✐ ♥❤ã♠ ➤è✐ ➤å♥❣ ➤✐Ò✉ ❝❤✐Ò✉ ✸ ❝ñ❛ ❝➳❝ ♥❤ã♠✳ ❑Õt q✉➯ ♥➭②
➤➲ ❝❤♦ ♣❤Ð♣ ①➳❝ ❧❐♣ ♠è✐ ❧✐➟♥ ❤Ö ❣✐÷❛ ❧ý t❤✉②Õt ♥❤ã♠ ♣❤➵♠ trï✱ ➤è✐ ➤å♥❣ ➤✐Ò✉
♥❤ã♠ ✈➭ ❜➭✐ t♦➳♥ ♠ë ré♥❣ ♥❤ã♠ ❝æ ➤✐Ó♥ ❝ñ❛ ❙❝❤r❡✐❡r ✲ ❊✐❧❡♥❜❡r❣ ✲ ▼❛❝ ▲❛♥❡✳
❙❛✉ ➤ã✱ ❧ý t❤✉②Õt ♥❤ã♠ ♣❤➵♠ trï ✈í✐ tÝ♥❤ ❦❤➳✐ q✉➳t ❝ñ❛ ♥ã ♥❣➭② ❝➭♥❣ ❝ã ♥❤✐Ò✉
ø♥❣ ❞ô♥❣✳
❈➳❝ ♥❤ã♠ ♣❤➵♠ trï
Γ
✲♣❤➞♥ ❜❐❝ ➤➢î❝ ❣✐í✐ t❤✐Ö✉ ❧➬♥ ➤➬✉ t✐➟♥ ❜ë✐ ❆✳ ❋r♦❤❧✐❝❤
✈➭ ❈✳ ❚✳ ❈✳ ❲❛❧❧ ✭✶✾✼✹✮✳ ❱➭♦ ♥➝♠ ✷✵✵✷✱ ❆✳ ▼✳ ❈❡❣❛rr❛ ✈➭ ❝➳❝ ❝é♥❣ sù ➤➲ ❝❤ø♥❣
♠✐♥❤ ➤Þ♥❤ ❧ý ♣❤➞♥ ❧í♣ ❝❤Ý♥❤ ①➳❝ ❝❤♦ ♣❤➵♠ trï ❝➳❝ ♥❤ã♠ ♣❤➵♠ trï ♣❤➞♥ ❜❐❝ ✈➭
❝➳❝ ❤➭♠ tö ♠♦♥♦✐❞❛❧ ♣❤➞♥ ❜❐❝ ❜ë✐ ♥❤ã♠ ➤è✐ ➤å♥❣ ➤✐Ò✉ ➤➻♥❣ ❜✐Õ♥ ❝❤✐Ò✉ t❤ø ✸✳
❙❛✉ ➤ã✱ ❝➳❝ ❦Õt q✉➯ ♥➭② ➤➲ ➤➢î❝ ➳♣ ❞ô♥❣ ➤Ó ➤➢❛ r❛ ❧ê✐ ❣✐➯✐ t❤Ý❝❤ ❤î♣ ❝❤♦ ❜➭✐
t♦➳♥ ♠ë ré♥❣ ➤➻♥❣ ❜✐Õ♥ ❝ñ❛ ♥❤ã♠ ✈í✐ ❤➵t ♥❤➞♥ ❦❤➠♥❣ ❛❜❡♥✳
◆❤ã♠ ♣❤➵♠ trï
❜Ö♥
➤➢î❝ ①Ðt tí✐ ❧➬♥ ➤➬✉ ❜ë✐ ❆✳ ❏♦②❛❧ ✈➭ ❘✳ ❙tr❡❡t ✭✶✾✾✸✮
♥❤➢ ♠ét ♠ë ré♥❣ ❝ñ❛ ♣❤➵♠ trï P✐❝❛r❞✱ tr♦♥❣ ➤ã ❝➳❝ ♥❤ã♠ ♣❤➵♠ trï ❜Ö♥ ➤➲
➤➢î❝ ♣❤➞♥ ❧í♣ ❜ë✐ ♥❤ã♠ ➤è✐ ➤å♥❣ ➤✐Ò✉ ❛❜❡♥
H3
ab(M, N)
✳ ❇➭✐ t♦➳♥ ♣❤➞♥ ❧í♣
➤å♥❣ ❧✉➞♥ ❝❤♦ ♣❤➵♠ trï ❝➳❝ ♥❤ã♠ ♣❤➵♠ trï ❜Ö♥ ♣❤➞♥ ❜❐❝✱ ✈➭ tr➢ê♥❣ ❤î♣ r✐➟♥❣
❝ñ❛ ♥ã ❧➭ ♣❤➵♠ trï ❝➳❝ ♣❤➵♠ trï P✐❝❛r❞ ♣❤➞♥ ❜❐❝ ➤➲ ➤➢î❝ ❆✳ ▼✳ ❈❡❣❛rr❛ ✈➭ ❊✳
❑❤♠❛❧❛❞③❡ ❣✐➯✐ q✉②Õt ✈➭♦ ♥➝♠ ✷✵✵✼✳
❱➭♦ ♥➝♠ ✷✵✶✵✱ ◆✳ ❚✳ ◗✉❛♥❣ ➤➲ ❣✐í✐ t❤✐Ö✉ ♠ét ❝➳❝❤ t✐Õ♣ ❝❐♥ ❦❤➳❝ ❝❤♦ ❜➭✐
t♦➳♥ ♣❤➞♥ ❧í♣ ♣❤➵♠ trï ❝➳❝ ♥❤ã♠ ♣❤➵♠ trï
Γ
✲♣❤➞♥ ❜❐❝ ❞ù❛ tr➟♥ ♣❤➢➡♥❣ ♣❤➳♣
✶
❤Ö ♥❤➞♥ tö
✭❤❛②
❣✐➯ ❤➭♠ tö
t❤❡♦ ♥❣❤Ü❛ ❝ñ❛ ❆✳ ●r♦t❤❡♥❞✐❡❝❦✮✳ P❤➢➡♥❣ ♣❤➳♣ ♥➭②
❝ã ♥❤✐Ò✉ tr✐Ó♥ ✈ä♥❣ tr♦♥❣ ✈✐Ö❝ ➳♣ ❞ô♥❣ ❝❤♦ ♣❤➵♠ trï ❝➳❝ ♥❤ã♠ ♣❤➵♠ trï ❜Ö♥
Γ
✲♣❤➞♥ ❜❐❝✳
◆Õ✉ ♥❤➢ ♥❤ã♠ ♣❤➵♠ trï ➤➢î❝ ①❡♠ ♥❤➢ ❧➭ ♠ét ♣❤✐➟♥ ❜➯♥ ♣❤➵♠ trï ❝ñ❛ ❝✃✉
tró❝ ♥❤ã♠ t❤× ✈➭♦ ♥➝♠ ✶✾✽✽ ◆✳ ❚✳ ◗✉❛♥❣ ➤➲ ➤➢❛ r❛ ❦❤➳✐ ♥✐Ö♠
❆♥♥✲♣❤➵♠ trï
✱
①❡♠ ♥❤➢ ♠ét ♣❤➵♠ trï ❤ã❛ ❝ñ❛ ❦❤➳✐ ♥✐Ö♠ ✈➭♥❤✱ ✈í✐ ♥❤÷♥❣ ➤ß✐ ❤á✐ ✈Ò tÝ♥❤ ❦❤➯
♥❣❤Þ❝❤ ❝ñ❛ ❝➳❝ ✈❐t ✈➭ ❝ñ❛ ❝➳❝ ♠ò✐ t➟♥ tr♦♥❣ ♣❤➵♠ trï ♥Ò♥✳ ➜➷❝ ❜✐Öt✱ ❧í♣ ❝➳❝
❆♥♥✲♣❤➵♠ trï ❝❤Ý♥❤ q✉② ✭r➭♥❣ ❜✉é❝ ➤è✐ ①ø♥❣ t❤á❛ ♠➲♥ ➤✐Ò✉ ❦✐Ö♥
cX,X =id
➤è✐ ✈í✐ ♠ä✐ ✈❐t
X
✮ ➤➲ ➤➢î❝ ◆✳ ❚✳ ◗✉❛♥❣ ♣❤➞♥ ❧í♣ ❜ë✐ ♥❤ã♠ ➤è✐ ➤å♥❣ ➤✐Ò✉ ❝ñ❛
➤➵✐ sè ❦Õt ❤î♣
H3
Shu(R, M)
t❤❡♦ ♥❣❤Ü❛ ❝ñ❛ ❙❤✉❦❧❛✳ ❙❛✉ ➤ã✱ ❜➭✐ t♦➳♥ ♣❤➞♥ ❧í♣
❝➳❝ ❆♥♥✲❤➭♠ tö ➤➲ ➤➢î❝ ◆✳ ❚✳ ◗✉❛♥❣ ✈➭ ❉✳ ❉✳ ❍❛♥❤ ✭✷✵✵✾✮ ❣✐➯✐ q✉②Õt ♥❤ê ❝➳❝
♥❤ã♠ ➤è✐ ➤å♥❣ ➤✐Ò✉ ❝❤✐Ò✉ t❤✃♣ ❝ñ❛ ➤è✐ ➤å♥❣ ➤✐Ò✉ ✈➭♥❤ ▼❛❝ ▲❛♥❡✱ ✈➭ ❝❤Ø r❛
♠è✐ ❧✐➟♥ ❤Ö ❣✐÷❛ ❜➭✐ t♦➳♥ ♠ë ré♥❣ ✈➭♥❤ ✈➭ ❧ý t❤✉②Õt ❝➯♥ trë ❝ñ❛ ❝➳❝ ❆♥♥✲❤➭♠
tö✳ ●➬♥ ➤➞② ♥❤✃t ✭✷✵✶✸✮✱ ❜➭✐ t♦➳♥ ♣❤➞♥ ❧í♣ ❝➳❝ ❆♥♥✲♣❤➵♠ trï tr♦♥❣ tr➢ê♥❣ ❤î♣
tæ♥❣ q✉➳t ➤➲ ➤➢î❝ ◆✳ ❚✳ ◗✉❛♥❣ ❣✐➯✐ q✉②Õt trä♥ ✈Ñ♥✳
▼➠➤✉♥ ❝❤Ð♦ ❝ñ❛ ❝➳❝ ♥❤ã♠ ➤➢î❝ ❏✳ ❍✳ ❈✳ ❲❤✐t❡❤❡❛❞ ➤➢❛ r❛ ✈➭♦ ♥➝♠ ✶✾✹✾
tr♦♥❣ ❝➠♥❣ tr×♥❤ ♥❣❤✐➟♥ ❝ø✉ ❝ñ❛ ➠♥❣ ✈Ò ❜✐Ó✉ ❞✐Ô♥ ✷✲❞➵♥❣ ➤å♥❣ ❧✉➞♥ ♠➭ ❦❤➠♥❣
❝ã sù trî ❣✐ó♣ ❝ñ❛ ❧ý t❤✉②Õt ♣❤➵♠ trï✳ ❱➭♦ ♥➝♠ ✶✾✼✻✱ ❘✳ ❇r♦✇♥ ✈➭ ❈✳ ❙♣❡♥❝❡r
➤➲ ❝❤Ø r❛ r➺♥❣ ♠ç✐ ♠➠➤✉♥ ❝❤Ð♦ ➤Ò✉ ①➳❝ ➤Þ♥❤ ♠ét
G
✲❣r♦✉♣♦✐❞ ✭♥❣❤Ü❛ ❧➭✱ ♠ét
♥❤ã♠ ♣❤➵♠ trï ❝❤➷t ❝❤Ï✮ ✈➭ ♥❣➢î❝ ❧➵✐✱ ❞♦ ➤ã ♠➠➤✉♥ ❝❤Ð♦ ❝ã t❤Ó ➤➢î❝ ♥❣❤✐➟♥
❝ø✉ ❜ë✐ ❧ý t❤✉②Õt ♣❤➵♠ trï✳ ❑Õt q✉➯ ♥➭② ❝❤♦ ♣❤Ð♣ ①➳❝ ❧❐♣ ♠è✐ ❧✐➟♥ ❤Ö ❣✐÷❛ ❧ý
t❤✉②Õt ♥❤ã♠ ♣❤➵♠ trï ✈í✐ ♠➠➤✉♥ ❝❤Ð♦✱ ♠ét ❦❤➳✐ ♥✐Ö♠ ❝➡ ❜➯♥ ✈➭ ❝ã ♥❣✉å♥ ❣è❝
tõ t➠♣➠ ➤➵✐ sè✳
❇➭✐ t♦➳♥ ♠ë ré♥❣ ♥❤ã♠ ❦✐Ó✉ ♠➠➤✉♥ ❝❤Ð♦✱ ♠ét ❞➵♥❣ ❦❤➳✐ q✉➳t ❝ñ❛ ❜➭✐ t♦➳♥
♠ë ré♥❣ ♥❤ã♠ ❝æ ➤✐Ó♥✱ ➤➢î❝ P✳ ❉❡❞❡❦❡r ❣✐í✐ t❤✐Ö✉ ♥➝♠ ✶✾✻✹ ➤➲ ➤➢î❝ ❘✳ ❇r♦✇♥
✈➭ ❖✳ ▼✉❝✉❦ ❣✐➯✐ q✉②Õt ✭✶✾✾✹✮✱ tr♦♥❣ ➤ã ❝➳❝ t➳❝ ❣✐➯ ➤➲ ❣✐➯✐ t❤Ý❝❤ ✈➭ ❝❤ø♥❣ ♠✐♥❤
➤Þ♥❤ ❧ý ✈Ò sù tå♥ t➵✐ ✈➭ ♣❤➞♥ ❧í♣ ❝➳❝ ♠ë ré♥❣ ❧♦➵✐ ♥➭② ❜➺♥❣ ❝➳❝❤ sö ❞ô♥❣ ♣❤➢➡♥❣
♣❤➳♣ ♣❤ø❝ ❝❤Ð♦✱ t➢➡♥❣ tù ♥❤➢ ♣❤➢➡♥❣ ♣❤➳♣ ♣❤ø❝ ①Ý❝❤ tr♦♥❣ ➤➵✐ sè ➤å♥❣ ➤✐Ò✉✳
▼ét ❞➵♥❣ ❦❤➳✐ q✉➳t ❦❤➳❝ ❝ñ❛ ❜➭✐ t♦➳♥ ♠ë ré♥❣ ♥❤ã♠ ❝æ ➤✐Ó♥ ❧➭ ❜➭✐ t♦➳♥ ♠ë
ré♥❣ ♥❤ã♠ ➤➻♥❣ ❜✐Õ♥ ➤➲ ➤➢î❝ ❆✳ ▼✳ ❈❡❣❛rr❛ ✈➭ ❝➳❝ ➤å♥❣ t➳❝ ❣✐➯ ❣✐➯✐ q✉②Õt ❝ã
sö ❞ô♥❣ ❦Õt q✉➯ ❝ñ❛ ❧ý t❤✉②Õt ♥❤ã♠ ♣❤➵♠ trï ♣❤➞♥ ❜❐❝✳
❑❤➳✐ ♥✐Ö♠ ♠➠➤✉♥ ❝❤Ð♦ ❝ñ❛ ❝➳❝ ♥❤ã♠ ❝ñ❛ ❏✳ ❍✳ ❈✳ ❲❤✐t❡❤❡❛❞ ✭✶✾✹✾✮ ❝ò♥❣
➤➲ ➤➢î❝ tæ♥❣ q✉➳t ❤ã❛ t❤❡♦ ♥❤✐Ò✉ ❝➳❝❤ ❦❤➳❝ ♥❤❛✉✳ ❱➭♦ ♥➝♠ ✷✵✵✷✱ ❍✳ ✲❏✳ ❇❛✉❡s
➤➲ ❣✐í✐ t❤✐Ö✉ ❦❤➳✐ ♥✐Ö♠ ♠➠➤✉♥ ❝❤Ð♦ tr➟♥ ❝➳❝
k
✲➤➵✐ sè ✭
k
❧➭ tr➢ê♥❣✮✳ ❙❛✉ ➤ã✱
✷
❍✳ ✲❏✳ ❇❛✉❡s ✈➭ ❚✳ P✐r❛s❤✈✐❧✐ ✭✷✵✵✹✮ ➤➲ t❤❛② t❤Õ tr➢ê♥❣
k
❜ë✐ ✈➭♥❤ ❣✐❛♦ ❤♦➳♥
K
✈➭ ❣ä✐ ❝➳❝ ♠➠➤✉♥ ❝❤Ð♦ tr➟♥ ❝➳❝
K
✲➤➵✐ sè ❧➭
s♦♥❣ ♠➠➤✉♥ ❝❤Ð♦
✳ ➜➷❝ ❜✐Öt✱ ✈í✐
K=Z
t❤× t❤✉ ➤➢î❝ ❦❤➳✐ ♥✐Ö♠
s♦♥❣ ♠➠➤✉♥ ❝❤Ð♦ tr➟♥ ❝➳❝ ✈➭♥❤
✳
❑❤➳✐ ♥✐Ö♠ ♠➠➤✉♥ ❝❤Ð♦ tr➟♥ ❝➳❝ ♥❤ã♠ ❝ã t❤Ó ➤➢î❝ ①➳❝ ➤Þ♥❤ tr➟♥ ✈➭♥❤ t❤❡♦
♠ét ❝➳❝❤ ❦❤➳❝✱ ♠➭ ❝❤ó♥❣ t➠✐ ❣ä✐ ❧➭
❊✲❤Ö
✳ ❚r➢ê♥❣ ❤î♣ ➤➷❝ ❜✐Öt ❝ñ❛ ❊✲❤Ö✱ ❊✲❤Ö
❝❤Ý♥❤ q✉②✱ trï♥❣ ✈í✐ ❦❤➳✐ ♥✐Ö♠ s♦♥❣ ♠➠➤✉♥ ❝❤Ð♦ tr➟♥ ✈➭♥❤✱ ✈➭ ❞♦ ➤ã ❦❤➳✐ ♥✐Ö♠
❊✲❤Ö ❧➭ ②Õ✉ ❤➡♥ ❦❤➳✐ ♥✐Ö♠ s♦♥❣ ♠➠➤✉♥ ❝❤Ð♦ tr➟♥ ✈➭♥❤✳ ❚➢➡♥❣ tù ♥❤➢ ♠➠➤✉♥
❝❤Ð♦ tr➟♥ ❝➳❝ ♥❤ã♠✱ ❝❤ó♥❣ t➠✐ ❜✐Ó✉ ❞✐Ô♥ ❝➳❝ ❊✲❤Ö ❝❤Ý♥❤ q✉② t❤➠♥❣ q✉❛ ❝➳❝
❆♥♥✲♣❤➵♠ trï ❝❤➷t ❝❤Ï✱ ✈➭ tõ ➤ã ♣❤➞♥ ❧í♣ ♣❤➵♠ trï ❝➳❝ ❊✲❤Ö ❝❤Ý♥❤ q✉②✳ ➜å♥❣
t❤ê✐✱ ❝❤ó♥❣ t➠✐ ➤➢❛ r❛ ✈➭ ❣✐➯✐ q✉②Õt ❜➭✐ t♦➳♥ ♠ë ré♥❣ ✈➭♥❤ ❦✐Ó✉ ❊✲❤Ö ❝❤Ý♥❤
q✉②✱ ①❡♠ ♥❤➢ ❧➭ ♠ét ø♥❣ ❞ô♥❣ ❝ñ❛ ❦❤➳✐ ♥✐Ö♠ ❊✲❤Ö ❝ò♥❣ ♥❤➢ ❝ñ❛ ❧ý t❤✉②Õt
❆♥♥✲♣❤➵♠ trï✳
▼ét ♣❤✐➟♥ ❜➯♥ ❦❤➳❝ ❝ñ❛ ❦❤➳✐ ♥✐Ö♠ ♠➠➤✉♥ ❝❤Ð♦ tr➟♥ ❝➳❝ ♥❤ã♠ ❧➭ ❦❤➳✐ ♥✐Ö♠
♠➠➤✉♥ ❝❤Ð♦
Γ
✲➤➻♥❣ ❜✐Õ♥ ✭❤❛②
Γ
✲♠➠➤✉♥ ❝❤Ð♦✮✳ ❑❤➳✐ ♥✐Ö♠ ♥➭② ➤➲ ➤➢î❝ ❇✳
◆♦♦❤✐ ➤➢❛ r❛ ✈➭♦ ♥➝♠ ✷✵✶✶ ❦❤✐ s♦ s➳♥❤ ❝➳❝ ♣❤➢➡♥❣ ♣❤➳♣ ❦❤➳❝ ♥❤❛✉ ➤Ó ➤Þ♥❤
♥❣❤Ü❛ ➤è✐ ➤å♥❣ ➤✐Ò✉ ♥❤ã♠ ✈í✐ ❝➳❝ ❤Ö tö tr♦♥❣ ♠ét ♠➠➤✉♥ ❝❤Ð♦✳ ❱í✐ ❦❤➳✐ ♥✐Ö♠
♥➭②✱ ❝❤ó♥❣ t➠✐ ❣✐í✐ t❤✐Ö✉ ❦❤➳✐ ♥✐Ö♠ ♥❤ã♠ ♣❤➵♠ trï ♣❤➞♥ ❜❐❝ ❝❤➷t ❝❤Ï ➤Ó ❜✐Ó✉
❞✐Ô♥ ❝➳❝
Γ
✲♠➠➤✉♥ ❝❤Ð♦✱ ♣❤➳t ❜✐Ó✉ ✈➭ ❣✐➯✐ ❜➭✐ t♦➳♥ ♠ë ré♥❣ ♥❤ã♠ ➤➻♥❣ ❜✐Õ♥
❦✐Ó✉
Γ
✲♠➠➤✉♥ ❝❤Ð♦✳
◆❣♦➭✐ ❝➳❝ ♣❤➬♥ ♠ë ➤➬✉ ✈➭ ❦Õt ❧✉❐♥✱ ❧✉❐♥ ➳♥ ❣å♠ ✺ ❝❤➢➡♥❣ ♥❤➢ s❛✉✳
❈❤➢➡♥❣ ✶✱
▼ét sè ❦✐Õ♥ t❤ø❝ ❝❤✉➮♥ ❜Þ
✱ tr×♥❤ ❜➭② ♠ét sè ❦❤➳✐ ♥✐Ö♠ ✈➭ ❦Õt
q✉➯ ➤➲ ❜✐Õt ❝ñ❛ ❧ý t❤✉②Õt ♣❤➵♠ trï ✈í✐ ❝✃✉ tró❝ sÏ ➤➢î❝ sö ❞ô♥❣ ❝❤♦ ❝➳❝ ❝❤➢➡♥❣
s❛✉✳
❈❤➢➡♥❣ ✷✱
P❤➞♥ ❧í♣ ❝➳❝ ❤➭♠ tö ♠♦♥♦✐❞❛❧ ❦✐Ó✉
(ϕ, f)
✈➭ ø♥❣ ❞ô♥❣
✱ ❜❛♦ ❣å♠
♠ét sè ♥é✐ ❞✉♥❣ s❛✉✳ ❚r➢í❝ ❤Õt✱ ❝❤ó♥❣ t➠✐ ♠➠ t➯ ✈Ò ❝➳❝ ❤➭♠ tö ♠♦♥♦✐❞❛❧ ❣✐÷❛
❝➳❝ ♥❤ã♠ ♣❤➵♠ trï ❦✐Ó✉
(Π, A)
✱ tr×♥❤ ❜➭② ❧ý t❤✉②Õt ❝➯♥ trë ✈➭ ➤Þ♥❤ ❧ý ♣❤➞♥ ❧í♣
❝❤♦ ❝➳❝ ❤➭♠ tö ❧♦➵✐ ♥➭②✳ ❚õ ➤ã ❝❤ø♥❣ ♠✐♥❤ ➤Þ♥❤ ❧ý ♣❤➞♥ ❧í♣ ❝❤♦ ♣❤➵♠ trï ❝➳❝
♥❤ã♠ ♣❤➵♠ trï ✈➭ ♣❤➵♠ trï ❝➳❝ ♥❤ã♠ ♣❤➵♠ trï ❜Ö♥✱ ➤å♥❣ t❤ê✐ ❣✐í✐ t❤✐Ö✉ ♠ét
ø♥❣ ❞ô♥❣ ➤➵✐ sè ❝ñ❛ ❧ý t❤✉②Õt ❝➯♥ trë ❝ñ❛ ❝➳❝ ❤➭♠ tö ♠♦♥♦✐❞❛❧ ❧✐➟♥ q✉❛♥ ➤Õ♥
❜➭✐ t♦➳♥ ♠ë ré♥❣ ♥❤ã♠✳ ❈ò♥❣ tr♦♥❣ ❈❤➢➡♥❣ ✷ ♥➭②✱ ❝❤ó♥❣ t➠✐ ❝❤ø♥❣ ♠✐♥❤ ➤Þ♥❤
❧ý ♣❤➞♥ ❧í♣ ❝❤♦ ♣❤➵♠ trï ❝➳❝ ♥❤ã♠ ♣❤➵♠ trï ❜Ö♥ ♣❤➞♥ ❜❐❝ ❜➺♥❣ ♣❤➢➡♥❣ ♣❤➳♣
❤Ö ♥❤➞♥ tö✳
❈❤➢➡♥❣ ✸✱
◆❤ã♠ ♣❤➵♠ trï ❝❤➷t ❝❤Ï ✈➭ ♠ë ré♥❣ ♥❤ã♠ ❦✐Ó✉ ♠➠➤✉♥ ❝❤Ð♦
✱
♥❣❤✐➟♥ ❝ø✉ ✈Ò ♠è✐ ❧✐➟♥ ❤Ö ❣✐÷❛ ♠➠➤✉♥ ❝❤Ð♦✱ ♥❤ã♠ ♣❤➵♠ trï ❝❤➷t ❝❤Ï ✈➭ ❜➭✐
✸
