Related papers: Proper pushforwards on analytic adic spaces

We extend Raynaud's theory of formal models from rigid-analytic spaces over a nonarchimedean field to uniform qcqs adic spaces $X$, with no finite-type assumptions, over an arbitrary Tate affinoid base $S$. The key new ingredient is the…

In this paper we study dually flat spaces arising from Delzant polytopes equipped with a symplectic potential together with their corresponding toric K\"ahler manifolds as their torifications.We introduce a dually flat structure and the…

We study the geometry of the morphism between moduli spaces of hypersurfaces in $\mathbb P^{n-1}$ that sends a smooth hypersurface of degree $d+1$ to its associated hypersurface of degree $n(d-1)$. As a result, we obtain a compactification…

For any type of fundamental groupoid scheme, we construct an algebraic cohomology theory for varieties with coefficients in the base field. This is a minor variant of \'etale cohomology, involving neither de Rham complexes nor…

We develop a theory of log adic spaces by combining the theories of adic spaces and log schemes, and study the Kummer \'etale and pro-Kummer \'etale topology for such spaces. We also establish the primitive comparison theorem in this…

We introduce higher analytic geometry, a novel framework extending Lurie's derived complex analytic spaces. This theory generalizes classical complex analytic geometry, enabling the study of derived K\"ahler spaces with non-trivial higher…

We characterize those algebras over a disconnected uniformly complete topological field which are representable as algebras of continuous functions on compact topological spaces, generalizing thus Gelfand duality for non-archimedean normed…

We give new lower bounds for the (higher) topological complexity of a space, in terms of the Lusternik-Schnirelmann category of a certain auxiliary space. We also give new lower bounds for the rational topological complexity of a space, and…

In this paper we study the space of morphisms from a complex projective space to a compact smooth toric variety X. It is shown that the first author's stability theorem for the spaces of rational maps from CP^m to CP^n extends to the spaces…

Rational maps on the Riemann sphere occupy a distinguished niche in the general theory of smooth dynamical systems. First, rational maps are complex-analytic, so a broad spectrum of techniques can contribute to their study (quasiconformal…

This is a short report on our new vanishing theorems for projective morphisms between complex analytic spaces. We established a complex analytic generalization of Koll\'ar's torsion-freeness and vanishing theorem for analytic simple normal…

We prove an analogue of Scholze's Primitive Comparison Theorem for proper rigid spaces over an algebraically closed non-archimedean field $K$ of characteristic $p$. This implies a v-topological version of the Primitive Comparison Theorem…

In a recent paper (2018), D. Hofmann, R. Neves and P. Nora proved that the dual of the category of compact partially ordered spaces and monotone continuous maps is a quasi-variety - not finitary, but bounded by $\aleph_1$. An open question…

The theory of moduli of morphisms on P^n generalizes the study of rational maps on P^1. This paper proves three results about the space of morphisms on P^n of degree d > 1, and its quotient by the conjugation action of PGL(n+1). First, we…

In this paper we provide sufficient conditions in order to show that the set image of a continuous and shift-commuting map defined on a shift space over an arbitrary discrete alphabet is also a shift space; additionally, if such a map is…

We introduce a notion of proper morphism for schematic finite spaces and prove the analogue of Grothendieck's finiteness theorem for it by means of the classic result for schemes and general descent arguments. This result also generalizes…

We show that Weyl spaces provide a natural context for harmonic morphisms.

We obtain restrictions on the rational homotopy types of mapping spaces and of classifying spaces of homotopy automorphisms by means of the theory of positive weight decompositions. The theory applies, in particular, to connected components…

We define partially ample subvarieties of projective varieties, generalizing Ottem's work on ample subvarieties, and show their ubiquity. As an application, we obtain a connectedness result for pre-images of subvarieties by morphisms,…

We develop a general theory of partial morphisms in additive exact categories which extends the model theoretic notion introduced by Ziegler in the particular case of pure-exact sequences in the category of modules over a ring. We relate…