[논문 리뷰] Rings with Topologies Induced by Spaces of Functions

Răzvan Gelca|ArXiv.org|1996. 04. 10.

Holomorphic and Operator Theory참고 문헌 4인용 수 16

한 줄 요약

이 논문은 함수공간에 의해 유도된 위상이 부여된 Noetherian 링에서 닫힌 아이디얼과 닫힌 부분모듈 간의 위상적 이중성을 수립한다. 이는 닫힌 아이디얼의 관련 소수 아이디얼이 닫혀 있고, 그 반대도 마찬가지로 성립함을 보이며, 위상적 Nullstellensatz에 따라 증명된다. 이는 하디 공간과 베르그만 공간에 의해 유도된 위상이 부여된 다항식 링에서 성립하며, 유한 차원 여부가 있는 닫힌 아이디얼과 관련된 닫힌 부분모듈 간의 일대일 대응을 보여준다.

ABSTRACT

The paper contains the proof, in dimension 2, of a conjecture of R. G. Douglas and V. Paulsen concerning the characterization of the ideals of polynomials which are closed in the relative topology induced by the Hardy space of the polydisk.

연구 동기 및 목표

• 함수해석학적 해석적 함수 공간에 의해 유도된 위상이 부여된 Noetherian 링에서 아이디얼의 위상적 성질을 조사한다.
• 문헌 [5]에서 제기된 질문을 해결한다: 닫힌 아이디얼의 관련 소수 아이디얼이 스스로도 닫혀 있는가?
• 다항식 및 해석적 함수의 링에 대해 위상적 버전의 Nullstellensatz를 수립한다.
• 이러한 링에서 유한 차원 여부가 있는 닫힌 아이디얼과 유한 차원 여부가 있는 닫힌 부분모듈 간의 일대일 대응을 보인다.
• 결과를 다변수 단위구 위의 하디 공간, 단위구 위의 베르그만 공간, 그리고 레인하르트 영역으로 확장한다.

제안 방법

• 해석적 함수 공간(예: 하디, 베르그만)의 힐버트 공간 위상이 다항식 또는 해석적 함수 링에 유도된 위상을 사용한다.
• 곱셈의 개별 연속성과 덧셈의 연속성을 적용하여 아이디얼의 닫힘 성질을 분석한다.
• 아이디얼의 루트와 귀납적 연속성 추론을 사용하여, 닫힌 아이디얼의 루트가 닫혀 있음을 증명한다.
• 주요 분해와 아이디얼 몫 (I:f)을 사용하여, 닫힌 아이디얼의 관련 소수 아이디얼이 닫혀 있음을 보인다.
• 거듭제곱이 밀도를 이룬다는 조건을 만족하는 극대 아이디얼의 집합 C를 도입하고, J-adic 위상을 사용하여 닫힌 아이디얼을 특성화한다.
• 크룰의 정리와 조건 J + P_i ≠ R을 적용하여 J-adic 위상에서의 닫힘 성질을 확인한다.

실험 결과

연구 질문

• RQ1 함수공간에 의해 유도된 위상이 부여된 링에서 아이디얼이 닫혀 있다면, 그와 관련된 모든 소수 아이디얼도 닫혀 있는가?
• RQ2 위상적 Nullstellensatz가 성립하는 조건은 무엇인가? 즉, 닫힌 아이디얼이 닫힌 관련 소수 아이디얼에 의해 특성화되는가?
• RQ3 이러한 링에서 유한 차원 여부가 있는 닫힌 아이디얼과 유한 차원 여부가 있는 닫힌 부분모듈 간의 관계는 무엇인가?
• RQ4 하디 공간, 베르그만 공간, 레인하르트 영역의 L^2 노름에 의해 유도된 위상은 아이디얼의 닫힘 성질에 어떤 영향을 미치는가?
• RQ5 어느 레인하르트 영역에서, 다항식 링이 영역 위의 L^2-위상과 함께 주어졌을 때, 극대 아이디얼이 밀도를 이룬다거나 더 약한 J-adic 위상이 적용되는가?

주요 결과

• 함수공간에 의해 유도된 위상이 부여된 Noetherian 링에서 아이디얼 I가 닫혀 있다면, I와 관련된 모든 소수 아이디얼도 닫혀 있다.
• 역으로, 위상적 Nullstellensatz가 만족된다면 성립한다: 어떤 아이디얼의 모든 관련 소수 아이디얼이 닫혀 있다면, 그 아이디얼 자체도 닫혀 있다.
• 링의 위상적 완비화는 모듈이 되며, 유한 차원 여부가 있는 닫힌 아이디얼과 유한 차원 여부가 있는 닫힌 부분모듈 간의 일대일 대응이 존재하며, 이는 주요 분해를 유지한다.
• 다항식 링 C[z₁,z₂]에 하디 공간이 유도하는 위상이 부여된 다변수 다항식 링에서, 위상적 Nullstellensatz가 성립하며, 닫힌 아이디얼과 부분모듈 간의 대응이 유효하다.
• 단위구의 근방에서 정의된 해석적 함수 링에 베르그만 공간이 유도하는 위상이 부여된 경우, 경계점에 대응하는 극대 아이디얼은 밀도를 이룬다. 이는 위상적 Nullstellensatz의 조건을 만족한다.
• 레인하르트 영역 Ω_{p,q} = { |z₁|^p + |z₂|^q < 1 }에서, C[z₁,z₂]에 대한 L^2-위상은 주요 정리의 가정을 만족하며, 점이 경계 위에 있을 경우 극대 아이디얼은 밀도를 이룬다.