2025-11-24T20:46:16.166719

Smooth functions which are Morse on preimages of values not being local extrema and constructing natural functions of the class on connected sums of manifolds admitting these functions

Kitazawa
We discuss smooth functions which are Morse on preimages of values not being local extrema. We call such a function internally Morse or I-Morse. The Reeb graph of a smooth function is the space of all connected components of preimages of single points of it topologized with the natural quotient topology of the manifolds and a vertex of it is a point corresponding to a preimage with critical points. A smooth function is neat with respect to the Reeb graph or N-Reeb if the preimages of the vertices are the closed subsets in the manifolds of the domains with interiors being empty. We discuss I-Morse and N-Reeb functions, IN-Morse-Reeb functions. Our main result presents an IN-Morse-Reeb function respecting two such functions, on a connected sum of these given manifolds.
academic

비국소 극값이 아닌 값의 원상에서 Morse 성질을 갖는 매끄러운 함수와 이러한 함수를 허용하는 다양체의 연결합에서 자연스러운 함수 구성

기본 정보

  • 논문 ID: 2510.00464
  • 제목: Smooth functions which are Morse on preimages of values not being local extrema and constructing natural functions of the class on connected sums of manifolds admitting these functions
  • 저자: Naoki Kitazawa
  • 분류: math.GN (일반 위상수학), math.CO (조합론), math.GT (기하 위상수학)
  • 발표 시간: 2025년 10월 (arXiv 사전인쇄본)
  • 논문 링크: https://arxiv.org/abs/2510.00464v3

초록

본 논문은 비국소 극값의 원상에서 Morse 성질을 갖는 매끄러운 함수, 즉 내부 Morse 함수 또는 I-Morse 함수를 다룬다. Reeb 그래프는 매끄러운 함수의 단일점 원상의 모든 연결 성분의 공간이며, 그 꼭짓점은 임계점을 포함하는 원상에 대응된다. 꼭짓점의 원상이 다양체 정의역에서 내부가 공집합인 닫힌 부분집합이면, 매끄러운 함수를 Reeb 그래프에 대해 정결(N-Reeb)이라고 한다. 저자는 I-Morse와 N-Reeb 함수의 조합(IN-Morse-Reeb 함수)을 연구하며, 주요 결과는 주어진 다양체의 연결합 위에서 두 개의 이러한 함수를 존중하는 IN-Morse-Reeb 함수를 구성했다는 것이다.

연구 배경 및 동기

문제 배경

  1. Morse 함수의 중요성: Morse 함수와 Morse-Bott 함수는 다양체 기하학의 기초 도구이며, 특이점 이론에서도 중요한 연구 대상이다. 이들은 임계점과 k-손잡이 사이의 자연스러운 대응 관계를 통해 다양체의 위상 구조를 이해하는 데 핵심적인 역할을 한다.
  2. Reeb 그래프의 역할: 특정 우수한 함수 범주에 대해 Reeb 그래프를 정의할 수 있다. 이러한 조합 대상들은 첫 번째 Betti 수 및 기본군의 계수와 같은 중요한 정보를 얻기 위한 기초 도구이며, Morse 함수 또는 특정 일반화된 함수를 시각화하는 중요한 수단이다.
  3. 기존 연구의 한계: 전통적인 Morse 함수 이론은 주로 모든 임계점의 성질에 초점을 맞추고 있으며, 특정 원상에서만 Morse 성질을 갖는 함수에 대한 연구는 상대적으로 부족하다.

연구 동기

  1. 이론 완성: Morse 함수 이론을 확장하여 더욱 일반적인 함수 범주 연구
  2. 구성 문제: 연결합 다양체 위에서 특정 성질의 함수 구성 문제 해결
  3. 조합 성질: 함수의 성질과 그 Reeb 그래프 사이의 심층적 연관성 확립

핵심 기여

  1. 새로운 함수 범주의 정의: I-Morse 함수(내부 Morse)와 N-Reeb 함수(Reeb 그래프에 대해 정결)의 개념을 도입하고, 이들의 조합인 IN-Morse-Reeb 함수를 연구
  2. 주요 구성 정리: 두 개의 닫힌 연결 다양체 위의 IN-M-R 함수에 대해, 그 연결합 위에서 IN-M-R 함수를 구성할 수 있으며, 그 Reeb 방향 그래프가 특정 방식으로 얻어진 방향 그래프와 동형임을 증명
  3. 단순 함수의 성질: G-단순 함수의 이론을 확립하고 관련된 구성 및 분류 결과를 증명
  4. 기술적 방법: Ehresmann 섬유화 정리와 손잡이 이론에 기반한 구성 방법 제공

방법 상세 설명

핵심 정의

정의 1 (I-Morse 함수): 매끄러운 함수 f가 비국소 극값의 원상에서 Morse 성질을 갖는 경우, 이를 내부 Morse 또는 I-Morse 함수라고 한다.

정의 2 (N-Reeb 함수): Reeb 그래프의 각 꼭짓점에 대응되는 원상이 다양체 정의역에서 내부가 공집합인 닫힌 부분집합이면, 함수를 Reeb 그래프에 대해 정결이라 하거나 N-Reeb 함수라고 한다.

정의 3 (IN-M-R 함수): I-Morse와 N-Reeb 성질을 동시에 만족하는 함수를 IN-Morse-Reeb 함수라고 한다.

주요 정리

정리 1: 차원 m > 1인 두 개의 닫힌 연결 다양체 위의 IN-M-R 함수에 대해, 그 연결합 위에서 IN-M-R 함수를 구성할 수 있으며, 그 Reeb 방향 그래프는 다음 방식으로 얻어진 방향 그래프 GR과 동형이다:

  • 두 개의 Reeb 방향 그래프 GR,1과 GR,2에서 각각 비국소 극값에 대응되는 점을 선택
  • 이 두 점을 새로 추가된 유일한 꼭짓점으로 동일시하여 GR을 얻음

