# Tagged Questions

**2**

votes

**1**answer

287 views

### Where i can find the proof of Ostrowski theorem

Where i can find any proof of next theorem?
Theorem of Ostrowski: Let $\sum_{n=0}^{\infty}a_nz^n$ be a power series with radius of convergence 1, which is analytically continuable beyond unit disk. ...

**1**

vote

**1**answer

142 views

### On the set of zero radial limits of bounded analytic functions

Hi,
Let $f$ be a non-identically zero bounded analytic function in the open unit disk $\mathbb{D}$. It is well-known that $f$ has radial limits almost everywhere on the unit circle $\mathbb{T}$. Let ...

**1**

vote

**0**answers

55 views

### Are morphisms of intersection graphs of circle packings harmonic?

Let $P$ and $Q$ be circle packings on compact Riemann surfaces (along with some Riemannian metrics) $X$ and $Y$. Let $f\colon X\to Y$ be a conformal map taking each circle in $P$ to a circle in $Q$. ...

**0**

votes

**0**answers

96 views

### Boundary behavior of Harmonic functions

Assume that $f$ is harmonic in the unit disk $|z|<1$, with boundary function of bounded variation, such that $$\lim_{r\to 1}f(re^{it})= 0$$ for $t\in[0,\pi]\setminus \mathbf{Q}$, where $\mathbf{Q}$ ...

**2**

votes

**2**answers

348 views

### Bolza curve admits no anticonformal fixedpointfree involution

The Bolza curve B double covers the Riemann sphere with branching at the vertices of a regular octahedron. An affine model is given by the locus of $y^2=x^5-x$. How does one show that B does not ...

**5**

votes

**1**answer

315 views

### Branched Regular Cover over 4-times punctured sphere

This is probably trivial but has been bothering me all day.
Suppose $f:\Sigma_g\to \mathbb{S}^2$ is a $g+1$ fold branched conformal map with $\Sigma_g$ a connected genus $g$ surface and $f$ having ...

**3**

votes

**1**answer

248 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 ...

**8**

votes

**1**answer

493 views

### Polynomial with all zeros on a circle and many real coefficients

On a circle (or a line) $\Omega$ in the complex plane that is not symmetric w.r.t. the real axis, choose $n\ge5$ distinct points $z_1,...,z_n$ and consider the polynomial ...

**3**

votes

**0**answers

129 views

### Bounding an integral transform ouside a circle (or inside a strip)

Let $g$ be a symmetric unimodal probability distribution and $H$ be the right half plane.
We call
$$f(z) = \int_{-\infty}^\infty \frac{1}{z-i t}g(t)dt$$
the dispersion function of $g$.
Now, one can ...

**0**

votes

**1**answer

102 views

### Counting complex solutions on a disk.

I am looking for an example of an analytic map $f$ on the complex domain for which there exist $r>0$ such that for $\gamma=\{z:|z|=r\}$, a.s. for $\theta \in [0,2\pi)$ we have that
...

**0**

votes

**1**answer

186 views

### Asymptotic behavior of entire functions

Which entire function $f\left(x\right)$ goes asymptotically to $\dfrac{e^{-x}}{x}$ as $x$ goes to infinity with $x$ positive? That is, $\left(e^{-x}/x \right)/f \left(x \right) \rightarrow 1$.

**4**

votes

**0**answers

199 views

### What is the spectrum of a ring of holomorphic rational power series?

Let $R_\infty$ be the ring of power series in a single variable with rational coefficients that converge in the whole complex plane. Let $R_\rho$ be the subring of $R_\infty$ that defines holomorphic ...

**2**

votes

**2**answers

552 views

### The integral inequality

Let $f$ be an entire function of exponential type.
Does the inequality $|f(a)| \le C \int_{a-1/2}^{a+1/2}|f(x)|\,dx$ hold for every $a \in R$ with an absolute constant
$C$? At most, the constant ...

**8**

votes

**0**answers

216 views

