English
Related papers

Related papers: Some Koszul Rings from Geometry

200 papers

We study Koszul homology over Gorenstein rings. If an ideal is strongly Cohen-Macaulay, the Koszul homology algebra satisfies Poincar\'e duality. We prove a version of this duality which holds for all ideals and allows us to give two…

Commutative Algebra · Mathematics 2011-12-15 Claudia Miller , Hamidreza Rahmati , Janet Striuli

This article concerns linear parts of minimal resolutions of finitely generated modules over commutative local, or graded rings. The focus is on the linearity defect of a module, which marks the point after which the linear part of its…

Commutative Algebra · Mathematics 2021-05-18 Srikanth B. Iyengar , Tim Roemer

Generalizing techniques that prove that Veronese subrings are Koszul, we show that Rees and multi-Rees algebras of certain types of principal strongly stable ideals are Koszul. We provide explicit Gr\"obner basis for the defining ideals of…

Commutative Algebra · Mathematics 2014-06-10 Gabriel Sosa

We study five different types of the homology of a Lie algebra over a commutative ring which are naturally isomorphic over fields. We show that they are not isomorphic over commutative rings, even over $\mathbb Z,$ and study connections…

K-Theory and Homology · Mathematics 2022-01-19 Sergei O. Ivanov , Fedor Pavutnitskiy , Vladislav Romanovskii , Anatolii Zaikovskii

We discuss certain homological properties of graded algebras whose trivial modules admit non-pure resolutions. Such algebras include both of Artin-Schelter regular algebras of types (12221) and (13431). Under certain conditions, a module…

Rings and Algebras · Mathematics 2008-04-24 Di-Ming Lu , Jun-Ru Si

We study the Koszul property of a standard graded $K$-algebra $R$ defined by the binomial edge ideal of a pair of graphs $(G_1,G_2)$. We show that the following statements are equivalent: (i) $R$ is Koszul; (ii) the defining ideal…

Commutative Algebra · Mathematics 2018-07-27 Herolistra Baskoroputro , Viviana Ene , Cristian Ion

Cassidy, Phan and Shelton associate to any regular cell complex X a quadratic K-algebra R(X). They give a combinatorial solution to the question of when this algebra is Koszul. The algebra R(X) is a combinatorial invariant but not a…

Rings and Algebras · Mathematics 2009-11-16 Hal Sadofsky , Brad Shelton

We introduce and study a notion of Castelnuovo-Mumford regularity suitable for rational normal scroll surfaces. In this setting we prove analogs of some classical properties. We prove splitting criteria for coherent sheaves and a…

Algebraic Geometry · Mathematics 2023-07-06 Roberta Di Gennaro , Francesco Malaspina

As the binomial edge ideal of a graph is always generated by homogeneous quadratic polynomials corresponding to the edges of the graph, the question of when a binomial edge ideal defines a Koszul algebra has been studied by many authors…

Commutative Algebra · Mathematics 2026-01-22 Adam LaClair , Matthew Mastroeni , Jason McCullough , Irena Peeva

We construct a free resolution of $R/I^s$ over $R$ where $I\ideal R$ is generated by a (finite or infinite) regular sequence. This generalizes the Koszul complex for the case $s=1$. For $s>1$, we easily deduce that the algebra structure of…

Commutative Algebra · Mathematics 2013-05-13 Andrew Baker

We establish a technique to prove that a Koszul graded ring is prime or a domain using information about its Koszul dual. This is based on a general categorical result that expands on methods of J.Y. Guo, which proves that certain orbital…

Rings and Algebras · Mathematics 2024-07-19 Manuel L. Reyes , Daniel Rogalski

We prove a general result about the geometry of holomorphic line bundles over Kahler manifolds.

Differential Geometry · Mathematics 2014-02-26 Simon Donaldson , Song Sun

Let A be a noetherian AS regular Koszul quiver algebra (if A is commutative, it is essentially a polynomial ring), and grA the category of finitely generated graded left A-modules. Following Jorgensen, we define the Castelnuovo-Mumford…

Commutative Algebra · Mathematics 2007-05-23 Kohji Yanagawa

We give necessary and sufficient conditions for strong Koszulness of toric rings associated with the stable set polytope of graphs.

Commutative Algebra · Mathematics 2013-09-17 Kazunori Matsuda

It is a small step toward the Koszul-type algebras. The piecewise-Koszul algebras are, in general, a new class of quadratic algebras but not the classical Koszul ones, simultaneously they agree with both the classical Koszul and higher…

Rings and Algebras · Mathematics 2011-09-20 Jiafeng Lu , Jiwei He , Diming Lu

Recently McBreen and Webster constructed a tilting bundle on a smooth hypertoric variety (using reduction to finite characteristic) and showed that its endomorphism ring is Koszul. In this short note we present alternative proofs for these…

Algebraic Geometry · Mathematics 2018-05-29 Špela Špenko , Michel Van den Bergh

In this paper we explore algebraic and geometric structures that arise on parallelizable manifolds. Given a parallelizable manifold $\mathbb{L}$, there exists a global trivialization of the tangent bundle, which defines a map…

Rings and Algebras · Mathematics 2024-03-22 Sergey Grigorian

We compute the Hilbert series, and the graded vector space structure, of Ext-algebras of quotients of Koszul algebras with almost linear resolution. The example of the generic determinantal varieties is treated in detail.

Rings and Algebras · Mathematics 2011-03-21 Jon Eivind Vatne

The gonality conjecture predicts that the gonality of a curve can be read off Koszul cohomology of line bundles of sufficiently large degree. We verify this conjecture for generic curves of odd genus. The even-genus case was previously…

Algebraic Geometry · Mathematics 2013-11-19 Marian Aprodu

In math.QA/0506507 I. Gelfand and the authors introduced and studied a new class of algebras associated to directed graphs. In this paper we show that these algebras are Koszul for a large class of layered (i.e. ranked) graphs.

Quantum Algebra · Mathematics 2007-05-23 Vladimir Retakh , Shirlei Serconek , Robert Lee Wilson