English
Related papers

Related papers: A quantitative Hilbert's basis theorem and the con…

200 papers

We give a constructive proof of the Hodge conjecture for complex $K3$ surfaces that does not rely on Torelli-type results. Starting with an arbitrary rational $(1,1)$-class $\alpha\in H^{1,1}(X,\mathbb{Q})$, we algorithmically build a…

Algebraic Geometry · Mathematics 2025-07-28 Badre Mounda

We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Espa\~nol and the authors. We show that the notion of Krull…

Commutative Algebra · Mathematics 2018-01-03 Thierry Coquand , Henri Lombardi

We generalize the notion of length to an ordinal-valued invariant defined on the class of finitely generated modules over a Noetherian ring. A key property of this invariant is its semi-additivity on short exact sequences. As an…

Commutative Algebra · Mathematics 2012-10-16 Hans Schoutens

We extend the classical length function to an ordinal-valued invariant on the class of all finite-dimensional Noetherian modules. We show how to calculate this combinatorial invariant by means of the fundamental cycle of the module, thus…

Commutative Algebra · Mathematics 2013-01-29 Hans Schoutens

Using a recent Furstenberg structure theorem, we obtain Multiple Recurrence Theorems relative to any locally compact second countable Noetherian module $G$ over a syndetic ring $R$, which generalizes Furstenberg's multiple recurrence…

Dynamical Systems · Mathematics 2016-06-10 Xiongping Dai

In this paper, in addition to the earlier introduced involutive divisions, we consider a new class of divisions induced by admissible monomial orderings. We prove that these divisions are noetherian and constructive. Thereby each of them…

Commutative Algebra · Mathematics 2025-10-20 Vladimir P. Gerdt

Persistence modules serve as the algebraic foundation for topological data analysis, typically studied as representations of posets over a field. This article extends the structural and decomposition theory of persistence modules to the…

Algebraic Topology · Mathematics 2026-02-17 Nadiya Upegui Keagy

Following a method introduced by Thomas-Vasquez and developed by Grundman, we prove that many Hilbert modular threefolds of arithmetic genus $0$ and $1$ are of general type, and that some are of nonnegative Kodaira dimension. The new…

Number Theory · Mathematics 2026-04-20 Adam Logan

We introduce a broader class of nonassociative Ore extensions that unifies and generalizes several earlier constructions. We prove generalizations of Hilbert's Basis Theorem for this class, showing that they arise immediately from the…

Rings and Algebras · Mathematics 2025-12-03 Per Bäck , Masood Aryapoor

Let $R$ be a commutative ring and $\Gamma$ be an infinite discrete group. The algebraic $K$-theory of the group ring $R[\Gamma]$ is an important object of computation in geometric topology and number theory. When the group ring is…

K-Theory and Homology · Mathematics 2016-07-04 Gunnar Carlsson , Boris Goldfarb

Let a be an ideal of a commutative Noetherian ring R with identity. We study finitely generated R-modules M whose a-finiteness and a-cohomological dimensions are equal. In particular, we examine relative analogues of quasi-Buchsbaum,…

Commutative Algebra · Mathematics 2021-09-06 Kamran Divaani-Aazar , Akram Ghanbari Doust , Massoud Tousi , Hossein Zakeri

In this paper, we aim to obtain some results under the condition that the dual of a module over a commutative Noetherian ring has finite Gorenstein dimension. In this direction, we derive results involving vanishing of Ext as well as the…

Commutative Algebra · Mathematics 2025-11-07 Victor D. Mendoza-Rubio , Victor H. Jorge-Pérez

In this paper, we suggest a construction of determinant lines of finitely generated Hilbertian modules over finite von Neumann algebras. Nonzero elements of the determinant lines can be viewed as volume forms on the Hilbertian modules.…

dg-ga · Mathematics 2013-09-02 A. Carey , M. Farber , V. Mathai

The notion of multiplicity of a module first arose as consequence of Hilbert's work on commutative algebra, relating the dimension of rings with the degree of certain polynomials. For noncommutative rings, the notion of multiplicity first…

Rings and Algebras · Mathematics 2026-04-14 Jonas T. Hartwig , Erich C. Jauch , João Schwarz

Let $A$ be a dimer algebra and $Z$ its center. It is well known that if $A$ is cancellative, then $A$ and $Z$ are noetherian and $A$ is a finitely generated $Z$-module. Here we show the converse: if $A$ is non-cancellative (as almost all…

Algebraic Geometry · Mathematics 2023-09-27 Charlie Beil

In this article we mainly consider the positively Z-graded polynomial ring R=F[X,Y] over an arbitrary field F and Hilbert series of finitely generated graded R-modules. The central result is an arithmetic criterion for such a series to be…

Commutative Algebra · Mathematics 2012-08-02 Julio José Moyano-Fernández , Jan Uliczka

Gorenstein homological dimensions are refinements of the classical homological dimensions, and finiteness singles out modules with amenable properties reflecting those of modules over Gorenstein rings. As opposed to their classical…

Commutative Algebra · Mathematics 2007-05-23 L. Winther Christensen , A. Frankild , H. Holm

For a ring $A$, we consider the question whether every bounded above cochain complex of injective $A$-modules which is acyclic is null-homotopic. We show that if $A$ is left and right noetherian and has a dualizing complex, then this…

Rings and Algebras · Mathematics 2023-03-31 Liran Shaul

We prove some results on the structure of ind-pro completions of Noetherian rings along flags of prime ideals. In particular, we compute the Krull dimension and deduce the criterion on semilocality in the case of essentially of finite type…

Commutative Algebra · Mathematics 2026-01-26 Dmitry Badulin

We use the multiplicative structure of the Koszul resolution to give short and simple proofs of some known estimates for the total dimension of the cohomology of spaces which admit free torus actions and analogous results for filtered…

Algebraic Topology · Mathematics 2008-11-24 Volker Puppe