Related papers: Homotopy invariance of non-stable K_1-functors

We apply the techniques developed by I. Panin for the proof of the equicharacteristic case of the Serre-Grothendieck conjecture for isotropic reductive groups (I. Panin, A. Stavrova, N. Vavilov, 2015; I. Panin, 2019) to obtain similar…

Let G be a reductive group over a commutative ring R. We say that G has isotropic rank >=n, if every normal semisimple reductive R-subgroup of G contains (G_m)^n. We prove that if G has isotropic rank >=1 and R is a regular domain…

Let $k$ be a field, and let $G$ be a simply connected semisimple k-group which is isotropic and contains a strictly proper parabolic $k$-subgroup $P$. Let $D$ be a discrete valuation ring which is a local ring of a smooth algebraic curve…

Let k be a field. Let G be an absolutely almost simple simply connected k-group of type A_l, l>=2, or D_l, l>=4, containing a 2-dimensional split torus. If G is of type D_l, assume moreover that char k is different from 2. We show that the…

We establish axiomatic characterizations of $K$-theory and $KK$-theory for real C*-algebras. In particular, let $F$ be an abelian group-valued functor on separable real C*-algebras. We prove that if $F$ is homotopy invariant, stable, and…

Let k be a field of characteristic 0. Let G be a reductive group over the ring of Laurent polynomials R=k[x_1^{\pm 1},...,x_n^{\pm 1}] containing a maximal R-torus T (equivalently, loop reductive). Assume also that every semisimple normal…

Let Z denote the simple limit of prime dimension drop algebras that has a unique tracial state. Let A != 0 be a unital C^*-algebra with A = A tensor Z. Then the homotopy groups of the group U(A) of unitaries in A are stable invariants,…

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…

For a countable group $G$ we construct a small, idempotent complete, symmetric monoidal, stable $\infty$-category $\mathrm{KK}^{G}_{\mathrm{sep}}$ whose homotopy category recovers the triangulated equivariant Kasparov category of separable…

We show that the algebraic K-theory of semi-valuation rings with stably coherent regular semi-fraction ring satisfies homotopy invariance. Moreover, we show that these rings are regular if their valuation is non-trivial. Thus they yield…

Let A be a dg category, F:A->A a dg functor inducing an equivalence of categories in degree-zero cohomology, and A/F the associated dg orbit category. For every A1-homotopy invariant (e.g. homotopy K-theory, K-theory with coefficients,…

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,…

Let $G$ be a compact connected Lie group and $K$ a closed connected subgroup. Assume that the order of any torsion element in the integral cohomology of $G$ and $K$ is invertible in a given principal ideal domain $k$. It is known that in…

We give a new proof of the universal property of $KK^G$-theory with respect to stability, homotopy invariance and split-exactness for $G$ a locally compact group, or a locally compact (not necessarily Hausdorff) groupoid, or a countable…

Let R be a semi-local regular domain containing an infinite perfect field k, and let K be the field of fractions of R. Let G be a reductive semi-simple simply connected R-group scheme such that each of its R-indecomposable factors is…

We give a procedure to compute the rational homotopy groups of the group of quasi-unitaries of an AF-algebra. As an application, we show that an AF-algebra is K-stable if and only if it is rationally K-stable.

We consider functors from the category of locally convex algebras to abelian groups and prove invariance under smooth homotopies for weakly J-stable algebras, where J is a harmonic operator ideal. This applies in particular to negative…

Let k be a field. Denote by Spc(k)_* the unstable, pointed motivic homotopy category and by Omega_Gm: Spc(k)_* \to Spc(k)_* the Gm-loops functor. For a k-group G, denote by Gr_G the affine Grassmannian of G. If G is isotropic reductive, we…

We study two different flavours of A^1-homotopy theory in the setting of spectral algebraic geometry, and compare them to classical A^1-homotopy theory. As an application we show that the spectral analogue of Weibel's homotopy invariant…

The main theorem in this paper is that the base change functor from a noetherian abelian category to its noetherian polynomial category induces an isomorphism on K-theory. The main theorem implies the well-known fact that A^1-homotopy…