Showing 1–31 of 31 results for author: Matsui, H

On the vanishing of self extensions of even-periodic modules

Authors: Ela Celikbas, Olgur Celikbas, Hiroki Matsui, Ryo Takahashi

Abstract: In this paper we study rigid modules over commutative Noetherian local rings, establish new freeness criteria for certain periodic rigid modules, and extend several results from the literature. Along the way, we prove general Ext vanishing results over Cohen-Macaulay rings and investigate modules which have zero class in the reduced Grothendieck group with rational coefficients. In this paper we study rigid modules over commutative Noetherian local rings, establish new freeness criteria for certain periodic rigid modules, and extend several results from the literature. Along the way, we prove general Ext vanishing results over Cohen-Macaulay rings and investigate modules which have zero class in the reduced Grothendieck group with rational coefficients. △ Less

Submitted 5 August, 2024; originally announced August 2024.

Comments: 12 pages

MSC Class: 13D07 (Primary) 13H10; 13D05; 13C12 (Secondary)

A new proof of the Bondal-Orlov reconstruction using Matsui spectra

Authors: Daigo Ito, Hiroki Matsui

Abstract: In 2005, Balmer defined the ringed space $\operatorname{Spec}_\otimes \mathcal{T}$ for a given tensor triangulated category, while in 2023, the second author introduced the ringed space $\operatorname{Spec}_\vartriangle \mathcal{T}$ for a given triangulated category. In the algebro-geometric context, these spectra provided several reconstruction theorems using derived categories. In this paper, we… ▽ More In 2005, Balmer defined the ringed space $\operatorname{Spec}_\otimes \mathcal{T}$ for a given tensor triangulated category, while in 2023, the second author introduced the ringed space $\operatorname{Spec}_\vartriangle \mathcal{T}$ for a given triangulated category. In the algebro-geometric context, these spectra provided several reconstruction theorems using derived categories. In this paper, we prove that $\operatorname{Spec}_{\otimes_X^\mathbb{L}} \operatorname{Perf} X$ is an open ringed subspace of $\operatorname{Spec}_\vartriangle \operatorname{Perf} X$ for a quasi-projective variety $X$. As an application, we provide a new proof of the Bondal-Orlov and Ballard reconstruction theorems in terms of these spectra. Recently, the first author introduced the Fourier-Mukai locus $\operatorname{Spec}^\mathsf{FM} \operatorname{Perf} X$ for a smooth projective variety $X$, which is constructed by gluing Fourier-Mukai partners of $X$ inside $\operatorname{Spec}_\vartriangle \operatorname{Perf} X$. As another application of our main theorem, we demonstrate that $\operatorname{Spec}^\mathsf{FM} \operatorname{Perf} X$ can be viewed as an open ringed subspace of $\operatorname{Spec}_\vartriangle \operatorname{Perf} X$. As a result, we show that all the Fourier-Mukai partners of an abelian variety $X$ can be reconstructed by topologically identifying the Fourier-Mukai locus within $\operatorname{Spec}_\vartriangle \operatorname{Perf} X$. △ Less

Submitted 26 May, 2024; originally announced May 2024.

Comments: 17 pages, Comments welcome!

MSC Class: 14A10; 14F08; 14K05; 18G80

Depth formula for modules of finite reducing projective dimension

Authors: Olgur Celikbas, Toshinori Kobayashi, Brian Laverty, Hiroki Matsui

Abstract: We prove that the depth formula holds for two finitely generated Tor-independent modules over Cohen-Macaulay local rings if one of the modules considered has finite reducing projective dimension (for example, if it has finite projective dimension, or the ring is a complete intersection). This generalizes a result of Bergh-Jorgensen which shows that the depth formula holds for two finitely generate… ▽ More We prove that the depth formula holds for two finitely generated Tor-independent modules over Cohen-Macaulay local rings if one of the modules considered has finite reducing projective dimension (for example, if it has finite projective dimension, or the ring is a complete intersection). This generalizes a result of Bergh-Jorgensen which shows that the depth formula holds for two finitely generated Tor-independent modules over Cohen-Macaulay local rings if one of the modules considered has reducible complexity and certain additional conditions hold. Each module that has reducible complexity also has finite complexity and finite reducing projective dimension, but not necessarily vice versa. So a new advantage we have is that, unlike modules of reducible complexity, Betti numbers of modules of finite reducing projective dimension can grow exponentially. △ Less

Submitted 12 December, 2023; originally announced December 2023.

Comments: 15 pages, Comments are well come

Two theorems on the vanishing of Ext

Authors: Olgur Celikbas, Souvik Dey, Toshinori Kobayashi, Hiroki Matsui, Arash Sadeghi

