Integrability of pushforward measures by analytic maps

Publication date: 24 February 2022

Abstract: Given a map

p h i : X i g h t a r r o w Y

between

F

-analytic manifolds over a local field

F

of characteristic

0

, we introduce an invariant

e p s i l o n_{s t a r} (p h i)

which quantifies the integrability of pushforwards of smooth compactly supported measures by

p h i

. We further define a local version

e p s i l o n_{s t a r} (p h i, x)

near

x i n X

. These invariants have a strong connection to the singularities of

p h i

. When

Y

is one-dimensional, we give an explicit formula for

e p s i l o n_{s t a r} (p h i, x)

, and show it is asymptotically equivalent to other known singularity invariants such as the

F

-log-canonical threshold

o p e r a t o r n a m e {l c t}_{F} (p h i - p h i (x); x)

at

x

. In the general case, we show that

e p s i l o n_{s t a r} (p h i, x)

is bounded from below by the

F

-log-canonical threshold

l a m b d a = o p e r a t o r n a m e {l c t}_{F} (m a t h c a l J_{p h i}; x)

of the Jacobian ideal

m a t h c a l J_{p h i}

near

x

. If

d i m Y = d i m X

, equality is attained. If

d i m Y < d i m X

, the inequality can be strict; however, for

F = m a t h b b C

, we establish the upper bound

e p s i l o n_{s t a r} (p h i, x) l e q l a m b d a / (1 - l a m b d a)

, whenever

l a m b d a < 1

. Finally, we specialize to polynomial maps

v a r p h i : X i g h t a r r o w Y

between smooth algebraic

m a t h b b Q

-varieties

X

and

Y

. We geometrically characterize the condition that

e p s i l o n_{s t a r} (v a r p h i_{F}) = i n f t y

over a large family of local fields, by showing it is equivalent to

v a r p h i

being flat with fibers of semi-log-canonical singularities.

This page was built for publication: Integrability of pushforward measures by analytic maps