Related papers: Proper pushforwards on analytic adic spaces

We construct and study pushforwards of categorical connections on categorical principal bundles. Applying this construction to the case of decorated path spaces in principal bundles, we obtain a transformation of classical connections that…

We define the notion of a specialization morphism from a locally noetherian analytic adic space to a scheme. This captures the (classical) specialization morphism associated to a formal scheme. There is a well behaved theory of…

For a compact complex manifold, we introduce holomorphic foliations associated with certain abelian subgroups of the automorphism group. Such foliations are generalizations of holomorphic principal torus bundles. If there exists a…

In this paper, we extend a theorem of To\"en and Vaqui\'e to the non-Archimedean and formal settings. More precisely, we prove that a smooth and proper rigid analytic variety is algebraizable if and only if its category of perfect complexes…

Shape(-and-scale) spaces - configuration spaces for generalized Kendall-type Shape(-and-Scale) Theories - are usually not manifolds but stratified manifolds. While in Kendall's own case - similarity shapes - the shape spaces are…

We first introduce global arithmetic cohomology groups for quasi-coherent sheaves on arithmetic varieties, adopting an adelic approach. Then, we establish fundamental properties, such as topological duality and inductive long exact…

We construct a moduli space of stable pairs over a smooth projective variety, parametrizing morphisms from a fixed coherent sheaf to a varying sheaf of fixed topological type, subject to a stability condition. This generalizes the notion…

We give sufficient conditions for the affinity of Etingof's sheaves of Cherednik algebras on projective space. To do this we introduce the notion of pull-back of modules under certain flat morphisms.

We prove that $p$-adic geometric pro-\'etale cohomology of smooth partially proper rigid analytic varieties over $p$-adic fields seen in the category of Topological Vector Spaces satisfies a Poincar\'e duality as we have conjectured. This…

We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…

In this paper, local monomialization theorems are proven for analytic morphisms of complex and real analytic spaces. This gives the generalization of the local monomialization theorem for morphisms of algebraic varieties over a field of…

We develop a theory of umkehr maps for twisted generalized homology theories. In this theory, interesting umkehr maps, including generalizations of important classical ones, are induced by cartesian morphisms of a certain category opfibred…

We prove for a morphism $f \colon X \rightarrow S$ locally of $^+$weakly finite type, separated and taut, where $X$ is a weakly square complete adic space and $S$ a square complete and stable adic space, there exists a universal vertical…

In this paper, we study a deformation theory of rigid analytic spaces. We develop a theory of cotangent complexes for rigid geometry which fits in with our deformations. We then use the complexes to give a cohomological description of…

We prove an index theorem concerning the pushforward of flat B-vector bundles, where B is an appropriate algebra. We construct the associated analytic torsion form T. If Z is a smooth closed aspherical manifold, we show that T gives…

We extend the holomorphic analytic torsion classes of Bismut and K\"ohler to arbitrary projective morphisms between smooth algebraic complex varieties. To this end, we propose an axiomatic definition and give a classification of the…

By means of analytic methods the quasi-projectivity of the moduli space of algebraically polarized varieties with a not necessarily reduced complex structure is proven including the case of non-uniruled polarized varieties.

In this work we construct a variety of new complex-valued proper biharmonic maps and (2,1)-harmonic morphisms on Riemannian manifolds with non-trivial geometry. These are solutions to a non-linear system of partial differential equations…

Over any smooth algebraic variety over a $p$-adic local field $k$, we construct the de Rham comparison isomorphisms for the \'etale cohomology with partial compact support of de Rham $\mathbb Z_p$-local systems, and show that they are…

We establish the Thom isomorphism in twisted K-theory for any real vector bundle and develop the push-forward map in twisted K-theory for any differentiable proper map $f: X\to Y$ (not necessarily K-oriented). The push-forward map…