Complex analysis, holomorphic functions, automorphic group actions and forms, pseudoconvexity, complex geometry, analytic spaces, analytic sheaves.

learn more… | top users | synonyms (2)

275
votes
15answers
39k views

Why do roots of polynomials tend to have absolute value close to 1?

While playing around with Mathematica I noticed that most polynomials with real coefficients seem to have most complex zeroes very near the unit circle. For instance, if we plot all the roots of a ...
119
votes
46answers
40k views

Ways to prove the fundamental theorem of algebra

This seems to be a favorite question everywhere, including Princeton quals. How many ways are there? Please give a new way in each answer, and if possible give reference. I start by giving two: ...
112
votes
2answers
11k views

What are the shapes of rational functions?

I would like to understand and compute the shapes of rational functions, that is, holomorphic maps of the Riemann sphere to itself, or equivalently, ratios of two polynomials, up to Moebius ...
59
votes
1answer
4k views

Is there a “classical” proof of this $j$-value congruence?

Let $j: \mathbf{C} - \mathbf{R} \rightarrow \mathbf{C}$ denote the classical $j$-function from the theory of elliptic functions. That is, $j(\tau)$ is the $j$-invariant of the elliptic curve $\mathbf{...
57
votes
16answers
11k views

f(f(x))=exp(x)-1 and other functions “just in the middle” between linear and exponential

The question is about the function f(x) so that f(f(x))=exp (x)-1. The question is open ended and it was discussed quite recently in the comment thread in Aaronson's blog here http://scottaaronson....
53
votes
3answers
3k views

Does a power series converging everywhere on its circle of convergence define a continuous function?

Consider a complex power series $\sum a_n z^n \in \mathbb C[[z]]$ with radius of convergence $0\lt r\lt\infty$ and suppose that for every $w$ with $\mid w\mid =r$ the series $\sum a_n w^n $ converges ....
52
votes
32answers
12k views

Demystifying complex numbers

At the end of this month I start teaching complex analysis to 2nd year undergraduates, mostly from engineering but some from science and maths. The main applications for them in future studies are ...
52
votes
9answers
9k views

Why do functions in complex analysis behave so well? (as opposed to functions in real analysis)

Complex analytic functions show rigid behavior while real-valued smooth functions are flexible. Why is this the case?
45
votes
8answers
7k views

Why does the Gamma-function complete the Riemann Zeta function?

Defining $$\xi(s) := \pi^{-s/2}\ \Gamma\left(\frac{s}{2}\right)\ \zeta(s)$$ yields $\xi(s) = \xi(1 - s)$ (where $\zeta$ is the Riemann Zeta function). Is there any conceptual explanation - or ...
45
votes
1answer
4k views

Behaviour of power series on their circle of convergence

I asked myself the following question while preparing a course on power series for 2nd year students. Let F be the set of power series with convergence radius equal to 1. What subsets S of the unit ...
42
votes
4answers
3k views

If the Riemann Hypothesis fails, must it fail infinitely often?

That is must there either be no non-trivial zeros off the critical line or infinitely many? I'm sure that no one believes otherwise, but I've never seen a theorem in the literature addressing this. ...
42
votes
1answer
924 views

Rearrangements of a power series at the boundary of convergence

Take some power series $f(z) = \sum a_n z^n$ with a finite non-zero radius of convergence. I can rearrange the terms of the series, say, to get a different infinite series $$f_{\sigma}(z) = \sum_{n=0}^...
39
votes
3answers
3k 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|$$ ...
39
votes
4answers
2k views

Polynomials on the Unit Circle

I asked this question in math.stackexchange but I didn't have much luck. It might be more appropiate for this forum. Let $z_1,z_2,…,z_n$ be i.i.d random points on the unit circle ($|z_i|=1$) with ...
37
votes
4answers
2k views

What is the Krull dimension of the ring of holomorphic functions on a complex manifold?

Consider a connected holomorphic manifold $X$ and its ring of holomorphic functions $\mathcal O(X).$ My general question is simply: in which cases is the Krull dimension $\dim \mathcal O(X)$ known? ...
37
votes
7answers
3k views

Is there an integration free proof (or heuristic) that once differentiable implies twice differentiable for complex functions?

The title pretty much says it all. I am revisiting complex analysis for the first time since I "learned" some as an undergraduate. I am trying to wrap my head around why it should be the case that a ...
37
votes
1answer
2k views

Circles and rational functions

Suppose that $\gamma$ is a Jordan analytic curve on the Riemann sphere, and there exist two rational functions $f$ and $g$ such that $f$ maps $\gamma$ into a circle, and $g$ maps a circle into $\gamma$...
36
votes
4answers
3k views

The maximum of a polynomial on the unit circle

Encouraged by the progress made in a recently posted MO problem, here is a "conceptually related" problem originating from a 2003 joint paper of Sergei Konyagin and myself. Suppose we are given $n$ ...
34
votes
3answers
5k views

On linear independence of exponentials

Problem. Let $\{\lambda_n\}_{n\in\mathbb N}$ be a sequence of complex numbers . Let's call a family of exponential functions $\{\exp (\lambda_n s)\}_{n\in\mathbb N}$ $F$-independent (where $F$ is ...
33
votes
1answer
2k views

$\zeta(0)$ and the cotangent function

In preparing some practice problems for my complex analysis students, I stumbled across the following. It is not hard to show, using Liouville's theorem, that $$\pi\cot(\pi z)=\frac{1}{z}+\sum_{n=1}^\...
31
votes
5answers
4k views

Liouville's theorem with your bare hands

Liouville's theorem from complex analysis states that a holomorphic function $f(z)$ on the plane that is bounded in magnitude is constant. The usual proof uses the Cauchy integral formula. But this ...
31
votes
3answers
1k views

Polynomials with the same values set on the unit circle

Assume that $P(z)$, $Q(z)$ are complex polynomials such that $P(S)=Q(S)$, where $S=\{z\colon |z|=1\}$ (equality is understood in the sense of sets, but I do not know the answer even for multisets). ...
31
votes
3answers
1k views

How is the Julia set of $fg$ related to the Julia set of $gf$?

Let $f$ and $g$ be complex rational functions (of degree $\geq 2$ if that helps). What can be said about the relationship between $J(fg)$ and $J(gf)$, the Julia sets of the composite functions $f \...
31
votes
2answers
1k views

Example of a compact Kähler manifold with non-finitely generated canonical ring?

A celebrated recent theorem of Birkar-Cascini-Hacon-McKernan and Siu says that the canonical ring $R(X)=\oplus_{m\geq 0}H^0(X,mK_X)$ of any smooth algebraic variety $X$ over $\mathbb{C}$ is a finitely ...
30
votes
7answers
6k views

Interpreting the Famous Five equation [closed]

$$e^{\pi i} + 1 = 0$$ I have been searching for a convincing interpretation of this. I understand how it comes about but what is it that it is telling us? Best that I can figure out is that it just ...
30
votes
5answers
4k views

Why does so much recent work involve K3 surfaces?

I've been noticing that a whole lot of papers published to the Arxiv recently involve K3 surfaces. Can anyone give me (someone who, at this point, knows little more about K3 surfaces than their ...
30
votes
2answers
2k views

Must the set of lines through the origin on which a nonconstant entire function is bounded be finite?

If an entire function is bounded for all $z \in \mathbb{C}$, than it's a constant by Liouville's theorem. Of course an entire function can be bounded on lines through the origin $z=r \exp(i \phi), \...
30
votes
1answer
7k views

What, exactly, has Louis de Branges proved about the Riemann Hypothesis?

Hi, I know this is a dangerous topic which could attract many cranks and nutters, but: According to Wikipedia [and probably his own website, but I have a hard time seeing exactly what he's claiming] ...
30
votes
1answer
2k views

Is S^2 x S^4 a complex manifold?

As observed by Calabi a long time ago, the manifold $S^2\times S^4$ admits an almost-complex structure (obtained by embedding it in $\mathbb{R}^7$ and using the octonionic product), which however is ...
28
votes
2answers
2k views

Restriction of a complex polynomial to the unit circle

I am pretty sure that the following statement is true. I would appreciate any references (or a proof if you know one). Let $f(z)$ be a polynomial in one variable with complex coefficients. Then there ...
28
votes
1answer
2k views

Zeros of polynomials with real positive coefficients

The following problem arose in collaborative work with Subhro Ghosh: Question: To any polynomial $P_n(z)=\sum_{i=0}^n a_i z^i =a_n \prod_{i=1}^n(z-z_i)$, attach the empirical measure of zeros $L_n=n^{...
28
votes
0answers
3k views

A paper to the question, if the six dimensional sphere is a complex manifold

Hi, for a few days a paper was published on arxiv.org with the title "The six dimensional sphere is a complex manifold": http://arxiv.org/PS_cache/math/pdf/0505/0505634v3.pdf Because I am not able to ...
28
votes
1answer
1k 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 ...
27
votes
3answers
816 views

A point set of power series with coefficients in {-1, 1}. Connected or not?

Let $z$ be a fixed complex number with $|z|<1$ and consider the set $$X_z := \Big\{\sum\limits_{i=1}^{\infty} a_i z^i \ \Big|\ a_i\in \{-1,1\} \forall i\Big\}.$$ What can be said about the set $M$ ...
27
votes
2answers
966 views

Can the holomorphic image of $(\mathbb{C}^*)^n$ be open but not dense

Let $M$ be a compact complex connected [but not necessarily kähler] $n$-manifold, and suppose we have a holomorphic map $$(\mathbb{C}^*)^n \to M$$ such that the image is open. Is the image necessarily ...
27
votes
3answers
992 views

Rational functions with a common iterate

Let $f$ and $g$ be two rational functions. To avoid trivialities, we suppose that their degrees are at least $2$. We say that they have a common iterate if $f^m=g^n$ for some positive integers $m,n$, ...
26
votes
1answer
809 views

Stone-Weierstrass theorem for holomorphic functions?

The Stone-Weierstrass theorem has an analog for the algebras of smooth functions, called Naсhbin's theorem: An involutive subalgebra $A$ in the algebra ${\mathcal C}^\infty(M)$ of smooth ...
25
votes
3answers
2k views

What is special about polylogarithms that leads to so many interesting identities and applications?

I have heard that Polylogarithms are very interesting things. The wikipedia page shows a lot of interesting identities. These functions are indeed supposed to have caught the attention of Ramanujan. ...
25
votes
2answers
1k views

A 14th and 26th-power Dedekind eta function identity?

Given the Dedekind eta function $\eta(\tau)$. Define $m = (p-1)/2$ and a $24$th root of unity $\zeta = e^{2\pi i/24}$. Let p be a prime of form $p = 12v+5$. Then for $n = 2,4,8,14$: $$\sum_{k=0}^{...
25
votes
3answers
3k views

Which almost complex manifolds admit a complex structure?

I was reading Yau's list of problems in geometry, and one of them is to prove that any almost complex manifold of complex dimension $n \geq 3$ admits a complex structure. It's been some time since Yau'...
25
votes
0answers
449 views

“Three great cocycles” in Complex Analysis as cohomology generators

In his lecture notes, C. McMullen discusses "the three great cocycles" in Complex Analysis: the derivative $$f\mapsto\log f',$$ the non-linearity $$f\mapsto (\log f')'dz$$ and the Schwarzian ...
24
votes
2answers
549 views

Why is there no connection between fast-growing functions and complex analysis

I found myself wondering the other day whether the fast-growing functions from natural to naturals that are studied by people like proof theorists are the restriction to the naturals of analytic ...
24
votes
0answers
1k views

When does a modular form satisfy a differential equation with rational coefficients?

Given a modular form $f$ of weight $k$ for a congruence subgroup $\Gamma$, and a modular function $t$ with $t(i\infty)=0$, we can form a function $F$ such that $F(t(z))=f(z)$ (at least locally), and ...
23
votes
2answers
582 views

Are there irreducible polynomials with all zeros on two concentric circles?

This is somewhat similar to this recent question, but extending in a different direction. Let $f(x)$ be an irreducible polynomial of degree $n$ with integer coefficients. Call such $f$ a bicycle ...
22
votes
4answers
2k views

Distribution of roots of complex polynomials

I generated random quadratic and cubic polynomials with coefficients in $\mathbb{C}$ uniformly distributed in the unit disk $|z| \le 1$. The distribution of the roots of 10000 of these polynomials are ...
22
votes
1answer
643 views

Comparison map between de Rham cohomology of analytic and formal neighborhoods of singularities

Suppose that $X$ is a complex algebraic (or complex analytic) variety, and $x \in X$ is a singular point. I am interested in two types of local differential forms at $x$: analytic and formal. First, ...
21
votes
10answers
6k views

Uniformization theorem for Riemann surfaces

How does one prove that every simply connected Riemann surface is conformally equivalent to the open unit disk, the complex plane, or the Riemann sphere, and these are not conformally equivalent to ...
21
votes
4answers
705 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 ...
21
votes
4answers
2k views

Genealogy of the Lagrange inversion theorem

A wonderful piece of classic mathematics, well-known especially to combinatorialists and to complex analysis people, and that, in my opinion, deserves more popularity even in elementary mathematics, ...
21
votes
5answers
1k views

Topology on the set of analytic functions

Let $H(D)$ be the set of all analytic functions in a region $D$ in $C$ or in $C^n$. Everyone who worked with this set knows that there is only one reasonable topology on it: the uniform convergence on ...