Showing 1–10 of 10 results for author: Künnemann, K

On the non-archimedean Monge-Ampère equation in mixed characteristic

Authors: Yanbo Fang, Walter Gubler, Klaus Künnemann

Abstract: Let X be a smooth projective variety over a complete discretely valued field of mixed characteristic. We solve non-archimedean Monge-Ampère equations on X assuming resolution and embedded resolution of singularities. We follow the variational approach of Boucksom, Favre, and Jonsson proving the continuity of the plurisubharmonic envelope of a continuous metric on an ample line bundle on X. We repl… ▽ More Let X be a smooth projective variety over a complete discretely valued field of mixed characteristic. We solve non-archimedean Monge-Ampère equations on X assuming resolution and embedded resolution of singularities. We follow the variational approach of Boucksom, Favre, and Jonsson proving the continuity of the plurisubharmonic envelope of a continuous metric on an ample line bundle on X. We replace the use of multiplier ideals in equicharacteristic zero by the use of perturbation friendly test ideals introduced by Bhatt, Ma, Patakfalvi, Schwede, Tucker, Waldron, and Witaszek building upon previous constructions by Hacon, Lamarche, and Schwede. △ Less

Submitted 28 February, 2024; v1 submitted 23 March, 2022; originally announced March 2022.

Comments: 14 pages, in this version the dependance of the main result on the subadditivity conjecture for test ideals in mixed characteristic is removed

MSC Class: Primary 14G22; Secondary 14F18; 32P05; 32U15

Pluripotential theory for tropical toric varieties and non-archimedean Monge-Ampére equations

Authors: José Ignacio Burgos Gil, Walter Gubler, Philipp Jell, Klaus Künnemann

Abstract: Tropical toric varieties are partial compactifications of finite dimensional real vector spaces associated with rational polyhedral fans. We introduce plurisubharmonic functions and a Bedford--Taylor product for Lagerberg currents on open subsets of a tropical toric variety. The resulting tropical toric pluripotential theory provides the link to give a canonical correspondence between complex and… ▽ More Tropical toric varieties are partial compactifications of finite dimensional real vector spaces associated with rational polyhedral fans. We introduce plurisubharmonic functions and a Bedford--Taylor product for Lagerberg currents on open subsets of a tropical toric variety. The resulting tropical toric pluripotential theory provides the link to give a canonical correspondence between complex and non-archimedean pluripotential theories of invariant plurisubharmonic functions on toric varieties. We will apply this correspondence to solve invariant non-archimedean Monge--Ampère equations on toric and abelian varieties over arbitrary non-archimedean fields. △ Less

Submitted 15 February, 2021; originally announced February 2021.

Comments: 65 pages

MSC Class: Primary 32P05; Secondary 32U05; 14T90; 32W20

A comparison of positivity in complex and tropical toric geometry

Authors: J. I. Burgos Gil, W. Gubler, P. Jell, K. Künnemann

Abstract: Given a smooth complex toric variety we will compare real Lagerberg forms and currents on its tropicalization with invariant complex forms and currents on the toric variety. Our main result is a correspondence theorem which identifies the cone of invariant closed positive currents on the complex toric variety with closed positive currents on the tropicalization. In a subsequent paper, this corresp… ▽ More Given a smooth complex toric variety we will compare real Lagerberg forms and currents on its tropicalization with invariant complex forms and currents on the toric variety. Our main result is a correspondence theorem which identifies the cone of invariant closed positive currents on the complex toric variety with closed positive currents on the tropicalization. In a subsequent paper, this correspondence will be used to develop a Bedford-Taylor theory of plurisubharmonic functions on the tropicalization. △ Less

Submitted 15 February, 2021; v1 submitted 19 March, 2020; originally announced March 2020.

Comments: Final version, 50 pages, 1 figure, to appear in Mathematische Zeitschrift

MSC Class: Primary 14L32; Secondary 14T05; 32U05; 32U40

Continuity of Plurisubharmonic Envelopes in Non-Archimedean Geometry and Test Ideals (with an Appendix by José Ignacio Burgos Gil and Martín Sombra)

Authors: Walter Gubler, Philipp Jell, Klaus Künnemann, Florent Martin

Abstract: Let L be an ample line bundle on a smooth projective variety X over a non-archimedean field K. For a continuous metric on L, we show in the following two cases that the semipositive envelope is a continuous semipositive metric on L and that the non-archimedean Monge-Ampère equation has a solution. First, we prove it for curves using results of Thuillier. Second, we show it under the assumption tha… ▽ More Let L be an ample line bundle on a smooth projective variety X over a non-archimedean field K. For a continuous metric on L, we show in the following two cases that the semipositive envelope is a continuous semipositive metric on L and that the non-archimedean Monge-Ampère equation has a solution. First, we prove it for curves using results of Thuillier. Second, we show it under the assumption that X is a surface defined geometrically over the function field of a curve over a perfect field k of positive characteristic. The second case holds in higher dimensions if we assume resolution of singularities over k. The proof follows a strategy from Boucksom, Favre and Jonsson, replacing multiplier ideals by test ideals. Finally, the appendix by Burgos and Sombra provides an example of a semipositive metric whose retraction is not semipositive. The example is based on the construction of a toric variety which has two SNC-models which induce the same skeleton but different retraction maps. △ Less

