Gespeichert in:
| Hauptverfasser: | , , , , , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2601.04383 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915914557947904 |
|---|---|
| author | Breiding, Paul Cobb, John Englander, Aviva K. Farnsworth, Nayda Hauenstein, Jonathan D. Henriksson, Oskar Johnson, David K. Garcia, Jordy Lopez Mundayur, Deepak |
| author_facet | Breiding, Paul Cobb, John Englander, Aviva K. Farnsworth, Nayda Hauenstein, Jonathan D. Henriksson, Oskar Johnson, David K. Garcia, Jordy Lopez Mundayur, Deepak |
| contents | Many hypersurfaces in algebraic geometry, such as discriminants, arise as the projection of another variety. The real complement of such a hypersurface partitions its ambient space into open regions. In this paper, we propose a new method for computing these regions. Existing methods for computing regions require the explicit equation of the hypersurface as input. However, computing this equation by elimination can be computationally demanding or even infeasible. Our approach instead derives from univariate interpolation by computing the intersection of the hypersurface with a line. Such an intersection can be done using so-called pseudo-witness sets without computing a defining equation for the hypersurface - we perform elimination without actually eliminating. We implement our approach in a forthcoming Julia package and demonstrate, on several examples, that the resulting algorithm accurately recovers all regions of the real complement of a hypersurface. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_04383 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Elimination Without Eliminating: Computing Complements of Real Hypersurfaces Using Pseudo-Witness Sets Breiding, Paul Cobb, John Englander, Aviva K. Farnsworth, Nayda Hauenstein, Jonathan D. Henriksson, Oskar Johnson, David K. Garcia, Jordy Lopez Mundayur, Deepak Algebraic Geometry Numerical Analysis Many hypersurfaces in algebraic geometry, such as discriminants, arise as the projection of another variety. The real complement of such a hypersurface partitions its ambient space into open regions. In this paper, we propose a new method for computing these regions. Existing methods for computing regions require the explicit equation of the hypersurface as input. However, computing this equation by elimination can be computationally demanding or even infeasible. Our approach instead derives from univariate interpolation by computing the intersection of the hypersurface with a line. Such an intersection can be done using so-called pseudo-witness sets without computing a defining equation for the hypersurface - we perform elimination without actually eliminating. We implement our approach in a forthcoming Julia package and demonstrate, on several examples, that the resulting algorithm accurately recovers all regions of the real complement of a hypersurface. |
| title | Elimination Without Eliminating: Computing Complements of Real Hypersurfaces Using Pseudo-Witness Sets |
| topic | Algebraic Geometry Numerical Analysis |
| url | https://arxiv.org/abs/2601.04383 |