Free maps in critical dimension on mathbbTm

Roberto De Leo

In the authors' words

The critical dimension for free maps on m-manifolds is $q_{m} = m (m + 3) /2$ . We show that $F r e e^{\infty} (T^{m}, R^{q_{m}}) \neq = \emptyset$ for every $m \geq 1$ . The main tool is a product construction: given free maps in critical dimension on $T^{a}$ and on $T^{b}$ , together with a cross-free map on $T^{a} \times T^{b}$ , whose mixed Hessian is invertible everywhere, we obtain a free map in critical dimension on $T^{a + b}$ , the osculating matrix of the product being block-triangular. Cross-free maps are additive in each argument, and in the torus setting none exists when one factor is one-dimensional. We construct explicit cross-free maps on $T^{2} \times T^{2}$ and on $T^{3} \times T^{4}$ using quaternionic multiplication. Combined with the low-dimensional cases $m \leq 5$ , constructed explicitly by the author in a previous publication, these yield the result by induction.

Main resultLimitation the authors admit

Free maps in critical dimension on Tm

In the authors' words

More on Geometry & topology that day

Fractional illumination and the optimal exponential rate in Hadwiger's covering conjecture

Nonsmoothable Embedded Surfaces in 4-Manifolds That Become Smoothable after a Single Stabilization

Quasihyperbolic domains are CAT(2)

Chain-level decoupling of the physical heterotic G2​ deformation complex at the standard embedding

A Differential-Geometric Framework for Risk-Optimal Asset Reallocation

Free maps in critical dimension on $T^{m}$

Chain-level decoupling of the physical heterotic $G_{2}$ deformation complex at the standard embedding