Related papers: The algebraic de Rham theorem for toric varieties

We complete the details of a theory outlined by Kontsevich and Soibelman that associates to a semi-algebraic set a certain graded commutative differential algebra of "semi-algebraic differential forms" in a functorial way. This algebra…

We provide a new formalism of de Rham--Witt complexes in the logarithmic setting. This construction generalizes a result of Bhatt--Lurie--Mathew, and agrees with those of Hyodo--Kato and Matsuue for log-smooth schemes of log-Cartier type.…

We prove a Simons-type holonomy theorem for totally skew 1-forms with values in a Lie algebra of linear isometries. The only transitive case, for this theorem, is the full orthogonal group. We only use geometric methods and we do not use…

In the paper: Fans in the Theory of Real Semigroups. I. Algebraic Theory (submitted) we introduced the notion of fan in the categories of real semigoups and their dual abstract real spectra and developed the algebraic theory of these…

Let $\Pi$ be the fundamental group of a smooth variety X over $F_p$. Given a non-Archimedean place $\lambda$ of the field of algebraic numbers which is prime to p, consider the $\lambda$-adic pro-semisimple completion of $\Pi$ as an object…

Long ago, Fontaine formulated conjectures (now theorems) relating \'etale and de Rham cohomologies of algebraic varieties over $p$-adic fields. In an earlier work we have shown that pro-\'etale and de Rham cohomologies of analytic varieties…

We construct an explicit de Rham isomorphism relating the cohomology rings of Banagl's de Rham and spatial approach to intersection space cohomology for stratified pseudomanifolds with isolated singularities. Intersection space…

We construct a monomorphism of the De Rham complex of scalar multivalued meromorphic forms on the projective line, holomorphic on the complement to a finite set of points, to the chain complex of the Lie algebra of $sl_2$-valued algebraic…

In this paper, we establish Deligne's logarithmic comparison theorem and the $E_1$-degeneration of the corresponding Hodge-de Rham spectral sequence, in the setting of toroidal embeddings. Along the way, we prove Kawamata-Viehweg Vanishing…

Real toric manifolds are the real loci of nonsingular complete toric varieties. In this paper, we calculate the integral cohomology groups of real toric manifolds in terms of the combinatorial data contained in the underlying simplicial…

We prove transverse Weitzenb\"ock identities for the horizontal Laplacians of a totally geodesic foliation. As a consequence, we obtain nullity theorems for the de Rham cohomology assuming only the positivity of curvature quantities…

In this work we prove that, for a general polyhedral domain of $\mathbb{R}^3$, the cohomology spaces of the discrete de Rham complex of [Di Pietro and Droniou, An arbitrary-order discrete de Rham complex on polyhedral meshes: Exactness,…

In the previous paper, we describe the intersection complexes of a toric variety as a finite complex of graded exterior modules on the associated fan. In this second part, we rewrite it explicitly by the barycentric subdivision of the fan.…

We develop an explicit algebriac de Rham theory for relative completion of $\mathrm{SL}_2(\mathbb{Z})$. This allows the construction of iterated integrals involving modular forms of the second kind, generalizing iterated integrals of…

In this paper, we prove that there exists an equivalence between 2-category of smooth Deligne-Mumford stacks with torus-embeddings and actions, and the 1-category of stacky fans. For this purpose, we obtain two main results. The first is to…

We write down a new "logarithmic" quasicoherent category $\operatorname{Qcoh}_{log}(U, X, D)$ attached to a smooth open algebraic variety $U$ with toroidal compactification $X$ and boundary divisor $D$. This is a (large) symmetric monoidal…

We use a version of the method of Deligne-Illusie to prove that the Hodge-to-de Rham, a.k.a. Hochschild-to-cyclic spectral sequence degenerates for a large class of associative, not necessariyl commutative DG algebras. This proves, under…

Let $X=\C^n$. In this paper we present an algorithm that computes the de Rham cohomology groups $H^i_{dR}(U,\C)$ where $U$ is the complement of an arbitrary Zariski-closed set $Y$ in $X$. Our algorithm is a merger of the algorithm given by…

To initiate a systematic study on the applications of perfectoid methods to Noetherian rings, we introduce the notions of perfectoid towers and their tilts. We mainly show that the tilting operation preserves several homological invariants…

Lazard showed in his seminal work "Groupes analytiques $p$-adiques" that for rational coefficients continuous group cohomology of $p$-adic Lie-groups is isomorphic to Lie-algebra cohomology. We refine this result in two directions: firstly…