[논문 리뷰] Initial logarithmic Lie algebras of hypersurface singularities

Michel Granger, Mathias Schulze|ArXiv.org|2008. 07. 11.

Advanced Topics in Algebra참고 문헌 16인용 수 4

한 줄 요약

이 논문은 초곡면 특이점의 초기 로그 리 대수를 도입하여, 그 완전 가역 부분이 형식적으로 로그 벡터장의 선형 리 대수로 올라간다는 것을 증명한다. 준동차 특이점의 경우 이 선형화는 수렴하며, 초기 리 대수의 반단순 부분을 통해 특이점의 차원에 대한 하한을 설정한다. 이는 재구성 가능한 자유 분할자와 자동화군의 리 대수 부분군과 연결된다.

ABSTRACT

We introduce a Lie algebra of initial terms of logarithmic vector fields along a hypersurface singularity. Extending the formal structure theorem in [GS06, Thm. 5.4], we show that the completely reducible part of its linear projection lifts formally to a linear Lie algebra of logarithmic vector fields. For quasihomogeneous singularities, we prove convergence of this linearization. We relate our construction to the work of Hauser and M"uller [M"ul86, HM89] on Levi subgroups of automorphism groups of singularities, which proves convergence even for algebraic singularities. Based on the initial Lie algebra, we introduce a notion of reductive hypersurface singularity and show that any reductive free divisor is linear. As an application, we describe a lower bound for the dimension of hypersurface singularities in terms of the semisimple part of their initial Lie algebra.

연구 동기 및 목표

• 초곡면 특이점의 초기 로그 리 대수를 정의하고, 로그 벡터장의 형식적 근사로 연구한다.
• 이전의 [GS06]에서의 형식적 구조 정리에 기반하여, 초기 리 대수의 완전 가역 부분이 형식적으로 로그 벡터장의 선형 리 대수로 올라간다는 것을 보인다.
• 준동차 특이점의 경우 이 선형화가 수렴함을 증명하며, 자동화군과 리 대수 부분군의 기존 결과와 연결한다.
• 재구성 가능한 초곡면 특이점의 개념을 도입하고, 임의의 재구성 가능한 자유 분할자가 선형임을 보인다.
• 초기 리 대수의 반단순 부분을 통해 특이점의 차원에 대한 하한을 설정한다.

제안 방법

• 최대 아이디얼의 거듭제곱에 의한 필터링에 대해 로그 벡터장 $ \frak{l}_D $ 의 관련 계수 리 대수로 초기 로그 리 대수 $ \bar{\frak{l}}_D $ 를 정의한다.
• 도수 $ \frak{m}^k \frak{D} $ 를 리 대수의 도수 $ \frak{D} $ 에 적용하고, 몫 $ \frak{D}_k = \frak{D} / \frak{m}^{k+1} \frak{D} $ 를 고려하며, 이는 리 대수의 구조를 상속한다.
• [GS06, Thm. 5.4]의 형식적 구조 정리를 적용하여 $ \bar{\frak{l}}_D $ 의 완전 가역 부분을 형식적인 로그 벡터장의 선형 리 대수로 올린다.
• 준동차 특이점의 경우 오일러 벡터장의 존재를 이용하여 $ \frak{l}_D $ 를 $ \frak{O} \rtimes \frak{l}_f $ 로 분해한다. 여기서 $ \frak{l}_f $ 는 $ f $ 를 고정하는 벡터장들의 집합이다.
• 특히 $ \frak{l}_f $ 는 야코비 아이디얼의 싸이지 모듈과 동형이며, $ \frak{l}_f / \frak{m} \frak{l}_f $ 는 수반 작용 하에 노름화됨을 이용한다.
• 반단순 리 대수의 표현 이론(예: $ \frak{sl}_2 $-삼중항과 가중치 공간)을 적용하여, 정의 방정식 $ f $ 가 반단순 부분의 카르탕 부분대수에서 가중치 0을 가져야 한다는 것을 보인다.

실험 결과

연구 질문

• RQ1 초곡면 특이점의 초기 로그 리 대수를 사용하여 로그 벡터장의 형식적 선형화를 구성할 수 있는가?
• RQ2 특히 준동차 특이점의 경우, 초기 리 대수의 선형화는 어떤 조건에서 수렴하는가?
• RQ3 초기 리 대수의 반단순 부분은 특이점의 기하학적 성질과 어떻게 관련되어 있는가?
• RQ4 초기 리 대수와 특이점의 자동화군의 리 대수 부분군 사이에는 어떤 연결 고리가 있는가?
• RQ5 초기 리 대수를 사용하여 재구성 가능한 자유 분할자를 정의하고 특성화할 수 있는가?

주요 결과

• 초기 로그 리 대수 $ \bar{\frak{l}}_D $ 의 완전 가역 부분은 형식적으로 로그 벡터장의 선형 리 대수로 올라간다.
• 준동차 특이점의 경우 이 형식적 선형화는 수렴하며, 이는 로그 벡터장이 수렴하는 선형 모델을 갖는다는 것을 의미한다.
• 초기 리 대수 $ \bar{\frak{l}}_D $ 의 반단순 부분은 가중치 공간의 구조와 가중치 다면체의 웨일 군 궤도를 통해 특이점의 차원에 하한을 정의한다.
• 임의의 재구성 가능한 자유 분할자는 선형이며, 그 로그 벡터장이 국소환 위에서 선형 벡터장들에 의해 생성됨을 의미한다.
• 특이점의 정의 방정식 $ f $ 는 초기 리 대수의 반단순 부분의 카르탕 부분대수 $ \frak{h} $ 에 대해 가중치 0의 동차 함수여야 한다.
• 특이점의 차원 $ \text{Sing} \bar{D} $ 는 가중치 다면체 $ W $ 의 면 $ C $ 외부의 모든 변수로 정의된 선형 부분공간을 포함한다. 이때 $ d(C) = M_k(\frak{g}, V) $ 를 만족한다.