arXiv subjects
Publications and source records attributed to John Atwell Moody.
A theorem of Functorial Affinization of Nash's manifold is proven here giving necessary and sufficient conditions to lift a holomorphic arc to the smooth locus of the Nash manifold. In addition a theorem about valuations is proven.
Let M be a singular irreducible complex manifold of dimension n. There are Q divisors D[-1], D[0], D[1],...,D[n+1] on Nash's manifold U -> M such that D[n+1] is relatively ample on bounded sets, D[n] is relatively eventually basepoint free on bounded sets, and D[-1] is canonical with the same relative plurigenera as a resolution of M. The divisor D=D[n] is the supremum of divisors (1/i)D_i. An arc g containing one singular point of M lifts to U if and only if the generating number of oplus_i O_g(D_i) is finite. When it is finite it equals 1+(K_U-K) .g where O_U(K) is the pullback mod torsion of Lambda^n Omega_M. If C is a complete curve in U then (-1/(n+1))K_U .C=D_1 .C + D_n+2 .C + D_(n+2)^2 .C +..... When there are infinitely many nonzero terms the sum should be taken formally or p-adically for a prime divisor p of n+2. There are finitely many nonzero terms if and only if C. D=0. The natural holomorphic map U -> M factorizes through the contracting map U -> Y_0. If M is bounded, the Grauert-Riemenschneider sheaf of M is Hom(O_M(D_{(n+2)^i - 1}), O_M(D_{(n+2)^i})) for large i. If M is projective, singular foliations on M such that K+(n+1)H is a finitely-generated divisor of Iitaka dimension one are completely resolvable, where K is the canonical divisor of the foliation and H is a hyperplane. There are some precise open questions in the article. According to a question of [7] it is not known whether Y_0 has canonical singularities.
Local analytic germs can be simultaneously deformed equivariantly for the flow if there is one holomorphic solution whose degree is high compared to local discrepancy.
Convergence of the Gauss resolution process for a complex singular foliation of dimension r is shown to be equivalent to finite type of a graded sheaf which is built using base (r+2) expansions of integers. As applications it is calculated which foliations coming from split semisimple representations of commutative Lie algebras can be resolved torically with respect to an eigenspace decomposition and it is shown that Gaussian resolutions stabilize for irreducible normal projective varieties with foliations of dimension r for which (r+1)H+K is finitely generated with Iitaka dimension less than two where H is a hyperplane section and K a canonical divisor of the foliation. For normal irreducible complex projective varieties with very ample divisor H and a resolvable foliation, functorial locally closed conditions on vector subspaces X \subset |iH| are given which hold for large i and ensure that blowing up the base locus of X and one further Gaussian blowup resolves the foliation.
This paper gives conditions for a singular foliation to be resolved.
This paper gives a general nonsingularity condition for a blowup along an ideal, related to Gaussian curvature.
Let V be an irreducible affine algebraic variety over a field k of characteristic zero, and let (f_0,...,f_m) be a sequence of elements of the coordinate ring. There is probably no elementary condition on the f_i and their derivatives which determines whether the blowup of V along (f_0,...,f_m) is nonsingular. The result is that there indeed is such an elementary condition, involving the first and second derivatives of the $f_i,$ provided we admit certain singular blowups, all of which can be resolved by an additional Nash blowup. There is is a particular explicit sequence of ideals R=J_0, J_1, J_2,... \subset R so that V_i=Bl_{J_i}V is the i'th Nash blowup of V, with J_i|J_{i+1} for all i. Applying our earlier paper, V_i is nonsingular if and only if the ideal class of J_{i+1} divides some power of the ideal class of J_i. The present paper brings things down to earth considerably: such a divisibility of ideal classes implies that for some N\ge r+2 J_i^{N-r-2}J_{i+1}^{r+3}=J_i^NJ_{i+2}. Yet note that this identity in turn implies J_{i+2} is a divisor of some power of J_{i+1}. Thus although $V_i$ may fail to be nonsingular, when the identity holds the {\it next} variety V_{i+1} must be nonsingular. Thus the Nash question is equivalent to the assertion that the identity above holds for some sufficiently large i and N.