×

Computing totally real hyperplane sections and linear series on algebraic curves. (English) Zbl 1498.14150

Suppose \(X\) is an algebraic curve over the real field of degree \(d\) embedded into some projective space. One can ask whether there exists a real hyperplane meeting \(X\) in real points only. More generally, given any divisor \(D\) on \(X\) defined over \(\mathbb{R}\), one may ask whether the linear series \(|D|\) contains an effective divisor with totally real support. Note that the linear series \(|D|\) contains an effective divisor with totally real support if the degree of the divisors is sufficiently large. (See [V. A. Krasnov, Math. Notes 32, 661–666 (1982; Zbl 0515.14028); translation from Mat. Zametki 32, 365–374 (1982); C. Scheiderer, Trans. Am. Math. Soc. 352, No. 3, 1039–1069 (2000; Zbl 0941.14024)].) Moreover, it is also known that for a given genus and number of real connected components, any linear series of sufficiently large degrees contains a totally real effective divisor.
Even though the theoretical answer to the problem is positive, one may curious about explicit bounds for the degree of the divisors (such that the linear series \(|D|\) contains an effective divisor with totally-real supports).
By the way, the problem can be translated into a particular type of parametrized real root counting problem and they introduce an algorithm for solving the parametric systems. Using the algorithms described in this paper, they investigate a number of examples, which we can compare to the best-known bounds for the required degree.
Here is the summary of their computational results:
1.
There exist canonical curves \(X\) in \(\mathbb{P}^3\) with one or two ovals which do not allow simple totally real hyperplane sections (Example 3.1).
2.
There exists a curve \(X\) in \(\mathbb{P}^3\) of genus two and degree five having one oval which does not allow a simple totally real hyperplane section (Example 3.3).
3.
There are infinitely many plane quartics X with many ovals possessing a (complete) linear series of degree four which does not contain a totally real divisor (Example 4.2).
4.
For every \(d \ge 3\) and every number \(1 \le s\le g+1\) with \(g=\frac{(d-1)(d-2)}{2}\), there exists a plane curve \(X\) of degree \(d\), genus \(g\) and having \(s\) branches such that the linear series of lines \(|L|\) is totally real (Theorem 4.3).

MSC:

14Q05 Computational aspects of algebraic curves
14P05 Real algebraic sets
13P15 Solving polynomial systems; resultants
68W30 Symbolic computation and algebraic computation

References:

[1] Alexandre Bardet,Diviseurs sur les courbes réelles, Ph.D. thesis, Université d’Angers, 2013.
[2] Saugata Basu - Richard Pollack - Marie-Françoise Roy,Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics), Springer-Verlag, Berlin, Heidelberg, 2006. · Zbl 1102.14041
[3] Luigi Brusotti,Sulla piccola variazione di una curva piana algebrica reale, 1921. · JFM 48.0729.02
[4] Daniel R. Grayson - Michael E. Stillman,Macaulay2, a software system for research in algebraic geometry, Available athttp://www.math.uiuc.edu/Macaulay2/.
[5] Phillip Griffiths - Joseph Harris,Principles of algebraic geometry, Wiley Classics Library, John Wiley & Sons, Inc., New York, 1994, Reprint of the 1978 original. · Zbl 0836.14001
[6] Axel Harnack,Ueber die Vieltheiligkeit der ebenen algebraischen Curven, Math. Ann. 10 no. 2 (1876), 189-198. · JFM 08.0438.01
[7] Charles Hermite,Sur le nombre des racines d’une équation algébrique comprises entre des limites données. Extrait d’une lettre á M. Borchardt, J. Reine Angew. Math. 52 (1856), 39- 51. · ERAM 052.1365cj
[8] J. Huisman,On the geometry of algebraic curves having many real components, Rev. Mat. Complut. 14 no. 1 (2001), 83-92. · Zbl 1001.14021
[9] J. Huisman,Non-special divisors on real algebraic curves and embeddings into real projective spaces, Ann. Mat. Pura Appl. (4) 182 no. 1 (2003), 21-35. · Zbl 1072.14072
[10] Ilia Itenberg - Grigory Mikhalkin - Johannes Rau,Rational quintics in the real plane, Trans. Amer. Math. Soc. 370 no. 1 (2018), 131-196. · Zbl 1405.14135
[11] Alexander Kobel - Fabrice Rouillier - Michael Sagraloff,Computing Real Roots of Real Polynomials ... and Now For Real!, Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation (New York, NY, USA), ISSAC ’16, Association for Computing Machinery, 2016, p. 303-310. · Zbl 1365.65142
[12] V. A. Krasnov,Albanese mapping for GMZ-varieties, Mat. Zametki 35 no. 5 (1984), 739- 747. · Zbl 0568.14013
[13] Mario Kummer - Dimitri Manevich,On Huisman’s conjectures about unramified real curves, Preprint arXiv:1909.09601 (2019). · Zbl 1474.14053
[14] Huu Phuoc Le - Mohab Safey El Din,Solving parametric systems of polynomial equations over the reals through Hermite matrices, Preprint arXiv:2011.14136 (2020).
[15] Qing Liu,Algebraic geometry and arithmetic curves, Oxford Graduate Texts in Mathematics, vol. 6, Oxford University Press, Oxford, 2002, Translated from the French by Reinie Erné, Oxford Science Publications. · Zbl 0996.14005
[16] Jean-Philippe Monnier,Divisors on real curves, Adv. Geom. 3 no. 3 (2003), 339-360. · Zbl 1079.14013
[17] Jean-Philippe Monnier,On real generalized Jacobian varieties, J. Pure Appl. Algebra 203 no. 1-3 (2005), 252-274. · Zbl 1082.14063
[18] Daniel Plaumann - Bernd Sturmfels - Cynthia Vinzant,Quartic curves and their bitangents, J. Symbolic Comput. 46 no. 6 (2011), 712-733. · Zbl 1214.14049
[19] A. Popolitov - Sh. Shakirov,On undulation invariants of plane curves, Michigan Math. J. 64 no. 1 (2015), 143-153. · Zbl 1349.14154
[20] Mohab Safey El Din - Éric Schost,Polar Varieties and Computation of One Point in Each Connected Component of a Smooth Real Algebraic Set, Proc. of the 2003 Int. Symp. on Symb. and Alg. Comp. (NY, USA), ISSAC ’03, ACM, 2003, p. 224-231. · Zbl 1072.68693
[21] Claus Scheiderer,Sums of squares of regular functions on real algebraic varieties, Trans. Amer. Math. Soc. 352 no. 3 (2000), 1039-1069. · Zbl 0941.14024
[22] Karl Schwede - Zhaoning Yang,Divisor package for Macaulay2, J. Softw. Algebra Geom. 8 (2018), 87-94. · Zbl 1403.13001
[23] Bican Xia - Lu Yang,An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems, Journal of Symbolic Computation 34 no. 5 (2002), 461-477 · Zbl 1027.68150
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.