[論文レビュー] Slice hyperholomorphicity of the $S$-resolvent operators and boundary conditions

Francesco Mantovani|arXiv (Cornell University)|Feb 4, 2026

Algebraic and Geometric Analysis被引用数 0

ひとこと要約

The paper develops the S-spectrum for Clifford operators under boundary conditions by restricting the Q_s[T] pseudo-resolvent to a boundary subspace, studies continuity and analyticity of the S-resolvent operators, and analyzes commutativity conditions that affect slice hyperholomorphy.

ABSTRACT

The foundation of spectral theory on the $S$-spectrum can be traced back to the quaternionic framework of quantum mechanics. The concept of $S$-spectrum for quaternionic operators emerged as the natural spectrum in slice hyperholomorphic functional calculi, known as the $S$-functional calculus and also utilized in the quaternionic spectral theorem. This spectral theory extends to Clifford operators. A key distinction from classical complex spectral theory lies in the definition of the $S$-spectrum, which is second order in the operator $T$, and in the $S$-resolvent operators that turns out to be the product of two different operators. This study delves into the analyticity of the $S$-resolvent operators under specified boundary conditions for the $S$-spectral problem. The spectral theory on the $S$-spectrum also provides deeper insights into classical spectral theory.

研究の動機と目的

• Motivate and formalize spectral theory on the S-spectrum in Clifford settings with boundary conditions B.
• Define the S-spectrum and S-resolvent under boundary constraints and compare with the classical (no-boundary) case.
• Investigate how boundary conditions affect analyticity and holomorphicity properties of S-resolvent operators.
• Bridge the gap between domain choices for T and the boundary-influenced invertibility of Q_s,B[T].

提案手法

• Define the restricted second-order operator Q_{s,B}[T] = Q_s[T] on dom_B(T^2) = dom(T^2) ∩ B.
• Introduce S-resolvent operators S_{L,B}^{-1}(s,T) and S_{R,B}^{-1}(s,T) using Q_{s,B}[T]^{-1} and study their slice hyperholomorphic structure.
• Prove that S_{L,B}^{-1} and S_{R,B}^{-1} are right and left slice functions on the S-resolvent set with boundary conditions.
• Show continuity and then differentiability of Q_{s,B}[T]^{-1} and of the S-resolvent operators with respect to the spectral parameter s.
• Derive Cauchy-Riemann-type relations for the S-resolvent components and identify when they hold under boundary constraints.
• Provide criteria (Proposition 5.2) ensuring the Cauchy-Riemann equations hold in certain vectors v via commutator conditions.

実験結果

リサーチクエスチョン

• RQ1 What is the S-spectrum when the operator is restricted to a boundary-condition subspace B?
• RQ2 How do boundary conditions influence the invertibility of Q_{s,B}[T] and the openness of the S-resolvent set?
• RQ3 Are the S-resolvent operators still slice hyperholomorphic under boundary conditions, and what commutativity conditions are required?
• RQ4 Under which conditions do the Cauchy-Riemann equations for the S-resolvent hold on vectors in the boundary-influenced domain?
• RQ5 How do continuity and analyticity properties of the S-resolvent operators change when T does not commute with Q_{s,B}[T] on dom(T)?

主な発見

• The S-resolvent set with boundary conditions is defined via Q_{s,B}[T]^{-1} on dom_B(T^2), yielding a spectrum that generalizes the classic one but may lose holomorphicity.
• S_{L,B}^{-1}(s,T) and S_{R,B}^{-1}(s,T) are shown to be continuously differentiable slice functions on the boundary-conditioned resolvent set.
• Continuity and differentiability of Q_{s,B}[T]^{-1} and the S-resolvent operators are established under boundary constraints, enabling a Cauchy formula framework in this setting.
• The Cauchy-Riemann equations for the S-resolvent components are linked to the commutativity of T with Q_{s,B}[T]^{-1}, with explicit expressions derived (and conditions given in Proposition 5.2).
• Proposition 3.4 characterizes when T and Q_{s,B}[T]^{-1} commute on the range relevant to the boundary conditions, tying spectral properties to boundary behavior.