Showing 1–12 of 12 results for author: Kussin, D

Cotilting sheaves over weighted noncommutative regular projective curves

Authors: Dirk Kussin, Rosanna Laking

Abstract: We consider the category $\operatorname{Qcoh}\mathbb{X}$ of quasicoherent sheaves where $\mathbb{X}$ is a weighted noncommutative regular projective curve over a field $k$. This category is a hereditary, locally noetherian Grothendieck category. We classify all indecomposable pure-injective sheaves and all cotilting sheaves of slope $\infty$. In the cases of nonnegative orbifold Euler characterist… ▽ More We consider the category $\operatorname{Qcoh}\mathbb{X}$ of quasicoherent sheaves where $\mathbb{X}$ is a weighted noncommutative regular projective curve over a field $k$. This category is a hereditary, locally noetherian Grothendieck category. We classify all indecomposable pure-injective sheaves and all cotilting sheaves of slope $\infty$. In the cases of nonnegative orbifold Euler characteristic this leads to a classification of pure-injective indecomposable sheaves and a description of all large cotilting sheaves in $\operatorname{Qcoh}\mathbb{X}$. △ Less

Submitted 29 November, 2019; v1 submitted 5 November, 2019; originally announced November 2019.

Comments: 28 pages, 1 figure. v2: Some typos and formulations fixed, abstract slightly changed, extended number 6.12, additional references, more streamlined recapitulation of the geometric setting

MSC Class: 14A22; 18E15; 18E30; 18E40

Journal ref: Doc. Math. 25 (2020), 1029-1077

Large tilting sheaves over weighted noncommutative regular projective curves

Authors: Lidia Angeleri Hügel, Dirk Kussin

Abstract: Let $\mathbb{X}$ be a weighted noncommutative regular projective curve over a field $k$. The category $\operatorname{Qcoh}\mathbb{X}$ of quasicoherent sheaves is a hereditary, locally noetherian Grothendieck category. We classify all tilting sheaves which have a non-coherent torsion subsheaf. In case of nonnegative orbifold Euler characteristic we classify all large (that is, non-coherent) tilting… ▽ More Let $\mathbb{X}$ be a weighted noncommutative regular projective curve over a field $k$. The category $\operatorname{Qcoh}\mathbb{X}$ of quasicoherent sheaves is a hereditary, locally noetherian Grothendieck category. We classify all tilting sheaves which have a non-coherent torsion subsheaf. In case of nonnegative orbifold Euler characteristic we classify all large (that is, non-coherent) tilting sheaves and the corresponding resolving classes. In particular we show that in the elliptic and in the tubular cases every large tilting sheaf has a well-defined slope. △ Less

Submitted 16 December, 2015; v1 submitted 16 August, 2015; originally announced August 2015.

Comments: 52 pages, 1 figure. v2: revised Cor. 6.6 and 7.15; a few minor fixes. v3: revised proof of Prop. 5.7; a few minor fixes and improvements

MSC Class: Primary: 14A22; 18E15; Secondary: 14H45; 14H52; 16G70

Journal ref: Documenta Math. 22 (2017), 67-134

Tilting and cotilting modules over concealed canonical algebras

Authors: Lidia Angeleri Hügel, Dirk Kussin

Abstract: We study infinite dimensional tilting modules over a concealed canonical algebra of domestic or tubular type. In the domestic case, such tilting modules are constructed by using the technique of universal localization, and they can be interpreted in terms of Gabriel localizations of the corresponding category of quasi-coherent sheaves over a noncommutative curve of genus zero. In the tubular case,… ▽ More We study infinite dimensional tilting modules over a concealed canonical algebra of domestic or tubular type. In the domestic case, such tilting modules are constructed by using the technique of universal localization, and they can be interpreted in terms of Gabriel localizations of the corresponding category of quasi-coherent sheaves over a noncommutative curve of genus zero. In the tubular case, we have to distinguish between tilting modules of rational and irrational slope. For rational slope the situation is analogous to the domestic case. In contrast, for any irrational slope, there is just one tilting module of that slope up to equivalence. We also provide a dual description of infinite dimensional cotilting modules and a classification result for the indecomposable pure-injective modules. △ Less

