Showing 1–21 of 21 results for author: Kanda, R

Module-theoretic approach to dualizable Grothendieck categories

Authors: Ryo Kanda

Abstract: We prove that every dualizable Grothendieck category whose dual is again a Grothendieck category satisfies Grothendieck's conditions Ab6 and Ab4*, by taking a module-theoretic approach based on the Gabriel-Popescu embedding. Combining this with a result by Stefanich, we conclude that the class of dualizable linear cocomplete categories is precisely the class of linear Grothendieck category satisfy… ▽ More We prove that every dualizable Grothendieck category whose dual is again a Grothendieck category satisfies Grothendieck's conditions Ab6 and Ab4*, by taking a module-theoretic approach based on the Gabriel-Popescu embedding. Combining this with a result by Stefanich, we conclude that the class of dualizable linear cocomplete categories is precisely the class of linear Grothendieck category satisfying Ab6 and Ab4*. This provides a complete answer to a modified conjecture on the dualizability, originally posed by Brandenburg, Chirvasitu, and Johnson-Freyd. △ Less

Submitted 26 May, 2024; originally announced May 2024.

Comments: 8 pages

MSC Class: 18E10 (Primary); 16D90; 18C35; 18E20 (Secondary)

The symplectic leaves for the elliptic Poisson bracket on projective space defined by Feigin-Odesskii and Polishchuk

Authors: Alexandru Chirvasitu, Ryo Kanda, S. Paul Smith

Abstract: This paper determines the symplectic leaves for a remarkable Poisson structure on $\mathbb{C}\mathbb{P}^{n-1}$ discovered by Feigin and Odesskii, and, independently, by Polishchuk. The Poisson bracket is determined by a holomorphic line bundle of degree $n \ge 3$ on a compact Riemann surface of genus one or, equivalently, by an elliptic normal curve $E\subseteq\mathbb{C}\mathbb{P}^{n-1}$. The symp… ▽ More This paper determines the symplectic leaves for a remarkable Poisson structure on $\mathbb{C}\mathbb{P}^{n-1}$ discovered by Feigin and Odesskii, and, independently, by Polishchuk. The Poisson bracket is determined by a holomorphic line bundle of degree $n \ge 3$ on a compact Riemann surface of genus one or, equivalently, by an elliptic normal curve $E\subseteq\mathbb{C}\mathbb{P}^{n-1}$. The symplectic leaves are described in terms of higher secant varieties to $E$. △ Less

Submitted 11 December, 2023; v1 submitted 24 October, 2022; originally announced October 2022.

Comments: numerous changes throughout the paper, altering the structure of the main argument; 50 pages + references

MSC Class: 53D17; 14H52

Modular properties of elliptic algebras

Authors: Alex Chirvasitu, Ryo Kanda, S. Paul Smith

Abstract: Fix a pair of relatively prime integers $n>k\ge 1$, and a point $(η\,|\,τ)\in\mathbb{C}\times\mathbb{H}$, where $\mathbb{H}$ denotes the upper-half complex plane, and let ${{a\;\,b}\choose{c\,\;d}}\in\mathrm{SL}(2,\mathbb{Z})$. We show that Feigin and Odesskii's elliptic algebras $Q_{n,k}(η\,|\,τ)$ have the property… ▽ More Fix a pair of relatively prime integers $n>k\ge 1$, and a point $(η\,|\,τ)\in\mathbb{C}\times\mathbb{H}$, where $\mathbb{H}$ denotes the upper-half complex plane, and let ${{a\;\,b}\choose{c\,\;d}}\in\mathrm{SL}(2,\mathbb{Z})$. We show that Feigin and Odesskii's elliptic algebras $Q_{n,k}(η\,|\,τ)$ have the property $Q_{n,k}\big(\fracη{cτ+d}\,\big\vert\,\frac{aτ+b}{cτ+d}\big)\cong Q_{n,k}(η\,|\,τ)$. As a consequence, given a pair $(E,ξ)$ consisting of a complex elliptic curve $E$ and a point $ξ\in E$, one may unambiguously define $Q_{n,k}(E,ξ):=Q_{n,k}(η\,|\,τ)$ where $τ\in\mathbb{H}$ is any point such that $\mathbb{C}/\mathbb{Z}+\mathbb{Z}τ\cong E$ and $η\in\mathbb{C}$ is any point whose image in $E$ is $ξ$. This justifies Feigin and Odesskii's notation $Q_{n,k}(E,ξ)$ for their algebras. △ Less

