Existence of analytic solutions to analytic nonlinear q-difference equations

In this paper, some analytic approaches are formulated for the existence of analytic solutions of analytic nonlinear difference equations. From the point of view of dynamical systems, analytic solutions of such kinds of equations can be generally expressed by formal power series of exponential variables, so we are interested in considering a difference equation as a q-difference equation via a suitable coordinate transformation. After stating analytic results for formal series solutions of nonlinear q-difference equations, we also derive some results for the existence of analytic solutions to autonomous rational difference equations.     

Decompositions of analytic 1-manifolds

In an author’s previous work, analytic 1-submanifolds had been classified w.r.t. their symmetry under a given regular and separately analytic Lie group action on an analytic manifold. It was shown that such an analytic 1-submanifold is either free or (via the exponential map) analytically diffeomorphic to the unit circle or an interval. In this paper, we show that each free analytic 1-submanifold is discretely generated by the symmetry group, i.e., naturally decomposes into countably many symmetry free segments that are mutually and uniquely related by the Lie group action. This is shown under the same assumptions that were used in the author’s previous work to prove analogous decomposition results for analytic immersive curves. Together with the results obtained there, this completely classifies 1-dimensional analytic objects (analytic curves and analytic 1-submanifolds) w.r.t. their symmetry under a given regular and separately analytic Lie group action.     

Analytic cell decomposition and analytic motivic integration

