Related papers: Grothendieck ring of the pairing function without …
For all integers $k$ with $k\geq 2$, if $G$ is a balanced $k$-partite graph on $n\geq 3$ vertices with minimum degree at least \[…
A generic method to construct zero-difference functions (ZDFs) on algebraic rings is proposed in this paper. Then this method is used over some rings $\mathbb{Z}_{p^k}$, where $p$ is a prime number and $k\ge 2$ is a positive integer, and…
Let $(M,g)$ be a simple Riemannian manifold. Under the assumption that the metric $g$ is real-analytic, it is shown that if the geodesic ray transform of a function $f\in L^{2}(M)$ vanishes on an appropriate open set of geodesics, then…
We consider cohomology of small categories with coefficients in a natural system in the sense of Baues and Wirsching. For any funtor L: K -> CAT, we construct a spectral sequence abutting to the cohomology of the Grothendieck construction…
Let $k$ be an algebraically closed field of characteristic $p>0$, $W$ the ring of Witt vectors over $k$ and ${R}$ the integral closure of $W$ in the algebraic closure ${\bar{K}}$ of $K:=Frac(W)$; let moreover $X$ be a smooth, connected and…
Let $\mathscr{P}_{m}$ be the graph on the set of perfect matchings in the complete graph $K_{2m}$, where two perfect matchings are connected by an edge if their symmetric difference is a cycle of length four. This paper studies geodesics in…
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.
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…
Let $\operatorname{K}_0(\operatorname{Var}_k)$ denote the Grothendieck ring of $k$-varieties over an algebraically closed field $k$. Larsen and Lunts asked if two $k$-varieties having the same class in $\operatorname{K}_0…
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…
We study the images of polynomial maps over algebraically closed division rings. Our first result generalizes the classical Ax-Grothendieck theorem: We show that if $ f_1, \ldots, f_m $ are elements of the free associative algebra $…
We study the ring of polyfunctions over $\mathbb Z/n\mathbb Z$. The ring of polyfunctions over a commutative ring $R$ with unit element is the ring of functions $f:R\to R$ which admit a polynomial representative $p\in R[x]$ in the sense…
In this note, we compute the split Grothendieck ring of a generalized category of Soergel bimodules of type $A_2$, where we take one generator for each reflection. We give a presentation by generators and relations of it and a…
Given an exceptional simple complex algebraic group G and a symmetric pair (G, K), we study the spherical nilpotent K-orbit closures in the isotropy representation of K. We show that they are all normal except in one case in type G2, and…
We investigate properties of a multivariate function $E(m_1,m_2,...,m_r)$, called {\it orbicyclic}, that arises in enumerative combinatorics in counting non-isomorphic maps on orientable surfaces. $E(m_1,m_2,...,m_r)$ proves to be…
Let $R$ be a ring with Gwgldim$(R)<\infty$. We obtain a triangle-equivalence $\mathrm{K}(R\text{-}\mathrm{GProj})\simeq \mathrm{K}(R\text{-}\mathrm{GInj})$ which restricts to a triangle-equivalence $\mathrm{K}(R\text{-}\mathrm{Proj})$…
A homogeneous Riemannian manifold $(M=G/K, g)$ is called a space with homogeneous geodesics or a $G$-g.o. space if every geodesic $\gamma (t)$ of $M$ is an orbit of a one-parameter subgroup of $G$, that is $\gamma(t) = \exp(tX)\cdot o$, for…
Let $G$ be a finite group and $C_2$ the cyclic group of order 2. Consider the 8 multiplicative operations $(x,y)\mapsto (x^iy^j)^k$, where $i$, $j$, $k\in\{-1, 1\}$. Define a new multiplication on $G\times C_2$ by assigning one of the above…
Sivaraman conjectured that if $G$ is a graph with no induced even cycle then there exist sets $X_1, X_2 \subseteq V(G)$ satisfying $V(G) = X_1 \cup X_2$ such that the induced graphs $G[X_1]$ and $G[X_2]$ are both chordal. We prove this…
Regarding polynomial functions on a subset $S$ of a non-commutative ring $R$, that is, functions induced by polynomials in $R[x]$ (whose variable commutes with the coefficients), we show connections between, on one hand, sets $S$ such that…