Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Action of the Cremona group on a noncommutative ring

The Cremona group acts on the field of two independent commutative variables over complex numbers. We provide a noncommutative algebra that is an analog of a noncommutative field of two independent variables and prove that the Cremona group embeds in a group of outer automorphisms of this algebra. We give two proofs of it, the first proof is technical, the second one is conceptual and proceeds through a construction of a birational invariant of an algebraic variety from its bounded derived category of coherent sheaves.     

On the First Hochschild Cohomology linebreak of Admissible Algebras

The aim of this paper is to investigate the first Hochschild cohomology of admissible algebras which can be regarded as a generalization of basic algebras. For this purpose, the authors study differential operators on an admissible algebra. Firstly, differential operators from a path algebra to its quotient algebra as an admissible algebra are discussed. Based on this discussion, the first cohomology with admissible algebras as coefficient modules is characterized, including their dimension formula. Besides, for planar quivers, the $k$-linear bases of the first cohomology of acyclic complete monomial algebras and acyclic truncated quiver algebras are constructed over the field $k$ of characteristic $0$.     

用quiver构造拟三角Hopf代数

利用quiver方法确定了一个广义Taft代数具有拟三角Hopf结构当且仅当它是Sweedler 4维Hopf代数．用不同于文[15]的方法,对任意的正整数n,构造出一类拟三角Hopf代数H(n)．     

On the symplectic structure of instanton moduli spaces

We study the complex symplectic structure of the quiver varieties corresponding to the moduli spaces of SU(2) instantons on both commutative and non-commutative R⁴. We identify global Darboux coordinates and quadratic Hamiltonians on classical phase spaces for which these quiver varieties are natural completions. We also show that the group of non-commutative symplectomorphisms of the corresponding path algebra acts transitively on the moduli spaces of non-commutative instantons. This paper should be viewed as a step towards extending known results for Calogero–Moser spaces to the instanton moduli spaces.     

Double Hall algebras and derived equivalences

We show that the reduced Drinfeld double of the Ringel-Hall algebra of a hereditary category is invariant under derived equivalences. By associating an explicit isomorphism to a given derived equivalence, we also extend the results of Burban and Schiffmann [5] and [006], Sevenhant and Van den Bergh (1999) [25], and Xiao and Yang (2001) [31].     

Recovering Quivers from Derived Quiver Representations

We compute Balmer's prime spectrum for the derived category of quiver representations for a finite ordered quiver with the vertex-wise tensor product and show that it does not recover the quiver. We then associate an algebra to every k-linear triangulated tensor category and show that the path algebra can be recovered in this way.     

Weighted Projective Lines as Fine Moduli Spaces of Quiver Representations

We describe weighted projective lines in the sense of Geigle and Lenzing by a moduli problem on the canonical algebra of Ringel. We then go on to study generators of the derived categories of coherent sheaves on the total spaces of their canonical bundles, and show that they are rarely tilting. We also give a moduli construction for these total spaces for weighted projective lines with three orbifold points.     

Desingularization of quiver Grassmannians for Dynkin quivers

A desingularization of arbitrary quiver Grassmannians for representations of Dynkin quivers is constructed in terms of quiver Grassmannians for an algebra derived equivalent to the Auslander algebra of the quiver.     

Full Graphs and Koszul Algebras I

The main result of this article is the establishment of a new connection between combinatorics and noncommutative algebra. This is done by linking a certain class of directed graphs, called full graphs, to quotients of path algebras that are Koszul algebras.