Showing 1–22 of 22 results for author: Kurano, K

Some necessary and sufficient condition for finite generation of symbolic Rees rings

Authors: Taro Inagawa, Kazuhiko Kurano

Abstract: Consider the blow-up Y of a weighted projective plane at a point in the open orbit over a field of characteristic 0. We assume that there exists a curve C on Y such that C^2<0 and C.E=1, where E is the exceptional curve. In this paper we give a (very simple) necessary and sufficient condition for finite generation of the Cox ring of Y (Theorem~1.2). It is an affirmative answer to a conjecture due… ▽ More Consider the blow-up Y of a weighted projective plane at a point in the open orbit over a field of characteristic 0. We assume that there exists a curve C on Y such that C^2<0 and C.E=1, where E is the exceptional curve. In this paper we give a (very simple) necessary and sufficient condition for finite generation of the Cox ring of Y (Theorem~1.2). It is an affirmative answer to a conjecture due to He and Kurano-Nishida. △ Less

Submitted 10 December, 2022; v1 submitted 4 April, 2022; originally announced April 2022.

Comments: There were some typo in the previous version

MSC Class: 13A30; 14E99

Equations of negative curves of blow-ups of Ehrhart rings of rational convex polygons

Authors: Kazuhiko Kurano

Abstract: Finite generation of the symbolic Rees ring of a space monomial prime ideal of a 3-dimensional weighted polynomial ring is a very interesting problem. Negative curves play important roles in finite generation of these rings. We are interested in the structure of the negative curve. We shall prove that negative curves are rational in many cases. We also see that the Cox ring of the blow-up of a t… ▽ More Finite generation of the symbolic Rees ring of a space monomial prime ideal of a 3-dimensional weighted polynomial ring is a very interesting problem. Negative curves play important roles in finite generation of these rings. We are interested in the structure of the negative curve. We shall prove that negative curves are rational in many cases. We also see that the Cox ring of the blow-up of a toric variety at the point (1,1,...,1) coincides with the extended symbolic Rees ring of an ideal of a polynomial ring. For example, Roberts' second counterexample to Cowsik's question (and Hilbert's 14th problem) coincides with the Cox ring of some normal projective variety. △ Less

Submitted 7 January, 2021; originally announced January 2021.

Comments: 24 pages

MSC Class: 13A30; 14M25

Demazure construction for Z^n-graded Krull domains

Authors: Yusuke Arai, Ayaka Echizenya, Kazuhiko Kurano

Abstract: For a Mori dream space X, the Cox ring Cox(X) is a Noetherian Z^n-graded normal domain for some n > 0. Let C(Cox(X)) be the cone (in R^n) which is spanned by the vectors a \in Z^n such that Cox(X)_a \neq 0. Then C(Cox(X)) is decomposed into a union of chambers. Berchtold and Hausen proved the existence of such decompositions for affine integral domains over an algebraically closed field. We shall… ▽ More For a Mori dream space X, the Cox ring Cox(X) is a Noetherian Z^n-graded normal domain for some n > 0. Let C(Cox(X)) be the cone (in R^n) which is spanned by the vectors a \in Z^n such that Cox(X)_a \neq 0. Then C(Cox(X)) is decomposed into a union of chambers. Berchtold and Hausen proved the existence of such decompositions for affine integral domains over an algebraically closed field. We shall give an elementary algebraic proof to this result in the case where the homogeneous component of degree 0 is a field. Using such decompositions, we develop the Demazure construction for Z^n-graded Krull domains. That is, under an assumption, we show that a Z^n-graded Krull domain is isomorphic to the multi-section ring R(X; D_1, \ldots, D_n) for certain normal projective variety X and Q-divisors D_1,...,D_n on X. △ Less

Submitted 6 July, 2018; v1 submitted 26 February, 2018; originally announced February 2018.

Comments: The final version, to appear in Acta Mathematica Vietnamica

MSC Class: 13A02; 14E99

Infinitely generated symbolic Rees rings of space monomial curves having negative curves

Authors: Kazuhiko Kurano, Koji Nishida

Abstract: In this paper, we shall study finite generation of symbolic Rees rings of the defining ideal ${\frak p}$ of the space monomial curve $(t^a, t^b, t^c)$ for pairwise coprime integers $a$, $b$, $c$. Suppose that the base field is of characteristic $0$ and the above ideal ${\frak p}$ is minimally generated by three polynomials. Under the assumption that the homogeneous element $ξ$ of the minimal degre… ▽ More In this paper, we shall study finite generation of symbolic Rees rings of the defining ideal ${\frak p}$ of the space monomial curve $(t^a, t^b, t^c)$ for pairwise coprime integers $a$, $b$, $c$. Suppose that the base field is of characteristic $0$ and the above ideal ${\frak p}$ is minimally generated by three polynomials. Under the assumption that the homogeneous element $ξ$ of the minimal degree in ${\frak p}$ is the negative curve, we determine the minimal degree of an element $η$ such that the pair $\{ ξ, η\}$ satisfies Huneke's criterion in the case where the symbolic Rees ring is Noetherian. By this result, we can decide whether the symbolic Rees ring ${\cal R}_s({\frak p})$ is Notherian using computers. We give a necessary and sufficient conditions for finite generation of the symbolic Rees ring of ${\frak p}$ under some assumptions. We give an example of an infinitely generated symbolic Rees ring of ${\frak p}$ in which the homogeneous element of the minimal degree in ${\frak p}^{(2)}$ is the negative curve. We give a simple proof to (generalized) Huneke's criterion. △ Less

Submitted 29 May, 2017; v1 submitted 27 May, 2017; originally announced May 2017.

Ideal-adic completion of quasi-excellent rings (after Gabber)

Authors: Kazuhiko Kurano, Kazuma Shimomoto

Abstract: In this paper, we give a detailed proof to a result of Gabber (unpublished) on the lifting problem of quasi-excellent rings, extending the previous work on Nishimura-Nishimura. As a corollary, we establish that an ideal-adic completion of an excellent (resp. quasi-excellent) ring is excellent (resp. quasi-excellent). In this paper, we give a detailed proof to a result of Gabber (unpublished) on the lifting problem of quasi-excellent rings, extending the previous work on Nishimura-Nishimura. As a corollary, we establish that an ideal-adic completion of an excellent (resp. quasi-excellent) ring is excellent (resp. quasi-excellent). △ Less

Submitted 31 March, 2019; v1 submitted 29 September, 2016; originally announced September 2016.

Comments: The final version, accepted by Kyoto J. Math

Journal ref: Kyoto J. Math. 61, no. 3 (2021), 707-722

An elementary proof of Cohen-Gabber theorem in the equal characteristic $p>0$ case

Authors: Kazuhiko Kurano, Kazuma Shimomoto

Abstract: The aim of this article is to give a new proof of Cohen-Gabber theorem in the equal characteristic $p>0$ case. The aim of this article is to give a new proof of Cohen-Gabber theorem in the equal characteristic $p>0$ case. △ Less

Submitted 11 May, 2016; v1 submitted 13 October, 2015; originally announced October 2015.

Comments: 13 pages, to appear in Tohoku Math. J

MSC Class: 12F10; 13B40; 13J10

Boundary and shape of Cohen-Macaulay cone

Authors: Hailong Dao, Kazuhiko Kurano

Abstract: Let $R$ be a Cohen-Macaulay local domain. In this paper we study the cone of Cohen-Macaulay modules inside the Grothendieck group of finitely generated $R$-modules modulo numerical equivalences, introduced in \cite{CK}. We prove a result about the boundary of this cone for Cohen-Macaulay domain admitting de Jong's alterations, and use it to derive some corollaries on finiteness of isomorphism clas… ▽ More Let $R$ be a Cohen-Macaulay local domain. In this paper we study the cone of Cohen-Macaulay modules inside the Grothendieck group of finitely generated $R$-modules modulo numerical equivalences, introduced in \cite{CK}. We prove a result about the boundary of this cone for Cohen-Macaulay domain admitting de Jong's alterations, and use it to derive some corollaries on finiteness of isomorphism classes of maximal Cohen-Macaulay ideals. Finally, we explicitly compute the Cohen-Macaulay cone for certain isolated hypersurface singularities defined by $ξη- f(x_1, \ldots, x_n)$. △ Less

Submitted 5 December, 2014; originally announced December 2014.

MSC Class: 13D07; 13D15; 13D22; 14C17; 14C35

On the limit of Frobenius in the Grothendieck group

Authors: Kazuhiko Kurano, Kosuke Ohta

Abstract: Considering the Grothendieck group modulo numerical equivalence, we obtain the finitely generated lattice $\overline{G_0(R)}$ for a Noetherian local ring $R$. Let $C_{CM}(R)$ be the cone in $\overline{G_0(R)}_{\Bbb R}$ spanned by cycles of maximal Cohen-Macaulay $R$-modules. We shall define the fundamental class $\overline{μ_R}$ of $R$ in $\overline{G_0(R)}_{\Bbb R}$, which is the limit of the Fro… ▽ More Considering the Grothendieck group modulo numerical equivalence, we obtain the finitely generated lattice $\overline{G_0(R)}$ for a Noetherian local ring $R$. Let $C_{CM}(R)$ be the cone in $\overline{G_0(R)}_{\Bbb R}$ spanned by cycles of maximal Cohen-Macaulay $R$-modules. We shall define the fundamental class $\overline{μ_R}$ of $R$ in $\overline{G_0(R)}_{\Bbb R}$, which is the limit of the Frobenius direct images (divided by their rank) $[{}^e R]/p^{de}$ in the case ${ch}(R) = p > 0$. The homological conjectures are deeply related to the problems whether $\overline{μ_R}$ is in the Cohen-Macaulay cone $C_{CM}(R)$ or the strictly nef cone $SN(R)$ defined below. In this paper, we shall prove that $\overline{μ_R}$ is in $C_{CM}(R)$ in the case where $R$ is FFRT or F-rational. △ Less

Submitted 15 July, 2014; originally announced July 2014.

Comments: 13 pages

MSC Class: 13D15; 13A35

Hilbert-Kunz functions over rings regular in codimension one

Authors: C. -Y. Jean Chan, Kazuhiko Kurano

Abstract: The aim of this manuscript is to discuss the Hilbert-Kunz functions over an excellent local ring regular in codimension one. We study the shape of the Hilbert-Kunz functions of modules and discuss the properties of the coefficient of the second highest term in the function. Our results extend Huneke, McDermott and Monsky's result (Math. Res. Lett. 11 (2004), no. 4, 539-546) about the shape of th… ▽ More The aim of this manuscript is to discuss the Hilbert-Kunz functions over an excellent local ring regular in codimension one. We study the shape of the Hilbert-Kunz functions of modules and discuss the properties of the coefficient of the second highest term in the function. Our results extend Huneke, McDermott and Monsky's result (Math. Res. Lett. 11 (2004), no. 4, 539-546) about the shape of the Hilbert-Kunz functions, and a theorem of the second author (J. Algebra 304 (2006), no. 1, 487-499) for rings with weaker conditions. In this paper, for a Cohen-Macaulay ring, we also explores an equivalence condition under which the second coefficient vanishes whenever the Hilbert-Kunz function of the ring is considered with respect to an ideal primary to the maximal ideal and of finite projective dimension. We introduce an additive error of the Hilbert-Kunz functions of modules on a short exact sequence and give an estimate of such error. △ Less

Submitted 5 October, 2013; v1 submitted 22 January, 2013; originally announced January 2013.

The cone spanned by maximal Cohen-Macaulay modules and an application

Authors: C. -Y. Jean Chan, Kazuhiko Kurano

Abstract: The aim of this paper is to define the notion of the Cohen-Macaulay cone of a Noetherian local domain R and to present its application to the theory of Hilbert-Kunz functions. It has been shown in Kurano's paper "Numerical equivalence defined on Chow groups of Noetherian local rings", Invent. Math. (2004), that, with a mild condition on R, the numerical Grothendieck group is a finitely generated t… ▽ More The aim of this paper is to define the notion of the Cohen-Macaulay cone of a Noetherian local domain R and to present its application to the theory of Hilbert-Kunz functions. It has been shown in Kurano's paper "Numerical equivalence defined on Chow groups of Noetherian local rings", Invent. Math. (2004), that, with a mild condition on R, the numerical Grothendieck group is a finitely generated torsion-free abelian group. The Cohen-Macaulay cone of R is a cone in the numerical Grothendieck group spanned by cycles represented by maximal Cohen-Macaulay modules. We study basic properties on the Cohen-Macaulay cone in this paper. As an application, various examples of Hilbert-Kunz functions in the polynomial type will be produced. Precisely, for any given integers $ε_i$= 0, -1 or 1 for d/2<i<d, where d = dim R, we shall construct a d-dimensional Cohen-Macaulay local ring R (of characteristic p) and a maximal primary ideal I of R such that the Hilbert-Kunz function of R is a polynomial in p^n of degree d whose coefficient of $(p^n)^i$ is the product of $ε_i$ and a positive rational number for d/2< i<d. The existence of such ring is proved by using Segre products to construct a Cohen-Macaulay ring such that the Chow group of the ring is of certain simplicity and that test modules exists for it. △ Less

Submitted 18 July, 2015; v1 submitted 16 November, 2012; originally announced November 2012.

Comments: 31 pages

MSC Class: 13C14; 13D15; 13D40; 14C17; 14C40

Hochster's theta pairing and numerical equivalence

Authors: Hailong Dao, Kazuhiko Kurano

Abstract: Let $(A,\m)$ be a local hypersurface with isolated singularity. We show that Hochster's theta pairing vanishes on elements that are {numerically equivalent to zero} in the Grothendieck group of $A$ under the mild assumption that $\spec A$ admits a resolution of singularity. We also prove that when $\dim A =3$, the Hochster's theta pairing is positive semidefinite. These results combine to show tha… ▽ More Let $(A,\m)$ be a local hypersurface with isolated singularity. We show that Hochster's theta pairing vanishes on elements that are {numerically equivalent to zero} in the Grothendieck group of $A$ under the mild assumption that $\spec A$ admits a resolution of singularity. We also prove that when $\dim A =3$, the Hochster's theta pairing is positive semidefinite. These results combine to show that the counter-example of Dutta-Hochster-McLaughlin to general vanishing of Serre's intersection multiplicity exists for any three dimensional isolated hypersurface singularity that is not a UFD and has a desingularization. Our method involves showing that theta gives a bivariant class for the morphism $\spec A/\m \to \spec A$. It also follows that if $A$ is three dimensional isolated hypersurface singularity that has a desingularization, the divisor class group of $A$ is finitely generated torsion-free. △ Less

Submitted 30 August, 2012; originally announced August 2012.

The divisor class groups and the graded canonical modules of multi-section rings

Authors: Kazuhiko Kurano

Abstract: We shall describe the divisor class group and the graded canonical module of the multi-section ring for a normal projective variety X and Weil divisors D_1,..., D_s on X under a mild condition. In the proof, we use the theory of Krull domain and the equivariant twisted inverse functor due to Hashimoto. We shall describe the divisor class group and the graded canonical module of the multi-section ring for a normal projective variety X and Weil divisors D_1,..., D_s on X under a mild condition. In the proof, we use the theory of Krull domain and the equivariant twisted inverse functor due to Hashimoto. △ Less

Submitted 16 June, 2012; originally announced June 2012.

Comments: 15 pages

MSC Class: 13C20 (Primary); 14C20(Secondary)

Journal ref: Nagoya Math. J. 212 (2013), 139-157

The canonical module of a Cox ring

Authors: Mitsuyasu Hashimoto, Kazuhiko Kurano

Abstract: In this paper, we shall describe the graded canonical module of a Noetherian multi-section ring of a normal projective variety. In particular, in the case of the Cox ring, we prove that the graded canonical module is a graded free module of rank one with the shift of degree $K_X$. We shall give two kinds of proofs. The first one utilizes the equivariant twisted inverse functor developed by the fir… ▽ More In this paper, we shall describe the graded canonical module of a Noetherian multi-section ring of a normal projective variety. In particular, in the case of the Cox ring, we prove that the graded canonical module is a graded free module of rank one with the shift of degree $K_X$. We shall give two kinds of proofs. The first one utilizes the equivariant twisted inverse functor developed by the first author. The second proof is down-to-earth, that avoids the twisted inverse functor. △ Less

Submitted 14 March, 2011; v1 submitted 19 July, 2010; originally announced July 2010.

Comments: 19 pages, corrected minor errors and updated the references

MSC Class: Primary: 14C20; Secondary: 13C20

Journal ref: Kyoto J. Math. 51, no. 4 (2011), 855-874

Asymptotic regularity of powers of ideals of points in a weighted projective plane

Authors: Steven Dale Cutkosky, Kazuhiko Kurano

Abstract: In this paper we study the asymptotic behavior of the regularity of symbolic powers of ideals of points in a weighted projective plane. By a result of Cutkosky, Ein and Lazarsfeld, regularity of such powers behaves asymptotically like a linear function. We study the difference between regularity of such powers and this linear function. Under some conditions, we prove that this difference is boun… ▽ More In this paper we study the asymptotic behavior of the regularity of symbolic powers of ideals of points in a weighted projective plane. By a result of Cutkosky, Ein and Lazarsfeld, regularity of such powers behaves asymptotically like a linear function. We study the difference between regularity of such powers and this linear function. Under some conditions, we prove that this difference is bounded, or eventually periodic. As a corollary we show that, if there exists a negative curve, then the regularity of symbolic powers of a monomial space curve is eventually a periodic linear function. We give a criterion for the validity of Nagata's conjecture in terms of the lack of existence of negative curves. △ Less

Submitted 22 October, 2009; originally announced October 2009.

Comments: 16 pages

MSC Class: 13A99; 14Q10

Journal ref: Kyoto J. Math. 51, no. 1 (2011), 25-45

Gorenstein isolated quotient singularities of odd prime dimension are cyclic

Authors: Kazuhiko Kurano, Shougo Nishi

Abstract: Gorenstein isolated quotient singularities of odd prime dimension are cyclic. In the case where the dimension is bigger than 1 and is not an odd prime number, then there exist Gorenstein isolated non-cyclic quotient singularities. Gorenstein isolated quotient singularities of odd prime dimension are cyclic. In the case where the dimension is bigger than 1 and is not an odd prime number, then there exist Gorenstein isolated non-cyclic quotient singularities. △ Less

Submitted 25 April, 2011; v1 submitted 19 March, 2009; originally announced March 2009.

Comments: 13 pages

MSC Class: 13A50; 14L30

Multigraded rings, diagonal subalgebras, and rational singularities

Authors: Kazuhiko Kurano, Ei-ichi Sato, Anurag K. Singh, Kei-ichi Watanabe

Abstract: We study the properties of F-rationality and F-regularity in multigraded rings and their diagonal subalgebras. The main focus is on diagonal subalgebras of bigraded rings: these constitute an interesting class of rings since they arise naturally as homogeneous coordinate rings of blow-ups of projective varieties. As a consequence of some of the results obtained here, it is shown that there exi… ▽ More We study the properties of F-rationality and F-regularity in multigraded rings and their diagonal subalgebras. The main focus is on diagonal subalgebras of bigraded rings: these constitute an interesting class of rings since they arise naturally as homogeneous coordinate rings of blow-ups of projective varieties. As a consequence of some of the results obtained here, it is shown that there exist standard bigraded hypersurfaces whose rings of invariants under torus actions have rational singularities, but are not of F-regular type. Another application is the construction of families of rings with divisor class groups that are finitely generated, but not discrete in the sense of Danilov. △ Less

Submitted 6 January, 2009; originally announced January 2009.

MSC Class: 13A02; 13A35; 13H10; 14B15

On finite generation of symbolic Rees rings of space monomial curves and existence of negative curves

Authors: Kazuhiko Kurano, Naoyuki Matsuoka

Abstract: In this paper, we shall study finite generation of symbolic Rees rings of the defining ideal of the space monomial curves $(t^a, t^b, t^c)$ for pairwise coprime integers $a$, $b$, $c$ such that $(a,b,c) \neq (1,1,1)$. If such a ring is not finitely generated over a base field, then it is a counterexample to the Hilbert's fourteenth problem. Finite generation of such rings is deeply related to ex… ▽ More In this paper, we shall study finite generation of symbolic Rees rings of the defining ideal of the space monomial curves $(t^a, t^b, t^c)$ for pairwise coprime integers $a$, $b$, $c$ such that $(a,b,c) \neq (1,1,1)$. If such a ring is not finitely generated over a base field, then it is a counterexample to the Hilbert's fourteenth problem. Finite generation of such rings is deeply related to existence of negative curves on certain normal projective surfaces. We study a sufficient condition (Definition 3.6) for existence of a negative curve. Using it, we prove that, in the case of $(a+b+c)^2 > abc$, a negative curve exists. Using a computer, we shall show that there exist examples in which this sufficient condition is not satisfied. △ Less

Submitted 2 September, 2009; v1 submitted 25 January, 2008; originally announced January 2008.

Comments: In the previous version, there was a serious mistake in the last section

MSC Class: 13F20

A local ring such that the map between Grothendieck groups with rational coefficient induced by completion is not injective

Authors: Kazuhiko Kurano, Vasudevan Srinivas

Abstract: In this paper, we construct a local ring $A$ such that the kernel of the map $G_0(A)\subq \to G_0(\hat{A})\subq$ is not zero, where $\hat{A}$ is the comletion of $A$ with respect to the maximal ideal, and $G_0()\subq$ is the Grothendieck group of finitely generated modules with rational coefficient. In our example, $A$ is a two-dimensional local ring which is essentially of finite type over… ▽ More In this paper, we construct a local ring $A$ such that the kernel of the map $G_0(A)\subq \to G_0(\hat{A})\subq$ is not zero, where $\hat{A}$ is the comletion of $A$ with respect to the maximal ideal, and $G_0()\subq$ is the Grothendieck group of finitely generated modules with rational coefficient. In our example, $A$ is a two-dimensional local ring which is essentially of finite type over ${\Bbb C}$, but it is not normal. △ Less

Submitted 4 July, 2007; originally announced July 2007.

Comments: 15pages

MSC Class: 13D15; 19A49

The singular Riemann-Roch theorem and Hilbert-Kunz functions

Authors: Kazuhiko Kurano

Abstract: In the paper, by the singular Riemann-Roch theorem, it is proved that the class of the e-th Frobenius power can be described using the class of the canonical module for a normal local ring of positive characteristic. As a corollary, we prove that the coefficient of the second term of the Hilbert-Kunz function of a finitely generated A-module M vanishes if A is a Q-Gorenstein ring and M is of fin… ▽ More In the paper, by the singular Riemann-Roch theorem, it is proved that the class of the e-th Frobenius power can be described using the class of the canonical module for a normal local ring of positive characteristic. As a corollary, we prove that the coefficient of the second term of the Hilbert-Kunz function of a finitely generated A-module M vanishes if A is a Q-Gorenstein ring and M is of finite projective dimension. For a normal algebraic variety X over a perfect field of positive characteristic, it is proved that the first Chern class of the direct image of the structure sheaf via e-th Frobenius power can be described using the canonical divisor of X. △ Less

Submitted 21 November, 2005; v1 submitted 23 June, 2005; originally announced June 2005.

Comments: 12 pages. to appear in J. Algebra

MSC Class: 13D40; 14C40

The total coordinate ring of a normal projective variety

Authors: E. Javier Elizondo, Kazuhiko Kurano, Kei-ichi Watanabe

Abstract: The total coordinate ring TC(X) of a normal variety is a generalization of the ring introduced and studied by Cox in connection with a toric variety. Consider a normal projective variety X with divisor class group Cl(X), and let us assume that it is a finitely generated free abelian group. We define the total coordinate ring of X to be TC(X) = oplus_{D} H^0 (X, O_X (D)), where the sum as above i… ▽ More The total coordinate ring TC(X) of a normal variety is a generalization of the ring introduced and studied by Cox in connection with a toric variety. Consider a normal projective variety X with divisor class group Cl(X), and let us assume that it is a finitely generated free abelian group. We define the total coordinate ring of X to be TC(X) = oplus_{D} H^0 (X, O_X (D)), where the sum as above is taken over all Weil divisors of X contained in a fixed complete system of representatives of Cl(X). We prove that for any normal projective variety X, TC(X) is a UFD, this is a corollary of a more general theorem that is proved in the paper. (Berchtold and Haussen proved the unique factorization for a smooth variety independently.) We also prove that for X, the blow up of P^2 along a finite number of collinear points, TC(X) is Noetherian. We also give an example that TC(X) is not Noetherian but oplus_n H^0 (X, O(nD)) is Noetherian for any Weil divisor D. △ Less

Submitted 12 August, 2003; v1 submitted 25 May, 2003; originally announced May 2003.

Comments: This is the final version that will appear in the Journal of Algebra. 11 pages. LaTex

MSC Class: 14; 13

Journal ref: J. Algebra. Vol. 276, Issue 2 , June 2004, Pages 625-637

Numerical equivalence defined on Chow groups of Noetherian local rings

Authors: Kazuhiko Kurano

Abstract: In the present paper, we define a notion of numerical equivalence on Chow groups or Grothendieck groups of Noetherian local rings, which is an analogue of that on smooth projective varieties. Under a mild condition, it is proved that the Chow group modulo numerical equivalence is a finite dimensional ${\Bbb Q}$-vector space, as in the case of smooth projective varieties. Numerical equivalence on… ▽ More In the present paper, we define a notion of numerical equivalence on Chow groups or Grothendieck groups of Noetherian local rings, which is an analogue of that on smooth projective varieties. Under a mild condition, it is proved that the Chow group modulo numerical equivalence is a finite dimensional ${\Bbb Q}$-vector space, as in the case of smooth projective varieties. Numerical equivalence on local rings is deeply related to that on smooth projective varieties. For example, if Grothendieck's standard conjectures are true, then a vanishing of Chow group (of local rings) modulo numerical equivalence can be proven. Using the theory of numerical equivalence, the notion of numerically Roberts rings is defined. It is proved that a Cohen-Macaulay local ring of positive characteristic is a numerically Roberts ring if and only if the Hilbert-Kunz multiplicity of a maximal primary ideal of finite projective dimension is always equal to its colength. Numerically Roberts rings satisfy the vanishing property of intersection multiplicities. We shall prove another special case of the vanishing of intersection multiplicities using a vanishing of localized Chern characters. △ Less

Submitted 26 January, 2004; v1 submitted 16 April, 2003; originally announced April 2003.

Comments: final version, 45 pages, to appear in Invent. Math

MSC Class: 13D15; 14C15; 14C25

Todd classes of affine cones of Grassmannians

Authors: Kazuhiko Kurano, Anurag K. Singh

Abstract: A local ring R is said to be a Roberts ring if tau_R([R]) = [Spec R]_dim R, where tau_R is the Riemann-Roch map for Spec R. Such rings satisfy a vanishing theorem for the Serre intersection multiplicity, as was established by Paul Roberts in his proof of the Serre vanishing conjecture. It is known that complete intersections are Roberts rings, and the first author proved that a determinantal rin… ▽ More A local ring R is said to be a Roberts ring if tau_R([R]) = [Spec R]_dim R, where tau_R is the Riemann-Roch map for Spec R. Such rings satisfy a vanishing theorem for the Serre intersection multiplicity, as was established by Paul Roberts in his proof of the Serre vanishing conjecture. It is known that complete intersections are Roberts rings, and the first author proved that a determinantal ring is a Roberts ring precisely if it is complete intersection. Let A_d(n) denote the affine cone of the Grassmannian G_d(n) under the Plucker embedding. We determine which of the rings A_d(n) are Roberts rings. △ Less

Submitted 8 October, 2002; originally announced October 2002.

MSC Class: 14C17; 13H15; 14C15; 14C40

Journal ref: International Mathematics Research Notices 35 (2002) 1841-1855