Researcher profile

S. J. Sierra

S. J. Sierra contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.RA math.AG math.CT math.QA math.RT

Trust snapshot

Quick read

Trust 21 - Emerging

9works

0followers

5topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

Some Noncommutative Minimal Surfaces

In the ongoing programme to classify noncommutative projective surfaces (connected graded noetherian domains of Gelfand-Kirillov dimension three) a natural question is to determine the minimal models within any birational class. In this paper we show that the generic noncommutative projective plane (corresponding to the three dimensional Sklyanin algebra R) as well as noncommutative analogues of P^1 x P^1 and of the Hirzebruch surface F_2 (arising from Van den Bergh's quadrics R) satisfy very strong minimality conditions. Translated into an algebraic question, where one is interested in a maximality condition, we prove the following theorem. Let R be a Sklyanin algebra or a Van den Bergh quadric that is infinite dimensional over its centre and let A be any connected graded noetherian maximal order containing R, with the same graded quotient ring as R. Then, up to taking Veronese rings, A is isomorphic to R. Secondly, let T be an elliptic algebra (that is, the coordinate ring of a noncommutative surface containing an elliptic curve). Then, under an appropriate homological condition, we prove that every connected graded noetherian overring of T is obtained by blowing down finitely many lines (line modules).

preprint2016arXiv

Path algebras of quivers and representations of locally finite Lie algebras

We explore the (noncommutative) geometry of locally simple representations of the diagonal locally finite Lie algebras $\mathfrak{sl}(n^\infty)$, $\mathfrak o(n^\infty)$, and $\mathfrak{sp}(n^\infty)$. Let $\mathfrak g_\infty$ be one of these Lie algebras, and let $I \subseteq U(\mathfrak g_\infty)$ be the nonzero annihilator of a locally simple $\mathfrak g_\infty$-module. We show that for each such $I$, there is a quiver $Q$ so that locally simple $\mathfrak g_\infty$-modules with annihilator $I$ are parameterised by "points" in the "noncommutative space" corresponding to the path algebra of $Q$. Methods of noncommutative algebraic geometry are key to this correspondence. We classify the quivers that arise and relate them to characters of symmetric groups.

preprint2016arXiv

Ring-theoretic blowing down: I

One of the major open problems in noncommutative algebraic geometry is the classification of noncommutative projective surfaces (or, slightly more generally, of noetherian connected graded domains of Gelfand-Kirillov dimension 3). Earlier work of the authors classified the connected graded noetherian subalgebras of Sklyanin algebras using a noncommutative analogue of blowing up. In order to understand other algebras birational to a Sklyanin algebra, one also needs a notion of blowing down. This is achieved in this paper, where we give a noncommutative analogue of Castelnuovo's classic theorem that (-1)-lines on a smooth surface can be contracted. The resulting noncommutative blown-down algebra has pleasant properties; in particular it is always noetherian and is smooth if the original noncommutative surface is smooth. In a companion paper we will use this technique to construct explicit birational transformations between various noncommutative surfaces which contain an elliptic curve.

preprint2015arXiv

Noncommutative Blowups of Elliptic Algebras

We develop a ring-theoretic approach for blowing up many noncommutative projective surfaces. Let T be an elliptic algebra (meaning that, for some central element g of degree 1, T/gT is a twisted homogeneous coordinate ring of an elliptic curve E at an infinite order automorphism). Given an effective divisor d on E whose degree is not too big, we construct a blowup T(d) of T at d and show that it is also an elliptic algebra. Consequently it has many good properties: for example, it is strongly noetherian, Auslander-Gorenstein, and has a balanced dualizing complex. We also show that the ideal structure of T(d) is quite rigid. Our results generalise those of the first author. In the companion paper "Classifying Orders in the Sklyanin Algebra", we apply our results to classify orders in (a Veronese subalgebra of) a generic cubic or quadratic Sklyanin algebra.

preprint2014arXiv

Naive blowups and canonical birationally commutative factors

In 2008, Rogalski and Zhang showed that if R is a strongly noetherian connected graded algebra over an algebraically closed field, then R has a canonical birationally commutative factor. This factor is, up to finite dimension, a twisted homogeneous coordinate ring B(X, L, s); here X is the projective parameter scheme for point modules over R, as well as tails of points in qgr-R. (As usual, s is an automorphism of X, and L is an s-ample invertible sheaf on X.) We extend this result to a large class of noetherian (but not strongly noetherian) algebras. Specifically, let R be a noetherian connected graded k-algebra, where k is an uncountable algebraically closed field. Let Y denote the parameter space (or stack or proscheme) parameterizing R-point modules, and suppose there is a projective variety X that is a coarse moduli space for tails of points. There is a canonical map p: Y -> X. If the indeterminacy locus of p^{-1} is 0-dimensional and X satisfies a mild technical assumption, we show that there is a homomorphism g: R -> B(X, L, s), and that g(R) is, up to finite dimension, a naive blowup on X in the sense of Keeler, Rogalski, and Stafford, and satisfies a universal property. We further show that the point space Y is noetherian.

preprint2013arXiv

Algebras in which every subalgebra is noetherian

We show that the twisted homogeneous coordinate rings of elliptic curves by infinite order automorphisms have the curious property that every subalgebra is both finitely generated and noetherian. As a consequence, we show that a localisation of a generic Skylanin algebra has the same property.

preprint2013arXiv

Classifying Orders in the Sklyanin Algebra

One of the major open problems in noncommutative algebraic geometry is the classification of noncommutative surfaces, and this paper resolves a significant case of this problem. Specifically, let S denote the 3-dimensional Sklyanin algebra over an algebraically closed field k and assume that S is not a finite module over its centre. (This algebra corresponds to a generic noncommutative P^2.) Let A be any connected graded k-algebra that is contained in and has the same quotient ring as a Veronese ring S^(3n). Then we give a reasonably complete description of the structure of A. This is most satisfactory when A is a maximal order, in which case we prove, subject to a minor technical condition, that A is a noncommutative blowup of S^(3n) at a (possibly non-effective) divisor on the associated elliptic curve E. It follows that A has surprisingly pleasant properties; for example it is automatically noetherian, indeed strongly noetherian, and has a dualizing complex.

preprint2011arXiv

Some noncommutative projective surfaces of GK-dimension 4

We construct a family of connected graded domains of GK-dimension 4 that are birational to P2, and show that the general member of this family is noetherian. This disproves a conjecture of the first author and Stafford. The algebras we construct are Koszul and have global dimension 4. They fail to be Artin-Schelter Gorenstein, however, showing that a theorem of Zhang and Stephenson for dimension 3 algebras does not extend to dimension 4. The Auslander-Buchsbaum formula also fails to hold for our family. The algebras can be obtained as global sections of a certain quasicoherent graded sheaf on P1xP1, and our key technique is to work with this sheaf. In contrast to all previously known examples of birationally commutative graded domains, the graded pieces of the sheaf fail to be ample in the sense of Van den Bergh. Our results thus require significantly new techniques.

preprint2010arXiv

A Derived Equivalence For A Del Pezzo Surface Of Degree 6 Over An Arbitrary Field

Let $S$ be a degree six del Pezzo surface over an arbitrary field $F$. Motivated by the first author's classification of all such $S$ up to isomorphism in terms of a separable $F$-algebra $B \times Q \times F$, and by his K-theory isomorphism $K_n(S) \cong K_n(B \times Q \times F)$ for $n \ge 0$, we prove an equivalence of derived categories $$ \sD^b(\coh S) \equiv \sD^b(\mod A) $$ where $A$ is an explicitly given finite dimensional $F$-algebra whose semisimple part is $B \times Q \times F$. Submitted to the Journal of K-theory