skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Numerical homotopies from Khovanskii bases
We present numerical homotopy continuation algorithms for solving systems of equations on a variety in the presence of a finite Khovanskii basis. These homotopies take advantage of Anderson’s flat degeneration to a toric variety. When Anderson’s degeneration embeds into projective space, our algorithm is a special case of a general toric two-step homotopy algorithm. When Anderson’s degeneration is embedded in a weighted projective space, we explain how to lift to a projective space and construct an appropriate modification of the toric homotopy. Our algorithms are illustrated on several examples using Macaulay2.  more » « less
Award ID(s):
1913119
PAR ID:
10513579
Author(s) / Creator(s):
; ;
Publisher / Repository:
American Mathematical Society
Date Published:
Journal Name:
Mathematics of Computation
Volume:
92
Issue:
343
ISSN:
0025-5718
Page Range / eLocation ID:
2333 to 2353
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We prove that the moduli space of rational curves with cyclic action, constructed in our previous work, is realizable as a wonderful compactification of the complement of a hyperplane arrangement in a product of projective spaces. By proving a general result on such wonderful compactifications, we conclude that this moduli space is Chow-equivalent to an explicit toric variety (whose fan can be understood as a tropical version of the moduli space), from which a computation of its Chow ring follows. 
    more » « less
  2. Abstract We introduce adic tropicalizations for subschemes of toric varieties as limits of Gubler models associated to polyhedral covers of the ordinary tropicalization. Our main result shows that Huber's adic analytification of a subscheme of a toric variety is naturally isomorphic to the inverse limit of its adic tropicalizations, in the category of locally topologically ringed spaces. The key new technical idea underlying this theorem is cofinality of Gubler models, which we prove for projective schemes and also for more general compact analytic domains in closed subschemes of toric varieties. In addition, we introduce a ‐topology and structure sheaf on ordinary tropicalizations, and show that Berkovich analytifications are limits of ordinary tropicalizations in the category of topologically ringed topoi. 
    more » « less
  3. For a large class of maximally degenerate families of Calabi–Yau hypersurfaces of complex projective space, we study non- Archimedean and tropical Monge–Ampère equations, taking place on the associated Berkovich space, and the essential skeleton therein, respectively. For a symmetric measure on the skeleton, we prove that the tropical equation admits a unique solution, up to an additive constant. Moreover, the solution to the non-Archimedean equation can be derived from the tropical solution, and is the restriction of a continuous semipositive toric metric on projective space. Together with the work of Yang Li, this implies the weak metric SYZ conjecture on the existence of special Lagrangian fibrations in our setting. 
    more » « less
  4. Bauer, Tomer; Liu, Gaku (Ed.)
    There is an abundance of deep literature on the use of free resolutions to study modules and vector bundle resolutions to study coherent sheaves. When studying a module over the Cox ring of a smooth projective toric variety X, each approach comes with its own challenges. There is geometric information that free resolutions fail to encode, while vector bundle resolutions resist study using algebraic and combinatorial techniques. Recently, Berkesch, Erman, and Smith introduced virtual resolutions, which are amenable to algebraic and combinatorial study and also capture desirable geometric information. In this extended abstract, we continue this program in the combinatorially-rich Stanley–Reisner setting. In particular, when X is a product of projective spaces, we produce a large new class of virtually Cohen–Macaulay Stanley–Reisner rings. After augmenting the simplicial complexes associated to these Stanley–Reisner rings with a coloring that reflects the product structure on X, our primary tool is Reisner’s criterion, whose conclusion we interpret in the virtual setting. We also provide two constructions of short virtual resolutions for use beyond the Stanley–Reisner case. 
    more » « less
  5. The rational homotopy type of a mapping space is a way to describe the structure of the space using the algebra of its homotopy groups and the differential graded algebra of its cochains. An L∞-model is a graded Lie algebra with a family of higher-order brackets satisfying the generalized Jacobi identity and antisymmetry. It can be used to study the rational homotopy type of a space. The nilpotency index of an L∞-model is useful in understanding a space's algebraic structure. In this paper, we compute the rational homotopy type of the component of some mapping spaces between projective spaces and determine the nilpotency index of corresponding L∞-models. 
    more » « less