Reference wanted for application of Parametric Transversality - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T21:04:43Z http://mathoverflow.net/feeds/question/95557 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/95557/reference-wanted-for-application-of-parametric-transversality Reference wanted for application of Parametric Transversality Dick Palais 2012-04-30T06:54:21Z 2012-04-30T18:26:03Z <p>Let $\hbox{Aff(}k,n)$ be the space of $k$-dimensional affine subspaces of $R^n$. The group of Euclidean isometries of $R^n$ (the semi-direct product of rotations and translation) acts transitively on $\hbox{Aff(}k,n)$, so by general Lie theory $\hbox{Aff(}k,n)$ is a smooth manifold and there is a smooth invariant measure on it (called kinematic measure in Integral Geometry) that is unique to within positive scalar multiple. If $M$ is a smooth $(n-m)$-dimensional submanifold of $R^n$, then it is an easy corollary of the Parametric Transversality Theorem that all $F \in \hbox{Aff(}k,n)$ outside a set $E$ of measure zero are transversal to $M$, so that if $F \notin E$ then $F\cap M$ is a smooth $(n-(m+k))$-dimensional submanifold of $R^n$. (Special case: Almost all lines in $R^3$ intersect a given surface in a discrete set.) Of course this has to be a well-known theorem, and I would like to know the appropriate reference for it. </p> http://mathoverflow.net/questions/95557/reference-wanted-for-application-of-parametric-transversality/95560#95560 Answer by alvarezpaiva for Reference wanted for application of Parametric Transversality alvarezpaiva 2012-04-30T07:30:03Z 2012-04-30T07:30:03Z <p>Dear Richard,</p> <p>I think this is just thought of as "folklore" in integral geometry (sorry, never seen it written down). This is probably because the statement you give follows from something that needs almost no technology to prove:</p> <p>The set of $k$-flats that are <em>parallel</em> to a given $k$-dimensional subspace $L$ can be identified $R^n / L$ and provided with the Lebesgue measure. Among these flats, those that intersect the manifold $M$ transversely have full measure in $R^n / L$. </p> <p>One then uses the usual decomposition of the kinematical measure (the set of affine $k$-flats is the total space of a tautological bundle over a Grassmannian) to conclude the statement you seek.</p> http://mathoverflow.net/questions/95557/reference-wanted-for-application-of-parametric-transversality/95600#95600 Answer by Misha for Reference wanted for application of Parametric Transversality Misha 2012-04-30T18:26:03Z 2012-04-30T18:26:03Z <p>This is a special case of a more general theorem on generic transversality of submanifolds in homogeneous spaces: </p> <p>Let $Y$ be a smooth homogeneous space for a Lie group $G$ and $Z_1, Z_2\subset Y$ be smooth submanifolds. Then for any measure in the Lebesgue measure class on $G$, for almost all $g\in G$ the intersection $Z_1\cap g Z_2$ is transversal. </p> <p>Algebraic geometers know this result as <em>Kleiman Transversality Theorem</em> (in the context of smooth algebraic varieties and algebraic group actions), see </p> <p>S.L. Kleiman, The transversality of a general translate, Compositio Math. 28 (1974), 287–297. </p> <p>When we needed this (actually, a bit more general) result in the category of smooth manifolds and actions we could not find this (folklore) theorem in the literature, so we proved it in Proposition 2.3 of M. Kapovich, B. Leeb and J. Millson, "Convex functions on symmetric spaces, side lengths of polygons and the stability inequalities for weighted configurations at infinity," Journal of Differential Geometry, Vol. 81, 2009, p. 297-354. </p> <p>The result that we proved is slightly more general and deals with several smooth submanifolds of $Y$ and their $G$-translates. </p>