In the famous paper by D. Fischer-Colbrie "Some rigidity theorems for minimal submanifolds of the sphere", the very first sentence reads: It is well known that the regularity of minimal submanifolds can be reduced to the study of minimal cones and hence to compact minimal subsminifolds of the sphere.
I understand this might be one of those results relating the so called tangent cones at infinity to cones over compact submanifolds of spheres, but I would like some more clarification.
What is the definition of the tangent cone at infinity of a minimal submanifold of dimension $k$ in $\mathbb{R}^{m+k}$? What is precisely the blow down?
What is the dimension of this tangent cone at infinity? Under which conditions is this cone smooth outside the tip?
What is the definition of the minimal cones (not tangent at infinity) and how do they relate to compact submanifolds of the sphere?
I understand the author uses an identification of the tangent cone at infinity of the minimal submanifold of $\mathbb{R}^{m+k}$ with the cone over the compact submanifold of $S^{m+k-1}$. But what is the dimension of this compact submanifold so that its cone will "coincide" with the cone at infinity in $\mathbb{R}^{m+k}$?
Are there any specific references for that? Such things appear here and there, but I have never seen a proof neither a narrow reference. I have looked and got lost in Federer's book.
I would be very happy if I can understand precisely all these identifications and definitions.