The algebraic-k-theory tag has no usage guidance.

**1**

vote

**1**answer

155 views

### Counterexamples to Kunneth formula in algebraic K-theory

Let $X$ be a smooth projective variety with an action of linear algebraic group $G$. Theorem 5.6.1 in Criss/Ginzburg (Representation Theory and Complex Geometry) lists a bunch of equivalent ...

**9**

votes

**1**answer

303 views

### When do non-exact functors induce morphisms on $K$-theory?

Let $\mathcal{A}$ and $\mathcal{B}$ be Waldhausen or exact categories, so that we can take the $K$-theory spectrum of $\mathcal{A}$ and $\mathcal{B}$. An exact functor $F: \mathcal{A} \to \mathcal{B}$ ...

**2**

votes

**1**answer

193 views

### Chow ring of an algebraic group for another equivalence relation than rational

For $G$ a split algebraic group of arbitrary Dynkin typ, the Chow ring with rational equivalence and $\mathbb{Z}/p\mathbb{Z}$, for $p$ some torsion prime of $G$, is well known and will be denoted as
...

**3**

votes

**1**answer

183 views

### Geometric contractibility of noetherian rings

Let $A$ be a noetherian ring. Let us define $A$ to be $n$-contractible if
All locally free sheaves of rank $\le n$ over $\text{Spec} A$ is trivial.
There exist a non-trivial locally free sheaf of ...

**14**

votes

**1**answer

371 views

### Does the ring $R = \mathbb{Z}[X^{\pm1}]$ of Laurent polynomials over $\mathbb{Z}$ satisfy $SL_2(R) = E_2(R)$?

Let $R = \mathbb{Z}[X^{\pm1}]$ be the ring of Laurent polynomials on one indeterminate over $\mathbb{Z}$. Let $E_2(R)$ be the subgroup of $GL_2(R)$ generated by the matrices that differ from the ...

**4**

votes

**0**answers

169 views

### Is the class of commutative generalized Euclidean rings stable under quotient and localization?

Let $R$ be an associative ring with indentity and let $E_n(R)$ be the subgroup of $GL_n(R)$ generated by matrices obtained from the identity matrix by replacing an off-diagonal entry by some $r∈R$. ...

**11**

votes

**1**answer

453 views

### Simplest example of failure of finite Galois descent in algebraic $K$-theory?

