arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.20183

Macdonald dual in the semilocal case and applications to local homology and local cohomology

Antonival Lopes do Nascimento Filho
View original source ↗Read source document ↗Export metadata ↓

Abstract

This paper extends Macdonald's duality theory and Cuong-Nam's local homology theory -- which is in some sense dual to the local cohomology theory of A. Grothendieck [Gro1] -- to semilocal noetherian rings equipped with the $J$-adic topology. By overcoming the key structural obstructions of the semilocal setting via Zöschinger's structure theory and semilocal Matlis duality, this work establishes topological limit duality isomorphisms and links local homology with local cohomology. Ultimately, this framework provides the foundational machinery required to extend the classical results of Macdonald [Mac] and Cuong-Nam [C-N1] to the semilocal setting.

Explore related subjects

math.AC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Antonival Lopes do Nascimento Filho. 2026-10-14. Macdonald dual in the semilocal case and applications to local homology and local cohomology. https://arxiv.org/abs/2610.20183

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Equivariant noncommutative crepant resolutions and $G$-maximal modifying modules

Let $S$ be a Cohen-Macaulay normal domain containing a field $k$ with an action of a finite group $G$ with $|G|$ invertible in $k$. We prove that $G$-equivariant noncommutative crepant resolutions of $S$ induce noncommutative crepant resolutions of $S^G$ if the $G$-action is small. We also discuss similar results for equivariant maximal modification algebras. We introduce the notion of $G$-maximal modifying ($G$-MM) module, and we show that $G$-MM module over $S$ induces MM $S^G$-module in some special cases. Furthermore, we prove that Gorenstein MMAs of three-dimensional $\mathbb{Q}$-Gorenstein Cohen-Macaulay rings are derived equivalent. As an application of these results, we prove the existence of an MM module and derived equivalences of MMAs for three-dimensional terminal singularities of index two.

math.AC↗
arXiv2026

Asymptotic Lech Bounds and Bertini Flags

For a $d$-dimensional Noetherian local ring $(R,\mathfrak{m})$, with $d>0$, let $c_{\infty}(R)$ be the limit, as $N\to\infty$, of the suprema of $e_R(I)/(d!\ell_R(R/I))$ over ideals $I$ with $\sqrt{I}=\mathfrak{m}$ and $\ell_R(R/I)>N$. We prove that if $R$ is complete, reduced, equidimensional, and Cohen--Macaulay on the punctured spectrum, with $d\geq2$ and infinite residue field, then every nonzerodivisor $x\in\mathfrak{m}$ satisfies \[ c_{\infty}(R)\leq \max\left\{c_{\infty}(R/xR), \sup_{\mathfrak{p}\ne\mathfrak{m}}e(R_{\mathfrak{p}})\right\}. \] As an application, we prove the asymptotic Lech conjecture of Huneke, Ma, Quy, and Smirnov in arbitrary characteristic: $c_{\infty}(R)=1$ whenever $\widehat{R}$ has isolated singularities. This also settles the conjecture of Ma and Smirnov that the Lech--Mumford constant $c_{\mathrm{LM}}(R)$ is attained when $\widehat{R}$ has isolated singularities and $c_{\mathrm{LM}}(R)>1$. For reduced equidimensional Cohen--Macaulay standard graded algebras of dimension $\geq2$ over infinite perfect fields, we prove attainment and rationality of $c_{\mathrm{LM}}$ for the completed vertex local rings of sufficiently high Veronese subrings. In characteristic zero, a refinement of our method produces nonisolated klt affine cones in every dimension $d\geq3$, with $d-2$-dimensional singular loci, whose completed vertex local rings have $c_{\infty}=1$ and arbitrarily large $c_{\mathrm{LM}}$.

math.AC↗
arXiv2026

Finitistic dimensions of formal power series rings

We consider the big finitistic projective and flat dimensions of a commutative ring and of its formal power series ring. When the ring is Noetherian, both invariants increase by one. Coherence of the power series ring does not force either equality to hold. For every \(n\ge0\) and every \(d\) with \(n+1\le d\le\infty\), the flat pair \((n,d)\) can be realized. The finite projective pairs are realized when \(n\ge1\), and also for \((0,1)\). For every \(n\ge0\), one family realizes \((n,\infty)\) for both invariants at the same time. The seed is a zero-dimensional perfect local ring. Its power series ring has countably presented modules whose flat dimension is \(r\) and whose projective dimension lies between \(r\) and \(r+1\), for every \(r\ge1\). The remaining finite projective case is controlled by a dichotomy for perfect coefficient rings. If the Jacobson radical is nilpotent, the power series value is one; if it is not nilpotent, there is a module of projective dimension exactly three. In particular, the pair \((0,2)\) is impossible. For one fixed countable perfect ring, the power series ring has finitistic flat dimension one. Its finitistic projective dimension is \(m+2\) when \(2^{\aleph_0}=\aleph_m\) with \(1\le m<\infty\), and is infinite when \(2^{\aleph_0}>\aleph_ω\).

math.AC↗