-
On the Number of Connected Components of T-Hypersurfaces
Authors:
Jules Chenal
Abstract:
A T-hypersurface is a combinatorial hypersurface of the real locus of a projective toric variety $Y$. It is constructed from a primitive triangulation $K$ of a moment polytope $P$ of $Y$ and a $0$-cochain $\varepsilon$ on $K$ with coefficients in the field with two elements $\mathbb{F}_2$, called a sign distribution. O. Viro showed that when $K$ is convex the T-hypersurface is ambiantly isotopic t…
▽ More
A T-hypersurface is a combinatorial hypersurface of the real locus of a projective toric variety $Y$. It is constructed from a primitive triangulation $K$ of a moment polytope $P$ of $Y$ and a $0$-cochain $\varepsilon$ on $K$ with coefficients in the field with two elements $\mathbb{F}_2$, called a sign distribution. O. Viro showed that when $K$ is convex the T-hypersurface is ambiantly isotopic to a real algebraic hypersurface of $Y$. A. Renaudineau and K. Shaw gave upper bounds on the Betti numbers of T-hypersurfaces in terms of the Hodge numbers of a generic section of the ample line bundle $L$ associated with the moment polytope. In particular, the number of connected components of a T-hypersurface cannot exceed the geometric genus of a generic section of $L$ plus one. In this article we investigate whether this upper bound is attainable. We are able to characterise the couples $(K;\varepsilon)$ leading to T-hypersurfaces realising the Renaudineau-Shaw upper bound on the number of connected components. This theorem generalises B. Haas' theorem for T-curves. In contrast with this results we find that the upper bound is not always attainable on every primitive triangulations. For some of those on which it is not attainable we provide a sharper upper bound. Finally we use our characterisation to show that there always exists a triangulation and a sign distribution on the standard simplex that reach the Renaudineau-Shaw upper bound. We also study the growth of the expected number of connected components of a T-hypersurface as we dilate the moment polytope by $d$ (i.e. we tensorise the line bundle $d$-times with itself) and show that it is always of the order of $d^n$ where $n$ is the dimension of $P$.
△ Less
Submitted 20 August, 2024;
originally announced August 2024.
-
Poincaré Duality, Degeneracy, and Real Lefschetz Property for T-Hypersurfaces
Authors:
Jules Chenal
Abstract:
In Bounding the Betti Numbers of Real Hypersurfaces near the Tropical Limit, [RS23], A. Renaudineau and K. Shaw presented a filtration of the cellular complex of a real, primitively patchworked, hypersurface in a non-singular toric variety. This filtration, inspired by the work of Kalinin, allows, by computation of the first page of its induced spectral sequence, for individual bounds on the Betti…
▽ More
In Bounding the Betti Numbers of Real Hypersurfaces near the Tropical Limit, [RS23], A. Renaudineau and K. Shaw presented a filtration of the cellular complex of a real, primitively patchworked, hypersurface in a non-singular toric variety. This filtration, inspired by the work of Kalinin, allows, by computation of the first page of its induced spectral sequence, for individual bounds on the Betti numbers of such a hypersurface. We present two structural results about this spectral sequence. The first is a Poincar{é} duality satisfied by all its pages of positive index. The second is a vanishing criterion. It reformulates the vanishing of the boundary operators of the spectral sequence in terms of homological properties of the inclusion of the hypersurface in its surrounding toric variety. It implies further that the Renaudineau-Shaw spectral sequence of a T-hypersurface degenerates at the second page if and only if the T-hypersurface satisfies a real version of the Lefschetz hyperplane section theorem. As a consequence the spectral sequence of an odd degree T-hypersurface in a projective space always degenerates at the second page. Acknowledgements : This research was funded, in whole or in part, by l'Agence Nationale de la Recherche (ANR), project ANR-22-CE40-0014. For the purpose of open access, the author has applied a CC-BY public copyright licence to any Author Accepted Manuscript (AAM) version arising from this submission.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
A Poincar{é}-Lefschetz Theorem for Cellular Cosheaves and an Application to the Tropical Homology of Orbifold Toric Varieties
Authors:
Jules Chenal
Abstract:
In a first time we present a version of the Poincar{é}-Lefschetz theorem for certain cellular cosheaves on a particular subdivision of a CW-complex K. To that end we construct a cellular sheaf on K whose cohomology with compact support is isomorphic to the homology of the initial cosheaf. In a second time we use the first result to generalise the tropical version of the Lefschetz hyperplane sectio…
▽ More
In a first time we present a version of the Poincar{é}-Lefschetz theorem for certain cellular cosheaves on a particular subdivision of a CW-complex K. To that end we construct a cellular sheaf on K whose cohomology with compact support is isomorphic to the homology of the initial cosheaf. In a second time we use the first result to generalise the tropical version of the Lefschetz hyperplane section theorem to singular tropical toric varieties and singular tropical hypersurfaces.
△ Less
Submitted 20 July, 2023;
originally announced August 2023.
-
Generalized flag geometries associated with (2k + 1)-graded Lie algebras
Authors:
Julien Chenal
Abstract:
In this paper, we present the construction of a geometric object, called a generalized flag geometry, $(X^+;X^-)$, corresponding to a (2k +1)-graded Lie algebra $g=g_k\oplus\dots\oplus g_{-k}$. We prove that $(X^+;X^-) can be realized inside the space of inner filtrations of g and we use this realization to construct "algebraic bundles" on $X^+$ and $X^-…
▽ More
In this paper, we present the construction of a geometric object, called a generalized flag geometry, $(X^+;X^-)$, corresponding to a (2k +1)-graded Lie algebra $g=g_k\oplus\dots\oplus g_{-k}$. We prove that $(X^+;X^-) can be realized inside the space of inner filtrations of g and we use this realization to construct "algebraic bundles" on $X^+$ and $X^-$ and some sections of these bundles. Thanks to these constructions, we can give a realization of $g$ as a Lie algebra of polynomial maps on the positive part of $g$, $n^+_1:=g_1\oplus\dots\oplus g_k$, and a trivialization in $n^+_1$ of the action of the group of automorphisms of $g$ by "birational"maps.
△ Less
Submitted 23 July, 2010;
originally announced July 2010.
