[논문 리뷰] On the codimension of the singular locus

David Kazhdan, Tamar Ziegler|arXiv (Cornell University)|2019. 07. 26.

Limits and Structures in Graph Theory참고 문헌 4인용 수 4

한 줄 요약

이 논문은 유계 차수의 다항식으로 정의된 완전교차의 특이점 집합의 여부차가 적어도 m 이상이 되도록 보장하기 위해 필요한 비고전적 랭크에 대해 명시적인 이중지수 상계를 확립한다. 다중선형 형식, 해석적 랭크, 분할 랭크 기법을 사용하여, 만약 다항식의 가족에 대한 비고전적 랭크가 γ(c,d)(1+m)^γ(c,d)를 초과한다면, 특이점 집합은 적어도 여부차 m을 가지며, 이는 이전의 정성적 결과를 효과적인 상계로 일반화한다.

ABSTRACT

Let $k$ be a field and $V$ an $k$-vector space. For a family $\bar P=\{ P_i\}_{1\leq i\leq c}, $ of polynomials on $V$, we denote by $\mathbb X _{\bar P}\subset V$ the subscheme defined by the ideal generated by $ \bar P$. We show the existence of $γ(c,d)$ such that the varieties $\mathbb X_{\bar P}$ are smooth outside of codimension $m$, if deg$(P_i)\leq d$ and rank (strength) $r_{nc}(\bar P)\geq γ(d,c) (1+m)^{γ(d,c)}$.

연구 동기 및 목표

• 완전교차의 특이점 집합이 여부차 적어도 m를 가지도록 보장하기 위해 필요한 비고전적 랭크에 대해 명시적이고 효과적인 상계를 제공하는 것.
• 이전의 정성적 결과(해당 상계의 존재성)를 차수 d, 다항식의 수 c, 희망하는 여부차 m의 명시적이고 정량적인 함수로 일반화하는 것.
• 모든 c개의 다항식과 차수 ≤d에 대해 특이점 집합의 여부차 ≥m를 보장하기 위해 충분한 균일한 상한 γ(c,d)를 확립하는 것.
• 해석적 랭크와 분할 랭크를 포함한 고차 푸리에 분석 도구를 사용하여 다항식 시스템과 관련된 미분 사상의 섬유 차원을 제어하는 것.
• 단일 다항식에서 다항식 시스템으로의 분석을 확장하기 위해, 특이점 집합을 포함하는 섬유를 가진 적절한 사영 사상의 구축

제안 방법

• 서브스키마 X_P의 특이점 집합을 미분 사상 dP의 영점 집합으로 정의하고, dP̃(v) = (P(v), dP(v))의 업그레이드를 통해 특이점들을 영점의 역상으로 특성화한다.
• 비고전적 랭크 r_nc(P)를 다항식 P̃: V^d → k에 관련된 다중선형 대칭 형식의 랭크로 정의하여, P의 복잡도를 제어한다.
• 다항식 시스템에 대해, 미분 사상 dP̄: V → (Λ^c V)^∨를 정의하고, dP̄̃(v) = (P̄(v), dP̄(v))의 업그레이드를 통해 특이점 집합을 영점의 역상으로 특성화한다.
• 다중선형 형식의 분할 랭크가 낮아지지 않도록 보장하기 위해, Λ^c V의 큰 부분공간 L ⊂ Λ^c V를 구성하고, p_L ∘ dP̄̃의 해석적 랭크가 dim(L)를 초과하도록 보장하여, 그 섬유의 차원이 dim(V) - dim(L)가 되도록 한다.
• 푸리에 분석과 고우어스 균일성 노름을 사용하여 다중선형 형식과 관련된 지수합의 기대값을 추정하고, 해석적 랭크와 분할 랭크를 연결한다.
• 구슬 놓기 원리와 모순 추론을 적용하여, 비고전적 랭크가 너무 작다면 특정 다중선형 형식이 낮은 분할 랭크를 가져야 하며, 이는 고랭크 가정과 모순됨을 보인다.

실험 결과

연구 질문

• RQ1 유계 차수의 다항식 시스템에 대해 특이점 집합의 여부차가 적어도 m가 되도록 보장하기 위해 필요한 최소 비고전적 랭크는 무엇인가?
• RQ2 부드러움을 위한 랭크 임계값의 정성적 존재 결과를 m, d, c의 명시적 효과적 상한으로 강화할 수 있는가?
• RQ3 다항식과 관련된 다중선형 형식의 분할 랭크는 특이점 집합의 여부차와 어떻게 관련이 있는가?
• RQ4 해석적 랭크 추정치를 사용하여 대수기하학에서 미분 사상의 섬유 차원을 얼마나 잘 제어할 수 있는가?
• RQ5 모든 c개의 다항식과 차수 ≤d에 대해 특이점 집합의 여부차 ≥m를 보장하기 위한 균일한 함수 γ(c,d)가 존재하는가?

주요 결과

• 논문은 다항식의 수 c와 차수 ≤d인 다항식 가족에 대해 비고전적 랭크가 적어도 γ(c,d)(1+m)^γ(c,d) 이상이면 특이점 집합의 여부차가 적어도 m가 되는 함수 γ(c,d)의 존재를 확립한다.
• 상한 γ(c,d)(1+m)^γ(c,d)는 d와 c에 대해 이중지수적일 뿐만 아니라 다항식의 수와 차수에 대한 의존성을 반영한다.
• 증명은 비고전적 랭크가 너무 작다면 특정 다중선형 형식이 낮은 분할 랭크를 가져야 하며, 이는 푸리에 분석적 추정치를 통해 모순이 된다는 것을 보여, 근거를 제공한다.
• 저자들은 다중선형 형식과 관련된 지수합의 고우어스 균일성 노름에 대한 정량적 상한을 유도하여, 이는 해석적 랭크를 제어하고, 결과적으로 분할 랭크를 제어한다.
• 핵심 기술적 단계는 고랭크 가정과 모순되는 다중선형 형식이 낮은 분할 랭크를 보이는 매개변수의 큰 집합을 찾기 위해 구슬 놓기 원리를 사용하는 것이다.
• 결과는 이전의 정성적 결과(Claim 1.1)를 명시적이고 효과적인 상한으로 일반화하여, 높은 복잡도가 고여부차 특이점 집합을 제외한 부드러움을 암시하는 원리의 정량적 형태를 제공한다.