Classifying polynomial maps by means of polyhedral geometry

在柏拉图的洞穴寓言中，人们被困在洞穴中，只能看到洞穴外现实世界运动的阴影。对他们来说，洞穴墙上的这些影子图像构成了现实，因为他们知道的就是这些--他们不能转身向洞穴外看。同样，对于多项式映射的拓扑学，我们仅限于查看分叉集-阴影-才能对非典型纤维-投射阴影的真实对象-做出陈述。根据柏拉图的观点，只有罕见的真正的哲学家才能成功地逃离洞穴进入现实。目前，我们将满足于从阴影中进行外推。这个项目涉及从复平面到其自身的多项式映射的研究。也就是说，在这些函数下图像中的点的坐标是源空间中的点的坐标中的多项式。这类映射的拓扑类型表示其前像在目标平面上的轨迹所形成的形状。区分拓扑相同和拓扑不同的映射是许多数学应用的关键。例如，动态系统中迭代多项式映射、隐式统计模型的似然函数以及优化问题的解的每一种行为都可能因它们各自的拓扑结构不同而有很大差异，缺乏有效的方法来区分这些情况阻碍了多项式映射的开放拓扑分类问题的任何进展。在这个项目中，我将开发一套方法来填补这一空白。在我看来，建立这些方法的理想基础是对分支集的准确表征。这是目标空间中前像是局部平凡纤维的最小点集。因此，我的项目重点是对分岔集的一种新颖的描述。我最近设计了一种组合方法来描述集合中在复平面外产生非典型行为的部分。对于补充部分，我将采用已知的技术，如A-判别式和环面几何。通过合并所有这些方法，我将得到两个相互独立的分岔集的描述，为不同的应用而设计：第一，适合于结构简单的多项式的精确刻画。其次，也是本质上，四种可能的方法将问题转化为热带曲线组合类型的分类。我将通过设计一个对应定理来实现这一点，该定理将平面曲线的拓扑与图的组合联系起来。

In Plato's allegory of the cave, people are trapped in a cave and can only see the shadows of movements from the real world outside the cave. These shadow images on the cave's wall constitute reality to them, as it's all they know - they cannot turn around to look outside the cave. Similarly, with topology of polynomial maps, we are restricted to looking at the bifurcation set - the shadows - to be able to make statements about the atypical fibres - the true objects casting the shadows. According to Plato, only the rare true philosopher will succeed in escaping from the cave into reality. For now, we will content ourselves with extrapolating from the shadows.This project concerns the study of polynomial maps from the complex plane to itself. That is, the coordinates of points in the image under those functions are polynomials in the coordinates of points in the source space. The topological type of such a map denotes the shape taken by its preimages' locus over the target plane.Distinguishing between topologically identical and topologically different maps is key for numerous applications in mathematics. For instance, each of the behaviours of iterated polynomial maps in dynamical systems, likelihood functions of an implicit statistical model, and solutions to optimization problems may vary considerably if their respective polynomial maps differ in topology.The lack of effective procedures to differentiate between those cases hinders any progress in the open topological classification problem of polynomial maps. In this project, I will develop a set of methods to fill this gap.In my opinion, an ideal base on which to build these approaches is an accurate characterization of the bifurcation set. That is the smallest set of points in the target space at which the preimage is a locally trivial fibration. Hence, the focal point of my project is a novel description of the bifurcation set. I have recently designed a combinatorial method to describe the part of the set producing atypical behaviour outside the complex plane. For the complementary part, I will adapt known techniques such as A-discriminants and toric geometry. By merging all these approaches, I will arrive at two mutually independent descriptions of the bifurcation set, designed for distinct applications:Firstly, a precise characterization suited for polynomials with simple structures. Secondly and essentially, four possible approaches to transform the problem into a classification of combinatorial types of tropical curves. This I will achieve by designing a correspondence theorem linking the topology of planar curves with the combinatorics of graphs.