Related papers: Loewner's "forgotten" theorem
Suppose that $F$ is a smooth and connected complex surface (not necessarily compact) containing a smooth rational curve with positive self-intersection. We prove that if there exists a non-constant meromorphic function on $F$, then the…
We study the non-wandering set of $C^3$ contracting Lorenz maps $f$ with negative Schwarzian derivative. We show that if $f$ doesn't have attracting periodic orbit, then there is a unique topological attractor. Precisely, there is a…
We provide a short proof that an $L^2_1$ and $J$-holomorphic curve is in fact smooth. As an application, we deduce a removal of singularity theorem for curves of finite energy.
Minding's most celebrated result is his namesake theorem of 1839 which established that all surfaces having the same constant curvature must be locally isometric. Today, Minding's theorem is a staple in differential geometry textbooks. But,…
We present a definable smooth version of the Thom transversality theorem. We show further that the set of non-transverse definable smooth maps is nowhere dense in the definable smooth topology. Finally, we prove a definable version of a…
Let C be a smooth projective curve over a discretely valued field K, defined by an affine equation f(x,y)=0. We construct a model of C over the ring of integers of K using a toroidal embedding associated to the Newton polygon of f. We show…
The log-front of two plane curves P(z,w)=0 and Q(z,w)=0 is the locus of (a,b) such that Q(az,bw)=0 is tangent to P(z,w)=0. Log-fronts generalize dual curves, wave fronts, and arise naturally in the theory of random surfaces. Our goal in…
We prove three theorems giving fixed points for orientation preserving homeomorphisms of the plane following forgotten results of Brouwer.
The classical Brouwer fixed point theorem states that in R^d every continuous function from a convex, compact set on itself has a fixed point. For an arbitrary probability space, let L^0 = L^0 (\Omega, A,P) be the set of random variables.…
We prove that if $f\in L^p(\mathbb{R}^k)$ with $p<(k^2+k+2)/2$ satisfies that $\widehat{f}$ is supported on a small perturbation of the moment curve in $\mathbb{R}^k$, then $f$ is identically zero. This improves the more general result of…
In 1927 Littlewood constructed an example of bounded holomorphic function on the unit disk, which diverges almost everywhere along rotated copies of any given curve in the unit disk ending tangentially to the boundary. This theorem was the…
Riemann vanishing theorem is a main ingredient of the conventional technique related to the Jacobi inversion problem. In the case of curves with a holomorphic involution, it has been presented quite fully in wellknown Fay's Lectures on…
Two criteria for planarity of a Feynman diagram upon its propagators (momentum flows) are presented. Instructive Mathematica programs that solve the problem and examples are provided. A simple geometric argument is used to show that while…
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…
The structure of the set of positivity-preserving maps between matrix algebras is notoriously difficult to describe. The notable exceptions are the results by St{\o}rmer and Woronowicz from 1960s and 1970s settling the low dimensional…
We study Gromov-Witten invariants on the blow-up of P^n at a point, which is probably the simplest example of a variety whose moduli spaces of stable maps do not have the expected dimension. It is shown that many of these invariants can be…
Zeckendorf's theorem states that every positive integer can be written uniquely as the sum of non-consecutive shifted Fibonacci numbers $\{F_n\}$, where we take $F_1=1$ and $F_2=2$. This has been generalized for any Positive Linear…
Let $C$ be a smooth plane curve of degree $d$ defined over an algebraically closed field $k$. A base point free complete very special linear system $g^r_n$ on $C$ is trivial if there exists an integer $m\ge 0$ and an effective divisor $E$…
We propose a new formulation of a vanishing theorem for surfaces. Although this vanishing theorem follows easily from the well-known Kawamata--Viehweg vanishing theorem, it turns out to be remarkably useful. In particular, it is sufficient…
In intuitionistic mathematics, the Brouwer Continuity Theorem states that all total real functions are (uniformly) continuous on the unit interval. We study this theorem and related principles from the point of view of Reverse Mathematics…