[논문 리뷰] Polynomial ideals from a nonlinear viewpoint

Geraldo Botelho, Ewerton R. Torres|arXiv (Cornell University)|2016. 03. 01.

Advanced Banach Space Theory참고 문헌 53인용 수 3

한 줄 요약

이 논문은 다항식 양측 이상류—다른 동차 다항식과의 복합에 대해 닫혀 있는 동차 다항식의 집합—를 도입하고 체계적으로 연구한다. 이는 선형 연산자와의 복합에 대해만 닫혀 있는 고전적 다항식 이상류 이론을 일반화한다. 주요 기여는 텐서 안정성 연산자 이상류가 다항식 양측 이상류를 생성한다는 것을 입증하며, 절대 합산 및 컴팩트 연산자의 쌍대 등 구체적인 예를 제시한다. 또한 s-텐서 안정성이 바람직한 닫힘 성질을 유도한다는 것을 증명한다.

ABSTRACT

Classes of homogeneous polynomials between Banach spaces have been studied in the last three decades from the perspective of the so-called ideal property: if a polynomial P belongs to a class Q, then the composition u o P o v of P with linear operators u and v belongs to Q as well. In an attempt to explore the nonlinearity of the subject in a more consistent way, and taking into account recent results in the field, in this paper we propose the study of classes of homogeneous polynomials that are stable under the composition with homogeneous polynomials. Some importante classes justify the study of the intermediate concept of classes of polynomials Q such that if P belongs to Q, u is a linear operator and Q is a homogeneous polynomial, then u o P o Q belongs to Q.

연구 동기 및 목표

• 고전적 다항식 이상류 이론의 선형적 편향을 해결하기 위해, 동차 다항식과의 복합에 기반한 더 비선형적인 프레임워크를 도입한다.
• 다항식 양측 이상류를 정의하고 연구한다. 이는 임의의 동차 다항식과의 복합에 대해 닫혀 있는 다항식 집합을 의미한다.
• 한 개의 선형 다항식과 한 개의 동차 다항식과의 복합에 대해 닫혀 있는 다항식의 중간 개념인 다항식 초이데일을 도입한다.
• 다중선형 초이데일과 다항식 초이데일/양측 이상류 간의 관계를 설정한다.
• 텐서 안정성 연산자 이상류를 통해 새로운 및 기존의 다항식 양측 이상류를 체계적으로 구성한다.

제안 방법

• 임의의 동차 다항식과의 복합에 대해 닫혀 있는 동차 다항식의 집합으로 다항식 양측 이상류를 정의한다.
• 한 개의 선형 다항식과 한 개의 동차 다항식과의 복합에 대해 닫혀 있는 다항식의 집합으로 다항식 초이데일을 도입한다.
• 다중선형 초이데일과 다항식 초이데일 간의 연결 고리를 맺기 위해, 다중선형 다항식 집합으로부터 다항식 집합을 생성하는 방법을 제시한다.
• 만약 연산자 이상류가 텐서 안정성이라면, 관련 다항식 집합은 s-텐서 안정성이며, 이는 동차 다항식과의 복합에 대한 닫힘 성질을 유도한다.
• 대칭화 연산자와 포함 사상들을 사용하여 프로젝티브 대칭 텐서 곱과 전체 프로젝티브 텐서 곱 간의 관계를 규명한다.
• 기존의 연산자 이상류의 텐서 안정성에 관한 결과(예: 절대 합산, 핵심, 적분 연산자의 쌍대)를 활용하여 새로운 다항식 양측 이상류를 생성한다.

실험 결과

연구 질문

• RQ1 어떤 동차 다항식 집합이 임의의 동차 다항식과의 복합에 대해 닫혀 있으며, 고전적 다항식 이상류와 어떻게 다를까?
• RQ2 다중선형 초이데일 이론은 다항식 양측 이상류의 맥락으로 체계적으로 확장될 수 있는가?
• RQ3 어떤 조건이 연산자 이상류가 다항식 집합을 형성하는 데 있어 양측 이상류를 이룰 수 있도록 보장하는가?
• RQ4 고전적 다항식 이상류인 약한 컴팩트 또는 절대 합산 다항식은 새로운 양측 이상류 프레임워크에서 어떻게 행동하는가?
• RQ5 모든 s-텐서 안정성 연산자 이상류는 반드시 텐서 안정성을 가져야 하는가? 그리고 다항식 양측 이상류의 구성에 있어 이는 어떤 의미를 갖는가?

주요 결과

• 초핵심 다항식 집합은 가장 작은 다항식 양측 이상류이자 가장 작은 다항식 초이데일이다.
• 모든 텐서 안정성 연산자 이상류는 복합 구성 $\mathcal{I} \circ \mathcal{P}$를 통해 바나흐 다항식 양측 이상류를 생성한다.
• 절대 합산 $p$-연산자의 쌍대 $\Pi_p^{\text{dual}}$ 는 텐서 안정성이며, 따라서 다항식 양측 이상류를 생성한다.
• 분리 가능한 연산자의 이상류 $\mathcal{S}$ 와 이상류 $\overline{\mathcal{F}}^{\|\cdot\|}$, $\mathcal{N}$, $\mathcal{J}$, $\mathcal{L}_{\infty,q,\gamma}$, $\mathcal{L}_{1,q}$, $\mathcal{K}_{1,p}$, $\mathcal{J}_p^{\text{dual}}$, $\mathcal{K}_{1,p}^{\text{sur}}$ 는 모두 텐서 안정성이며, 따라서 다항식 양측 이상류를 생성한다.
• 논문은 모든 텐서 안정성 연산자 이상류가 s-텐서 안정성임을 증명하며, 이는 $\mathcal{I} \circ \mathcal{P}$ 가 다항식 양측 이상류임을 유도한다. 이는 이러한 집합을 구성하는 일반적인 방법을 제공한다.