Holomorphic functions, automorphic group actions and forms, pseudoconvexity, complex geometry, analytic spaces, analytic sheaves.

learn more… | top users | synonyms (1)

2
votes
1answer
225 views

Does the property (P) holds true for the derivatives of $L$?

Let $$L(C,s)=\sum_{n=1}^\infty \frac{a_n}{n^s}$$ be the Dirichlet series of the Hasse--Weil L-function of an elliptic curve $C$ over $ℚ$. As $s$ takes on real negative values, there are trivial zeros ...
1
vote
1answer
92 views

On the geometry of roots of a sum of complex linear fractions

I was wondering if there is anything known about the geometry (position) of the roots of a rational map of the form $$R(z):= \sum_{j=1}^{n} \frac{a_j}{z-p_j},$$ where the $a_j$'s are nonzero complex ...
-3
votes
0answers
34 views

complexe integration around a branch point [on hold]

I have this complex integral to which I don't know if it's possible to assign a value: The integral is on a small circle around the origin. The function is 1/((z-1)*sqrt(z)). The fact is that z=0 is ...
2
votes
1answer
288 views

What is the “complex third derivative”?

Background I am including this information about real higher order derivatives because it does not seem to be common knowledge. I also include a review of the complex Hessian. If $f:\mathbb{R}^n ...
23
votes
3answers
2k views

What is special about polylogarithms that leads to so many interesting identities and applications?

I have heard that Polylogarithms are very interesting things. The wikipedia page shows a lot of interesting identities. These functions are indeed supposed to have caught the attention of Ramanujan. ...
-1
votes
1answer
116 views

Holomorphic maps on $\mathbb{R}^{n}$ (for n not necessarily even)

Edit according to the comment of user36931 I remove the "motivation" from the previous version and I add an statement to the first question We consider the following two classes of smooth maps on ...
4
votes
0answers
75 views

Can Voronin's universality theorem be used to show that $\sigma\circ\zeta=\zeta\circ\sigma$ implies $\sigma$ continuous?

Let $\sigma$ be a field automorphism of $\mathbb{C}$ that commutes with the Riemann Zeta function. Can we use Voronin's universality theorem to prove that $\sigma$ is necessarily continuous? Thanks in ...
0
votes
0answers
114 views

singularities and zeros of series and reverse problem [closed]

Given a series $$S=\sum_{n=1}^{\infty}a_n x^n,a_n\in \mathbb{N}$$ we know that it may have zeros,poles,branch points or natural boundary.Reversely,given it's zeros,poles,branch points or natural ...
5
votes
1answer
178 views

Is there a holomorphic Morse-Bott lemma?

It asks for a generalization of the question in the post Normal form for a holomorphic Morse function Suppose $f$ is a holomorphic function on a complex manifold $M$ which has Bott type critical ...
1
vote
2answers
111 views

Under what conditions does the Mittag-Leffler function ${E_{\alpha ,1}}(z),(0 < \alpha < 1)$ has no real zero?

I want to know under what conditions does the Mittag-Leffler function ${E_{\alpha ,1}}(z),(0 < \alpha < 1)$ has no real zero, where ${E_{\alpha ,1}}(z) = \sum\limits_{k = 0}^\infty ...
1
vote
0answers
26 views

Automorphisms of $\mathbb{C}$, Selberg class and surjectivity

Let $F$ be an element of the Selberg class and $\sigma$ be a field automorphism of $\mathbb{C}$ such that $\sigma\circ F=F\circ\sigma$. Let $Fix_{\sigma}$ be the set of all complex numbers $z$ such ...
2
votes
1answer
497 views

Absolute convergence of logarithm of polynomial with positive coefficient ($\ln G(z) = \sum\limits_{i = 0}^\infty {{q_i}{z^i}} $)

