Skip to main content

All Questions

Filter by
Sorted by
Tagged with
5 votes
1 answer
735 views

Can the Pythagorean theorem be proved using imaginary numbers?

Can the Pythagorean theorem be proved using imaginary numbers? The proof must avoid circular reasoning, of course. I asked essentially the same question at MSE, but did not receive a definitive answer,...
7 votes
1 answer
173 views

Plane curve with continuously increasing Hausdorff dimension

In a recent paper, we required the following fact. Proposition 1. There exists a simple closed curve $\gamma\subset\mathbb{C}$ with the following property. If $\phi$ is a biholomorphic map, defined on ...
1 vote
0 answers
73 views

Vanishing components of Kähler metric

Let $(X, \omega) $ be a $n$-dimensional complex Kähler manifold such that $\omega^{n-1}=d\alpha $. Does $\partial\alpha^{n-1,n-2} =0$ (resp. $\bar\partial\alpha^{n-2,n-1} =0$) Where $\alpha^{n-1,n-2}$ ...
0 votes
0 answers
79 views

Geometry of inner products between the unit vector and several given vectors

Let $\mathcal{S}$ denote the set of all unit complex-valued $d$-dimensional vectors, i.e., $$ \mathcal{S} \triangleq \left\{ \mathbf{s}\in \mathbb{C}^{d} \mid \mathbf{s}^{\mathrm{H}}\mathbf{s}=1 \...
8 votes
2 answers
329 views

Equivalence of definitions of quasiconformal surfaces?

I have been reading John H. Hubbard's book Teichmüller Theory vol. 1 and I am a little bit concerned with his definition of quasiconformal surface. Definition: A quasiconformal surface $S$ is a ...
1 vote
0 answers
62 views

A question on a paper of B. S. Henriksen

I have been reading the article "A peak set of Hausdorff dimension $2n-1$ for the algebra $A(\mathcal{D})$ in the boundary of a domain $\mathcal{D}$ with $C^\infty$-boundary in $\mathbb{C}^n$&...
2 votes
1 answer
304 views

3D similarities and quaternions?

As is well-known, in dimension 2, a linear map $f : \mathbb{R}^2 \rightarrow \mathbb{R}^2$ is a direct similarity if, once we identify $\mathbb{R}^2$ with $\mathbb{C}$, $f$ is of the form $$\forall z \...
9 votes
0 answers
212 views

A geometric characterization of quasicircles

I'm reading an article by complex analysists. A Jordan curve $J$ in the extended complex plane $\hat{\mathbb{C}}=\mathbb{C} \cup \{\infty\}$ is called a quasicircle if there is a quasiconformal map ...
0 votes
0 answers
32 views

Reference Request: Carnot Groups over Complexes

Is there a theory of complex (analytic) Carnot groups and Caratheodory metrics?
3 votes
0 answers
112 views

Modulus of image of a curve family in a rectangle

I don't expect to get a positive answer to this question but I may as well try. Let $R$ be the rectangle in $\mathbb{C}$ given by $\{z=x+iy: 0\leq x \leq l, 0 \leq y \leq h\}$ for some $l,h>0$. ...
3 votes
0 answers
54 views

Extremal metric for image of a curve family

Let $U\subset \mathbb{C}$ be a domain and $\Gamma$ some family of curves in $U$ with $\textrm{mod}(\Gamma)<\infty$ and such that $\rho$ is an extremal metric for the modulus. Suppose we are given a ...
10 votes
3 answers
2k views

Origin of term Ahlfors-David regular

Much of the literature on analysis in metric spaces makes use of an assumption called Ahlfors regularity or Ahlfors-David regularity. Let $q>0$. A metric space $(X,d)$ is Ahlfors(-David) $q$-...
1 vote
0 answers
48 views

Supremum norm of certain quantity II

Can anyone solve the maximization problem...$\max_{|z_i|=1}\Big|\sum_{i,j=1}^nz_iz_j+\sum_{i,j=1}^n|z_i-z_j|\Big|$?
5 votes
1 answer
162 views

Supremum norm of certain quantity

Is there any easy way of finding supremum of the quantity $$\sum_{i,j=1}^n|z_i-z_j|,$$ where $|z_i|=1$ for $1\leq i\leq n$ ? We are considering complex variables of course.
3 votes
1 answer
497 views

The right conformal map to make a certain picture

This is a follow-up to a question I asked a year ago, which was helpfully answered by Anton Petrunin: Fitting a mesh to a density function. I am trying to come up with a way to make a picture of an ...
50 votes
4 answers
6k views

The maximum of a polynomial on the unit circle

Encouraged by the progress made in a recently posted MO problem, here is a "conceptually related" problem originating from a 2003 joint paper of Sergei Konyagin and myself. Suppose we are given $n$ ...
1 vote
0 answers
138 views

Finding a metric on a topological space with prescribed isometry group

Let $X$ be a (sufficiently nice) topological space and let $\mathcal{F}$ be a group of homeomorphisms of $X$. Assume that $\mathcal{F}$ is also closed under point-wise convergence. I would like to ...
1 vote
0 answers
56 views

Starlike curve tangent condition

Assume that $\gamma$ is a starlike Jordan curve in the complex plane w.r.t. 0. Let $\alpha\in (0,\pi/2]$. For each $z\in\gamma$, $z\neq x$, we let $\alpha(z,x)$ denote the acute angle which the ...
2 votes
1 answer
151 views

hyperbolic metrics

Let $D_1\subset D_2$ be simply connected domains in the complex plane. Let $\lambda_1$ and $\lambda_2$ be the corresponding hyperbolic (Poincare) metrics. It seems intuitive to me that $\lambda_2$ is ...
6 votes
2 answers
433 views

Triangles, squares, and discontinuous complex functions

Is there some onto function $f:$ $\mathbb{C}$ $\rightarrow$ $\mathbb{C}$ such that for each triangle $T$ (with its interior), $f(T)$ is a square (with interior, too) ? I would have the same question ...
5 votes
0 answers
275 views

Is there a connection between |roots| $\rightarrow$ 1 and Gromov's waist theorem?

Recent questions showed that roots of a random polynomial tend to lie on the unit circle ("Why do roots of polynomials tend to have absolute value close to 1?"; "Distribution of roots of complex ...
5 votes
2 answers
604 views

Sets of vectors related by a rotation

We have a two sets of vectors ($\mathbb{C}^d$), $A=\{ v_1, \ldots v_n\}$ and $B=\{u_1, \ldots u_n\}$. The question is if there is an efficient solution (polynomial in $n$) for checking whether $A$ ...
4 votes
2 answers
378 views

Comparing two Delaunay tessellations on a hyperbolic surface

Let $S$ be a closed hyperbolic surface (i.e. a compact Riemann surface of genus $\geq 2$) and let $P=\{p_1,\ldots,p_m\}$ be a non-empty finite subset of $m$ points in $S$. Let $\pi:\mathbb H\...
1 vote
1 answer
427 views

Is this min not less than a min

Let $\mathbf{D}$ be the unit disk, is $$\inf_{\begin{array}{c} v_{1},v_{2},v_{3},v_{4}\in\mathbf{D},\\ v_{0}\in\mbox{convexhull}\left(v_{1},v_{2},v_{3},v_{4}\right) \end{array}}\max_{0\le i,j,k\le4}\...
12 votes
4 answers
2k views

Seeking a Geometric Proof of a Generalized Alternating Series' Convergence

Let $z \in \mathbb{C} \backslash \lbrace 1 \rbrace$ with $|z| = 1$. We consider the following infinite series, which necessarily converges: $$S(z) := \sum_{n = 1}^{\infty}\frac{z^n}{n}$$ Note that $S(...
6 votes
2 answers
169 views

Conditions on a unit vector field to be the Gauss map of some surface immersed in R^3?

Let $U$ be a bounded domain in $R^2$ and let $n : U \to S^2$. Which (necessary/sufficient) conditions must $n$ satisfy in order that there exist an immersion $f : U \to R^3$ such that $n(x)$ is the ...
10 votes
2 answers
903 views

Subtlety in the definition of the Kobayashi metric

When defining the Kobayashi metric on a connected complex analytic space $X$, one makes the following auxiliary definition: A holomorphic chain from $x\in X$ to $y\in X$ is a finite sequence of ...