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.
We associate to each nilpotent orbit of a real semisimple Lie algebra $g_o$ a weighted Vogan diagram, that is a Dynkin diagram with an involution of the diagram, a subset of painted nodes and a weight for each node. Every nilpotent element of $g_o$ is noticed in some subalgebra of $g_o$. In this paper we characterize the weighted Vogan diagrams associated to orbits of noticed nilpotent elements.
We study the Lusztig-Vogan bijection for the case of a local system. We compute the bijection explicitly in type A for a local system and then show that the dominant weights obtained for different local systems on the same orbit are related in a manner made precise in the paper. We also give a conjecture (putatively valid for all groups) detailing how the weighted Dynkin diagram for a nilpotent orbit in the dual Lie algebra should arise under the bijection.
We consider the space of nilpotent Higgs bundles on a weighted projective line, as a global analog of the nilpotent cone. We show that it is pure, compute its dimension, and define geometric correspondences between irreducible components. We prove it by constructing a loop analog of a cristal, in the spirit of Kashiwara and Saito, for some corresponding loop Kac-Moody algebra.
We present a largely self contained account on the K-theory of a weighted smooth projective curve over an algebraically closed field. In particular, we discuss the weighted version of divisor theory, Euler form, and Riemann-Roch theorem. This includes a treatment of the orbifold Euler characteristic.
This paper is concerned with two problems. One is to count Hitchin bundles on a projective curve and the other is to get an explicit formula for the nilpotent part of the Arthur-Selberg trace formula for a simple test function. The fact that the two problems are in fact related has been noticed in a previous paper. We expand the nilpotent part of the Arthur-Selberg trace formula in a sum of adelic integrals indexed by nilpotent orbits. For "regular by blocks" orbits, we get an explicit formula for these integrals in terms of the zeta function of the curve.
We investigate group actions on the category of coherent sheaves over weighted projective lines. We show that the equivariant category with respect to certain finite group action is equivalent to the category of coherent sheaves over a weighted projective curve, where the genus of the underlying smooth projective curve and the weight data are given by explicit formulas. Moreover, we obtain a trichotomy result for all such equivariant relations. This equivariant approach provides an effective way to investigate smooth projective curves via weighted projective lines. As an application, we give a…
We introduce a new method for expanding an abelian category and study it using recollements. In particular, we give a criterion for the existence of cotilting objects. We show, using techniques from noncommutative algebraic geometry, that our construction encompasses the category of coherent sheaves on Geigle-Lenzing weighted projective lines. We apply our construction to some concrete examples and obtain new weighted projective varieties and analyse the endomorphism algebras of their tilting bundles.
For the base field of complex numbers we discuss the relationship between categories of coherent sheaves on compact Riemann surfaces and categories of coherent sheaves on weighted smooth projective curves. This is done by bringing back to life an old theorem of Bundgaard-Nielsen-Fox proving Fenchel's conjecture for fuchsian groups.
We prove a characterization of monomial projective representations of finitely generated nilpotent groups. We also characterize polycyclic groups whose projective representations are finite dimensional.
These notes provide a description of the abelian categories that arise as categories of coherent sheaves on weighted projective lines. Two different approaches are presented: one is based on a list of axioms and the other yields a description in terms of expansions of abelian categories. A weighted projective line is obtained from a projective line by inserting finitely many weights. So we describe the category of coherent sheaves on a projective line in some detail, and the insertion of weights amounts to adding simple objects. We call this process `expansion' and treat it axiomatically. Thus…
We show that the Hilbert series of the projective variety $X=P(O_{min}),$ corresponding to the minimal nilpotent orbit $\mathcal O_{min},$ is universal in the sense of Vogel: it is written uniformly for all simple Lie algebras in terms of Vogel's parameters $α,β,γ$ and represents a special case of the generalized hypergeometric function ${}_{4}F_{3}.$ A universal formula for the degree of $X$ is then deduced.
Let D(e) denote the weighted Dynkin diagram of a nilpotent element $e$ in complex simple Lie algebra $\g$. We say that D(e) is divisible if D(e)/2 is again a weighted Dynkin diagram. (That is, a necessary condition for divisibility is that $e$ is even.) The corresponding pair of nilpotent orbits is said to be friendly. In this note, we classify the friendly pairs and describe some of their properties. We also observe that any subalgebra sl(3) in $\g$ determines a friendly pair. Such pairs are called A2-pairs. It turns out that the centraliser of the lower orbit in an A2-pair has some remarkabl…
In this paper, we construct recollements and ladders for exceptional curves by using reduction/insertion functors due to $p$-cycle construction. As applications to weighted projective lines, we classify recollements for the category of coherent sheaves over a weighted projective line, and give an explicit description of ladders in two different levels: the bounded derived category of coherent sheaves and the stable category of vector bundles.
The aim of this paper is to give an alternative proof of Kac's theorem for weighted projective lines (\cite{W}) over the complex field. The geometric realization of complex Lie algebras arising from derived categories (\cite{XXZ}) is essentially used.
We use recollement and HRS-tilt to describe bounded t-structures on the bounded derived category $\mathcal{D}^b(\mathbb{X})$ of coherent sheaves over a weighted projective line $\mathbb{X}$ of virtual genus $\leq 1$. We will see from our description that the combinatorics in classification of bounded t-structures on $\mathcal{D}^b(\mathbb{X})$ can be reduced to that in classification of bounded t-structures on bounded derived categories of finite dimensional right modules over representation-finite finite dimensional hereditary algebras.
Let X and Y be commuting nilpotent K-endomorphisms of a vector space V, where K is a field of characteristic p >= 0. If F=K(t) is the field of rational functions on the projective line, consider the K(t)-endomorphism A=X+tY of V. If p=0, or if the (p-1)-st power of A is 0, we show here that X and Y are tangent to the unipotent radical of the centralizer of A in GL(V). For all geometric points (a:b) of a suitable open subset of the projective line, it follows that X and Y are tangent to the unipotent radical of the centralizer of aX+bY. This answers a question of J. Pevtsova.
The string group acts on the category of coherent sheaves over a weighted projective line by degree-shift actions. We study the equivariant equivalence relations induced by degree-shift actions between weighted projective lines. We prove that such an equivariant equivalence is characterized by an admissible homomorphism between the associated string groups. We classify all these equivariant equivalences for the weighted projective lines of domestic and tubular types.
This paper classifies all the tilting bundles in the category of coherent sheaves on the weighted projective line of weight type $(2, 2, n)$, and investigates the abelianness of the "missing part" from the category of coherent sheaves to the category of finitely generated right modules on the associated tilted algebra for each tilting bundle.
We construct a tilting object for the stable category of vector bundles on a weighted projective line X of type (2,2,2,2;λ), consisting of five rank two bundles and one rank three bundle, whose endomorphism algebra is a canonical algebra associated with X of type (2,2,2,2).
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}$.
We prove that the categories of coherent sheaves over weighted projective lines of tubular type are explicitly related to each other via the equivariantization with respect to certain cyclic group actions.
In the present paper, we introduce the concepts of Prüfer sheaves and adic sheaves over a weighted projective line of genus one or an elliptic curve, show that Prüfer sheaves and adic sheaves can classify the category of coherent sheaves. Moreover, we describe the relationship between Prüfer sheaves and generic sheaves, and provide two methods to construct generic sheaves by using coherent sheaves and Prüfer sheaves.
Using cluster tilting theory, we investigate tilting objects in the stable category of vector bundles on a weighted projective line of weight type $(2, 2, 2, 2)$. More precisely, a tilting object consisting of rank-two bundles is constructed via cluster tilting mutation. Moreover, the cluster tilting approach also provides a new method to classify the endomorphism algebras of tilting objects in the category of coherent sheaves and the associated bounded derived category.
We give a new and intrinsic proof of the transitivity of the braid group action on the set of full exceptional sequences of coherent sheaves on a weighted projective line. We do not use here the corresponding result of Crawley-Boevey for modules over hereditary algebras. As an application we prove that the strongest global dimension of the category of coherent sheaves on a weighted projective line $\XX$ does not depend on the parameters of $\XX$. Finally we prove that the determinant of the matrix obtained by taking the values of $n$ $\ZZ$-linear functions defined on the Grothendieck group $K_…
Let $\mathbb{X}_{\boldsymbol{p},\boldsymbolλ}$ be a weighted projective line. We define the quantum cluster algebra of $\mathbb{X}_{\boldsymbol{p},\boldsymbolλ}$ and realize its specialized version as the subquotient of the Hall algebra of $\mathbb{X}_{\boldsymbol{p},\boldsymbolλ}$ via the quantum cluster character map. Inspired by \cite{Chen2021}, we prove an analogue cluster multiplication formula between quantum cluster characters. As an application, we obtain the polynomial property of the cardinalities of Grassmannian varieties of exceptional coherent sheaves on $\mathbb{X}_{\boldsymbol{p…