Let $E \to F$ be a $G$-Galois extension of fields.
What is the simplest example where the natural map $K(E) \to K(F)^{hG}$ is not an equivalence on connective covers (i.e., where finite Galois ...

**2**

votes

**0**answers

179 views

### K theory and derived categories

Some months ago I studied Beilinson's paper about generators for the derived category of $\mathbb{P}^n$, "Coherent Sheaves on $\mathbb{P}^n$ and problems of linear algebra".
As next step, I moved to ...

**4**

votes

**0**answers

121 views

### On non-vanishing of Milnor K-groups for infinite fields

It is well-known that for $n \geq 2$ and a finite field $k$, the Milnor $K$-group $K_n ^M (k)$ vanishes. I don't know who proved this first, but if curious, you may look at somewhere in Srinivas's ...

**5**

votes

**1**answer

97 views

### Why is $\operatorname{nr}_{F[G]}:K_1(F[G])\to Z(F[G])^\times$ a bijection?

Let $A$ be a finite dimensional semisimple $F$-algebra and $K_1(A)$ the Whitehead group of $A$.
By splitting $A$ into its Wedderburn components, the reduced norm map $\operatorname{nr}_A:K_1(A)\to Z(...

**3**

votes

**0**answers

175 views

### Passing motivic decompositions from rational to algebraic equivalence

It is well known that there are several adequate equivalence relations for algebraic cycles (see https://en.wikipedia.org/wiki/Adequate_equivalence_relation for a list including definitions).
The ...

**16**

votes

**0**answers

331 views

### Is this a model for $K$-theory of a triangulated category?

The recent question Complete the following sequence: point, triangle, octahedron, . . . in a dg-category reminded me of something I wanted to clarify long time ago; most likely this is now well known ...

**7**

votes

**0**answers

242 views

### How bad can $SK_1$ of a commutative ring be?

For a commutative ring $R$ define $\mathrm{SK}_1(n, R)=\mathrm{SL}(n, R)/\mathrm{E}(n, R)$, the quotient of the special linear group by its subgroup generated by the elementary matrices. When $n\...

**4**

votes

**0**answers

39 views

### Waldhausen's regular coherent groups: torsionfree non-examples and behaviour under taking products?

Waldhausen defined a group $G$ to be regular coherent, if for all regular noetherian rings $R$ the group algebra $RG$ is regular coherent. (see Waldhausen - Algebraic $K$-Theory of generalized free ...

**6**

votes

**1**answer

126 views

### Algebraic cobordism (of a point) outside the geometric diagonal

This question is about the state of current knowledge regarding Voevodsky's algebraic cobordism of a point $\mathrm{MGL}^{*,*}(\mathrm{Spec}\,k)$. That the geometric diagonal $\mathrm{MGL}^{2*,*}(\...

**9**

votes

**0**answers

240 views

### Motivic cohomology of a point

I was wondering how much is known about the integral motivic cohomology groups of $\mathrm{Spec}\, k$, $H^{n,p}_{\mathrm{mot}}(\mathrm{Spec}\, k,\mathbb{Z})$. One knows that $H^{n,n}_{\mathrm{mot}}(\...

**4**

votes

**0**answers

146 views

### Affine Steinberg groups vs Steinberg groups over Laurent polynomials

Let $R$ be a commutative ring and $\Phi$ be a finite (also called spherical) reduced irreducible root system of rank $\geq 2$. I will denote by $\mathrm{St}(\Phi,R)$ the Steinberg group of type $\Phi$ ...

**1**

vote

**0**answers

79 views

### Reference: Relative cohomology of a morphism

Let $f\colon Y \to X$ be a morphism of schemes, the inverse image in $K$-theory always fit into a long exact sequence
$$
\cdots \to K_i(f)\to K_i(X) \xrightarrow {f^*} K_i(Y)\to \cdots
$$
where the ...

**7**

votes

**1**answer

760 views

### The saturation of Murray von Neumann relation

Edit: According to comment of Pace Nielsen, I remove question 2 of the previous version:
Let $R$ be a unital ring. We define Murray Von Neumann relation $M$ on $R$ as follows:
We say $a M b$ iff $...

**3**

votes

**2**answers

71 views

### $V(A)$ semi group of equivalent projections in $M_∞(A)$ cancelative?

I found in the book of Murphy, C*- Algebras and Operator Theory, the Theorem 7.1.2 :
Let A be an unital C* algebra, the semi group $V(A)$ of equivalent projections (under Murray Von
Neumann ...

**1**

vote

**1**answer

278 views

### research articles in topology/geometry [closed]

There is a saying "Do you read the masters?"
I want to read some basic papers in Topology/geometry...
I can not clearly state what is basic as of now...
My back ground includes course in
...

**3**

votes

**2**answers

229 views

### Milnor-Witt K-theory for finite fields

Are $K^{MW}_*(\mathbb{F_q})$ and $K^{MW}_n(\mathbb{F_q})$ already known? Where can I read about it?

**11**

votes

**1**answer

482 views

### Plugging $1-x$ into Schur polynomials

I have a symmetric Laurent polynomial $f$ in $k$ variables expressed as a linear combination of Schur polynomials. I'd like to know what happens when I make the substitution $p(x_1,\ldots,x_k)\mapsto ...

**10**

votes

**0**answers

112 views

### Finiteness of torsion in $\mathcal{K}_2$-cohomology

Let $F$ be a number field, $C$ be a smooth projective curve over $F$ and $\mathfrak{C}$ be a proper regular model. I am interested in $\mathcal{K}_2$-cohomology, i.e., Zariski cohomology of the sheaf ...

**2**

votes

**0**answers

177 views

### Algebraic K theory, Karoubi completion and splitting

Suppose $\mathcal{C}\subset \mathcal{C}'$ is a pair of pre-triangulated smooth DG categories over a characteristic-zero basefield (say, $\mathbb{C}$), such that $\mathcal{C}$ is faithfully embedded in ...

**9**

votes

**0**answers

321 views

### When does algebraic K theory behave like a cohomology theory

Let $\mathbb{F}$ be a field. Let $K(\mathbb{F})$ be its algebraic (Quillen) $K$-theory spectrum. Let $X$ be a (nice, finite CW) topological space and let $\text{Rep}\Omega(X)$ be the DG category of (...

**5**

votes

**1**answer

309 views

### Waldhausen and Segal's delooping machinery

I was recently thinking about the proof of a theorem where Waldhausen compared the Segal's delooping machinery with his, in the case when the cofibration is splittable (sec.1.8 in 'Algebraic $K$-...

**9**

votes

**0**answers

191 views

### Algebraic K-theory of a ring.

I started to learn some algebraic $K$-theory and its relation to geometric topology problems.
My question is : What is the list of rings such that all their algebraic $K$-theory groups are known ?
I ...

**11**

votes

**0**answers

384 views

### Goodwillie's notes from MSRI Lecture Series

Does anyone know where I can find an electronic version of Goodwillie's (unpublished) notes from the MSRI Lecture Series in Spring, 1990? They're mentioned/cited as such in work of Dundas-McCarthy, ...

**15**

votes

**1**answer

601 views

### Is there an ∞-categorical interpretation of the Quillen S⁻¹S construction?

The Quillen S⁻¹S construction (not to be confused with the Quillen Q-construction or the Quillen plus-construction),
as defined by Grayson in Higher algebraic K-theory: II (page 219),
takes as an ...

**6**

votes

**2**answers

480 views

### K theory long exact sequence

(1) Suppose that $Z\subset X$ is a closed embedding, $U = X\setminus Z$ is the complement. If relevant, suppose that both $X, Z$ are smooth and even (if relevant) that the normal bundle of $Z\subset X$...

**6**

votes

**2**answers

369 views

### Pullback along Frobenius morphism

Let $X$ be a scheme over a finite field $\mathbb{F}_q$ and let $F : X \to X$ be the absolute Frobenius morphism. If $\mathcal{L}$ is an invertible $\mathcal{O}_X$-module, then there is a natural ...

**6**

votes

**0**answers

103 views

### $K_0$ an $KH_0$ of a normal crossing variety

Let $k$ be a field (say, algebraically closed to fix the ideas) and let $X$ be a strict (aka simple) normal crossing variety over $k$, so that $X$ is union of regular varieties with intersection that ...

**4**

votes

**2**answers

163 views

### Differential structures and K-homology groups

What is an example of a (compact) manifold, which has two non-equivalent differential structures such that the K-homology groups are non-isomorphic? If no such example exists, i.e. "K-homology does ...

**15**

votes

**1**answer

543 views

### Is SL(n,Z[x]) generated by transvections?

Is $\mathrm{SL}(n,\mathbb{Z}[x])$ equal to $E(n,\mathbb{Z}[x])$, the subgroup generated by transvections?

**14**

votes

**2**answers

462 views

### What does taking the graded algebra do to the Grothendieck group, and its relation to the Chow ring?

Let $X$ be a nonsingular variety. (Perhaps some/all of this works over more general smooth schemes, but let's stick to the simple case.)
In, e.g., Fulton's Intersection Theory chapter 15, and Soule's ...

**2**

votes

**0**answers

152 views

### Proof of Merkurjev's Theorem in “The Algebraic and Geometric Theory of Quadratic Forms”

I just have a little question about the above mentioned proof. I'm thinking for days, but I'm still not getting it.
For those who have the book (or want to look it up via google books etc.), it's the ...

**7**

votes

**0**answers

123 views

### Rings that are $K_0$ of finite groups

Is there a simple characterisation of all rings which appear as $K_0$ of finite groups? By $K_0$ of a finite group $G$ I mean $K_0(\mathbb C[G])$ which in the same as a ring of virtual characters of ...

**7**

votes

**2**answers

202 views

### An extension of $K$-theory to topological $^*$-algebras

What I have in mind is the following: a (sequence of) functor(s) $K_\bullet$ on the category of topological $^*$-algebras (with values in the category of commutative groups) that satisfies (among ...

**4**

votes

**0**answers

312 views

### Pull-push formula?

There are many contexts in which the push-pull formula $f_*(f^*(\alpha)\cdot \beta) = \alpha \cdot f_*(\beta)$ holds. I am interesting mostly in the case of algebraic K-theory and Chow rings (under ...

**2**

votes

**0**answers

82 views

### Centers of Noetherian Algebras and K-theory

I'll start off a little vauge: Let $E$ be a noncommutative ring which is finitely generated over its noetherian center $Z$. Denote by $\textbf{mod}\hspace{.1 cm} E$ the category of finitely ...

**1**

vote

**1**answer

128 views

### When the restriction of derived equivalence to a summand is a derived equivalence as well

I have a question about the equivalence of derived categories. Let $\mathcal{A} = \mathcal{A}'\oplus \mathcal{A}''$ and $\mathcal{B} = \mathcal{B}' \oplus \mathcal{B}''$ are direct sum of abelian ...

**3**

votes

**2**answers

150 views

### generalization of result on K_1 of $SL(n,R)$

Let R be a "nice" ring with 1 (e.g. Euclidean domain). Then the subgroup E(n,R) generated by the elements $I+te_{i,j}$ is equal to $SL(n,R)$.
My question is as follows: Instead of $SL(n,R)$ I look ...

**1**

vote

**1**answer

89 views

### Is there something like an “f-regular” $K$-theory?

Let $R$ be a ring and $f\in R$. Is there something like an $f$-regular $K$-theory group of $R$ based on the category of $f$-regular $R$-modules, i.e. modules that do not have any $f$-torsion? If ...

**9**

votes

**0**answers

109 views

### Gersten complexes in Quillen's and Milnor's K-theories

Consider a good enough scheme $X$ (e.g. an algebraic variety over a field). Let $X_i$ be the set of points of dimension $i$ in $X$. Then we have the Gersten complex in Quillen's K-theory:
$$
\oplus_{...

**5**

votes

**1**answer

211 views

### Map between homotopy groups of O, related to J-homomorphism and K-theory of Z

Let $s \geq 0$ be fixed. The $J$-homomorphism includes $\pi_{8s+1}(SO) = \mathbb Z/2$ in $\pi_{8s+1}^s$, the $(8s+1)$-th stable homotopy group of spheres.
Now regard $\pi_{8s+1}^s = \pi_{8s+1} ((B\...

**12**

votes

**1**answer

282 views

### The multiplication on $THH$ of finite fields

Let $k$ be a finite field, $THH(k)$ its topological Hochschild homology spectrum. For essentially formal reasons, we know that it's an $E_\infty$-algebra over the Eilenberg-Mac Lane spectrum $Hk$, and ...

**20**

votes

**1**answer

518 views

### Group with finite outer automorphism group and large center

Does there exist a finitely generated group $G$ with outer automorphism group $\mathrm{Out}(G)$ finite, whose center contains infinitely many elements of order $p$ for some prime $p$?
A motivation is ...

**2**

votes

**0**answers

164 views

### Do we have the following “devissage commutative diagram” in K-theory?

Let $X$ be a non-reduced Noetherian scheme. We define $K^0(X)$ to be the Grothendieck group of the derived category $Perf(X)$ and $K_0(X)$ to be the Grothendieck group of the derived category $D^b_{...

**3**

votes

**1**answer

180 views

### Could we extend the exact sequence $K^0(X)\to K_0(X)\to K_0(D_{sg}(X))\to 0$ to the left?

Let $X$ be a variety over a field $k$. We have the bounded derived category of coherent sheaves $D^b_{coh}(X)$ and the derived category of perfect complex $Perf(X)$. It is clear that $Perf(X)$ is a ...