arXiv 2201.130022022-01-31math.ACmath.AG

Torsion in Differentials and Berger's Conjecture

Craig Huneke, Sarasij Maitra, Vivek Mukundan

发表信息：: Research in the Mathematical Sciences 8.4 (2021): 1-15
DOI：: 10.1007/s40687-021-00295-y

英文摘要：

Let $(R,\mathfrak{m},\mathbb{k})$ be an equicharacteristic one-dimensional complete local domain over an algebraically closed field $\mathbb{k}$ of characteristic 0. R. Berger conjectured that R is regular if and only if the universally finite module of differentials $Ω_R$ is a torsion-free $R$-module. We give new cases of this conjecture by extending works of Güttes (Arch Math 54:499-510, 1990) and Cortiñas et al. (Math Z 228:569-588, 1998).This is obtained by constructing a new subring $S$ of $\operatorname{Hom}_R(\mathfrak{m},\mathfrak{m})$ and constructing enough torsion in $Ω_S$, enabling us to pull back a nontrivial torsion to $Ω_R$.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Partial Trace Ideals And Berger's Conjecture

For any finitely generated module $M$ with non-zero rank over a commutative one-dimensional Noetherian local domain, we study a numerical invariant $\operatorname{h}(M)$ based on a partial trace ideal of $M$. We study its properties and explore relations between this invariant and the colength of the conductor. Finally we apply this to the universally finite module of differentials $Ω_{R/k}$, where $R$ is a complete $k$-algebra with $k$ any perfect field, to study a long-standing conjecture due to R. W. Berger.

2022-02-23math.ACmath.AG

The Artinian Berger Conjecture

We propose an Artinian version of Berger's Conjecture for curves, concerning the module of Kähler differentials of an algebra. Our version implies Berger's Conjecture in characteristic 0. We establish our Artinian Berger Conjecture in a number of cases, and prove that Berger's Conjecture holds for curve singularities whose conductor ideal contains the cube of a maximal ideal.

1995-03-14math.ACmath.RA

Partial Trace Ideals, Torsion and Canonical Module

For any finitely generated module $M$ with non-zero rank over a commutative one dimensional Noetherian local domain, the numerical invariant $h(M)$ was introduced and studied in the author's previous work "Partial Trace Ideals and Berger's Conjecture". We establish a bound on it which helps capture information about the torsion submodule of $M$ when $M$ has rank one and it also generalizes the discussion in the mentioned previous article. We further study bounds and properties of $h(M)$ in the case when $M$ is the canonical module $ω_R$. This in turn helps in answering a question of S. Greco a…

2022-07-07math.AC

Valuations and Nonzero Torsion in Module of Differentials

Let $(R,\mathfrak{m}_R,k)$ be a one-dimensional complete local reduced $k$-algebra over a field of characteristic zero. R. Berger conjectured that $R$ is regular if and only if the universally finite module of differentials $Ω_R$ is torsion free. When $R$ is a domain, we prove the conjecture in several cases. Our techniques are primarily reliant on making use of the valuation semi-group of $R$. First, we establish a method of verifying the conjecture by analyzing the valuation semi-group of $R$ and orders of units of the integral closure of $R$. We also prove the conjecture in the case when ce…

2022-11-18math.ACmath.AG

The Prym-Green Conjecture for torsion bundles of high order

The Prym-Green Conjecture predicts that the resolution of a generic n-torsion paracanonical curve of every genus is natural. The conjecture has mostly been studied so far for level 2, that is, for Prym-canonical curves. Using a construction of Barth and Verra that realizes torsion bundles on sections of special K3 surfaces, we prove the Prym-Green Conjecture for curves of odd genus g and torsion bundles of sufficiently high order with respect to g. We also give partial results in even genus. In the process, we confirm the expectation of Barth and Verra concerning the number of curves in a fixe…

2016-07-22math.ACmath.AG

Abelian varieties over finitely generated fields and the conjecture of Geyer and Jarden on torsion

In this paper we prove the Geyer-Jarden conjecture on the torsion part of the Mordell-Weil group for a large class of abelian varieties defined over finitely generated fields of arbitrary characteristic. The class consists of all abelian varieties with big monodromy, i.e., such that the image of Galois representation on l-torsion points, for almost all primes l, contains the full symplectic group.

2012-01-11math.ACmath.AGmath.NT

更多相关论文收起更多论文

Picard groups of punctured spectra of dimension three local hypersurfaces are torsion-free

Let (R,m) be a local ring and U_R=Spec(R) -{m} be the punctured spectrum of R. Gabber conjectured that if R is a complete intersection of dimension 3, then the abelian group Pic(U_R) is torsion-free. In this note we prove Gabber's statement for the hypersurface case. We also point out certain connections between Gabber's Conjecture, Van den Bergh's notion of non-commutative crepant resolutions and some well-studied questions in homological algebra over local rings.

2011-02-24math.ACmath.AG

p-torsion elements in local cohomology modules. II

Lyubeznik conjectured that local cohomology modules of regular rings have finitely many associated primes. We examine this conjecture for polynomial rings over the integers, and record some equational identities that arise from studying special cases.

2004-06-17math.AC

Remarks on torsionfreeness and its applications

In this article, we shall characterize torsionfreeness of modules with respect to a semidualizing module in terms of the Serre's condition (S_n). As its applications, we give a characterization of Cohen-Macaulay rings R such that R_p is Gorenstein for all prime ideals p of height less than n, and we will give a partial answer of Tachikawa conjecture and Auslander-Reiten conjecture.

2016-05-20math.AC

On the vanishing of theta invariant and a conjecture of Huneke and Wiegand

Huneke and Wiegand conjectured that, if $M$ is a finitely generated, non-free, torsion-free module with rank over a one-dimensional Cohen-Macaulay local ring $R$, then the tensor product of $M$ with its algebraic dual has torsion. This conjecture, if $R$ is Gorenstein, is a special case of a celebrated conjecture of Auslander and Reiten on the vanishing of self extensions that stems from the representation theory of finite-dimensional algebras. If $R$ is a one-dimensional Cohen-Macaulay ring such that $R=S/(f)$ for some local ring $(S, \mathfrak{n})$, and a non zero-divisor $f \in \mathfrak{n}…

2018-05-11math.AC

张量积与 Ulrich 模的两个同调猜想的解答

Tensor products and solutions to two homological conjectures for Ulrich modules

本文刻画 Cohen-Macaulay 局部环上有限生成模张量积成为 Ulrich 模的条件，并据此证明 Auslander-Reiten 与 Huneke-Wiegand 猜想对 Ulrich 模成立，同时给出自由性判据、完全交刻画及 Berger 猜想的新途径。

2023-08-15math.AC