Abstract: We prove two theorems on the vanishing of Ext over commutative Noetherian local rings. Our first theorem shows that there are no Burch ideals which are rigid over non-regular local domains. Our second theorem reformulates a conjecture of Huneke-Wiegand in terms of the vanishing of Ext, and highlights its relation with the celebrated Auslander-Reiten conjecture. We also discuss several consequences… ▽ More We prove two theorems on the vanishing of Ext over commutative Noetherian local rings. Our first theorem shows that there are no Burch ideals which are rigid over non-regular local domains. Our second theorem reformulates a conjecture of Huneke-Wiegand in terms of the vanishing of Ext, and highlights its relation with the celebrated Auslander-Reiten conjecture. We also discuss several consequences of our results, for example, about the rigidity of the Frobenius endomorphism in prime characteristic p and a generalization of a result of Araya. △ Less

Submitted 8 October, 2023; v1 submitted 17 August, 2023; originally announced August 2023.

Comments: 12 pages. Souvik Dey is a new coauthor. One of our main theorems (Theorem 1.2) is improved. Outcomes about the rigidity of the Frobenius endomorphism in prime characteristic are added

MSC Class: 13A35; 13D07; 13H10; 13D05; 13C12

Triangular spectra and their applications to derived categories of noetherian schemes

Authors: Hiroki Matsui

Abstract: For a triangulated category $\mathcal{T}$, Matsui recently introduced a topological space $\mathrm{Spec}_\triangle(\mathcal{T})$ which we call the triangular spectrum of $\mathcal{T}$ as an analog of the Balmer spectrum introduced by Balmer for a tensor triangulated category. In the present paper, we use the triangular spectrum to reconstruct a noetherian scheme $X$ from its perfect derived catego… ▽ More For a triangulated category $\mathcal{T}$, Matsui recently introduced a topological space $\mathrm{Spec}_\triangle(\mathcal{T})$ which we call the triangular spectrum of $\mathcal{T}$ as an analog of the Balmer spectrum introduced by Balmer for a tensor triangulated category. In the present paper, we use the triangular spectrum to reconstruct a noetherian scheme $X$ from its perfect derived category $\mathrm{D^{pf}}(X)$. As an application, we give an alternative proof of the Bondal-Orlov-Ballard reconstruction theorem. Moreover, we define the structure sheaf on $\mathrm{Spec}_\triangle(\mathcal{T})$ and compare the triangular spectrum and the Balmer spectrum as ringed spaces. △ Less

Submitted 8 January, 2023; originally announced January 2023.

Comments: 19 pages

MSC Class: 14A15; 14F08; 14H52; 18G80

Some characterizations of local rings via reducing dimensions

Authors: Olgur Celikbas, Souvik Dey, Toshinori Kobayashi, Hiroki Matsui

Abstract: In this paper we study homological dimensions of finitely generated modules over commutative Noetherian local rings, called reducing homological dimensions. We obtain new characterizations of Gorenstein and complete intersection local rings via reducing homological dimensions. For example, we extend a classical result of Auslander and Bridger, and prove that a local ring is Gorenstein if and only… ▽ More In this paper we study homological dimensions of finitely generated modules over commutative Noetherian local rings, called reducing homological dimensions. We obtain new characterizations of Gorenstein and complete intersection local rings via reducing homological dimensions. For example, we extend a classical result of Auslander and Bridger, and prove that a local ring is Gorenstein if and only if each finitely generated module over it has finite reducing Gorenstein dimension. Along the way, we prove various connections between complexity and reducing projective dimension of modules. △ Less

Submitted 10 December, 2022; originally announced December 2022.

Comments: comments are welcome!

MSC Class: 13D07; 13D05; 13C13; 13C14; 13C60; 13H10

On the categorical entropy of the Frobenius pushforward functor

Authors: Hiroki Matsui, Ryo Takahashi

Abstract: In this paper, we consider the Frobenius pushforward endofunctor $F_\ast$ of the bounded derived category of finitely generated modules over an $F$-finite noetherian local ring. We completely determine the categorical entropy of $F_\ast$ in the sense of Dimitrov, Haiden, Katzarkov, and Kontsevich. In this paper, we consider the Frobenius pushforward endofunctor $F_\ast$ of the bounded derived category of finitely generated modules over an $F$-finite noetherian local ring. We completely determine the categorical entropy of $F_\ast$ in the sense of Dimitrov, Haiden, Katzarkov, and Kontsevich. △ Less

Submitted 27 July, 2022; originally announced July 2022.

Comments: 11 pages

MSC Class: 13A35; 13D09; 14F08

On the reducing projective dimension of the residue field

Authors: Olgur Celikbas, Souvik Dey, Toshinori Kobayashi, Hiroki Matsui

