**0**

votes

**0**answers

16 views

### Sum or difference of modulus of holomorphic functions

Assume that $f$ and $g$ are two holomorphic functions defined in the unit disk. If $$|f|^2-|g|^2\equiv 1$$ or $$|f|^2+|g|^2\equiv 1,$$ then it seems that $f$ and $g$ are constants. How to prove this.

**5**

votes

**1**answer

175 views

### Bounds on the derivative of a Riemann map

Let U be a simply connected domain with smooth boundary in the complex plane, and let $\mathbb D$ be the unit disc. Is there a nice sufficient condition for the existence of a biholomorphic map ...

**3**

votes

**2**answers

139 views

### A question on certain elliptic PDE

Consider the elliptic PDE "CR"
$$\begin{cases} U_{xx}=V_{yy}\\U_{yy}=-V_{xx} \end{cases}$$
And its consequence "LAP" $$U_{xxxx}+U_{yyyy}=0$$.
Somehow, these equations are similar to the Cauchi ...

**0**

votes

**0**answers

57 views

### Smoothness in Ecalle's method for fractional iterates

Some four years ago I answered my own question on fractional iteration, concluding that there is a half iterate of sine, that is $f(f(x)) = \sin x,$ which is real analytic for $0 < x < \pi$ but ...

**1**

vote

**0**answers

91 views

### Exactness of the relative de Rham complex restricted to subschemes

