Related papers: The Projective Bundle Formula for Grothendieck-Wit…

Let $X$ be a non-singular quasi-projective variety over a field, and let $\mathcal E$ be a vector bundle over $X$. Let $\mathbb G_X({d}, \mathcal E)$ be the Grassmann bundle of $\mathcal E$ over $X$ parametrizing corank $d$ subbundles of…

The theme of this paper is to compute hermitian $K$-groups in terms of the recently developed theory of Milnor-Witt motivic cohomology. Our approach makes use of the very effective slice spectral sequence within the motivic stable homotopy…

Let $G$ be a connected reductive algebraic group. Let $\mathcal{E}\rightarrow \mathcal{B}$ be a principal $G\times G$-bundle and $X$ be a regular compactification of $G$. We describe the Grothendieck ring of the associated fibre bundle…

We prove an analog of the Verlinde formula on the moduli space of semistable meromorphic G-Higgs bundles over a smooth curve for a reductive group G whose fundamental group is free. The formula expresses the graded dimension of the space of…

We prove an equivariant analogue of Grothendieck's theorem for vector bundles on the one dimensional projective space over complex numbers.

Let $X = \bigcup_k X_k$ be the ind-Grassmannian of codimension $n$ subspaces of an infinite-dimensional torus representation. If $\cE$ is a bundle on $X$, we expect that $\sum_j (-1)^j \Lambda^j(\cE)$ represents the $K$-theoretic…

This note contains another proof of Grothendieck`s theorem on the splitting of vector bundles on the projective line over a field $k$. Actually the proof is formulated entirely in the classical terms of a lattice $\Lambda \cong k[T]^d$,…

In this paper, we study the K-theory on higher modules in spectral algebraic geometry. We relate the K-theory of an $\infty$-category of finitely generated projective modules on certain $\mathbb{E}_{\infty}$-rings with the K-theory of an…

We exhibit a canonical equivalence between the hermitian $K$-theory (alias Grothendieck-Witt) spectrum of an exact form category and that of its derived Poincar\'e $\infty$-category, with no assumptions on the invertibility of $2$. Along…

In this paper, we continue to adapt the theories of spectra and schemes developed by Grothendieck in algebraic geometry to the category of groups. Let $G$ be a group, and $(H,f_G^H)$ and object of the comma category $C(G)$. In [5], we have…

It is well-known that the coset spaces G(k((z)))/G(k[[z]]), for a reductive group G over a field k, carry the geometric structure of an inductive limit of projective k-schemes. This k-ind-scheme is known as the affine Grassmannian for G.…

We prove that the Gromov--Witten theory (GWT) of a projective bundle can be determined by the Chern classes and the GWT of the base. It completely answers a question raised in a previous paper (arXiv:1607.00740). Its consequences include…

For any commutative finite flat group scheme, Grothendieck constructed an embedding into some smooth group scheme. This embedding is called the Grothendieck resolution. Let $p$ be a prime number and $n$ a positive integer. In connection…

Let $X$ be any smooth simply connected projective surface. We consider some moduli space of pure sheaves of dimension one on $X$, i.e. $\mhu$ with $u=(0,L,\chi(u)=0)$ and $L$ an effective line bundle on $X$, together with a series of…

Let $X$ be a smooth complex projective algebraic variety. Let $\mathcal{G}$ be a $G$-banded gerbe with $G$ a finite abelian group. We prove an exact formula expressing genus $g$ orbifold Gromov-Witten invariants of $\mathcal{G}$ in terms of…

We present a conjecture in Diophantine geometry concerning the construction of line bundles over smooth projective varieties over $\bar{\mathbb Q}}$. This conjecture, closely related to the Grothendieck Period Conjecture for cycles of…

The purpose of this note is to extend some classical results on quasi-projective schemes to the setting of derived algebraic geometry. Namely, we want to show that any vector bundle on a derived scheme admitting an ample line bundle can be…

The space of subvarieties of P^n with a fixed Hilbert polynomial is not complete. Grothendieck defined a completion by relaxing "variety" to "scheme", giving the complete_Hilbert scheme_ of subschemes of P^n with fixed Hilbert polynomial.…

We define a Grothendieck ring of pairs of complex quasi-projective varieties (that is a variety and a subvariety). We describe $\lambda$-structures and a power structure on/over this ring. We show that the conjectual symmetric power of the…

We prove structural theorems for computing the completion of a G-spectrum at the augmentation ideal of the Burnside ring of a finite group G. First we show that a G-spectrum can be replaced by a spectrum obtained by allowing only isotropy…