Submitted 25 October, 2021; v1 submitted 20 August, 2021; originally announced August 2021.

Comments: 17 pages + references; numerous minor changes, in both notation and conventions

MSC Class: 16S38; 16S37; 16W50; 14H52

Flat cotorsion modules over Noether algebras

Authors: Ryo Kanda, Tsutomu Nakamura

Abstract: For a module-finite algebra over a commutative noetherian ring, we give a complete description of flat cotorsion modules in terms of prime ideals of the algebra, as a generalization of Enochs' result for a commutative noetherian ring. As a consequence, we show that pointwise Matlis duality gives a bijective correspondence between the isoclasses of indecomposable injective left modules and the isoc… ▽ More For a module-finite algebra over a commutative noetherian ring, we give a complete description of flat cotorsion modules in terms of prime ideals of the algebra, as a generalization of Enochs' result for a commutative noetherian ring. As a consequence, we show that pointwise Matlis duality gives a bijective correspondence between the isoclasses of indecomposable injective left modules and the isoclasses of indecomposable flat cotorsion right modules. This correspondence is an explicit realization of Herzog's homeomorphism induced from elementary duality of Ziegler spectra. △ Less

Submitted 6 August, 2021; originally announced August 2021.

Comments: 44 pages

MSC Class: 16G30 (Primary); 16D70; 16D40; 13B35 (Secondary)

Elliptic R-matrices and Feigin and Odesskii's elliptic algebras

Authors: Alex Chirvasitu, Ryo Kanda, S. Paul Smith

Abstract: The algebras $Q_{n,k}(E,τ)$ introduced by Feigin and Odesskii as generalizations of the 4-dimensional Sklyanin algebras form a family of quadratic algebras parametrized by coprime integers $n>k\ge 1$, a complex elliptic curve $E$, and a point $τ\in E$. The main result in this paper is that $Q_{n,k}(E,τ)$ has the same Hilbert series as the polynomial ring on $n$ variables when $τ$ is not a torsion… ▽ More The algebras $Q_{n,k}(E,τ)$ introduced by Feigin and Odesskii as generalizations of the 4-dimensional Sklyanin algebras form a family of quadratic algebras parametrized by coprime integers $n>k\ge 1$, a complex elliptic curve $E$, and a point $τ\in E$. The main result in this paper is that $Q_{n,k}(E,τ)$ has the same Hilbert series as the polynomial ring on $n$ variables when $τ$ is not a torsion point. We also show that $Q_{n,k}(E,τ)$ is a Koszul algebra, hence of global dimension $n$ when $τ$ is not a torsion point, and, for all but countably many $τ$, it is Artin-Schelter regular. The proofs use the fact that the space of quadratic relations defining $Q_{n,k}(E,τ)$ is the image of an operator $R_τ(τ)$ that belongs to a family of operators $R_τ(z):\mathbb{C}^n\otimes\mathbb{C}^n\to\mathbb{C}^n\otimes\mathbb{C}^n$, $z\in\mathbb{C}$, that (we will show) satisfy the quantum Yang-Baxter equation with spectral parameter. △ Less

Submitted 22 June, 2020; originally announced June 2020.

Comments: 51 pages + index + references

MSC Class: 14A22 (Primary); 16S38; 16W50; 17B37; 14H52 (Secondary)

Maps from Feigin and Odesskii's elliptic algebras to twisted homogeneous coordinate rings

Authors: Alex Chirvasitu, Ryo Kanda, S. Paul Smith

