Related papers: Proper pushforwards on analytic adic spaces

For any smooth proper rigid analytic space $X$ over a complete algebraically closed extension of $\mathbb Q_p$, we construct a $p$-adic Simpson correspondence: an equivalence of categories between vector bundles on Scholze's pro-\'etale…

We prove several related results on the low-degree Hodge numbers of proper smooth rigid analytic varieties over non-archimedean fields. Our arguments rely on known structure theorems for the relevant Picard varieties, together with recent…

The classical arithmetic Grothendieck-Riemann-Roch theorem can be applied only to projective morphisms that are smooth over the complex numbers. In this paper we generalize the arithmetic Grothendieck-Riemann-Roch theorem to the case of…

The purpose of this paper is to prove a basic $p$-adic comparison theorem for smooth rigid analytic and dagger varieties over the algebraic closure $C$ of a $p$-adic field: $p$-adic pro-\'etale cohomology, in a stable range, can be…

We show for the moduli space of rank-2 coherent sheaves on an algebraic surface that there exists a 'dual' moduli space. This dual space allows a construction of the first one without using the GIT construction. Furthermore, we obtain a…

Based on the Carath\'eodory -Pesin structure theory[11], we introduce three notions of topological pressure of a proper map and provide some properties of these notions. For the proper map of a locally compact separable metric space, we…

Fulton and MacPherson introduced the notion of bivariant theories and Grothendieck transformations related to Riemann-Roch-theorems. But there are many situations, where such a bivariant theory or a corresponding Grothendieck transformation…

One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an algebraic stack. This result has been generalized by…

We construct new "virtually smooth" modular compactifications of spaces of maps from nonsingular curves to smooth projective toric varieties. They generalize Givental's compactifications, when the complex structure of the curve is allowed…

We try to understand which morphisms of complex analytic spaces come from algebraic geometry. We start with a series of conjectures, and then give some partial solutions.

We construct master spaces for oriented torsion free sheaves coupled with morphisms into a fixed reference sheaf. These spaces are projective varieties endowed with a natural $\C^*$-action. The fixed point set of this action contains the…

We present here "the" cartesian closed theory for real analytic mappings. It is based on the concept of real analytic curves in locally convex vector spaces. A mapping is real analytic, if it maps smooth curves to smooth curves and real…

Differentiable structure ensures that many of the basics of classical convex analysis extend naturally from Euclidean space to Riemannian manifolds. Without such structure, however, extensions are more challenging. Nonetheless, in…

We construct new explicit toric scalar-flat K{\"a}hler ALE metrics on weighted projective spaces of non-compact type, which we use to obtain smooth extremal K{\"a}hler metrics on appropriate resolutions of orbifolds. In particular, we…

Applying the new theory of analytic stacks of Clausen and Scholze we introduce a general notion of derived Tate adic spaces. We use this formalism to define the analytic de Rham stack in rigid geometry, extending the theory of…

In our previous work, we have constructed explicit smooth real algebraic functions which may have both compact and non-compact preimages on smooth real algebraic manifolds. This paper presents its variant. Our result is new in obtaining…

Variational analysis presents a unified theory encompassing in particular both smoothness and convexity. In a Euclidean space, convex sets and smooth manifolds both have straightforward local geometry. However, in the most basic hybrid case…

We construct a functorial pushforward homomorphism in geometric Hodge filtered complex cobordism along proper holomorphic maps between arbitrary complex manifolds. This significantly improves previous results on such transfer maps and is a…

We study the compatibility with proper push-forward of the characteristic cycles of a constructible complex on a smooth variety over a perfect field.

Semistable reduction theorem for projective morphisms in the category of complex analytic spaces is established.