2025-11-24T09:04:18.006238

On FKM isoparametric hypersurfaces in $\mathbb{S}^n \times \mathbb{S}^n$ and new area-minimizing cones

Cui

Via a new isoparametric foliation in $\mathbb{S}^n(1) \times \mathbb{S}^n(1)$, we find many new area-minimizing cones by applying Lawlor's curvature criterion, especially codimension-two area-minimizing cones in $\mathbb{R}^{2n+2}$ for $n\geq 63$. This new isoparametric foliation is a further restriction of the Ferus-Karcher-MÃ¼nzner isoparametric foliation to $\mathbb{S}^n(1) \times \mathbb{S}^n(1) \subset \mathbb{S}^{2n+1}(\sqrt{2})$, which can also be defined on general $\mathbb{S}^n(a) \times \mathbb{S}^n(b)(a>0,b>0)$, and it extends the recent classification results of F. Urbano for $n=2$.

academic

$\mathbb{S}^n \times \mathbb{S}^n$ 에서의 FKM 등매개변수 초곡면과 새로운 면적-최소화 원뿔에 관하여

기본 정보

논문 ID: 2510.14650
제목: On FKM isoparametric hypersurfaces in $\mathbb{S}^n \times \mathbb{S}^n$ and new area-minimizing cones
저자: Hongbin Cui (중국과학기술대학교)
분류: math.DG (미분기하학)
발표 시간: 2025년 10월 16일
논문 링크: https://arxiv.org/abs/2510.14650

초록

$\mathbb{S}^n(1) \times \mathbb{S}^n(1)$ 에서 새로운 등매개변수 엽층구조를 구성함으로써, 저자는 Lawlor의 곡률 판별 기준을 적용하여 많은 새로운 면적-최소화 원뿔을 발견했다. 특히 $n\geq 63$ 일 때 $\mathbb{R}^{2n+2}$ 에서의 여차원 2인 면적-최소화 원뿔을 발견했다. 이 새로운 등매개변수 엽층구조는 Ferus-Karcher-Münzner(FKM) 등매개변수 엽층구조를 $\mathbb{S}^n(1) \times \mathbb{S}^n(1) \subset \mathbb{S}^{2n+1}(\sqrt{2})$ 에서 추가로 제한한 것이며, 일반적인 $\mathbb{S}^n(a) \times \mathbb{S}^n(b)$ 에서도 정의될 수 있고, $n=2$ 인 경우에 대한 F. Urbano의 분류 결과를 일반화했다.

연구 배경 및 동기

문제 배경

면적-최소화 원뿔의 중요성: Plateau 문제의 해로서, 면적-최소화 곡면은 각 내부 특이점에서 적어도 하나의 접선 원뿔을 blow-up 극한으로 가지며, 이러한 원뿔들 자체도 면적-최소화이다. 면적-최소화 원뿔을 연구하는 것은 면적-최소화 곡면의 특이점 구조를 이해하는 데 도움이 된다.
기존 결과의 한계:
- 정칙 면적-최소화 초곡면 원뿔은 주로 동차 예제(예: Simons 원뿔)와 등매개변수 원뿔에서 나온다
- 높은 여차원의 경우, 복소 대수다양체를 제외하고는 여차원 2인 면적-최소화 원뿔이 매우 제한적이다
- Cheng과 Lawlor의 예제는 아마도 유일하게 알려진 비복소 대수다양체인 여차원 2 면적-최소화 원뿔이다
연구 동기: $\mathbb{R}^{2n+2}$ 에서 새로운 여차원 2의 최소 원뿔을 찾기, 특히 Simons 원뿔 $C_n$ 내의 부분원뿔인 경우를 찾기.

핵심 기여

새로운 등매개변수 엽층구조 구성: $\mathbb{S}^n \times \mathbb{S}^n$ 에서 FKM 등매개변수 초곡면을 정의했으며, 이는 FKM 등매개변수 다항식의 제한 결과이다
대량의 새로운 면적-최소화 원뿔 발견:
- $k=1$ (기약인 경우)이고 $\delta(m) \geq 64$ 일 때
- $k \geq 2$ (가약인 경우)이고 $k\delta(m) \geq 484$ 일 때
등법선 성질 증명: FKM 등매개변수 초곡면이 $\mathbb{S}^n \times \mathbb{S}^n$ 에서 등법선(isonormal)임을 증명했다
Lawlor 판별 기준 적용: 소실각과 법선 반경을 체계적으로 계산하여 면적-최소화 조건을 검증했다
Urbano 결과의 일반화: $n=2$ 인 경우의 분류를 일반 차원으로 확장했다

방법론 상세 설명

문제 정의