Submitted 15 August, 2015; originally announced August 2015.

Comments: 25 pages

MSC Class: Primary: 16E30; 16G20; 16G70; secondary: 16P50; 16S10

Journal ref: Math. Z. 285 (2017), 821-850

Weighted noncommutative regular projective curves

Authors: Dirk Kussin

Abstract: Let $\mathcal{H}$ be a noncommutative regular projective curve over a perfect field $k$. We study global and local properties of the Auslander-Reiten translation $τ$ and give an explicit description of the complete local rings, with the involvement of $τ$. We introduce the $τ$-multiplicity $e_τ(x)$, the order of $τ$ as a functor restricted to the tube concentrated in $x$. We obtain a local-global… ▽ More Let $\mathcal{H}$ be a noncommutative regular projective curve over a perfect field $k$. We study global and local properties of the Auslander-Reiten translation $τ$ and give an explicit description of the complete local rings, with the involvement of $τ$. We introduce the $τ$-multiplicity $e_τ(x)$, the order of $τ$ as a functor restricted to the tube concentrated in $x$. We obtain a local-global principle for the (global) skewness $s(\mathcal{H})$, defined as the square root of the dimension of the function (skew-) field over its centre. In the case of genus zero we show how the ghost group, that is, the group of automorphisms of $\mathcal{H}$ which fix all objects, is determined by the points $x$ with $e_τ(x)>1$. Based on work of Witt we describe the noncommutative regular (smooth) projective curves over the real numbers; those with $s(\mathcal{H})=2$ we call Witt curves. In particular, we study noncommutative elliptic curves, and present an elliptic Witt curve which is a noncommutative Fourier-Mukai partner of the Klein bottle. If $\mathcal{H}$ is weighted, our main result will be formulae for the orbifold Euler characteristic, involving the weights and the $τ$-multiplicities. As an application we will classify the noncommutative $2$-orbifolds of nonnegative Euler characteristic, that is, the real elliptic, domestic and tubular curves. Throughout, many explicit examples are discussed. △ Less

Submitted 18 April, 2016; v1 submitted 30 November, 2014; originally announced December 2014.

Comments: 59 pages, 4 figures, 3 tables. v7: Retitled (smooth replaced by regular). Several minor improvements, added reference. More general formulations of some results in Sec. 8. Example 2.9, Lemma 7.5, Example 11.3 and Thm. 11.4 added. More details on insertion of weights in 13.1 and 13.2

Journal ref: J. Noncommut. Geom. 10 (2016), 1465-1540

Extremal properties of concealed-canonical algebras

Authors: Michael Barot, Dirk Kussin, Helmut Lenzing

Abstract: Canonical algebras, introduced by C.M. Ringel in 1984, play an important role in the representation theory of finite dimensional algebras. They are equipped with a large contact surface to many further mathematical subjects like function theory, 3-manifolds, singularity theory, commutative algebra and algebraic geometry. We show in this paper that canonical algebras are characterized by a number o… ▽ More Canonical algebras, introduced by C.M. Ringel in 1984, play an important role in the representation theory of finite dimensional algebras. They are equipped with a large contact surface to many further mathematical subjects like function theory, 3-manifolds, singularity theory, commutative algebra and algebraic geometry. We show in this paper that canonical algebras are characterized by a number of interesting extremal properties (among the class of endomorphism rings of tilting bundles on a weighted projective line). We also study the corresponding class of algebras antipodal to canonical ones. Our study sheds new insight in the nature of concealed-canonical algebras, and sheds light on an old question: Why are the canonical algebras canonical? △ Less

Submitted 17 January, 2013; v1 submitted 18 August, 2012; originally announced August 2012.

Comments: 32 pages, change of title, abstract, introduction. To appear Colloq. Math

MSC Class: 16G20 (Primary) 14H45 (Secondary)

Triangle singularities, ADE-chains, and weighted projective lines

Authors: Dirk Kussin, Helmut Lenzing, Hagen Meltzer

