Relations among analytic functions. I (Q1087675): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:10, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Relations among analytic functions. I |
scientific article |
Statements
Relations among analytic functions. I (English)
0 references
1987
0 references
Neither real analytic sets nor the images of real or complex analytic mappings are, in general, coherent. Let \(\phi\) : \(X\to Y\) be a morphism of real analytic spaces, and let \(\psi\) : \({\mathcal G}\to {\mathcal F}\) be a homomorphism of coherent moduls over the induced ring homomorphism \(\phi ^ *: {\mathcal O}_ Y\to {\mathcal O}_ X\). We conjecture that, despite the failure of coherence, certain natural discrete invariants of the modules of formal relations \({\mathcal R}_ a=Ker {\hat \psi}_ a\), \(a\in X\), are upper semicontinuous in the analytic Zariski topology of X. We prove semicontinuity in many cases (e.g., in the algebraic category). Semicontinuity of the ''diagram of initial exponents'' provides a unified point of view and explicit new techniques which substitute for coherence in both geometric problems on the images of mappings (semianalytic and subanalytic sets) and analytic problems on the singularities of differentiable functions (in particular, the classical division and composition problems).
0 references
real analytic spaces
0 references
semicontinuity
0 references
singularities of differentiable functions
0 references
division
0 references
composition
0 references
analytic function
0 references