All Questions
Tagged with cv.complex-variables reference-request
271 questions
2
votes
1
answer
373
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 ...
- 12.1k
0
votes
0
answers
331
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 better,...
- 3,084
4
votes
2
answers
700
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 precisely,...
- 21.8k
9
votes
1
answer
3k
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) ...
- 141
4
votes
1
answer
229
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 $\...
- 21.8k
2
votes
1
answer
518
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 ...
- 21.8k
1
vote
0
answers
436
views
A question related to the Grauert semi-continuity theorem
Let $f\colon X\to Y$ be a proper holomorphic map of complex analytic manifolds. Assume $f$ to be submersive for simplicity, but probably it is not important. Let $\mathcal{F}$ be a coherent sheaf on $...
- 21.8k
4
votes
0
answers
287
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 ...
- 18.7k
1
vote
1
answer
1k
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 ...
- 21.8k
2
votes
1
answer
277
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 ...
- 13.2k
4
votes
1
answer
359
views
How to classify the complex function with same natural boundary in complex plane? [closed]
There are complex functions with the same natural boundaries in the complex plane, but,they are different from each other. For example, there are lots of different lacunary power series with ...
- 3,084
0
votes
1
answer
148
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 ...
- 1,727
6
votes
0
answers
156
views
Grunsky-Motzkin-Schoenberg formula
I found this formula in Brian McCartin's interesting book "Mysteries of the equilateral triangle" http://www.kettering.edu/news/mysteries-equilateral-triangle and it looks as follows:
Suppose that $...
- 16.5k
1
vote
1
answer
142
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 ...
- 2,154
17
votes
2
answers
1k
views
Who first defined _simply connected_, reference?
The following definition is due to Donald J. Newman:
A connected open subset $D$ of the plane $\mathbb C$
is simply connected
if and only if its complement $\widetilde D = \mathbb C \setminus D$
...
- 1,375
11
votes
2
answers
997
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 ...
- 803
2
votes
2
answers
859
views
$ 2|f^{'}(0)| = \sup_{z, w \in D} |f(z)-f(w)|$ if and only if $f$ is linear
I know the following is a well-known result.
Let $D = B(0,1) \subset \mathbb{C} $ a disc, $f$ holomorphic on $D$. Show that $$ 2|f^{'}(0)| \le \sup_{z, w \in D} |f(z)-f(w)|$$
Furthermore, there is ...
- 125
0
votes
1
answer
192
views
Approximation of analytic functions by Lp functions
Is there any reference where I can find something on approximation of analytic functions on a domain in complex plane by $L^{p}$ analytic functions of the same domain?
- 325
4
votes
1
answer
1k
views
definition of accretive operator
A relation T with domain and range in a Hilbert space is said to be accretive if the
transformation $ (T − \lambda)/(T + \bar \lambda\ ) $
with domain and range in the Hilbert space is contractive for ...
- 2,106
10
votes
2
answers
538
views
Is there an analogue of Mostow-Palais equivariant embedding theorem for noncompact groups
Let $M$ be a (Hausdorff) smooth compact manifold and $G$ a Lie group acting smoothly on $M$. If $G$ is compact then, by Mostow-Palais theorem, there exists an equivariant smooth embedding $M\to {\...
- 31.2k
7
votes
2
answers
1k
views
Surjective entire functions without critical points
It is easy to construct surjective locally univalent holomorphic functions $f: {\mathbb D}\to {\mathbb C}$, where ${\mathbb D}$ is the open unit disk.
I am pretty sure that the answer to the ...
- 12.2k
8
votes
1
answer
734
views
Local polynomial form of holomorphic functions
It is well-known that a germ of a holomorphic function of $n\geq 2$ variables, with at most an isolated singularity (i.e. the singularity of the analytic variety defined by the zero locus of the ...
- 5,428
3
votes
1
answer
280
views
Composite families of formal power series over $\mathbb C$ as algebraic variety
I was led to prove that the set of composite families $(f_j)_{j \leq k}$ of germs at $0\in \mathbb C^m$ of a holomorphic function (composite = sharing a common divisor belonging to the maximal ideal) ...
- 5,428
4
votes
2
answers
378
views
Comparing two Delaunay tessellations on a hyperbolic surface
Let $S$ be a closed hyperbolic surface (i.e. a compact Riemann surface of genus $\geq 2$) and let $P=\{p_1,\ldots,p_m\}$ be a non-empty finite subset of $m$ points in $S$. Let $\pi:\mathbb H\...
- 838
7
votes
1
answer
720
views
Zariski's main theorem in the complex analytic category
Hello,
I am looking for a reference to something like that: if $f\colon X\to Y$ is a finite (i.e., proper with finite fibers) morphism of reduced and irreducible normal (or at least smooth) complex ...
- 1,839
9
votes
2
answers
2k
views
References on Taylor series expansion of Riemann xi function
I am looking for the references on Taylor series expansion of Riemann xi function at $\frac{1}{2}$.
$$ \xi (s)=\sum_0^{\infty}a_{2n}(s-\frac{1}{2})^{2n}$$
where
$$a_{2n}=4\int_1^{\infty}\frac{d[x^{3/...
- 603
3
votes
1
answer
252
views
unbounded power series
I want a reference to the literature of a power series convergent in the whole CLOSED
unit disk,but unbounded there.
- 91
1
vote
0
answers
653
views
On uniform convergence of sequences of bounded holomorphic functions with formal convergence
At some point I needed to prove that some formal (iterative) construction yielded an actual convergent power series. To do so I was led to prove the following lemma, where $\mathcal{B}(\Delta)$ is the ...
- 5,428
2
votes
2
answers
424
views
Meromorphic Functions as Distributions
For the function $\frac{1}{x}$ on the real line, one can use a modified principal value integral to consider it as a distribution p.f.$(\frac{1}{x}),$ and one can do a similar construction to make $\...
9
votes
2
answers
8k
views
The Paley-Wiener theorem and exponential decay.
Consider a function whose Fourier transform is supported on a half-ray:
$$
A(t)=\int_0^\infty \omega(E) e^{-iEt}d E,
$$
where I can suppose $\omega(E)\geq 0$ and any suitable regularity conditions on $...
- 2,358
3
votes
3
answers
477
views
Undecidability and holomorphic functions (Reference request)
The goal of this question is to recall a certain mathematical fact -not in my field- that I was once briefly told and that I have fogotten, and also to collect similar results.
The fact, I think, ...
- 23.3k
10
votes
4
answers
1k
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 ...
- 91.8k
8
votes
2
answers
2k
views
Pair correlation for the Riemann zeros and $(\zeta^\prime(s)/\zeta(s))^\prime$
Added Background: The pair correlation of the zeros of the Riemann zeta function is influenced by the the derivative of the logarithmic derivative $(\zeta^\prime(s)/\zeta(s))^\prime$; see for example ...
- 11.1k
20
votes
2
answers
1k
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 $...
- 6,548
4
votes
1
answer
267
views
variation of the obstacle in the obstacle problem
Suppose $D \subset \Bbb C$ with smooth boundary. Let $f \in C^{1,1}(D)$. Let $\varphi$ be the supremum of all members in the set
$$\lbrace g \in C^{\infty}(\overline{D})| g \ is \ subharmonic \ and \...
- 1,201
2
votes
0
answers
215
views
ALE Kähler manifolds are birational to deformations of $\mathbb{C}^n/G$.
I am reading Dominic Joyce's book 'Compact Manifolds with Special Holonomy' and I am struggling to understand a remark he makes at the end of chapter 8. The assertion is (I think) the following:
...
- 21
10
votes
1
answer
432
views
Modern version of an inequality of R. M. Gabriel for contour integrals
I am currently reading the 1998 article Dynamics of the Binary Euclidean Algorithm:
Functional Analysis and Operators by Brigitte Vallée, which cites a 1928 article by R. M. Gabriel for the following ...
- 6,206
1
vote
1
answer
393
views
The Dirichlet series of the Hasse–Weil L-function
I have the following question:
Is there is a paper claiming that the Dirichlet series of the Hasse–Weil $L$-function (associated with an elliptic curve over rationals) is of finite order.
Thank you in ...
- 1,197
4
votes
1
answer
535
views
A converse of the maximum modulus Theorem
W. Rudin in Real and Complex Analysis (262) mentioned that
Theorem Suppose $M$ is a vector space of continuous complex functions
on the closed unit disc $\bar U$, with
the following properties:
(a) $...
- 43
3
votes
3
answers
406
views
When can Hodge filtrations (decompositions?) be described explicitly in terms of periods?
It seems that there is no chance to explain the Hodge theory (to students) in an hour or so. Yet do there exist any cases when the Hodge filtration (or the Hodge decomposition) of the cohomology of a ...
- 16.9k
5
votes
1
answer
306
views
Periodic Holomorphic ODE
Suppose I have an annulus $U\subset \mathbb{C}$ and a single-valued holomorphic function $V:U\to \mathbb{C}$.
I would like to know if there are (tractable) conditions on $V$ that ensure that the ...
- 2,299
4
votes
1
answer
532
views
why do we need to study entire curves?
Good afternoon,
I'm just curious about this question, because I see that there are a lot of papers which study the value distribution of an entire curve $f\colon \mathbb{C}\to X,$ with X a complex ...
- 758
11
votes
1
answer
1k
views
Extending an assignment property from Q to R (or C)
Property of any odd number of nonnegative integers:
Given $x_1 \leq \cdots \leq x_{2n + 1}$ with each $x_i \in \mathbb{Z}_{\geq 0}$, suppose that for any $x_i$ we remove, the remaining numbers can be ...
- 7,831
1
vote
1
answer
2k
views
The zeros of the digamma function
I wonder what work have been done on the zeros of the digamma function and on the values of the gamma function at such points (on the negative real axis). Any help please :)
- 19
3
votes
1
answer
294
views
Automorphisms of bounded symmetric domains
Let $D \subset \mathbb{C}^n$ be a bounded symmetric domain. It is known that $D$ can be realized as the unit ball of some complex norm $||\cdot||$. Using the Bergman metric on $D$, one can define a ...
- 1,159
5
votes
1
answer
668
views
Same betti numbers as $\Bbb{CP}^n$
I am sure that there is an answer out there for the following question. If one is given an n dimensional Kahler manifold $X$ with Betti numbers that are the same as in the case of $\Bbb{CP}^n$, then ...
- 1,201
6
votes
0
answers
291
views
What is the status of the subadditivity problem for analytic capacity?
Hi,
Here is another question that concerns analytic capacity. For a compact set $K$ in the plane, define the analytic capacity of $K$ by
$$\gamma(K):=\sup|f'(\infty)|,$$
where the supremum is taken ...
- 2,154
8
votes
4
answers
1k
views
Monge Ampere equations
I am a graduate student trying to understand complex Monge-Ampere equations(mostly on complex manifolds with or without boundary, but also in C^n), but I can't put my hand on any monograph/textbook ...
- 1,201
9
votes
0
answers
461
views
$C^\infty$ function $f:{\bf C}\mapsto {\bf C}$ such that $f(z)\in\overline{{\bf Q}(z)}$ for all $z\in {\bf C}$
Suppose that $f:{\bf C}\mapsto {\bf C}$ is a $C^\infty$ function such that $f(z)\in\overline{{\bf Q}(z)}$ for all $z\in {\bf C}$, ie $f(z)$ is algebraic over the field ${\bf Q}(z)$ generated by $z$ ...
- 3,076
7
votes
4
answers
3k
views
Classification compact Riemann Surfaces
I know that all compact Riemann surfaces with the same genus are topologically equivalent. Moreover they are diffeomorphic. But are they biholomorphic, too?
In other words, is the complex structure ...
- 251