All Questions
Tagged with mg.metric-geometry cv.complex-variables
27 questions
5
votes
1
answer
736
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,...
- 3,577
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 ...
- 6,548
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}$ ...
- 43
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 \...
- 550
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 \...
- 2,306
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 ...
- 721
0
votes
0
answers
32
views
Reference Request: Carnot Groups over Complexes
Is there a theory of complex (analytic) Carnot groups and Caratheodory metrics?
- 5,405
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$. ...
- 445
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 ...
- 445
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$-...
- 565
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|$?
- 455
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.
- 455
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,169
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 ...
- 11
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 ...
- 298
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 ...
- 31
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 ...
- 151k
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\...
- 838
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 ...
- 1,125
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}\...
- 27
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 ...
- 63
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(...
- 7,831
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$ ...
- 1,612
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 ...
- 1,298
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$ ...
- 23k
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 ...
- 63