Local analytic dimensions of a subanalytic set (Q1073974)

The paper is an announcement of the following result: Theorem. Every subanalytic set X admits a stratification \(X=\cup X_ i\) with the following property: For each \(X_ i\), there exists an open neighborhood \(U_ i\) of \(X_ i\) and a coherent ideal sheaf in \({\mathcal O}_{U_ i}\) (respectively, in a certain formal completion of \({\mathcal O}_{U_ i})\) whose stalk at each point of \(X_ i\) is the ideal of germs of analytic functions vanishing on \(X_ i\) (respectively, formal power series ''vanishing on \(X_ i'').\) As a Corollary, there exists a subanalytic stratification such that the analytic and formal dimensions of X are constant on each stratum. This includes the result of W. Pawlucki that the set of Nash points of a subanalytic set is subanalytic. The semi-continuity conjectures of \textit{E. Bierstone} and \textit{P. D. Milman} [''Relations among analytic functions'', Ann. Inst. Fourier, to appear] would imply the results announced here.