Related papers: A convenient setting for real analytic mappings

For a smooth strictly pseudoconvex hypersurface in a complex manifold, we give a necessary and sufficient condition for being CR-diffeomorphic to a real-analytic CR manifold. Our condition amounts to a holomorphic extension property for the…

We introduce a natural generalization of twisted maps, called \emph{warped maps}. While twisted maps play an important role in the study of Deligne--Mumford stacks, warped maps are better suited for studying Artin stacks. Heuristically,…

Consider a Hamiltonian action of a compact connected Lie group on a conformal symplectic manifold. We prove a convexity theorem for the moment map under the assumption that the action is of Lee type, which establishes an analog of Kirwan's…

Morse functions with exactly two singular points on homotopy spheres and canonical projections of spheres are generalized as special generic maps. A special generic map is, roughly, a smooth map represented as the composition of a smooth…

The goal of this paper is to measure the non-convexity of compact and smooth connected components of real algebraic plane curves. We study these curves first in a general setting and then in an asymptotic one. In particular, we consider…

This is a slightly updated version of lectures notes for a course on analytic geometry taught in the winter term 2019/20 at the University of Bonn. The material presented is part of joint work with Dustin Clausen. This is intended as a…

A topological space $X$ is called $\Cal A$-real compact, if every algebra homomorphism from $\Cal A$ to the reals is an evaluation at some point of $X$, where $\Cal A$ is an algebra of continuous functions. Our main interest lies on…

We formulate and prove a twofold generalisation of Lie's second theorem that integrates homomorphisms between formal group laws to homomorphisms between Lie groups. Firstly we generalise classical Lie theory by replacing groups with…

We have previously proposed a study of arrangements of small circles which also surround regions in the plane realized as the images of natural real algebraic maps yielding Morse-Bott functions by projections. Among studies of arrangements,…

It is shown that a formal mapping between two real-analytic hypersurfaces in complex space is convergent provided that neither hypersurface contains a nontrivial holomorphic variety. For higher codimensional generic submanifolds,…

Necessary and sufficient conditions for the exponentiation of finite-dimensional real Lie algebras of linear operators on complete Hausdorff locally convex spaces are obtained, focused on the equicontinuous case - in particular, necessary…

We consider groups of orientation-preserving real analytic diffeomorphisms of the circle which have a finite image under the rotation number function. We show that if such a group is nondiscrete with respect to the $C^1$-topology then it…

This thesis is devoted to algorithmic aspects of the implementation of Cartan's moving frame method to the problem of the equivalence of submanifolds under a Lie group action. We adopt a general definition of a moving frame as an…

This paper contains an attempt to formulate rigorously and to check predictions in enumerative geometry of curves following from Mirror Symmetry. The main tool is a new notion of stable map. We give an outline of a contsruction of…

This memoir is devoted to the study of formal-analytic arithmetic surfaces. These are arithmetic counterparts, in the context of Arakelov geometry, of germs of smooth complex-analytic surfaces along a projective complex curve.…

In this paper we study the analytic torsion and the $L^2$-torsion of compact locally symmetric manifolds. We consider the analytic torsion with respect to representations of the fundamental group which are obtained by restriction of…

We call a subset $K$ of $\mathbb C$ \emph{biholomorphically homogeneous} if for any two points $p,q\in K$ there exists a neighborhood $U$ of $p$ and a biholomorphism $\psi:U\to \psi(U)\subset \mathbb C$ such that $\psi(p)=q$ and $\psi(K\cap…

I extend the framework of rigid analytic geometry to the setting of algebraic geometry relative to monoids, and study the associated notions of separated, proper, and overconvergent morphisms. The category of affine manifolds embeds as a…

Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…

In many singular metric spaces, the regularity of a shortest-length curve is unknown. Algebraic varieties, or more generally sets defined by finitely many polynomial or real analytic equalities or inequalities, all locally partition into…