Table of Contents
Fetching ...

Rational Maps of Balls and their Associated Groups

Dusty Grundmeier, Jiří Lebl

TL;DR

This work investigates invariant groups associated to proper rational maps between balls by placing maps in a canonical normal form and analyzing how unitary symmetries constrain these maps. It shows that, in normal form, key groups such as $\Gamma_f$, $G_f$, $D_f$, $\Sigma_f$, and $\Delta^{(a,b)}_f$ are subgroups of unitary groups and are determined by the invariants of the underlying Hermitian form $|g|^2-\|p\|^2$. A central result is that $\Gamma_f$ is defined by a single invariant polynomial, and conversely any subgroup of $U(n)$ defined by invariant polynomials can be realized as $\Gamma_f$ for some polynomial (or rational) ball map, enabling explicit constructions of maps with prescribed symmetries, including degree-$4$ examples with controlled denominators. The paper also provides constructive methods to realize given denominators and to produce maps with specific symmetry groups, highlighting how symmetry constraints influence map degree and evenness of numerator/denominator. These results enrich the toolkit for understanding the interaction between holomorphic maps and their group symmetries in several complex variables.

Abstract

Given a proper, rational map of balls, D'Angelo and Xiao introduced five natural groups encoding properties of the map. We study these groups using a recently discovered normal form for rational maps of balls. Using this normal form, we also provide several new groups associated to the map.

Rational Maps of Balls and their Associated Groups

TL;DR

This work investigates invariant groups associated to proper rational maps between balls by placing maps in a canonical normal form and analyzing how unitary symmetries constrain these maps. It shows that, in normal form, key groups such as , , , , and are subgroups of unitary groups and are determined by the invariants of the underlying Hermitian form . A central result is that is defined by a single invariant polynomial, and conversely any subgroup of defined by invariant polynomials can be realized as for some polynomial (or rational) ball map, enabling explicit constructions of maps with prescribed symmetries, including degree- examples with controlled denominators. The paper also provides constructive methods to realize given denominators and to produce maps with specific symmetry groups, highlighting how symmetry constraints influence map degree and evenness of numerator/denominator. These results enrich the toolkit for understanding the interaction between holomorphic maps and their group symmetries in several complex variables.

Abstract

Given a proper, rational map of balls, D'Angelo and Xiao introduced five natural groups encoding properties of the map. We study these groups using a recently discovered normal form for rational maps of balls. Using this normal form, we also provide several new groups associated to the map.
Paper Structure (7 sections, 14 theorems, 37 equations)

This paper contains 7 sections, 14 theorems, 37 equations.

Key Result

Theorem 1.3

Suppose $f \colon {\mathbb{B}}_n \to {\mathbb{B}}_N$ is a rational proper map in normal form and $f$ is not linear. Then

Theorems & Definitions (27)

  • Definition 1.1
  • Definition 1.2
  • Theorem 1.3
  • Corollary 1.4
  • Theorem 1.5
  • Lemma 3.1: Lemma 2.1 from Lnormal
  • Lemma 3.2: From Lnormal
  • Lemma 3.3
  • proof
  • Lemma 3.4
  • ...and 17 more