Hénon maps with biholomorphic Kato surfaces

Let <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper F"> <mml:semantics> <mml:mi>F</mml:mi> <mml:annotation encoding="application/x-tex">F</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding="application/x-tex">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> be generalized Hénon maps. We show that the Kato surfaces associated to the germs of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper F"> <mml:semantics> <mml:mi>F</mml:mi> <mml:annotation encoding="application/x-tex">F</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding="application/x-tex">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> near infinity are biholomorphic if and only if <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper F"> <mml:semantics> <mml:mi>F</mml:mi> <mml:annotation encoding="application/x-tex">F</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding="application/x-tex">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> are conjugate in <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper A u t left-parenthesis double-struck upper C squared right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>A</mml:mi> <mml:mi>u</mml:mi> <mml:mi>t</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:msup> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">C</mml:mi> </mml:mrow> <mml:mn>2</mml:mn> </mml:msup> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> <mml:annotation encoding="application/x-tex">Aut\left (\mathbb {C}^2\right )</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. This answers a question raised by Favre in the survey of Julia Xénelkis de Hénon [Arnold Math. J. 10 (2024), pp. 585–620]. Moreover, we describe all the Kato surfaces associated to the germ of a generalized Hénon map near infinity. We also show that two generalized Hénon maps are conjugate near infinity, if and only if they are affinely conjugate.