Related papers: Grothendieck rings of \mathbb{Z}-valued fields

We shall describe a simple generalization of commutative rings. The category GR of such "rings", contains the ordinary commutative rings (fully faithfully), but also the "integers" and "residue field" at a real or complex place of a field ;…

We give sufficient cohomological criteria for the classes of given varieties over a field $k$ to be algebraically independent in the Grothendieck ring of varieties over $k$ and construct some examples.

If $G$ is a finite group, the Grothendieck group ${\mathbf{K}}\_G(G)$ of the category of $G$-equivariant ${\mathbb{C}}$-vector bundles on $G$ (for the action of $G$ on itself by conjugation) is endowed with a structure of (commutative)…

Given a connected reductive group G over the finite field of order p and a cocharacter of G over the algebraic closure of the finite field, we can define G-Zips. The collection of these G-Zips form an algebraic stack which is a stack…

We will give quiver presentations of the Grothendieck constructions of functors from a small category to the 2-category of $\Bbbk$-categories for a commutative ring $\Bbbk$.

This note describes the subring of the Grothendieck ring of k-varieties generated by smooth conics; finding many zero divisors. The proof uses only elementary projective geometry.

We give an example of a valued field $(K,A)$ such that the valuation ring $A$ is definable by an $L_{\text{ring}}$-formula without parameters, but there is no $\exists\forall\exists$ or $\forall\exists\forall$-formula in $L_{\text{ring}}$…

Let k be an infinite field. Let R be the semi-local ring of a finite family of closed points on a k-smooth affine irreducible variety, let K be the fraction field of R, and let G be a reductive simple simply connected R-group scheme…

Let $V$ be a valuation ring of a global field $K$. We show that for all positive integers $k$ and $1 < n_1 \leq \ldots \leq n_k$ there exists an integer-valued polynomial on $V$, that is, an element of $\text{Int}(V) = \{ f \in K[X] \mid…

Let $G$ be a proper subgroup of $\mathbb{Q}$ and $S_G$ be the set of primes $p$ for which $G$ is $p$-divisible. We show that the model-theoretic Grothendieck ring of the ordered abelian group $(G;+,<)$ is a quotient of…

In this paper we investigate the question of when the determinantal ring $R$ over a field $k$ is an almost Gorenstein local/graded ring in the sense of Goto, Takahashi, and the author. As a consequence of the main result, we see that if $R$…

Let $G$ be a split semisimple linear algebraic group over a field and let $X$ be a generic twisted flag variety of $G$. Extending the Hilbert basis techniques to Laurent polynomials over integers we give an explicit presentation of the…

In this paper, we construct the Grothendieck ring of a class of 2$n^2$-dimension semisimple Hopf Algebras $H_{2n^2}$, which can be viewed as a generalization of the 8-dimension Kac-Paljutkin Hopf algebra $K_8$. All irreducible…

Let k be a field. Let K_0(V_k) denote the quotient of the free abelian group generated by the geometrically reduced varieties over k, modulo the relations of the form [X]=[X-Y]+[Y] whenever Y is a closed subvariety of X. Product of…

We introduce analogues of Soergel bimodules for complex reflection groups of rank one. We give an explicit parametrization of the indecomposable objects of the resulting category and give a presentation of its split Grothendieck ring by…

We propose a suitable substitute for the classical Grothendieck ring of an algebraically closed field, in which any quasi-projective scheme is represented, while maintaining its non-reduced structure. This yields a more subtle invariant,…

The subring of the Grothendieck ring of varieties generated by the graph hypersurfaces of quantum field theory maps to the monoid ring of stable birational equivalence classes of varieties. We show that the image of this map is the copy of…

We construct a Grothendieck-Witt space for any stable infinity category with duality. If we apply our construction to perfect complexes over a commutative ring in which 2 is invertible we recover the classical Grothendieck-Witt space. Our…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

Let K be a number field and let A be its ring of integers. Let G be a connected, noncommutative, absolutely almost simple algebraic K-group. If the K-rank of G equals 2, then G(A[t]) is not finitely presented.