All Questions
13 questions
3
votes
0
answers
148
views
Grothendieck ring of varieties in positive characteristic, away from the characteristic
In "The universal Euler characteristic for varieties of characteristic zero", Bittner shows that over a field $k$ of characteristic zero, the Grothendieck ring $K_{0}(Var_{k})$ of varieties ...
- 2,197
1
vote
1
answer
383
views
Grothendieck rings and the Tannakian formalism
I understand that the Tannakian formalism (which I only "know" extremely superficially) is very important for the theory of motives. I guess "the" conjectural category of motives ...
- 4,547
29
votes
1
answer
2k
views
Is there a higher Grothendieck ring of varieties?
Fix a field $k$. The Grothendieck ring $K_0(\mathrm{Var}_k)$ of varieties over $k$ is defined as the quotient of the free abelian group on isomorphism classes of algebraic varieties by the scissor ...
- 293
3
votes
0
answers
300
views
Why the scissor relations in Grothendieck rings?
Let $k$ be a field, and let $K_0(V_k)$ be the Grothendieck ring of $k$-varieties. One type of relation which defines $K_0(V_k)$ is the following: if $A$ is a $k$-variety and $C$ a closed subset of $A$,...
- 4,547
12
votes
1
answer
596
views
An inverse problem for Grothendieck rings of varieties
Suppose $A$ is a given commutative ring, and suppose that one knows that $A$ is isomorphic to the Grothendieck ring of $k$-varieties for some unknown field $k$.
Can $k$ be recovered from $A$ ? If ...
- 4,547
12
votes
1
answer
529
views
Quadrics in the Grothendieck ring
Let $\mathcal{Q}$ be an irreducible quadric in $\mathbb{P}^n(k)$, with $n \geq 2$ and $k$ a finite field. Let $K_0(V_k)$ be the Grothendieck ring of $k$-varieties. It is well known (it appears) that ...
- 4,547
8
votes
2
answers
793
views
Some questions about the map $K_0(\text{Var})\to K_0(\text{Mot})$
Let $k$ be a field. The naive Grothendieck ring of varieties $K_0(\text{Var})$ is generated by isomorphism classes of varieties over $k$ with the scissors relation $[X]=[X-Y]+[Y]$ for $Y$ a closed ...
- 693
18
votes
2
answers
1k
views
Grothendieck ring of "varieties carrying a function"
Fix a base ring $R$, and consider pairs $(X,f)$ where $X$ is a scheme
of finite type over $R$ and $f:X\to R$ is an $R$-valued algebraic (not
constructible!) function on $X$.
I want to consider a ...
- 27.8k
6
votes
2
answers
718
views
Should the Grothendieck ring of varieties be K_0 of numerical motives?
Assuming the Standard Conjectures, should the Grothendieck ring of varieties be the $K_0$ of the abelian category of numerical motives?
- 15.4k
6
votes
1
answer
389
views
Virtual mixed Tate motives
Let $\mathbf{Sch}_k$ be the category of $k$-schemes of finite type, and let $K_0(\mathbf{Sch}_k)$ be the Grothendieck ring of $k$-schemes. Let $\mathbb{Z}[\mathbb{L}]$ the subring generated by the ...
- 4,547
5
votes
0
answers
530
views
What is the algebro-geometric or measure-theoretic "content" of Dhillon and Mináč's motivic Artin symbols over an arbitrary ground field?
1. Short version. In this text, Dhillon and Mináč define motivic Artin symbols. Having fixed a ground field $k$ and a smooth projective curve $Y$ over $k$ equipped with the action of a finite group $G$...
- 954
3
votes
1
answer
438
views
Virtual Lefschetz motive
Hi there,
I have a question which popped up while reading papers on motives.
Let $V_k$ be the category of (projective) k-varieties, and let $K_0(V_k)$ be the Grothendieck ring of $V_k$; then $\...
- 4,547
5
votes
0
answers
172
views
Polynomially countable varieties and virtual mixed Tate motives
Let $K_0(Var_k)$ be the Grothendieck ring of $k$-varieties for a field $k$. Let $\mathbb{L}$ denote the class of the affine line over $k$. Let $S$ be a $k$-variety and $[S] \in \mathbb{Z}[\mathbb{L}]$,...
- 4,547