All Questions
Tagged with cv.complex-variables reference-request
72 questions with no upvoted or accepted answers
31
votes
0
answers
1k
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 ...
- 8,992
21
votes
0
answers
2k
views
Cartan–Oka vanishing in one variable without $\overline{\partial}$?
This is a literature question, about possible proofs of some very basic results in complex analysis.
Some key facts about holomorphic functions are proved via reduction to smooth functions, using $\...
- 21.3k
10
votes
0
answers
656
views
“Taylor series” is to “Volterra series” as “Laurent series” is to _________?
Preamble
My question is similar to an earlier MathOverflow question:
“Taylor series” is to “Volterra series” as “Padé approximant” is to _________? which I just answered (hopefully my first ever ...
- 446
9
votes
0
answers
461
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$ ...
- 3,076
8
votes
0
answers
304
views
On the remainder of a power series evaluated on the boundary of its convergence disk
Background
This question is related to this one, in the sense that, as the previous one, it originates from my efforts to extend an estimate on the remainder of a power series on a non necessarily ...
- 6,357
8
votes
0
answers
277
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 } ...
- 21.8k
7
votes
0
answers
218
views
Analytic continuation of Dixon's identity
Many well-known combinatorial identities has an analytic version. For example, the following identities
$$
2^n = \sum_{k=0}^n \binom{n}{k}
$$
$$
\binom{2n}{n} = \sum_{k=1}^n \binom{n}{k}^2
$$
can be ...
- 1,608
6
votes
0
answers
200
views
Reference request: Automorphisms of $\mathbb C\{x,y\}$ which preserve the equation of the cusp, $x^3 - y^2$
In my research I encountered automorphisms of the ring of convergent power series
$$\varphi: \mathbb C\{x,y\} \to \mathbb C\{x,y\},$$
which preserve $f = x^3 - y^2$, i.e. $\varphi(f) = f$. I'm ...
- 1,286
6
votes
0
answers
288
views
Complex factorization of the angular part of the Laplacian
Some time ago some research led me to the following equality:
\begin{equation}
\frac{1}{\sin^2 \phi }\frac{\partial^2 }{\partial \theta^2} +\frac{\partial^2 }{\partial \phi^2} +\cot \phi \frac{\...
6
votes
0
answers
360
views
Flat base change in the complex analytic setting
On page 255 of Hartshorne's Algebraic Geometry, it is shown that "cohomology commutes with flat base extension":
Proposition III.9.3: Let $f : X \to Y$ be a separated morphism of finite type of ...
- 61
6
votes
0
answers
163
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 ...
- 1,804
6
votes
0
answers
332
views
Criteria for irreducibility using the location of complex roots
I would like to see criteria for the irreducibility of a polynomial over $\mathbb{Z}$ based (mainly) on the location of the roots of the polynomial in the complex plane. An example of such a criterion ...
- 11.3k
6
votes
0
answers
156
views
Grunsky-Motzkin-Schoenberg formula
I found this formula in Brian McCartin's interesting book "Mysteries of the equilateral triangle" http://www.kettering.edu/news/mysteries-equilateral-triangle and it looks as follows:
Suppose that $...
- 16.5k
6
votes
0
answers
291
views
What is the status of the subadditivity problem for analytic capacity?
Hi,
Here is another question that concerns analytic capacity. For a compact set $K$ in the plane, define the analytic capacity of $K$ by
$$\gamma(K):=\sup|f'(\infty)|,$$
where the supremum is taken ...
- 2,154
5
votes
0
answers
321
views
Approximating $\zeta^{(r)}(s)$ by a sum
Let $\eta:[0,\infty)\to [0,\infty)$ be compactly supported, continuous and piecewise $C^1$, with its derivative $\eta'$ being of bounded variation. It is completely unsurprising that one can prove (...
- 20.1k
5
votes
0
answers
586
views
On the Hausdorff dimension of a Cantor set
In what follows I refer to this paper by Orevkov.
I am writing a paper on this, so if somebody is interested we could consider to write a joint paper.
Consider a sequence $R=\{R_n\}_n$ of strictly ...
- 779
5
votes
0
answers
268
views
Reference Request on logarithm derivative of L-functions
I'm looking for references that show almost all Dirichlet characters $\chi \mod q$ satisfy
$$|\frac{L'}{L}(1+it, \chi)|=o(\log q)$$
where $t\in \mathbb{R}$ is fixed. I have been able to adapt a method ...
- 51
5
votes
0
answers
136
views
Solving the difference equation in exotic scenarios
The difference equation, as referenced in the title, is a very specific object I'm referring to. If you have a holomorphic function $\phi$ on a domain $G$, then a solution $F$ to the difference ...
user78249
4
votes
0
answers
168
views
Explicit bounds on gaps between zeros of $\zeta^\prime(s)$
In $\S$9.1 of "Theory of the Riemann Zeta Function", Titchmarsh uses Borel-Carathéodory and Hadamard Three Circles to show that every circle of radius 6 and center $3+iT$ contains a zeros of ...
- 11.1k
4
votes
0
answers
279
views
Order of growth of $\left|\frac{1}{\zeta’(\rho)}\right|$ as $\Im(\rho)\rightarrow\infty$?
Let $\zeta$ denote the Riemann zeta function, and let $\rho\in\mathbb{C}$ be a variable that takes its values among the zeros of the zeta function, so that $\zeta(\rho)=0$, and write $\rho=\sigma+it$. ...
- 1,018
4
votes
0
answers
159
views
Correct way to extend a sequence defined on the naturals into the complex plane
Preamble
Sequences $a_n$ defined on the natural numbers are clearly not uniquely interpolated by only one function. In particular, given an interpolation $f(n) = a_n$, then $f(n) + \sin(2\pi n)$ is ...
- 1,730
4
votes
0
answers
173
views
On the best constant for Carleson's embedding theorem
In "Interpolations by bounded analytic functions and the corona problem", Carleson introduced Carleson measures (for Hardy spaces) and proved the famous embedding theorem according to which $...
- 81
4
votes
0
answers
179
views
As increasingly higher degree terms are added to a "random" polynomial, how fast do the roots approach the unit circle?
As increasingly higher degree terms are added to a "random" polynomial, the roots of a polynomial can be proven to approach the unit circle. For example, see the MathOverflow question Why ...
4
votes
0
answers
109
views
Quasi-crystaline generalization of elliptic functions
I came across some meromorphic function, call it $f(z)$, which is "quasicrystalline" in the following sense: one can write $f$ as:
$$
f(z)=\frac{\sum_i a_i e^{i(q_{i,x}x+q_{i,y}y)}}{\sum_i ...
- 219
4
votes
0
answers
261
views
Reference request for some result of de Bruijn on zeros of some holomorphic function
In a video lecture on Youtube, ''Vaporizing and freezing the Riemann zeta function'', Terry Tao states that ''de Bruijn proved that if for some $t_0$ the zeros of $H_{t_0}$ are contained in the strip $...
- 57
4
votes
0
answers
157
views
Modulus of an annulus with a cut
Let $A_r$ be a complex annulus of modulus $r>0$ obtained from a $1\times r$ rectangle in $\mathbb C$ with vertices $A=0$, $B=r$, $C=r+i$, $D=i$, by identifying isomterically $AB$ with $DC$.
Let us ...
- 14.3k
4
votes
0
answers
157
views
Analytic maps $\varphi: \mathbb C^n\to \mathbb C^n$ with degenerate differentials
Let $B^n\subset \mathbb C^n$ be a unit ball with center $p$ . Let $\varphi: B^n\to \mathbb C^n$ be a complex analytic map such that $d\varphi$ has rank at most $n-1$ at $p$. I would like to know if ...
- 14.3k
4
votes
0
answers
122
views
Complex L^1 spaces; reference request
I have been doing a fair amount of research into a complex analytic modified version of the Mellin transform. I have hit a few roadblocks, and am hoping there may already be literature on the subject. ...
user78249
4
votes
0
answers
287
views
Is there a coordinate free proof of the Morrey--Kohn--Hormander identity?
The Morrey--Kohn--Hormander identity is the key to proving vanishing/existence results on bounded pseudoconvex domains in $\mathbb{C}^n$, or more generally, Stein domains. See, for instance, the ...
- 18.7k
4
votes
0
answers
715
views
some questions about properties of harmonic measure
The original post
The following argument appears in a paper of Nazarov (Lemma 1.2) "Local estimates for exponential polynomials and their applications to inequalities of the uncertainty principle ...
- 1,795
3
votes
0
answers
219
views
Schwartz's theorem without English language reference
I'm reading the paper "Spectral Synthesis And The Pompeiu Problem" by Leon Brown, Bertram M. Schreiber and B. Alan Taylor,
Annales de l’Institut Fourier 23, No. 3, 125-154 (1973), MR352492, ...
- 421
3
votes
0
answers
89
views
Transformation of Julia set sequence emerging from meromorphic function
I consider a sequence of meromorphic functions on the Riemann sphere $f_k:\hat{\mathbb{C}} \to \hat{\mathbb{C}}$ for $k\in\mathbb{N}$ of the form
$$f_k(z)=\sum_{j=1}^{n_k}\dfrac{1}{(z-p_j)^{c_j}}$$
...
- 91
3
votes
0
answers
184
views
"Circulant-Vandermonde" matrix: in search of a formula
An $n\times n$ circulant matrix $\mathbf{X}_n$ has the form
\begin{align}
\mathbf{X}_n= \begin{bmatrix}
x_1 & x_2 & \cdots & x_{n-1} & x_n \\
x_2 & x_3 & \cdots & x_n&...
- 43.1k
3
votes
0
answers
120
views
On tangential approach regions for general power series converging on the unit disk
Notation and premises. Here it is a list of notations more or less explicitly used in the question:
If $z\in\Bbb C$ then $z = re(t)$ where $r\in \Bbb R_{\ge 0}$, $t\in [0,1]$ and $e(t)\triangleq \exp(...
- 6,357
3
votes
0
answers
226
views
On an exact expression for the squares of the distances of the critical points to a given zero of a polynomial
Let $p(z) = \prod_{j=1}^{l+1} (z - z_j)^{M_j}$ be a complex polynomial of degree $n$, where the $z_j$ are distinct for $1, \ldots, l+1$. The first $l$ entries in the list $\{z'_1, \ldots, z'_{n-1} \}$ ...
- 429
3
votes
0
answers
135
views
Asymptotic Expansion of Seiberg-Witten Differential?
Nekrasov & Okounkov proved (https://arxiv.org/pdf/hep-th/0306238.pdf) that the Seiberg-Witten prepotential can be given by
\begin{equation}
\mathcal{F}(\mathbf{a},\Lambda) = \lim_{\hbar\rightarrow ...
- 425
3
votes
0
answers
482
views
Possible automorphisms of a Jacobian
If we consider automorphisms of the Jacobian $J(C)$ of a curve $C$ which are compatible with the canonical polarization, we can describe this automorphism group in terms of $\text{Aut }C$ (see ``On ...
- 521
3
votes
0
answers
89
views
Trace of a weighted composition operator on Bergman space
I am reading a series of papers by Pollicott, Jenkinson and coauthors which make use of the following type of result:
Theorem: Let $\mathbb{D} \subset \mathbb{C}^d$ be a bounded, connected open set. ...
- 6,206
3
votes
0
answers
105
views
State of the art for univariate complex polynomials factorization with algebraic coefficients
Let $\mathbb{K}:=\overline{\mathbb{Q}}$ be the field of algebraic numbers. We choose to represent an element of $\mathbb{K}$ as its minimal monic polynomial, which is a vector in some $\mathbb{Q}^n$.
...
- 5,428
3
votes
0
answers
178
views
One-parameter groups acting on dual Banach spaces
Let $E$ be a Banach space, and $M=E^*$ (my application has $M$ a von Neumann algebra, but this is unimportant). Let $(\sigma_t)$ be a SOT cts one-parameter group on $E$: so for $t\in\mathbb R$, we ...
- 18.7k
2
votes
0
answers
37
views
Theta series of well-rounded lattices
I've started looking into well-rounded Euclidean lattices and I was interested in learning whether their theta series have any interesting properties, but haven't found much in terms of bibliography ...
- 223
2
votes
0
answers
90
views
Computing a complex integral with many poles
For an integer $k\geq 1$, let $f:\mathbb{C}^k\to\mathbb{C}$ be such that $f$ is analytic in the region $\text{Re}(u_i) > -1$ (say) for each $1\leq i \leq k$, and decays rapidly on vertical lines (i....
- 1,990
2
votes
0
answers
138
views
On the solutions of $_2F_1(\alpha, \beta; \gamma, z) = \Lambda$
More General Question
Let
$$F(\alpha,\beta;\gamma;z) = \sum_{n=0}^{+\infty} \frac{(\alpha)_n(\beta)_n}{(\gamma)_nn!}z^n, \quad |z| < 1, \quad (x)_n = x(x+1)...(x+n-1), \quad (x)_0 = 1$$
be the ...
- 233
2
votes
0
answers
90
views
Second order estimates for Dirichlet problem for complex Monge-Ampere equation
Let $\Omega\subset \mathbb{C}^n$ be a bounded pseudo-convex domain. Let $0<f\in C^{\infty}(\bar\Omega)$, $\phi\in C^\infty(\partial \Omega)$. Consider the Dirichlet problem for the complex Monge -...
- 21.8k
2
votes
0
answers
180
views
Multiple zeta values related to fractional calculus and an Appell polynomial sequence
There is an Appell sequence of polynomials $p_n(z)$ related to an infinitesimal generator for one rep of the fractional calculus that have coefficients involving the Riemann zeta function values at ...
- 10.5k
2
votes
0
answers
154
views
Algebra of meromorphic functions on a Riemann surface
Let $C$ be compact Riemann surface of high genus. Let $p$ be a general point on $C$ and $z$ a local coordinate around $p$.
Given a meromorphic function on $C$, regular outside $p$, we can look at its ...
- 2,384
2
votes
0
answers
61
views
Criteria for a limit to be a proper function
This question is obviously broad; turning this broadness into something sharp is part of the problem.
Given a sequence of functions defined on a Riemann Surface $R$, valued in $\Bbb C^2$, what ...
- 779
2
votes
0
answers
117
views
automorphic form associated with Apollonian Gasket
In /Indra's Pearls/, it's mentioned one can associate automorphic forms with limit sets. Is there an explicit description of the one associated with the Apollonian gasket (up to some appropriate ...
- 975
2
votes
0
answers
219
views
Integral with product of two infinite sums
I am looking for references and results on integrals with product of two infinite sums:
$$S_1=\int_0^{\infty} \sum_{n=0}^{\infty} f(nx) \sum_{k=0}^{\infty} \overline{ g(kx)} dx$$
Above integral is ...
- 1,199
2
votes
0
answers
320
views
Solution to algebraic equations over $\mathbb{C}$ and $\mathbb{C}[x]$
$t^n=a$, we get one solution to the equation:
$$t=e^{\frac{1}{n}\int^a_1 \frac{1}{x}}$$ generalizing this result by replacing the exponential with an elliptic modular function and the integral with ...
- 3,084