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

It is well known that the Grauert-Riemenschneider canonical sheaf $\mathcal{K}_X$ of holomorphic square-integrable $n$-forms is a central tool in $L^2$-theory for the $\overline\partial$-operator on a singular complex space $X$ of pure…

We prove an analogue of the de Rham theorem for the extended L^2-cohomology introduced by M. Farber. This is done by establishing that the de Rham complex over a compact closed manifold with coefficients in a flat Hilbert bundle E of…

Interpreting the chiral de Rham complex (CDR) as a formal Hamiltonian quantization of the supersymmetric non-linear sigma model, we suggest a setup for the study of CDR on manifolds with special holonomy. We show how to systematically…

We prove that algebraic de Rham cohomology as a functor defined on smooth $\mathbb{F}_p$-algebras is formally \'etale in a precise sense. This result shows that given de Rham cohomology, one automatically obtains the theory of crystalline…

Given a smooth projective variety $X$ over a field $k$ of characteristic zero, we consider the composition of the de Rham cohomology cycle class map over $k$ from the Chow group $CH^q(X\times_kK)$, where $K$ is the field of fractions of…

We give a new proof of the absence of non-trivial idempotents in the group ring of torsion-free cocompact lattices in SL(n,C). It is based on the following procedure. We lift the class of the trace in the cyclic cohomology of the group ring…

Prescribed rational functions constitute a subset of rational functions satisfying certain symmetry and analyticity conditions. We define and construct explicitly prescribed rational functions-valued bundle $\mathcal{W}_M$ over a smooth…

We study de Rham character sheaves on a commutative connected algebraic group $G$, defined as multiplicative line bundles with integrable connection. We construct a group algebraic space $G^\flat$ representing their moduli problem on…

Let X be a smooth complex projective variety of dimension n equipped with a very ample Hermitian line bundle L. In the first part of the paper, we show that if there exists a toric degeneration of X satisfying some natural hypotheses (which…

We construct the $\Lambda$-adic de Rham analogue of Hida's ordinary $\Lambda$-adic \'etale cohomology and of Ohta's $\Lambda$-adic Hodge cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic…

A classical result of A. Connes asserts that the Frechet algebra of smooth functions on a smooth compact manifold X provides, by a purely algebraic procedure, the de Rham cohomology of X. Namely the procedure uses Hochschild and cyclic…

We study the category of holonomic $\mathscr{D}_{X}$-modules for a quasi-compact, quasi-separated, smooth rigid analytic variety $X$ over the field $\mathbb{C}(\!(t)\!)$. In particular, we prove finiteness of the de Rham cohomology for such…

We define the logarithmic tautological rings of the moduli spaces of Deligne-Mumford stable curves (together with a set of additive generators lifting the decorated strata classes of the standard tautological rings). While these algebras…

Let $X$ be a smooth $p$-adic Stein space with free tangent sheaf. We use the notion of Hochschild cohomology for sheaves of Ind-Banach algebras developed in our previous work to study the Hochschild cohomology of the algebra of infinite…

We provide the Cartan calculus for bicovariant differential forms on bicrossproduct quantum groups $k(M)\lrbicross kG$ associated to finite group factorizations $X=GM$ and a field $k$. The irreducible calculi are associated to certain…

On a threefold with trivial canonical bundle, Kuranishi theory gives an algebro-geometry construction of the (local analytic) Hilbert scheme of curves at a smooth holomorphic curve as a gradient scheme, that is, the zero-scheme of the…

Let \pi : X -> S be a finite type morphism of noetherian schemes. A smooth formal embedding of X (over S) is a bijective closed immersion X -> \frak{X}, where \frak{X} is a noetherian formal scheme, formally smooth over S. An example of…

Given two vector bundles E and F on a variety X and a morphism from Sym^2(E) to F, we compute the cohomology class of the locus in X where the kernel of this morphism contains a quadric of prescribed rank. Our formulas have many…

For a locally nilpotent integrable connection on a proper (strict) semistable family over a small polydisc with a relative horizontal simple normal crossing divisor, we construct a canonical section in derived categories inducing an…

We discuss the canonical structure of a class of integrable quantum mappings, i.e. iterative canonical transformations that can be interpreted as a discrete dynamical system. As particular examples we consider quantum mappings associated…