A note on smooth forms on analytic spaces
We prove that any smooth mapping between reduced analytic spaces induces a natural pullback operation on smooth differential forms.
Discover
Research tools
Network
Opportunities
Account
Source author record
Håkan Samuelsson Kalm appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove that any smooth mapping between reduced analytic spaces induces a natural pullback operation on smooth differential forms.
For a reduced pure dimensional complex space $X$, we show that if Barlet's recently introduced sheaf $α_X^1$ of holomorphic $1$-forms or the sheaf of germs of weakly holomorphic $1$-forms is locally free, then $X$ is smooth. Moreover, we discuss the connection to Barlet's well-known sheaf $ω_X^1$.
On a reduced analytic space $X$ we introduce the concept of a generalized cycle, which extends the notion of a formal sum of analytic subspaces to include also a form part. We then consider a suitable equivalence relation and corresponding quotient $\mathcal{B}(X)$ that we think of as an analogue of the Chow group and a refinement of de Rham cohomology. This group allows us to study both global and local intersection theoretic properties. We provide many $\mathcal{B}$-analogues of classical intersection theoretic constructions: For an analytic subspace $V\subset X$ we define a $\mathcal{B}$-Segre class, which is an element of $\mathcal{B}(X)$ with support in $V$. It satisfies a global King formula and, in particular, its multiplicities at each point coincide with the Segre numbers of $V$. When $V$ is cut out by a section of a vector bundle we interpret this class as a Monge-Ampère-type product. For regular embeddings we construct a $\mathcal{B}$-analogue of the Gysin morphism.
On any pure $n$-dimensional, possibly non-reduced, analytic space $X$ we introduce the sheaves $\mathscr{E}_X^{p,q}$ of smooth $(p,q)$-forms and certain extensions $\mathscr{A}_X^{p,q}$ of them such that the corresponding Dolbeault complex is exact, i.e., the $\bar\partial$-equation is locally solvable in $\mathscr{A}_X$. The sheaves $\mathscr{A}_X^{p,q}$ are modules over the smooth forms, in particular, they are fine sheaves. We also introduce certain sheaves $\mathscr{B}_X^{n-p,n-q}$ of currents on $X$ that are dual to $\mathscr{A}_X^{p,q}$ in the sense of Serre duality. More precisely, we show that the compactly supported Dolbeault cohomology of $\mathscr{B}^{n-p,n-q}(X)$ in a natural way is the dual of the Dolbeault cohomology of $\mathscr{A}^{p,q}(X)$.
In this paper we use recently developed calculus of residue currents together with integral formulas to give a new explicit analytic realization, as well as a new analytic proof of Serre duality on any reduced pure $n$-dimensional paracompact complex space $X$. At the core of the paper is the introduction of concrete fine sheaves $\mathscr{B}_X^{n,q}$ of certain currents on $X$ of bidegree $(n,q)$, such that the Dolbeault complex $(\mathscr{B}_X^{n,\bullet},\,\bar{\partial})$ becomes, in a certain sense, a dualizing complex. In particular, if $X$ is Cohen-Macaulay (e.g., Gorenstein or a complete intersection) then $(\mathscr{B}_X^{n,\bullet},\,\bar{\partial})$ is an explicit fine resolution of the Grothendieck dualizing sheaf.
The Ronkin function plays a fundamental role in the theory of amoebas. We introduce an analogue of the Ronkin function in the setting of coamoebas. It turns out to be closely related to a certain toric arrangement known as the shell of the coamoeba and we use our Ronkin type function to obtain some properties of it.
Let $\mathcal J$ be an ideal sheaf on a reduced analytic space $X$ with zero set $Z$. We show that the Lelong numbers of the restrictions to $Z$ of certain generalized Monge-Ampère products $(dd^c\log|f|^2)^k$, where $f$ is a tuple of generators of $\mathcal J$, coincide with the so-called Segre numbers of $\mathcal J$, introduced independently by Tworzewski and Gaffney-Gassler. More generally we show that these currents satisfy a generalization of the classical King formula that takes into account fixed and moving components of Vogel cycles associated with $\mathcal J$. A basic tool is a new calculus for products of positive currents of Bochner-Martinelli type. We also discuss connections to intersection theory.
In the present paper, we derive an adjunction formula for the Grauert-Riemenschneider canonical sheaf of a singular hypersurface V in a complex manifold M. This adjunction formula is used to study the problem of extending L2-cohomology classes of dbar-closed forms from the singular hypersurface V to the manifold M in the spirit of the Ohsawa-Takegoshi-Manivel extension theorem. We do that by showing that our formulation of the L2-extension problem is invariant under bimeromorphic modifications, so that we can reduce the problem to the smooth case by use of an embedded resolution of V in M. The smooth case has recently been studied by Berndtsson.
We show that Coleff-Herrera type products of residue currents can be defined by analytic continuation of natural functions depending on one complex variable.