### Are the Chern numbers of a hyperbolic-type compact complex manifold bounded in terms of the Euler number?

Let $X$ be an $n$-dimensional compact Kahler manifold with negative first Chern class. Are its Chern numbers $\prod_{i=1}^{n-1} c_i^{k_i}$, over $k _i
\geq 0$ with $\sum ik_i = n$, bounded in terms ...

**6**

votes

**0**answers

172 views

### A zeta function using half of the primes

It is well known that the zeta function satisfies the Euler product formula. See this wikipedia article.
Enumerate all primes by $p_1, p_2, \ldots $ in ascending order.
Set $S$ to be the set of all ...

**1**

vote

**1**answer

201 views

### How to solve a linear algebraic complex equation in one function evaluated at different arguments?

Hello,
I am trying to solve an equation of the form
$C_1 f(k_1 z) + C_2 f(k_2 z) + C_3 f(k_3 z) + C_4 f(k_4 z) = C_5 z^2$
for $f(z)$. Everything is complex. The $C_i$'s and $k_i$'s depend on some ...

**1**

vote

**0**answers

195 views

### bivariate polynomial

Hello,
Let $p(x,y) = \sum_{m=1}^M\sum_{n=1}^N a_{m,n}x^{m-1}y^{n-1}$ be a bivariate polynomial where $\{a_{m,n}\}$ are complex.
If $(x_k, y_k), k=1,2,\cdots, MN-1$ are roots of $p(x,y)=0$ where ...

**10**

votes

**4**answers

881 views

### Analytic function avoiding elements of the modular group

A friend recently told me the following two facts, for which he cannot recall a proof or a reference
(but he remembers seeing them in the literature):
Let $f$ be a holomorphic function mapping the ...

**3**

votes

**0**answers

100 views

### How did Nochka find weights in his proof of Cartan's conjecture?

Good evening,
I have just read Nochka's proof of Cartan's conjecture (Second Main Theorem of Nevanlinna Theory for linearly degenerate meromorphic curves in $\mathbb{CP}^n$). To prove the conjecture, ...

**5**

votes

**2**answers

404 views

### Another proof of the bidisc and the ball are biholomorphically inequivalent?

Does this outline of a proof work?
Consider the ball and the bidisc in $\mathbb{C}^2$. Give each space its Bergman metric. To show that the ball and the bidisc are not holomorphic, it is enough to ...

**1**

vote

**0**answers

107 views

### Is there a standard name for functions of the form $x^\alpha p(x)$, where $p(x)$ is a polynomial?

Is there any existing standard terminology for functions of the form $x^\alpha p(x)$, where $p(x)$ is a polynomial and $\alpha$ is e.g. a complex number? I haven't been able to come up with any good ...

**9**

votes

**1**answer

356 views

### When does continuity imply holomorphy?

I was studying the construction of the modular lambda function and I started thinking about the following question. Suppose that $\Omega\subset \mathbb{C}$ is an open connected set and $f:\Omega\to ...

**0**

votes

**1**answer

349 views

### The real and imaginary parts of the Incomplete Gamma function for second argument being purely imaginary

Dear all,
I am looking for explicit (at least more explicit than the original expression) for
1) Re$(\Gamma(a, i\omega))$
as well as
2) Im$(\Gamma(a, i\omega)),$
where i Re and Im denote the real ...

**1**

vote

**1**answer

147 views

### Can a locally defined holomophic function which vanishes on a subvariety $V$ be written in terms of globally defined polynomials vanishing on $V$?

Given a complex algebraic, affine variety $X$ and a subvariety $V$, let $I_V$ indicate the ideal of polynomials on $X$ with vanish on $V$.
Given an open subset $U$ of $X$, is it true that the ideal ...

**3**

votes

**1**answer

453 views

### Complete intersections in complex and algebraic geometry

I'm wondering why (and therefore also if) the notions of "a projective variety/submanifold of projective space is a complete intersection" as used in algebraic geometry and the theory of, say, Riemann ...