Abstract: In this paper we are concerned with certain invariants of modules, called reducing invariants, which have been recently introduced and studied by Araya-Celikbas and Araya-Takahashi. We raise the question whether the residue field of each commutative Noetherian local ring has finite reducing projective dimension and obtain an affirmative answer for the question for a large class of local rings. Fur… ▽ More In this paper we are concerned with certain invariants of modules, called reducing invariants, which have been recently introduced and studied by Araya-Celikbas and Araya-Takahashi. We raise the question whether the residue field of each commutative Noetherian local ring has finite reducing projective dimension and obtain an affirmative answer for the question for a large class of local rings. Furthermore, we construct new examples of modules of infinite projective dimension that have finite reducing projective dimension, and study several fundamental properties of reducing dimensions, especially properties under local homomorphisms of local rings. △ Less

Submitted 19 July, 2022; originally announced July 2022.

Comments: Comments are welcome!

MSC Class: 13D07; 13C12; 13D05; 13H10

Journal ref: Glasgow Mathematical Journal , Volume 66 , Issue 1 , January 2024

When is a subcategory Serre or torsionfree?

Authors: Kei-ichiro Iima, Hiroki Matsui, Kaori Shimada, Ryo Takahashi

Abstract: Let R be a commutative noetherian ring. Denote by mod R the category of finitely generated R-modules. In the present paper, we first provide various sufficient (and necessary) conditions for a full subcategory of mod R to be a Serre subcategory, which include several refinements of theorems of Stanley and Wang and of Takahashi with simpler proofs. Next we consider when an IKE-closed subcategory of… ▽ More Let R be a commutative noetherian ring. Denote by mod R the category of finitely generated R-modules. In the present paper, we first provide various sufficient (and necessary) conditions for a full subcategory of mod R to be a Serre subcategory, which include several refinements of theorems of Stanley and Wang and of Takahashi with simpler proofs. Next we consider when an IKE-closed subcategory of mod R is a torsionfree class. We investigate certain modules out of which all modules of finite length can be built by taking direct summands and extensions, and then we apply it to show that the IKE-closed subcategories of mod R are torsionfree classes in the case where R is a certain numerical semigroup ring. △ Less

Submitted 28 February, 2022; originally announced March 2022.

Remarks on a conjecture of Huneke and Wiegand and the vanishing of (co)homology

Authors: Olgur Celikbas, Uyen Le, Hiroki Matsui, Arash Sadeghi

Abstract: In this paper we study a long-standing conjecture of Huneke and Wiegand which is concerned with the torsion submodule of certain tensor products of modules over one-dimensional local domains. We utilize Hochster's theta invariant and show that the conjecture is true for two periodic modules. We also make use of a result of Orlov and formulate a new condition which, if true over hypersurface rings,… ▽ More In this paper we study a long-standing conjecture of Huneke and Wiegand which is concerned with the torsion submodule of certain tensor products of modules over one-dimensional local domains. We utilize Hochster's theta invariant and show that the conjecture is true for two periodic modules. We also make use of a result of Orlov and formulate a new condition which, if true over hypersurface rings, forces the conjecture of Huneke and Wiegand to be true over complete intersection rings of arbitrary codimension. Along the way we investigate the interaction between the vanishing of Tate (co)homology and torsion in tensor products of modules, and obtain new results that are of independent interest. △ Less

Submitted 9 February, 2022; originally announced February 2022.

Comments: 18 pages

MSC Class: Primary 13D07; Secondary 13H10; 13D05; 13C12

An extension of a depth inequality of Auslander

Authors: Olgur Celikbas, Uyen Le, Hiroki Matsui

Abstract: In this paper, we consider a depth inequality of Auslander which holds for finitely generated Tor-rigid modules over commutative Noetherian local rings. We raise the question of whether such a depth inequality can be extended for $n$-Tor-rigid modules, and obtain an affirmative answer for 2-Tor-rigid modules that are generically free. Furthermore, in the appendix, we use Dao's eta function and det… ▽ More In this paper, we consider a depth inequality of Auslander which holds for finitely generated Tor-rigid modules over commutative Noetherian local rings. We raise the question of whether such a depth inequality can be extended for $n$-Tor-rigid modules, and obtain an affirmative answer for 2-Tor-rigid modules that are generically free. Furthermore, in the appendix, we use Dao's eta function and determine new classes of Tor-rigid modules over hypersurfaces that are quotient of unramified regular local rings. △ Less

Submitted 18 August, 2021; originally announced August 2021.

Comments: 13 pages, Comments are welcome

MSC Class: 13C12; 13D05; 13D07; 13H10

