Holomorphic functions, automorphic group actions and forms, pseudoconvexity, complex geometry, analytic spaces, analytic sheaves.

learn more… | top users | synonyms (1)

0
votes
0answers
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
1answer
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
2answers
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
0answers
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
0answers
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
1answer
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
1answer
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
3answers
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
1answer
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
1answer
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
1answer
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
1answer
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
3answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
2answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
4answers
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
3answers
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
1answer
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
1answer
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
1answer
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
3answers
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
2answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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 ...