arXiv:1903.02481v2 [math.AG] 14 Oct 2020 ssila es xoeta vni h case the in even exponential least at still is mohhprufcsase usin11i h ffimtv for unirationa affirmative the of in study 1.1 their Question in answer [14] hypersurfaces Pandharipande smooth and Mazur, Harris, to of usin1.1. Question eed nyo ( on only depends lsial that classically nabtaysot yesraeo degree of hypersurface smooth arbitrary an required case nwrt usin11t eta h ieso s( is the that be to 1.1 Question to answer k iesosma that mean F ojcue1.2 Conjecture dimension. eea 1,1] tnadeape sePooiin31 hwtha show 3.1) Proposition (see examples Standard 17]. [10, general ntepriua mohhypersurface smooth particular the on oeta usin11mgtb nwrdpstvl for positively answered be might 1.1 Question that hope 1 hudb,atog hr r meit oe onscmn rmPr from coming bounds lower immediate are there although be, should npriua,w ol iet nwi hr r rpe ( triples are there if know to like would we particular, In ewr hogotoe nagbaclycoe edo characteris of field closed algebraically an over throughout work We h ujc a eevdmc neetoe eea eae.A decades. several over interest much received has subject The bound The nteseilcase special the In ( k d X pae otie in contained -planes a trtdepnnil.Hwvr hi on a o expecte not was bound their However, exponential). iterated (an > k ) d pc fdegree of space eJn-ear ojcuefor Conjecture Jong-Debarre de lnson planes eas rv naaoosrsl for result analogous an prove also We nabtaysot yesraesatisfying hypersurface smooth arbitrary an Abstract. a h xetddimension expected the has ≤ n eko fn ojcuea owa h pia on for bound optimal the what to as conjecture no of know we 1 e e ogo tlatepnnilywith exponentially least at grow to + +1 n . n F X hti h ieso of dimension the is What ≥ k IERSBPCSO HYPERSURFACES OF SUBSPACES LINEAR d Jong-Debarre) (de ( Let ilb reuil fteepce ieso.A plctos eprov we applications, As dimension. expected the of irreducible be will d X ,d k d, n, e nCnetr . skont eotml(e rpsto .) nthe In 3.2). Proposition (see optimal be to known is 1.2 Conjecture in slclyctotby out cut locally is ) k X uvson curves F hr sacnetrdase st when to as answer conjectured a is there 1 = ea rirr mohhprufc in hypersurface smooth arbitrary an be k X n o nteseicsot hypersurface smooth specific the on not and ) ( X . sepy hsi nedtecs hntehypersurface the when case the indeed is This empty. is ) OABHST N RCRIEDL ERIC AND BEHESHTI ROYA X ilb reuil fteepce ieso rvddthat provided dimension expected the of irreducible be will n 2 ≥ n . 1. − If 2 d Introduction X d − k X pae:if -planes: − :tesaeo ie in lines of space the 4: for F ⊂ k d k 3 d + ( k 1 . n Let . X d 1. = P k  n ≥ ag eaieto relative large d ) qain.Teeoe n ih xetthe expect might one Therefore, equations. ? sasot yesraewith hypersurface smooth a is 2 rhsbe o ntl ayvle of values many finitely for been has or d n ! F ≥ suiainl n epoeta the that prove we and unirational, is k k ( 2 X 1)( + d ) n + CP k k ⊂ ag eaieto relative large − n 1 n X G  ,d k d, n, − fdegree of + ( a ieso 2 dimension has ,n k, n k k n hntesaeof space the then , ) dim t and − eteHletscheme Hilbert the be ) lpirwr a either has work prior ll xrml ag relative large extremely F o hc h answer the which for ) aaeeiain of parameterizations l 1 i .Let 0. tic ( ob pia,and optimal, be to d d k d X epoethe prove We . F + n k u hr remains there but , psto 3.1. oposition k k a h expected the has )  ntrsof terms in ( X hr negative where , X d ti known is It . n utdepend must ) and − that e d d X − ≤ k k 3. ⊂ . - n then , d P X n and be d is . Conjecture 1.2 is known for small degree. Debarre proved the result for d ≤ 5 in unpub- lished work, Beheshti, Landsberg-Tommasi, and Landsberg-Robles prove the conjecture for d ≤ 6 [2, 21, 20]. Beheshti [3] proves Conjecture 1.2 for d ≤ 8. We address Question 1.1 for all degrees k, and prove a result that is within a factor of k + 1 of being optimal. We additionally prov