The purpose of this paper is to introduce the notion of Nash functions in the context of slice regular functions of one quaternionic or octonionic variable. We begin with a detailed analysis of the possible definitions of Nash slice regular functions which leads us to the definition of \textit{slice-Nash} function proposed in this paper (and which we strongly believe to be the natural generalisation of the classical real and complex Nash functions to this context). Once the `correct' definition of slice-Nash functions has been established, we study their properties with particular focus on their finiteness properties. These finiteness properties position this new class of slice-Nash functions as an intermediate class between the class of slice regular functions and the class of slice polynomials, in analogy with the classical real and complex case. We also introduce semiregular slice-Nash functions, in analogy with meromorphic Nash functions, and study their finiteness properties.
- 논문 ID: 2510.09779
- 제목: Division algebras of slice-Nash functions
- 저자: Cinzia Bisi, Antonio Carbone
- 분류: math.CV (복소변수함수론) math.AG (대수기하학)
- 발표 시간: 2025년 10월 17일
- 논문 링크: https://arxiv.org/abs/2510.09779
본 논문은 단일 사원수 또는 팔원수 변수의 슬라이스 정칙함수 이론에 내시 함수의 개념을 도입하는 것을 목표로 한다. 저자들은 먼저 내시 슬라이스 정칙함수의 가능한 정의들을 상세히 분석하고, 슬라이스-내시 함수의 정의를 제안하며, 이것이 고전적인 실수 및 복소수 내시 함수의 자연스러운 확장이라고 주장한다. 슬라이스-내시 함수의 "올바른" 정의를 확립한 후, 저자들은 특히 유한성 성질에 초점을 맞추어 이들의 성질을 연구한다. 이러한 유한성 성질들은 새로운 슬라이스-내시 함수 클래스를 슬라이스 정칙함수 클래스와 슬라이스 다항식 클래스 사이의 중간 클래스로 만들며, 이는 고전적인 실수 및 복소수 경우와 유사하다. 저자들은 또한 반정칙 슬라이스-내시 함수를 도입하며, 이는 유리형 내시 함수와 유사하고, 이들의 유한성 성질을 연구한다.
- 초복소 해석의 발전 필요성: 20세기 초 이래로, 수학자들은 복소변수함수론의 정칙함수와 유사한 역할을 할 수 있는 적절한 사원수 함수 클래스를 찾아왔다. 슬라이스 정칙함수의 해석적 성질은 상당히 성숙했지만, 기하학적 성질의 연구는 여전히 부족하다.
- 내시 기하학의 확장: 내시 함수는 실대수기하학에서 핵심적인 역할을 하며, 다항식 함수와 해석함수 사이의 중요한 중간 클래스를 구성한다. 이 개념을 비가환 및 비결합 대수 환경으로 확장하는 것은 이론적으로 중요한 의미가 있다.
- 기하학적 응용의 필요성: 초복소 기하학에서 다양체, 대수 집합 또는 해석 집합과 같은 기본 기하학적 대상을 정의하고 연구할 적절한 도구가 부족하며, 내시 함수의 확장은 이를 위한 새로운 경로를 제공할 수 있다.
- Fueter 정칙함수: 이론은 완전하지만 항등 사상 q ↦ q를 포함하지 않으므로 다항식과 멱급수를 포함하지 않는다.
- 직접 대수화 정의의 어려움: 사원수의 비가환성과 팔원수의 비결합성으로 인해, "다항식환 위에서 대수적"이라는 개념을 직접 확장하는 것에는 근본적인 어려움이 있다.
- 기하학 이론의 부족: 몇 가지 긍정적인 결과를 제외하고, 초복소 환경에서 기하학적 대상을 정의하고 연구하는 이론은 여전히 부족하다.
- 슬라이스-내시 함수의 "올바른" 정의 확립: 다양한 가능한 정의 방식을 깊이 있게 분석하여, 줄기 함수의 복소 성분이 복소 내시 함수인 정의를 제안했다.
- 다중 동치 특성화 제공: 분할 보조정리 성분 및 실수 성분 측면에서 슬라이스-내시 함수의 동치 특성화를 제시했다(정리 5.9 및 5.10).
- 대수 구조 증명: 슬라이스-내시 함수가 대안적 *-대수를 구성하며, 대칭 슬라이스 체 위에서 나눗셈환을 구성함을 증명했다(정리 5.16).
- 유한성 성질 확립: 전역 함수가 다항식, 영점 집합이 유한, 무한원점에서 다항식 유계 등을 포함한 슬라이스-내시 함수의 다중 유한성 성질을 증명했다.
- 반정칙 슬라이스-내시 함수 도입: 유리형 내시 함수와 유사하게, 해당하는 이론 틀을 확립했다.
본 논문의 핵심 작업은 사원수 H 및 팔원수 O 위에서 슬라이스-내시 함수를 정의하여, 고전적인 내시 함수와 유사한 성질, 특히 유한성 및 대수적 성질을 갖도록 하는 것이다.
줄기 함수 F: D → A⊗ℝC에 대해, 허수 단위 I ∈ SA와 관련된 분할 기저가 존재하여 함수 F^ℓ_{I,I_k}: D → C가 모든 ℓ = 1,2 및 k = 0,...,u_A에 대해 복소 내시 함수이면, F를 줄기-내시 함수라고 한다.
슬라이스 함수 f: Ω → A는 다음 조건을 만족할 때 슬라이스-내시 함수라고 한다:
- f ∈ SR_A(Ω) (f는 슬라이스 정칙)
- f를 유도하는 줄기 함수는 줄기-내시 함수
직접적인 대수화 정의와 달리, 본 논문은 "책장 분해" 방법을 채택하여 복소 슬라이스 위의 복소 내시 함수를 통해 슬라이스-내시 함수를 정의한다. 이는 비가환성 및 비결합성으로 인한 어려움을 피한다.
정리 1.4는 다섯 가지 동치 조건을 제공한다:
- 분할 기저를 통한 복소 성분 특성화
- 실수 기저를 통한 실수 성분 특성화
- 기저 선택의 독립성
정리 1.5는 SN_A(Ω)가 대안적 *-부분대수를 구성하며:
- Ω가 대칭 슬라이스 체이면, SN_A(Ω)는 나눗셈환
- Ω가 곱 체이면, N(f) ≡ 0인 영이 아닌 원소 f가 존재
본 논문은 주로 다음을 포함한 이론적 증명을 통해 결과를 검증한다:
- 구성적 예시:
- 슬라이스 다항식은 슬라이스-내시 함수
- √qJ (q의 제곱근에 허수 단위 J를 곱한 것)는 슬라이스-내시 함수
- (cos q)I + (sin q)J는 슬라이스-내시 함수가 아님
- 반례 구성: 구체적인 계산을 통해 일부 합리적으로 보이는 정의 방법이 실제로는 불가능함을 증명
- 분할 보조정리의 적용: 분할 보조정리를 이용하여 슬라이스 함수를 복소 함수 성분으로 분해
- 복소 내시 함수 이론의 활용: 알려진 복소 내시 함수 성질을 이용하여 슬라이스 버전 확립
- 대수 구조의 분석: 줄기 함수의 대수 연산을 통해 슬라이스-내시 함수의 대수적 성질 확립
- 전역 함수가 다항식(정리 6.1): f ∈ SN_A(A)이면, f ∈ Ax
- 영점 집합의 유한성(명제 6.3): 원판 영역에서, 슬라이스-내시 함수의 영점 집합은 유한개의 고립 영점과 고립 구면 영점의 합
- 무한원점에서의 다항식 유계(명제 6.12): 정수 m과 상수 C, R이 존재하여 ‖f(x)‖ ≤ C(1 + ‖x‖^m)
- 슬라이스-내시 함수는 슬라이스 도함수 아래에서 닫혀있음
- 대안적 *-대수 구조 구성
- 적절한 조건 하에서 나눗셈환 구성
- 전역 반정칙 슬라이스-내시 함수는 슬라이스 유리함수(정리 6.10)
- 극점의 유한성(보조정리 6.7)
- 정의의 유일성: 상세한 분석을 통해, 줄기 함수 복소 성분 기반 정의가 "올바른" 선택이며, 다른 시도들은 모두 근본적인 문제가 있음을 증명했다.
- 중간 성질: 슬라이스-내시 함수는 실제로 슬라이스 다항식과 슬라이스 정칙함수 사이의 중간 클래스를 구성하며, 적절한 유한성 성질을 갖는다.
- 비가환성의 처리: 비가환(사원수) 및 비결합(팔원수) 환경에서 내시 함수 이론을 성공적으로 확립했다.
- Fueter 정칙함수: 가장 초기의 사원수 정칙함수 이론이지만 다항식을 포함하지 않음
- Gentili-Struppa 이론: 슬라이스 정칙성 개념을 도입하여 다항식과 멱급수를 포함
- Ghiloni-Perotti 방법: 줄기 함수 기반 방법으로 일반 대안적 *-대수로 확장
- 고전적 내시 기하학: John Nash의 개척적 업적으로 실수 내시 함수 이론 확립
- 복소 내시 함수: 복소수 경우의 확장
- 대수 근사 이론: Coste-Ruiz-Shiota 등의 근사 정리
본 논문은 내시 함수 개념을 비가환 및 비결합 대수 환경으로 처음 성공적으로 확장하여 완전한 이론 틀을 확립했다.
- 슬라이스-내시 함수의 정의 및 이론 틀을 성공적으로 확립
- 이들 함수가 기대되는 유한성 및 대수적 성질을 갖는 것을 증명
- 초복소 기하학을 위한 새로운 연구 도구 제공
- 차원 제한: 현재 주로 단일 변수 경우에 초점을 맞추고 있으며, 다변수 이론은 여전히 발전 중
- 계산 복잡성: 실제 계산에서 복잡성 문제에 직면할 수 있음
- 응용 범위: 기하학적 응용은 추가 발전이 필요
- 다변수 확장: 여러 사원수 또는 팔원수 변수의 슬라이스-내시 함수 이론 발전
- 기하학적 응용: 내시 다양체 및 대수 집합 연구에 이론 적용
- 계산 방법: 효율적인 계산 알고리즘 개발
- 이론의 완전성: 정의, 특성화 및 성질 증명의 완전한 제공
- 방법의 혁신성: 비가환성 및 비결합성으로 인한 어려움을 교묘하게 처리
- 구조의 명확성: 논문이 잘 조직되어 있으며 동기에서 응용까지 논리적으로 명확
- 엄밀성: 모든 주요 결과가 완전한 수학적 증명을 포함
- 응용 예시의 제한: 더 많은 구체적인 기하학적 응용 예시 부족
- 계산 복잡성 미논의: 실제 계산의 복잡성 분석 없음
- 다른 이론과의 연결: 다른 초복소 이론과의 관계를 더 많이 논의할 수 있음
- 이론적 기여: 초복소 해석에 중요한 새로운 도구 제공
- 기하학적 의의: 초복소 기하학의 발전을 촉진할 가능성
- 학제간 응용: 물리학 및 공학에서의 응용 가능성
- 이론 연구: 초복소 해석 및 대수기하학 연구
- 기하학적 모델링: 비가환 구조가 필요한 기하학적 문제
- 물리학 응용: 양자역학 및 상대론에서의 응용 가능성
논문은 초복소 해석, 내시 기하학, 대수기하학 등 여러 분야의 중요한 업적을 포함한 62개의 참고문헌을 포함하여 연구에 견고한 이론적 기초를 제공한다.
종합 평가: 이것은 고품질의 이론 수학 논문으로, 고전적인 내시 함수 이론을 초복소 환경으로 성공적으로 확장했다. 논문의 이론적 기여는 상당하며, 방법은 혁신적이고, 증명은 엄밀하며, 초복소 해석 및 기하학을 위한 중요한 새로운 도구를 제공한다. 응용 측면에서는 발전의 여지가 있지만, 그 이론적 가치와 잠재적 영향은 무시할 수 없다.