Showing 1–11 of 11 results for author: Weibel, C A

$K_2$-regularity and normality

Authors: Christian Haesemeyer, Charles A. Weibel

Abstract: We take a fresh look at the relationship between $K$-regularity and regularity of schemes, proving two results in this direction. First, we show that $K_2$-regular affine algebras over fields of characteristic zero are normal. Second, we improve on Vorst's $K$-regularity bound in the case of local complete intersections; this is related to recent work on higher du Bois singularities. We take a fresh look at the relationship between $K$-regularity and regularity of schemes, proving two results in this direction. First, we show that $K_2$-regular affine algebras over fields of characteristic zero are normal. Second, we improve on Vorst's $K$-regularity bound in the case of local complete intersections; this is related to recent work on higher du Bois singularities. △ Less

Submitted 10 February, 2025; v1 submitted 2 January, 2025; originally announced January 2025.

Comments: v2 12 pages. Added a result on the dimension of the singular set of local complete intersection du Bois singularities, communicated to us by Wanchun Shen. Added acknowledgements and declarations necessary for submission

MSC Class: 19D35 (Primary); 14F20; 19E20 (Secondary)

The $K'$- theory of monoid sets

Authors: Christian Haesemeyer, Charles A. Weibel

Abstract: This paper studies the K-theory of categories of partially cancellative monoid sets, which is better behaved than that of all finitely generated monoid sets. A number of foundational results are proved, making use of the formalism of CGW-categories due to Campbell and Zakharevich, and numerous example computations are provided. This paper studies the K-theory of categories of partially cancellative monoid sets, which is better behaved than that of all finitely generated monoid sets. A number of foundational results are proved, making use of the formalism of CGW-categories due to Campbell and Zakharevich, and numerous example computations are provided. △ Less

Submitted 31 August, 2019; originally announced September 2019.

Comments: 14 pages

MSC Class: 19D99; 06F05; 20M32

K-theory of line bundles and smooth varieties

Authors: Christian Haesemeyer, Charles A. Weibel

Abstract: We give a $K$-theoretic criterion for a quasi-projective variety to be smooth. If $\mathbb{L}$ is a line bundle corresponding to an ample invertible sheaf on $X$, it suffices that $K_q(X) = K_q(\mathbb{L})$ for all $q\le\dim(X)+1$. We give a $K$-theoretic criterion for a quasi-projective variety to be smooth. If $\mathbb{L}$ is a line bundle corresponding to an ample invertible sheaf on $X$, it suffices that $K_q(X) = K_q(\mathbb{L})$ for all $q\le\dim(X)+1$. △ Less

Submitted 4 July, 2017; originally announced July 2017.

Comments: 11 pages

MSC Class: 14F20; 19E08; 19D55

The K-theory of toric varieties in positive characteristic

Authors: Guillermo Cortiñas, Christian Haesemeyer, Mark E. Walker, Charles A. Weibel

Abstract: We show that if X is a toric scheme over a regular ring containing a field then the direct limit of the K-groups of X taken over any infinite sequence of nontrivial dilations is homotopy invariant. This theorem was known in characteristic 0. The affine case of our result was conjectured by Gubeladze. We show that if X is a toric scheme over a regular ring containing a field then the direct limit of the K-groups of X taken over any infinite sequence of nontrivial dilations is homotopy invariant. This theorem was known in characteristic 0. The affine case of our result was conjectured by Gubeladze. △ Less

Submitted 12 July, 2012; originally announced July 2012.

Comments: Companion paper to arXiv:1106.1389

MSC Class: 14F20; 19E08; 19D55

Toric varieties, monoid schemes and $cdh$ descent

Authors: Guillermo Cortiñas, Christian Haesemeyer, Mark E. Walker, Charles A. Weibel

Abstract: We give conditions for the Mayer-Vietoris property to hold for the algebraic K-theory of blow-up squares of toric varieties in any characteristic, using the theory of monoid schemes. These conditions are used to relate algebraic K-theory to topological cyclic homology in characteristic p. To achieve our goals, we develop for monoid schemes many notions from classical algebraic geometry, such as se… ▽ More We give conditions for the Mayer-Vietoris property to hold for the algebraic K-theory of blow-up squares of toric varieties in any characteristic, using the theory of monoid schemes. These conditions are used to relate algebraic K-theory to topological cyclic homology in characteristic p. To achieve our goals, we develop for monoid schemes many notions from classical algebraic geometry, such as separated and proper maps. △ Less

Submitted 12 July, 2012; v1 submitted 7 June, 2011; originally announced June 2011.

Comments: v2 changes: field of positive characteristic replaced by regular ring containing such a field at appropriate places. Minor changes in exposition

MSC Class: 19D55 (Primary) 14M25; 19D25; 14L32 (Secondary)

$K$-theory of cones of smooth varieties

Authors: Guillermo Cortiñas, Christian Haesemeyer, Mark E. Walker, Charles A. Weibel

Abstract: Let $R$ be the homogeneous coordinate ring of a smooth projective variety $X$ over a field $\k$ of characteristic~0. We calculate the $K$-theory of $R$ in terms of the geometry of the projective embedding of $X$. In particular, if $X$ is a curve then we calculate $K_0(R)$ and $K_1(R)$, and prove that $K_{-1}(R)=\oplus H^1(C,\cO(n))$. The formula for $K_0(R)$ involves the Zariski cohomology of tw… ▽ More Let $R$ be the homogeneous coordinate ring of a smooth projective variety $X$ over a field $\k$ of characteristic~0. We calculate the $K$-theory of $R$ in terms of the geometry of the projective embedding of $X$. In particular, if $X$ is a curve then we calculate $K_0(R)$ and $K_1(R)$, and prove that $K_{-1}(R)=\oplus H^1(C,\cO(n))$. The formula for $K_0(R)$ involves the Zariski cohomology of twisted Kähler differentials on the variety. △ Less

