Patchworking real algebraic hypersurfaces with asymptotically large Betti numbers

• Published in: Journal of topology 2022-09, Vol.15 (3), p.1154-1216
• Main Author: Arnal, Charles
• Format: Article
• Language: English
• Subjects: Algebraic Geometry; Mathematics
• ISSN: 1753-8416; 1753-8424; 1753-8424; 1753-8416
• DOI: 10.1112/topo.12251

In this article, we describe a recursive method for constructing a family of real projective algebraic hypersurfaces in ambient dimension n$n$ from families of such hypersurfaces in ambient dimensions k=1,…,n−1$k=1,\ldots ,n-1$. The asymptotic Betti numbers of real parts of the resulting family can then be described in terms of the asymptotic Betti numbers of the real parts of the families used as ingredients. The algorithm is based on Viro's Patchwork (Patchworking real algebraic varieties, 2006) and inspired by Itenberg's and Viro's construction of asymptotically maximal families in arbitrary dimension (Proceedings of Gökova Geometry‐Topology Conference, 2006). Using it, we prove that for any n$n$ and i=0,…,n−1$i=0,\ldots ,n-1$, there is a family of asymptotically maximal real projective algebraic hypersurfaces {Ydn}d$\lbrace Y^n_d\rbrace _d$ in RPn${\mathbb {R}}{\mathbb {P}}^n$ (where d$d$ denotes the degree of Ydn$Y^n_d$) such that the i$i$th Betti numbers bi(RYdn)$b_i({\mathbb {R}}Y^n_d)$ are asymptotically strictly greater than the (i,n−1−i)$(i,n-1-i)$th Hodge numbers hi,n−1−i(CYdn)$h^{i,n-1-i}({\mathbb {C}}Y^n _d)$. We also build families of real projective algebraic hypersurfaces whose real parts have asymptotic (in the degree d$d$) Betti numbers that are asymptotically (in the ambient dimension n$n$) very large.