A generalization of Puiseux's theorem and lifting curves over invariants

Abstract: Let

h o : G o o p e r a t o r n a m e G L (V)

be a rational representation of a reductive linear algebraic group

G

defined over

m a t h b b C

on a finite dimensional complex vector space

V

. We show that, for any generic smooth (resp.

C^{M}

) curve

c : m a t h b b R o V / / G

in the categorical quotient

V / / G

(viewed as affine variety in some

m a t h b b C^{n}

) and for any

t_{0} i n m a t h b b R

, there exists a positive integer

N

such that

t m a p s t o c (t_{0} p m (t - t_{0})^{N})

allows a smooth (resp.

m a t h b b C^{M}

) lift to the representation space near

t_{0}

. (

C^{M}

denotes the Denjoy--Carleman class associated with

M = (M_{k})

, which is always assumed to be logarithmically convex and derivation closed). As an application we prove that any generic smooth curve in

V / / G

admits locally absolutely continuous (not better!) lifts. Assume that

G

is finite. We characterize curves admitting differentiable lifts. We show that any germ of a

C^{i} n f t y

curve which represents a lift of a germ of a quasianalytic

C^{M}

curve in

V / / G

is actually

C^{M}

. There are applications to polar representations.

Recommendations

Cites Work

Cited In (7)

This page was built for publication: A generalization of Puiseux's theorem and lifting curves over invariants