Abstract: The elliptic algebras in the title are connected graded $\mathbb{C}$-algebras, denoted $Q_{n,k}(E,τ)$, depending on a pair of relatively prime integers $n>k\ge 1$, an elliptic curve $E$, and a point $τ\in E$. This paper examines a canonical homomorphism from $Q_{n,k}(E,τ)$ to the twisted homogeneous coordinate ring $B(X_{n/k},σ',\mathcal{L}'_{n/k})$ on the characteristic variety $X_{n/k}$ for… ▽ More The elliptic algebras in the title are connected graded $\mathbb{C}$-algebras, denoted $Q_{n,k}(E,τ)$, depending on a pair of relatively prime integers $n>k\ge 1$, an elliptic curve $E$, and a point $τ\in E$. This paper examines a canonical homomorphism from $Q_{n,k}(E,τ)$ to the twisted homogeneous coordinate ring $B(X_{n/k},σ',\mathcal{L}'_{n/k})$ on the characteristic variety $X_{n/k}$ for $Q_{n,k}(E,τ)$. When $X_{n/k}$ is isomorphic to $E^g$ or the symmetric power $S^gE$ we show the homomorphism $Q_{n,k}(E,τ) \to B(X_{n/k},σ',\mathcal{L}'_{n/k})$ is surjective, that the relations for $B(X_{n/k},σ',\mathcal{L}'_{n/k})$ are generated in degrees $\le 3$, and the non-commutative scheme $\mathrm{Proj}_{nc}(Q_{n,k}(E,τ))$ has a closed subvariety that is isomorphic to $E^g$ or $S^gE$, respectively. When $X_{n/k}=E^g$ and $τ=0$, the results about $B(X_{n/k},σ',\mathcal{L}'_{n/k})$ show that the morphism $Φ_{|\mathcal{L}_{n/k}|}:E^g \to \mathbb{P}^{n-1}$ embeds $E^g$ as a projectively normal subvariety that is a scheme-theoretic intersection of quadric and cubic hypersurfaces. △ Less

Submitted 5 March, 2021; v1 submitted 18 August, 2019; originally announced August 2019.

Comments: 42 pages + references; a number of minor changes

MSC Class: 14A22 (Primary); 16S38; 16W50; 14H52; 14F05 (Secondary)

Journal ref: Forum Math. Sigma 9 (2021), e4

Projective discrete modules over profinite groups

Authors: Alexandru Chirvasitu, Ryo Kanda

Abstract: We show that the category of discrete modules over an infinite profinite group has no non-zero projective objects and does not satisfy Ab4*. We also prove the same types of results in a generalized setting using a ring with linear topology. We show that the category of discrete modules over an infinite profinite group has no non-zero projective objects and does not satisfy Ab4*. We also prove the same types of results in a generalized setting using a ring with linear topology. △ Less

Submitted 29 July, 2019; originally announced July 2019.

Comments: 10 pages + references

MSC Class: 18G05 (Primary); 20E18; 16D40; 18E15; 18A30 (Secondary)

Finite quotients of powers of an elliptic curve

Authors: Alex Chirvasitu, Ryo Kanda, S. Paul Smith

Abstract: Let $E$ be an elliptic curve. When the symmetric group $Σ_{g+1}$ of order $(g+1)!$ acts on $E^{g+1}$ in the natural way, the subgroup $E_0^{g+1}$, consisting of those $(g+1)$-tuples whose coordinates sum to zero, is stable under the action of $Σ_{g+1}$. It is isomorphic to $E^g$. This paper concerns the structure of the quotient variety $E^g/Σ$ when $Σ$ is a subgroup of $Σ_{g+1}$ generated by simp… ▽ More Let $E$ be an elliptic curve. When the symmetric group $Σ_{g+1}$ of order $(g+1)!$ acts on $E^{g+1}$ in the natural way, the subgroup $E_0^{g+1}$, consisting of those $(g+1)$-tuples whose coordinates sum to zero, is stable under the action of $Σ_{g+1}$. It is isomorphic to $E^g$. This paper concerns the structure of the quotient variety $E^g/Σ$ when $Σ$ is a subgroup of $Σ_{g+1}$ generated by simple transpositions. In an earlier paper we observed that $E^g/Σ$ is a bundle over a suitable power, $E^N$, with fibers that are products of projective spaces. This paper shows that $E^g/Σ$ has an étale cover by a product of copies of $E$ and projective spaces with an abelian Galois group. △ Less

Submitted 22 June, 2020; v1 submitted 16 May, 2019; originally announced May 2019.

Comments: 8 pages + references; number of changes + updated cross-references to other papers in the same series

MSC Class: 14L30 (Primary); 14E20; 14H52; 14A22; 16S38 (Secondary)

The characteristic variety for Feigin and Odesskii's elliptic algebras

Authors: Alex Chirvasitu, Ryo Kanda, S. Paul Smith

