[논문 리뷰] Canonical systems and non-commutative geometry

Lieven Le Bruyn, Markus Reineke|ArXiv.org|2003. 03. 25.

Advanced Topics in Algebra인용 수 8

한 줄 요약

이 논문은 선형 제어 시스템을 비가환 기하학과 연결하는 기하적 프레임워크를 수립한다. 고정된 입력 및 출력 차원 $m$과 $p$를 갖는 표준 선형 제어 시스템의 모듈리 공간들의 분리합집합을 무한 그라스만이안 $\mathrm{Gras}_{m+p}(\infty)$에 통합한다. 주요 결과는 이 합집합이 무한 그라스만이안의 열린 부분다양체임을 보여주며, 이 통합은 표준형과 선형 관계를 이용한 쌍대성 구성에 의해 실현된다. 이는 모든 상태공간 차원을 아우르는 제어 시스템에 대한 전역 기하적 구조를 제공한다.

ABSTRACT

Inspired by ideas from non-commutative geometry, unions of moduli spaces of linear control systems are identified as open subsets of infinite Grassmannians.

연구 동기 및 목표

• 다양한 상태공간 차원에 걸쳐 표준 선형 제어 시스템의 모듈리 공간들을 하나의 기하적 객체로 통합하는 것.
• 컨체비치의 프레임워크를 활용한 비가환 기하학 기법—특히 단순 표현이 표준 시스템을 분류하는 비가환 대수를 특정함으로써 제어 이론에 적용하는 것.
• 모든 표준 시스템의 공간을 무한 그라스만이안 $\mathrm{Gras}_{m+p}(\infty)$의 열린 부분집합으로 기하학적으로 실현함으로써, 계층적인 전역 기하적 구조를 확립하는 것.

제안 방법

• 표준 시스템을 방향 화살이 $m$개이고 반대 방향 화살이 $p$개인 퀼레르에서 차원 벡터 $(1,n)$에 대한 단순 표현의 동형류로 표현한다.
• 행렬 $L_\Sigma = [B \; C^{tr} \; A]$의 열들 사이의 선형 관계를 이용하여 완전 가측 시스템 $\mathrm{sys}^{cc}_{m,n,p}$의 모듈리 공간에서 그라스만이안 $\mathrm{Gras}_{m+p}(m+p+n)$로의 사상 구축.
• 가측성과 관측성 사이의 쌍대성을 이용하여 $\mathrm{sys}^{cc}_{m,n,p}$와 $\mathrm{sys}^{co}_{m,n,p}$를 연결하고, 전체 표준 시스템의 합집합으로의 통합을 확장한다.
• 이 통합의 상을 다중지표 집합 $I$와 $J$에 의해 정의된 표준 아핀 열린 부분집합 $X_I$와 $X_J$의 교차로 특성화하며, 각각 $\{m+1,\dots,m+p,m+p+n\} \subset I$ 및 $\{1,\dots,m,m+p+n\} \subset J$ 를 만족한다.
• 그라스만이안 위에 벡터 번들의 형태로 표현되는 $\mathrm{sys}^{cc}_{m,n,p}$와 $\mathrm{sys}^{co}_{m,n,p}$의 셀 분해를 활용하여 무한 합집합의 코homological 및 기하적 구조를 뒷받침한다.
• 체 $\mathbb{F}_q$ 위에서의 $q$-이항계수 항등식과 수세기 계산을 적용하여 $\mathbb{F}_q$-유리점의 수에 대한 생성함수 유도. 이는 무한 그라스만이안의 코homology와 일치함을 확인한다.

실험 결과

연구 질문

• RQ1 다양한 상태공간 차원에 대해 정의된 표준 선형 제어 시스템의 모듈리 공간들을 하나의 기하적 객체로 통합할 수 있는가?
• RQ2 비가환 기하학, 특히 퀄레르 표현과 형식적으로 매끄러운 대수를 통해 제어 시스템을 분류하고 기하학적으로 정렬할 수 있는가?
• RQ3 분리합집합 $\bigsqcup_n \mathrm{sys}^{c}_{m,n,p}$의 전역 기하적 성격은 무엇이며, 이는 어떻게 무한차원 그라스만이안에 통합되는가?
• RQ4 이 통합의 상을 정의하는 조건은 무엇이며, 이는 슈부르트 셀 분해와 표준 아핀 열린 부분집합과 어떻게 관련되는가?

주요 결과

• 모듈리 공간들의 분리합집합 $\bigsqcup_n \mathrm{sys}^{c}_{m,n,p}$ 는 무한 그라스만이안 $\mathrm{Gras}_{m+p}(\infty)$ 의 열린 부분다양체를 이룬다. 이 통합은 시스템 행렬 간 선형 관계에 대한 쌍대성 구성에 의해 실현되며, 모든 상태공간 차원을 아우르는 제어 시스템에 대한 전역 기하적 구조를 제공한다.
• 이 통합의 상은 다중지표 $I$와 $J$에 의해 정의된 표준 아핀 열린 부분집합 $X_I$와 $X_J$의 교차로 특성화되며, 각각 $\{m+1,\dots,m+p,m+p+n\} \subset I$ 및 $\{1,\dots,m,m+p+n\} \subset J$ 를 만족한다.
• $\mathrm{sys}^{cc}_{m,n,p}$의 모듈리 공간은 차원 $(p+1)n$인 벡터 번들의 셀 분해와 동일한 형태를 가지며, 이는 그라스만이안 $\mathrm{Gras}_n(m+n-1)$ 위에 존재한다. 그러나 $m=n$일 경우 자체로는 벡터 번들이 아니다.
• $\mathrm{sys}^{cc}_{m,n,p}$의 $\mathbb{F}_q$-유리점 수에 대한 생성함수는 $\sum_{n=0}^\infty \#\mathrm{sys}^{cc}_{m,n,p}(\mathbb{F}_q) t^n = \prod_{i=1}^m \frac{1}{1 - q^{p+i}t}$ 로 주어지며, 이는 무한 그라스만이안 $\mathrm{Gras}_{m+p}(\infty)$ 의 코homology의 한 인자와 정확히 일치한다.
• $\mathrm{sys}^{c}_{m,n,p}$의 모듈리 공간은 준아핀 다양체임을 보여주며, 이는 퀄레르 표현 이론을 통해 허츠벨린의 결과를 확인한다.
• 이 구성은 각 차원 $n$에 해당하는 고정된 상태공간 차원에 대응하는 각각의 스트라툼을 가진 무한 그라스만이안의 자연스러운 계층화를 제공한다.