# Questions tagged [cv.complex-variables]

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

**27**

votes

**0**answers

680 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

**0**answers

485 views

### Decidability of equality of elementary expressions

In the following definition the term expression is to be understood as a finite tree built from formal symbols without any predefined meaning assigned to them.
Define the set $\mathcal{E}$ of ...

**23**

votes

**0**answers

553 views

### Number of real roots of a polynomial

Let $P\in \mathbb{R}[x]$ be a polynomial such that $(P, P') = 1$. Suppose that we want to calculate the number of real roots of $P$ in the interval $[a, b]$ (to simplify, let us assume that $P(a), P(b)...

**22**

votes

**0**answers

1k views

### Is analytic capacity inner regular?

For a compact set $K$ in the complex plane, define the analytic capacity of $K$ by
$$\gamma(K) := \sup |f'(\infty)|$$
where the supremum is taken over all functions $f$ holomorphic and bounded by $1$ ...

**19**

votes

**0**answers

530 views

### Polynomials with roots in convex position

Let $\mathcal P_n$ denote the set of all monic polynomials of degree $n$ with real or complex coefficients such that $P\in\mathcal P_n$ if for all $k\in\lbrace 0,1,\dots,n-2\rbrace$ the $n-k$ roots of ...

**15**

votes

**0**answers

380 views

### Aligned roots of irreducible polynomials

It is well known from this famous question that the roots of a random polynomial tend to be close to the unit circle. So I was wondering in a somewhat converse sense: for an irreducible polynomial, is ...

**15**

votes

**0**answers

959 views

### What is the appropriate setting for Cauchy's Integral Formula?

For a $C^1$ function $f:U\to\mathbb{C}$, where $D\subset U\subseteq \mathbb{C}$ with piecewise $C^1$ boundary $\partial D$, we have the following generalized Cauchy integral formula:
$$
f(\zeta) = \...

**13**

votes

**0**answers

335 views

### Are the zeros of Tutte polynomials dense in $\mathbb C^2$?

For the chromatic polynomials of graphs we have two nice theorems which describe the behavior of their zeros: Thomassen proved that the set of real zeros of all chromatic polynomials is the union of $\...

**13**

votes

**0**answers

2k views

### Meaning of Cauchy integral theorem - the (co)homology viewpoint

I'm not sure what follows is not just a complicated way to deduce a blatant triviality, or if is even correct. Let's try.
In the elementary theory of analytic functions of $1$ complex variable, one ...

**12**

votes

**0**answers

417 views

### Is it possible that the following integral is $0$?

Given any integer $n\geqslant1$, let $E,F$ be two subsets of $\{\{i,j\}:1\leqslant i<j\leqslant n\}$ such that every two sets in $F$ are disjoint.
It is not difficult to see that
$$\int_{1<|z|&...

**12**

votes

**0**answers

291 views

### Analytic contraction of the Stone-Cech compactification of $\mathbb C$

Let $S$ be the Stone-Cech compactification of $\mathbb C$. Then any meromorphic function $f:\mathbb C \to \mathbb{CP}^1$ extends to $S$.
Do the meromorphic functions separate the points of $S$?
I ...

**11**

votes

**0**answers

376 views

### Inverse Mellin of the exponential of the digamma function

I'm looking for a function $f_p(x)$ with real parameter $p>0$ satisfying
$$ \int_0^\infty f_p(x)x^{s-1}dx=e^{-p\psi(s)} $$
where $\psi(s)$ is the usual digamma function. The inverse Mellin formula ...

**11**

votes

**0**answers

666 views

### Continuous extension of Riemann maps and the Caratheodory-Torhorst Theorem

If $G\subsetneq\mathbb{C}$ is a simply-connected plane domain, then by the Riemann mapping theorem there is a conformal isomorphism $\newcommand{\D}{\mathbb{D}}\varphi:\D\to G$, where $\D$ is the unit ...

**11**

votes

**0**answers

863 views

### Analytic continuation of the Dirichlet generating series of the multiplicative partition function

Apologies for the lengthy question, but it seems it's the only way i can convey my thoughts. Consider the Dirichlet series:
$$\kappa(s)=\prod_{m=2}^{\infty}\frac{1}{1-m^{-s}}=\sum_{n=1}^{\infty}\frac{\...

**11**

votes

**0**answers

1k views

### Dolbeault cohomology of complex tori.

Let $T=\mathbb C^n/\Lambda$ a complex torus. It is completely elementary to prove that the de Rham cohomology of $T$ in degree $q$ is isomorphic to the $q$-th exterior power of the dual of $\mathbb C^...

**10**

votes

**0**answers

248 views

### Riemann–Hilbert-type problem

Let $P$ be a fixed pentagon in the hyperbolic plane $\mathbb H^2$ with all the angles equal to $\pi / 3$. Let $w_1, w_2, \dots, w_5$ be the sides
of $P$ going in the counterclockwise order. We are ...

**10**

votes

**0**answers

415 views

### Witt's proof of Gelfand-Mazur / Ostrowski's Theorem

Previously asked on Math Stackexchange without answers.
Background: As sort of a hobby, Ernst Witt gave extremely short proofs for famous theorems. This question is about his six-line proof of the ...

**10**

votes

**0**answers

146 views

### Projective tensor squares of uniform algebras

In discussion with a colleague recently (Jan 2017),
$\newcommand{\AD}{A({\bf D})}\newcommand{\CT}{C({\bf T})}$
I was reminded that if $A(D)$ denotes the disc algebra and $\iota: \AD\to \CT$ is the ...

**10**

votes

**0**answers

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

**10**

votes

**0**answers

380 views

### Cesaro summation of a particular Dirichlet series associated with $\zeta(s)$

If you've investigated the error in Perron's formula in general, you've probably noticed that Cesaro summation $$\lim_{x\rightarrow\infty}\sum_{n\leq x} \left(1-\frac{\log n}{\log x}\right)\frac{a_n}{...

**10**

votes

**0**answers

724 views

### Convexity of Jacobi's theta function with zero argument

This question may be elementary, I have asked it on math.stackexchange.com but have not received any answer yet. Note that I am not an expert on theta/elliptic functions.
Define Jacobi's theta ...

**10**

votes

**0**answers

457 views

### Parametrisations for Null Temperature Functions: nonuniqueness of solutions to the Heat Equation

Disclaimer I expect this is a highly open problem, but maybe I'm wrong and someone has come up with some answers besides those given here. In any case, all information appreciated, thanks!
Definition ...

**10**

votes

**0**answers

479 views

### Adeles of Holomorphic Functions

In number theory, an adele is a restricted product of elements of the completion at each prime. For function fields, we take (a kind of) product of the completion at each point, and at non-singular ...

**9**

votes

**0**answers

231 views

### Functional equation or analytic continuation of certain approximations to $\zeta^z(s)$?

Let $z$ be a complex number and $\omega(n)$ denote the number of distinct prime factors of the natural number $n$. I am considering the arithmetic functions $|\mu(n)|z^{\omega(n)}$ and their ...

**8**

votes

**0**answers

86 views

### Borel-Ecalle re-summation and resurgence: Criteria and Results

This is about the theory of Borel-$\acute{\textrm{E}}$calle re-summation and resurgence, see Refs below.
This states that the perturbative series (say of the vacuum expectation value of an operator $\...

**8**

votes

**0**answers

232 views

### Cohomology of complex manifold vs cohomology of its complex submanifold

Let $X$ be a smooth complex analytic manifold. Let $Z\subset X$ be a smooth compact analytic submanifold. Let $A$ be a holomorphic vector bundle over $X$. Assume that
$$H^i(Z, A|_Z)=0 \mbox{ for any } ...

**8**

votes

**0**answers

197 views

### Analytic space not embeddable in any complex manifold

I am looking for an example of a compact complex analytic space, reduced and irreducible, which does not admit any holomorphic embedding into any (smooth) complex manifold (possibly non-compact).
I ...

**8**

votes

**0**answers

165 views

### Smooth quotients of algebraic spaces that are varieties away from codimension $\ge 2$ subset

This is a question about when a smooth complex algebraic space that is very close to being an algebraic variety is actually an algebraic variety.
General question: Let $X$ be a smooth separated ...

**8**

votes

**0**answers

369 views

### rings of modular functions on the upper half plane

Let $\Gamma_1\le SL_2(\mathbb{Z})$ be a noncongruence subgroup of finite index.
Let $\Gamma_2\le SL_2(\mathbb{Z})$ be another subgroup of finite index.
Let $M_0(\Gamma_i)$ denote the ring of modular ...

**8**

votes

**0**answers

104 views

### Extremal length of graphs in surfaces

Given a surface $\Sigma$ with conformal structure $\omega$, the extremal length of a homotopy class $\gamma$ of curves in $\Sigma$ is defined to be
$$
\sup_{g \in \omega} \frac{\ell_g(\gamma)^2}{A_g(\...

**8**

votes

**0**answers

121 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$, ...

**8**

votes

**0**answers

521 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 $f:U\rightarrow\...

**8**

votes

**0**answers

258 views

### Are the Chern numbers of a hyperbolic-type compact complex manifold bounded in terms of the Euler number?

Let $X$ be an $n$-dimensional compact Kahler manifold with negative first Chern class. Are its Chern numbers $\prod_{i=1}^{n-1} c_i^{k_i}$, over $k _i
\geq 0$ with $\sum ik_i = n$, bounded in terms ...

**8**

votes

**0**answers

446 views

### The natural generalization of Euler's derivation of the Basel sum

Euler proved that $$\sum_{n=0}^\infty \frac{1}{n^2} = \frac{{\pi}^2}{6}$$ by comparing the $z^3$ term in the power series expression of $\sin(z)$ given by
$$\sin(z) = z - \frac{z^3}{3!} + \frac{z^5}{...

**8**

votes

**0**answers

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

**7**

votes

**0**answers

98 views

### What is known about the following series?

For $k\in{\mathbb Z}^2$ write $|k|=\sqrt{k_1^2+k_2^2}$ for the euclidean norm. Then let $g(k)=gcd(k_1,k_2)$.
For $s\in\mathbb C$ let
$$
D(s)=\sum_{\substack{k\in{\mathbb Z}^2}\\ k\ne 0}\frac{|k|}{g(k)}...

**7**

votes

**0**answers

178 views

### The inverse of the digamma function

The gamma function is increases on the interval $(x_0, \infty),$ where $x_0$ denotes the unique zero of the digamma function on the positive half line.
The inverse function of gamma function defined ...

**7**

votes

**0**answers

177 views

### Does this bound on an average over character sums have a more direct proof?

A special case of a well known result of Ingham is that
$$\sum_{n\leq x} d(n)d(n+1)=\frac{6}{\pi^2}x(\log x)^2+O(x\log x)$$
where $d(n)$ is the number of divisors of $n$.
Ingham's results, which ...

**7**

votes

**0**answers

209 views

### Sufficient condition on coefficients for a complex power series to be bounded

Let $f(z)$ be an entire function (on $\mathbb{C}$). Assume it has a power series of the form
$$\displaystyle \sum_{n=0}^\infty (-1)^nc_{2n}z^{2n},$$
where $c_{2n}\geq 0$ for all $n$.
Is there a ...

**7**

votes

**0**answers

187 views

### Biholomorphic neighborhoods of the boundary of Stein domains

Let $(X_1,J_1)$ and $(X_2,J_2)$ be Stein domains with the same contact boundary $(Y,\xi)$. Under what conditions does there exist a biholomorphism between a neighborhood of their respective boundaries ...

**7**

votes

**0**answers

124 views

### Finite covers in complex analytic geometry

Given a complex manifold or complex analytic space, one has the standard notion of open set. There are two different Grothendieck topologies that one can define using this notion, one where covers ...

**7**

votes

**0**answers

247 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 {\...

**7**

votes

**0**answers

404 views

### Convergence at the radius of convergence

Suppose I have (roughly speaking) a multivalued meromorphic function $f(z)$ on all of $\mathbb{C}$ that is single-valued and holomorphic on the open unit disc and has some branch points of finite ...

**7**

votes

**0**answers

216 views

### A zeta function using half of the primes

It is well known that the zeta function satisfies the Euler product formula. See this wikipedia article.
Enumerate all primes by $p_1, p_2, \ldots $ in ascending order.
Set $S$ to be the set of all $...

**7**

votes

**0**answers

866 views

### Is this Fourier integral well-known?

The following integral is a special case of one that arises in an economics problem:
$I(u_{1}, u_{2}) := \displaystyle \int_{z_{1}=-\infty}^{\infty} \int_{z_{2}=-\infty}^{\infty} \frac{ \displaystyle ...

**7**

votes

**0**answers

463 views

### planar mappings that preserve elliptic measure

Let $D_1$ and $D_2$ be two bounded simply connected Jordan domains in $\mathbb{R}^2$. By Carathéodory's Theorem there exists a homeomorphism $f:\bar{D}_1 \to \bar{D}_2$ such that the restriction $f:...

**7**

votes

**0**answers

174 views

### When is the Locus of Equi-modular points of two monic polynomials with integer coefficients contained in the unit disk?

If $\lambda_{1}(z)$ and $\lambda_{2}(z)$ are two monic polynomials (relatively prime) with integer coefficients and $$\Gamma:=\lbrace z \rm{\ s.t.\ } |\lambda_{1}(z)|=|\lambda_{2}(z)|\rbrace,$$ when ...

**6**

votes

**0**answers

144 views

### Extremal polynomial majorants of $\log{|f|}$: a multivariate extension of a theorem of Carneiro and Vaaler

Carneiro and Vaaler have proved, as an application of their work on Beurling-Selberg extremal majorants, that for any non-zero complex polynomial $f(z) \in \mathbb{C}[z]$, the infimum value of the ...

**6**

votes

**0**answers

168 views

### Sobolev space under Mellin transform

The Mellin transform is known to be an isomorphism see wikipedia
between $M:L^2(0, \infty) \rightarrow L^2(-\infty, \infty)$
where $$M(f):= \frac{1}{\sqrt{2\pi}}\int_0^{\infty} x^{-\frac{1}{2} + is} ...

**6**

votes

**0**answers

148 views

### Reference request: normal form of k-differentials and flat surfaces at a puncture

Let $f(z)$ be a holomorphic function defined on a punctured neighborhood of $z=0$ with non-essential singularity of degree $d$ at $0$ (namely, $f(z)=z^dh(z)$, where $h(z)$ is a holomorphic function ...