Automorphisms of Kronrod-Reeb graphs of Morse functions on compact surfaces

DOI10.1007/S40879-019-00379-8MaRDI QIDQ6305850arXivWikidataFDO

Authors Anna Kravchenko, Sergiy Maksymenko

Publication date 27 August 2018

Full work available at URL https://doi.org/10.1007/S40879-019-00379-8

Extensions, wreath products, and other compositions of groups (20E22) Groups as automorphisms of other structures (22F50) Dynamical systems involving smooth mappings and diffeomorphisms (37C05) Dynamics induced by flows and semiflows (37C10) Completely integrable finite-dimensional Hamiltonian systems, integration methods, integrability tests (37J35) Group actions on manifolds and cell complexes in low dimensions (57M60) Singularities of differentiable mappings in differential topology (57R45) Critical points and critical submanifolds in differential topology (57R70) Topological properties of groups of homeomorphisms or diffeomorphisms (57S05)

arXiv classification

math.AT math.CO math.DG math.GR math.GT

Abstract: Let

M

be a connected orientable compact surface,

f : M o m a t h b b R

be a Morse function, and

m a t h c a l D_{m a t h r m i d} (M)

be the group of difeomorphisms of

M

isotopic to the identity. Denote by

m a t h c a l S^{'} (f) = f c i r c h = f m i d h i n m a t h c a l D_{m a t h r m i d} (M)

the subgroup of

m a t h c a l D_{m a t h r m i d} (M)

consisting of difeomorphisms "preserving"

f

, i.e. the stabilizer of

f

with respect to the right action of

m a t h c a l D_{m a t h r m i d} (M)

on the space

m a t h c a l C^{i n f t y} (M, m a t h b b R)

of smooth functions on

M

. Let also

m a t h b f G (f)

be the group of automorphisms of the Kronrod-Reeb graph of

f

induced by diffeomorphisms belonging to

m a t h c a l S^{'} (f)

. This group is an important ingredient in determining the homotopy type of the orbit of

f

with respect to the above action of

m a t h c a l D_{m a t h r m i d} (M)

and it is trivial if

f

is "generic", i.e. has at most one critical point at each level set

f^{- 1} (c)

,

c i n m a t h b b R

. For the case when

M

is distinct from

2

-sphere and

2

-torus we present a precise description of the family

m a t h b f G (M, m a t h b b R)

of isomorphism classes of groups

m a t h b f G (f)

, where

f

runs over all Morse functions on

M

, and of its subfamily

m a t h b f G^{s m p} (M, m a t h b b R) s u b s e t m a t h b f G (M, m a t h b b R)

consisting of groups corresponding to simple Morse functions, i.e. functions having at most one critical point at each connected component of each level set. In fact,

m a t h b f G (M, m a t h b b R)

, (resp.

m a t h b f G^{s m p} (M, m a t h b b R)

), coincides with the minimal family of isomorphism classes of groups containing the trivial group and closed with respect to direct products and also with respect to wreath products "from the top" with arbitrary finite cyclic groups, (resp. with group

m a t h b b Z_{2}

only).

This page was built for publication: Automorphisms of Kronrod-Reeb graphs of Morse functions on compact surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6305850)