Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 290

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

4 votes

Relationships between the roots of an entire function and the roots of its derivative

Let $f(x) = (1 - r_1 x)...(1 - r_n x)$ be a polynomial. Then $f(x) = 1 - e_1 x^1 + e_2 x^2 \mp ... $ where the $e_i$ are the elementary symmetric functions in the $r_i$. We define also $p_k = \sum_i …
Qiaochu Yuan's user avatar
9 votes

What is $\sum (x+\mathbb{Z})^{-2}$?

As long as we're talking about the Weierstrass function, consider the parallels between the following: 1) Given a lattice $\Gamma$ in $\mathbb{R}$, the quotient $\mathbb{R}/\Gamma$ is topologically …
Qiaochu Yuan's user avatar
17 votes
3 answers
2k views

What is a reasonable finitary analogue of the statement that harmonic functions are smooth?

In my answer to this question on MU, I suggested that the OP think about the difference between real-differentiable and complex-differentiable functions by using a sort of finitary analogue. One way …
Qiaochu Yuan's user avatar
7 votes
1 answer
446 views

Reference for equivalent definitions of the genus

Let $X$ be a (edit: nonsingular) projective complex algebraic curve. The genus of $X$ can be defined as the dimension of the space of holomorphic $1$-forms on $X$, which in turn can be defined either …
20 votes
Accepted

Algebraic independence of shifts of the Riemann zeta function

$\zeta(s - z)$ has an Euler product $\prod_p \frac{1}{1 - p^{z-s}}$, and so a monomial $\prod_i \zeta(s - z_i)$ (with the $z_i$ not necessarily distinct) has an Euler product $$\prod_i \zeta(s - z_i) …
Qiaochu Yuan's user avatar
15 votes

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

To expand on Dinakar's comment about boundary value problems, the physical intuition one should have here is that the real and complex parts of a complex differentiable functions are harmonic function …
Qiaochu Yuan's user avatar
3 votes

Reference for asymptotic estimates

Here's a guess at something to try. Write $R(x) = \frac{P(x)}{Q(x)}$. Your series $F(x)$ satisfies $$F(x) = \frac{R(x)}{F(x^2)}$$ so taking logarithms we get $$\log F(x) = \log R(x) - \log F(x^2).$$ R …
Qiaochu Yuan's user avatar
13 votes
1 answer
859 views

What does the incidence algebra of the lattices in C tell us about modular forms?

I have two different and probably unrelated questions that can both be superficially described by the title, so I hope you'll forgive me if I ask them together. They both fall under the category of t …
Qiaochu Yuan's user avatar
8 votes
1 answer
588 views

Defining holomorphic functions in terms of Banach algebras, and similarly for C*-algebras

Let $C$ be the category of commutative Banach algebras and let $U : C \to \text{Set}$ be the usual forgetful functor. The holomorphic functional calculus guarantees that every holomorphic function $f …
Qiaochu Yuan's user avatar
33 votes

Demystifying complex numbers

If the students have had a first course in differential equations, tell them to solve the system $$x'(t) = -y(t)$$ $$y'(t) = x(t).$$ This is the equation of motion for a particle whose velocity vect …
1 vote

Ways to prove the fundamental theorem of algebra

Here is a proof that I think deserves to be recorded here somewhere. Of the proofs already listed it is closest to Pushkar's proof, Lucas Culler's proof, and Gian Maria Dall'Ara's highest-upvoted proo …
3 votes

Seeking a Geometric Proof of a Generalized Alternating Series' Convergence

Here's an idea. Group the series into blocks $$\sum_{n=dk}^{d(k+1) - 1} \frac{z^n}{n}$$ where $d$ is fixed and large enough that the complex numbers $1, z, z^2, ... z^{d-1}$ are approximately unifor …
Qiaochu Yuan's user avatar
23 votes
0 answers
651 views

Which proofs of the fundamental theorem of algebra are "essentially the same" vs. "essential...

The classic MO thread Ways to prove the fundamental theorem of algebra contains $60$ proofs of FTA, and I'm sure there are many more in the literature. It would be nice to have some way to organize th …
Qiaochu Yuan's user avatar
37 votes

Does module Hom commute with tensor product in the second variable?

You can think about tensor products as a kind of colimit; you're asking the hom functor $\text{Hom}_A(L, -)$ to commute with this colimit in the second variable, but usually the hom functor only commu …
Qiaochu Yuan's user avatar
21 votes

Is this a rational function?

$\sum a_n z^n$ is a rational function iff $a_n$ is a sum of polynomials times exponentials. This is a straightforward corollary of partial fraction decomposition. So, suppose $\frac{1}{2^n - 1}$ can b …
Qiaochu Yuan's user avatar

15 30 50 per page