Flatness and smooth points of \(p\)-adic subanalytic sets. (English) Zbl 0897.32014
Summary: We give a new proof of the subanalyticity of the regular locus of a \(p\)-adic subanalytic set, replacing use of an approximation theorem by a more natural argument based on the flatness of certain homomorphism given by Taylor expansions of strictly convergent power series at a non-standard point of \(\mathbb{Z}^m_p\).
MSC:
| 32P05 | Non-Archimedean analysis |
| 32B20 | Semi-analytic sets, subanalytic sets, and generalizations |
| 03C10 | Quantifier elimination, model completeness, and related topics |
References:
| [1] | Berger, R.; Kiehl, R.; Kunz, E.; Nastold, H.-J., Differential Rechnung in der Analytischen Geometrie, (Springer Lecture Notes in Math., vol. 38 (1967), Springer: Springer Berlin) · Zbl 0163.03202 |
| [2] | Bierstone, E.; Milman, P., Semianalytic and subanalytic sets, Publ. Math. IHES, 67, 5-42 (1988) · Zbl 0674.32002 |
| [3] | Bosch, S.; Güntzer, U.; Remmert, R., Non-Archimedean Analysis (1984), Springer: Springer Berlin · Zbl 0539.14017 |
| [4] | Denef, J.; van den Dries, L., \(p\)-adic and real subanalytic sets, Ann. Math., 128, 79-138 (1988) · Zbl 0693.14012 |
| [5] | Duncan, A.; O’Carroll, L., A full uniform Artin-Rees theorem, J. Reine Angew. Math., 394, 203-207 (1989) · Zbl 0659.13002 |
| [6] | Kurdyka, K., Points reguliers d’un sous-analytique, Ann. Inst. Fourier (Grenoble), 38, 133-156 (1988) · Zbl 0619.32007 |
| [7] | Matsumura, H., Commutative Ring Theory (1989), Cambridge University Press: Cambridge University Press Cambridge · Zbl 0666.13002 |
| [8] | Robinson, Z., Smooth points of \(p\)-adic subanalytic sets, Manuscripta Math., 80, 45-71 (1993) · Zbl 0803.14010 |
| [9] | Serre, J.-P., Lie Algebras and Lie Groups (1964), Benjamin: Benjamin New York · Zbl 0132.27803 |
| [10] | Tamm, M., Subanalytic sets in the calculus of variation, Acta Math., 146, 167-199 (1981) · Zbl 0478.58010 |
| [11] | van den Dries, L.; Miller, C., Extending Tamm’s theorem, Ann. Inst. Fourier (Grenoble), 44, 1367-1395 (1994) · Zbl 0816.32004 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
