Related papers: Direct images in non-archimedean Arakelov theory

We continue the study of the spectral theory associated to integrable metrics, started in our previous paper arXiv:1301.1793 [math.SP]. We introduce the notion of 1-integrable metric on line-bundles on a compact Riemann surface. We extend…

Let $L$ be a line bundle on a proper, geometrically reduced scheme $X$ over a non-trivially valued non-Archimedean field $K$. Roughly speaking, the non-Archimedean volume of a continuous metric on the Berkovich analytification of $L$…

We construct positive-genus analogues of Welschinger's invariants for many real symplectic manifolds, including the odd-dimensional projective spaces and the renowned quintic threefold. In some cases, our invariants provide lower bounds for…

We construct quantum K-invariants in non-archimedean analytic geometry. Contrary to the classical approach in algebraic geometry via perfect obstruction theory, we build on our previous works on the foundations of derived non-archimedean…

We prove that the solution of a Wess-Zumino-Witten type equation from a domain $D$ in $\mathbb{C}^m$ to the space of K\"ahler potentials can be approximated uniformly by Hermitian-Yang-Mills metrics on certain vector bundles. The key is a…

This paper investigates the curvature properties of higher direct images $ R^qf_*\Omega_{X/S}^p(E)$, where $f: X\rightarrow S$ is a family of compact K\"ahler manifolds equipped with a hermitian vector bundle $E \rightarrow X$. We derive a…

We prove a finiteness theorem and a comparison theorem in the theory of \'etale cohomology of rigid analytic varieties. By a result of Huber, for a quasi-compact separated morphism of rigid analytic varieties with target being of dimension…

This paper is a sequel to \cite{Berndtsson}. In that paper we studied the vector bundle associated to the direct image of the relative canonical bundle of a smooth K\"ahler morphism, twisted with a semipositive line bundle. We proved that…

For a projective variety $X$ defined over a non-Archimedean complete non-trivially valued field $k$, and a semipositive metrized line bundle $(L, \phi)$ over it, we establish a metric extension result for sections of $L^{\otimes n}$ from a…

This is a survey of results on positivity of vector bundles, inspired by the Brunn-Minkowski and Pr\'ekopa theorems. Applications to complex analysis, K\"ahler geometry and algebraic geometry are also discussed.

We investigate when the filtration induced by Beilinson's spectral sequence splits non-canonically into a direct sum decomposition. We conclude that for any vector bundle $\mathcal{E}$ on a projective space over an algebraically closed…

We review the shape theory of $\infty$-topoi, and relate it with the usual cohomology of locally constant sheaves. Additionally, a new localization of profinite spaces is defined which allows us to extend the \'etale realization functor of…

This article develops a unified and intrinsic framework for the theory of Sobolev spaces on vector bundles over Riemannian manifolds. The analytical core of our approach is an explicit higher-order geometric integration by parts formula,…

For one-parameter degenerations of compact K\"ahler manifolds, we determine the asymptotic behavior of the first Chern form of the direct image of a Nakano semi-positive vector bundle twisted by the relative canonical bundle, when the…

We formulate and establish a generalization of Koll\'ar's injectivity theorem for adjoint bundles twisted by suitable multiplier ideal sheaves. As applications, we generalize Koll\'ar's torsion-freeness, Koll\'ar's vanishing theorem, and a…

This article highlights the ToricHigherDirectImages package in Macaulay2. The central feature is a method for computing (higher) direct images of line bundles under surjective toric morphisms.

One of the most appealing results of metric-affine gauge theory of gravity is a close parallel between the Riemann curvature two-form and the Cartan torsion two-form: While the former is the field strength of the Lorentz-group connection…

We prove an implicit function theorem for Keller C^k_c-maps from arbitrary real or complex topological vector spaces to Frechet spaces, imposing only a certain metric estimate on the partial differentials. As a tool, we show the…

We prove localization and Zariski-Mayer-Vietoris for higher Grothendieck-Witt groups, alias hermitian $K$-groups, of schemes admitting an ample family of line-bundles. No assumption on the characteristic is needed, and our schemes can be…

We explicitly determine the group of isomorphism classes of equivariant line bundles on the non-archimedean Drinfeld upper half plane for $\mathrm{GL}_2(F)$, for its subgroups of matrices whose determinant has even (respectively trivial)…