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

learn more… | top users | synonyms (1)

0
votes
0answers
69 views

Sum or difference of modulus of holomorphic functions [on hold]

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.
3
votes
2answers
158 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
62 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
93 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
101 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
110 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 ...
1
vote
1answer
142 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
103 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 ...
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} ...
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 ...
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 ...
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) ...
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
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 ...
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 ...
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 ...
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$, ...
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
94 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 ...
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,$$ ...
1
vote
1answer
221 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 ...
2
votes
1answer
209 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
226 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
136 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 ...
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 ...
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
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
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 ...
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
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 ...
29
votes
3answers
1k views

Absolute value inequality for complex numbers

I asked this question on stackexchange, but despite much effort on my part have been unsuccesful in finding a solution. Does the inequality $$2(|a|+|b|+|c|) \leq |a+b+c|+|a+b-c|+|a+c-b|+|b+c-a|$$ ...
0
votes
1answer
73 views

Meromorphic extension of local defining equations of a complex submanifold

let $M$ be a smooth compact complex manifold of dimension $m$ and $N\subset M$ a smooth complex submanifold of dimension $1\leq n \leq m-2$. Covering $N$ with well chosen open sets of $M$ we can ...
3
votes
3answers
275 views

An apparently simple question (behaviour at infinity of a power series)

Let $(a_n)$ be a sequence of real numbers, and suppose that the real power series (function) $S(x):=\sum_{n=0}^{\infty} a_n x^n$ converges for every $x\in\mathbb{R}$. $\mathbf{Question}$: Suppose ...
2
votes
1answer
59 views

Quasiconformal deformation

Given a finite set $A$ on the Riemann sphere and a homeomorphism $f$, may I say there exists a quasiconformal homeomorfism isotopic to $f$ relative to the set $A$?
0
votes
1answer
152 views

Injective element of a commutative Banach algebra

A revision: According to the comment of Nate Eldredge, in order to avoid the triviality, we revise the property $P$. Assume that $A$ is a commutative unital Banach algebra. Its maximal ideal ...
1
vote
1answer
89 views

Hurwitz, A. and R. Courant: Funktionentheorie , elliptic functions part

Can some one suggests an English text covering that part of the book dealing with elliptic functions. As i understand from here, there is no translation of the full book to English but maybe another ...
2
votes
2answers
99 views

Original article about a theorem of Cartan on iterations of analytic functions

I'd like to know in which paper of H. Cartan I could find the following theorem : Let $\Omega$ be a connected, open and bounded subset of $\mathbb{C}$. Let $a \in \Omega$ and $f \in ...
3
votes
1answer
117 views

Harmonic function osculating a given subharmonic function

Let $\Omega\subseteq\mathbb C$ be an open set and let $\phi:\Omega\to\mathbb R_{\geq 0}$ be an exhausting (i.e. proper) smooth subharmonic function. Fix $p\in\Omega$. Does there exist a harmonic ...
5
votes
1answer
176 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 ...
1
vote
1answer
140 views

Real points $a∈ℝ$ such that the equation $f^{(k)}(s)=a$ have a finite number of real solutions $s$ for some $k$

Let $$L(C,s)=\sum_{n=1}^\infty \frac{a_n}{n^s}$$ be the Dirichlet series of the Hasse--Weil L-function of an elliptic curve $C$ over $ℚ$. The modularity theorem implies that $L(C,s)$ is the ...
2
votes
1answer
175 views

The behaviour of holomorphic mapping of curves

Given a polynomial, (or rational function, transcendental entire (meromorphic) function) $f$, and a smooth closed Jordan curve $\gamma$, can we give a complete description of the image of $f(\gamma)$ ...