Prime thick subcategories and spectra of derived and singularity categories of noetherian schemes

Authors: Hiroki Matsui

Abstract: For an essentially small triangulated category $\mathcal{T}$, we introduce the notion of prime thick subcategories and define the spectrum of $\mathcal{T}$, which shares the basic properties with the spectrum of a tensor triangulated category introduced by Balmer. We mainly focus on triangulated categories that appear in algebraic geometry such as the derived and the singularity categories of a no… ▽ More For an essentially small triangulated category $\mathcal{T}$, we introduce the notion of prime thick subcategories and define the spectrum of $\mathcal{T}$, which shares the basic properties with the spectrum of a tensor triangulated category introduced by Balmer. We mainly focus on triangulated categories that appear in algebraic geometry such as the derived and the singularity categories of a noetherian scheme $X$. We prove that certain classes of thick subcategories are prime thick subcategories of these triangulated categories. Furthermore, we use this result to show that certain subspaces of $X$ are embedded into their spectra as topological spaces. △ Less

Submitted 22 February, 2021; originally announced February 2021.

Comments: 20 pages

MSC Class: 13D09; 13H10; 14J60; 18E30

Journal ref: Pacific J. Math. 313 (2021) 433-457

On the depth and reflexivity of tensor products

Authors: Olgur Celikbas, Uyen Le, Hiroki Matsui

Abstract: In this paper we study the depth of tensor products of homologically finite complexes over commutative Noetherian local rings. As an application of our main result, we determine new conditions under which nonzero tensor products of finitely generated modules over hypersurface rings can be reflexive only if both of their factors are reflexive. A result of Asgharzadeh shows that nonzero symbolic pow… ▽ More In this paper we study the depth of tensor products of homologically finite complexes over commutative Noetherian local rings. As an application of our main result, we determine new conditions under which nonzero tensor products of finitely generated modules over hypersurface rings can be reflexive only if both of their factors are reflexive. A result of Asgharzadeh shows that nonzero symbolic powers of prime ideals in a local ring cannot have finite projective dimension, unless the ring in question is a domain. We make use of this fact in the appendix and consider the reflexivity of tensor products of prime ideals over hypersurface rings. △ Less

Submitted 3 February, 2021; v1 submitted 2 February, 2021; originally announced February 2021.

Comments: 11 pages

Journal ref: Journal of Algebra Volume 606, 15 September 2022, Pages 916-932

Serre's condition for tensor products and $n$-Tor-rigidity of modules

Authors: Hiroki Matsui

Abstract: In this paper, we study Serre's condition $(S_n)$ for tensor products of modules over a commutative noetherian local ring. The paper aims to show the following. Let $M$ and $N$ be finitely generated module over a commutative noetherian local ring $R$, either of which is $(n+1)$-Tor-rigid. If the tensor product $M \otimes_R N$ satisfies $(S_{n+1})$, then under some assumptions… ▽ More In this paper, we study Serre's condition $(S_n)$ for tensor products of modules over a commutative noetherian local ring. The paper aims to show the following. Let $M$ and $N$ be finitely generated module over a commutative noetherian local ring $R$, either of which is $(n+1)$-Tor-rigid. If the tensor product $M \otimes_R N$ satisfies $(S_{n+1})$, then under some assumptions $\mathrm{Tor}_{i}^R(M, N) = 0$ for all $i \ge 1$. The key role is played by $(n+1)$-Tor-rigidity of modules. As applications, we will show that the result recovers several known results. △ Less

Submitted 27 February, 2020; originally announced February 2020.

Comments: 9 pages

MSC Class: 13C12; 13D05; 13D07; 13H10

Filtrations in module categories, derived categories and prime spectra

Authors: Hiroki Matsui, Ryo Takahashi

Abstract: Let R be a commutative noetherian ring. The notion of n-wide subcategories of Mod R is introduced and studied in Matsui-Nam-Takahashi-Tri-Yen in relation to the cohomological dimension of a specialization-closed subset of Spec R. In this paper, we introduce the notions of n-coherent subsets of Spec R and n-uniform subcategories of D(Mod R), and explore their interactions with n-wide subcategories… ▽ More Let R be a commutative noetherian ring. The notion of n-wide subcategories of Mod R is introduced and studied in Matsui-Nam-Takahashi-Tri-Yen in relation to the cohomological dimension of a specialization-closed subset of Spec R. In this paper, we introduce the notions of n-coherent subsets of Spec R and n-uniform subcategories of D(Mod R), and explore their interactions with n-wide subcategories of Mod R. We obtain a commutative diagram which yields filtrations of subcategories of Mod R, D(Mod R) and subsets of Spec R and complements classification theorems of subcategories due to Gabriel, Krause, Neeman, Takahashi and Angeleri Hugel-Marks-Stovicek-Takahashi-Vitoria. △ Less

