We show that the homotopy invariant algebraic K-theory of Weibel vanishes below the negative of the Krull dimension of a noetherian scheme. This gives evidence for a conjecture of Weibel about vanishing of negative algebraic K-groups.
We study the homotopy groups of complements to reducible divisors on non-singular projective varieties with ample components and isolated non normal crossings. We prove a vanishing theorem generalizing conditions for commutativity of the fundamental groups. The calculation of supports of non vanishing homotopy groups as modules over the fundamental group in terms of the geometry of the locus of non-normal crossings is discussed. We review previous work on the local study of isolated non-normal crossings and relate the motivic zeta function to the local polytopes of quasiadjunction. As an appli…
Making use of Gruson-Raynaud's technique of "platification par eclatement", Kerz and Strunk proved that the negative homotopy K-theory groups of a Noetherian scheme X of Krull dimension d vanish below -d. In this note, making use of noncommutative algebraic geometry, we improve this result in the case of quotient singularities by proving that the negative homotopy K-theory groups vanish below -1. Furthermore, in the case of cyclic quotient singularities, we provide an explicit "upper bound" for the first negative homotopy K-theory group.
Non-vanishing of homotopy groups of Manin--Schechtman arrangements
Institute for Chemical Reaction Design and Discovery, Hokkaido University(化学反应用设计发现研究所,北海道大学);Department of Applied Mathematics, Fukuoka University(福冈大学应用数学系)
We show the vanishing of the second homotopy group of the étale homotopy type of a smooth connected algebraic group over a separably closed field, completed away from the characteristic. This is an algebraic analogue of a classical theorem of Elie Cartan. Based on this result, we establish an explicit formula for the similarly completed second homotopy group of a homogeneous space.
We show that a cone theorem for ${\mathbbA}^1-homotopy invariant contravariant functors implies the vanishing of the positive degree part of the operational Chow cohomology rings of a large class of affine varieties. We also discuss how this vanishing relates to a number of questions about representing Chow cohomology classes of GIT quotients in terms of equivariant cycles.
We compute the $\mathbb{A}^1$-localization of several invariants of schemes namely, topological Hochschild homology ($\mathrm{THH}$), topological cyclic homology ($\mathrm{TC}$) and topological periodic cyclic homology ($\mathrm{TP}$). This procedure is quite brutal and kills the completed versions of most of these invariants. The main ingredient for the vanishing statements is the vanishing of $\mathbb{A}^1$-localization of de Rham cohomology (and, eventually, crystalline cohomology) in positive characteristics.
We obtain sufficient conditions for the vanishing of higher homotopy groups of the complements to hypersurfaces in ${\mathbb C}^n$ in terms of the behavior at infinity and relate the monodromy of non isolated singularities to the position of singularities in generic plane sections.
We present a method for computing $\mathbb{A}^1$-homotopy invariants of singularity categories of rings admitting suitable gradings. Using this we describe any such invariant, e.g. homotopy K-theory, for the stable categories of self-injective algebras admitting a connected grading. A remark is also made concerning the vanishing of all such invariants for cluster categories of type $A_{2n}$ quivers.
We establish the analogue of the Friedlander-Mazur conjecture for Teh's reduced Lawson homology groups of real varieties, which says that the reduced Lawson homology of a real quasi-projective variety $X$ vanishes in homological degrees larger than the dimension of $X$ in all weights. As an application we obtain a vanishing of homotopy groups of the mod-2 topological groups of averaged cycles and a characterization in a range of indices of the motivic cohomology of a real variety as homotopy groups of the complex of averaged equidimensional cycles. We also establish an equivariant Poincare dua…
In this note we prove some structural properties of all the A1-homotopy invariants of corner skew Laurent polynomial algebras. As an application, we compute de mod-l algebraic K-theory of Leavitt path algebras using solely the kernel/cokernel of the incidence matrix. This leads naturally to some vanishing and divisibility properties of the algebraic K-theory of these algebras.
A homotopical treatment of intersection cohomology recently developed by Chataur-Saralegui-Tanré associates a "perverse algebraic model" to every topological pseudomanifold, extending Sullivan's presentation of rational homotopy to intersection cohomology. In this context, there is a notion of "intersection-formality", measuring the vanishing of Massey products in intersection cohomology. In the present paper, we study the perverse algebraic model of complex projective varieties with isolated singularities. We endow such invariant with natural mixed Hodge structures. This allows us to prove so…
Given an algebraic stack $X$, one may compare the derived category of quasi-coherent sheaves on $X$ with the category of dg-modules over the dg-ring of functions on $X$. We study the analogous question in stable homotopy theory, for derived stacks that arise via realizations of diagrams of Landweber-exact homology theories. We identify a condition (quasi-affineness of the map to the moduli stack of formal groups) under which the two categories are equivalent, and study applications to topological modular forms. In particular, we provide new examples of Galois extensions of ring spectra and van…
In this article, we study the relative negative K-groups $K_{-n}(f)$ of a map $f: X \to S $ of schemes. We prove a relative version of the Weibel conjecture i.e. if $f: X \to S$ is a smooth affine map of noetherian schemes with $\dim S=d$ then $K_{-n}(f)=0$ for $n> d+1$ and the natural map $K_{-n}(f) \to K_{-n}(f \times \mathbb{A}^{r})$ is an isomorphism for all $r>0$ and $n>d.$ We also prove a vanishing result for relative negative K-groups of a subintegral map.
Let k be an infinite perfect field of positive characteristic p and assume that strong resolution of singularities holds over k. We prove that, if X is a d-dimensional noetherian scheme whose underlying reduced scheme is essentially of finite type over the field k, then the negative K-group K_q(X) vanishes for every q < -d. This partially affirms a conjecture of Weibel.
In a 2006 article Schlichting conjectured that the negative {\it K--}theory of any abelian category must vanish. This conjecture was generalized in a 2019 article by Antieau, Gepner and Heller, who hypothesized that the negative {\it K--}theory of any category with a bounded {\it t--}structure must vanish. Both conjectures will be shown to be false.
In this paper, we initiate a study of motivic homotopy theory at infinity. We use the six functor formalism to give an intrinsic definition of the stable motivic homotopy type at infinity of an algebraic variety. Our main computational tools include cdh-descent for normal crossing divisors, Euler classes, Gysin maps, and homotopy purity. Under $\ell$-adic realization, the motive at infinity recovers a formula for vanishing cycles due to Rapoport-Zink; similar results hold for Steenbrink's limiting Hodge structures and Wildeshaus' boundary motives. Under the topological Betti realization, the s…
We show how a theorem of Gabber on alterations can be used to apply work of Cisinski, Suslin, Voevodsky, and Weibel to prove that $K_n(X)[1/p] = 0$ for $n < - \dim X$ where $X$ is a quasi-excellent noetherian scheme, $p$ is a prime that is nilpotent on $X$, and $K_n$ is the $K$-theory of Bass-Thomason-Trobaugh. This gives a partial answer to a question of Weibel.
We prove that the homotopy algebraic K-theory of tame quasi-DM stacks satisfies cdh-descent. We apply this descent result to prove that if X is a Noetherian tame quasi-DM stack and i < -dim(X), then K_i(X)[1/n] = 0 (resp. K_i(X, Z/n) = 0) provided that n is nilpotent on X (resp. is invertible on X). Our descent and vanishing results apply more generally to certain Artin stacks whose stabilizers are extensions of finite group schemes by group schemes of multiplicative type.
C. Weibel and Thomason-Trobaugh proved (under some assumptions) that algebraic K-theory with coefficients is A1-homotopy invariant. In this article we generalize this result from schemes to the broad setting of dg categories. Along the way, we extend Bass-Quillen's fundamental theorem as well as Stienstra's foundational work on module structures over the big Witt ring to the setting of dg categories. Among other cases, the above A1-homotopy invariance result can now be applied to sheaves of (not necessarily commutative) dg algebras over stacks. As an application, we compute the algebraic K-the…
In this paper, the homotopy groups of Chow variety $C_{p,d}(P^n)$ of effective $p$-cycles of degree $d$ is proved to be stable in the sense that $p$ or $n$ increases. We also obtain a negative answer to a question by Lawson and Michelsohn on homotopy groups for the space of degree two cycles.
We prove an extension theorem for effective plt pairs $(X,S+B)$ of non-negative Kodaira dimension $κ(K_X+S+B)\geq 0$. The main new ingredient is a refinement of the Ohsawa-Takegoshi $L^2$ extension theorem involving singular hermitian metrics.