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

learn more… | top users | synonyms (2)

0
votes
1answer
105 views

Cohomology of lattice with coefficients in field of rational functions

In my research, I came across a 1-cocycle in the following group cohomology complex: Let $\Lambda_\mathbb{Z}$ be a lattice (i.e. isomorphic to $\mathbb{Z}^n)$; let $\Lambda_\mathbb{C} = ...
5
votes
1answer
293 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
0answers
91 views

What is the status on questions related to Bhargava's factorial function?

In Manjul Bhargava's The Factorial Function and Generalizations he motivates a new type of factorial $n!_S$ using by generalizing a few theorems like: For $k, l \in \mathbb{Z}$, we have $k! \times ...
3
votes
1answer
122 views

Singularities of the Remmert reduction of a holomorphic convex manifold

Let $X$ be a holomorphically convex manifold, namely, for any infinite discrete subset of $X$ there exists a holomorphic function on $X$ which is unbounded on this set, then a theorem of Remmert says ...
12
votes
1answer
185 views

Vanishing of Dolbeault cohomologies and Steinness

That Stein manifolds have all $(p,q), p \geq 0, q \geq 1$ vanishing Dolbeault cohomology groups is more or less standard. I am a little bit confused about the reverse implication: whether the ...
1
vote
0answers
68 views

holomorphic curves invariant by lattices

Suppose I have an entire function $f : \mathbb{C} \longrightarrow \mathbb{C}^n$ for $n \geq 1$. Let $C$ be the curve $f(\mathbb{C})$ in $\mathbb{C}^n$. Let $\Lambda$ be a lattice in $\mathbb{C}^n$ ...
30
votes
1answer
567 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) = ...
1
vote
2answers
259 views

Certain inverse problem related to moments

Suppose $D\subset \mathbb C$ is a smoothly bounded domain and it contains the origin. Let $ds$ denote the arc length measure on $\partial D.$ I am interested in the following two inverse problems ...
1
vote
1answer
83 views

About the upper bound on the roots of the matching polynomial

Heilman and Lieb had proven that if a graph had $d$ as its maximum vertex degree then the roots of the matching polynomial are bounded from above by $2\sqrt{d-1}$. Is there a modern exposition of ...
2
votes
1answer
187 views

If a polynomial $p(z)$ omits a value, then $p(z)-\dfrac{(1-e^{i\psi})}{n}zp^{\prime}(z)$ also omits that value

Suppose that a polynomial $p(z)$ of degree $n$ does not assume the value $w$ for $|z|<1$, that is $p(z)\neq w$ for $|z|<1.$ Show that $p(z)-\dfrac{(1-e^{i\psi})}{n}zp^{\prime}(z)\neq w$ for ...
2
votes
1answer
98 views

Prove or disprove an inequality concerning zeros of a polynomial

If a polynomial $p(z)$ of degree $n$ with zeros $z_1,z_2,\cdots,z_n$ assumes maximum at $w$ on $|z|=1.$ Prove or disprove that the Harmonic mean of $|z_k-w|,$ $k=1,2,\cdots,n$ is greater or equal to ...
3
votes
1answer
115 views

Determining the Fourier transform

Let $d>2$. Let $M$ be a 2-dimensional submanifold of $\mathbb{R}^d$. For instance (and this is the type of example I primarily care about) we could have $M$ being the set of scalar multiples of a ...
3
votes
0answers
121 views

Quadrature domains for arc length

Is ellipse a quadrature domain for arc-length? More precisely does there exist points $z_1,\cdots,z_n$ inside an ellipse $E$ and non zero constants $c_1,\cdots,c_n$ such that $$\int ...
2
votes
1answer
114 views

hyperbolic metrics

Let $D_1\subset D_2$ be simply connected domains in the complex plane. Let $\lambda_1$ and $\lambda_2$ be the corresponding hyperbolic (Poincare) metrics. It seems intuitive to me that $\lambda_2$ is ...
5
votes
1answer
131 views

Is the Poincaré metric continuous with respect to the domain?

Suppose $K \subset \mathbb{C}$ is a Cantor set and let $u:\mathbb{C} \setminus K \to \mathbb{R}$ be the maximal smooth function such that the conformal metric $e^{2u}(\mathrm{d}x^2 + \mathrm{d}y^2)$ ...
25
votes
1answer
967 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 ...
2
votes
1answer
167 views

A conjecture regarding the integral of the square of an entire function

