[논문 리뷰] Flatness and freeness properties of the generic Hopf Galois extensions

Christian Kassel, Akira Masuoka|arXiv (Cornell University)|2009. 11. 19.

Algebraic structures and combinatorial models참고 문헌 12인용 수 8

한 줄 요약

이 논문은 일반적인 호프 갈로아 확장에서 자유 가환 호프 대수 $ S(t_H)_\Theta $가 부분대수 $ \mathcal{B}_H^\alpha $ 위에서 충실하게 평탄하거나 자유 모듈로서 작동하는 데 충분한 조건을 확립한다. $ \mathcal{B}_H^\alpha $가 호프 코모듈 대수에 대한 다항식 항등식에서 유도된 원소들로 생성됨을 증명하고, 유한 차원성, 코코무터티성, 또는 $ H $의 특정 구조적 성질 등의 조건 하에서 자유성과 평탄성을 보인다. 주요 기여는 일반 갈로아 확장에 대한 정수성 및 평탄성 결과를 광범위하게 일반화한 것이다.

ABSTRACT

In previous work, to each Hopf algebra H and each invertible right two-cocycle on H, Eli Aljadeff and the first-named author attached a subalgebra B of the free commutative Hopf algebra S generated by the coalgebra underlying H; the algebra B is the subalgebra of coinvariants of a generic Hopf Galois extension. In this paper we give conditions under which S is faithfully flat, or even free, as a B-module. We also show that B is generated as an algebra by certain elements arising from the theory of polynomial identities for comodule algebras developped jointly with Aljadeff.

연구 동기 및 목표

• 특정 조건 하에서 $ S(t_H)_\Theta $가 $ \mathcal{B}_H^\alpha $-모듈로서 충실하게 평탄하거나 자유임을 보이는 데 충분한 조건을 결정하는 것.
• 이전 연구에서 남아 있던 $ S(t_H)_\Theta $가 $ \mathcal{B}_H^\alpha $ 위에서 정수적임에 대한 열린 문제를 해결하여, 충실한 평탄성이 정수성보다 더 약하고 더 일반적인 충분조건임을 보이는 것.
• $ \mathcal{B}_H^\alpha $가 $ H $-코모듈 대수에 대한 다항식 항등식 이론에서 유래된 원소들로 생성됨을 증명하는 것.
• 유한 차원, 코코무터티, 포인티드 호프 대수를 포함한 더 넓은 범주로 이전의 정수성 및 평탄성 결과를 확장하는 것.

제안 방법

• 저자들은 $ \mathcal{B}_H^\alpha $의 구조와 일반 코클로스 $ \sigma $와의 관계를 분석함으로써 문제를 $ \alpha = \varepsilon $인 경우, 즉 자명한 코클로스의 경우로 축소한다.
• 그들은 $ S(t_H)_\Theta $를 대칭대수 $ S(t_H) $의 분수체의 부분대수로 정의하며, $ t_x $와 $ t_x^{-1} $에 의해 생성되며, $ H $로부터 유도된 이중대수의 구조를 갖는다.
• 그들은 일반 코클로스와 그 역의 표현을 통해, 헤이네만-스위들러 표기법을 사용하여 코프로덕트를 표현함으로써 $ \mathcal{B}_H $ 내의 핵심 원소 $ p_x, p_x', q_{x,y}, q_{x,y}' $를 정의한다.
• 그들은 $ \sigma(x,y) $와 $ \sigma^{-1}(x,y) $를 이러한 원소들로 표현함으로써, $ \mathcal{B}_H $가 $ p_x, p_x', q_{x,y}, q_{x,y}' $에 의해 생성됨을 보인다.
• 그들은 모듈 이론의 결과를 적용한다: 유한 차원성은 프로젝티브성을, 코코무터티성은 충실한 평탄성을, 특정 유한성 조건은 자유성을 암시한다.
• 그들은 $ H $-코모듈 대수에 대한 다항식 항등식 이론을 사용하여 $ \mathcal{B}_H $의 생성자를 정의하고 상호 관계를 규명하며, 대수적 독립성과 생성 능력을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 조건 하에서 $ S(t_H)_\Theta $는 $ \mathcal{B}_H^\alpha $ 위에서 충실하게 평탄한가? 이는 정수성보다 더 약한 조건이며, $ {}^\alpha H $의 $ K $-형으로의 대수의 준동형 사상의 전성 보장에 기여한다.
• RQ2 $ \mathcal{B}_H^\alpha $는 $ H $-코모듈 대수에 대한 다항식 항등식 이론에서 유래된 원소들, 특히 $ p_x, p_x', q_{x,y}, q_{x,y}' $로 생성되는가?
• RQ3 $ S(t_H)_\Theta $가 $ \mathcal{B}_H^\alpha $ 위에서 자유이거나 충실하게 평탄한지 여부를, 유한 차원이 아닌 더 넓은 범주인 호프 대수로까지 일반화할 수 있는가?
• RQ4 $ p_x, p_x', q_{x,y}, q_{x,y}' $ 원소들은 일반 코클로스 $ \sigma $와 어떻게 관련되어 있으며, $ \mathcal{B}_H $의 자연스러운 생성자로 기능할 수 있는가?
• RQ5 $ H $의 구조적 성질—코코무터티성, 포인티드 성질, 군형 원소들의 유한 생성성 등—중 어떤 것이 $ S(t_H)_\Theta $가 $ \mathcal{B}_H^\alpha $ 위에서 자유이거나 충실하게 평탄한지 보장하는가?

주요 결과

• 유한 차원인 $ H $에 대해서는 $ S(t_H)_\Theta $가 $ \mathcal{B}_H $-모듈로서 유한 생성 프로젝티브 생성자임을 보이며, 이는 충실한 평탄성을 암시한다.
• 만약 $ H $가 코코무터티이면, $ S(t_H)_\Theta $는 $ \mathcal{B}_H $ 위에서 충실하게 평탄하며, 이는 이전 결과를 더 넓은 호프 대수의 범주로 확장한다.
• 만약 $ H $가 군형 원소의 유한 집합을 가지는 포인티드 호프 대수이면, $ S(t_H)_\Theta $는 $ \mathcal{B}_H $ 위에서 자유이며, 자유성에 대한 강력한 유한성 조건을 제공한다.
• 만약 $ H $가 가환이거나 포인티드 코코무터티이면, $ S(t_H)_\Theta $는 $ \mathcal{B}_H $ 위에서 자유이며, 이는 이전의 정수성 결과를 일반화한다.
• $ \mathcal{B}_H $는 모든 $ x,y \in H $에 대해 원소 $ p_x, p_x', q_{x,y}, q_{x,y}' $에 의해 생성되며, 이는 오랫동안 남아 있던 자연스러운 생성자에 대한 질문을 해결한다.
• 코코무터티인 $ H $에 대해서는 $ \mathcal{B}_H $가 $ p_x, q_{x,y} $와 그 반대원소들에 의해 생성되며, 생성자 집합이 간소화된다.