arXiv subjects

Naoki Endo

Publications and source records attributed to Naoki Endo.

At least 19 recordsLinked to original sources

arXiv2026

Nearly Gorenstein blow-up algebras over two-dimensional regular local rings

In this paper, we slightly extend the framework of nearly Gorenstein graded rings introduced by Herzog-Hibi-Stamate, and investigate the nearly Gorenstein property of the blow-up algebras associated with an ideal, namely the Rees algebra, the extended Rees algebra, and the associated graded ring. We establish characterizations of the nearly Gorenstein property for these algebras and clarify the relations among them. In particular, for two-dimensional regular local rings, we obtain a complete classification of the integrally closed ideals for which these blow-up algebras are nearly Gorenstein.

math.AC↗

arXiv2026

Modules of minimal multiplicity over one-dimensional Cohen-Macaulay local rings

We study finitely generated modules of minimal multiplicity, a notion introduced by Puthenpurakal that extends the classical concept of minimal multiplicity from rings to modules. Our main result characterizes when trace ideals or reflexive ideals yield modules of minimal multiplicity over one-dimensional Cohen-Macaulay local rings. As a consequence, we show that a one-dimensional non-Gorenstein reduced local ring with a canonical module has minimal multiplicity if and only if its canonical module has minimal multiplicity as a module. We also construct several examples and compare them with Burch and Ulrich modules, highlighting cases where minimal multiplicity coincides with the Burch or Ulrich property.

math.AC↗

arXiv2026

Normality of Ideals and Modules

We investigate when the Rees algebra of an integrally closed $\mathfrak{m}$-primary ideal in a regular local ring is a Cohen-Macaulay normal domain. While this property always holds in dimension two, it fails in general in higher dimensions, prompting a search for sufficient conditions on the ideal. We show that if an integrally closed ideal contains a part of regular system of parameters of length $d-2$, where $d$ is the dimension of the regular local ring, then its Rees algebra is Cohen-Macaulay and normal. We also extend results of Goto and Ciuperc\u{a} by proving the same conclusion when the minimal number of generators of an ideal is at most $d+2$. Furthermore, we treat the case of integrally closed zero-dimensional ideals generated by $d+3$ homogeneous polynomials. Finally, using generic Bourbaki ideals, we generalize these results to integrally closed torsionfree modules of finite colength.

math.AC↗

arXiv2025

Quasi-Gorenstein extended Rees algebras associated with filtrations

This paper investigates the quasi-Gorenstein property of extended Rees algebras associated with the Hilbert filtrations on a Noetherian local ring. We provide necessary and sufficient conditions for the deformation of the quasi-Gorenstein property, characterized by the Cohen-Macaulayness of the Matlis dual of local cohomology modules. As a consequence, we offer a characterization of the quasi-Gorenstein property of extended Rees algebras in terms of conditions on the length of local cohomology.

math.AC↗

arXiv2024

Boosting Spectral Efficiency with Data-Carrying Reference Signals on the Grassmann Manifold

In wireless networks, frequent reference signal transmission for accurate channel reconstruction may reduce spectral efficiency. To address this issue, we consider to use a data-carrying reference signal (DC-RS) that can simultaneously estimate channel coefficients and transmit data symbols. Here, symbols on the Grassmann manifold are exploited to carry additional data and to assist in channel estimation. Unlike conventional studies, we analyze the channel estimation errors induced by DC-RS and propose an optimization method that improves the channel estimation accuracy without performance penalty. Then, we derive the achievable rate of noncoherent Grassmann constellation assuming discrete inputs in multi-antenna scenarios, as well as that of coherent signaling assuming channel estimation errors modeled by the Gauss-Markov uncertainty. These derivations enable performance evaluation when introducing DC-RS, and suggest excellent potential for boosting spectral efficiency, where interesting crossings with the non-data carrying RS occurred at intermediate signal-to-noise ratios.

eess.SP↗

arXiv2023

Goto rings

As part of stratification of Cohen-Macaulay rings, we introduce and develop the theory of Goto rings, generalizing the notion of almost Gorenstein rings originally defined by V. Barucci and R. Fr\"oberg in 1997. What has dominated the series of researches on almost Gorenstein rings is the fact that the reduction numbers of extended canonical ideals are at most $2$; we define Goto rings as Cohen-Macaulay rings admitting such extended canonical ideals. We provide a characterization of Goto rings in terms of the structure of Sally modules and determine the Hilbert functions of them. Various examples of Goto rings that come from numerical semigroups, idealizations, fiber products, and equimultiple Ulrich ideals are explored as well.

math.AC↗

arXiv2023

Remarks on almost Gorenstein rings

This paper investigates the relation between the almost Gorenstein properties for graded rings and for local rings. Once $R$ is an almost Gorenstein graded ring, the localization $R_M$ of $R$ at the graded maximal ideal $M$ is almost Gorenstein as a local ring. The converse does not hold true in general. However, it does for one-dimensional graded domains with mild conditions, which we clarify in the present paper. We explore the defining ideals of almost Gorenstein numerical semigroup rings as well.

math.AC↗

arXiv2023

How many ideals whose quotient rings are Gorenstein exist?

For an Ulrich ideal in a Gorenstein local ring, the quotient ring is again Gorenstein. Aiming to further develop the theory of Ulrich ideals, this paper investigates a naive question of how many non-principal ideals whose quotient rings are Gorenstein exist in a given Gorenstein ring. The main result provides that the number of such graded ideals in a symmetric numerical semigroup ring $R$ coincides with the conductor of the semigroup. We furthermore provide a complete list of non-principal graded ideals $I$ in $R$ whose quotient rings $R/I$ are Gorenstein.