Can some help me prove or disprove the following assertion which I encountered in research? Thanks! Let $f:\mathbb R\to\mathbb R$ be an analytic function. If for $\forall c > 0$, we can find some ...
6
votes
1answer
449 views

Bound on the sum of arguments

Problem: Show that for all real $s,t,u$ and all complex $z$ with $|z|<1$ one has $$(*)\qquad \arg\frac{1-zf(s-u)}{1-zf(s+u)} +\arg\frac{1-zf(t+u)}{1-zf(t-u)}<\pi, $$ where $f$ is the ...
-1
votes
1answer
178 views

Holomorphic Function on Disk

Let $f$ be holomorphic function on unit disk and it is continuous on boundary of the disk. It is known that $f$ is constant and equal to zero if $f$ is vanishing on sub-arc of boundary (Maximum ...
3
votes
1answer
273 views

If $X$ fails to be holomorphic, what is $\mathcal{L}_X \bar\partial - \bar\partial \mathcal{L}_X$?

I present a simplified version of the problem, and if that's easy to answer then someone can try answering the more complicated version. Simplified version Suppose $X$ is a tangent vector field on a ...
3
votes
0answers
34 views

Multivariate ML inequality and holomorphic functions on the closed unit ball

There exists a dimensional constant $C_n$ such that, for each holomorphic function $f:\overline{B(1)}\to \mathbb{C}$ on the closed unit ball centered at the origin of $\mathbb{C}^n$ and each ...
2
votes
1answer
168 views

Exact reference for Liouville theorem

It seems hard for me to find that the solution of the following equation $$ \Delta u+e^u=0 $$ defined on a simply-connected domain $D\subset R^2$ must be of form $$ ...
18
votes
1answer
641 views

Why would the roots of the generating functions of the number of k-almost primes less than x have negative real parts?

Specifically, I find it appealing to count only squarefree numbers having $k$ prime factors, so I define $$\pi_k(x)=\#\{n\leq x: \omega(n)=k;\mu(n)\neq0 \}$$ and consider the generating functions ...
1
vote
1answer
640 views

Irreducible non-singular M-matrices and complex numbers

It is well known that a non-singular M-matrix that is irreducible has a strictly positive inverse (all entries $>0$). An M-matrix is a matrix that has eigenvalues with positive real part, and the ...
8
votes
5answers
1k views

Applications of Liouville's theorem

I'm looking for "nice" applications of Liouville's theorem (every bounded entire map is constant) outside the area of complex analysis. An example of what I'm not looking for : a non-constant entire ...
-2
votes
1answer
168 views

Degree of a rational function [closed]

I would like to have a simple proof for the following result: Let $f=\frac{p}{q}:\mathbb{C}\longrightarrow\mathbb{C}$ be a quotient of polynomials (of course, at some points it may be undefined). ...
45
votes
16answers
10k 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 ...
8
votes
2answers
263 views

Implicit Function Theorem on Singular Varieties

Let $X$ and $Y$ be two complex reduced affine algebraic or analytic varieties, possibly singular. Take a regular proper function $$f\colon X \to Y $$ and assume that it is bijective at the level of ...
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 ...
1
vote
1answer
33 views

About convex combinations of real-stable multivariable complex polynomials

Say $f: \mathbb{C}^{n+1} \rightarrow \mathbb{C}$ is a real stable multivariable polynomial on the variables $(z,w_1,w_2,...,w_n)$. (a "real-stable" polynomial is one which has no zeroes in the open ...
5
votes
1answer
166 views

Are polynomials dense in holomorphic $L^p(\mathrm{Gauss})$ for $p < 1$?

Let $\mu$ be standard Gaussian measure on $\mathbb{C}^n$, i.e. $d\mu = \frac{1}{(2 \pi)^n} e^{-|z|^2/2}\,dz$, and fix $0 < p < 1$ (note carefully). Suppose $g$ is holomorphic on ...
5
votes
1answer
368 views

Structure of the automorphism group of a Riemann surface

I was wondering if anything is known about the possible structure of $\mathrm{Aut}(S)$ for a Riemann surface $S$. More precisely, are there known obstructions for a finite group $G$ to be such an ...
0
votes
0answers
81 views

Explicit formula for Bergman kernel on the unit ball

On page 173 in Krantz's book "Explorations in Harmonic analysis" in the proof of Lemma 7.1.21 there is a part that I really don't understand. What I don't understand is why is ...
2
votes
1answer
243 views

Triviality of holomorphic vector bundles over contractible Stein manifolds

If I have correctly undrestood,it is a result of the so called Grauert-Oka principle that all holomorphic vector bundles over contractible Stein manifolds are holomorhically trivial.Does any one knows ...
1
vote
1answer
121 views

How to find isothermal coordinates equivalent to circles in far limit?

I am trying to find the most general rotational coordinate systems for Euclidean 3-space, with the following two defining characteristics: 1) being equivalent to spherical coordinates in the limit of ...
2
votes
0answers
87 views

Real-rooted polynomials and higher rank matrices

For $A$ and $B$ being matrices of the same dimension and $B$ being rank $1$, one knows that $det(A+tB)$ is a linear polynomial in $t \in \mathbb{R}$. Hence by Taylor series it follows that $det(A + ...
1
vote
1answer
684 views

A question about Ahlfors's proof of modular function being a covering space of the twice punctured plane

I have a question about Ahlfors's proof of modular function being a covering space of the twice punctured plane .See Ahlfors' complex analysis, second edition, page 272. You can either explain or ...
0
votes
0answers
141 views

Does the Euler product converge at $s=1$ for the Dirichlet $L$ function?

For the Riemann Zeta function, the Euler product converges on $\{Re(s)=1\}$ except at $s=1$.The zeta series diverges everywhere on $\{Re(s)=1\}$. But the $L$ series converges on $\{Re(s)>0\}$. What ...
230
votes
15answers
32k 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
0answers
53 views

Define an entire function with zeros in a given set [closed]

how to define an entire function that it's zeros are from a given set. for example, define an entire function that it's zeros are prime numbers on real axis.
1
vote
1answer
85 views

Lifting quadratic forms on the cotangent bundle to higher level forms

Backround In several complex variables, an essential tool is Hormander's machinery for solving the $\overline{\partial}$ problem with $L^2$ estimates. If $\alpha$ is a $(p,q+1)$ form on a domain ...
0
votes
0answers
47 views

Maximum modulus principle and restriction

Suppose I have a complex multivariate polynomial $f\in \mathbb{C}[z_1,\ldots,z_n]$ and a connected, bounded open set $U$. The maximum modulus principle says $f$ achieves its maximum value on the ...
3
votes
0answers
100 views

Implicit function theorem for singularities

I am looking for an implicit function theorem which holds also on singular spaces, at least if the singularities are "mild". For example, let $0 = z^2 - x y + z w + w^2 + \epsilon w$ define a ...
5
votes
1answer
238 views

Does pointwise convergence of holomorphic functions on the boundary imply pointwise convergence in the interior?

Let $\Omega$ be a simply connected open set in the complex plane and $\gamma$ be a simple path inside $\Omega$. Suppose $f_n$ is a sequence of holomorphic functions converging pointwise to 0 on ...
0
votes
0answers
21 views

A bound in Schramm-Loewner evolutions

Recently, I read a paper in SLE that claims the following (which I do not really understand why): Recall the differentiability estimate which says that $$|g_K(z) - z- \frac{\text{hcap}(K)}{z}| ...
3
votes
0answers
137 views

A difficult integral which the Risch algorithm shows is not elementary

For reasons which aren't conceptually related to the problem a few of my colleagues and I are in need of finding an expression for the following integral in terms of $a$ and $\delta$: ...
4
votes
1answer
425 views

Fatou Coordinate for function with rationally indifferent fixed point, and repelling fixed point

Lets say I have $f(z)=z^2+c$, with $c=0.35676274578 + 0.32858194507i$. Then $f(z)$ has a fixed point $\kappa_0=0.15450849719 + 0.47552825815i$, which is rationally indifferent with a period $m=5$. ...
2
votes
0answers
103 views

Does this symmetrization operator have a name? Any theory?

Consider a function $f(x_1,\ldots,x_n)$ of $n$ complex variables. Define $$f_{\mathrm{symm}}(x_1,\ldots,x_n) = 2^{-n}\sum_{\varepsilon_1,\ldots,\varepsilon_n=\pm 1} ...
0
votes
1answer
92 views

holomorphic continuation

consider the function given by $f(t):=\sum\limits_{n=0}^{\infty}e^{-\left(n+\frac{1}{2}\right)^2t}$ for $t\in (0,\infty)$. This function can be continued holomorphically for all complex numbers with ...
9
votes
0answers
99 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 ...