Abstract: We investigate the triangle singularity $f=x^a+y^b+z^c$, or $S=k[x,y,z]/(f)$, attached to a weighted projective line $X$ given by the weight triple $(a,b,c)$. We investigate the stable category of vector bundles on $X$ obtained from the vector bundles by factoring out all line bundles. This category is triangulated and has Serre duality. It is, moreover, naturally equivalent to the stable category… ▽ More We investigate the triangle singularity $f=x^a+y^b+z^c$, or $S=k[x,y,z]/(f)$, attached to a weighted projective line $X$ given by the weight triple $(a,b,c)$. We investigate the stable category of vector bundles on $X$ obtained from the vector bundles by factoring out all line bundles. This category is triangulated and has Serre duality. It is, moreover, naturally equivalent to the stable category of graded maximal Cohen-Macaulay modules over $S$ (or matrix factorizations of $f$), and then by results of Buchweitz and Orlov to the graded singularity category of $f$. We show that this category is fractional Calabi-Yau with a CY-dimension that is a function of the Euler characteristic of $X$. We show the existence of a tilting object which has the shape of an $(a-1)(b-1)(c-1)$-cuboid. Particular attention is given to the weight types $(2,a,b)$, yielding an explanation of Happel-Seidel symmetry for a class of important Nakayama algebras. In particular, the weight sequence $(2,3,p)$ corresponds to an ADE-chain, the $E_n$-chain, extrapolating the exceptional Dynkin cases $E_6$, $E_7$ and $E_8$ to a whole sequence of triangulated categories. △ Less

Submitted 25 March, 2012; originally announced March 2012.

Comments: 54 pages, 5 tables, 5 figures

MSC Class: 14J17; 16G20; 16G70; 18E30

Nilpotent operators and weighted projective lines

Authors: Dirk Kussin, Helmut Lenzing, Hagen Meltzer

Abstract: We show a surprising link between singularity theory and the invariant subspace problem of nilpotent operators as recently studied by C. M. Ringel and M. Schmidmeier, a problem with a longstanding history going back to G. Birkhoff. The link is established via weighted projective lines and (stable) categories of vector bundles on those. The setup yields a new approach to attack the subspace problem… ▽ More We show a surprising link between singularity theory and the invariant subspace problem of nilpotent operators as recently studied by C. M. Ringel and M. Schmidmeier, a problem with a longstanding history going back to G. Birkhoff. The link is established via weighted projective lines and (stable) categories of vector bundles on those. The setup yields a new approach to attack the subspace problem. In particular, we deduce the main results of Ringel and Schmidmeier for nilpotency degree p from properties of the category of vector bundles on the weighted projective line of weight type (2,3,p), obtained by Serre construction from the triangle singularity x^2+y^3+z^p. For p=6 the Ringel-Schmidmeier classification is thus covered by the classification of vector bundles for tubular type (2,3,6), and then is closely related to Atiyah's classification of vector bundles on a smooth elliptic curve. Returning to the general case, we establish that the stable categories associated to vector bundles or invariant subspaces of nilpotent operators may be naturally identified as triangulated categories. They satisfy Serre duality and also have tilting objects whose endomorphism rings play a role in singularity theory. In fact, we thus obtain a whole sequence of triangulated (fractional) Calabi-Yau categories, indexed by p, which naturally form an ADE-chain. △ Less

Submitted 8 February, 2012; v1 submitted 19 February, 2010; originally announced February 2010.

Comments: More details added. 33 pages

MSC Class: 16G60; 18E30; 14J17 (Primary) 16G70; 47A15 (Secondary)

Journal ref: J. Reine Angew. Math. 685 (2013), 33-71

The cluster category of a canonical algebra

Authors: Michael Barot, Dirk Kussin, Helmut Lenzing

