# Tagged Questions

**9**

votes

**0**answers

109 views

### How useful is knowing every torsionfree $\mathcal O(D)$ module is flat?

One of the corollaries of Weiertrass' factorization theorem plus the theorem of Mittag Leffler is that $\mathcal O(\Bbb C)$, more generally $\mathcal O(D)$ for some region $D$ is such that every ...

**1**

vote

**1**answer

221 views

### Residues and values of Riemann Zeta function at some points

I need the following computational results for proving something.
Let $1/2 + i\gamma_0$, be the first nontrivial zero of Riemann zeta function, $\zeta(s)$,
i.e. $\gamma_0\sim 14.134...$.
1) what is ...

**4**

votes

**0**answers

112 views

### residue and regulator

Let $C$ be a curve defined over $\mathbb{Q}$. The regulator is a map
$$
reg: K_2(C)_{\mathbb{Q}} \longrightarrow H^1(C(\mathbb{C}), \mathbb{R}).
$$ Here $K_2(C)_{\mathbb{Q}}$ is the K-group tensor ...

**2**

votes

**0**answers

133 views

### weak form of Sendov conjecture

Suppose $p$ is a polynomial of degree $n$ and all roots $z_1,\cdots,z_n $ of $p$ are inside the unit disk. Then how to show that every disk of radius $\sqrt{2}$ and centered at $z_k$ for ...

**5**

votes

**1**answer

169 views

### Starshapeness of polynomial tracts with respect to the (entire collection of) critical points contained in the tract

I recently found out (Piranian, "The Shape of Level Curves") that a polynomial tract (ie a connected component of a set of the form $G=\{z:|p(z)|<\epsilon\}$ for some $\epsilon>0$) need not be ...

**0**

votes

**0**answers

115 views

### Solution to system of polynomial equations

Suppose $A$ is a set of polynomials:$$P_1(x,y_1,\dots,y_n)=0,$$
$$P_2(x,y_1,\dots,y_n)=0,$$
$$\vdots$$
$$P_k(x,y_1,\dots,y_n)=0$$
is a system of equations with coefficients over $\mathbb{Z}$, and ...

**32**

votes

**1**answer

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 ...

**0**

votes

**0**answers

46 views

### what is the first non-constant term in the Kronecker Limit formula?

The Kronecker Limit formula gives the constant term in the Laurent expansion about s=1 of the Eisenstein series E(s,\tau). What is the next term? I.e., the coefficient of the first power of (s-1)? I ...

**5**

votes

**0**answers

57 views

### Obstruction to the existence of global resolution of coherent sheaf

It is well known that any coherent sheaf on a complex manifold (or more generally a complex space) admits locally a resolution with locally free sheaves. It is also well known that for non-algebraic ...

**0**

votes

**0**answers

97 views

### Asymptotic analysis of a sum of complex summands using integral

I'm trying to find the exact asymptotics of a sum:
$$A = \sum^n_{i=0} \begin{pmatrix} 2n \\ i \end{pmatrix} x^{i} y^{2n-i} $$
as $n\rightarrow\infty$. Here $x,y$ are complex numbers, $|x|\leq1, ...

**1**

vote

**0**answers

113 views

### Proper monomorphisms in complex analytic spaces

In the algebraic geometry of schemes, we know that monomorphisms which are universally closed (= every pullback is a closed map) and of finite type are closed immersions. See Gortz, Wedhorn "Algebraic ...

**1**

vote

**2**answers

86 views

### A question on deficient values of entire functions

Recently I come cross a question about deficient values of entire functions.
I find that many examples in the book about functions $f$ whose deficient values are singularities of the inverse ...

**0**

votes

**1**answer

144 views

### When a proper morphism of schemes is a closed imbedding?

Let $X$ and $Y$ be finitely presented schemes over $\mathbb{C}$. Let $f\colon X\to Y$ be a proper morphism. Let us assume that for any finitely presented scheme $S$ the induced map
$$Mor_{Sch}(S,X)\to ...

**3**

votes

**0**answers

120 views

### Series of swapping terms

Suppose $f(z)=a_0+a_1z+\cdots+a_nz^n+\cdots$ is defined in the unit disk, $\mathbb{D}$, and $\|f\|_{\infty}\leq 1.$ Lets form a series $f_k$ by interchanging $a_1$ and $a_k$ i.e. ...

**0**

votes

**0**answers

43 views

### Lifting $SHFC$ to non singular foliations

In this question we would like to complexify the idea in the following post.
We would like to lift a "singular holomorphic foliation by curves", briefly "SHFC", of $\mathbb{C}P^{2}$ to a ...

**2**

votes

**0**answers

105 views

### Eigenvalue problem

