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

learn more… | top users | synonyms (1)

0
votes
1answer
77 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
100 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 ...
0
votes
0answers
23 views

Can a lower-order trigonometric polynomials fit the data generated by a higher-order one? [on hold]

Let $x$ be a discrete finite-dimension vector $x$, and write $\hat{x}(\Omega) = \mathcal{F}_{\Omega}x$ where $\mathcal{F}_{\Omega}$ is the linear mapping collecting the Fourier transform of $x$ at the ...
1
vote
1answer
132 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
243 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
90 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
66 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
96 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
238 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
316 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
136 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
280 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
63 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
43 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
76 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
84 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
90 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
216 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
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
221 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
62 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
130 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
132 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
71 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
56 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
162 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
71 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
58 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
86 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
116 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
156 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
174 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)$ ...
1
vote
2answers
638 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 ...
1
vote
1answer
66 views

A question for the inverse orbit in the construction of conformal measure

Recently, I read a theorem of existence of conformal measure for the rational map. I did not understand two places in the proof. The author claims that there exists an open set $V\subset ...
1
vote
1answer
112 views

On the geometry of roots of a sum of complex linear fractions

I was wondering if there is anything known about the geometry (position) of the roots of a rational map of the form $$R(z):= \sum_{j=1}^{n} \frac{a_j}{z-p_j},$$ where the $a_j$'s are nonzero complex ...