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

learn more… | top users | synonyms (1)

19
votes
0answers
345 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 ...
2
votes
2answers
290 views

Topological information via cohomology of sheaves

On a projective smooth variety $X$ over complex numbers (or rather compact Kahler) we have a specific set of sheaves, namely sheaves of holomorphic forms ${\mathcal \Omega}^p$ of various degrees. The ...
-1
votes
1answer
138 views

Stone Cech compactification for exponential map

Recently I met with a problem related to Stone-Cech Compactification theorem in Furstenberg's famous paper "non-commuting product." I try my best to understand Stone-Cech compactification theorem by ...
5
votes
1answer
56 views

An corona pair (a,b) satisfies (A_2)

Let $b$ be a non-extreme point in the unit ball of $H^\infty$. Let $(a,b)$ be a corona pair, that is $|a|+|b|$ is bounded away from zero in the unit disc. Also let $|a|^2$ satisfy Hunt-Muckenhoupt ...
2
votes
1answer
326 views

Finding the residue for a complex function defined using an infinite product

Suppose we define the infinite product $\displaystyle \prod_{n=1}^{\infty} (1+a^{-ns})^{a_n}$, where $a_n$ is some given sequence of positive integers. Is there a way, supposing there is a pole at ...
-2
votes
1answer
125 views

Holder class of analytic functions