I am studying torsional Alfven waves in spicules.
In this concern I have encountered the following equation:
$
\left(1-m^2 e^{-αz}\right)y''(z)+\left(4π i m ...

**0**

votes

**0**answers

88 views

### Integrate Faddeeva function

I came across this integration in my studies.
$\int_{-\infty}^{\infty}|F((w_\textbf{_} - \hat{w_\textbf{_}})\tau) |^2 . d\tau$
It uses the Faddeeva function which is $F(z) = e^{-z^2}erfc(-iz)$. I ...

**2**

votes

**1**answer

123 views

### Norm of swapped power series in the unit disk

Suppose $f(z)=a_0+a_1z+\cdots+a_nz^n+\cdots$ is defined in the unit disk and $\|f\|_{\infty}\leq 1.$ Lets form another series $g$ by interchanging $a_1$ and $a_k$ i.e. ...

**15**

votes

**3**answers

392 views

### Can all $L^2$ holomorphic functions on a domain vanish at a particular point?

Let $\Omega \subset \mathbb{C}^n$. Is it possible that there is a point $p \in \Omega$ such that every $f \in A^2(\Omega) = L^2(\Omega) \cap \mathcal{O}(\Omega)$ has a zero at $p$? The space ...

**1**

vote

**0**answers

87 views

### Is there a general connection between value distribution and zero distribution for functions representable by Dirichlet series?

Some time ago I read part of a book in which the author made some conjectures outlining what kind of zero distribution is expected for functions representable by Dirichlet series with completely ...

**0**

votes

**1**answer

171 views

### A condition on isolated singularity

Suppose $F: {\mathbb C}^N \to {\mathbb C}$ defines a singularity at the origin (for simplicity one can assume that $F$ is a quasi-homogeneous polynomial). Suppose it is nondegenerate, i.e., $dF(z) = ...

**1**

vote

**0**answers

43 views

### Determine the position of the contour with the value of corresponding contour integral

Let $C$ be the contour of the unit square with lower left corner at origin. We define a function $g(z)=\int_{z+C} f(w)dw$ for a given (not necessarily holomorphic) function ...

**4**

votes

**2**answers

650 views

### What does analyticity imply in complex analysis? [closed]

In complex analysis, we're constantly faced with problems about the analyticity of a function, on which many theorems are developed. I of course know a bunch of formulas and theorems, but could not ...

**7**

votes

**0**answers

79 views

### What does this number tell me about a convex lattice polygon?

EDIT: I realized I'd tricked myself by working with a too special case of $f$, the question is now updated (boundary lattice points replaced vertices).
Suppose I have a convex lattice polygon $P$, ...

**6**

votes

**1**answer

329 views

### Applications of the Small and Great Theorems of Picard

I just presented the two famous theorems of Picard (Small and Great) in a graduate course, but I have not managed to discover a good number of interesting applications.
List of applications (rather ...

**0**

votes

**0**answers

87 views

### Non-trivial global solution for Dirichlet eigenvalue problem

Suppose $f:\mathbb{R}^2\to\mathbb{R}$ is smooth everywhere except a set of measure zero.(i.e. A set of area zero) and satisfies the equation
$\Delta f=\lambda f$ for some constant $\lambda$ off this ...

**6**

votes

**0**answers

192 views

### What function space does holomorphic functional calculus give us?

Let $A$ be a unital Banach algebra, $U$ be an open subset of $\mathbb{C}$, and $A_U:=\{x\in A:\sigma(x)\subset U\}$. Holomorphic functional calculus says that any holomorphic function ...

**12**

votes

**1**answer

217 views

### $\pm1$-polynomials with a maximal non-real root

For given $n$, consider a polynomial $\sum_{k=0}^na_kz^k$ with all coefficients $a_k\in\{\pm1\}$. I am interested in the following:
How big can the modulus of a non-real root of such a ...

**1**

vote

**1**answer

177 views

### meromorphic extension of a function

Let $\Lambda\in \mathbf{C}$ be a discrete subset. We assume that $\mathrm{Re}(\lambda)<0$ for all the $\lambda\in \Lambda$. For $i\in \mathbf{N}$, $\lambda\in \Lambda$, let $m_{i,\lambda}\in ...

**2**

votes

**1**answer

172 views

### Meromorphic functions with finitely prescribed zeros and poles on annuli

I hope that this (probably) naive question will not bother those experts. Anyway, please allow me to ask this question here:
We set $$\mathbb{A}(1/2, 2) = \Big\{z \in \mathbb{C}: 1/2 < |z| < ...

**2**

votes

**3**answers

135 views

### closed integral formula for a non-zero solution of a homogeneous linear ODE of order 2

Let
$$
(\star) \;\;\;\;\;\;\;\;\;\;\;\; y''+p(x)y'+q(x)y=0,
$$ be a homogeneous linear ODE of order $2$ with $p(x)$ and $q(x)$ complex valued analytic functions in a small neighbourhood of $0$.
Q: ...

**0**

votes

**2**answers

175 views

### “Convolution” for Multiplying Random Variables

The following situation arises frequently in probability.
Suppose we have two independent continuous random variables $X$ and $Y$ and we consider their sum, $Z=X+Y$. Then the pdf of $Z$ is the ...

**7**

votes

**5**answers

485 views

### Bound on sum of complex summands involving binomial coefficients

I am trying to find the asymptotic behavior of the sum:
$$ \sum^n_{i=0} \begin{pmatrix} 2n \\ i \end{pmatrix} x^i y^{2n-i}$$
as $n\rightarrow\infty$. Here $x$, $y$ are complex numbers and I have ...

**1**

vote

**0**answers

149 views

### Marten's proof of torelli theorem

I am trying to read the proof of torelli theorem by Henrik H.Martens "A new proof of torelli's theorem" Annals of mathematics vol78 no. 1 .The proof seems to me like using mysterious combination of 3 ...

**1**

vote

**2**answers

189 views

### Two questions related to $TS^{2}$ as a holomorphic manifold

We consider $TS^{2}$ as a 2 dimensional holomorphic manifold and fix an explicit holomorphic structure on $TS^{2}$ as it is indicated in the answer of Mike Usher to the following question. ...

**6**

votes

**1**answer

276 views

### Does there exist harmonic function with that property?

Can one construct a harmonic function $f$ defined in the unit disk with the condition $f(0)≥1$ such that area of $\{z∈D:f(z)>0\}$ is small enough, i. e. for every $\epsilon>0$ does there exist ...

**9**

votes

**3**answers

415 views

### How many isolated roots can a polynomial in $z$ and $\overline{z}$ have?

This is probably well-known by I can't find it now online. My guess is that if the degree is $n$ then it's $2n$ but it's just a hunch.
EDIT:
This is an edited version. Before I asked about roots ...

**0**

votes

**1**answer

217 views

### Is there any algorithm to decide whether a series with integral coefficiens is a algebraic function? [closed]

Given a series with integral coefficiens as following:
$$F(x)=\sum_0^i a_i x^i,\text{where }a_i\in \mathbb{N}\bigcup 0 $$$$\text{and there is a computable function $\psi$ such that } \forall i ...

**3**

votes

**2**answers

465 views

### Intuition behind $\zeta(2) = \frac{\pi^2}{6}$ [closed]

In literature, there are many proofs of the well-known result $$\zeta(2) = \frac{\pi^2}{6}.$$
However, as far as I know, they do not offer an intuitive explanation of why this result should be true. ...

**3**

votes

**1**answer

72 views

### Conditions conformal mapping to be expansive

Let $\Omega' \subset \Omega$ be simply connected domains in the complex plane. The Riemann mapping theorem tells us that there a biholomorphism $f: \Omega' \to \Omega$. What conditions guarantee that ...

**5**

votes

**1**answer

104 views

### Special Kähler normal coordinates around a point

Let $(M,\omega)$ be a compact Kähler manifold and suppose there are holomorpic vector fields vanishing at a point $p$. As a consequence we have a group $G_{p}$ of biholomorpisms fixing $p$. Let ...

**5**

votes

**1**answer

368 views

### Why are the angular differences of these random complex polynomial coefficients almost constant?

This is based on მამუკა ჯიბლაძე's (not-)answer here. I guess it is better to make up a new thread for it.
Let me repeat the setup here: We consider polynomials whose complex roots are randomly ...

**6**

votes

**1**answer

201 views

### How to prove an elementary functional equation for polylogarithms?

Let $Li_s(z)$ denote the usual polylogarithm. The elementary functional equation $$Li_{-n}(z)=(-1)^{n-1}Li_{-n}(1/z)$$ holds for $n\geq 1$. I remember only that the proof used some reproducing ...

**5**

votes

**0**answers

179 views

### Is there a connection between |roots| $\rightarrow$ 1 and Gromov's waist theorem?

Recent questions showed that roots of a random polynomial tend to lie on the
unit circle ("Why do roots of polynomials tend to have absolute value close to 1?"; "Distribution of roots of complex ...

**0**

votes

**1**answer

86 views

### Location of the zeros set of holomorphic function [closed]

Recently I proved the following result.
"If a holomorphic function $f$ maps the unit disc $\Delta$ into the unit disk $\Delta $ with $0<|f(0)|$ then $f$ doesn't vanish in the disk $D(0,|f(0)|)$. "
...

**7**

votes

**3**answers

347 views

### A learning roadmap to the Schramm-Loewner evolution (SLE) for the complex analyst

I would like some good references to learn about the Schramm-Loewner evolution (SLE), for a complex analyst with no background in probability.
A quick google search gave a lot of references on SLE ...

**4**

votes

**2**answers

580 views

### Power series with funny behavior at the boundary

Consider a power series
$$
\sum_{n=0}^{\infty}a_nz^n
$$
where $a_n$ and $z$ are complex numbers. There is radius $R$ of convergence. Let us assume that is a positive real number. It is well known that ...

**234**

votes

**15**answers

33k 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 ...

**1**

vote

**0**answers

124 views

### Existence of zero-free strip of a Laplace transform (edited ..)

Problem
Let $\beta$ be a probability measure on $\mathbb{R}$, and define
$$
K = \left \{z \in \mathbb{C}: g\left(z\right)=\int_{-\infty}^{\infty}\exp\left(z x\right)\beta ( dx ) \text{ is ...

**6**

votes

**1**answer

269 views

### Can we normalize a complex analytic space in a covering of an open subset?

Let $X$ be a normal connected complex analytic space, $x\in X$ a point, $f$ a nonzero holomorphic function vanishing at $x$. Denote by $U\subseteq X$ the locus where $f$ is nonzero. Suppose that ...