Abstract: We study the cluster category of a canonical algebra A in terms of the hereditary category of coherent sheaves over the corresponding weighted projective line X. As an application we determine the automorphism group of the cluster category and show that the cluster-tilting objects form a cluster structure in the sense of Buan-Iyama-Reiten-Scott. The tilting graph of the sheaf category always coi… ▽ More We study the cluster category of a canonical algebra A in terms of the hereditary category of coherent sheaves over the corresponding weighted projective line X. As an application we determine the automorphism group of the cluster category and show that the cluster-tilting objects form a cluster structure in the sense of Buan-Iyama-Reiten-Scott. The tilting graph of the sheaf category always coincides with the tilting or exchange graph of the cluster category. We show that this graph is connected if the Euler characteristic of X is non-negative, or equivalently, if A is of tame (domestic or tubular) representation type. △ Less

Submitted 29 January, 2009; v1 submitted 29 January, 2008; originally announced January 2008.

Comments: 16 pages. A few minor changes, one reference added. To appear in Trans. Amer. Math. Soc

MSC Class: 16G20; 18E30

Journal ref: Trans. Amer. Math. Soc. 362 (2010), 4313-4330

Parameter curves for the regular representations of tame bimodules

Authors: Dirk Kussin

Abstract: We present results and examples which show that the consideration of a certain tubular mutation is advantageous in the study of noncommutative curves which parametrize the simple regular representations of a tame bimodule. We classify all tame bimodules where such a curve is actually commutative, or in different words, where the unique generic module has a commutative endomorphism ring. This ext… ▽ More We present results and examples which show that the consideration of a certain tubular mutation is advantageous in the study of noncommutative curves which parametrize the simple regular representations of a tame bimodule. We classify all tame bimodules where such a curve is actually commutative, or in different words, where the unique generic module has a commutative endomorphism ring. This extends results from [14] to arbitrary characteristic; in characteristic two additionally inseparable cases occur. Further results are concerned with autoequivalences fixing all objects but not isomorphic to the identity functor. △ Less

Submitted 16 June, 2008; v1 submitted 19 December, 2007; originally announced December 2007.

Comments: 13 pages, to appear in J. Algebra. Typos corrected

MSC Class: 16G10; 14H45; 14A22; 16S38

Indecomposable representations for extended Dynkin quivers

Authors: Dirk Kussin, Hagen Meltzer

Abstract: We describe a method for an explicit determination of indecomposable preprojective and preinjective representations for extended Dynkin quivers by vector spaces and matrices. This method uses tilting theory and the explicit knowledge of indecomposable modules over the corresponding canonical algebra of domestic type. We describe a method for an explicit determination of indecomposable preprojective and preinjective representations for extended Dynkin quivers by vector spaces and matrices. This method uses tilting theory and the explicit knowledge of indecomposable modules over the corresponding canonical algebra of domestic type. △ Less

Submitted 15 December, 2006; originally announced December 2006.

MSC Class: 16G20

The Grothendieck group of a cluster category

Authors: Michael Barot, Dirk Kussin, Helmut Lenzing

Abstract: For the cluster category of a hereditary or a canonical algebra, equivalently for the cluster category of the hereditary category of coherent sheaves on a weighted projective line, we study the Grothendieck group with respect to an admissible triangulated structure. For the cluster category of a hereditary or a canonical algebra, equivalently for the cluster category of the hereditary category of coherent sheaves on a weighted projective line, we study the Grothendieck group with respect to an admissible triangulated structure. △ Less

Submitted 2 March, 2007; v1 submitted 21 June, 2006; originally announced June 2006.

Comments: 21 pages, accepted for publication by JPAA

MSC Class: 16G20; 16E20; 18E30

Journal ref: J. Pure Appl. Algebra 212 (2008), 33-46

Rouquier's theorem on representation dimension

Authors: Henning Krause, Dirk Kussin

Abstract: Based on work of Rouquier, some bounds for Aulander's representation dimension are discussed. More specifically, if X is a reduced projective scheme of dimension n over some field, and T is a tilting complex of coherent O_X-modules, then the representation dimension of the endomorphism algebra of T is at least n. Based on work of Rouquier, some bounds for Aulander's representation dimension are discussed. More specifically, if X is a reduced projective scheme of dimension n over some field, and T is a tilting complex of coherent O_X-modules, then the representation dimension of the endomorphism algebra of T is at least n. △ Less

Submitted 13 September, 2005; v1 submitted 3 May, 2005; originally announced May 2005.

Comments: Revised version; some details are added