Related papers: Canonical integral structures on the de Rham cohom…

We characterize two objects by universal property: the derived de Rham complex and Hochschild homology together with its Hochschild-Kostant-Rosenberg (HKR) filtration. This involves endowing these objects with extra structure, built on…

We look more closely at the higher nonabelian de Rham cohomology of a smooth projective variety or family of varieties that had been defined in some previous papers. We formalize using $n$-stacks the notion of shape underlying this…

We describe a graded extension of the usual Hecke algebra: it acts in a graded fashion on the cohomology of an arithmetic group $\Gamma$. Under favorable conditions, the cohomology is freely generated in a single degree over this graded…

We study Zariski-like topologies on a proper class $X\varsubsetneqq L$ of a complete lattice $\mathcal{L}=(L,\wedge ,\vee ,0,1)$. We consider $X$ with the so called classical Zariski topology $(X,\tau ^{cl})$ and study its topological…

Let $\mathcal{O}_K$ be a mixed characteristic complete discrete valuation ring with perfect residue field. We study $\mathbb{B}_\mathrm{dR}^+$-crystals on the (log-) prismatic site of $\mathcal{O}_K$, which are crystals defined over the de…

For a given Hilbert space $\mathcal H$, consider the space of self-adjoint projections $\mathcal P(\mathcal H)$. In this paper we study the differentiable structure of a canonical sphere bundle over $\mathcal P(\mathcal H)$ given by $$…

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 study completely integrable Hamiltonian systems whose monodromy matrices are related to the representatives for the set of gauge equivalence classes $\boldsymbol{\mathcal{M}}_F$ of polynomial matrices. Let $X$ be the algebraic curve…

The Hamiltonian shape invariant of a domain $X \subset \mathbb R^4$, as a subset of $\mathbb R^2$, describes the product Lagrangian tori which may be embedded in $X$. We provide necessary and sufficient conditions to determine whether or…

For an arithmetic surface X and a Weil divisor $D$, there are natural arithmetic cohomology groups $H_{\mathrm{ar}}^i(X, \mathcal O_X (D))$ $(i=0,1,2)$. Using ind-pro topology on adelic space $\mathbb A_{X, 012}^{\mathrm{ar}}$, we show that…

We provide conditions under which a modular function defined on a semilattice $X$ and with values in a commutative group is homomorphic to a modular function on a lattice $L$ for any embedding $X\hookrightarrow L$.

In this article, we provide a detailed account of a construction sketched by Kashiwara in an unpublished manuscript concerning generalized HKR isomorphisms for smooth analytic cycles whose conormal exact sequence splits. It enables us,…

A cohomology theory of root systems emerges naturally in the context of Automorphic Lie Algebras, where it helps formulating some structure theory questions. In particular, one can find concrete models for an Automorphic Lie Algebra by…

We study differential forms on an algebraic compactification of a moduli space of metric graphs. Canonical examples of such forms are obtained by pulling back invariant differentials along a tropical Torelli map. The invariant differential…

For a transitive Lie algebroid A on a connected manifold M and its a representation on a vector bundle F, we study the localization map Y^1: H^1(A,F)-> H^1(L_x,F_x), where L_x is the adjoint algebra at x in M. The main result in this paper…

The aim of this article is to study certain categorical-algebraic frameworks for basic homological algebra, introduced in arXiv:2404.15896, with the aim of better understanding the differences between them. We focus on homological…

Let $G$ be a compact connected Lie group and $K$ a closed connected subgroup. Assume that the order of any torsion element in the integral cohomology of $G$ and $K$ is invertible in a given principal ideal domain $k$. It is known that in…

In this article, we introduce the logarithmic de Rham stack of a pair (X, D), for a smooth variety X over a field k of positive characteristic p, and D a strict normal crossings divisor on X. Using this stack, we prove a new version of…

In this paper and its sequel we consider locally-free $\mathscr{O}_X$-modules together with a connection over a quasi-smooth Berkovich curve $X$. We obtain necessary and sufficient conditions for the finite dimensionality of their de Rham…

Let Map_T(K,X) denote the mapping space of continuous based functions between two based spaces K and X. If K is a fixed finite complex, Greg Arone has recently given an explicit model for the Goodwillie tower of the functor sending a space…