Submitted 25 September, 2020; v1 submitted 22 December, 2019; originally announced December 2019.

Comments: 17 pages, to appear in IMRN

MSC Class: 13C60; 13D09; 13D45

Cohomological dimensions of specialization-closed subsets and subcategories of modules

Authors: Hiroki Matsui, Tran Tuan Nam, Ryo Takahashi, Nguyen Minh Tri, Do Ngoc Yen

Abstract: Let R be a commutative noetherian ring. In this paper, we study specialization-closed subsets of Spec R. More precisely, we first characterize the specialization-closed subsets in terms of various closure properties of subcategories of modules. Then, for each nonnegative integer n we introduce the notion of n-wide subcategories of R-modules to consider the question asking when a given specializati… ▽ More Let R be a commutative noetherian ring. In this paper, we study specialization-closed subsets of Spec R. More precisely, we first characterize the specialization-closed subsets in terms of various closure properties of subcategories of modules. Then, for each nonnegative integer n we introduce the notion of n-wide subcategories of R-modules to consider the question asking when a given specialization-closed subset has cohomological dimension at most n. △ Less

Submitted 25 September, 2020; v1 submitted 12 December, 2019; originally announced December 2019.

Comments: 10 pages, to appear in PAMS

MSC Class: 13C60; 13D09; 13D45

On an example concerning the second rigidity theorem

Authors: Olgur Celikbas, Hiroki Matsui, Arash Sadeghi

Abstract: In this paper we revisit an example of Celikbas and Takahashi concerning the reflexivity of tensor products of modules. We study Tor-rigidity and the Hochster--Huneke graph with vertices consisting of minimal prime ideals, and determine a condition with which the aforementioned example cannot occur. Our result, in particular, corroborates the Second Rigidity Theorem of Huneke and Wiegand. In this paper we revisit an example of Celikbas and Takahashi concerning the reflexivity of tensor products of modules. We study Tor-rigidity and the Hochster--Huneke graph with vertices consisting of minimal prime ideals, and determine a condition with which the aforementioned example cannot occur. Our result, in particular, corroborates the Second Rigidity Theorem of Huneke and Wiegand. △ Less

Submitted 6 August, 2019; originally announced August 2019.

Comments: 8 pages

Construction of spectra of triangulated categories without tensor structure and applications to commutative rings

Authors: Hiroki Matsui, Ryo Takahashi

Abstract: In this paper, as an analogue of the spectrum of a tensor triangulated category introduced by Balmer, we define a spectrum of a triangulated category which does not necessarily admit a tensor structure. We apply it for some triangulated categories associated to a commutative noetherian ring. In this paper, as an analogue of the spectrum of a tensor triangulated category introduced by Balmer, we define a spectrum of a triangulated category which does not necessarily admit a tensor structure. We apply it for some triangulated categories associated to a commutative noetherian ring. △ Less

Submitted 15 November, 2018; originally announced November 2018.

Comments: 15 pages

MSC Class: 13D09; 13H10; 18E30

Numerical aspect of large-scale electronic state calculation for flexible device material

Authors: Takeo Hoshi, Hiroto Imachi, Akiyoshi Kuwata, Kohsuke Kakuda, Takatoshi Fujita, Hiroyuki Matsui

Abstract: Numerical aspects of large-scale electronic state calculation are explored on flexible organic device materials. Physical theory, numerical method and real application studies are discussed in the context of application-algorithm-architecture co-design. An application study was carried out for disordered organic thin film. Participation ratio, a measure for the spatial extension of electronic wave… ▽ More Numerical aspects of large-scale electronic state calculation are explored on flexible organic device materials. Physical theory, numerical method and real application studies are discussed in the context of application-algorithm-architecture co-design. An application study was carried out for disordered organic thin film. Participation ratio, a measure for the spatial extension of electronic wavefunction is focused on, since it is crucial for device property. A data scientific research is reported for a classification problem of disordered organic polymers, in which participation ratio is used as descriptor. These application studies indicate the potential need of purpose-specific solvers for internal eigenpairs. △ Less

Submitted 14 December, 2018; v1 submitted 6 August, 2018; originally announced August 2018.

Comments: 15 pages, 4 figures

Journal ref: Japan J. Indust. Appl. Math 36, 685 - 698 (2019)

Singular equivalences of commutative noetherian rings and reconstruction of singular loci

Authors: Hiroki Matsui