math.AC↗

arXiv2023

Reflexive modules over the endomorphism algebras of reflexive trace ideals

In the present paper we investigate reflexive modules over the endomorphism algebras of reflexive trace ideals in a one-dimensional Cohen-Macaulay local ring. The main theorem generalizes both of the results of S. Goto, N. Matsuoka, and T. T. Phuong and T. Kobayashi concerning the endomorphism algebra of its maximal ideal. We also explore the question of when the category of reflexive modules is of finite type, i.e., the base ring has only finitely many isomorphism classes of indecomposable reflexive modules. We show that, if the category is of finite type, the ring is analytically unramified and has only finitely many Ulrich ideals. As a consequence, there are only finitely many Ulrich ideals are contained in Arf local rings once the normalization is a local ring.

math.AC↗

arXiv2023

Rings with q-torsionfree canonical modules

Let A be a Noetherian local ring with canonical module K. We characterize A when K is a torsionless, reflexive, or q-torsionfree module. If A is a Cohen-Macaulay ring, H.-B. Foxby proved in 1974 that the A-module K is q-torsionfree if and only if the ring A is q-Gorenstein. With mild assumptions, we provide a generalization of Foxby's result to arbitrary Noetherian local rings admitting the canonical module. In particular, since the reflexivity of the canonical module is closely related to the ring being Gorenstein in low codimension, we also explore quasi-normal rings, introduced by W. V. Vasconcelos. We provide several examples as well.

math.AC↗

arXiv2022

On the weakly Arf $(S_2)$-ifications of Noetherian rings

The weakly Arf $(S_2)$-ification of a commutative Noetherian ring $R$ is considered to be a birational extension which is good next to the normalization. The weakly Arf property (WAP for short) of $R$ was introduced in 1971 by J. Lipman with his famous paper [12], and recently rediscovered by [4], being closely explored with further developments. The present paper aims at constructing, for a given Noetherian ring $R$ which satisfies certain mild conditions, the smallest module-finite birational extension of $R$ which satisfies WAP and the condition $(S_2)$ of Serre. We shall call this extension the weakly Arf $(S_2)$-ification, and develop the basic theory, including some existence theorems.

math.AC↗

arXiv2021

A criterion for reflexivity of modules

Let $M$ be a finitely generated module over a ring $\Lambda$. With certain mild assumptions on $\Lambda$, it is proven that $M$ is a reflexive $\Lambda$-module, once $M \cong M^{**}$ as a $\Lambda$-module.

math.AC↗

arXiv2021

When are the rings $I:I$ Gorenstein?

Let $I ~(\ne A)$ be an ideal of a $d$-dimensional Noetherian local ring $A$ with $\operatorname{ht}_AI \ge 2$, containing a non-zerodivisor. The problem of when the ring $I:I=\operatorname{End}_AI$ is Gorenstein is studied, in connection with the problem of the Gorensteinness in Rees algebras $\mathcal{R}_A(Q^d)$ for certain parameter ideals $Q$ of $A$, that was closely explored by the preceding paper of the second and third authors. Examples are given.

math.AC↗

arXiv2021

Ulrich ideals in the ring $k[[t^5,t^{11}]]$

The Ulrich ideals in the semigroup rings $k[[t^5, t^{11}]]$ and $k[[t^5,t^6,t^9]]$ are determined, by describing the normal forms of systems of generators, where $k[[t]]$ denotes the formal power series ring over a field $k$.

math.AC↗

arXiv2021

Ulrich ideals in numerical semigroup rings of small multiplicity

Ulrich ideals in numerical semigroup rings of small multiplicity are studied. If the semigroups are three-generated but not symmetric, the semigroup rings are Golod, since the Betti numbers of the residue class fields of the semigroup rings form an arithmetic progression; therefore, these semigroup rings are G-regular, possessing no Ulrich ideals. Nevertheless, even in the three-generated case, the situation is different, when the semigroups are symmetric. We shall explore this phenomenon, describing an explicit system of generators, that is the normal form of generators, for the Ulrich ideals in the numerical semigroup rings of multiplicity at most 3. As the multiplicity is greater than $3$, in general the task of determining all the Ulrich ideals seems formidable, which we shall experience, analyzing one of the simplest examples of semigroup rings of multiplicity $4$.

math.AC↗

arXiv2021

Almost Gorenstein determinantal rings of symmetric matrices

We provide a characterization of the almost Gorenstein property of determinantal rings of a symmetric matrix of indeterminates over an infinite field. We give an explicit formula for ranks of the last two modules in the resolution of determinantal rings using Schur functors.

math.AC↗

arXiv2021

Topics on strict closure of rings

In 1971, J. Lipman introduced the notion of strict closure of a ring in another, and established the underlying theory in connection with a conjecture of O. Zariski. In this paper, for further developments of the theory, we investigate three different topics related to strict closure of rings. The first one concerns construction of the closure, and the second one is the study regarding the question of whether the strict closedness is inherited under flat homomorphisms. We finally handle the question of when the Arf closure coincides with the strict closure. Examples are explored to illustrate our theorems.

math.AC↗

arXiv2020

Construction of strictly closed rings

The notion of strict closedness of rings was given by J. Lipman in connection with a conjecture of O. Zariski. The present purpose is to give a practical method of construction of strictly closed rings. It is also shown that the Stanley-Reisner rings of simplicial complexes (resp. $F$-pure rings satisfying the condition $(S_2)$ of Serre) are strictly closed (resp. weakly Arf) rings.

math.AC↗