BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

D. Rogalski

D. Rogalski contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.RAmath.AGmath.QA

Trust snapshot

Quick read

Trust 21 - Emerging
13works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

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.

Published work

13 published item(s)

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).

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

$\mathbb{Z}$-graded simple rings

The Weyl algebra over a field $k$ of characteristic $0$ is a simple ring of Gelfand-Kirillov dimension 2, which has a grading by the group of integers. We classify all $\mathbb{Z}$-graded simple rings of GK-dimension 2 and show that they are graded Morita equivalent to generalized Weyl algebras as defined by Bavula. More generally, we study $\mathbb{Z}$-graded simple rings $A$ of any dimension which have a graded quotient ring of the form $K[t, t^{-1}; σ]$ for a field $K$. Under some further hypotheses, we classify all such $A$ in terms of a new construction of simple rings which we introduce in this paper. In the important special case that $\operatorname{GKdim} A = \operatorname{tr.deg}(K/k) + 1$, we show that $K$ and $σ$ must be of a very special form. The new simple rings we define should warrant further study from the perspective of noncommutative geometry.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Free subalgebras of division algebras over uncountable fields

We study the existence of free subalgebras in division algebras, and prove the following general result: if $A$ is a noetherian domain which is countably generated over an uncountable algebraically closed field $k$ of characteristic 0, then either the quotient division algebra of $A$ contains a free algebra on two generators, or it is left algebraic over every maximal subfield. As an application, we prove that if $k$ is an uncountable algebraically closed field and $A$ is a finitely generated $k$-algebra that is a domain of GK-dimension strictly less than 3, then either $A$ satisfies a polynomial identity, or the quotient division algebra of $A$ contains a free $k$-algebra on two generators.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Free subalgebras of quotient rings of Ore extensions

Let $K$ be a field, let $σ$ be an automorphism of $K$, and let $δ$ be a derivation of $K$. We show that if $D$ is one of $K(x;σ)$ or $K(x;δ)$, then $D$ either contains a free algebra over its center on two generators, or every finitely generated subalgebra of $D$ satisfies a polynomial identity. As a corollary, we are able to show that the quotient division ring of any iterated Ore extension of an affine domain satisfying a polynomial identity either again satisfies a polynomial identity or it contains a free algebra over its center on two variables.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

A class of noncommutative projective surfaces

Let A=k+A_1+A_2.... be a connected graded, noetherian k-algebra that is generated in degree one over an algebraically closed field k. Suppose that the graded quotient ring Q(A) has the form Q(A)=k(Y)[t,t^{-1},sigma], where sigma is an automorphism of the integral projective surface Y. Then we prove that A can be written as a naive blowup algebra of a projective surface X birational to Y. This enables one to obtain a deep understanding of the structure of these algebras; for example, generically they are not strongly noetherian and their point modules are not parametrized by a projective scheme. This is despite the fact that the simple objects in the quotient category qgr A will always be in (1-1) correspondence with the closed points of the scheme X.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

Naive Noncommutative Blowing Up

Let B(X,L,s) be the twisted homogeneous coordinate ring of an irreducible variety X over an algebraically closed field k with dim X > 1. Assume that c in X and s in Aut(X) are in sufficiently general position. We show that if one follows the commutative prescription for blowing up X at c, but in this noncommutative setting, one obtains a noncommutative ring R=R(X,c,L,s) with surprising properties. In particular: (1) R is always noetherian but never strongly noetherian. (2) If R is generated in degree one then the images of the R-point modules in qgr(R) are naturally in (1-1) correspondence with the closed points of X. However, both in qgr(R) and in gr(R), the R-point modules are not parametrized by a projective scheme. (3) qgr R has finite cohomological dimension yet H^1(R) is infinite dimensional. This gives a more geometric approach to results of the second author who proved similar results for X=P^n by algebraic methods.

0 citations0 reviewsNo code linkedOpen access