Submitted 22 February, 2010; v1 submitted 28 May, 2009; originally announced May 2009.

Comments: 17 pages

Norm Varieties and the Chain Lemma (after Markus Rost)

Authors: Christian Haesemeyer, Charles A. Weibel

Abstract: The goal of this paper is to present proofs of two results of Markus Rost: the Chain Lemma and the Norm Principle. These are the final steps needed to complete the publishable verification of the Bloch-Kato conjecture, that the norm residue maps are isomorphisms between Milnor K-theory $K_n^M(k)/p$ and etale cohomology $H^n(k,μ_p^n)$ for every prime p, every n and every field k containing 1/p.… ▽ More The goal of this paper is to present proofs of two results of Markus Rost: the Chain Lemma and the Norm Principle. These are the final steps needed to complete the publishable verification of the Bloch-Kato conjecture, that the norm residue maps are isomorphisms between Milnor K-theory $K_n^M(k)/p$ and etale cohomology $H^n(k,μ_p^n)$ for every prime p, every n and every field k containing 1/p. Our proofs of these two results are based on Rost's 1998 preprints, his web site and Rost's lectures at the Institute for Advanced Study in 1999-2000 and 2005. △ Less

Submitted 20 June, 2008; originally announced June 2008.

MSC Class: 19D45; 14C17

Infinitesimal cohomology and the Chern character to negative cyclic homology

Authors: G. Cortiñas, C. Haesemeyer, C. A. Weibel

Abstract: There is a Chern character from K-theory to negative cyclic homology. We show that it preserves the decomposition coming from Adams operations, at least in characteristic 0. This is done by using infinitesimal cohomology to reduce to the case of a nilpotent ideal (which had been established by Cathelineau some time ago). There is a Chern character from K-theory to negative cyclic homology. We show that it preserves the decomposition coming from Adams operations, at least in characteristic 0. This is done by using infinitesimal cohomology to reduce to the case of a nilpotent ideal (which had been established by Cathelineau some time ago). △ Less

Submitted 27 July, 2008; v1 submitted 5 March, 2007; originally announced March 2007.

Comments: Included reference for identification of relative Chern and rational homotopy theory characters; some minor editing for clarity

MSC Class: 19D55 (Primary) 13D03; 14F10 (Secondary)

Journal ref: Math. Ann. 344 (2009) 891-922

K-regularity, cdh-fibrant Hochschild homology, and a conjecture of Vorst

Authors: G. Cortiñas, C. Haesemeyer, C. A. Weibel

Abstract: In this paper we prove that for an affine scheme essentially of finite type over a field $F$ and of dimension $d$, $K_{d+1}$-regularity implies regularity, assuming that the characteristic of $F$ is zero. This verifies a conjecture of Vorst. In this paper we prove that for an affine scheme essentially of finite type over a field $F$ and of dimension $d$, $K_{d+1}$-regularity implies regularity, assuming that the characteristic of $F$ is zero. This verifies a conjecture of Vorst. △ Less

Submitted 14 May, 2006; originally announced May 2006.

MSC Class: 19D35 (primary); 14F20; 13D03; 19D55

Journal ref: J. Amer. Math. Soc. 21 (2008)

Cyclic homology, cdh-cohomology and negative K-theory

Authors: G. Cortiñas, C. Haesemeyer, M. Schlichting, C. A. Weibel

Abstract: We prove a blow-up formula for cyclic homology which we use to show that infinitesimal $K$-theory satisfies $cdh$-descent. Combining that result with some computations of the $cdh$-cohomology of the sheaf of regular functions, we verify a conjecture of Weibel predicting the vanishing of algebraic $K$-theory of a scheme in degrees less than minus the dimension of the scheme, for schemes essential… ▽ More We prove a blow-up formula for cyclic homology which we use to show that infinitesimal $K$-theory satisfies $cdh$-descent. Combining that result with some computations of the $cdh$-cohomology of the sheaf of regular functions, we verify a conjecture of Weibel predicting the vanishing of algebraic $K$-theory of a scheme in degrees less than minus the dimension of the scheme, for schemes essentially of finite type over a field of characteristic zero. △ Less

Submitted 12 February, 2005; originally announced February 2005.

Comments: 20 pages, amslatex, uses xypic

MSC Class: 19D35; 19D55

Journal ref: Ann. Math. 167, (2008) 549-573

The Artinian Berger Conjecture

Authors: Guillermo Cortiñas, Susan C. Geller, Charles A. Weibel

Abstract: We propose an Artinian version of Berger's Conjecture for curves, concerning the module of Kähler differentials of an algebra. Our version implies Berger's Conjecture in characteristic 0. We establish our Artinian Berger Conjecture in a number of cases, and prove that Berger's Conjecture holds for curve singularities whose conductor ideal contains the cube of a maximal ideal. We propose an Artinian version of Berger's Conjecture for curves, concerning the module of Kähler differentials of an algebra. Our version implies Berger's Conjecture in characteristic 0. We establish our Artinian Berger Conjecture in a number of cases, and prove that Berger's Conjecture holds for curve singularities whose conductor ideal contains the cube of a maximal ideal. △ Less

Submitted 13 March, 1995; originally announced March 1995.

Report number: Formerly com-alg/940006

Journal ref: Math. Z. 228, 569-588 (1998)