Related papers: One sided conformal collars and the reflection pri…
We construct a Jordan curve $\Gamma \subset \mathbb{C}$ so that for any rectifiable arc $\sigma$ with endpoints in distinct complementary components of $\Gamma$, $H^1(\sigma \cap \Gamma) > 0$.
Using a definition of Jordan curve similar to that of Dieudonn\'e, we prove that our notion is equivalent to that used by Berg et al. in their constructive proof of the Jordan Curve Theorem. We then establish a number of properties of…
Suppose that $\gamma \subset \mathbb{C}$ is a Jordan curve of diameter $2R$ which encloses a region of area $A$. We prove that there exists a subset $I \subset (0,\pi)$ of measure at least $A/R^2$ such that if $\theta \in I$, then there…
Let $W$ be a quasiprojective variety over an algebraically closed field of characteristic zero. Assume that $W$ is birational to a product of a smooth projective variety $A$ and the projective line. We prove that if $A$ contains no rational…
Theorem converse to Jordan's curve theorem says that {\it if a compact set $K$ has two complementary domains in $R^{2}$, from each of which it is at every point accessible, it is a simple closed curve}. We show that the requirement of this…
We prove that a Jordan $\calc^1$-curve in the plane contains any non-flat triangle up to translation and homothety with positive ratio. This is false if the curve is not $C^1$. The proof uses a bit configuration spaces, differential and…
We establish the Schwarz Reflection Principle for $J$-complex discs attached to a real analytic $J$-totally real submanifold of an almost complex manifold with real analytic $J$. We also prove the precise boundary regularity and derive the…
We study the question of when a given countable ordinal $\alpha$ is $\Sigma^1_n$- or $\Pi^1_n$-reflecting in models which are neither $\mathsf{PD}$ models nor the constructible universe, focusing on generic extensions of $L$. We prove,…
Suppose $X$ is a smooth, proper, geometrically connected curve over $\mathbb F_q$ with an $\mathbb F_q$-rational point $x_0$. For any $\mathbb F_q^{\times}$-character $\sigma$ of $\pi_1(X)$ trivial on $x_0$, we construct a functor $\mathbb…
In this note we will discuss a new reflection principle which follows from the Proper Forcing Axiom. The immediate purpose will be to prove that the bounded form of the Proper Forcing Axiom implies both that 2^omega = omega_2 and that…
In this paper we present a geometric proof of the following fact. Let $D$ be a Jordan domain in $\mathbb{C}$, and let $f$ be analytic on $cl(D)$. Then there is an injective analytic map $\phi:D\to\mathbb{C}$, and a polynomial $p$, such that…
Let $G$ and $H$ be locally compact groups. We will show that each contractive Jordan isomorphism $\Phi\colon L^1(G)\to L^1(H)$ is either an isometric isomorphism or an isometric anti-isomorphism. We will apply this result to study isometric…
It was proved in 2007 by C.Bandt and H.Rao that if a system $S = \{S_1 , ..., S_m \}$ of contraction similarities in $R^2$ with a connected attractor $K$ has the finite intersection property, then it satisfies OSC. We construct a…
Let $J$ be a simple closed curve in $\mathbb R^{k}$ $(k\geq2)$ that is differentiable with non-zero derivative at a point $A_0\in J$. For a tuple of positive reals $a_1,\cdots,a_n$ $(n\geq3)$, each of which is less than the sum of the…
We study deformations of rational curves and their singularities in positive characteristic. We use this to prove that if a smooth and proper surface in positive characteristic $p$ is dominated by a family of rational curves such that one…
A criterion for the existence of a plane model of an algebraic curve such that the Galois closures of projections from two points are the same is presented. As an application, it is proved that the Hermitian curve in positive characteristic…
For any locally analytic curve we show that arc length can be complexified and seen as a conformal parameter. As an application, we show that any such curve defines a unique maximal one and that the notions of analytic Jordan curve…
We prove an Ahlfors refection theorem for $p$-reflections over Jordan curves bounding subhyperbolic domains in $\hat {\mathbb C}$.
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assisted by the Coq system. Fundamental properties are proven by…
We characterize which planar graphs arise as the pullback, under a rational map $r$, of an analytic Jordan curve passing through the critical values of $r$. We also prove that such pullbacks are dense within the collection of…