Related papers: Gersten Conjecture For Equivariant K-theory And Ap…

A proof of Grothendieck--Serre conjecture on principal bundles over a semi-local regular ring containing an infinite field is given in [FP] recently. That proof is based significantly on Theorem 1.0.1 stated below in the Introduction and…

Let $G$ be a connected semisimple Lie group with its maximal compact subgroup $K$ being simply-connected. We show that the twisted equivariant $KK$-theory $KK^{\bullet}_{G}(G/K, \tau_G^G)$ of $G$ has a ring structure induced from the…

Consider a complete discrete valuation ring $\mathcal{O}$ with quotient field $F$ and finite residue field. Then the inclusion map $\mathcal{O} \hookrightarrow F$ induces a map $\hat{\mathrm{K}}^\mathrm{M}_*\mathcal{O} \to…

We define a generalization of the Brauer group $\operatorname{H}_\mathrm{B}^{n}(X)$ for an equi-dimensional scheme $X$ and $n>0$. In the case where $X$ is the spectrum of a local ring of a smooth algebra over a discrete valuation ring,…

We consider the semi-direct products $G=\mathbb Z^2\rtimes GL_2(\mathbb Z), \mathbb Z^2\rtimes SL_2(\mathbb Z)$ and $\mathbb Z^2\rtimes\Gamma(2)$ (where $\Gamma(2)$ is the congruence subgroup of level 2). For each of them, we compute both…

We prove a colimit formula for the K-theory spectra of reductive p-adic groups of rank one with regular coefficients in terms of the K-theory of certain compact open subgroups. Furthermore, in the complex case, we show, using the…

To any pullback square of ring spectra we associate a new ring spectrum and use it to describe the failure of excision in algebraic $K$-theory. The construction of this new ring spectrum is categorical and hence allows to determine the…

We prove the Farrell-Jones Isomorphism Conjecture about the algebraic K-theory of a group ring RG in the case where the group G is the fundamental group of a closed Riemannian manifold with strictly negative sectional curvature. The…

We cast Kasparov's equivariant KK-theory in the framework of model categories. We obtain a stable model structure on a certain category of locally multiplicative convex $G$-$C^*$-algebras, which naturally contains the stable…

Using an idelic argument and assuming the Gersten conjecture for Milnor K-theory, we show that the restriction map from one-cycles on a smooth projective scheme over a henselian local ring to a pro-system of thickened zero-cycles is…

Let R be a regular local ring, containing a finite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R. In other words, if K is the fraction…

Let R be a regular local ring, containing a finite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R. If the regular local ring R contains an…

Let R be a semi-local Dedekind domain and let K be the field of fractions of R. Let G be a reductive semisimple simply connected R-group scheme such that every semisimple normal R-subgroup scheme of G contains a split R-torus G_m. We prove…

We revisit a theorem of Grosshans and show that it holds over arbitrary commutative base ring $k$. One considers a split reductive group scheme $G$ acting on a $k$-algebra $A$ and leaving invariant a subalgebra $R$. If $R^U=A^U$ then the…

In three preprints [Pan2],[Pan3] and the present one we prove Grothendieck-Serre's conjecture concerning principal G-bundles over regular semi-local domains R containing a finite field (here G is a reductive group scheme). The present…

Let $k$ be a field, let $G$ be a reductive algebraic group over $k$, and let $V$ be a linear representation of $G$. Geometric invariant theory involves the study of the $k$-algebra of $G$-invariant polynomials on $V$, and the relation…

Starting with a $\mathbb{C}^*$-valued cocycle on the global quotient orbifold $X // G$, we apply transgression techniques for 2-gerbes, as developed by Lupercio and Uribe, to construct a gerbe on the orbifold loop space $\mathcal{L}(X//G)$.…

We interpret certain equivariant Kasparov groups as equivariant representable K-theory groups. We compute these groups via a classifying space and as K-theory groups of suitable sigma-C*-algebras. We also relate equivariant vector bundles…

We show that the hermitian K-theory space of a commutative ring R can be identified, up to A^1-homotopy, with the group completion of the groupoid of oriented finite Gorenstein R-algebras, i.e., finite locally free R-algebras with…

In this article, we establish the Grothendieck-Serre conjecture over valuation rings: for a reductive group scheme $G$ over a valuation ring $V$ with fraction field $K$, a $G$-torsor over $V$ is trivial if it is trivial over $K$. This…