Computing obstructions for existence of connections on modules

Details Computing obstructions for existence of connections on modules Computing obstructions for existence of connections on modules

2006-02-27

arxiv.org/abs/math/0602616v3

J. Symb. Comput. 42 (2007), no. 3, pp. 313-323

Mathematics

Algebraic Geometry

14 pages, LaTeX, paper re-organized, new references added. To appear in Journal of Symbolic Computation

Scientific paper

10.1016/j.jsc.2006.10.001

We consider the notion of a connection on a module over a commutative ring, and recall the obstruction calculus for such connections. The obstruction calculus is defined using Hochschild cohomology. However, in order to compute with Grobner bases, we need the conversion to a description using free resolutions. We describe our implementation in Singular 3.0, available as the library conn.lib. Finally, we use the library to verify some known results and to obtain a new theorem for maximal Cohen-Macaulay (MCM) modules on isolated singularities. For a simple hypersurface singularity of dimension one or two, it is known that all MCM modules admit connections. We prove that for a simple threefold hypersurface singularity of type A_n, D_n or E_n, only the free MCM modules admit connections if n is at most 50.

Affiliated with

Also associated with

No associations

Rating

Computing obstructions for existence of connections on modules does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Computing obstructions for existence of connections on modules, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computing obstructions for existence of connections on modules will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-485883