arXiv subjects
Publications and source records attributed to Lutz Hille.
For any two nef line bundles F and G on a toric variety X represented by lattice polyhedra P respectively Q, we present the universal equivariant extension of G by F under use of the connected components of the set theoretic difference of Q and P.
We construct moduli spaces of representations of quivers over arbitrary schemes and show how moduli spaces of pointed curves of genus zero like the Grothendieck-Knudsen moduli spaces $\overline{M}_{0,n}$ and the Losev-Manin moduli spaces $\overline{L}_n$ can be interpreted as inverse limits of moduli spaces of representations of certain bipartite quivers. We also investigate the case of more general Hassett moduli spaces $\overline{M}_{0,a}$ of weighted pointed stable curves of genus zero.
In this paper we introduce new affine algebraic varieties whose points correspond to associative algebras. We show that the algebras within a variety share many important homological properties. In particular, any two algebras in the same variety have the same dimension. The case of finite dimensional algebras as well as that of graded algebras arise as subvarieties of the varieties we define. As an application we show that for algebras of global dimension two over the complex numbers, any algebra in the variety continuously deforms to a monomial algebra.
We classify spherical modules and full exceptional sequences of modules over the Auslander algebra of $k[x]/(x^t)$. We categorify the left and right symmetric group actions on these exceptional sequences to two braid group actions: of spherical twists along simple modules, and of right mutations. In particular, every such exceptional sequence is obtained by spherical twists from a standard sequence, and likewise for right mutations.
We introduce the notion of exact tilting objects, which are partial tilting objects $T$ inducing an equivalence between the abelian category generated by $T$ and the category of modules over the endomorphism algebra of $T$. Given a chain of sufficiently negative rational curves on a rational surface, we construct an exceptional sequence whose universal extension is an exact tilting object. For a chain of (-2)-curves, we obtain an equivalence with modules over a well known algebra.
It is a well established fact, that any projective algebraic variety is a moduli space of representations over some finite dimensional algebra. This algebra can be chosen in several ways. The counterpart in algebraic geometry is tautological: every variety is its own Hilber scheme of sheaves of length one. This holds even scheme theoretic. We use Beilinson's equivalence to get similar results for finite dimensional algebras, including moduli spaces and quiver grassmannians. Moreover, we show that several already known results can be traced back to the Hilbert scheme construction and Beilinson's equivalence.
It is well known that the number of tilting modules over a path algebra of type A_n coincides with the Catalan number C(n). Moreover, the number of support tilting modules of type A_n is the Catalan number C(n+1). We show that the convex hull of all roots of a root system of type A_n is a polytope with integral volume (n + 1)C(n+1). Moreover, we associate to the set of tilting modules and to the set of support tilting modules certain polytopes and show that their volumes coincide with the number of those modules, respectively. Finally, we show that these polytopes can be defined just using the root system and relate their volumes, so that we can derive the above results in a new way.
We derive a formula for the Coxeter polynomial of the s-fold tensor product F[A_{n_1-1}] x ... x F[A_{n_s-1}] of path algebras of linearly oriented quivers of Dynkin type A_{n_i-1}, in terms of the weights n_1, ..., n_s > 1, and show that conversely the weights can be recovered from the Coxeter polynomial of the tensor product. Our results have applications in singularity theory, in particular these algebras occur as endomorphism algebras of tilting objects in certain stable categories of vector bundles.
Let $X$ be any rational surface. We construct a tilting bundle $T$ on $X$. Moreover, we can choose $T$ in such way that its endomorphism algebra is quasi-hereditary. In particular, the bounded derived category of coherent sheaves on $X$ is equivalent to the bounded derived category of finitely generated modules over a finite dimensional quasi-hereditary algebra $A$. The construction starts with a full exceptional sequence of line bundles on $X$ and uses universal extensions. If $X$ is any smooth projective variety with a full exceptional sequence of coherent sheaves (or vector bundles, or even complexes of coherent sheaves) with all groups $\mExt^q$ for $q \geq 2$ vanishing, then $X$ also admits a tilting sheaf (tilting bundle, or tilting complex, respectively) obtained as a universal extension of this exceptional sequence.
We consider parabolic subgroups of a general algebraic group over an algebraically closed field $k$ whose Levi part has exactly $t$ factors. By a classical theorem of Richardson, the nilradical of a parabolic subgroup $P$ has an open dense $P$-orbit. In the complement to this dense orbit, there are infinitely many orbits as soon as the number $t$ of factors in the Levi part is $\ge 6$. In this paper, we describe the irreducible components of the complement. In particular, we show that there are at most $t-1$ irreducible components.
Let $\Aa_t$ be the directed quiver of type $\Aa$ with $t$ vertices. For each dimension vector $d$ there is a dense orbit in the corresponding representation space. The principal aim of this note is to use just rank conditions to define the irreducible components in the complement of the dense orbit. Then we compare this result with already existing ones by Knight and Zelevinsky, and by Ringel. Moreover, we compare with the fan associated to the quiver $\Aa$ and derive a new formula for the number of orbits using nilpotent classes. In the complement of the dense orbit we determine the irreducible components and their codimension. Finally, we consider several particular examples.
Given a $k$--scheme $X$ that admits a tilting object $T$, we prove that the Hochschild (co-)homology of $X$ is isomorphic to that of $A= End_{X}(T)$. We treat more generally the relative case when $X$ is flat over an affine scheme $Y=\Spec R$ and the tilting object satisfies an appropriate Tor-independence condition over $R$. Among applications, Hochschild homology of $X$ over $Y$ is seen to vanish in negative degrees, smoothness of $X$ over $Y$ is shown to be equivalent to that of $A$ over $R$, and for $X$ a smooth projective scheme we obtain that Hochschild homology is concentrated in degree zero. Using the Hodge decomposition \cite{BFl2} of Hochschild homology in characteristic zero, for $X$ smooth over $Y$ the Hodge groups $H^{q}(X,Ω_{X/Y}^{p})$ vanish for $p < q$, while in the absolute case they even vanish for $p\neq q$. We illustrate the results for crepant resolutions of quotient singularities, in particular for the total space of the canonical bundle on projective space.
In this article we consider exceptional sequences of invertible sheaves on smooth complete rational surfaces. We show that to every such sequence one can associate a smooth complete toric surface in a canonical way. We use this structural result to prove various theorems on exceptional and strongly exceptional sequences of invertible sheaves on rational surfaces. We construct full strongly exceptional sequences for a large class of rational surfaces. For the case of toric surfaces we give a complete classification of full strongly exceptional sequences of invertible sheaves.
We consider the action of a parabolic subgroup of the General Linear Group on a metabelian ideal. For those actions, we classify actions with finitely many orbits using methods from representation theory.
Acyclic cluster algebras have an interpretation in terms of tilting objects in a Calabi-Yau category defined by some hereditary algebra. For a given quiver $Q$ it is thus desirable to decide if the cluster algebra defined by $Q$ is acyclic. We call $Q$ cluster-acyclic in this case, otherwise cluster-cyclic. In this note we classify the cluster-cyclic quivers with three vertices using a Diophantine equation studied by Markov.
Let G be a simple algebraic group over an algebraically closed field k; assume that Char k is zero or good for G. Let \cB be the variety of Borel subgroups of G and let e in Lie G be nilpotent. There is a natural action of the centralizer C_G(e) of e in G on the Springer fibre \cB_e = {B' in \cB | e in Lie B'} associated to e. In this paper we consider the case, where e lies in the subregular nilpotent orbit; in this case \cB_e is a Dynkin curve. We give a complete description of the C_G(e)-orbits in \cB_e. In particular, we classify the irreducible components of \cB_e on which C_G(e) acts with finitely many orbits. In an application we obtain a classification of all subregular orbital varieties admitting a finite number of B-orbits for B a fixed Borel subgroup of G.
Let $k$ be an algebraically closed field. Let $B$ be the Borel subgroup of $\mGL_n(k)$ consisting of nonsingular upper triangular matrices. Let $\frb = \mLie B$ be the Lie algebra of upper triangular $n \times n$ matrices and $\fru$ the Lie subalgebra of $\frb$ consisting of strictly upper triangular matrices. We classify all Lie ideals $\frn$ of $\frb$, satisfying $\fru' \subseteq \frn \subseteq \fru$, such that $B$ acts (by conjugation) on $\frn$ with a dense orbit. Further, in case $B$ does not act with a dense orbit, we give the minimal codimension of a $B$--orbit in $\frn$. This can be viewed as a first step towards the difficult open problem of classifying of all ideals $\frn \subseteq \fru$ such that $B$ acts on $\frn$ with a dense orbit. The proofs of our main results require a translation into the representation theory of a certain quasi-hereditary algebra $\cA_{t,1}$. In this setting we find the minimal dimension of $\mExt^1_{\cA_{t,1}}(M,M)$ for a $Δ$-good $\cA_{t,1}$--module of certain fixed $Δ$-dimension vectors.
King's conjecture states that on every smooth complete toric variety $X$ there exists a strongly exceptional collection which generates the bounded derived category of $X$ and which consists of line bundles. We give a counterexample to this conjecture. This example is just the Hirzebruch surface $\mathbb{F}_2$ iteratively blown up three times, and we show by explicit computation of cohomology vanishing that there exist no strongly exceptional sequences of length 7.