Related papers: Sheaves and $K$-theory for $\mathbb{F}_1$-schemes

We give a fully faithful integral model for spaces in terms of $\mathbb{E}_{\infty}$-ring spectra and the Nikolaus-Scholze Frobenius. The key technical input is the development of a homotopy coherent Frobenius action on a certain…

We apply the machinery developed by the first-named author to the K-theory of coherent G-sheaves on a finite type G-scheme X over a field, where G is a finite group. This leads to a definition of G-equivariant higher Chow groups (different…

The present work is the author's doctoral thesis, written during his studies at the University of Bonn. Its goal is to establish the foundations of $K$-theory in the context of adic geometry using the formalism of condensed mathematics and…

Principal affine open subsets in affine schemes are an important tool in the foundations of algebraic geometry. Given a commutative ring $R$, $\,R$-modules built from the rings of functions on principal affine open subschemes in…

We show that Hilbert schemes of planar curve singularities and their parabolic variants can be interpreted as certain generalized affine Springer fibers for $GL_n$, as defined by Goresky-Kottwitz-MacPherson. Using a generalization of affine…

We use techniques from relative algebraic geometry and homotopical algebraic geometry in order to construct several categories of schemes defined "under Spec Z". We define this way the categories of N-schemes, F_1-schemes, S-schemes,…

We provide a geometric interpretation for the connecting homomorphism in the localization sequence of Hermitian $K$-theory. As an application, we compute the Hermitian $K$-theory of projective bundles and Grassmannians in the regular case.…

For a local non-Archimedean field $K$ we construct ${\rm GL}_{d+1}(K)$-equivariant coherent sheaves ${\mathcal V}_{{\mathcal O}_K}$ on the formal ${\mathcal O}_K$-scheme ${\mathfrak X}$ underlying the symmetric space $X$ over $K$ of…

We construct Grothendieck topologies on the path category of a finite graph, examining both coarse and discrete cases that offer different perspectives on quiver representations. The coarse topology declares each vertex covered by all…

Let $F$ be a non-archimedean local field with residue field $\mathbb{F}_q$ and let $G = GL_{2/F}$. Let $\mathbf{q}$ be an indeterminate and let $H^{(1)}(\mathbf{q})$ be the generic pro-p Iwahori-Hecke algebra of the group $G(F)$. Let…

Moerdijk's site description for equivariant sheaf toposes on open topological groupoids is used to give a proof for the (known, but apparently unpublished) proposition that if H is a strictly full subgroupoid of an open topological groupoid…

We study the geometry of the Quot scheme $\mathrm{Quot}^l_{S}(\mathcal{E})$ of length $l$ coherent sheaf quotients of a locally free sheaf $\mathcal{E}$ on a smooth projective surface $\mathrm{S}$. In particular, we investigate the nature…

In this paper we consider the K-theory of smooth algebraic stacks, establish lambda and gamma operations, and show that the higher K-theory of such stacks is always a pre-lambda-ring, and is a lambda-ring if every coherent sheaf is the…

k-Contact geometry is a generalisation of contact geometry to analyse field theories. We develop an approach to k-contact geometry based on distributions that are distributionally maximally non-integrable and admit, locally, k commuting…

Skew-monoidal categories arise when the associator and the left and right units of a monoidal category are, in a specific way, not invertible. We prove that the closed skew-monoidal structures on the category of right R-modules are…

Every action of a finite group scheme $G$ on a variety admits a projective equivariant model, but not necessarily a normal one. As a remedy, we introduce and explore the notion of $G$-normalization. In particular, every curve equipped with…

We generalize the $F_K$ invariant, i.e. $\widehat{Z}$ for the complement of a knot $K$ in the 3-sphere, the knots-quivers correspondence, and $A$-polynomials of knots, and find several interconnections between them. We associate an $F_K$…

We construct a sheaf-theoretic representation of quantum observables algebras over a base category equipped with a Grothendieck topology, consisting of epimorphic families of commutative observables algebras, playing the role of local…

This is a survey article with the goal to advertise spectrum valued versions of $K$- and $KK$- theory for $C^{*}$-algebras via a (stable and symmetric monoidal) $\infty$-categorical enhancement of Kasparov's classical $KK$-theory. The main…

The initial motivation of this work was to give a topological interpretation of two-periodic twisted de-Rham cohomology which is generalizable to arbitrary coefficients. To this end we develop a sheaf theory in the context of locally…