[논문 리뷰] The Spinor Representation of Surfaces in Space

Rob Kusner, Nick Schmitt|arXiv (Cornell University)|1996. 10. 08.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 19

한 줄 요약

이 논문은 리만 곡면의 등각 임베딩을 R³에 대한 스피너 표현을 도입하여, 해석적 스핀어미션을 일반화한 것으로, 미니멀 표면을 매개변수화하기 위해 유리형 스피너 섹션 (s₁, s₂)을 사용한다. 주요 기여는 표면의 스핀 구조와 그 임베딩의 정규 호모토피류 사이의 직접적인 연결을 제공하며, Z₂-이차형식의 아르프 불변량이 임베딩으로의 정규 호모토피 가능성을 결정함으로써, W-임계 구와 실수 사영 평면의 완전한 분류를 이 프레임워크를 통해 제공한다.

ABSTRACT

The spinor representation is developed for conformal immersions of Riemann surfaces into space. We adapt the approach of Dennis Sullivan, which treats a spin structure on a Riemann surface M as a complex line bundle S whose square is the canonical line bundle K=T(M). Given a conformal immersion of M into \bbR^3, the unique spin strucure on S^2 pulls back via the Gauss map to a spin structure S on M, and gives rise to a pair of smooth sections (s_1,s_2) of S. Conversely, any pair of sections of S generates a (possibly periodic) conformal immersion of M under a suitable integrability condition, which for a minimal surface is simply that the spinor sections are meromorphic. A spin structure S also determines (and is determined by) the regular homotopy class of the immersion by way of a \bbZ_2-quadratic form q_S. We present an analytic expression for the Arf invariant of q_S, which decides whether or not the correponding immersion can be deformed to an embedding. The Arf invariant also turns out to be an obstruction, for example, to the existence of certain complete minimal immersions. The later parts of this paper use the spinor representation to investigate minimal surfaces with embedded planar ends. In general, we show for a spin structure S on a compact Riemann surface M with punctures at P that the space of all such (possibly periodic) minimal immersions of M\setminus P into \bbR^3 (upto homothety) is the the product of S^1 imes H^3 with the Grassmanian of 2-planes in a complex vector space \calK of meromorphic sections of S. An important tool -- a skew-symmetric form Ωdefined by residues of a certain meromorphic quadratic differential on M -- lets us compute how \calK varies as M and P are varied. Then we apply this to determine the moduli spaces of planar-ended minimal spheres and real projective planes, and also to construct a new family of minimal tori and a minimal Klein bottle with 4 ends. These surfaces compactify in S^3 to yield surfaces critical for the \Moebius invariant squared mean curvature functional W. On the other hand, Robert Bryant has shown all W-critical spheres and real projective planes arise this way. Thus we find at the same time the moduli spaces of W-critical spheres and real projective planes via the spinor representation.

연구 동기 및 목표

• R³로의 리만 곡면의 등각 임베딩을 위한 스피너 표현을 개발하여, 덴니스 설리반의 접근을 확장한다.
• 표면의 스핀 구조와 그 등각 임베딩의 정규 호모토피류 사이의 직접적 대응 관계를 수립한다.
• 스핀 구조와 관련된 Z₂-이차형식의 아르프 불변량을 사용하여, 최소 임베딩이 임베딩으로 정규 호모토피 가능할 조건을 규명한다.
• 스피너 표현을 통해 W-임계 구와 실수 사영 평면을 분류하여, 이들이 임베딩된 평면 끝과 특정한 스피너 데이터로부터 유래됨을 보인다.
• 유리형 스피너 섹션에 대한 잔류 기반 이차형식을 사용하여, 최소 표면의 새로운 예를 구성한다. 이에는 토러스와 잔여 끝이 있는 클라인 bot이 포함된다.

제안 방법

• 리만 곡면 M 위의 스핀 구조 S의 유리형 섹션 (s₁, s₂)을 통해 등각 임베딩을 표현하며, 임베딩은 Re∫(s₁²−s₂², i(s₁²+s₂²), 2s₁s₂)로 주어진다.
• 각 스핀 구조 S에 대해 정의된 Z₂-이차형식 q_S는 임베딩의 정규 호모토피류를 분류한다.
• M 위의 유리형 이차형식을 포함하는 잔류 기반 공식을 사용하여 q_S의 아르프 불변량을 해석적으로 계산한다.
• 유리형 이차형식의 잔류값을 통해 정의된 반대칭 이차형식 Ω를 사용하여, M과 구멍 P가 변화할 때 공간 K(유리형 스피너 섹션의 공간)의 변화를 분석한다.
• 임베딩된 평면 끝을 가진 최소 표면에 대해 스피너 표현을 적용하며, 모듈리 공간을 S¹×H³와 K의 2차원 부분공간의 그라스만ian의 곱으로 표현한다.
• 토러스 이중 커버에서의 폐쇄성 조건을 유도하기 위해 토러스 위의 실수 사이클을 따라 s₁²과 s₁s₂의 적분을 고려한다.

실험 결과

연구 질문

• RQ1 스피너 표현은 어떻게 리만 곡면의 R³로의 등각 임베딩을 매개변수화할 수 있는가?
• RQ2 표면의 스핀 구조와 그 표면의 R³로의 임베딩의 정규 호모토피류 사이의 정확한 관계는 무엇인가?
• RQ3 관련된 Z₂-이차형식의 아르프 불변량은 최소 임베딩이 임베딩으로 정규 호모토피 가능할 조건을 어떻게 결정하는가?
• RQ4 스피너 표현을 통해 S³ 내의 모든 W-임계 구와 실수 사영 평면을 분류할 수 있는가?
• RQ5 임베딩된 평면 끝을 가진 최소 표면의 모듈리 공간은 무엇이며, 그 기초가 되는 리만 곡면과 구멍에 따라 어떻게 변화하는가?

주요 결과

• 스핀 구조 S에 관련된 Z₂-이차형식 q_S의 아르프 불변량은 해당 최소 임베딩이 임베딩으로 정규 호모토피 가능할지 여부를 결정한다.
• 임베딩된 평면 끝을 가진 최소 표면의 경우, 임베딩의 모듈리 공간(동차성에 대해 정규화된 상태)은 S¹×H³×Gr(2, K)와 동형이며, 여기서 K는 유리형 스피너 섹션의 공간이다.
• 유리형 이차형식의 잔류값을 통해 정의된 이차형식 Ω는 K를 영으로 만들며, K가 리만 곡면과 구멍의 변화에 따라 어떻게 변하는지를 지배한다.
• S³ 내의 모든 W-임계 구와 실수 사영 평면은 임베딩된 평면 끝을 가진 최소 임베딩의 스피너 표현에서 유래하며, 이 방법을 통해 그들의 모듈리 공간이 완전히 분류된다.
• 잔여 기반 이차형식을 사용하여, 네 개의 임베딩된 평면 끝을 가진 최소 토러스와 네 개의 끝을 가진 최소 클라인 볼의 새로운 가족을 구성하였다. 후자는 S³에서 컴actify되어 W-임계 표면을 얻는다.
• 유한 총 곡률을 가진 클라인 볼의 경우, 이중 커버는 2ω₁∈R과 2ω₃∈iR로 생성된 격자 Λ를 가진 직사각형 토러스 C/Λ이며, 덱 변환은 I(u)=ū+ω₁이다. 허용 가능한 스핀 구조는 ℘(u)−℘(ω₂)와 ℘(u)−℘(ω₃)로 결정된다.