Abstract: This paper examines an algebraic variety that controls an important part of the structure and representation theory of the algebra $Q_{n,k}(E,τ)$ introduced by Feigin and Odesskii. The $Q_{n,k}(E,τ)$'s are a family of quadratic algebras depending on a pair of coprime integers $n>k\ge 1$, an elliptic curve $E$, and a point $τ\in E$. It is already known that the structure and representation theory o… ▽ More This paper examines an algebraic variety that controls an important part of the structure and representation theory of the algebra $Q_{n,k}(E,τ)$ introduced by Feigin and Odesskii. The $Q_{n,k}(E,τ)$'s are a family of quadratic algebras depending on a pair of coprime integers $n>k\ge 1$, an elliptic curve $E$, and a point $τ\in E$. It is already known that the structure and representation theory of $Q_{n,1}(E,τ)$ is controlled by the geometry associated to $E$ embedded as a degree $n$ normal curve in the projective space $\mathbb P^{n-1}$, and by the way in which the translation automorphism $z\mapsto z+τ$ interacts with that geometry. For $k\ge 2$ a similar phenomenon occurs: $(E,τ)$ is replaced by $(X_{n/k},σ)$ where $X_{n/k}\subseteq\mathbb P^{n-1}$ is the characteristic variety of the title and $σ$ is an automorphism of it that is determined by the negative continued fraction for $\frac{n}{k}$. There is a surjective morphism $Φ:E^g \to X_{n/k}$ where $g$ is the length of that continued fraction. The main result in this paper is that $X_{n/k}$ is a quotient of $E^g$ by the action of an explicit finite group. We also prove some assertions made by Feigin and Odesskii. The morphism $Φ$ is the natural one associated to a particular invertible sheaf $\mathcal L_{n/k}$ on $E^g$. The generalized Fourier-Mukai transform associated to $\mathcal L_{n/k}$ sends the set of isomorphism classes of degree-zero invertible $\mathcal O_E$-modules to the set of isomorphism classes of indecomposable locally free $\mathcal O_E$-modules of rank $k$ and degree $n$. Thus $X_{n/k}$ has an importance independent of the role it plays in relation to $Q_{n,k}(E,τ)$. The backward $σ$-orbit of each point on $X_{n/k}$ determines a point module for $Q_{n,k}(E,τ)$. △ Less

Submitted 23 June, 2020; v1 submitted 28 March, 2019; originally announced March 2019.

Comments: 43 pages + index + references; a number of minor changes

MSC Class: 14A22 (Primary); 16S38; 16W50; 17B37; 14H52 (Secondary)

Feigin and Odesskii's elliptic algebras

Authors: Alex Chirvasitu, Ryo Kanda, S. Paul Smith

Abstract: We study the elliptic algebras $Q_{n,k}(E,τ)$ introduced by Feigin and Odesskii as a generalization of Sklyanin algebras. They form a family of quadratic algebras parametrized by coprime integers $n>k\geq 1$, an elliptic curve $E$, and a point $τ\in E$. We consider and compare several different definitions of the algebras and provide proofs of various statements about them made by Feigin and Odess… ▽ More We study the elliptic algebras $Q_{n,k}(E,τ)$ introduced by Feigin and Odesskii as a generalization of Sklyanin algebras. They form a family of quadratic algebras parametrized by coprime integers $n>k\geq 1$, an elliptic curve $E$, and a point $τ\in E$. We consider and compare several different definitions of the algebras and provide proofs of various statements about them made by Feigin and Odesskii. For example, we show that $Q_{n,k}(E,0)$, and $Q_{n,n-1}(E,τ)$ are polynomial rings on $n$ variables. We also show that $Q_{n,k}(E,τ+ζ)$ is a twist of $Q_{n,k}(E,τ)$ when $ζ$ is an $n$-torsion point. This paper is the first of several we are writing about the algebras $Q_{n,k}(E,τ)$. △ Less

Submitted 22 June, 2020; v1 submitted 22 December, 2018; originally announced December 2018.

Comments: 36 pages + references; a number of changes + updated cross-references to other papers in the same series

MSC Class: 14A22 (Primary); 16S38; 16W50; 17B37; 14H52 (Secondary)

Non-exactness of direct products of quasi-coherent sheaves

Authors: Ryo Kanda