Abstract: Two left noetherian rings $R$ and $S$ are said to be {\it singularly equivalent} if their singularity categories are equivalent as triangulated categories. The aim of this paper is to give a necessary condition for two commutative noetherian rings to be singularly equivalent. To do this, we develop the support theory for triangulated categories without tensor structure. Two left noetherian rings $R$ and $S$ are said to be {\it singularly equivalent} if their singularity categories are equivalent as triangulated categories. The aim of this paper is to give a necessary condition for two commutative noetherian rings to be singularly equivalent. To do this, we develop the support theory for triangulated categories without tensor structure. △ Less

Submitted 14 May, 2018; v1 submitted 22 September, 2017; originally announced September 2017.

Comments: 21 pages, Title is changed, Section 5 is added, minor changes

MSC Class: 13C14; 13D09; 14F05; 18E30; 19D23; 20C20

Connectedness of the Balmer spectra of right bounded derived categories

Authors: Hiroki Matsui

Abstract: By virtue of Balmer's celebrated theorem, the classification of thick tensor ideals of a tensor triangulated category $\T$ is equivalent to the topological structure of its Balmer spectrum $\spc \T$. Motivated by this theorem, we discuss connectedness and noetherianity of the Balmer spectrum of a right bounded derived category of finitely generated modules over a commutative ring. By virtue of Balmer's celebrated theorem, the classification of thick tensor ideals of a tensor triangulated category $\T$ is equivalent to the topological structure of its Balmer spectrum $\spc \T$. Motivated by this theorem, we discuss connectedness and noetherianity of the Balmer spectrum of a right bounded derived category of finitely generated modules over a commutative ring. △ Less

Submitted 12 May, 2017; originally announced May 2017.

Comments: 12 pages

MSC Class: 13D09; 19D23

Thick tensor ideals of right bounded derived categories

Authors: Hiroki Matsui, Ryo Takahashi

Abstract: Let $R$ be a commutative noetherian ring. Denote by $D^-(R)$ the derived category of cochain complexes $X$ of finitely generated $R$-modules with $H^i(X)=0$ for $i\gg0$. Then $D^-(R)$ has the structure of a tensor triangulated category with tensor product $-\otimes_R^L-$ and unit object $R$. In this paper, we study thick tensor ideals of $D^-(R)$, i.e., thick subcategories closed under the tensor… ▽ More Let $R$ be a commutative noetherian ring. Denote by $D^-(R)$ the derived category of cochain complexes $X$ of finitely generated $R$-modules with $H^i(X)=0$ for $i\gg0$. Then $D^-(R)$ has the structure of a tensor triangulated category with tensor product $-\otimes_R^L-$ and unit object $R$. In this paper, we study thick tensor ideals of $D^-(R)$, i.e., thick subcategories closed under the tensor action by each object in $D^-(R)$, and investigate the Balmer spectrum $Spc\,D^-(R)$ of $D^-(R)$, i.e., the set of prime thick tensor ideals of $D^-(R)$. First, we give a complete classification of the thick tensor ideals of $D^-(R)$ generated by bounded complexes, establishing a generalized version of the Hopkins-Neeman smash nilpotence theorem. Then, we define a pair of maps between the Balmer spectrum $Spc\,D^-(R)$ and the Zariski spectrum $Spec\,R$, and study their topological properties. After that, we compare several classes of thick tensor ideals of $D^-(R)$, relating them to specialization-closed subsets of $Spec\,R$ and Thomason subsets of $Spc\,D^-(R)$, and construct a counterexample to a conjecture of Balmer. Finally, we explore thick tensor ideals of $D^-(R)$ in the case where $R$ is a discrete valuation ring. △ Less

Submitted 17 July, 2017; v1 submitted 9 November, 2016; originally announced November 2016.

Comments: Final version. To appear in Algebra and Number Theory

Journal ref: Alg. Number Th. 11 (2017) 1677-1738

Classifying dense (co)resolving subcategories of exact categories via Grothendieck groups

Authors: Hiroki Matsui

Abstract: Classification problems of subcategories have been deeply considered so far. In this paper, we discuss classifying dense (co)resolving subcategories of exact categories via their Grothendieck groups. This study is motivated by the classification of dense triangulated subcategories of triangulated categories due to Thomason. Classification problems of subcategories have been deeply considered so far. In this paper, we discuss classifying dense (co)resolving subcategories of exact categories via their Grothendieck groups. This study is motivated by the classification of dense triangulated subcategories of triangulated categories due to Thomason. △ Less

Submitted 6 November, 2016; v1 submitted 2 August, 2016; originally announced August 2016.

Comments: 17 pages

MSC Class: 18E10; 18F30; 16G50

When are n-syzygy modules n-torsionfree?

Authors: Hiroki Matsui, Ryo Takahashi, Yoshinao Tsuchiya

