Related papers: Logarithmic De Rham, Infinitesimal and Betti Cohom…
This paper gives a foundation of log smooth deformation theory. We study the infinitesimal liftings of log smooth morphisms and show that the log smooth deformation functor has a representable hull. This deformation theory gives, for…
The purpose of this paper is to study deformation theory of Hom-associative algebra morphisms and Hom-Lie algebra morphisms. We introduce a suitable cohomology and discuss Infinitesimal deformations, equivalent deformations and…
We investigate $p$-adic cohomologies of log rigid analytic varieties over a $p$-adic field. For a log rigid analytic variety $X$ defined over a discretely valued field, we compute the Kummer pro-\'etale cohomology of…
The theory of relative logarithmic jet spaces is developed for log schemes. With this theory the existence of bounds of intersection multiplicities of curves and divisors on certain log schemes is established. This result extends those of…
Let $H$ be a dense subgroup of a Lie group $G$ with Lie algebra $\mathfrak g$. We show that the (diffeological) de Rham cohomology of $G/H$ equals the Lie algebra cohomology of $\mathfrak g/\mathfrak h$, where $\mathfrak h$ is the ideal…
In this paper we study topics related to one of Kato-Nakayama's comparison theorems using analytic log etale topoi.
Given a map $f: X\rightarrow Y$ of simply connected spaces of finite type such. The space of based loops at $f$ of the space of maps between $X$ and $Y$ is denoted by $\Omega_{f} Map(X,Y)$. For $n> 0$, we give a model categorical…
For a smooth and proper curve X over the fraction field K of a discrete valuation ring R, we explain (under very mild hypotheses) how to equip the de Rham cohomology H^1_{dR}(X/K) with a canonical integral structure: i.e. an R-lattice which…
By studying cohomology classes that are related with $n$-harmonic morphisms and $F$-harmonic maps, we augment and extend several results on $F$-harmonic maps, harmonic maps in [1, 3, 14], $p$-harmonic morphisms in [17], and also revisit our…
We study how relative quantum cohomology, defined by Tseng--You and Fan--Wu--You, varies under birational transformations. For toric complete intersections with simple normal crossings divisors that contain the loci of indeterminacy, we…
We consider a simple and natural coboundary operator, on the Lie algebra valued differential forms on a manifold, which in the abelian case reduces to usual exterior derivative of such forms. Using the corresponding de Rham cohomology Lie…
Log-Riemann surfaces of finite type are Riemann surfaces with finitely generated fundamental group equipped with a local diffeomorphism to C such that the surface has finitely many infinite order ramification points. We define and prove…
Let $\pi\colon Y\to X$ denote the canonical resolution of the two dimensional Kleinian singularity $X$ of type ADE. In the present paper, we establish isomorphisms between the cohomological and K-theoretical Hall algebras of…
De Rham cohomology, $d_V$- and $d_H$-cohomology of the differential algebra of locally pull-back exterior forms on the infinite-order jet manifold of a smooth fibre bundle are calculated.
Let X be a smooth variety over a field of positive characteristic, and let E be an overconvergent isocrystal on X. We establish a criterion for the existence of a "canonical logarithmic extension" of E to a good compactification of X. In…
The goal of this paper is to present results which are consistent with conjectures about the Leibniz (co)homology for discrete groups stated by J. L. Loday. We show that rack cohomology has properties very close to the properties expected…
Let L be a p-adic local field and g a finite dimensional Lie algebra over L. We show that its hyperenveloping algebra F(g) is a stably flat completion of its universal enveloping algebra. As a consequence the relative cohomology for the…
We introduce a theory of motivic cohomology for quasi-compact quasi-separated schemes, which generalises the construction of Elmanto--Morrow in the case of schemes over a field. Our construction is non-$\mathbb{A}^1$-invariant in general,…
The Eichler-Shimura isomorphism describes a certain cohomology group with coefficients in a space of polynomials by using holomorphic modular/cusp forms. It determines a canonical decomposition of the corresponding de Rham cohomology group…
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,…