Console S, Fino A. On the de Rham cohomology of solvmanifolds[J]. Annali Della Scuola Normale Superiore Di Pisa-classe Di Scienze, 2009, 10(4): 801-818.
2
Hisashi Kasuya. Formality and hard Lefschetz property of aspherical manifolds. 2009.
3
Fino A, Vezzoni L. Some results on cosymplectic manifolds[J]. Geometriae Dedicata, 2008, 151(1): 41-58.
4
Hisashi Kasuya. Vaisman metrics on solvmanifolds and Oeljeklaus-Toma manifolds. 2012.
5
Giovanni Bazzoni · John Oprea. On the structure of co-Kähler manifolds. 2013.
6
Hisashi Kasuya. Flat Bundles and Hyper-Hodge Decomposition on Solvmanifolds. 2013.
7
Fino A, Kasuya H. Tamed symplectic structures on compact solvmanifolds of completely solvable type[C]., 2014.
8
Yoshinobu Kamishima · Mayumi Nakayama. On the Holomorphic Torus-Bott Tower of Aspherical Manifolds. 2014.
9
Hajduk B, Tralle A. Exotic smooth structures and symplectic forms on closed manifolds[J]. Geometriae Dedicata, 2006, 132(1): 31-42.
10
Oliver Baues · Johannes Riesterer. Virtually abelian K\"ahler and projective groups. 2009.
Katz N M. Nilpotent connections and the monodromy theorem : applications of a result of Turrittin[J]. Publications Mathématiques de l\u0027IHÉS, 1970, 39(1): 175-232.
2
A H M Levelt. Jordan decomposition for a class of singular differential operators. 1975.
3
Izobov N A. Linear systems of ordinary differential equations[J]. Journal of Mathematical Sciences, 1976, 5(1): 46-96.
4
Freiling G, Yurko V A. Inverse Spectral Problems for Differential Equations on the Half-Line with Turning Points[J]. Journal of Differential Equations, 1999, 154(2): 419-453.
5
Barkatou M A, Pflugel E. An algorithm computing the regular formal solutions of a system of linear differential equations[J]. Journal of Symbolic Computation, 1999, 28(4): 569-587.
6
Braaksma B. Multisummability and Stokes multipliers of linear meromorphic differential equations[J]. Journal of Differential Equations, 1991, 92(1): 45-75.
7
Glasser A H, Jardin S C, Tesauro G, et al. Numerical solution of the resistive magnetohydrodynamic boundary layer equations[J]. Physics of Fluids, 1984, 27(5): 1225-1242.
8
Varadarajan V S. Linear meromorphic differential equations: A modern point of view[J]. Bulletin of the American Mathematical Society, 1996, 33(1): 1-42.
9
Turrittin H L. Reduction of ordinary differential equations to the Birkhoff canonical form[J]. Transactions of the American Mathematical Society, 1963, 107(3): 485-507.
10
Moulay A Barkatou. An algorithm to compute the exponential part of a formal fundamental matrix solution of a linear differential system. 1997.
We show that the FI-homology of an FI-module can be computed via a Koszul complex. As an application, we prove that the Castelnuovo-Mumford regularity of a finitely generated torsion FI-module is equal to its degree.