Abstract: For a noetherian scheme that has an ample family of invertible sheaves, we prove that direct products in the category of quasi-coherent sheaves are not exact unless the scheme is affine. This result can especially be applied to all quasi-projective schemes over commutative noetherian rings. The main tools of the proof are the Gabriel-Popescu embedding and Roos' characterization of Grothendieck cat… ▽ More For a noetherian scheme that has an ample family of invertible sheaves, we prove that direct products in the category of quasi-coherent sheaves are not exact unless the scheme is affine. This result can especially be applied to all quasi-projective schemes over commutative noetherian rings. The main tools of the proof are the Gabriel-Popescu embedding and Roos' characterization of Grothendieck categories satisfying Ab6 and Ab4*. △ Less

Submitted 22 June, 2020; v1 submitted 20 October, 2018; originally announced October 2018.

Comments: 13 pages

MSC Class: 14F05 (Primary); 18E20; 16D90; 16W50; 13C60 (Secondary)

Journal ref: Doc. Math. 24 (2019) 2037-2056

Extension groups between atoms in abelian categories

Authors: Ryo Kanda

Abstract: We introduce the extension groups between atoms in an abelian category. For a locally noetherian Grothendieck category, the localizing subcategories closed under injective envelopes are characterized in terms of those extension groups. We also introduce the virtual duals of the extension groups between atoms to measure the global dimension of the category. A new topological property of atom spectr… ▽ More We introduce the extension groups between atoms in an abelian category. For a locally noetherian Grothendieck category, the localizing subcategories closed under injective envelopes are characterized in terms of those extension groups. We also introduce the virtual duals of the extension groups between atoms to measure the global dimension of the category. A new topological property of atom spectra is revealed and it is used to relate the projective dimensions of atoms with the Krull-Gabriel dimensions. As a byproduct of the topological observation, we show that there exists a spectral space that is not homeomorphic to the atom spectrum of any abelian category. △ Less

Submitted 20 January, 2021; v1 submitted 9 October, 2018; originally announced October 2018.

Comments: 31 pages

MSC Class: 18E15 (Primary); 16D90; 16P40; 16G30 (Secondary)

Journal ref: J. Pure Appl. Algebra 225 (2021) no. 9, 106669

Construction of Grothendieck categories with enough compressible objects using colored quivers

Authors: Ryo Kanda

Abstract: We introduce a new method to construct a Grothendieck category from a given colored quiver. This is a variant of the construction used to prove that every partially ordered set arises as the atom spectrum of a Grothendieck category. Using the new method, we prove that for every finite partially ordered set, there exists a locally noetherian Grothendieck category such that every nonzero object cont… ▽ More We introduce a new method to construct a Grothendieck category from a given colored quiver. This is a variant of the construction used to prove that every partially ordered set arises as the atom spectrum of a Grothendieck category. Using the new method, we prove that for every finite partially ordered set, there exists a locally noetherian Grothendieck category such that every nonzero object contains a compressible subobject and its atom spectrum is isomorphic to the given partially ordered set. △ Less

Submitted 22 June, 2020; v1 submitted 10 February, 2018; originally announced February 2018.

Comments: 11 pages

MSC Class: 18E15 (Primary); 16D90; 16P40; 16G30 (Secondary)

Journal ref: J. Pure Appl. Algebra 224 (2020) no. 1, 53-65

Integrality of noetherian Grothendieck categories

Authors: Ryo Kanda

Abstract: We introduce the notion of integrality of Grothendieck categories as a simultaneous generalization of the primeness of noncommutative noetherian rings and the integrality of locally noetherian schemes. Two different spaces associated to a Grothendieck category yield respective definitions of integrality, and we prove the equivalence of these definitions using a Grothendieck-categorical version of… ▽ More We introduce the notion of integrality of Grothendieck categories as a simultaneous generalization of the primeness of noncommutative noetherian rings and the integrality of locally noetherian schemes. Two different spaces associated to a Grothendieck category yield respective definitions of integrality, and we prove the equivalence of these definitions using a Grothendieck-categorical version of Gabriel's correspondence, which originally related indecomposable injective modules and prime two-sided ideals for noetherian rings. The generalization of prime two-sided ideals is also used to classify locally closed localizing subcategories. As an application of the main results, we develop a theory of singular objects in a Grothendieck category and deduce Goldie's theorem on the existence of the quotient ring as its consequence. △ Less

