핵심 개념
본 논문에서는 확장된 Dynkin 퀴버 유형 A의 사영 전 대수에 대한 일반화된 Taft 대수의 작용을 분류하고, 특정 작용 불변량을 계산하여 불변 고리가 사영 전 대수의 중심과 동형임을 보입니다.
초록
확장된 Dynkin 퀴버 유형 A의 사영 전 대수에 대한 Taft 대수 작용
본 연구는 확장된 Dynkin 퀴버 유형 A의 사영 전 대수에 대한 일반화된 Taft 대수의 작용을 분류하고, 특정 작용 불변량을 계산하여 불변 고리가 사영 전 대수의 중심과 동형임을 보이는 것을 목표로 합니다.
Hopf 대수 작용
λ를 1이 아닌 r번째 단위근, m을 r의 양의 배수라고 하자. 이때, 일반화된 Taft 대수 Tλ(r, m)은 다음과 같이 정의된다.
Tλ(r, m) := k⟨g, x | gx = λxg, gm = 1, xr = 0⟩
Tλ(r, m)은 Hopf 대수이며, g는 군형 원소, x는 (1, g)-꼬임 원시 원소이다.
Q를 퀴버라고 하자. k-선형 사상 σ: kQ0 ⊕ kQ1 → kQ0 ⊕ kQ1이 다음을 만족할 때, σ를 Q에 대한 퀴버-Taft 사상이라고 한다.
(σ1) σ(kQ0) = 0
(σ2) 모든 a ∈ Q1에 대해, σ(a) = s(a)σ(a)eg(t(a))
(σ3) 모든 a ∈ Q1에 대해, σ(g ⋅ a) = λ−1g ⋅ σ(a)
Tλ(r, m)의 kQ에 대한 Hopf 작용은 다음과 같이 주어진다.
(i) G의 Q0에 대한 순열 작용
(ii) G의 kQ1에 대한 표현
(iii) Q에 대한 퀴버-Taft 사상 σ
사영 전 대수와 그 자기 동형 사상
퀴버 Q의 이중은 Q0 = Q0이고, 각 화살표 a ∈ Q1에 대해 s(a∗) = t(a) 및 t(a∗) = s(a)를 만족하는 화살표 a∗를 추가하여 얻은 퀴버 Q로 정의된다.
유한 퀴버 Q에 대한 사영 전 대수는 ΠQ := kQ/(Ω)로 정의되며, 여기서 (Ω)는 모든 a ∈ Q1에 대한 관계식 aa∗ − a∗a로 생성된 양면 아이디얼이다.
n ≥ 1에 대해 Q = Ãn−1이라고 하자. 즉, Q는 유형 A의 확장된 Dynkin 퀴버이다.
ΠQ는 국소적으로 유한 생성 Noetherian PI 대수이며, Calabi-Yau이며, 전역 차원과 Gelfand-Kirillov 차원은 2이다.
n ≥ 3이라고 하자. kQ의 차수 자기 동형 사상 g의 작용은 다음 두 가지 경우 중 하나로 나타낼 수 있다.
(1) (g가 Q에서 회전으로 작용하는 경우) 모든 0 ≤ i ≤ n − 1에 대해, g ⋅ ei = ei+d, g ⋅ ai = µiai+d, g ⋅ a∗i = µ∗i a∗i+d를 만족하는 µi, µ∗i ∈ k×가 존재한다.
(2) (g가 Q에서 반사로 작용하는 경우) 모든 0 ≤ i ≤ n − 1에 대해, g ⋅ ei = en−(d+i), g ⋅ ai = µia∗n−(d+i)+1, g ⋅ a∗i = µ∗i an−(d+i)+1를 만족하는 µi, µ∗i ∈ k×가 존재한다.