Related papers: Zero set structure of real analytic Beltrami field…
A 1910 theorem of Brouwer characterizes the Cantor set as the unique totally disconnected, compact metric space without isolated points. A 1920 theorem of Sierpinski characterizes the rationals as the unique countable metric space without…
In this paper, we prove metric analogues, in any dimension and in any co-dimension, of the famous Theorem of Mumford on smoothness of normal surfaces and the beautiful Theorem of Ramanujam that gives a topological characterization of…
We develop new tools for the construction of fixed point sets in digital topology. We define excludable points and show that these may be excluded from all freezing sets. We show that articulation points are excludable. We also present…
Let $M$ be a simply connected closed manifold of dimension $n$. We study the rational homotopy type of the configuration space of 2 points in $M$, $F(M,2)$. When $M$ is even dimensional, we prove that the rational homotopy type of $F(M,2)$…
This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic…
For a probability measure space $(X,\mathscr{A},\mu)$, we define a pseudometric $\delta$ on the ring $\mathcal{M}(X,\mathscr{A})$ of real-valued measurable functions on $X$ as $\delta(f,g)=\mu(X\setminus Z(f-g))$ and denote the topological…
We construct a Batalin-Vilkovisky (BV) algebra on moduli spaces of Riemann surfaces. This algebra is background independent in that it makes no reference to a state space of a conformal field theory. Conformal theories define a homomorphism…
Suppose we are given a symmetric operator T acting on a subspace of L2{M,m} where M is a connected manifold and m is a measure positive on open sets. Then there is at most one eigenspace that contains a real valued eigenfunction whose set…
Using a geometric approach involving Riemann surface orbifolds, we provide lower bounds for the genus of an irreducible algebraic curve of the form $E_{A,B}:\, A(x)-B(y)=0$, where $A, B\in\mathbb C(z)$. We also investigate "series" of…
We give the definition of the Thom condition and we show that given any germ of complex analytic function $f:(X,x)\to(\mathbb{C},0)$ on a complex analytic space $X$, there exists a geometric local monodromy without fixed points, provided…
Mandelbrot set is a closure of the set of zeroes of $resultant_x(F_n,F_m)$ for iterated maps $F_n(x)=f^{\circ n}(x)-x$ in the moduli space of maps $f(x)$. The wonderful fact is that for a given $n$ all zeroes are not chaotically scattered…
In the area of Tame Geometry, different model-theoretic tameness conditions are established and their relationships are analyzed. We construct a subfield $K$ of the real numbers that lacks several of such tameness properties. As our main…
In this article we give an explicit algorithm which will determine, in a discrete and computable way, whether a finite piecewise Euclidean complex is non-positively curved. In particular, given such a complex we show how to define a boolean…
In a previous article, 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…
In this paper a finite dimensional unital associative algebra is presented, and its group of algebra automorphisms is detailed. The studied algebra can physically be understood as the creation operator algebra in a formal quantum field…
The connected components of the zero set of any conformal vector field, in a pseudo-Riemannian manifold of arbitrary signature, are shown to be totally umbilical conifold varieties, that is, smooth submanifolds except possibly for some…
We use chain level genus zero Gromov-Witten theory to associate to any closed monotone symplectic manifold a formal group (loosely interpreted), whose Lie algebra is the odd degree cohomology of the manifold (with vanishing bracket). When…
The infinitesimal symmetries of a fully decomposed non-Abelian gerbe can be generated in terms of a nilpotent BRST operator, which is here constructed. The appearing fields find a natural interpretation in terms of the universal gerbe, a…
We present here "the" cartesian closed theory for real analytic mappings. It is based on the concept of real analytic curves in locally convex vector spaces. A mapping is real analytic, if it maps smooth curves to smooth curves and real…
We prove that all the Tonelli Hamiltonians defined on the cotangent bundle $T^*\T^n$ of the $n$-dimensional torus that have no conjugate points are $C^0$ integrable, i.e. $T^*\T^n$ is $C^0$ foliated by a family $\Fc$ of invariant $C^0$…