Related papers: Relative $A_{\rm inf}$-cohomology
Let $(A, I)$ be a bounded prism, and $X$ be a smooth $p$-adic formal scheme over $\Spf(A/I)$. We consider the notion of crystals on Bhatt--Scholze's prismatic site $(X/A)_{\prism}$ of $X$ relative to $A$. We prove that if $X$ is proper over…
We state a conjecture relating de Rham cohomology of a smooth rigid analytic variety to its compactly supported pro-\'etale cohomology. We prove the conjecture in the cases where the variety is a Stein curve of dimension one or a Stein…
We initiate a systematic study of cohomology theories for partial groups, algebraic structures introduced by Chermak that generalize groups by allowing only partially defined products. Inspired by classical group cohomology, we develop two…
Quasiperiodic patterns described by polyhedral "atomic surfaces" and admitting matching rules are considered. It is shown that the cohomology ring of the continuous hull of such patterns is isomorphic to that of the complement of a torus…
We define the relative Dolbeault homology of a complex manifold with currents via a \v{C}ech approach and we prove its equivalence with the relative \v{C}ech-Dolbeault cohomology as defined in [T. Suwa, \v{C}ech-Dolbeault cohomology and the…
We consider a generalization of the axioms of a TQFT, so called half-projective TQFT's, with an anomaly, $x^{\mu}$, in the composition law. $\mu$ is a coboundary on the cobordism categories with non-negative, integer values. The element $x$…
We propose a new approach to crystalline cohomology based on the observation that one can lift smooth algebras uniquely "up to coherent homotopy."
We study relative Gromov-Witten theory via universal relations provided by the interaction of degeneration and localization. We find relative Gromov-Witten theory is completely determined by absolute Gromov-Witten theory. The relationship…
We calculate the action of the group of affine diffeomorphisms on the relative cohomology of square-tiled surfaces that are normal abelian covers of the flat pillowcase, and as an application, answer a question raised by Smillie and Weiss.
We present a description of the equivariant $K$-theory of a smooth projective spherical variety. This provides an integral $K$-theory version of Brion's calculation of equivariant Chow-cohomology of such varieties. We consider the…
We construct an $A_\infty$-structure on the two-sided bar construction involving homotopy Gerstenhaber algebras (hgas). It extends the non-associative product defined by Carlson and the author and generalizes the dga structure on the…
We prove an unstable version of Morel's $\mathbb{A}^1$-connectivity theorem over arbitrary base schemes. In the stable setting, this recovers (and simplifies the proof of) the known connectivity bounds due to Morel, Schmidt--Strunk,…
We study a condensed version of the \'etale homotopy type of a scheme, which refines both the usual \'etale homotopy type of Friedlander-Artin-Mazur and the pro\'etale fundamental group of Bhatt-Scholze. In the first part of this paper, we…
We define an integral Borel-Moore homology theory over finite fields, called arithmetic homology, and an integral version of Kato homology. Both types of groups are expected to be finitely generated, and sit in a long exact sequence with…
The relative Dolbeault cohomology which naturally comes up in the theory of Cech-Dolbeault cohomology turns out to be canonically isomorphic with the local (relative) cohomology of A. Grothendieck and M. Sato so that it provides a handy way…
The operation of tensor product of Cohomological Field Theories (or algebras over genus zero moduli operad) introduced in an earlier paper by the authors is described in full detail, and the proof of a theorem on additive relations between…
We determine the A(1)-homotopy of the topological cyclic homology of the connective real K-theory spectrum ko. The answer has an associated graded that is a free F_2[v_2^4]-module of rank 52, on explicit generators in stems -1 \le * \le 30.…
We refine several results of Bhatt-Morrow-Scholze on THH to THR. In particular, we compute THR of perfectoid rings. This will be useful for establishing motivic filtrations on real topological Hochschild and cyclic homology of quasisyntomic…
Commutative K-theory, a cohomology theory built from spaces of commuting matrices, has been explored in recent work of Adem, G\'{o}mez, Gritschacher, Lind, and Tillman. In this article, we use unstable methods to construct explicit…
We consider a fibration with compact fiber together with a unitarily flat complex vector bundle over the total space. Under the assumption that the fiberwise cohomology admits a filtration with unitary factors, we construct Bismut-Lott…