$\mathbb{R}^{2n+2}$ 에서 새로운 여차원 2의 면적-최소화 원뿔을 찾기. 특히 링크가 $\mathbb{S}^n(1) \times \mathbb{S}^n(1) \subset \mathbb{S}^{2n+1}(\sqrt{2})$ 에서의 최소 초곡면인 원뿔에 주목한다.

핵심 수학 구조

1. FKM 등매개변수 다항식의 분할 형식

FKM 등매개변수 다항식에 대해, 저자는 $\mathbb{R}^{n+1} \times \mathbb{R}^{n+1}$ 위의 분할 형식을 정의했다:

$F(x,y) = \langle x,y \rangle^2 + \sum_{q=1}^{m-1} \langle A_q x, y \rangle^2$

여기서 $\{A_1, A_2, \ldots, A_{m-1}\}$ 는 Clifford 대수 $\text{Cl}_{m-1}$ 의 $\mathbb{R}^{k\delta(m)}$ 위의 반대칭 표현족이다.

2. 등법선 조건

등법선 초곡면 정의: $\mathbb{S}^n \times \mathbb{S}^n$ 의 초곡면 $M$ 에 대해, Urbano의 곱 각 함수 $C = \langle PN, N \rangle \equiv 0$ 이면 $M$ 을 등법선이라 한다.

핵심 보조정리 1.2: 등법선 최소 초곡면은 $\mathbb{S}^n \times \mathbb{S}^n$ 에서도 $\mathbb{S}^{2n+1}(\sqrt{2})$ 에서도 최소이다.

3. 제2 기본형식의 계산 공식

정리 2.3: $\mathbb{S}^n \times \mathbb{S}^n$ 에서 함수 $F$ 의 정칙 수준집합으로 주어진 비자명 대수 초곡면 $M$ 에 대해, 제2 기본형식의 노름의 제곱은:

$||B||^2 = \frac{1}{|\bar{\nabla}F|^2}\left[\frac{1}{2}\bar{\Delta}|\bar{\nabla}F|^2 - \langle\bar{\nabla}F, \bar{\nabla}\bar{\Delta}F\rangle - (n-1)|\bar{\nabla}F|^2 - \frac{|\bar{\nabla}|\bar{\nabla}F|^2|^2}{2|\bar{\nabla}F|^2} + \frac{\langle\bar{\nabla}|\bar{\nabla}F|^2, \bar{\nabla}F\rangle^2}{4|\bar{\nabla}F|^4}\right]$

기술적 혁신점

분할 기법: 고차원 FKM 등매개변수 다항식을 곱 공간 위의 쌍동차 다항식으로 분해
등법선 성질의 활용: 등법선 조건을 통해 부분다양체가 더 높은 차원의 구면에서도 최소성을 유지하도록 보장
Lawlor 판별 기준의 체계적 적용: 소실각과 법선 반경 추정의 정확한 계산

실험 설정

이론 검증 프레임워크

본 논문은 주로 이론적 작업이며, "실험"은 수학적 증명과 계산 검증에 나타난다:

소실각의 추정: Lawlor의 표와 공식을 사용하여 소실각 추정
법선 반경의 계산: 기하학적 분석을 통해 정확한 법선 반경 결정
차원 조건의 검증: 다양한 매개변수 하에서 차원 제약 확인

핵심 계산 단계

첫 번째 단계: 제2 기본형식 분석

최소 FKM 등매개변수 초곡면 $\Sigma$ 의 절편 기하학 계산
형상 연산자의 최대 노름이 $\alpha^2 = 6(n-1)$ 임을 증명
Lawlor 표를 통해 소실각 추정: $\theta \leq \arctan \frac{11}{n}$ ( $n \geq 11$ 일 때)

두 번째 단계: 법선 반경 계산

Clifford 대수의 반대칭 표현 성질을 이용하여 법선 반경이 다음임을 증명: $N = \arctan\sqrt{\frac{c}{1-c}} = \arctan\sqrt{\frac{m-1}{n-m}}$ (특수한 경우 $(m,n) = (9,15)$ 제외)

세 번째 단계: Lawlor 조건 검증

핵심 부등식 $2\theta \leq N$ 검증:

기약인 경우 ( $k=1$ ): $n \geq 63$ 필요
가약인 경우 ( $k \geq 2$ ): $n \geq 483$ 필요

실험 결과

주요 정리

정리 1.7: 최소 원뿔 $C(\Sigma) \subset C_{k\delta(m)-1}$ $C(\Sigma) = \left\{(x,y) \in \mathbb{R}^{k\delta(m)} \times \mathbb{R}^{k\delta(m)} : \langle x,y\rangle^2 + \sum_{q=1}^{m-1}\langle A_q x, y\rangle^2 = \frac{m-1}{n-1}|x|^2|y|^2 \text{ 그리고 } |x|=|y|\right\}$