정리 2: 두 개의 주어진 사상이 GR,i-S 함수이면, 결과 함수도 GR-S 함수로 얻어질 수 있다.

정리 3: 특정 조건 하의 유한 연결 그래프 G에 대해, 연결합 위에서 IN-M-R 함수를 구성하기 위한 더욱 정확한 결과를 제시한다.

기술적 방법

  1. 손잡이 이론 적용: 지수가 k인 임계점과 k-손잡이 사이의 자연스러운 대응 관계 활용
  2. Ehresmann 섬유화 정리: 임계점이 없는 영역에서 곱 다발 구조 구성
  3. 국소 구성 및 접합: 국소 Morse 함수의 구성과 적절한 접합을 통한 전체 구성 실현

실험 설정

순수 수학 이론 연구이므로 수치 실험을 포함하지 않으며, 엄격한 수학적 증명을 통해 이론적 결과를 검증한다.

증명 전략

  1. 국소 분석: 각 연결 성분 주변에서 국소 구성 수행
  2. 곱 다발 구성: Proposition 1과 Remark 1을 활용하여 필요한 곱 다발 구성
  3. 변형 및 접합: 국소 곱 다발의 적절한 변형 및 접합을 통해 기대되는 다양체 획득

주요 결과

구성 결과

논문은 연결합 다양체 위에서 기대되는 Reeb 그래프 구조를 갖는 IN-M-R 함수를 구성할 수 있음을 성공적으로 증명했으며, 이는 이러한 함수 범주의 존재성과 구성성을 이해하기 위한 중요한 이론적 기초를 제공한다.

기술적 성과

  1. Proposition 1: 특정 조건 하에서 곱 다발을 구성하는 방법 제시
  2. Proposition 2: G-IN-M-R 함수의 국소 구조 성질을 상세히 기술
  3. 그래픽 설명: 5개의 기술 그래프를 통해 구성 과정의 핵심 단계를 상세히 제시

관련 연구

역사적 배경

  • Morse 이론: Milnor 26 등의 고전 연구에 기반
  • Reeb 그래프 이론: Reeb 27의 획기적 연구에서 비롯됨
  • 특이점 이론: Golubitsky와 Guillemin 8의 체계적 설명 참고

최근 발전

  • 분류 문제: Gelbukh 6,7의 주어진 곡면 위 Morse-Bott 함수 Reeb 그래프 실현
  • 구성 방법: Michalak 24,25의 Reeb 그래프 실현 문제에 대한 조합적 수정
  • 응용 분야: 심플렉틱 위상수학 및 최적화 문제에서의 응용

결론 및 논의

주요 결론

  1. 연결합 위에서 IN-M-R 함수의 구성 이론을 성공적으로 확립
  2. 구체적인 구성 방법 및 기술 도구 제공
  3. 함수의 성질과 Reeb 그래프 구조 사이의 심층적 연관성 확립

한계

  1. 차원 제약: 주요 결과는 m > 2를 요구하며, 저차원 경우는 특별한 처리 필요
  2. 기술적 조건: 특정 그래프 임베딩 및 차수 조건을 만족해야 함
  3. 구성 복잡성: 실제 구성 과정은 복잡한 국소 분석 및 전역 접합을 포함

향후 방향

  1. 분류 문제: Reeb 방향 그래프를 통한 특정 범주의 IN-M-R 함수 분류
  2. 기하학적 응용: 이러한 새로운 함수 범주의 기하학 다른 분야에서의 중요성 탐색
  3. 계산 방법: 더욱 효율적인 구성 및 계산 방법 개발

심층 평가

장점

  1. 이론적 혁신: 새로운 함수 범주를 도입하여 Morse 이론 확장
  2. 구성적 결과: 존재성뿐만 아니라 구체적인 구성 방법 제공
  3. 기술적 엄밀성: 성숙한 미분 위상수학 도구 사용, 논증 견고함
  4. 그래픽 보조: 상세한 기술 그래프를 통해 구성 과정을 명확히 제시

부족한 점

  1. 응용 동기 부족: 다른 수학 분야에서 이러한 새로운 함수 범주의 구체적 응용 부족
  2. 저차원 경우: m = 2인 경우의 처리가 충분하지 않음
  3. 계산 복잡성: 실제 구성 과정이 과도하게 복잡하여 실용성 제한

영향력

  1. 이론적 기여: Morse 이론의 일반화에 새로운 방향 제시
  2. 기술적 가치: 구성 방법이 다른 관련 문제에 적용 가능
  3. 연구 영감: 후속 연구를 위한 풍부한 기술 도구 및 이론적 틀 제공

적용 분야

  1. 미분 위상수학 연구: 다양체 위 함수의 분류 및 구성 문제
  2. 특이점 이론: 특수 함수 범주의 연구
  3. 응용 수학: 최적화 이론 및 데이터 분석에서의 잠재적 응용

참고문헌

논문은 Morse 이론, 특이점 이론, 미분 위상수학 등 다양한 분야의 고전 및 최신 연구 성과를 포함한 33편의 관련 문헌을 인용하여 본 연구에 견고한 이론적 기초를 제공한다.

종합 평가: 이는 Morse 함수 이론의 일반화 측면에서 중요한 기여를 한 고품질의 순수 수학 이론 논문이다. 실제 응용 측면에서는 추가 탐색이 필요하지만, 그 이론적 가치와 기술적 혁신성은 인정할 만하다.