Let A be a nondegenerate dimer (or ghor) algebra on torus, and let Z its center. Using cyclic contractions, we show the following are equivalent: is noetherian; noncommutative crepant resolution; each arrow of contained in perfect matching whose complement supports simple module; vertex corner rings eiAei pairwise isomorphic.

Noetherian operators are differential that encode primary components of a polynomial ideal. We develop framework, as well algorithms, for computing with local dual spaces, both symbolically and numerically. For ideal, such provide an alternative representation to one given by set generators. This description fits numerical algebraic geometry, taking step toward the goal decomposition.

We show that finite λ-bisimulations (closely related to bisimulations up to context) are sound and complete for finitely generated λ-bialgebras for distributive laws λ of a monad T on Set over an endofunctor F on Set, such that F preserves weak pullbacks and finitely generated T -algebras are closed under taking kernel pairs. This result is used to infer the decidability of weighted language eq...

The twisted homogeneous coordinate ring is one of the basic constructions of the noncommutative projective geometry of Artin, Van den Bergh, and others. Chan generalized this construction to the multi-homogeneous case, using a concept of right ampleness for a finite collection of invertible sheaves and automorphisms of a projective scheme. From this he derives that certain multi-homogeneous rin...

The class of Matlis domain, those integral domains whose quotient field has projective dimension 1, is surprisingly broad. However, whether every domain of Krull dimension 1 is a Matlis domain does not appear to have been resolved in the literature. In this note we construct a class of examples of one-dimensional domains (in fact, almost Dedekind domains) that are overrings of K[X, Y ] but are ...

In his recent series of lectures, Prof. B. I. Plotkin discussed geometrical properties of the variety of associative K-algebras. In particular, he studied geometrically noetherian and logically noetherian algebras and, in this connection, he asked whether there exist uncountably many simple K-algebras with a fixed finite number of generators. We answer this question in the affirmative using bot...

Let R be a Noetherian commutative ring with identity, graded by the nonnegative integers N. Thus the additive group of R has a direct-sum decomposition R = R, + R, + ..., where RiRi C R,+j and 1 E R, . I f in addition R, is a field K, so that R is a k-algebra, we will say that R is a G-akebra. The assumption that R is Noetherian implies that a G-algebra is finitely generated (as an algebra over...

For every local ring R in what follows, mR denotes the maximal ideal. Let Λ̃ be a complete, regular, local Noetherian ring, let E ⊂ m Λ̃ be an ideal, and denote the quotient by Λ. Thus, Λ is also a complete, local Noetherian ring. Denote the residue field Λ/mΛ by k. Denote by C = CΛ the category whose objects are Λ-algebras A such that (i) A is a local, Artin ring with mΛA ⊂ mA, and (ii) the indu...

Let X be a scheme, proper over a commutative noetherian ring A. We introduce the concept of an ample filter of invertible sheaves on X and generalize the most important equivalent criteria for ampleness of an invertible sheaf. We also prove the Theorem of the Base for X and generalize Serre’s Vanishing Theorem. We then generalize results for twisted homogeneous coordinate rings which were previ...