Abstract: Let R be a commutative noetherian ring. We consider the question of when n-syzygy modules over R are n-torsionfree in the sense of Auslander and Bridger. Our tools include Serre's condition and certain conditions on the local Gorenstein property of R. Our main result implies the converse of a celebrated theorem of Evans and Griffith. Let R be a commutative noetherian ring. We consider the question of when n-syzygy modules over R are n-torsionfree in the sense of Auslander and Bridger. Our tools include Serre's condition and certain conditions on the local Gorenstein property of R. Our main result implies the converse of a celebrated theorem of Evans and Griffith. △ Less

Submitted 13 April, 2016; originally announced April 2016.

The structure of preenvelopes with respect to maximal Cohen-Macaulay modules

Authors: Hiroki Matsui

Abstract: This paper studies the structure of special preenvelopes and envelopes with respect to maximal Cohen-Macaulay modules. We investigate the structure of them in terms of their kernels and cokernels. Moreover, using this result, we also study the structure of special proper coresolutions with respect to maximal Cohen-Macaulay modules over a Henselian Cohen-Macaulay local ring. This paper studies the structure of special preenvelopes and envelopes with respect to maximal Cohen-Macaulay modules. We investigate the structure of them in terms of their kernels and cokernels. Moreover, using this result, we also study the structure of special proper coresolutions with respect to maximal Cohen-Macaulay modules over a Henselian Cohen-Macaulay local ring. △ Less

Submitted 30 April, 2015; originally announced April 2015.

Comments: 12 pages

MSC Class: 13C14; 13C60

Singularity categories and singular equivalences for resolving subcategories

Authors: Hiroki Matsui, Ryo Takahashi

Abstract: Let $\X$ be a resolving subcategory of an abelian category. In this paper we investigate the singularity category $\ds(\underline\X)=\db(\mod\underline\X)/\kb(\proj(\mod\underline\X))$ of the stable category $\underline\X$ of $\X$. We consider when the singularity category is triangle equivalent to the stable category of Gorenstein projective objects, and when the stable categories of two resolvin… ▽ More Let $\X$ be a resolving subcategory of an abelian category. In this paper we investigate the singularity category $\ds(\underline\X)=\db(\mod\underline\X)/\kb(\proj(\mod\underline\X))$ of the stable category $\underline\X$ of $\X$. We consider when the singularity category is triangle equivalent to the stable category of Gorenstein projective objects, and when the stable categories of two resolving subcategories have triangle equivalent singularity categories. Applying this to the module category of a Gorenstein ring, we characterize simple hypersurface singularities of type $(\a_1)$ as complete intersections over which the stable categories of resolving subcategories have trivial singularity categories. We also generalize several results of Yoshino on totally reflexive modules. △ Less

Submitted 26 May, 2016; v1 submitted 27 December, 2014; originally announced December 2014.

Comments: 27 pages, to appear in Math. Z

MSC Class: 13C60; 13D09; 16G60; 16G70; 18A25; 18E30

Prethick subcateogries of modules and characterizations of local rings

Authors: Hiroki Matsui, Hayato Murata

Abstract: This paper studies characterizing local rings in terms of homological dimensions. The key tool is the notion of a prethick subcategory which we introduce in this paper. Our methods recover the theorems of Salarian, Sather-Wagstaff and Yassemi. This paper studies characterizing local rings in terms of homological dimensions. The key tool is the notion of a prethick subcategory which we introduce in this paper. Our methods recover the theorems of Salarian, Sather-Wagstaff and Yassemi. △ Less

Submitted 4 June, 2015; v1 submitted 27 December, 2014; originally announced December 2014.

Comments: 6 pages. To appear in Comm. Algebra

MSC Class: 13C60; 13D05; 13H10

Maximal Cohen-Macaulay approximations and Serre's condition

Authors: Hiroki Matsui, Ryo Takahashi

Abstract: This paper studies the relationship between Serre's condition $(\R_n)$ and Auslander--Buchweitz's maximal Cohen--Macaulay approximations. It is proved that a Gorenstein local ring satisfies $(\R_n)$ if and only if every maximal Cohen--Macaulay module is a direct summand of a maximal Cohen--Macaulay approximation of a (Cohen--Macaulay) module of codimension $n+1$. This paper studies the relationship between Serre's condition $(\R_n)$ and Auslander--Buchweitz's maximal Cohen--Macaulay approximations. It is proved that a Gorenstein local ring satisfies $(\R_n)$ if and only if every maximal Cohen--Macaulay module is a direct summand of a maximal Cohen--Macaulay approximation of a (Cohen--Macaulay) module of codimension $n+1$. △ Less

Submitted 27 December, 2014; originally announced December 2014.