Submitted 22 March, 2022; v1 submitted 18 November, 2017; originally announced November 2017.

Comments: 46 pages

MSC Class: 18E10 (Primary); 14A22; 16D90; 16N60 (Secondary)

Journal ref: J. Algebra 592 (2022), 233-299

Flat families of point schemes for connected graded algebras

Authors: Alex Chirvasitu, Ryo Kanda

Abstract: We study truncated point schemes of connected graded algebras as families over the parameter space of varying relations for the algebras, proving that the families are flat over the open dense locus where the point schemes achieve the expected (i.e. minimal) dimension. When the truncated point scheme is zero-dimensional we obtain its number of points counted with multiplicity via a Chow ring com… ▽ More We study truncated point schemes of connected graded algebras as families over the parameter space of varying relations for the algebras, proving that the families are flat over the open dense locus where the point schemes achieve the expected (i.e. minimal) dimension. When the truncated point scheme is zero-dimensional we obtain its number of points counted with multiplicity via a Chow ring computation. This latter application in particular confirms a conjecture of Brazfield to the effect that a generic two-generator, two-relator 4-dimensional Artin-Schelter regular algebra has seventeen truncated point modules of length six. △ Less

Submitted 25 September, 2017; originally announced September 2017.

Comments: 7 pages + references

MSC Class: 14A22; 16S38; 16W50

New Artin-Schelter regular and Calabi-Yau algebras via normal extensions

Authors: Alex Chirvasitu, Ryo Kanda, S. Paul Smith

Abstract: We introduce a new method to construct 4-dimensional Artin-Schelter regular algebras as normal extensions of (not necessarily noetherian) 3-dimensional ones. The method produces large classes of new 4-dimensional Artin-Schelter regular algebras. When applied to a 3-Calabi-Yau algebra our method produces a flat family of central extensions of it that are 4-Calabi-Yau, and all 4-Calabi-Yau central e… ▽ More We introduce a new method to construct 4-dimensional Artin-Schelter regular algebras as normal extensions of (not necessarily noetherian) 3-dimensional ones. The method produces large classes of new 4-dimensional Artin-Schelter regular algebras. When applied to a 3-Calabi-Yau algebra our method produces a flat family of central extensions of it that are 4-Calabi-Yau, and all 4-Calabi-Yau central extensions having the same generating set as the original 3-Calabi-Yau algebra arise in this way. Each normal extension has the same generators as the original 3-dimensional algebra, and its relations consist of all but one of the relations for the original algebra and an equal number of new relations determined by "the missing one" and a tuple of scalars satisfying some numerical conditions. We determine the Nakayama automorphisms of the 4-dimensional algebras obtained by our method and as a consequence show that their homological determinant is 1. This supports the conjecture by Mori-Smith that the homological determinant of the Nakayama automorphism is 1 for all Artin-Schelter regular connected graded algebras. Reyes-Rogalski-Zhang proved this is true in the noetherian case. △ Less

Submitted 22 June, 2020; v1 submitted 18 June, 2017; originally announced June 2017.

Comments: 26 pages + references; a number of minor changes

MSC Class: 14A22; 16S38; 16W50; 16W20

Journal ref: Trans. Amer. Math. Soc. 372 (2019) no. 6, 3947-3983

Finiteness of the number of minimal atoms in Grothendieck categories

Authors: Ryo Kanda

Abstract: For a Grothendieck category having a noetherian generator, we prove that there are only finitely many minimal atoms. This is a noncommutative analogue of the fact that every noetherian scheme has only finitely many irreducible components. It is also shown that each minimal atom is represented by a compressible object. For a Grothendieck category having a noetherian generator, we prove that there are only finitely many minimal atoms. This is a noncommutative analogue of the fact that every noetherian scheme has only finitely many irreducible components. It is also shown that each minimal atom is represented by a compressible object. △ Less

Submitted 25 May, 2019; v1 submitted 6 March, 2015; originally announced March 2015.

Comments: 10 pages

MSC Class: 18E15 (Primary); 16P40; 16D90; 14A22; 13C60 (Secondary)

Journal ref: J. Algebra 527 (2019), 182-195

Classification of categorical subspaces of locally noetherian schemes

Authors: Ryo Kanda

