Related papers: The forgetful map in rational K-theory
Let k be any field. J-P. Serre proved that the spectrum of the Grothendieck ring of the k-representation category of a group is connected, and that the same holds in characteristic zero for the representation category of a Lie algebra over…
Let $K$ be a field of characteristic $0$ and let $G$ and $H$ be connected commutative algebraic groups over $K$. Let $\text{Mor}_0(G,H)$ denote the set of morphisms of algebraic varieties $G \to H$ that map the neutral element to the…
In this article we describe the $\tG\times \tG$-equivariant $K$-ring of $X$, where $\tG$ is a {\it factorial} cover of a connected complex reductive algebraic group $G$, and $X$ is a regular compactification of $G$. Furthermore, using the…
We study fundamental groups of projective varieties with normal crossing singularities and of germs of complex singularities. We prove that for every finitely-presented group G there is a complex projective surface S with simple normal…
Let $G$ be a compact, connected, and simply-connected Lie group, equipped with an anti-involution $a_G$ which is the composition of a Lie group involutive automorphism $\sigma_G$ and the group inversion. We view $(G, a_G)$ as a Real $(G,…
The purpose of this paper is to prove an equivariant Riemann-Roch theorem for schemes or algebraic spaces with an action of a linear algebraic group $G$. For a $G$-space $X$, this theorem gives an isomorphism between a completion of the…
Given a minimal set of generators $\bold{x}$ of an ideal $I$ of height d in a regular local ring ($R, m, k$) we prove several cases for which the map $K_d(\bold{x}; R) \otimes k \to \Tor_d^R (R/I, k)$ is the 0-map. As a consequence of the…
Let $E$ be a number field and $X$ a smooth geometrically connected variety defined over a characteristic $p$ finite field. Given an $n$-dimensional pure $E$-compatible system of semisimple $\lambda$-adic representations of the \'etale…
We resolve the Grothendieck-Serre question over an arbitrary base field $k$: for a smooth $k$-group scheme $G$ and a smooth $k$-variety $X$, we show that every generically trivial $G$-torsor over $X$ trivializes Zariski semilocally on $X$.…
The aim of this paper is to study the group of isomorphism classes of torsors of finite flat group schemes of rank 2 over a commutative ring $R$. This, in particular, generalises the group of quadratic algebras (free or projective), which…
The Graded Classification Conjecture (GCC) states that the pointed $K_0^{\operatorname{gr}}$-group is a complete invariant of the Leavitt path algebras of finite graphs when these algebras are considered with their natural grading by…
Suppose that $X$ and $Y$ are surfaces of finite topological type, where $X$ has genus $g\geq 6$ and $Y$ has genus at most $2g-1$; in addition, suppose that $Y$ is not closed if it has genus $2g-1$. Our main result asserts that every…
A virtual endomorphism of a group G is a homomorphism f from H into G where H is a subgroup of G of finite index m. The triple (G,H,f) produces a state-closed (or, self-similar) representation t of G on the 1-rooted m-ary tree. This paper…
Let G be an infinitesimal group scheme of finite height r and V(G) the scheme which represents 1-parameter subgroups of G. We consider sheaves over the projectivization P(G) of V(G) constructed from a G-module M. We show that if P(G) is…
As the first main result of this article, we prove that if $e$ and $e'$ are idempotents of a commutative ring $A$, then there is a canonical isomorphism of $A$-modules: $$Ae\oplus Ae'\simeq Ae/Ae(1-e')\oplus Ae'/Ae'(1-e)\oplus…
We compute the equivariant K-theory with integer coefficients of an equivariantly formal isotropy action, subject to natural hypotheses which cover the three major classes of known examples. The proof proceeds by constructing a map of…
The \emph{power graph} $P(G)$ of a group $G$ is the graph whose vertex set is $G$, with $x$ and $y$ joined if one is a power of the other; the \emph{directed power graph} $\vec{P}(G)$ has the same vertex set, with an arc from $x$ to $y$ if…
A new invariant of Poisson manifolds, a Poisson K-ring, is introduced. Hypothetically, this invariant is more tractable than such invariants as Poisson (co)homology. A version of this invariant is also defined for arbitrary algebroids.…
Let $R$ be a Cohen-Macaulay local ring of dimension one with a canonical module $\rm{K_R}$. Let $I$ be a faithful ideal of $R$. We explore the problem of when $I \otimes_RI^{\vee}$ is torsionfree, where $I^{\vee} = \operatorname{Hom_R(I,…
For a Gorenstein curve X and a nonsingular point P of X, we construct Abel maps A from X to J_X^1 and A_P from X to J_X^0, where J_X^i is the moduli scheme for simple, torsion-free, rank-1 sheaves on X of degree i. The image curves of A and…