Related papers: Relative $A_{\rm inf}$-cohomology
We give a new construction of $(\varphi, \hat G)$-modules using the theory of prisms developed by Bhatt and Scholze. As an application, we give a new proof about the equivalence between the category of prismatic $F$-crystals in finite…
Partial quotients of moment-angle complexes are topological analogues of smooth, not necessarily compact toric varieties. In 1998, Buchstaber and Panov proposed a formula for the cohomology ring of such a partial quotient in terms of a…
We study the Belkale-Kumar family of cup products on the cohomology of a generalized flag variety. We give an alternative construction of the family using relative Lie algebra cohomology, and in particular, identify the Belkale-Kumar cup…
We calculate $\mathrm K_*(k[x]/x^e;\mathbf Z_p)$ by evaluating the syntomic cohomology $\mathbf Z_p(i)(k[x]/x^e)$ introduced by Bhatt-Morrow-Scholze and Bhatt-Scholze. This recovers calculations of Hesselholt-Madsen and Speirs, and…
We define a formal Gromov-Witten theory of the quintic 3-fold via localization on CP4. Our main result is a direct geometric proof of holomorphic anomaly equations for the formal quintic in precisely the same form as predicted by B-model…
In a previous paper, we constructed a category of (phi, Gamma)-modules associated to any adic space over Q_p with the property that the etale (phi, Gamma)-modules correspond to etale Q_p-local systems; these involve sheaves of period rings…
We study $T$-linear schemes, a class of objects that includes spherical and Schubert varieties. We provide a localization theorem for the equivariant Chow cohomology of these schemes that does not depend on resolution of singularities.…
Let $Y$ be a locally complete intersection over $\mathcal{O}_K$ containing a $p$-power root of unity $\zeta_p$. We classify the derived category of prismatic crystals on the absolute prismatic site of $Y$ by studying quasi-coherent…
We study algebraic K-theory, syntomic cohomology, and prismatic cohomology of Cartier smooth rings. As an application, we provide an alternative proof of Kelly-Morrow's generalization of the Geisser-Levine theorem computing $p$-adic…
We introduce and develop an analogous of the Auslander-Buchweitz approximation theory (see \cite{AB}) in the context of triangulated categories, by using a version of relative homology in this setting. We also prove several results…
We show that the twisted Bredon-Illman cohomology defined by Mukherjee-Mukherjee applied to compact Lie group action groupoids is Morita-invariant. This cohomology uses coefficient systems twisted over the discrete tom Dieck equivariant…
This is our second scope of the consideration on the corresponding topologization and the corresponding functional analytification. We will focus on the corresponding functorial and motivic constructions in our current consideration. We…
We establish a structure theorem on the arc space of a $k$-scheme of finite type. More precisely, we show that the arc space is locally for the pro-smooth toplogy a product of an infinite dimensional affine space and of a non-noetherian…
We construct an $A_{\infty}$-structure on the Ext-groups of hermitian holomorphic vector bundles on a compact complex manifold. We propose a generalization of the homological mirror conjecture due to Kontsevich. Namely, we conjecture that…
Norm-compatible families of cohomology classes for Shimura varieties, and other arithmetic symmetric spaces, play an important role in Iwasawa theory of automorphic forms. The aim of this note is to give a systematic approach to proving…
In this paper we introduce a special kind of relative (co)resolutions associated to a pair of classes of objects in an abelian category $\mathcal{C}.$ We will see that, by studying these relative (co)resolutions, we get a possible…
We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…
As an example of relative p-adic Hodge theory, we sketch the construction of the universal admissible filtration of an isocrystal (\phi$-module) over the completion of the maximal unramified extension of Q_p, together with the associated…
We construct and study the theory of relative quasimaps in genus zero, in the spirit of Gathmann. When $X$ is a smooth toric variety and $Y$ is a smooth very ample hypersurface in $X$, we produce a virtual class on the moduli space of…
We describe a refined Chow theory for log schemes extending the theory of b-Chow suggested Holmes Pixton and Schmidt based off of a definition of Shokurov. This produces a dimension graded family of Abelian groups supporting a push-forward…