All Questions
Tagged with dg.differential-geometry cv.complex-variables
191 questions
32
votes
2
answers
2k
views
Example of a compact Kähler manifold with non-finitely generated canonical ring?
A celebrated recent theorem of Birkar-Cascini-Hacon-McKernan and Siu says that the canonical ring $R(X)=\oplus_{m\geq 0}H^0(X,mK_X)$ of any smooth algebraic variety $X$ over $\mathbb{C}$ is a finitely ...
- 6,871
2
votes
1
answer
128
views
Infinitely many deformation equivalent Hodge diamonds
Let $S$ be a connected open complex manifold. Let $\phi:X\to S$ be a proper holomorphic submersion with connected fibers. Can the fibers of $\phi$ have infinitely many distinct Hodge diamonds?
An ...
- 35.2k
6
votes
0
answers
228
views
All complex surfaces embed into a common complex manifold
Is there a closed complex manifold into which every closed complex surface embeds?
CommunityBot
- 1
4
votes
0
answers
294
views
Holomorphic covers pulling back the volume form to any integer multiple
Let $M$ be a closed connected complex manifold with $\mathrm{dim}\:M=n$. Can there exist holomorphic covering maps $\phi_k:M\to M$ for all integers $k\geq 1$ such that $\phi_k^*:H^n(M, \mathbb{Z})\to ...
CommunityBot
- 1
5
votes
0
answers
188
views
Proof of Tian's constant
Basically Tian's invariant relies fundamentally on a lemma of Homander which says that $e^{- \phi}$ is integrable for $\phi$ plurisubharmonic on a ball of radius $1$ under some extra assumption. I am ...
- 51
5
votes
0
answers
245
views
Dimension of highest discriminants of a morphism
Let $f: X\to Y$ be a flat morphism between smooth complex affine varieties. Let $Z$ be the closed set of most singular points of $f$ (in the sense: $p$ is a most singular point of $f$ if the tangent ...
- 1,081
8
votes
0
answers
315
views
Singularities of a morphism from a smooth projective variety to an abelian variety
Let $f: X\to A$ be a (flat) morphism from a smooth complex projective variety $X$ to an abelian variety $A$. Consider the following natural diagram:
$$T^*X\overset{df}{\longleftarrow}X\times H^0(A, \...
- 1,081
6
votes
1
answer
219
views
Restriction of holomorphic functions on $G$-invariant subspace
Let $X$ be a complex manifold with a holomorphic action of a complex reductive group $G$. Let $Y \subset X$ be a $G$-invariant reduced complex analytic subspace. Is the restriction
$$
\mathcal{O}_X^G \...
- 12.9k
2
votes
0
answers
158
views
Pull back of a Bounded form
Let $(X, \omega) $ be a complex manifold and let $\alpha $ be a $p$-form $\omega$-bounded on $X$.
Let $f:Y\to X$ be a holomorphic function.
Is $f^*\alpha$ $f^*(\omega)$-bounded on $Y$ ?
- 5,429
4
votes
1
answer
1k
views
Norm of a differential form [closed]
How can we explicitly calculate the norm of a differential form?
For example let $(X, \omega) $ be a complex manifold such that locally
$$
\omega(z) =i\sum_{k,j} h_{k, j} (z) dz_k\wedge d\overline {...
- 2,247
3
votes
0
answers
259
views
Stokes's Theorem with singularities on projective line
Let $X$ be a complex manifold and $\omega\in \Omega(X\times \mathbb{P}^1)$ a form. I met the following identity:
$$\int_{\mathbb{P}^1}(\partial_z\bar{\partial}_z\omega) \log|z|^2=\int_{\mathbb{P}^1}\...
- 10.4k
3
votes
1
answer
304
views
Relationship between volume and area
Let $\mu(z) dV_n$ be a measure in $\mathbb{C} ^n$.
Let $B_n(r) := \{z \mid \|z\| < r\}$ be the ball of radius $r$ in $\mathbb C^n$, and $\partial B_n(r) $ be the corresponding sphere.
In $\mathbb{C}...
- 6,853
2
votes
0
answers
86
views
Estimates for tensors using local coordinates
Suppose that we have a Kähler manifold $(M, \omega_0)$ and another $(1,1)$ form $\eta$ on $M$. Let $\varphi$ be a smooth function such that $\omega_{\varphi} = \omega_0 + i \partial \bar \partial \...
- 121
2
votes
0
answers
117
views
Equivariant resolution of singularities with equivariant centres
From what I understand, given a complex projective variety X inside a compact complex manifold Y, according to Hironaka, there is a sequence of $r$ blowups $Y_i$ of Y along complex submanifolds (...
- 3,383
1
vote
0
answers
81
views
zero extension of positive currents are always positive
In Demailly's Complex Analytic and Differential Geometry page 139:
He said the trivial (zero) extension of the positive current $T$ (on $X\setminus E$), which denoted by $\tilde T$ is always positive ...
- 295
6
votes
1
answer
261
views
The state of art of the singular Levi problem -- and hyperkähler quotients
One of the versions of the classical Levi problem asks the following:
Let $X$ be a complex manifold. Is it true that $X$ is Stein iff
$X$ admits a smooth exhaustion strictly plurisubharmonic ...
- 1,842
2
votes
1
answer
164
views
Conformal isomorphism uniquely determined by boundary identification?
Let $\Gamma$ be a smooth Jordan arc, and let $\Phi \colon \hat{\mathbb C} \backslash \overline{\mathbb D} \to \hat{\mathbb C} \backslash \Gamma$ be a conformal isomorphism that fixes the point at $\...
- 91.8k
13
votes
5
answers
3k
views
A geometric proof of the Gauss-Lucas theorem
Motivated by a geometric proof of the Fundamental Theorem of Algebra we ask:
Is there a geometric proof for the Gauss-Lucas theorem? Since we are working on a half plane, can one imagine a possible ...
- 1,719
5
votes
1
answer
236
views
Which plane curves can be harmonically parametrized?
In this question, a “(closed oriented plane) curve” $\Gamma$ will mean a continuous map $f \colon \mathbb{U} \to \mathbb{C}$ where $\mathbb{U} := \{z\in\mathbb{C} : |z|=1\}$ is the unit circle, modulo ...
- 91.8k
14
votes
1
answer
395
views
Regularity of conformal maps
In order to define what it means for a map $f \colon \Omega \subseteq \mathbb R^n \to \mathbb R^n$ to be conformal, it is sufficient to require that $f$ is everywhere differentiable. Does conformality ...
- 1,338
1
vote
0
answers
153
views
A linear map on $\chi^{\infty}(\mathbb{R}^2)$ arising from the Cauchy integral formula
The space of smooth vector fields on $\mathbb{R}^2$ and open unit disc $\mathbb{D}$ are denoted by $\chi^{\infty} (\mathbb{R}^2)$ and $\chi^{\infty}(\mathbb{D})$, respectively. A vector field on $\...
- 356
3
votes
0
answers
165
views
Is a non vanishing holomorphic vector field necessarily a geodesible vector field?
Motivated by the "The obvious Fact" part of this answer,, we ask the following question:
First we recall a definition, which is used in the above link:
Definition: A non vanishing vector ...
- 356
9
votes
1
answer
321
views
Notational question about quadratic differentials in Strebel's book "Quadratic differentials"
In Kurt Strebel's book "Quadratic Differentials", in Chapter 2, $\S4$, he begins by saying:
"Every analytic function $\varphi$ is a domain $G$ of the $z$-plane defines, in a natural way, a field of ...
- 12.3k
2
votes
0
answers
119
views
Covariant derivative of the Monge-Ampere equation on Kähler manifolds
I am reading D. Joyce book "Compact manifolds with special holonomy" and I have some problems of understanding some computation on page 111, the first line in the proof of Proposition 5.4.6. More ...
- 21
0
votes
1
answer
101
views
Compatible solution of PDE
Let $c=c(z, \bar z)$ be a complex function satisfying $\partial_{z} \bar c=\partial_{\bar z} c$. It follows that there exists a real function $f$ such that $\partial_{\bar z} f=-c$. Would it be ...
- 26.3k
16
votes
3
answers
1k
views
Analog of Newlander–Nirenberg theorem for real analytic manifolds
It is well known that one can specify a complex structure on a real $C^\infty$ manifold in two equivalent ways: an atlas with holomorphic transition functions between charts and an integrable almost ...
- 468
5
votes
1
answer
613
views
On limits of manifolds
This question should be fairly elementary. I’d just like to check I’m not missing anything.
Let $\{M_n\}_{n\ge 0}$ be an inverse system of smooth manifolds with transition maps $f_{t,s} : M_t\to M_s$,...
CommunityBot
- 1
3
votes
0
answers
148
views
Analytic Aspects of Rational Maps
I would like some help finding references for a analytic treatment of rational maps between compact complex manifolds (that is holomorphic maps defined away from a codimension at least 2 subvariety). ...
- 121
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
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
5
votes
1
answer
153
views
An estimate on deviation of two smooth tangent $J$-holomorphic curves
Take $\mathbb C^2$ with coordinates $(z,w)$. Suppose that $J$ is a $C^{\infty}$ almost complex structure on $\mathbb C^2$ such that the line $w=0$ is $J$-holomorphic and $J(0,0)$ is given by $(z,w)\to ...
- 108k
3
votes
0
answers
98
views
Euler characteristic of an exhaustion of compacts of a surface
Let $X$ be an open (connected) Riemann surface of finite Euler characteristic. And $K_1 \subset \cdots K_n \subset$ be an sequence of closures of bounded open subsets with smooth boundary of $X.$
...
- 750
2
votes
1
answer
411
views
How to find isothermal coordinates equivalent to circles in far limit?
I am trying to find the most general rotational coordinate systems for Euclidean 3-space, with the following two defining characteristics: 1) being equivalent to spherical coordinates in the limit of ...
7
votes
1
answer
535
views
Diffeomorphisms on a real manifold whose derivative are holomorphic maps on the tangent bundle
Edit: According to the answers to the linked MSE question and the comment of Holonomia, I understand that the answer to the second question is that " Every tangent bundles is a complex ...
CommunityBot
- 1
0
votes
1
answer
703
views
flow of holomorphic vector field [closed]
Let $(M,J)$ be a complex manifold, where $J$ is the integrable complex structure. Let $X$ be a holomorphic vector field on $M$ and let $\varphi_{t} : M\rightarrow M $ be its flow. Question: Is $\...
- 25.3k
5
votes
1
answer
395
views
Holomorphic Sard's theorem 2
My previous question on this topic had a negative answer, but Tom Goodwillie in the comments suggested a statement, which may be true, and even a strategy of how to prove it. I haven't been able to ...
- 91.8k
3
votes
1
answer
177
views
Real solution of a complex equation with complex solution
Assume that $(M, [\lambda, \mu])$ defines an embeddable 3 dimensional CR structure where $\lambda$ is a real form and $\mu$ is a complex 1-form.
Because $M$ is embeddable, $\mu=dz$ for some ...
- 1,238
1
vote
0
answers
307
views
Fefferman metric and Einstein metric
From Lee's paper The Fefferman Metric and Pseudo hermitian Invariants, corresponding to any 3 dimensional strictly pseudo convex CR structure, there is a conformal class of Lorentzian metrics which ...
- 195
9
votes
1
answer
662
views
Holomorphic Sard's theorem?
I have originally posted this question on math.SE, but it received little attention, so I repost it here.
Let $U\subset \mathbb{C}^{n}$ and $V\subset \mathbb{C}^{m}$ be open and connected. Let $\Phi:...
- 56.9k
3
votes
0
answers
84
views
Discrete set of critical points of a holomorphic map
I have originally posted this question on math.SE, but it received no attention, so I repost it here.
Let $U$ be an open domain in $\mathbb{C}^{n}$. Let $m\ge n$ and let $F:U\to C^{m}$ be a ...
- 5,529
1
vote
1
answer
94
views
a question about complex Hessians on complex tori
Suppose we have a real-valued smooth function on a complex torus:
$$f: \mathbb{C}^n/(\mathbb{Z}+\sqrt{-1}\mathbb{Z})^n\longrightarrow\mathbb{R},$$
i.e., this $f$ is a real-valued smooth function on $\...
- 2,727
5
votes
1
answer
243
views
Deformation of the Plücker coordinates
Let $M_{2,4}(\mathbb{R})$ be the set of real $2\times4$-matrices of rank $2$. For any $A\in M_{2,4}(\mathbb{R})$ and $1\leq i<j\leq 4$, let $p_{ij}$ be the corresponding $2\times 2$-minors of $A$. ...
- 2,784
5
votes
1
answer
752
views
Gaussian integral over a ball
How to compute the following integral?
$$\int_{\|x\|^2\leq R} \exp(-x^\ast G x+2\mathcal{Re}(x^\ast a)) \,dx,$$
where $x$ is an $M \times 1$ vector ($M\gg 1$), $G$ is a positive definite matrix, and $...
CommunityBot
- 1
4
votes
1
answer
150
views
Linearisation of complex $S^1$ actions at fixed points
Let $(U,x)$ be an open complex $n$-manifold (say an $n$-ball) with an action of $S^1$ by holomorphic transformations that fix $x$. How to prove that there is a neighbourhood $U_1\subset U$ of $x$ ...
- 55.9k
5
votes
0
answers
104
views
On the embedding of manifolds into infinite-dimensional spaces
Let $X$ be a (connected, finitely dimensional) topological/smooth/complex manifold and let $i$ be a weakly continuous/continuous/smooth/holomorphic map from $X$ into the dual $F^{*}$ of a real or ...
- 5,529
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
1
answer
107
views
When do quotients of bounded domains contain closed Riemann surfaces?
Let $D$ be a bounded domain in $\mathbb{C}^n$, and let $\gamma$ be a biholomorphism of $D$ such that for all $\epsilon>0$ there is a point $z\in D$ such that the Kobayashi distance from $z$ to $\...
- 31.2k
1
vote
0
answers
85
views
What does the space of holomorphic maps look like inside the space of equivariant maps
Consider a map from a closed topological surface $S$ into, for example, a fixed compact complex hyperbolic manifold.
For each point in the Teichmuller space of $S$ this map is homotopic to a unique ...
- 257
2
votes
2
answers
284
views
compact almost complex submanifolds of complex Lie groups
Does there exist any complex Lie group $G$ such that there are some positive-dimensional compact almost complex submanifolds (for example, $\mathbb{C}P^m$) of $G$?
I want to get some examples.
...
- 63.9k
3
votes
1
answer
303
views
Intersection multiplicity in the non-algebraic case
I know the definition of intersection multiplicity in algebraic geometry. However, I think it is possible to define it for some sort of non-algebraic functions such as $y=\sin x$.
How to define ...
- 66.3k