I think that the statement below about relative de Rham complex is true (am I wrong?) If it is the case, a reference would be very helpful. (I admit that the statement sounds somewhat technical and ...

**0**

votes

**1**answer

100 views

### Hilbert scheme of a closed subscheme

Let $X$ be a complex algebraic variety. Its Hilbert scheme represents the functor $G$ from schemes to sets given by $$G(S)=\{Z\subset X\times S|\, Z \mbox{ is a closed subscheme, flat and proper over ...

**1**

vote

**1**answer

109 views

### Hilbert scheme of an infinitesimal neighborhood of a subvariety

Let $X$ be a complex algebraic variety. Let $C\subset X$ be a compact (reduced) subvariety. Let $C^{(n)}$ denote the $n$th infinitesimal neighborhood of $C$ inside $X$. Let $Hilb(X)$ denote the ...

**16**

votes

**3**answers

541 views

### When are some products of gamma functions algebraic numbers?

I want to know when certain expressions of the form
$ {\Gamma(r_1/m) \Gamma(r_2/m) \ldots \Gamma(r_j/m) \over \Gamma(s_1/m) \Gamma(s_2/m) \ldots \Gamma(s_j/m)} $
are algebraic numbers. These ...

**20**

votes

**1**answer

684 views

### Computing Self-Intersections with Complex Analysis

It is possible to find the winding number of a path $C \subset \mathbb{C}$ using complex analysis:
$$n = \oint_C\frac{dz}{z}.$$
You can also count the number of roots of $f(z) = 0$ inside a close ...

**1**

vote

**1**answer

141 views

### Does the “Ohsawa-Takegoshi theorem without bounds” have a name?

There are many theorems which now could be called "The Ohsawa-Takegoshi" theorem. Of these, the most basic is roughly the following:
Let $\Omega \subset \subset \mathbb{C}^n$ be a psuedoconvex ...

**4**

votes

**1**answer

102 views

### A free boundary problem

Do there exist Jordan analytic curves $J$ in the complex plane $C$, other than circles, with the following property:
There exists a harmonic function $u$ in the unbounded component of $C\backslash ...

**10**

votes

**1**answer

256 views

### Distribution of zeroes of lacunary functions

In a recent Math Stack Exchange question I asked about the function $$f(z)=\sum_{n=0}^\infty z^{2^n},$$ and was informed of its status is a canonical example of a lacunary series with natural boundary ...

**1**

vote

**3**answers

2k views

### Specializing in Complex Analysis [closed]

May someone kindly provide a useful list of books on complex analysis that would be appropriate for a graduate student intending to specialize in that area. Thanks, your help is appreciated!
William
...

**9**

votes

**1**answer

522 views

### Is there a holomorphic Morse-Bott lemma?

It asks for a generalization of the question in the post
Normal form for a holomorphic Morse function
Suppose $f$ is a holomorphic function on a complex manifold $M$ which has Bott type critical ...

**3**

votes

**0**answers

74 views

### Homogenous polynomially convex hull of $[0,1]^n$

I would like to calculate the set of $z\in \mathbb{C}^d$ such that there exists a constant $C >0$ such that for every homogeneous polynomial $p$ in $d$ variables $$|p(z)|\leq C\sup_{x\in [0,1]^d} ...

**0**

votes

**0**answers

68 views

### Examples of functions with natural boundary that do not satisfy Fabry or Hadamard gap theorem condition

there are examples of lacunary functions with natural boundary that do not satisfy Fabry or Hadamard gap theorem condition.I want to know more examples of those functions,the more the ...

**1**

vote

**1**answer

92 views

### Contour integral around semi-circle

Can one use contour integration to evaluate $\int^{\pi}_{0} \frac{1}{1-\rho*sin(\theta)}d\theta$ for $0<\rho<1$? This would be trivial if the upper limit were $2\pi$ as we could let ...

**2**

votes

**0**answers

98 views

### If a compact real submanifold of $\mathbb{CP}^n$ is approximable by complex algebraic curves, is it algebraic?

To make this into a separate question:
If the supports of a sequence of complex algebraic curves in $\mathbb{CP}^n$ (images of non-constant holomorphic maps from compact Riemann surfaces) converge to ...

**2**

votes

**2**answers

243 views

### Basic questions on the Hilbert scheme/ Douady space

Let $X$ be a complex projective scheme (resp. complex analytic space). The Hilbert scheme (resp. Douady space) parameterizes closed subschemes (resp. complex analytic subspaces) of $X$. More ...

**1**

vote

**0**answers

78 views

### why is this result about Gaussian analytic functions equivalent to the Crofton formula

I am reading Zeros of Gaussian Analytic Functions by Mikhail Sodin and he gives an much-too-easy proof of density of zeros of a Gaussian Analytic function.
Definition A Gaussian analytic function ...

**6**

votes

**1**answer

321 views

### Complex geometry text/research introduction for the analyst

To give some background, I am mainly an analyst trained in harmonic/functional and do work on geometric pde's and spectral multipliers. Of late, I am trying to learn more about (research level) ...

**5**

votes

**0**answers

65 views

### Density of rational functions in open Stein

I repost here, after I tried here.
Lately I have been wondering on this problem: if $U \subset \mathbb C^n$ is an open Stein and I denote by $\mathcal R(U)$ the set of rational functions on $\mathbb ...

**1**

vote

**1**answer

281 views

### When flatness of a morphism implies smoothness?

EDIT: Let $f\colon X\to C$ be a flat proper morphism of complex algebraic (or analytic) varieties. Assume the special fiber over a point $p\in C$ is smooth.
Is it true that there exists a ...

**3**

votes

**1**answer

137 views

### Flat family with special fiber $\mathbb{C}\mathbb{P}^1$

Let $C=Spec \mathbb{C}[t]/(t^{n+1})$. Let $X$ be an algebraic (or complex analytic) scheme, flat over $C$ with the structure morphism $f\colon X\to C$. Assume that the special fiber is isomorphic to ...

**1**

vote

**2**answers

640 views

### Spicing up Riemann surfaces course (revised)

I am a master's student planning to write a master's thesis on Riemann surfaces. I plan to study Forster's Lectures on Riemann surfaces. What side topics could one study to spice up the thesis? I am ...

**2**

votes

**1**answer

65 views

### Variation of the argument of a rational function along a circle

I posted this question on MSE a few time ago, but it did not receive much attention. I thought there might be an elementary answer so didn't want to post it directly on MO. My apologies if this ...

**0**

votes

**1**answer

44 views

### How large is the unboundedness locus of a plurisubharmonic function?

The unboundedness locus L(u) of a plurisubharmonic function u is the set of points xâˆˆX such that u is unbounded in every neighbourhood of x. It always contains the polar locus of u. One knows that the ...

**5**

votes

**4**answers

494 views

### Visualizing functions with a number of independant variables

I need to graph real valued functions ( for exposition and analysis)
the issue is the independent variables are more so that the conventional graphing method cant be used and further i don't want to ...

**5**

votes

**1**answer

267 views

### Laurent expansion of a principal value integral

Let $f(t)$ be a nice HÃ¶lder continuous function. Also, suppose that $f$ is even. I'm interested in evaluating integrals of the form:
$$\oint (1-z)^{k+1}\int_0^1 \frac{f(t)}{(1-zt)^{n+1}}dtdz,$$
...

**2**

votes

**1**answer

78 views

### M-Wright function asymptotics

Let $M(z;\nu):= \frac{1}{\pi}\sum_{n=1}^{\infty} \frac{(-z)^{n-1}}{(n-1)!}\Gamma(\nu n)\sin(\nu n\pi)=\frac{1}{2\pi i}\int_{\text{H}_a}\exp(\sigma -z\sigma^{\nu})/\sigma^{1-\nu} d\sigma$, ...

**1**

vote

**1**answer

219 views

### A generalization of the Grauert direct image theorem

EDIT: Let $f\colon X\to Y$ be proper holomorphic submersive map of complex analytic manifolds. Let $\mathcal{F}$ be the sheaf of holomorphic sections of a holomorphic vector bundle over $X$. Assume ...

**0**

votes

**0**answers

87 views

### Mittag-Leffler function and Laplace Integral

Let $E_{\alpha}(z)\triangleq \sum_{n=0}^{\infty} \frac{z^n}{\Gamma(\alpha n + 1)}$ be the Mittag-Leffler function.
I am looking for a full proof of the following fact (a reference to a proof in the ...

**3**

votes

**0**answers

93 views

### Is there a coordinate free proof of the Morrey--Kohn--Hormander identity?

The Morrey--Kohn--Hormander identity is the key to proving vanishing/existence results on bounded pseudoconvex domains in $\mathbb{C}^n$, or more generally, Stein domains. See, for instance, the ...

**3**

votes

**0**answers

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

**2**

votes

**1**answer

208 views

### pick interpolation — why is it symmetric? $\left[\frac{1 - w_i \overline{w_j}}{1 - z_i \overline{z_j}} \right]_{i,j=1}^n \geq 0$ [closed]

I am reading notes on a complex interpolation problem:
Let $z_1, \dots, z_n \in \mathbb{D}$ and $w_1, \dots, w_n \in \mathbb{C}$. There exists (bounded holomorphic?) $f \in H^\infty(\mathbb{D})$ ...

**0**

votes

**1**answer

116 views

### Length-preserving Analogue of Riemann's Mapping Theorem

The Riemann mapping theorem (cf e.g. http://en.wikipedia.org/wiki/Riemann_mapping_theorem) essentially guarantees the existence of a biholomorphic mapping of a simply connected, open subset of the ...

**11**

votes

**1**answer

225 views

### Analog of Newlanderâ€“Nirenberg theorem for real analytic manifolds

It is well known that one can specify a complex structure on a real $C^\infty$ manifold in two equivalent ways: an atlas with holomorphic transition functions between charts and an integrable almost ...

**2**

votes

**1**answer

63 views

### Show properness of Ahlfors map

If have got a $k$-fold connected surface $G$, which is bounded by n distinct, non-intersecting Jordan-curves. By Ahlfors it is known that there exists a unique function $\phi$ which maps G to the unit ...

**6**

votes

**3**answers

135 views

### Is there a effective computational criterion to all periodic points of a rational function are repelling.

I came up with a question to know the fatou component of of some types of rational function. In some sense, I may need to give a computational criterion to existence of attracting periodic basin for a ...

**-3**

votes

**1**answer

122 views

### Randomness about coefficients of series

$B\subset \mathbb{N}\bigcup \{0\}$ is finite and not empty, infinite series:$$f(x)=\sum_{i=1}^{\infty}a_i x^i,a_i \in B$$ Now $f(x)$ is rational or has a natural boundary.
Now,the question :if ...

**1**

vote

**1**answer

133 views

### zeros of perturbations of truncations of $\sin(z)$

Maybe this is obvious, but it comes to my mind now.
I was thinking about the zeros of $\sin(z).$
Imagine, we think in an analytic function on $\mathbb{C}$ with one zero in $0$ and all the other zeros ...

**1**

vote

**1**answer

295 views

### Infinite product's question

Given a pair of strictly increasing functions $f,g:\mathbb{N}\to \mathbb{N}$
define:
$P_N(f,g)\doteq \left(z\in \mathbb{C}\mapsto \prod_{i=1}^{f(N)}\left(1+\frac{z}{v_i(N)}\right)\in ...

**4**

votes

**3**answers

74 views

### existence of rational functions with prescribed critical values and ramification degrees at critical points

If the critical values are given, and the ramification degrees of critical points (I don't care about the locations of these points) are also given, does there exists a rational function on the ...

**6**

votes

**2**answers

860 views

### Brownian Motion Winding Number

Take a simple random walk $\gamma$ in the complex plane conditioned to start at point $a$ and end at point $b$. For this random walk, we can define the winding number $W_\gamma(a,b)$ around $b$ in the ...

**1**

vote

**1**answer

163 views

### System of quadratic complex equations

I want to solve this system of N non-linear equations without using a numerical method:
$x_{k}^{2}= \alpha_{k }+ \sum\limits_{m=1}^{N} (\beta_{km} x_{m} + \psi_{km} x_{m}^{*})$
With
$\left| ...

**1**

vote

**0**answers

57 views

### Exchange limit and sum in certain conditions

Let
$\sum_{i=1}^{\infty} f_i(s)$ be a series of analytic functions and suppose it converges on some neighbourhood $V$ of $s=0$ and it converges uniformly on $V\cap\{s \;|\; |s|> \varepsilon \}$ for ...

**1**

vote

**0**answers

52 views

### Generalization of the Hermite-Beihler-Kakeya Theorem (2)

This is a follow up to the questions posed in Generalization of the Hermite-Bielher-Kakeya Theorem. Here is an interesting follow up to those comments.
Firstly we remark that: $f(x)+g(x)\cdot w$ is ...

**3**

votes

**1**answer

176 views

### Local holomorphic equations for symplectic divisors

If $(X,\omega)$ is a symplectic manifold and $J\colon TX \to TX$ is an almost complex structure, we know that $J$ is actually a complex structure if and only if the Nijenhuis tensor $N_J(\cdot,\cdot)$ ...

**4**

votes

**1**answer

284 views

### searching for an elementary proof a complex analysis result

Given a function $ g $ entire on the whole complex plane $ C $, it is possible to find an entire function $f $ such that $ f(z+1) -f(z)=g(z) $. The proof can be given using riemann ...

**4**

votes

**2**answers

638 views

### Are there cusp forms for the full modular group Sp(2,Z) and representations det^3 \otimes Sym^2j(\rho_standard)

What are modular forms or cusps forms, resp. ?
We start with defining their common domains $\mathbb{H}_g$ as the set of symmetric $g \times g$ matrices with positive definite imaginary parts.
The ...