Assume that $\lim_{(nt) |z|\to 1}|f(z)|(1-|z|)^p=0$, where $f$ is analytic in the unit disk and $p>0$,where $(nt)|z|\to 1$ nontangentially. Does this implies that $\lim_{|z|\to ...
3
votes
1answer
258 views

Normal form for a holomorphic Morse function

Similarly to Morse lemma, a holomorphic Morse function can be written, near a critical point, as $W_1^2+W_2^2+...+W_n^2+C$ , for well chosen coordinates $W_1,W_2,...,W_n$. I want to cite this result ...
2
votes
2answers
229 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$, ...
3
votes
1answer
151 views

Weighted projective space with rational or real weights

The most common formulation of the weighted projective space is perhaps the global quotient $$ (\mathbb{C}^{n+1} \setminus \{(0,\ldots,0\}) / \mathbb{C}^\ast $$ with the $\mathbb{C}^\ast$ group action ...
4
votes
1answer
164 views

Integral and conformal mappings

Let $f$ be a conformal mapping of the unit disk $U$ into $C$. Is the following integral convergent $$\int_U \frac{dx dy}{|f'(z)|}?$$
5
votes
2answers
480 views

An extension of Morera's Theorem

Morera's Theorem states that If $f$ is continuous in a region $D$ and satisfies $\oint_{\gamma} f = 0$ for any closed curve $\gamma$ in $D$, then $f$ is analytic in $D$. I have two questions: ...
3
votes
1answer
289 views

A particular contour integral

Mathoverflow, I'd like to carry out the following integral, $$f(t) = \int_{- \infty}^{\infty}\frac{-i\Omega e^{i \Omega t}}{1-\sqrt{-i\Omega}\coth(\sqrt{-i\Omega})} d\Omega.$$ Here's what I've ...
17
votes
1answer
527 views

Almost linearly dependent functions

Everyone knows that analytic functions $f_1,\ldots,f_n$ are linearly dependent if and only if their Wronski determinant is identically equal to zero. There are several proofs of this, one in ...
0
votes
1answer
138 views

Inverse “Riemann mapping” [closed]

The Riemann mapping theorem states, that any simply connected domain $U \subset \mathbb C$ can be conformally mapped to the open unit disk $D$. I.e. there is a Diffeomorphism $\Psi: D \to U$ such that ...
1
vote
0answers
251 views

complex contour integral calculation after Möbius transformation

Good day to everyone. In my scientific research I've got stuck with a contour integration problem. I would like to evaluate the following integral: $$I=\int_0^{\infty } \frac{e^{\frac{\alpha -\mathrm ...
2
votes
1answer
119 views

Off-diagonal holomorphic extension of real analytic functions on $\mathbb{C}^n \times\mathbb{C}^n$

I am struggling trying to understand an statement in a paper I am reading: Let $M$ be a complex manifold of dimension $2n$. Let's consider a function $\xi$: $M$ $\rightarrow$ $\mathbb{C}$ whose ...
1
vote
1answer
104 views

Monotonicity and perturbation of $J$-holomorphic curves

In a symplectic manifold $(M, \omega)$, $J$-holomorphic curves are special minimal surfaces if $J$ is compatible with the symplectic structure and the metric is induced by $\omega$ and $J$. Minimal ...
10
votes
2answers
709 views

How did Riemann calculate the first few non-trivial zeros of Zeta?

Does anyone know how Riemann calculated the first few non-trivial zeros of the Zeta function? I am wondering if he approximated the integral, $\frac{1}{2 \pi i} \int_{R} \frac{{\xi}^\prime(z)}{\xi ...
0
votes
1answer
97 views

Comparing two hyperbolic structures on a surface

Let S be a compact hyperbolic surface (a compact riemann surface of genus ≥2). Let S′=S∖P where P⊂S is a finite subset of points. Then S′ is hyperbolic too. Question: how is related the hyperbolic ...
8
votes
1answer
288 views

Local polynomial form of holomorphic functions

It is well-known that a germ of a holomorphic function of $n\geq 2$ variables, with at most an isolated singularity (i.e. the singularity of the analytic variety defined by the zero locus of the ...
2
votes
1answer
73 views

How a matrix of C^1 functions on a domain Ω in Cn generates a C^1 distribution in Ω

I am reading the paper Complex foliation generated by (1,1)-forms by M. Klimek. I have a problem understanding why is true a detail in one of the theorems: Let $\Omega$ be an open connected subset ...
0
votes
1answer
334 views

Recomendation of Complex variables book [closed]

I'd like to ask for a book of complex variables that includes a "large" discussion about the Dirichlet problem, Neumann problem, and problems like that, I have now read "basic complex analysis - ...
3
votes
1answer
189 views

If $f(x)+f(2x)$ is quasianalytic, is $f(x)$ necessarily quasianalytic?

Assume that $f\in C^{\infty}$ and that $M_n$ is a sequence such that $$\sum_{n=0}^{\infty}\frac{M_n}{(n+1)M_{n+1}}=\infty$$ and for certain compact neighborhood of the origin $U$ of $\mathbb{R}$, ...
1
vote
0answers
249 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
83 views

Normal family and arithmetic progression

It is basic fact that for a holomorphic (or mermorphic) map $f$, the family of iterates $\{f^n\}_{n=1}^{\infty}$, is normal if and only if $\{f^{mn}\}_{n=1}^{\infty}$, is normal $\forall m\geq 1$. ...
1
vote
0answers
47 views

A criterion or algorithm for polynomial which admits Markov partition on its Julia set

For a given polynomials $P(z)$, whether there exists general algorithm to check it admits a Markov partition on its Julia sets. (in finite computation time.) May be it is more difficult for the ...
3
votes
0answers
138 views

elementary proof for existence of point with minimal period 2 for entire function

Fatou proved a very interesting result: for a transcendental entire function $f$, the second itarate $f^{2}$ has at least has one fixed point. (Using the technique of Picard theorem) This result ...
5
votes
1answer
324 views

Universal covering map from $\mathcal{H}$ to $\mathbb{C}\setminus \mathbb{Z}\oplus i\mathbb{Z}$ (the countably punctured complex plane)

It's a consequence of the uniformization theorem for simply connected Riemann surfaces that the universal cover of $\mathbb{C}\setminus(\mathbb{Z}\oplus i\mathbb{Z})$ ($\mathbb{C}$ punctured at all ...
1
vote
2answers
97 views

general variational principle for the Julia sets of mermorphic function?

I have seen some attempt in considering topological pressure for Julia sets of exponential function, and elliptic function. However, there exists few reference according to my knowledge? I want to ...
4
votes
2answers
410 views

When is $\mathrm{Aut}(X)\times \mathrm{Aut}(Y)$ of finite index in $\mathrm{Aut}(X\times Y)$?

Let $\mathrm{Aut}(X)$ denote the group of biholomorphic autmorphisms of the (non-compact) complex manifold $X$. If $X$ and $Y$ are two (non-compact) complex manifolds, then $\mathrm{Aut}(X)$ and ...
1
vote
1answer
79 views

Removing a hyperplane from flag manifolds

It should be known that if we remove a compact complex codimension one submanifold $X$ (hyperplane) of a flag manifold $Z=G/P$, then $Z\setminus X$ is a Stein manifold. I was wondering if anyone can ...
1
vote
1answer
200 views

Composite families of formal power series over $\mathbb C$ as algebraic variety

I was led to prove that the set of composite families $(f_j)_{j \leq k}$ of germs at $0\in \mathbb C^m$ of a holomorphic function (composite = sharing a common divisor belonging to the maximal ideal) ...
1
vote
0answers
56 views

irreducible analytic decomposition of sets invariant under a group action

Let $U$ be a complex analytic space with an action of a finitely generated group $\Gamma$. Under what assumptions is the following true: Every $\Gamma$-invariant closed analytic subset of $U$ ...
19
votes
5answers
763 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
1answer
173 views

Fixed points on Riemann surface

It is well known theorem that for a conformal mapping $\phi$ from a bounded and planar domain $\Omega$ to itself has three fixed points , then it must be identity mapping. However, I cannot find a ...
21
votes
4answers
1k views

Distribution of roots of complex polynomials

I generated random quadratic and cubic polynomials with coefficients in $\mathbb{C}$ uniformly distributed in the unit disk $|z| \le 1$. The distribution of the roots of 10000 of these polynomials are ...
5
votes
1answer
139 views

Ubiquity/scarcity of non-analytically continuable functions

Suppose f(z) is a power series with positive integer coefficients centered at zero and positive radius of convergence. What is the likelihood that f has a dense set of singularities on its circle of ...
2
votes
2answers
159 views

Is the Hausdorff dimension $Dim_{H}(J(f))$ of the Julia set less than 2 for quadratic rational map?

Let $f(z)$ be a quadratic rational map with two Siegel disks which can be normalized to be $$f(z)=z\frac{z+e^{2\pi i\alpha}}{e^{2\pi i\beta}z+1}.$$ If one of the ratation numbers $\alpha$ and $\beta$ ...
1
vote
1answer
133 views

Forster's Theorem

I am looking for a detailed account, in English or French, of the main result and its proof from this paper by O. Forster Zur Theorie der Steinschen Algebren und Moduln, Mathematische Zeitschrift 97, ...
1
vote
0answers
131 views

Solving a system of rational functions

Given pairwise distinct numbers $c_1, c_2, \dots c_n \in \mathbb{C} \setminus \{0\}$, does the system of equations $$\frac{6}{c_k} + \sum_{i \ne k} \frac{2}{c_k - c_i} = \sum_{i = 1}^n \frac{1}{c_k - ...
3
votes
3answers
2k views

Does the inverse Laplace transform of the square root exist?

Does the inverse Laplace transform, defined by the integral, \begin{equation} F(t) = \mathscr L_s^{-1}\left[\sqrt s\right](t) = \int_{c - i\infty}^{c + i\infty} \sqrt s ~e^{-st} ds \end{equation} ...
0
votes
2answers
177 views

A Functional Equation concerning analytic functions

Let $P$ be a polynomial and suppose $f : \Bbb{C}\longrightarrow \Bbb{C}$ is a non-constant analytic function such for all $z \in \Bbb{C}, f(z) = f(P(z))$. Clearly when $P$ is linear we can find such ...
3
votes
1answer
151 views

The Integral Trick and An Equality in Nakajima's Lecture

In Nekrasov et al's series papers MNS, they calculate such kinds of integral $$\frac{E_1 E_2}{N(2\pi i)^N(E_1+E_2) }\oint d\phi_1 \wedge d\phi_2\wedge ...\wedge d\phi_N \prod_{i<N} (-\phi_i) ...
1
vote
1answer
218 views

Two different forms of Schwarz-Christoffel-Mapping of unit disk to rectangle. Are they identical?

I found two different equations for the Schwarz-Christoffel-mapping of a unit disk to a rectangle (which are the general form of the SC-mapping, I guess). The first, e.g. from Link, page 20, is ...
2
votes
0answers
122 views

topology generated by irreducible componets of $\Gamma$-invariant closed sets

For an analytic space $U$ equipped with an action of a group $\Gamma$, call a subset $Z\subseteq U$ $\Gamma$-closed iff it is a closed analytic subset and each of its irreducible components is an ...
5
votes
1answer
187 views

Function transformation of exponentials

I came across the following function transformation: $$ \sum_{j=-\infty}^{\infty} e^{(-j^2\cdot t)} = \sqrt{\frac{\pi}{t}} \cdot \sum_{j=-\infty}^{\infty} e^{(-\frac{\pi^2}{t}\cdot j^2)} $$ where $ j ...
2
votes
0answers
81 views

How can we describe explicitly the “infinitely complex differentiable” complex-valued local martingales?

Let $\mathcal{F}_t$ be a continuous filtration on a probability space, and let $B$ be a standard $\mathbb{C}$-valued $\mathcal{F}_t$-Brownian motion. Let's call a complex-valued process $X$, possibly ...
1
vote
0answers
54 views

Is it obvious that the defining conditions to obtain a particular singularity are well defined on the quotient space?

Let $~f:\mathbb{C}^2 \rightarrow \mathbb{C}$ be a holomorphic function vanishing at the origin, with the following properties: $$ f_{00}, ~f_{10}, ~f_{01}, ~f_{20}, ~f_{11} =0,~~f_{20} \neq 0 ...
0
votes
0answers
233 views

Local System and Gauss-Manin connection

Fix a complex manifold $X$. Then if we have a line bundle $L=\mathcal{O}(D)$ together with Gauss-Manin connection $\nabla: L \rightarrow L \otimes \Omega^{1}_X$, we get the locally constant sheaf $F$ ...
1
vote
1answer
74 views

Finite construction of lacunary functions using algebraic and certain analytic operations

Algebraic functions have a discrete set of singularities. Lacunary functions, e.g. $f(z)=\sum_{n=0}^\infty z^{2^n}$, have a continuum of singularities at every point of the boundary of their disk of ...