Comments: 7 pages. To appear in Acta Math. Vietnam. (Special issue dedicated to Ngo Viet Trung)

MSC Class: 13C14; 13H10

Lemma for Linear Feedback Shift Registers and DFTs Applied to Affine Variety Codes

Authors: Hajime Matsui

Abstract: In this paper, we establish a lemma in algebraic coding theory that frequently appears in the encoding and decoding of, e.g., Reed-Solomon codes, algebraic geometry codes, and affine variety codes. Our lemma corresponds to the non-systematic encoding of affine variety codes, and can be stated by giving a canonical linear map as the composition of an extension through linear feedback shift register… ▽ More In this paper, we establish a lemma in algebraic coding theory that frequently appears in the encoding and decoding of, e.g., Reed-Solomon codes, algebraic geometry codes, and affine variety codes. Our lemma corresponds to the non-systematic encoding of affine variety codes, and can be stated by giving a canonical linear map as the composition of an extension through linear feedback shift registers from a Grobner basis and a generalized inverse discrete Fourier transform. We clarify that our lemma yields the error-value estimation in the fast erasure-and-error decoding of a class of dual affine variety codes. Moreover, we show that systematic encoding corresponds to a special case of erasure-only decoding. The lemma enables us to reduce the computational complexity of error-evaluation from O(n^3) using Gaussian elimination to O(qn^2) with some mild conditions on n and q, where n is the code length and q is the finite-field size. △ Less

Submitted 20 January, 2014; v1 submitted 20 November, 2012; originally announced November 2012.

Comments: 37 pages, 1 column, 10 figures, 2 tables, resubmitted to IEEE Transactions on Information Theory on Jan. 8, 2014

Decoding a Class of Affine Variety Codes with Fast DFT

Authors: Hajime Matsui

Abstract: An efficient procedure for error-value calculations based on fast discrete Fourier transforms (DFT) in conjunction with Berlekamp-Massey-Sakata algorithm for a class of affine variety codes is proposed. Our procedure is achieved by multidimensional DFT and linear recurrence relations from Grobner basis and is applied to erasure-and-error decoding and systematic encoding. The computational complexi… ▽ More An efficient procedure for error-value calculations based on fast discrete Fourier transforms (DFT) in conjunction with Berlekamp-Massey-Sakata algorithm for a class of affine variety codes is proposed. Our procedure is achieved by multidimensional DFT and linear recurrence relations from Grobner basis and is applied to erasure-and-error decoding and systematic encoding. The computational complexity of error-value calculations in our algorithm improves that in solving systems of linear equations from error correcting pairs in many cases. A motivating example of our algorithm in case of a Reed-Solomon code and a numerical example of our algorithm in case of a Hermitian code are also described. △ Less

Submitted 29 September, 2012; originally announced October 2012.

Comments: 5 pages, 1 figure, to be presented at 2012 International Symposium on Information Theory and its Applications (ISITA2012)

Computation of Grobner basis for systematic encoding of generalized quasi-cyclic codes

Authors: Vo Tam Van, Hajime Matsui, Seiichi Mita

Abstract: Generalized quasi-cyclic (GQC) codes form a wide and useful class of linear codes that includes thoroughly quasi-cyclic codes, finite geometry (FG) low density parity check (LDPC) codes, and Hermitian codes. Although it is known that the systematic encoding of GQC codes is equivalent to the division algorithm in the theory of Grobner basis of modules, there has been no algorithm that computes Gr… ▽ More Generalized quasi-cyclic (GQC) codes form a wide and useful class of linear codes that includes thoroughly quasi-cyclic codes, finite geometry (FG) low density parity check (LDPC) codes, and Hermitian codes. Although it is known that the systematic encoding of GQC codes is equivalent to the division algorithm in the theory of Grobner basis of modules, there has been no algorithm that computes Grobner basis for all types of GQC codes. In this paper, we propose two algorithms to compute Grobner basis for GQC codes from their parity check matrices: echelon canonical form algorithm and transpose algorithm. Both algorithms require sufficiently small number of finite-field operations with the order of the third power of code-length. Each algorithm has its own characteristic; the first algorithm is composed of elementary methods, and the second algorithm is based on a novel formula and is faster than the first one for high-rate codes. Moreover, we show that a serial-in serial-out encoder architecture for FG LDPC codes is composed of linear feedback shift registers with the size of the linear order of code-length; to encode a binary codeword of length n, it takes less than 2n adder and 2n memory elements. Keywords: automorphism group, Buchberger's algorithm, division algorithm, circulant matrix, finite geometry low density parity check (LDPC) codes. △ Less

Submitted 25 November, 2008; originally announced November 2008.

Comments: 1 column, 36 pages, 7 figures, 1 table