**0**

votes

**2**answers

135 views

### Cohomology of Complements by an analytic subset?

Good moring,
Let $\Omega$ be a domain in $\mathbb{C}^n$ and $S\subset\Omega$ an analytic subset of codimension 1. What can we say about the cohomology group $H^1(\Omega\backslash S, \mathbb{Z})$? ...

**15**

votes

**2**answers

1k views

### On the Universality of the Riemann zeta-function

Hi,
I have a question regarding the universality property of the Riemann zeta-function. I am no expert on this, so I'd be glad for any relevant reference.
First, recall Voronin's remarkable theorem ...

**12**

votes

**1**answer

451 views

### Essential uniqueness of the real-analytic structure on $\mathbb R$

It is well-known that any $C^k$-smooth $1$-manifold homeomorphic to $\mathbb R$ is $C^k$-diffeomorphic to $\mathbb R$. The cases of $k\in{\mathbb N}\cup$ {$\infty$} may all be handled similarly by ...

**2**

votes

**1**answer

121 views

### on the density of hypersurfaces in complex projective spaces

Good morning,
Let $H$ be a hypersurface in a complex projective space $\mathbb{CP}^N.$ Let $d$ be the distance de Fubini-Study on $\mathbb{CP}^N.$
Let $x = [x_0: \ldots :x_N]$ and ...

**11**

votes

**2**answers

530 views

### Belyi functions on non-compact surfaces; or: Building Riemann surfaces from equilateral triangles

Some background on (compact) Belyi surfaces
$\newcommand{\Ch}{\hat{\mathbb{C}}}$
A compact Riemann surface $X$ is called a Belyi surface if there exists a branched covering map $f:X\to \Ch$ such that ...

**2**

votes

**2**answers

250 views

### Factorization of antisymmetric bounded holomorphic functions

A basic principle in complex function theory is that one can split off zeros of holomorphic functions in a similar way as for polynomials: If $f$ is holomorphic near $0$ and $f(0) = 0$, then $f(z) = ...

**6**

votes

**2**answers

441 views

### A question about $L^p$ integral of an entire function on $\mathbb{C}$

Question: Suppose that $f$ is an entire function (i.e. analytic in $\mathbb{C}$), and satisfies the condition $\iint_{\mathbb{C}}|f|^p dxdy<\infty$ for some $p\in (0,1)$. I guess that $f\equiv 0$ ...

**2**

votes

**1**answer

141 views

### The distribution of roots of elliptic polynomial

If $p(x)$ is an $n$ variables polynomial of even degree with complex coefficients which satisfies the strong elliptic condition, that is, Re$p(x) \ge C|x|^{2m}$ for any $x \in \mathbb R^n$ where $2m$ ...

**5**

votes

**0**answers

198 views

### Automorphisms of Compact Riemann Surfaces

I read a statement that for a compact Riemann surface $C$ with genus $g\geq 2$, one has
for the Jacobian $J(C)$ of the curve $C$:
$$ Aut (J(C))\sim Aut C$$
when $C$ is hyperelliptic and
...

**11**

votes

**2**answers

314 views

### Effective vanishing of the Schwarzian Derivative

