An elementary coordinate-dependent local resolution of singularities and applications

An elementary classical analysis resolution of singularities method is developed, extensively using explicit coordinate systems. The algorithm is designed to be applicable to subjects such as oscillatory integrals and critical integrability exponents. As one might expect, the trade-off for such an elementary method is a weaker theorem than Hironaka's work [H. Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero I, Ann. of Math. (2) 79 (1964) 109-203; H. Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero II, Ann. of Math. (2) 79 (1964) 205-326] or its subsequent simplications and extensions such as [E. Bierstone, P. Milman, Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant, Invent. Math. 128 (2) (1997) 207-302; S. Encinas, O. Villamayor, Good points and constructive resolution of singularities, Acta Math. 181 (1) (1998) 109-158; J. Kollar, Resolution of singularities—Seattle lectures, preprint; A.N. Varchenko, Newton polyhedra and estimates of oscillatory integrals, Funct. Anal. Appl. 18 (3) (1976) 175-196]. Nonetheless the methods of this paper can be used to prove a variety of theorems of interest in analysis. As illustration, two consequences are given. First and most notably, a general theorem regarding the existence of critical integrability exponents are established. Secondly, a quick proof of a well-known inequality of Lojasiewicz [S. Lojasiewicz, Ensembles semi-analytiques, Inst. Hautes Études Sci., Bures-sur-Yvette, 1964] is given. The arguments here are substantially different from the general algorithms such as [H. Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero I, Ann. of Math. (2) 79 (1964) 109-203; H. Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero II, Ann. of Math. (2) 79 (1964) 205-326], or the elementary arguments of [E. Bierstone, P. Milman, Semianalytic and subanalytic sets, Inst. Hautes Études Sci. Publ. Math. 67 (1988) 5-42] and [H. Sussman, Real analytic desingularization and subanalytic sets: an elementary approach, Trans. Amer. Math. Soc. 317 (2) (1990) 417-461]. The methods here have as antecedents the earlier work of the author [M. Greenblatt, A direct resolution of singularities for functions of two variables with applications to analysis, J. Anal. Math. 92 (2004) 233-257], Phong and Stein [D.H. Phong, E.M. Stein, The Newton polyhedron and oscillatory integral operators, Acta Math. 179 (1997) 107-152], and Varchenko [A.N. Varchenko, Newton polyhedra and estimates of oscillatory integrals, Funct. Anal. Appl. 18 (3) (1976) 175-196].     

Desingularization and integralityof the automorphism scheme of a finite field extension

Let be the automorphism scheme of a finite purely inseparable field extension (in fact, we consider a wide class of finite ring extensions). Let be the splitting algebra of K (see 2.8) and the splitting field of K. It is proved that is integral if and only if . This may be formulated as a condition on the degree of and generalizes a result of Chase. Surprisingly, may be defined intrinsically, since is the scheme parametrizing the maximal smooth subgroups of . It is also proved that the desingularization of is the universal maximal smooth subgroup of and coincides with the blowing up along a closed subscheme canonically defined from the action of on . Received June 4, 1997; in final form July 22, 1998     

Ramification of valuations

In this paper we develop a very explicit theory of ramification of general valuations in algebraic function fields. In characteristic zero and arbitrary dimension, we obtain the strongest possible generalization of the classical ramification theory of local Dedekind domains. We further develop a ramification theory of algebraic functions fields of dimension two in positive characteristic. We prove that local monomialization and simultaneous resolution hold under very mild assumptions, and give pathological examples.     

Every Banach space admits a homogenous measure of non-compactness not equivalent to the Hausdorff measure

In this paper, we show that every infinite dimensional Banach space admits a homogenous measure of non-compactness not equivalent to the Hausdorff measure. Therefore, it resolves a long-standing question.     

Ramification of a finite flat group scheme over a local field

In this paper, we analyze ramification in the sense of Abbes-Saito of a finite flat group scheme over the ring of integers of a complete discrete valuation field of mixed characteristic (0,p). We deduce that its Galois representation depends only on its reduction modulo explicitly computed p-power. We also give a new proof of a theorem of Fontaine on ramification of a finite flat Galois representation, and extend it to the case where the residue field may be imperfect.     

Norm closure and extension of the symbolic calculus for the cone algebra

We investigate the symbolic structure of an algebra of pseudodifferential operators on manifolds with conical singularities which has been introduced by B.-W. Schulze. Our main objective is the extension of the symbolic calculus of this algebra to its norm closure in an adapted scale of Sobolev spaces. This procedure yields Banach algebras and Fréchet algebras of singular integral operators with continuous principal symbols.     

