Skip to main content
Log in

Trace Test

  • Research Contribution
  • Published:
Arnold Mathematical Journal Aims and scope Submit manuscript

Abstract

The trace test in numerical algebraic geometry verifies the completeness of a witness set of an irreducible variety in affine or projective space. We give a brief derivation of the trace test and then consider it for subvarieties of products of projective spaces using multihomogeneous witness sets. We show how a dimension reduction leads to a practical trace test in this case involving a curve in a low-dimensional affine space.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6

Similar content being viewed by others

References

  • Arbarello, E., Cornalba, M., Griffiths, P.A., Harris, J.: Geometry of Algebraic Curves, Vol. I, Grundlehren der Mathematischen Wissenschaften, vol. 267. Springer, New York (1985)

    Google Scholar 

  • Brake, D. A., Hauenstein, J. D., and Liddell, A. C.: Decomposing solution sets of polynomial systems using derivatives, In: Greuel G.M., Koch T., Paule P., Sommese A. (eds.) Mathematical Software ICMS 2016. ICMS 2016. Lecture Notes in Computer Science, vol. 9725, pp. 127–135. Springer International Publishing, Cham (2016)

  • Harris, J.: Algebraic Geometry, Graduate Texts in Mathematics, vol. 133. Springer, New York (1992)

    Book  Google Scholar 

  • Hauenstein, J.D., and Rodriguez, J.I.: Multiprojective witness sets and a trace test, (2015). arXiv:1507.07069

  • Hauenstein, J.D., Sommese, A.J.: Witness sets of projections. Appl. Math. Comput. 217(7), 3349–3354 (2010)

    MathSciNet  MATH  Google Scholar 

  • Jouanolou, J.: Théorèmes de Bertini et applications, Progress in Mathematics, vol. 42. Birkhäuser Boston Inc., Boston (1983)

    MATH  Google Scholar 

  • Lazarsfeld, R.: Positivity in Algebraic Geometry. I, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, vol. 48. Springer, Berlin (2004)

    Google Scholar 

  • Sommese, A.J., Verschelde, J.: Numerical homotopies to compute generic points on positive dimensional algebraic sets. J. Complex. 16(3), 572–602 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  • Sommese, A.J., Verschelde, J., Wampler, C.W.: Numerical decomposition of the solution sets of polynomial systems into irreducible components. SIAM J. Numer. Anal. 38(6), 2022–2046 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  • Sommese, A.J., Verschelde, J., Wampler, C.W.: Symmetric functions applied to decomposing solution sets of polynomial systems. SIAM J. Numer. Anal. 40(6), 2026–2046 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  • Sommese, A.J., Wampler, C.W.: The Numerical Solution of Systems of Polynomials. World Scientific Publishing Co. Pte. Ltd., Hackensack (2005)

    Book  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Frank Sottile.

Additional information

Research of Leykin supported in part by NSF grants DMS-1151297 and DMS-1719968. Research of Rodriguez supported in part by NSF Grant DMS-1402545. Research of Sottile supported in part by NSF Grant DMS-1501370.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Leykin, A., Rodriguez, J.I. & Sottile, F. Trace Test. Arnold Math J. 4, 113–125 (2018). https://doi.org/10.1007/s40598-018-0084-3

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s40598-018-0084-3

Keywords

Mathematics Subject Classification

Navigation