Showing 1–7 of 7 results for author: Gustavsen, T S

Deformations of rational surface singularities and reflexive modules with an application to flops

Authors: Trond Stølen Gustavsen, Runar Ile

Abstract: Blowing up a rational surface singularity in a reflexive module gives a (any) partial resolution dominated by the minimal resolution. The main theorem shows how deformations of the pair (singularity, module) relates to deformations of the corresponding pair of partial resolution and locally free strict transform, and to deformations of the underlying spaces. The results imply some recent conjectur… ▽ More Blowing up a rational surface singularity in a reflexive module gives a (any) partial resolution dominated by the minimal resolution. The main theorem shows how deformations of the pair (singularity, module) relates to deformations of the corresponding pair of partial resolution and locally free strict transform, and to deformations of the underlying spaces. The results imply some recent conjectures on small resolutions and flops. △ Less

Submitted 18 January, 2019; v1 submitted 5 September, 2016; originally announced September 2016.

Comments: v3, 26 pages. Section 2.4 on Ext and base-change is expanded. The proof of Lemma 2.9 is rewritten. Added remarks (6.5, 6.8 and 6.9), in particular relating to some added references concerning the Homological MMP. Some further additions and changes. The article is published (Adv. Math. 340 (2018), 1108--1140) with open access

MSC Class: 14B07; 14E30 (Primary); 14D23; 14E16 (Secondary)

Equivariant Lie-Rinehart cohomology

Authors: Eivind Eriksen, Trond S. Gustavsen

Abstract: In this paper, we study Lie-Rinehart cohomology for quotients of singularities by finite groups, and interpret these cohomology groups in terms of integrable connection on modules. In this paper, we study Lie-Rinehart cohomology for quotients of singularities by finite groups, and interpret these cohomology groups in terms of integrable connection on modules. △ Less

Submitted 14 December, 2008; originally announced December 2008.

Comments: 7 pages, LaTeX, based on a talk I gave at the AGMF Baltic-Nordic Workshop in Tartu, 9-11 October, 2008

Journal ref: Proc. Estonian Acad. Sci. Phys. Math. 59 (2010), no. 4, 294-300

Lie-Rinehart cohomology and integrable connections on modules of rank one

Authors: Eivind Eriksen, Trond Stølen Gustavsen

Abstract: Let $k$ be an algebraically closed field of characteristic 0, let $R$ be a commutative $k$-algebra, and let $M$ be a torsion free $R$-module of rank one with a connection $\nabla$. We consider the Lie-Rinehart cohomology with values in $End_{R}(M)$ with its induced connection, and give an interpretation of this cohomology in terms of the integrable connections on $M$. When $R$ is an isolated sin… ▽ More Let $k$ be an algebraically closed field of characteristic 0, let $R$ be a commutative $k$-algebra, and let $M$ be a torsion free $R$-module of rank one with a connection $\nabla$. We consider the Lie-Rinehart cohomology with values in $End_{R}(M)$ with its induced connection, and give an interpretation of this cohomology in terms of the integrable connections on $M$. When $R$ is an isolated singularity of dimension $d\geq2$, we relate the Lie-Rinehart cohomology to the topological cohomology of the link of the singularity, and when $R$ is a quasi-homogenous hypersurface of dimension two, we give a complete computation of the cohomology. △ Less

Submitted 16 October, 2008; originally announced October 2008.

Comments: 13 pages

Connections on modules over singularities of finite CM representation type

Authors: Eivind Eriksen, Trond S. Gustavsen

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 C… ▽ More 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. △ Less

Submitted 26 June, 2006; originally announced June 2006.

Comments: 26 pages, LaTeX

Journal ref: J.Pure Appl. Algebra 212 (2008), no. 7, 1561-1574

Computing obstructions for existence of connections on modules

Authors: Eivind Eriksen, Trond S. Gustavsen

Abstract: 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. Fin… ▽ More 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. △ Less

Submitted 2 October, 2006; v1 submitted 27 February, 2006; originally announced February 2006.

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

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

On the cotangent cohomology of rational surface singularities with almost reduced fundamental cycle

Authors: Trond Stolen Gustavsen

Abstract: We prove dimension formulas for the cotangent spaces $T^{1}$ and $T^{2}$ for a class of rational surface singularities by calculating a correction term in the general dimension formulas. We get that it is zero if the dual graph of the rational surface singularity $X$ does not contain a particular type of configurations, and this generalizes a result of Theo de Jong stating that the correction te… ▽ More We prove dimension formulas for the cotangent spaces $T^{1}$ and $T^{2}$ for a class of rational surface singularities by calculating a correction term in the general dimension formulas. We get that it is zero if the dual graph of the rational surface singularity $X$ does not contain a particular type of configurations, and this generalizes a result of Theo de Jong stating that the correction term $c(X)$ is zero for rational determinantal surface singularities. In particular our result implies that $c(X)$ is zero for Riemenschneiders quasi-determinantal rational surface singularities, and this also generalise results for qoutient singularities. △ Less

Submitted 14 December, 2003; originally announced December 2003.

Comments: 11 pages, one figure

Report number: Dept. of Math. Univ. of Oslo. Pure Math. No. 34, ISSN 0806-2439 MSC Class: 14B07; 14B10; 13D03

On infinitesimal deformations and obstructions for rational surface singularities

Authors: Jan Arthur Christophersen, Trond Stoelen Gustavsen

Abstract: The purpose of this paper is to prove dimension formulas for $T^1$ and $T^2$ for rational surface singularities. These modules play an important role in the deformation theory of isolated singularities in analytic and algebraic geometry. The first may be identified as the Zariski tangent space of the versal deformation of the singularity; i.e. it is the space of infinitesimal deformations. The s… ▽ More The purpose of this paper is to prove dimension formulas for $T^1$ and $T^2$ for rational surface singularities. These modules play an important role in the deformation theory of isolated singularities in analytic and algebraic geometry. The first may be identified as the Zariski tangent space of the versal deformation of the singularity; i.e. it is the space of infinitesimal deformations. The second contains the obstruction space -- in all known cases it is the whole obstruction space for rational surface singularities. △ Less

Submitted 10 March, 1999; originally announced March 1999.

Comments: 15 pages