Questions tagged [cv.complex-variables]

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

663 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
30
votes
0answers
799 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 ...
26
votes
0answers
666 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)...
24
votes
0answers
519 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 ...
22
votes
0answers
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
0answers
541 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 ...
16
votes
0answers
456 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
0answers
1k 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
0answers
448 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|&...
13
votes
0answers
346 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
0answers
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
0answers
797 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 ...
12
votes
0answers
300 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 ...
12
votes
0answers
903 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
0answers
166 views

Holomorphically convex manifolds and Bergman complete manifolds

Suppose $X$ is a complex manifold which admits the Bergman metric (for definitions, see for instance Kobayashi's book "Hyperbolic Complex Spaces"). Suppose moreover that the Bergman metric of $X$ is ...
11
votes
0answers
412 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
0answers
248 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 ...
11
votes
0answers
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^...
11
votes
0answers
490 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 ...
10
votes
0answers
319 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
0answers
508 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
1answer
801 views

Dual of the space of all bounded holomorphic functions

Let $\mathbb{B}$ be the open unit ball in $\mathbb{C}^n, n\geq 1$ and let $H^\infty (\mathbb{B})$ be the space of all bounded holomorphic functions on $\mathbb{B}$. It is well known that $H^\infty (\...
10
votes
0answers
157 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
0answers
422 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
0answers
748 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
0answers
483 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 ...
9
votes
0answers
155 views

A geometric characterization of quasicircles

I'm reading an article by complex analysists. A Jordan curve $J$ in the extended complex plane $\hat{\mathbb{C}}=\mathbb{C} \cup \{\infty\}$ is called a quasicircle if there is a quasiconformal map ...
9
votes
1answer
475 views

Complex manifold with boundary

My question is of local nature. Let $$f:\mathbb C^n\to\mathbb R$$ be a $C^\infty$ function that vanishes at $0\in \mathbb C^n$, with non-zero derivative. Then, around $0\in \mathbb C^n$, $$M:=f^{-1}(0)...
9
votes
0answers
249 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 ...
9
votes
0answers
241 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 ...
9
votes
0answers
405 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$ ...
8
votes
0answers
241 views

Struggling with a proof in the preprint 'Hermitian geometry on resolvent set'

I have been struggling for awhile with a particular argument in the paper below. I posted the question first on MathSE, but I got no answers. I understand however that MO might be an overreach for ...
8
votes
0answers
122 views

Padé Approximants of Power Series with Natural Boundaries

Consider a power series $\sum_{n=0}^{\infty}c_{n}z^{n}$ for which $c_{n}\in\left\{ 0,1\right\}$ for all $n$. One can write this as: $$\varsigma_{V}\left(z\right)\overset{\textrm{def}}{=}\sum_{v\in V}...
8
votes
0answers
256 views

How to interpret Gauss's late fragments on conformal mapping of the interior of an ellipse (to the unit disk) in modern mathematical terms?

My question refers to some not very well known (and unpublished) fragments of Gauss that treat the problem of finding a conformal mapping (angle-preserving mapping) in the complex plane from the ...
8
votes
0answers
250 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
0answers
478 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 ...
8
votes
0answers
171 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
0answers
379 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
0answers
116 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
0answers
131 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
0answers
562 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
0answers
285 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 {\...
8
votes
0answers
272 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
0answers
455 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}{...
7
votes
0answers
409 views

On a paper of Alain Connes entitled 'Around Wilson's Theorem '

A relatively recent paper Alain Connes - Around Wilson's theorem introduced the function $$ S(n,x ) = \sum_{i=1}^n \sin^2\Bigl(\frac{(i-1)! x}{i}\Bigr). $$ In the same paper, he proved that the ...
7
votes
0answers
99 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
0answers
182 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
0answers
264 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
0answers
195 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
0answers
136 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
0answers
407 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 ...

1
2 3 4 5
14