The main results of this paper are a Cell Decomposition Theorem for Henselian valued fields with analytic structure in an analytic Denef-Pas language, and its application to analytic motivic integrals and analytic integrals over Fq((t)) of big enough characteristic. To accomplish this, we introduce a general framework for Henselian valued fields K with analytic structure, and we investigate the structure of analytic functions in one variable, defined on annuli over K. We also prove that, after parameterization, definable analytic functions are given by terms. The results in this paper pave the way for a theory of analytic motivic integration and analytic motivic constructible functions in the line of R. Cluckers and F. Loeser [Fonctions constructible et intégration motivique I, Comptes rendus de l'Académie des Sciences 339 (2004) 411-416].     

Homogeneous spaces and transitive actions by analytic groups

If X is homogeneous, analytic, and strongly locally homogeneous,then there is an analytic group acting transitively on X. Thereis an example of an analytic space on which some separable metrizablegroup acts transitively, but on which no analytic group actstransitively.     

Local analytic reduction of families of diffeomorphisms

We study local analytic simplification of families of analytic maps near a hyperbolic fixed point. A particularly important application of the main result concerns families of hyperbolic saddles, where Siegel's theorem is too fragile, at least in the analytic category. By relaxing on the formal normal form we obtain analytic conjugacies. Since we consider families, it is more convenient to state some results for analytic maps on a Banach space; this gives no extra complications. As an example we treat a family passing through a 1:−1 resonant saddle.     

An analytic version of the De Rham theorem

LetV be a real analytic paracompact variety; in §1 of this paper we prove that: $$H^q (V,R) \approx \frac{{closed analytic differentiable q - forms on V}}{{exact analytic differentiable q - forms on V}}$$ Then we prove that the closed (exact) analytic differentiableq-forms onV are dense, in the Whitney topology, in the set of closed (exact) differentiableq-forms onV. We also consider the problem of extending closed (exact) analytic differentiableq-forms, defined on a subvarietyX ofV, to closed (exact) analytic forms defined onV.     

Real analytic generalized functions

Real analytic generalized functions are introduced and investigated. The analytic singular support and analytic wave front of a generalized function in G(W){\cal G}(\Omega) are introduced and described.     

Analytic k-spaces

We study sequential convergence in spaces with analytic topologies avoiding thus a number of standard pathologies. For example, we identify bisequentiality of an analytic space as the Fréchet property of its square. We show that a countable Fréchet group is metrizable if and only if its topology is analytic. We also investigate the diagonal sequence properties and show their productiveness in the class of analytic spaces.     

The metric anomaly of analytic torsion at the boundary of an even dimensional cone

The formula for analytic torsion of a cone in even dimensions is composed of three terms. The first two terms are well understood and given by an algebraic combination of the Betti numbers and the analytic torsion of the cone base. The third “singular” contribution is an intricate spectral invariant of the cone base. We identify the third term as the metric anomaly of the analytic torsion coming from the non-product structure of the cone at its regular boundary. Hereby we filter out the actual contribution of the concial singularity and identify the analytic torsion of an even-dimensional cone purely in terms of the Betti numbers and the analytic torsion of the cone base.     

Global analytic geometry

Motivated by the well-known lack of archimedean information in algebraic geometry, we define, formalizing Ostrowski's classification of seminorms on Z, a new type of valuation of a ring that combines the notion of Krull valuation with that of a multiplicative seminorm. This definition partially restores the broken symmetry between archimedean and non-archimedean valuations artificially introduced in arithmetic geometry by the theory of schemes. This also allows us to define a notion of global analytic space that reconciles Berkovich's notion of analytic space of a (Banach) ring with Huber's notion of non-archimedean analytic spaces. After defining natural generalized valuation spectra and computing the spectrum of Z and Z[X], we define analytic spectra and sheaves of analytic functions on them.     

Jensen measures and analytic multifunctions

This paper describes plurisubharmonic convexity and hulls, and also analytic multifunctions in terms of Jensen measures. In particular, this allows us to get a new proof of Słodkowski's theorem stating that multifunctions are analytic if and only if their graphs are pseudoconcave. We also show that multifunctions with plurisubharmonically convex fibers are analytic if and only if their graphs locally belong to plurisubharmonic hulls of their boundaries. In the last section we prove that minimal analytic multifunctions satisfy the maximum principle and give a criterion for the existence of holomorphic selections in the graphs of analytic multifunctions. The author was partially supported by an NSF Grant.     

Zur lokalen Hochschild-Homologie eines komplexen Raums

For the exploration of the Hochschild homology and cohomology sheaves Tor^s(0,F) and Ext_s(0,F) of a complex space (X,0), where F is a coherent 0-Module and , an S-free resolution of 0 is needed. Such a resolution M we construct starting from an imbedding of X in an open subset of. In order to show that M is acyclic we investigate analytic tensor products and prove the analytic tensor product of an analytic local algebra with an analytic module is in a sense relatively projective, while analytic module homomorphisms are relatively split.     

Globally analytic hypoelliptic vector fields on compact surfaces

We present a characterization of the global analytic hypoellipticity of a complex, non-singular, real analytic vector field defined on a compact, connected, orientable, two-dimensional, real analytic manifold.

In particular, we show that such vector fields exist only on the torus.

     

An Analytic Zariski Structure Over a Field

Following the introduction and preliminary investigations of analytic Zariski structures in Peatfield and Zilber (Ann pure Appl Logic 132:125–180, 2005) an example of an analytic Zariski structure extending an algebraically closed field is provided. The example is constructed using Hrushovski’s method of free amalgamation, and a topology is introduced in which we can verify the analytic Zariski axioms.     

Weakly K-analytic spaces and the three-space property for analyticity

Let (E,E^′) be a dual pair of vector spaces. The paper studies general conditions which allow to lift analyticity (or K-analyticity) from the weak topology σ(E,E^′) to stronger ones in the frame of (E,E^′). First we show that the Mackey dual of a space Cp(X) is analytic iff the space X is countable. This yields that for uncountable analytic spaces X the Mackey dual of Cp(X) is weakly analytic but not analytic. We show that the Mackey dual E of an (LF)-space of a sequence of reflexive separable Fréchet spaces with the Heinrich density condition is analytic, i.e. E is a continuous image of the Polish space NN. This extends a result of Valdivia. We show also that weakly quasi-Suslin locally convex Baire spaces are metrizable and complete (this extends a result of De Wilde and Sunyach). We provide however a large class of weakly analytic but not analytic metrizable separable Baire topological vector spaces (not locally convex!). This will be used to prove that analyticity is not a three-space property but we show that a metrizable topological vector space E is analytic if E contains a complete locally convex analytic subspace F such that the quotient E/F is analytic. Several questions, remarks and examples are included.     

A topological characterization of the ω-limit sets for analytic flows on the plane, the sphere and the projective plane

In this paper the ω-limit sets for analytic and polynomial differential equations on the plane are characterized up to homeomorphisms. The analogous problem is solved in full detail for analytic flows on the sphere and the projective plane. We also explain how to carry on the same program for analytic flows defined on open subsets of these surfaces.     

KAM-tori near an analytic elliptic fixed point

We study the accumulation of an elliptic fixed point of a real analytic Hamiltonian by quasi-periodic invariant tori. We show that a fixed point with Diophantine frequency vector ω ₀ is always accumulated by invariant complex analytic KAM-tori. Indeed, the following alternative holds: If the Birkhoff normal form of the Hamiltonian at the invariant point satisfies a Rüssmann transversality condition, the fixed point is accumulated by real analytic KAM-tori which cover positive Lebesgue measure in the phase space (in this part it suffices to assume that ω ₀ has rationally independent coordinates). If the Birkhoff normal form is degenerate, there exists an analytic subvariety of complex dimension at least d + 1 passing through 0 that is foliated by complex analytic KAM-tori with frequency ω ₀. This is an extension of previous results obtained in [1] to the case of an elliptic fixed point.     

Real Analytic Fibre Bundles: Some Results on Classification and Homotopies

The classification problem for holomorphic fibre bundles over Stein spaces was solved by H. GRAUERT. Along the same lines, the real coherent analytic case was considered by A. TOGNOLI and V. ANCONA. In this paper we propose a different approach, based on classifying spaces, in order to study the previous problem for real analytic fibre bundles over C -analytic subspaces of R ^m. So, let X be a C -analytic subspace of R ^m and G a compact Lie group. The main result is a characterization of the real analytic G-principal fibre bundles over X for which the analytic and topological equivalence coincide. Moreover, we prove that these bundles can be classified also by means of homotopy classes of analytic maps of X into classifying spaces. Among the others results, are worth recording: a relative approximation theorem of continuous cross sections by analytic ones, a theorem about the equivalence between analytical and topological homotopy between cross sections and a covering homotopy theorem.     

Deformations of trianalytic subvarieties of hyperkähler manifolds

Let M be a compact complex manifold equipped with a hyperk?hler metric, and X be a closed complex analytic subvariety of M. In alg-geom 9403006, we proved that X is trianalytic (i.e., complex analytic with respect to all complex structures induced by the hyperk?hler structure), provided that M is generic in its deformation class. Here we study the complex analytic deformations of trianalytic subvarieties. We prove that all deformations of X are trianalytic and naturally isomorphic to X as complex analytic varieties. We show that this isomorphism is compatible with the metric induced from M. Also, we prove that the Douady space of complex analytic deformations of X in M is equipped with a natural hyperk?hler structure.