On saturated distinguished chains over a local field II

This is a continuation of the paper (J Number Theory 79 (1999) 217) on saturated distinguished chains (SDCs) over a local field K. Here, we give a “canonical” choice of the next element α₁ in a SDC for α=π₁+π₁π considered in (Ota, 1999) for wildly totally ramified Galois extensions, and this leads us to consider a tower of fields, K⊂K₁⊂K₂⊂…, where K₁=K(α₁) and K_n/K is wildly totally ramified. The union of these fields is particularly interesting, for its conductor over K is very small, close to 1. Moreover, in some cases K is uniquely determined up to isomorphism over K for any such extensions of the same type. We also consider SDCs for an element α=π₁+π₁π₂+?+π₁π₂?π_n for totally ramified Galois extensions of type (m,m,...,m), where m is a power of the characteristic of the residual field of K.     

Every finite semigroup is embeddable in a finite relatively free semigroup

The title result is proved by a Murskii-type embedding.Results on some related questions are also obtained. For instance, it is shown that every finitely generated semigroup satisfying an identity ξ^d=ξ^2d is embeddable in a relatively free semigroup satisfying such an identity, generally with a larger d; but that an uncountable semigroup may satisfy such an identity without being embeddable in any relatively free semigroup.It follows from known results that every finite group is embeddable in a finite relatively free group. It is deduced from this and the proof of the title result that a finite monoid S is embeddable by a monoid homomorphism in a finite (or arbitrary) relatively free monoid if and only if its group of invertible elements is either {e} or all of S.     

More congruences for numerical data of an embedded resolution

To an arbitrary intersection of exceptional varieties of an embedded resolution we associate a finite number of congruences between naturally occurring multiplicities. This theory generalizes previous results concerning just one exceptional variety. Moreover we describe precise equalities which imply the congruences and we give some applications on the poles of Igusa's local zeta function.     

On the graph of a function in two variables over a finite field

We show that if the number of directions not determined by a pointset of , of size q² is at least p^e q then every plane intersects in 0 modulo p^e+1 points and apply the result to ovoids of the generalised quadrangles and .     

On the graph of a function in many variables over a finite field

Some improved bounds on the number of directions not determined by a point set in the affine space AG(k, q) are presented. More precisely, if there are more than p ^e (q − 1) directions not determined by a set of q ^k-1 points then every hyperplane meets in 0 modulo p ^e+1 points. This bound is shown to be tight in the case p ^e = q ^s and when q = p ^es sets of q ^k-1 points that do not meet every hyperplane in 0 modulo p ^e+1 points and have a little less than p ^e (q − 1) non-determined directions are constructed. The author acknowledges the support of the Ramon y Cajal programme and the project MTM2005-08990-C02-01 of the Spanish Ministry of Science and Education and the project 2005SGR00256 of the Catalan Research Council.     

Embedding a novel objective function in a two-phased local search for robust vertex coloring

In this paper, we propose a two-phased local search for vertex coloring. The algorithm alternately executes two closely interacting functionalities, i.e., a stochastic and a deterministic local search. The stochastic phase is basically based on biased random sampling that, according to a probability matrix storing the probability a vertex can be assigned to a color, iteratively constructs feasible colorings. The deterministic phase, instead, consists in assigning sequentially, according to a given ordering, each vertex to the color which causes the lowest increase of the solution penalty, and then, when the schedule is constructed, swap operations are executed to improve the performance. The interaction between the two phases is implemented by tunnelling information of what happened during a phase to the successive ones. Beyond the algorithm scheme, the novelty of the approach stems from the fact that the objective function is not minimizing the number of colors but a new penalty function. The proposed approach is tested on known benchmarks for the studied problem available on the public domain. From a comparison to the state of the art it appears that the proposed approach is robust and is able to achieve best known results.     

On the finite extension of the marginal function arising in decomposition algorithms 1

We consider the problem how a convex optimal-value function arising in primal decomposition can be finitely continued beyond its domain. By a suitable presentation of the exact penalty method an implementable continuation can be obtained which does not change the set of optimal solutions. If the problem has separability and partially linearity properties we manage to obtain a complete continuation of the optimal-value function.     

Erratum to: Every Banach space admits a homogenous measure of non-compactness not equivalent to the Hausdorff measure

正[1, Theorem 4.4] states that every infinite dimensional Banach space admits a homogenous measure of noncompactness not equivalent to the Hausdorff measure. Howevere, there is a gap in the proof. In fact,we found that [1, Lemma 4.3] is not true. In this erratum, we give a corrected proof of [1, Theorem 4.4].