Submitted 22 November, 2018; v1 submitted 4 December, 2017; originally announced December 2017.

Comments: Final version, to appear in Annales de l'Institut Fourier

MSC Class: Primary 32P05; Secondary 13A35; 14G22; 32U05

Differentiability of non-archimedean volumes and non-archimedean Monge-Ampère equations (with an appendix by Robert Lazarsfeld)

Authors: José Ignacio Burgos Gil, Walter Gubler, Philipp Jell, Klaus Künnemann, Florent Martin

Abstract: Let $X$ be a normal projective variety over a complete discretely valued field and $L$ a line bundle on $X$. We denote by $X^\textrm{an}$ the analytification of $X$ in the sense of Berkovich and equip the analytification $L^\textrm{an}$ of $L$ with a continuous metric $\| \ \|$. We study non-archimedean volumes, a tool which allows us to control the asymptotic growth of small sections of big power… ▽ More Let $X$ be a normal projective variety over a complete discretely valued field and $L$ a line bundle on $X$. We denote by $X^\textrm{an}$ the analytification of $X$ in the sense of Berkovich and equip the analytification $L^\textrm{an}$ of $L$ with a continuous metric $\| \ \|$. We study non-archimedean volumes, a tool which allows us to control the asymptotic growth of small sections of big powers of $L$. We prove that the non-archimedean volume is differentiable at a continuous semipositive metric and that the derivative is given by integration with respect to a Monge-Ampère measure. Such a differentiability formula had been proposed by M. Kontsevich and Y. Tschinkel. In residue characteristic zero, it implies an orthogonality property for non-archimedean plurisubharmonic functions which allows us to drop an algebraicity assumption in a theorem of S. Boucksom, C. Favre and M. Jonsson about the solution to the non-archimedean Monge-Ampère equation. The appendix by R. Lazarsfeld establishes the holomorphic Morse inequalities in arbitrary characteristic. △ Less

Submitted 11 March, 2019; v1 submitted 5 August, 2016; originally announced August 2016.

Comments: 38 pages, new references [BE18] and [CM15], footnotes on p. 4 and p. 5 added, Remark 4.1.8 extended, to appear in 'Algebraic Geometry'

MSC Class: 32P05 (Primary) 14C20; 14G22; 32U05; 32W20 (Secondary)

Positivity properties of metrics and delta-forms

Authors: Walter Gubler, Klaus Kuennemann

Abstract: In previous work, we have introduced delta-forms on the Berkovich analytification of an algebraic variety in order to study smooth or formal metrics via their associated Chern delta-forms. In this paper, we investigate positivity properties of delta-forms and delta-currents. This leads to various plurisubharmonicity notions for continuous metrics on line bundles. In the case of a formal metric, we… ▽ More In previous work, we have introduced delta-forms on the Berkovich analytification of an algebraic variety in order to study smooth or formal metrics via their associated Chern delta-forms. In this paper, we investigate positivity properties of delta-forms and delta-currents. This leads to various plurisubharmonicity notions for continuous metrics on line bundles. In the case of a formal metric, we show that many of these positivity notions are equivalent to Zhang's semipositivity. For piecewise smooth metrics, we prove that plurisubharmonicity can be tested on tropical charts in terms of convex geometry. We apply this to smooth metrics, to canonical metrics on abelian varieties and to toric metrics on toric varieties. △ Less

Submitted 13 September, 2016; v1 submitted 30 September, 2015; originally announced September 2015.

Comments: 37 pages

MSC Class: 32P05 (Primary); 14G22; 14T05; 32U05; 32U40 (Secondary)

A tropical approach to non-archimedean Arakelov theory

Authors: Walter Gubler, Klaus Kuennemann

Abstract: Chambert-Loir and Ducros have recently introduced a theory of real valued differential forms and currents on Berkovich spaces. In analogy to the theory of forms with logarithmic singularities, we enlarge the space of differential forms by so called delta-forms on the non-archimedean analytification of an algebraic variety. This extension is based on an intersection theory for tropical cycles with… ▽ More Chambert-Loir and Ducros have recently introduced a theory of real valued differential forms and currents on Berkovich spaces. In analogy to the theory of forms with logarithmic singularities, we enlarge the space of differential forms by so called delta-forms on the non-archimedean analytification of an algebraic variety. This extension is based on an intersection theory for tropical cycles with smooth weights. We prove a generalization of the Poincaré-Lelong formula which allows us to represent the first Chern current of a formally metrized line bundle by a delta-form. We introduce the associated Monge-Ampère measure $μ$ as a wedge-power of this first Chern delta-form and we show that $μ$ is equal to the corresponding Chambert-Loir measure. The star-product of Green currents is a crucial ingredient in the construction of the arithmetic intersection product. Using the formalism of delta-forms, we obtain a non-archimedean analogue at least in the case of divisors. We use it to compute non-archimedean local heights of proper varieties. △ Less

