Connections on modules over singularities of finite CM representation type

DOI10.1016/J.JPAA.2007.10.008MaRDI QIDQ2481799zbMATH OpenOpenAlexFDO

Authors Eivind Eriksen, Trond Stølen Gustavsen

Publication date 15 April 2008

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0606638

canonical module integrable connections maximal Cohen-Macaulay modules simple singularity threefold

Cohen-Macaulay modules (13C14) Commutative rings of differential operators and their modules (13N10) Singularities in algebraic geometry (14B05) Monodromy; relations with differential equations and (D)-modules (complex-analytic aspects) (32S40)

Abstract: Let A be a commutative k-algebra, where k is an algebraically closed field of characteristic 0, and let M be an A-module. We consider the following question: Under what conditions on A and M is it possible to find a connection on M? We consider maximal Cohen-Macaulay (MCM) modules over complete CM algebras that are isolated singularities, and usually assume that the singularities have finite CM representation type. It is known that over a simple singularity of dimension at most two, any MCM module admits an integrable connection. We prove that over a simple singularity of dimension at least three, an MCM module admits connections if and only if it is free. Among singularities of finite CM representation type, we find examples of curves with MCM modules that do not admit connections, and threefolds with non-free MCM modules that do admit connections. Let A be a singularity not necessarily of finite CM representation type, and consider the condition that A is a Gorenstein curve or a Q-Gorenstein singularity of dimension at least two. We show that this condition is sufficient for the canonical module of A to admit an integrable connection, and conjecture that it is also necessary. In support of the conjecture, we show that if A is a monomial curve singularity, then the canonical module of A admits an integrable connection if and only if A is Gorenstein.

Review text

Let \(A\) be a commutative algebra over an algebraically closed field \(k\) of characteristic 0 and \(M\) an \(A\)-module. An \(A\)-linear morphism \(f:\text{Der}_k(A)\rightarrow \text{End}_k(M)\) such that \(f_D(am)=af_D(m)+D(a)m\), for all \(D\in \text{Der}_k(A)\), \(a\in A\), \(m\in M\) is called a connection on \(M\). If \(f\) is also a Lie algebra morphism then \(f\) is an integrable connection. If \(A\) is a simple singularity of dimension \(d\leq 2\) then any maximal Cohen-Macaulay (shortly MCM) \(A\)-module admits an integrable connection. When \(d>2\) then a MCM \(A\)-module admits a connection if and only if it is free. It gives examples of curves with MCM modules that do not admit connections and threefolds with non-free MCM modules that admit connections. If \(A\) is a complete local ring of a monomial curve singularity then the canonical \(A\)-module admits a connection if and only if \(A\) is Gorenstein.

Recommendations

Cites work

Cited in

(8)

Describes a project that uses

Uses Software

This page was built for publication: Connections on modules over singularities of finite CM representation type

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2481799)