Related papers: Extendability of differential forms via Cartier op…
We prove the logarithmic extension theorem for one-forms on strongly $F$-regular singularities. Additionally, we establish the logarithmic extension theorem for one-forms on three-dimensional klt singularities in characteristic $p>41$. To…
Given a logarithmic $1$-form on the snc locus of a log canonical surface pair $(X, D)$ over a perfect field of characteristic $p \ge 7$, we show that it extends with at worst logarithmic poles to any resolution of singularities. We also…
Let $X$ be a normal variety. Assume that for some reduced divisor $D \subset X$, logarithmic 1-forms defined on the snc locus of $(X, D)$ extend to a log resolution $\tilde X \to X$ as logarithmic differential forms. We prove that then the…
In this paper we will show that the pull-back of any regular differential form defined on the smooth locus of a good quotient of dimension three and four to any resolution yields a regular differential form.
In this paper, we prove the cone theorem and the contraction theorem for pairs $(X, B)$, where $X$ is a normal variety and $B$ is an effective $\mathbb R$-divisor on $X$ such that $K_X+B$ is $\mathbb R$-Cartier.
Let $X$ be a quotient of a bounded domain in $\mathbb C^n$. Under suitable assumptions, we prove that every subvariety of $X$ not included in the branch locus of the quotient map is of log general type in some orbifold sense. This…
In this paper we give smoothness criterions for a good quotient Y of a smooth variety X by a reductive group G. Our results partially answer a question raised by J. Fogarty in the case where G is a finite group. They also give a converse to…
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…
The present paper is concerned with differential forms on log canonical varieties. It is shown that any p-form defined on the smooth locus of a variety with canonical or klt singularities extends regularly to any resolution of…
Let $Y$ be an effective Cartier divisor of a smooth variety $Z$. Let $X_{i}$, $i\in \{1,\cdots,n\}$ be a set of pairwise disjoint smooth subvarieties in $Y$ such that their union contains the singular locus of $Y$. In this paper, we give a…
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…
We investigate under what conditions holomorphic forms defined on the regular locus of a reduced complex space extend to holomorphic (or logarithmic) forms on a resolution of singularities. We give a simple necessary and sufficient…
We show that any $p$-form on the smooth locus of a normal complex space extends to a resolution of singularities, possibly with logarithmic poles, as long as $p \le \mathrm{codim}_X (X_{\mathrm{sg}}) - 2$, where $c$ is the codimension of…
Let $K$ be a field which is complete for a discrete valuation. We prove a logarithmic version of the N\'eron-Ogg-Shafarevich criterion: if $A$ is an abelian variety over $K$ which is cohomologically tame, then $A$ has good reduction in the…
Let $R$ be a discrete valuation ring with fraction field $K$ and with algebraically closed residue field of positive characteristic $p$. Let $X$ be a smooth fibered surface over $R$ with geometrically connected fibers endowed with a section…
Given a p-form defined on the smooth locus of a normal variety, and a resolution of singularities, we study the problem of extending the pull-back of the p-form over the exceptional set of the desingularization. For log canonical pairs and…
We show that, for a pseudo-proper smooth noetherian formal scheme $\mathfrak{X}$ over a positive characteristic $p$ field, its truncated De Rham complex up to the characteristic $p$ is decomposable. Moreover, if the dimension of…
In this paper we study extension problems for torsors in positive characteristic. Let $F$ be a field of characteristic $p>0$ and $U/F$ be a unipotent algebraic group. As our first main result, we prove that every $U$-torsor defined over the…
We introduce a canonical isomorphism from the space of pure-type complex differential forms on a compact complex manifold to the one on its infinitesimal deformations. By use of this map, we generalize an extension formula in a recent work…
Consider a log canonical pair $(X,B)$ such that there is a Cartier divisor $D$ for which $T_X(-\log B) \otimes \mathcal O(D)$ is locally free and globally generated. Let $\mathcal F$ be a log canonical foliation of rank 1 on $X$. We prove…