Irregularity of hypergeometric systems via slopes along coordinate subspaces (Q925700): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2011198355 / rank | |||
Normal rank |
Revision as of 22:51, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Irregularity of hypergeometric systems via slopes along coordinate subspaces |
scientific article |
Statements
Irregularity of hypergeometric systems via slopes along coordinate subspaces (English)
0 references
22 May 2008
0 references
Let \(A\) be an integer-valued \(d \times n\) matrix of rank \(d\) and \(\beta \in \mathbb C^d\). The \(A\)-hypergeometric system is a \(D\)-module defined by \(A\) and \(\beta\). Here \(D = \mathbb C[x_1, \dots, x_n] \langle \partial_1, \dots, \partial_n \rangle\) is the Weyl algebra. In the present paper, the authors studies the irregularity of \(M_A(\beta)\). To do this, they introduce a filtration \(L = \{L_k D\}_k\) of \(D\) and use the associated graded ring \(\text{gr}^L D\). Let \((l_1, \dots, l_{2n}) \in \mathbb Q^{2n}\) such that \(l_1 + l_{n+1}\), \dots, \(l_n + l_{2n} \geq 0\). Then let \(L_k D\) be the vector space spanned by monomials \(x_1^{e_1} \cdots x_n^{e_n} \partial_1^{f_1} \cdots \partial_n^{f_n}\) such that \(\sum e_i l_i + \sum f_i e_{i+n} \leq k\). For such a filtration, they define an \((A, L)\)-umbrella, which is a cell complex, and the characteristic variety \(\text{Ch}^L(M_A(\beta))\), which is a subvariety of \(\text{Spec} \text{gr}^L D\). Furthermore, they define slopes of \(M_A(\beta)\) by using a family of filtrations parameterized by rational numbers. For an irreducible subvariety \(C \subset \text{Spec} \text{gr}^L D\), let \(\mu^{L,C}_{A,0}(\beta)\) be the multiplicity of \(\text{gr}^L M_A(\beta)\). The main result of this paper is the computation of \(\mu^{L,C}_{A,0}(\beta)\). As its consequence, they prove the converse of Hotta's theorem. That is, any \(A\)-hypergeometric system is homogeneous with respect to some filtration. The authors, moreover, define the Euler-Koszul \(L\)-characteristic along \(C\): \(\mu_{A,i}^{L,C}(-; \beta)\) (\(i = 0\), \(1\), \dots), which is a generalized notion of \(\mu_{A,0}^{L, C}(\beta)\). They also compute it.
0 references
\((A, L)\)-umbrella
0 references
irregularity sheaf
0 references
Euler-Koszul characteristic
0 references