Abstract: We classify the prelocalizing subcategories of the category of quasi-coherent sheaves on a locally noetherian scheme. In order to give the classification, we introduce the notion of a local filter of subobjects of the structure sheaf. The essential part of the argument is given as results on a Grothendieck category with certain properties. We also classify the localizing subcategories, the closed… ▽ More We classify the prelocalizing subcategories of the category of quasi-coherent sheaves on a locally noetherian scheme. In order to give the classification, we introduce the notion of a local filter of subobjects of the structure sheaf. The essential part of the argument is given as results on a Grothendieck category with certain properties. We also classify the localizing subcategories, the closed subcategories, and the bilocalizing subcategories in terms of filters. △ Less

Submitted 14 March, 2016; v1 submitted 18 May, 2014; originally announced May 2014.

Comments: 47 pages

MSC Class: 18F20 (Primary); 18E15; 16D90; 14A22; 13C05 (Secondary)

Journal ref: Doc. Math. 20 (2015), 1403-1465

Specialization orders on atom spectra of Grothendieck categories

Authors: Ryo Kanda

Abstract: We introduce systematic methods to construct Grothendieck categories from colored quivers and develop a theory of the specialization orders on the atom spectra of Grothendieck categories. We show that any partially ordered set is realized as the atom spectrum of some Grothendieck category, which is an analog of Hochster's result in commutative ring theory. We also show that there exists a Grothend… ▽ More We introduce systematic methods to construct Grothendieck categories from colored quivers and develop a theory of the specialization orders on the atom spectra of Grothendieck categories. We show that any partially ordered set is realized as the atom spectrum of some Grothendieck category, which is an analog of Hochster's result in commutative ring theory. We also show that there exists a Grothendieck category which has empty atom spectrum but has nonempty injective spectrum. △ Less

Submitted 31 October, 2015; v1 submitted 19 August, 2013; originally announced August 2013.

Comments: 39 pages

MSC Class: 18E15 (Primary); 16D90; 16G30; 13C05 (Secondary)

Journal ref: J. Pure Appl. Algebra 219 (2015), no. 11, 4907-4952

Extension groups between atoms and objects in locally noetherian Grothendieck category

Authors: Ryo Kanda

Abstract: We define the extension group between an atom and an object in a locally noetherian Grothendieck category as a module over a skew field. We show that the dimension of the i-th extension group between an atom and an object coincides with the i-th Bass number of the object with respect to the atom. As an application, we give a bijection between the E-stable subcategories closed under arbitrary direc… ▽ More We define the extension group between an atom and an object in a locally noetherian Grothendieck category as a module over a skew field. We show that the dimension of the i-th extension group between an atom and an object coincides with the i-th Bass number of the object with respect to the atom. As an application, we give a bijection between the E-stable subcategories closed under arbitrary direct sums and direct summands and the subsets of the atom spectrum and show that such subcategories are also closed under extensions, kernels of epimorphisms, and cokernels of monomorphisms. We show some relationships to the theory of prime ideals in the case of noetherian algebras. △ Less

Submitted 9 January, 2015; v1 submitted 14 May, 2012; originally announced May 2012.

Comments: 18 pages

MSC Class: 18E15 (Primary); 16D90; 16G30; 13C60 (Secondary)

Journal ref: J. Algebra 422 (2015), 53-77

Classifying Serre subcategories via atom spectrum

Authors: Ryo Kanda

Abstract: In this paper, we introduce the atom spectrum of an abelian category as a topological space consisting of all the equivalence classes of monoform objects. In terms of the atom spectrum, we give a classification of Serre subcategories of an arbitrary noetherian abelian category. Moreover we show that the atom spectrum of a locally noetherian Grothendieck category is homeomorphic to its Ziegler spec… ▽ More In this paper, we introduce the atom spectrum of an abelian category as a topological space consisting of all the equivalence classes of monoform objects. In terms of the atom spectrum, we give a classification of Serre subcategories of an arbitrary noetherian abelian category. Moreover we show that the atom spectrum of a locally noetherian Grothendieck category is homeomorphic to its Ziegler spectrum. △ Less

Submitted 13 September, 2012; v1 submitted 29 December, 2011; originally announced December 2011.

Comments: 15 pages

MSC Class: 18E10 (Primary); 18E15; 16D90; 13C60 (Secondary)

Journal ref: Adv. Math. 231 (2012), no. 3-4, 1572-1588