Special problem: Let $G(z)$ be a probability generating function(pgf, the $z$ can be seen as real number or complex number), that is $$G(z) = \sum\limits_{i = 0}^\infty {{p_i}{z^i}} ,(\left| z ...
0
votes
1answer
109 views

smooth holomorphic functions are CR on the boundary? [closed]

Is this true that any holomorphic functions in a domain with smooth boundary, and which is smooth on the boundary is a CR function ?
3
votes
2answers
217 views

The Szego projector, the dual disc bundle $\overline{D}$ and representation of $S^1$ on $H^2$($\overline{D}$)

This construction arises when constructing the Szego projector. Let's consider the dual disc bundle $\overline{D}$ of a positive Hermitian line bundle ($L$,$h$) over a compact Kahler manifold $M$, ...
2
votes
3answers
229 views

Solutions of the $\overline{\partial}$ equation in the upper half-plane

I am looking for references on solutions of the $\overline{\partial}$ equation in the upper half-plane (with conditions on the boundary). But this subject is completely outside my area of expertise ...
3
votes
1answer
196 views

Explicit form for hermitian structure $h$ with respect to $\omega$

Let $(M,\omega)$ be a symplectic manifold. and $\pi:L\to M$ be a complex line bundle , we denote $h$ as hermitian structure,i.e. if $s,s'$ are smooth sections of $L$ and if $X$ is a vector field on ...
3
votes
1answer
143 views

Local holomorphic equations for symplectic divisors

If $(X,\omega)$ is a symplectic manifold and $J\colon TX \to TX$ is an almost complex structure, we know that $X$ admits a complex structure if and only if the Nijenhuis tensor $N_J(\cdot,\cdot)$ of ...
2
votes
0answers
43 views

Uniform estimate for the cauchy-riemann equations on a hyperbolic riemann surface

I have been trying to find the answer to this question in the literature, but have not succeeded. The question is as follows. Suppose $X$ is a Riemann surface that admits a green's function (i.e. ...
1
vote
0answers
76 views

Translation of “Über kompakte homogene Kählersche Mannigfaltigkeiten”

Has anyone translated Borel and Remmert's 1962 paper titled: Über kompakte homogene Kählersche Mannigfaltigkeiten?
1
vote
1answer
92 views

Find sufficient and necessary conditions on $f$ in which the level curve $f(x,y)=0$ implies only one case $x=a$ for all real $y$ [closed]

Let $f:ℝ²→ℝ$ be an arbitrary harmonic function. A level curve in two dimensions is a curve on which the value of a function $f(x,y)$ is a constant. My question is: Find sufficient and necessary ...
2
votes
1answer
1k views

Definition of a complex structure on a vector bundle

Given a Riemann surface $S$, e.g. $\mathbb{P}^1(\mathbb{C})$, with complex conjugation on the coordinates and a holomorphic vector bundle $E$ over $S$. The complex conjugation $f$ is not holomorphic, ...
2
votes
1answer
147 views

ideals in the disk algebra

Let A be the disk algebra, of continuous functions on the closed disk holomorphic on the interior, with sup-norm denoted || . || . Let x be an interior point of the disk. Does there exist a ...
5
votes
1answer
401 views

The space $H(D)$ of holomorphic functions.

A very natural example of a nuclear Montel space is the space $H(D)$ of all holomorphic functions on the open disc topologized by the family of seminorms $$p_n(f)=\sup\{|f(z)|\colon |z|\leq ...
23
votes
2answers
419 views

Why is there no connection between fast-growing functions and complex analysis

I found myself wondering the other day whether the fast-growing functions from natural to naturals that are studied by people like proof theorists are the restriction to the naturals of analytic ...
1
vote
0answers
87 views

On a particular case of the ``Tumura-Hayman" theorem :

Page 69 of $\textbf{[1]}$, one finds the theorem 3.8 (Tumura-Hayma): Suppose that $~f(z)~$ is meromorphic and has only a finite number of poles in the plane, and that $~f(z)~$ and $~f^{(l)}(z)~$ ...
4
votes
2answers
394 views

I don't understand behavior of this integral, help!

In an answer to a question I needed the following integral: $$ f(z):=\int\limits_0^\infty t\coth(zt)e^{-t^2}dt; $$ it represented deviation from modularity of some other function. However I noticed ...
0
votes
0answers
26 views

can the power of a complex number be arbitrary close to a number? [migrated]

Given a complex number $z$ with $|z|=1$ and $z$ is not a root of unit, and a complex number $r$ with $|r|=1$, and a natural number $N>0$. Is it the case that for any $\epsilon>0$, there exists ...
8
votes
1answer
286 views

The Riemann mapping theorem via extremal problems

Let $X \subsetneq \mathbb{C}$ be a simply connected domain. The Riemann mapping theorem states that there exists a biholomorphism of $X$ onto the unit disk $\mathbb{D}$. A simple and elegant way to ...
19
votes
5answers
657 views

Topology on the set of analytic functions

Let $H(D)$ be the set of all analytic functions in a region $D$ in $C$ or in $C^n$. Everyone who worked with this set knows that there is only one reasonable topology on it: the uniform convergence on ...
3
votes
0answers
196 views

The Poisson-kernel in the plane and polynomials

Let \begin{align*} p(z) & = \ \prod_{j = 1}^{n} (z - z_j) \, ; \ |z_j| \ = \ 1 \\ & = \ \prod_{j = 1}^{l+1} (z - z_j)^{M_j} \end{align*} be a non-constant complex polynomial with ...
0
votes
0answers
106 views

Fractional Derivative of A specific function

I've tried and tried to do this problem myself, but I've hit some snags on the way. I'm trying to take the fractional derivative of: $f(x)=1+n^{-x}$ where n is an integer and $n\geq2$ and $x>1$. ...
0
votes
0answers
114 views

Fractional Derivatives Of Sums

I have a question regarding the definition of a fractional derivative. I've searched, but I can't find a definition of fractional derivatives that explain the concept in terms of an operator on some ...
0
votes
0answers
63 views

Finding the Fractional Derivative of This Function [duplicate]

I've been trying to find an answer to this question, and it seems as though the question has gone unanswered. The question regards the derivative of $f(x)=1+n^{-x}$ where $n$ is a natural number. Is ...
3
votes
2answers
316 views

The holomorphic version of Galois theory

We identify the space of polynomials of degree n with $\mathbb{C}^{n+1}-\mathbb{C}^{n}$, that is an $n+1$ tuple $(a_{n},a_{n-1},\ldots,a_{0})$ with $a_{n} \neq 0$ is identified with $p(z)=a_{n}z^{n} ...
1
vote
0answers
30 views

Invertibility of Hankel operators?

Let $D$ be the unit disc in the complex plane and $P$ the Bergman projection mapping $L^2(D)$ onto the closed subspace $A^2(D)$ of holomorphic square-integrable functions (w.r.t. Lebesgue measure). ...
0
votes
0answers
55 views

Growth of sums of multiplicative functions over Squarefrees

When one looks at the quotient of Euler products $$\prod_p\frac{\sum_{\alpha=0}^{\infty}f(p^{\alpha})p^{-\alpha s}}{1+f(p)p^{-s}}$$ with $|f|\leq 1$, it is observed that the resulting expression ...
0
votes
0answers
22 views

A question about the convention for the Plancherel measure on $\mathbb{H}^n$

Say I have to calculate the quantity, $Log Tr [ -\Delta - \frac{1}{4} + m^2]$ on $H^n$. Then looking up the spectral measure $\mu(\lambda)$ and the eigenvalues of the Laplacian ($= -\Delta = - ...
0
votes
0answers
58 views

analytic continuation related to Chebyshev functions

Let $\psi$ be the Chebyshev function. I would like to prove that the function $\sum_{n\ge0}(\sum_{k=0}^n\binom{n}{k}e^{\psi(k)})w^n$ can be analyticaly continued on an open set of $\mathbb C$ ...
3
votes
1answer
112 views

Entire solutions of finite difference equations

Let $(E):\ \sum_{k=0}^n P_k(z)g(z+k)=0$ with the $P_k\in\mathbb C[z]$ a finite differences equation in $\mathbb C$. Is it true that every any entire solution $g$ of (E) of exponential type $<\pi$ ...
1
vote
1answer
181 views

Request for help with two integrals

It would be great if someone can help me do these integrals - using numerical integration on Mathematica it seems that these converge - in what follows $a \in \mathbb{R}$ and $q \in \mathbb{N}$ and $n ...
5
votes
1answer
192 views

Fourier expansion of Takagi-function (everywhere non differentiable function).

Let us consider Takagi-function defined by $T(x) \colon\!= \sum_{n=0}^{\infty}s(2^nx)/2^n$, where $s(x) \colon\!\!= \underset{n \in {\Bbb Z}}{\mathrm{min}} \,|x-n|$. $T(x)$ has its period $1$, so ...
2
votes
1answer
161 views

almost holomorphic line bundles

Let $(L,\omega_L) \to (M,\omega_M)$ be a symplectic line bundle (symplectic line=real dimension 2) over a symplectic manifold $M$. Each of these objects can be equipped with an almost complex ...
1
vote
0answers
78 views

Algebraic set given by sequence of polynomials

When working on some problem, I have end up with a following situation. Suppose $P(z)=z^d+a_{d-1}z^{d-1}+\ldots+a_1z+a_0$ is a complex polynomial $d\geq2$ and that $\gamma$ and $\delta$ are non-zero ...
10
votes
1answer
248 views

Minimize norm of a polynomial around a circle (count the solutions)

I already posted this question at MSE here, but as it received no significative feedback for a while I cross-post it here. I also noticed a related question here on MO (which does not answer my ...
4
votes
2answers
294 views

Sets of vectors related by a rotation

We have a two sets of vectors ($\mathbb{C}^d$), $A=\{ v_1, \ldots v_n\}$ and $B=\{u_1, \ldots u_n\}$. The question is if there is an efficient solution (polynomial in $n$) for checking whether $A$ ...
26
votes
5answers
2k views

Why does so much recent work involve K3 surfaces?

I've been noticing that a whole lot of papers published to the Arxiv recently involve K3 surfaces. Can anyone give me (someone who, at this point, knows little more about K3 surfaces than their ...
5
votes
1answer
191 views

definition of accretive operator

A relation T with domain and range in a Hilbert space is said to be accretive if the transformation $ (T − \lambda)/(T + \bar \lambda\ ) $ with domain and range in the Hilbert space is contractive for ...
18
votes
2answers
1k views

Riemann mapping theorem for homeomorphisms

How do you prove to any two simply-connected domains in the plane are homeomorphic without using the Riemann mapping theorem? An elementary proof would be nice.
2
votes
0answers
155 views

What can be said about a function given its asymptotic expansion?

This is probably not a research level question but I honestly don't know how/where to look for techniques to reconstruct a function from its asymptotic expansion. The expansion I want to know about ...
6
votes
3answers
801 views

Objections to and arguments for the simplicity of all Riemann zeros

It seems to be that the simplicity of all the zeros is quite widely accepted as a working hypotheses, and it is known that a positive proportion are as such. Titchmarsh explains in the last chapter ...