Submitted 13 September, 2016; v1 submitted 30 June, 2014; originally announced June 2014.

Comments: 91 pages, revised and updated version, new example 4.22

MSC Class: Primary 14G40; Secondary 14G22; 14T05; 32P05

Journal ref: Alg. Number Th. 11 (2017) 77-180

Hermitian vector bundles and extension groups on arithmetic schemes. II. The arithmetic Atiyah extension

Authors: Jean-Benoit Bost, Klaus Kuennemann

Abstract: In a previous paper, we have defined arithmetic extension groups in the context of Arakelov geometry. In the present one, we introduce an arithmetic analogue of the Atiyah extension that defines an element -- the arithmetic Atiyah class -- in a suitable arithmetic extension group. If $\overline{E}$ is a hermitian vector bundle on an arithmetic scheme $X$, its arithmetic Atiyah class is an obstru… ▽ More In a previous paper, we have defined arithmetic extension groups in the context of Arakelov geometry. In the present one, we introduce an arithmetic analogue of the Atiyah extension that defines an element -- the arithmetic Atiyah class -- in a suitable arithmetic extension group. If $\overline{E}$ is a hermitian vector bundle on an arithmetic scheme $X$, its arithmetic Atiyah class is an obstruction to the algebraicity of the unitary connection on the vector bundle $E_\C$ over the complex manifold $X(\C)$ that is compatible with its holomorphic structure. We develop basic properties of the arithmetic Atiyah class and study its vanishing in the case of hermitian line bundles. This may be translated into a concrete problem of diophantine geometry, concerning rational points of the universal vector extension of the Picard variety of $X$. We investigate this problem, which was already considered and solved in some cases by Bertrand, by using a classical transcendence result of Schneider-Lang, and we derive a finiteness result. We also consider a geometric analog of our arithmetic situation, namely a smooth, projective variety $X$ which is fibered on a curve $C$ defined over some field $k$ of characteristic zero. To any line bundle $L$ over $X$ is attached its relative Atiyah class ${\rm at}_{X/C}L$. We describe precisely when this class vanishes. In particular, when the fixed part of the relative Picard variety of $X$ over $C$ is trivial, this holds only when the restriction of $L$ to the generic fiber $X_K$ of $X$ over $C$ is a torsion line bundle. △ Less

Submitted 15 October, 2008; v1 submitted 28 July, 2008; originally announced July 2008.

Comments: This version is revised according to the remarks of the referee

MSC Class: 14G40 (Primary); 11J81; 14F05; 32L10 (Secondary)

Hermitian vector bundles and extension groups on arithmetic schemes. I. Geometry of numbers

Authors: Jean-Benoit Bost, Klaus Kuennemann

Abstract: We define and investigate extension groups in the context of Arakelov geometry. The 'arithmetic extension groups' we introduce are extensions by groups of analytic types of the usual extension groups attached to $Ø_X$-modules over an arithmetic scheme $X$. In this paper, we focus on the first arithmetic extension group - the elements of which may be described in terms of admissible short exact s… ▽ More We define and investigate extension groups in the context of Arakelov geometry. The 'arithmetic extension groups' we introduce are extensions by groups of analytic types of the usual extension groups attached to $Ø_X$-modules over an arithmetic scheme $X$. In this paper, we focus on the first arithmetic extension group - the elements of which may be described in terms of admissible short exact sequences of hermitian vector bundles over $X$ - and we especially consider the case when $X$ is an 'arithmetic curve', namely the spectrum $\Spec Ø_K$ of the ring of integers in some number field $K$. Then the study of arithmetic extensions over $X$ is related to old and new problems concerning lattices and the geometry of numbers. △ Less

Submitted 12 January, 2007; originally announced January 2007.

MSC Class: 14G40 (Primary) 11H31; 11H55; 14F05; 18G15 (Secondary)

The Hodge star operator on Schubert forms

Authors: Klaus Kuennemann, Harry Tamvakis

Abstract: Let X=G/P be a homogeneous space of a complex semisimple Lie group G equipped with a hermitian metric. We study the action of the Hodge star operator on the space of harmonic differential forms on X. We obtain explicit combinatorial formulas for this action when X is an irreducible hermitian symmetric space of compact type. Let X=G/P be a homogeneous space of a complex semisimple Lie group G equipped with a hermitian metric. We study the action of the Hodge star operator on the space of harmonic differential forms on X. We obtain explicit combinatorial formulas for this action when X is an irreducible hermitian symmetric space of compact type. △ Less

Submitted 29 June, 2003; originally announced June 2003.

Comments: 15 pages, LaTeX, 4 figures

MSC Class: 57T15 (primary) 05E15; 14M15; 32M10 (Secondary)

Journal ref: Topology 41 (2002), 945-960