Hostname: page-component-78c5997874-ndw9j Total loading time: 0 Render date: 2024-11-04T19:44:47.212Z Has data issue: false hasContentIssue false

Irreducible quotients of A-hypergeometric systems

Published online by Cambridge University Press:  17 August 2010

Mutsumi Saito*
Affiliation:
Department of Mathematics, Hokkaido University, Sapporo, 060-0810, Japan (email: [email protected])
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Gel’fand, Kapranov and Zelevinsky proved, using the theory of perverse sheaves, that in the Cohen–Macaulay case an A-hypergeometric system is irreducible if its parameter vector is non-resonant. In this paper we prove, using the theory of the ring of differential operators on an affine toric variety, that in general an A-hypergeometric system is irreducible if and only if its parameter vector is non-resonant. In the course of the proof, we determine the irreducible quotients of an A-hypergeometric system.

Type
Research Article
Copyright
Copyright © Foundation Compositio Mathematica 2010

References

[1]Bernstein, I. N., Gel’fand, I. M. and Gel’fand, S. I., A category of 𝔤-modules, Funct. Anal. Appl. 10 (1976), 8792.Google Scholar
[2]Fulton, W., Introduction to toric varieties, Annals of Mathematics Studies, vol. 131 (Princeton University Press, Princeton, NJ, 1993).CrossRefGoogle Scholar
[3]Gel’fand, I. M., Kapranov, M. M. and Zelevinskii, A. V., Generalized Euler integrals andA-hypergeometric functions, Adv. Math. 84 (1990), 255271.Google Scholar
[4]Hotta, R., Takeuchi, K. and Tanisaki, T., D-modules, perverse sheaves, and representation theory, Progress in Mathematics, vol. 236 (Birkhäuser, Boston, 2008).Google Scholar
[5]Kashiwara, M., D-modules and microlocal calculus, Translations of Mathematical Monographs, vol. 217 (American Mathematical Society, Providence, RI, 2003).Google Scholar
[6]Matusevich, L. F., Miller, E. and Walther, U., Homological methods for hypergeometric families, J. Amer. Math. Soc. 18 (2005), 919941.CrossRefGoogle Scholar
[7]McConnel, J. C. and Robson, J. C., Noncommutative Noetherian rings (Wiley, Chichester, 1987).Google Scholar
[8]Musson, I. M., Rings of differential operators on invariants of tori, Trans. Amer. Math. Soc. 303 (1987), 805827.Google Scholar
[9]Musson, I. M. and Van den Bergh, M., Invariants under tori of rings of differential operators and related topics, Mem. Amer. Math. Soc. 650 (1998).Google Scholar
[10]Saito, M., Isomorphism classes of A-hypergeometric systems, Compositio Math. 128 (2001), 323338.Google Scholar
[11]Saito, M., Primitive ideals of the ring of differential operators on an affine toric variety, Tohoku Math. J. 59 (2007), 119144.Google Scholar
[12]Saito, M., Sturmfels, B. and Takayama, N., Gröbner deformations of hypergeometric differential equations, Algorithms and Computation in Mathematics, vol. 6 (Springer, New York, 2000).CrossRefGoogle Scholar
[13]Saito, M. and Traves, W. N., Differential algebras on semigroup algebras, Contemporary Mathematics, vol. 286 (American Mathematical Society, Providence, RI, 2001), 207226.Google Scholar
[14]Saito, M. and Traves, W. N., Finite generations of rings of differential operators of semigroup algebras, J. Algebra 278 (2004), 76103.CrossRefGoogle Scholar
[15]Schulze, M. and Walther, U., Hypergeometric D-modules and twisted Gauss–Manin systems, J. Algebra 322 (2009), 33923409.Google Scholar
[16]Smith, S. P. and Stafford, J. T., Differential operators on an affine curve, Proc. London Math. Soc. 56 (1988), 229259.CrossRefGoogle Scholar
[17]Walther, U., Duality and monodromy reducibility of A-hypergeometric system, Math. Ann. 338 (2007), 5574.Google Scholar