Related papers: Definable combinatorics with dense linear orders

The model-theoretic Grothendieck ring of a first order structure, as defined by Krajic\v{e}k and Scanlon, captures some combinatorial properties of the definable subsets of finite powers of the structure. In this paper we compute the…

In this paper, we construct a local ring $A$ such that the kernel of the map $G_0(A)\subq \to G_0(\hat{A})\subq$ is not zero, where $\hat{A}$ is the comletion of $A$ with respect to the maximal ideal, and $G_0()\subq$ is the Grothendieck…

Let K 0 (Fp GLn(Fp)-proj) denote the Grothendieck group of finitely generated pro-jective Fp GLn(Fp)-modules. We show that the algebra C $\otimes$ n$\ge$0 K 0 (Fp GLn(Fp)-proj) with multiplication given by induction functors, is a…

Let $\Bbbk$ be an algebraically closed field of characteristic $0$. In this paper, we study the Grothendieck ring $G_0(D(H_\mathcal{D}))$ and the projective class ring $r_p(D(H_\mathcal{D}))$ of the Drinfeld double $D(H_{\mathcal{D}})$ of…

We consider the model-theoretic Grothendieck ring of definable sets in ordered abelian groups. It is well-known that $\mathrm{K} \mathbb{Q} \cong \mathbb{Z}[T]/(T^2 + T)$ and $\mathrm{K} \mathbb{Z} =0$, but surprisingly little is known…

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

Motivated by Kraji\v{c}ek and Scanlon's definition of the Grothendieck ring $K_0(M)$ of a first-order structure $M$, we introduce the definition of $K$-groups $K_n(M)$ for $n\geq0$ via Quillen's $S^{-1}S$ construction. We provide a recipe…

We construct, for every integer $N\in\mathbb{N}^*$, a structure whose Grothendieck ring is isomorphic to $(\mathbb{Z}/N\mathbb{Z})[X]$, thus proving the existence of structures with a non-zero Grothendieck ring with non-zero characteristic.…

We prove the triviality of the Grothendieck ring of a integer-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K^2 to itself minus a point. When we specialize to…

Let p be a prime and q=p^g. We show that the Grothendieck ring of finitely generated F_{q}[SL(2,F_{q})]-modules is naturally isomorphic to the quotient of the polynomial algebra Z[x] by the ideal generated by f^[g](x)-x, where…

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…

We consider the Grothendieck ring of the fusion algebra of the W-extended logarithmic minimal model WLM(1,p). Informally, this is the fusion ring of W-irreducible characters so it is blind to the Jordan block structures associated with…

This paper is motivated by the quest of a non-group irreducible finite index depth 2 maximal subfactor. We compute the generic fusion rules of the Grothendieck ring of Rep(PSL(2,q)), q prime-power, by applying a Verlinde-like formula on the…

We define and construct a quantum Grothendieck ring for a certain monoidal subcategory of the category $\mathcal{O}$ of representations of the quantum loop algebra introduced by Hernandez-Jimbo. We use the cluster algebra structure of the…

We study systems of polynomial equations in several classes of finitely generated rings and algebras. For each ring $R$ (or algebra) in one of these classes we obtain an interpretation by systems of equations of a ring of integers $O$ of a…

Using Hernandez-Leclerc's isomorphism between the derived Hall algebra of a representation-finite quiver $Q$ and the quantum Grothendieck ring of the quantum loop algebra of the Dynkin type of $Q$, we lift the (quantum) cluster algebra…

Suppose $G$ is a finite group acting on a projective scheme $X$ over a commutative Noetherian ring $R$. We study the $RG$-modules $\HH^0(X,\mathcal{F} \otimes \mathcal{L}^n)$ when $n \ge 0$, and $\mathcal{F}$ and $\mathcal{L}$ are coherent…

Let $p$ be a prime number, $K$ a finite extension of $\mathbb{Q}_p$ and $n$ an integer $\geq 2$. We completely and explicitly describe the global sections $\Omega^\bullet$ of the de Rham complex of the Drinfeld space over $K$ in dimension…

In this paper, we calculate the differential $d^1$ of the rank spectral sequence. We generalize Quillen's spectral sequence from Dedekind domain to general integral Noetherian ring $A$ by considering the Q-construction $Q^{tf}(A)$ of the…

Let $W$ be a finite Coxeter group with Coxeter generating set $S=\{s_1,\ldots,s_n\}$, and $\rho$ be a complex finite dimensional representation of $W$. The characteristic polynomial of $\rho$ is defined as \begin{equation*}…