[논문 리뷰] Lipschitz Normal Embeddings and Determinantal Singularities

Helge Møller Pedersen, María Aparecida Soares Ruas|arXiv (Cornell University)|2016. 07. 26.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 5

한 줄 요약

이 논문은 랭크가 주어진 값보다 작은 $m \times n$ 행렬의 집합으로 정의된 모델 결정성 특이점—즉, 모델 결정성 특이점이 리프시츠 정상적으로 통합되어 있음을 증명한다. 이는 내부 및 외부 거리 측도가 이중리프시츠 등가임을 의미한다. 저자들은 이전의 위상수학적 방법과 대조적으로 선형 대수학과 삼각법을 사용한 새로운 증명을 제시하며, 일반 결정성 특이점으로의 결과 확장을 둔 기술적 과제들을 논의한다.

ABSTRACT

The germ of an algebraic variety is naturally equipped with two different metrics up to bilipschitz equivalence. The inner metric and the outer metric. One calls a germ of a variety Lipschitz normally embedded if the two metrics are bilipschitz equivalent. In this article we prove that the model determinantal singularity, that is the space of $m imes n$ matrices of rank less than a given number, is Lipschitz normally embedded. We will also discuss some of the difficulties extending this result to the case of general determinantal singularities.

연구 동기 및 목표

• 모델 결정성 특이점이 리프시츠 정상적으로 통합되어 있음을 입증하는 것.
• 이전의 위상수학적 방법과 대조적으로 선형 대수학과 삼각법에 기반한 대체 증명을 제공하는 것.
• 일반 결정성 특이점이 리프시츠 정상적으로 통합되어 있음을 판단할 수 있는 조건을 조사하는 것.
• 모델 특이점에서의 결과를 더 일반적인 결정성 다양체로 확장하는 데서 발생하는 제약 조건을 분석하는 것.
• 통합 결정성 특이점(EIDS)과 특이점 집합이 이중리프시츠 정상 통합을 결정하는 데서 수행하는 역할을 명확히 하는 것.

제안 방법

• 유클리드 거리와 직선 경로 길이를 사용하여 임bedded 대수다양체 위의 내부 및 외부 거리 측도를 정의한다.
• 이중리프시츠 등가성을 사용하여 두 거리 측도를 비교하며, 비율이 일정한 상수 $K > 1$로 유계이면 리프시츠 정상 통합임을 확립한다.
• 행렬 랭크 성질과 경로 길이에 대한 삼각법적 추정을 직접 계산하여 주요 결과를 증명한다.
• 선형 대수학 기법을 사용하여 결정성 다양체 위의 지오데식선과 거리 왜곡을 분석한다.
• 층화와 원뿔 구조를 적용하여 원점 근처의 특이 행동을 분석한다.
• 이전의 연구와 대조하며, 원뿔 층화와 위상수학적 추론(예: [KKKLS16])에 의존한 결과와 비교한다.

실험 결과

연구 질문

• RQ1 모델 결정성 특이점—즉, 랭크가 제한된 $m \times n$ 행렬의 다양체로 정의된 특이점—은 리프시츠 정상적으로 통합되어 있는가?
• RQ2 이 특이점에서 내부 및 외부 거리 측도의 이중리프시츠 등가성은 선형 대수학과 삼각법만을 사용하여 증명될 수 있는가?
• RQ3 일반 결정성 특이점으로의 리프시츠 정상 통합 성질 확장에 있어 장애 요소는 무엇인가?
• RQ4 임베딩된 결정성 특이점에서 특이점 집합 $X^1$이 리프시츠 정상적으로 통합되어 있으면, 더 높은 층 $X^i$의 경우에도 동일한 성질이 성립하는가?
• RQ5 정의 함수 $F$에 대해 어떤 조건이 성립하면, $F^{-1}(M^t_{m,n})$이 보장적으로 리프시츠 정상적으로 통합되어 있는가?

주요 결과

• 랭크가 $t$ 이하인 $m \times n$ 행렬로 이루어진 모델 결정성 특이점 $M^t_{m,n}$은 리프시츠 정상적으로 통합되어 있다.
• 이전의 위상수학적 도구를 피하고, 기본적인 선형 대수학과 삼각법적 추정을 사용한 새로운 증명이 제시된다.
• 행렬 $M^t_{m,n}$의 내부 및 외부 거리 측도는 일정한 상수 $K$에 의존하는 이중리프시츠 등가성을 가진다. 이 상수 $K$는 $m$, $n$, $t$에만 의존한다.
• 예시들은 리프시츠 정상적으로 통합된 특이점 집합을 가진 임베딩된 결정성 특이점(EIDS)이 여전히 리프시츠 정상적으로 통합되어 있지 않을 수 있음을 보여준다.
• 간단한 코hen-맥컬레이 코디멘션 2 표면 특이점 중에서, 오직 최소 특이점에 해당하는 $A_{k-1,l-1,m-1}$ 가족만이 리프시츠 정상적으로 통합되어 있고, 비최소 특이점인 $B_{2l,k-1}$ 와 같은 경우는 그렇지 않다.
• 반례를 통해 일반적으로 결정성 특이점으로의 결과 확장이 성립하지 않음을 보여주며, 특이점 집합이 이중리프시츠 방식으로 통합되어 있지 않은 경우가 존재한다.