Valuations on Log-Concave Functions

  • PDF / 422,324 Bytes
  • 25 Pages / 439.37 x 666.142 pts Page_size
  • 38 Downloads / 190 Views

DOWNLOAD

REPORT


Valuations on Log-Concave Functions Fabian Mussnig1 Received: 11 July 2018 / Accepted: 7 October 2020 © Mathematica Josephina, Inc. 2020

Abstract A classification of SL(n) and translation covariant Minkowski valuations on logconcave functions is established. The moment vector and the recently introduced level set body of log-concave functions are characterized. Furthermore, analogs of the Euler characteristic and volume are characterized as SL(n) and translation invariant valuations on log-concave functions. Keywords Valuation · Log-concave function · SL(n) covariance · Translation covariance · Moment vector · Difference body Mathematics Subject Classification 26B25 · 46B20 · 52A21 · 52A41 · 52B45

1 Introduction A function Z defined on a lattice (L, ∨, ∧) and taking values in an abelian semigroup is called a valuation if Z( f ∨ g) + Z( f ∧ g) = Z( f ) + Z(g)

(1)

for all f , g ∈ L. A function Z defined on a set S ⊂ L is called a valuation if (1) holds whenever f , g, f ∨ g, f ∧ g ∈ S. In the classical theory, valuations on the set of convex bodies (non-empty, compact, convex sets), Kn , in Rn are studied, where ∨ and ∧ denote union and intersection, respectively. Valuations played a critical role in Dehn’s solution of Hilbert’s Third Problem and have been a central focus in convex geometric analysis. In many cases, well-known functions in geometry could be characterized as valuations. For example, a first characterization of the Euler characteristic and volume as continuous, SL(n) and translation invariant valuations on Kn was established by

B 1

Fabian Mussnig [email protected] Institut für Diskrete Mathematik und Geometrie, Technische Universität Wien, Wiedner Hauptstraße 8-10/1046, 1040 Wien, Austria

123

F. Mussnig

Blaschke [6]. The celebrated Hadwiger classification theorem [19] gives a complete classification of continuous, rotation and translation invariant valuations on Kn and provides a characterization of intrinsic volumes. Alesker [2] obtained classification results for translation invariant valuations. Since several important geometric operators like the Steiner point and the moment vector are not translation invariant, also translation covariance played an important role. In particular, Hadwiger & Schneider [20] characterized linear combinations of quermassvectors as continuous, rotation and translation covariant vector-valued valuations. In addition to the ongoing research on real-valued valuations on convex bodies [1,5,16,21,24,30,31], valuations with values in Kn have attracted interest. Such a map is called a Minkowski valuation if the addition in (1) is given by Minkowski addition, that is K + L = {x + y : x ∈ K , y ∈ L} for K , L ∈ Kn . The first results in this direction were established by Ludwig [25,26]. See [15,17,23,43,46] for some of the pertinent results. More recently, valuations were defined on function spaces. For a space S of realvalued functions we denote by f ∨ g the pointwise maximum of f and g while f ∧ g denotes their pointwise minimum. For Sobolev spaces [