arXiv subjects
Publications and source records attributed to Daniel Chan.
We produce the first known examples of non-trivial terminal local orders in the 3-dimensional case. We exhibit two different constructions. The first produces maximal orders with given toric ramification data. Since toric terminal ramification data in dimension 3 has been classified this produces toric examples. The second construction yields maximal orders ramified on surfaces with Kleinian singularities. These are automatically terminal.
Let $k$ denote an algebraically closed field of characteristic zero and let $X$ denote a smooth elliptic curve over $k$. Given a three-periodic elliptic helix $\underline{\mathcal{E}}$ of vector bundles over $X$ with endomorphism $\mathbb{Z}$-algebra $\operatorname{End} \underline{\mathcal{E}}$ and quadratic cover $\mathbb{S}^{nc}(\underline{\mathcal{E}})$, we prove that $\operatorname{End} \underline{\mathcal{E}}$ is the quotient of $\mathbb{S}^{nc}(\underline{\mathcal{E}})$ by a degree three family of normal elements, generalizing a result of the authors to the case in which $\operatorname{dim }(\operatorname{End} \underline{\mathcal{E}})_{i, i+1}$ isn't a constant function of $i$. We then show that $\operatorname{End} \underline{\mathcal{E}}$ is noetherian if and only if it has polynomial growth, and in this case, the ranks of any three consecutive bundles in the helix are a Markov triple. Furthermore, in this case $\mathbb{S}^{nc}(\underline{\mathcal{E}})$ is a noetherian GK-three $\mathbb{Z}$-algebra which is ${\sf Proj }$-equivalent to an elliptic algebra. We conclude the paper by constructing several new families of elliptic helices with exponential growth.
Let $k$ denote an algebraically closed field of characteristic zero and let $X$ denote a smooth elliptic curve over $k$. In this paper, motivated by work in \cite{CN}, we think of two-periodic elliptic helices as noncommutative analogues of degree two line bundles over $X$. We classify and study two-periodic elliptic helices in order to generalize the theory of double covers of $\mathbb{P}^{1}$ by $X$ to the noncommutative setting. This leads to the following problem: given an integer $d>2$ and a real number $\theta \in \mathbb{Q}+\mathbb{Q}\sqrt{d^2-4}$, classify elliptic helices inducing double covers of $\mathbb{P}^{1}_{d}$ by ${\sf C}^{\theta}$, where $\mathbb{P}^{1}_{d}$ is Piontkovski's noncommutative projective line and ${\sf C}^{\theta}$ is Polischuk's noncommutative elliptic curve. We find examples of $d$ and $\theta$ such that there is essentially one numerical class of elliptic helices and examples of $d$ and $\theta$ such that there are several distinct numerical classes of elliptic helices, in contrast to the commutative situation.
In this manuscript, we give effective methods for computing the zeta function of maximal orders on surfaces.
We introduce the notion of stable orbifold projective curves, and show that the moduli stack of stable orbifold projective curves is isomorphic to the moduli stack of weighted pointed stable curves in the sense of Hassett with respect to the weights determined by the automorphism groups of the stacky points.
Boundary points on the moduli space of pointed curves corresponding to collisions of marked points have modular interpretations as degenerate curves. In this paper, we study degenerations of orbifold projective curves corresponding to collisions of stacky points from the point of view of noncommutative algebraic geometry.
In this paper we introduce a noncommutative analogue of the notion of linear system, which we call a helix $\underline{\mathcal{L}} := (\mathcal{L}_{i})_{i \in \mathbb{Z}}$ in an abelian category ${\sf C}$ over a quadratic $\mathbb{Z}$-indexed algebra $A$. We show that, under natural hypotheses, a helix induces a morphism of noncommutative spaces from ${\sf Proj }\operatorname{End}(\underline{\mathcal{L}})$ to ${\sf Proj }A$. We construct examples of helices of vector bundles on elliptic curves generalizing the elliptic helices of line bundles constructed by Bondal-Polishchuk, where $A$ is the quadratic part of $B:= \operatorname{End}(\underline{\mathcal{L}})$. In this case, we identify $B$ as the quotient of the Koszul algebra $A$ by a normal family of regular elements of degree 3, and show that ${\sf Proj }B$ is a noncommutative elliptic curve in the sense of Polishchuk. One interprets this as embedding the noncommutative elliptic curve as a cubic divisor in some noncommutative projective plane, hence generalizing some well-known results of Artin-Tate-Van den Bergh.
The local structure of terminal Brauer classes on arithmetic surfaces were classified in [CI21] generalising the classification on geometric surfaces carried out in [CI05]. Part of the interest in these classifications is that it enables the minimal model program to be applied to the noncommutative setting of orders on surfaces. In this paper, we give etale local structure theorems for terminal orders on arithemtic surfaces, at least when the degree is a prime p >5. This generalises the structure theorem given in the geometric case. They can all be explicitly constructed as algebras of matrices over symbols. From this description one sees that such terminal orders all have global dimension two, thus generalising the fact that terminal (commutative) surfaces are smooth and hence homologically regular.
We examine the noncommutative minimal model program for orders on arithmetic surfaces, or equivalently, arithmetic surfaces enriched by a Brauer class $\beta$. When $\beta$ has prime index $p>5$, we show the classical theory extends with analogues of existence of terminal resolutions, Castelnuovo contraction and Zariski factorisation. We also classify $\beta$-terminal surfaces and Castelnuovo contractions, and discover new unexpected behaviour.
In this paper, we look at the problem of modular realisations of derived equivalences, and more generally, the problem of recovering a Deligne-Mumford stack $\mathbb{X}$ and a bundle $\mathcal{T}$ on it, via some moduli problem (on $\mathbb{X}$ or $A = \operatorname{End}_{\mathbb{X}} \mathcal{T}$). The key issue is, how does one incorporate some of the monoidal structure of $\operatorname{Coh}(\mathbb{X})$ into the moduli problem. To this end, we introduce a new moduli stack, the tensor stable moduli stack which generalises the notion of the Serre-stable moduli stack. We then show how it can be used both for stack recovery and the modular realisation problem for derived equivalences. We also study the moduli of refined representations and how it addresses these problems. Finally, we relate the two approaches when $\mathcal{T}$ is a tilting bundle which is a direct sum of line bundles.
In this paper, we study noncommutative surface singularities arising from orders. The singularities we study are mild in the sense that they have finite representation type or, equivalently, are log terminal in the sense of the Mori minimal model program for orders [CI05]. These were classified independently by Artin (in terms of ramification data) and Reiten-Van den Bergh (in terms of their AR-quivers). The first main goal of this paper is to connect these two classifications, by going through the finite subgroups $G \subset \mathrm{GL}_2$, explicitly computing $H^2(G,k^*)$, and then matching these up with Artin's list of ramification data and Reiten-Van den Bergh's AR-quivers. This provides a semi-independent proof of their classifications and extends the study of canonical orders in [CHI09] to the case of log terminal orders. A secondary goal of this paper is to study noncommutative analogues of plane curves which arise as follows. Let $B = k_{\zeta} [[ x,y ]]$ be the skew power series ring where $\zeta$ is a root of unity, or more generally a terminal order over a complete local ring. We consider rings of the form $A = B/(f)$ where $f \in Z(B)$ which we interpret to be the ring of functions on a noncommutative plane curve. We classify those noncommutative plane curves which are of finite representation type and compute their AR-quivers.
We study Van den Bergh's noncommutative symmetric algebra $\mathbb{S}^{nc}(M)$ (over division rings) via Minamoto's theory of Fano algebras. In particular, we show $\mathbb{S}^{nc}(M)$ is coherent, and its proj category $\mathbb{P}^{nc}(M)$ is derived equivalent to the corresponding bimodule species. This generalizes the main theorem of \cite{minamoto}, which in turn is a generalization of Beilinson's derived equivalence. As corollaries, we show that $\mathbb{P}^{nc}(M)$ is hereditary and there is a structure theorem for sheaves on $\mathbb{P}^{nc}(M)$ analogous to that for $\mathbb{P}^1$.
We discuss the minimal model program for b-log varieties, which is a pair of a variety and a b-divisor, as a natural generalization of the minimal model program for ordinary log varieties. We show that the main theorems of the log MMP work in the setting of the b-log MMP. If we assume that the log MMP terminates, then so does the b- log MMP. Furthermore, the b-log MMP includes both the log MMP and the equivariant MMP as special cases. There are various interesting b-log varieties arising from different objects, including the Brauer pairs, or "non-commutative algebraic varieties which are finite over their centres". The case of toric Brauer pairs is discussed in further detail.
Tilting bundles $\mathcal{T}$ on a weighted projective line $\mathbb{X}$ have been intensively studied by representation theorists since they give rise to a derived equivalence between $\mathbb{X}$ and the finite dimensional algebra End $\mathcal{T}$. A classical result states that if End $\mathcal{T}$ is hereditary, then $\mathbb{X}$ is Fano and conversely, for every Fano weighted projective line, there exists a tilting bundle $\mathcal{T}$ with End $\mathcal{T}$ hereditary. In this paper, we examine the question of when a weighted projective surface has a tilting bundle whose endomorphism ring is 2-hereditary in the sense of Herschend-Iyama-Oppermann. It is natural to conjecture that they are the almost Fano weighted surfaces, weighted only on rational curves, and we give evidence to support this.
We introduce a new moduli stack, called the Serre stable moduli stack, which corresponds to studying families of point objects in an abelian category with a Serre functor. This allows us in particular, to re-interpret the classical derived equivalence between most concealed-canonical algebras and weighted projective lines by showing they are induced by the universal sheaf on the Serre stable moduli stack. We explain why the method works by showing that the Serre stable moduli stack is the tautological moduli problem that allows one to recover certain nice stacks such as weighted projective lines from their moduli of sheaves. As a result, this new stack should be of interest in both representation theory and algebraic geometry.
We study ruled orders. These arise naturally in the Mori program for orders on projective surfaces and morally speaking are orders on a ruled surface ramified on a bisection and possibly some fibres. We describe fibres of a ruled order and show they are in some sense rational. We also determine the Hilbert scheme of rational curves and hence the corresponding non-commutative Mori contraction. This gives strong evidence that ruled orders are examples of the non-commutative ruled surfaces introduced by Van den Bergh.
We discuss natural connections between three objects: quadratic forms with values in line bundles, conic bundles and quaternion orders. We use the even Clifford algebra, and the Brauer-Severi Variety, and other constructions to give natural bijections between these objects under appropriate hypothesis. We then restrict to a surface base and we express the second Chern class of the order in terms $K^3$ and other invariants of the corresponding conic bundle. We find the conic bundles corresponding to minimal del Pezzo quaterion orders and we discuss problems concerning their moduli.
The Hilbert scheme of point modules was introduced by Artin-Tate-Van den Bergh to study non-commutative graded algebras. The key tool is the construction of a map from the algebra to a twisted ring on this Hilbert scheme. In this paper, we study moduli stacks of more general "fat" point modules, and show that there is a similar map to a twisted ring associated to the stack. This is used to provide a sufficient criterion for a non-commutative projective surface to be birationally PI. It is hoped that such a criterion will be useful in understanding Mike Artin's conjecture on the birational classification of non-commutative surfaces.