English

Condition of intersecting a projective variety with a varying linear subspace

Numerical Analysis 2016-05-26 v3

Abstract

The numerical condition of the problem of intersecting a fixed mm-dimensional irreducible complex projective variety ZPnZ\subseteq\mathbb{P}^n with a varying linear subspace LPnL\subseteq\mathbb{P}^n of complementary dimension s=nms=n-m is studied. We define the intersection condition number κZ(L,z)\kappa_Z(L,z) at a smooth intersection point zZLz\in Z\cap L as the norm of the derivative of the locally defined solution map G(s,Pn)Pn,Lz\mathbb{G}(s,\mathbb{P}^n)\to\mathbb{P}^n,\, L\mapsto z. We show that κZ(L,z)=1/sinα\kappa_Z(L,z) = 1/\sin\alpha, where α\alpha is the minimum angle between the tangent spaces TzZT_zZ and TzLT_zL. From this, we derive a condition number theorem that expresses 1/κZ(L,z)1/\kappa_Z(L,z) as the distance of LL to the local Schubert variety, which consists of the linear subspaces having an ill-posed intersection with ZZ at zz. A probabilistic analysis of the maximum condition number κZ(L):=maxκZ(L,zi)\kappa_Z(L) := \max \kappa_Z(L,z_i), taken over all intersection points ziZLz_i\in Z\cap L, leads to the study of the volume of tubes around the Hurwitz hypersurface Σ(Z)\Sigma(Z). As a first step towards this, we express the volume of Σ(Z)\Sigma(Z) in terms of its degree.

Keywords

Cite

@article{arxiv.1510.04142,
  title  = {Condition of intersecting a projective variety with a varying linear subspace},
  author = {Peter Bürgisser},
  journal= {arXiv preprint arXiv:1510.04142},
  year   = {2016}
}

Comments

A technically involved proof in the previous version was replaced by a short argument from complex algebraic geometry. This led to a substantial shortening of paper