Recall for any complex analytic function $f:\mathbb{D}\to \mathbb{C}$
the Schwarzian derivative of $f$ is
$$
S(f)=\frac{f'''}{f'}-\frac{3}{2} \left( \frac{f''}{f'}\right)^2.
$$
It's well known that ...

**6**

votes

**1**answer

833 views

### Poincare line bundle

I am being stuck by the proof of the existence of Poincare line bundle of complex torus in Griffiths-Harris. Here is the question:
Let $M$ be a complex torus and $M'$ be the complex torus dual to ...

**25**

votes

**5**answers

2k views

### Liouville's theorem with your bare hands

Liouville's theorem from complex analysis states that a holomorphic function $f(z)$ on the plane that is bounded in magnitude is constant. The usual proof uses the Cauchy integral formula. But this ...

**1**

vote

**0**answers

100 views

### Grauert's theorem for infinite dimensional Frechet Lie groups

Stein manifolds are complex analytic submanifolds of some $\mathbb{ C}^N.$
(A version of) Grauert's theorem states that on a Stein manifold $X$ every continuous map
$g\colon X\to G$ to a complex Lie ...

**3**

votes

**0**answers

238 views

### A Dedekind Eta trajectory / horocyclic flow (Reference request)

I've been exploring the composition of essentially the Dedekind $\eta$-function with
parabolic Möbius transformations,
...

**3**

votes

**2**answers

442 views

### Cauchy principal value integrals

I am doing my PhD and I faced an integral of the CPV type integral of the form:
$$\int_{-1}^{1} \frac{\sqrt{1-t^2}\sin{kt}}{t-x}d t$$
or
$$\int_{-1}^{1} \frac{\sin{kt}}{(t-x)\sqrt{1-t^2}}dt$$
Is ...

**1**

vote

**2**answers

294 views

### Harmonic polynomials on complex 2-space

Consider a complex-valued harmonic polynomial $f$ on ${\Bbb C}^2$ and assume that $f(0)=0$. Suppose also that $f$ does not vanish on the unit sphere $S^3\subset{\Bbb C}^2\simeq{\Bbb R}^4$. Does it ...

**12**

votes

**3**answers

857 views

### If a formal power series over the complex numbers satisfies a polynomial identity, does it imply that the power series has a radius of convergence?

Let $ P(z) $ be a $\textit{formal}$ power series in $z$ that a priori may not have a non zero radius of convergence. Assume that $P(0) =0$.
Let $\Phi(w,z)$ be a polynomial in two variables, that ...

**7**

votes

**0**answers

382 views

### The natural generalization of Euler's derivation of the Basel sum

Euler proved that $$\sum_{n=0}^\infty \frac{1}{n^2} = \frac{{\pi}^2}{6}$$ by comparing the $z^3$ term in the power series expression of $\sin(z)$ given by
$$\sin(z) = z - \frac{z^3}{3!} + ...

**6**

votes

**0**answers

190 views

### Invariant curves of rational functions

Let $\gamma$ be a Jordan analytic curve on the Riemann sphere, and $f$ a rational function
of degree at least 2 which
maps $\gamma$ onto itself homeomorphically. The following examples of such ...

**1**

vote

**2**answers

280 views

### Automorphy Factors and Bundles

The question I'm considering is the following: given an 1-cocycle in of the modular group in Hom$(H;\textrm{GL}_{r}(C))$ call it $f$ when does it induce a vector bundle structure on the corresponding ...

**6**

votes

**2**answers

127 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 ...

**2**

votes

**1**answer

301 views

### Constructing the imaginary part of a holomorphic function

Hallo,
Let $f: U \rightarrow \mathbb{R}$ be a analytic function, where $U \subset \mathbb{C}^{n}$ is a open set (paracompact, starshaped or convex i.e. sufficiently nice). Does there exist a function ...

**1**

vote

**0**answers

86 views

### Isometric automorphisms of $\tilde{S}$

Hello,
this question is a follow-up from Structure groups and a special class of L-functions
Let $\tilde{\phi}:\tilde{\mathcal{S}}\to\tilde{\mathcal{S}}$ be an automorphism of $\tilde{\mathcal{S}}$, ...

**23**

votes

**3**answers

793 views

### Rational functions with a common iterate

Let $f$ and $g$ be two rational functions. To avoid trivialities, we suppose that their degrees are
at least $2$. We say that they have a common iterate if $f^m=g^n$ for some positive integers $m,n$,
...

**11**

votes

**2**answers

407 views

### A “holomorphic” Peano curve?

A Peano curve is a continuous map $[0,1]\to [0,1]^2$ whose image is the whole square.
I would like to know if on can obtain "holomorphic" Peano curves. Namely, is it possible to find a continuous ...