Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [complex-geometry]

Complex geometry is the study of complex manifolds and complex algebraic varieties, and, by extension, of almost complex structures. It is a part of both differential geometry and algebraic geometry.

4
votes
2answers
228 views

Question on PDEs which are related to certain geometric problems (e.g. Calabi conjecture, Gauduchon conjecture)

There are interesting symmetric functions $P_k$ arising from differential geometry and PDEs, where $P_k$ is given by \begin{equation} \begin{aligned} P_k(\lambda) = \prod_{1\leq i_{1}<\cdots < ...
19
votes
1answer
656 views

Hodge decomposition and degeneration of the spectral sequence

I am teaching a course on Hodge theory and I realised that I don't understand something basic. Let first $X$ be a compact Kahler manifold. Let $H^{p,q}(X)=H^q(X,\Omega^p_X)$ where $\Omega^p_X$ is the ...
2
votes
2answers
398 views

Conformal mappings that preserve angles and areas but not perimeters?

Conformal mappings from $U$ to $V$, both subsets of $\mathbb{C}$, locally preserve angles. But, in general, such mappings neither preserve areas nor preserve perimeters. Q. Are there examples of ...
4
votes
1answer
168 views

Hodge decomposition of the symmetric product of a curve

Let X be a smooth projective connected curve over $\mathbb{C}$ and let $n>1$ be an integer. Let $Y= Sym^n_X$ be the $n$-th symmetric product of $X$. Is there, for every $i$, a nice formula ...
16
votes
0answers
427 views

What are hyperkähler metrics used for?

It seems that a lot of effort has been devoted to endow holomorphic-symplectic manifolds with hyperkähler metrics. It started with Calabi [4] with $T^*\mathbb{CP}^n$. Other examples include coadjoint ...
3
votes
1answer
124 views

Sections of tangent bundle on hypersurface

If $X\subset \mathbb{P}^n$ is a smooth hypersurface (more generally a complete intersection) of dimension at least 2, and if $K_X+\mathscr{O}_X(-1)\geq 0$, why is it true that $H^0(T_X(1))=0$? (...
12
votes
1answer
218 views

On non-representability of certain hom schemes

Let $k$ be an algebraically closed field. It is well-known that the isom-sheaf Isom$(\mathbb{A}^1_k,\mathbb{A}^1_k)$ is not representable by an algebraic space. (To be clear, the functor Isom$(\mathbb{...
3
votes
0answers
103 views

Unobstructedness of nodal holomorphic curve in symplectic manifold

Suppose $(X,\omega)$ is a compact symplectic manifold and $J$ is an $\omega$-compatible almost complex structure on $X$ (the symplectic structure seems to be irrelevant for this question actually). ...
1
vote
2answers
303 views

Is there an example to show the Hodge decomposition fails on non-compact case

The theorem of Hodge decomposition is on the compact Kahler manifold, is it generally true for the non-compact kahler manifold or are there examples to show the failure? Here is my Hodge ...
2
votes
0answers
110 views

Equivariant proper modifications of $\mathbb{C}^{n}$

Let $f:X\to Y$ be a proper surjective holomorphic map between two $n$-dimensional connected complex manifolds $X$ and $Y$. $X$ is called a proper modification of $Y$ if there are nowhere dense compact ...
3
votes
1answer
155 views

Homotopy of paths at the boundary

Denote by $\Gamma$ a hypersurface in $\mathbb{C}^2$, i.e. the zero locus of a polynomial of two complex variables. Denote by $X$ the complement of $\Gamma$ in $\mathbb{C}^2$. I am trying to define a ...
9
votes
1answer
381 views

DGLA controlling deformation of holomorphic curves

Suppose $C$ is a compact Riemann surface and $X$ is a compact Kähler manifold. Suppose $f:C\to X$ is a stable holomorphic map. Then, the deformations of $f$ are controlled by the complex $L^\bullet = ...
3
votes
1answer
197 views

Proper modifications of $\mathbb{C}^{n}$

Let $f:X\to Y$ be a proper surjective holomorphic map between two $n$-dimensional connected complex manifolds $X$ and $Y$. $X$ is called a proper modification of $Y$ if there are nowhere dense compact ...
1
vote
2answers
155 views

Can we extend a logarithmic form to some appropriate compactification?

Given some simple normal crossings divisor $D$ on a complex manifold $X$, which is not assumed to be compact. Given a form $\omega\in H^0(X,\Omega_X^1(\log D))$, when is it possible to find a ...
4
votes
1answer
219 views

Complex Structure on Manifold of Maps

Suppose $M$ is a compact smooth manifold and $V$ is a compact complex manifold. I want to show that the spaces $C^{k,\alpha}(M,V)$ and $W^{k,p}(M,V)$ (the latter for $kp>\dim M$) are complex ...
5
votes
2answers
272 views

Complex Analytic Structure on Moduli Space of Stable Maps

Suppose $(X,\omega,J)$ is a compact Kähler manifold, and $\beta\in H_2(X,\mathbb Z)$ is given. Then, we can form the space $\overline{\mathcal M}:=\overline{\mathcal M}_{0,0}(X,\beta)$ of stable maps $...
2
votes
0answers
67 views

Deformation theory of holomorphic vector bundles in Donaldson-Kronheimer

There is the Proposition 6.4.3 in Donaldson-Kronheimer as follows: Proposition (6.4.3) (i) There is a holomorphic map $\psi$ from a neighborhood of $0$ in $H^1(\operatorname{End} \mathscr{E})...
2
votes
1answer
126 views

Does the holomorphic curvature determine the connection?

Let $M$ be a simply connected complex manifold (of dimension greater than one), $L$ a line bundle, and $\nabla$ a connection on $L$ with possibly singularities along a divisor $D$. We define the ...
2
votes
1answer
193 views

non-existence of global coordinates

Assume we have a smooth manifold, $M$, of dimension $n$. (An example of interest is the case when $M$ is a compact and orientable Riemann surface of genus $g$, but the question is intended to be broad....
3
votes
1answer
267 views

Chow theorem in $\mathbb{C}^2$

I have the following question the answer to which I cannot find in the literature (but it must have been studied): Suppose that $M\subset\mathbb{C}^2$ is a real surface which may locally be written ...
0
votes
0answers
48 views

Differential operator of globally unbounded order on connected complex manifold?

Let $X$ be a connected complex manifold. Consider the module $\mathcal{D}_X$. I recall hearing somewhere that one has to be careful with regards to differential operators that are not globally of ...
2
votes
0answers
89 views

Universal cover of ladderly puntured complex plane

The twice punctured complex plane $\mathbb{C}-\{0,1\}$ has as its universal cover the upper half plane via elliptic modular function. I am looking for the constructions of the covering map from the ...
4
votes
0answers
316 views

Is Serre duality related to Pontryagin duality?

I am wondering if there is some relationship between Serre duality and Pontryagin duality for compact complex manifolds. In this case Serre duality reduces to the commutativity of Hodge-star operator ...
3
votes
0answers
39 views

Is singular Cauchy operator bounded in Morrey spaces?

The singular Cauchy operator is defined by $$S_\Gamma :f \to \int_\Gamma \frac{f(\xi)}{\xi-z} d\xi , z\in \Gamma.$$ Is this operator bounded in Morrey spaces and weighted Morrey spaces? i.e. is there ...
6
votes
0answers
102 views

Can the base of an elliptically fibered Calabi-Yau threefold be an Enriques surface?

For this question, a Calabi-Yau manifold or variety of dimension $n$ is defined as a non-singular projective variety with trivial canonical bundle and $h^{i,0} = 0$ unless $i = 0$ or $i = n$. If ...
6
votes
0answers
87 views

Good reduction of abelian varieties over valuation rings via coverings

Let $\mathcal{O}_K$ be a valuation ring with fraction field $K$, and let $A$ be an abelian variety over $K$. Suppose that there is a smooth proper scheme $\mathcal{X}$ over $\mathcal{O}_K$ whose ...
9
votes
2answers
348 views

Do abelian varieties have Neron models over arbitrary valuation rings?

Let $\mathcal{O}_K$ be a valuation ring with fraction field $K$. Let $A$ be an abelian variety over $K$. Does $A$ have a Neron model? If $\mathcal{O}_K$ is a discrete valuation ring, then this is ...
8
votes
1answer
288 views

Explicit descriptions of a flop

I want to know how to describe explicitly the flop of the following flop contraction. Because the construction is so natural and simple, I was wondering such descriptions should already exist in the ...
0
votes
0answers
68 views

What is the unitary $1$-parameter group generated by a vector field on a manifold?

If $M$ is a (compact, Riemannian) manifold, and one complexifies its tangent bundle, is it possible to give a meaning to the "unitary group"-like expression $t \mapsto \exp (\mathrm i t X)$ when $X$ ...
1
vote
1answer
92 views

Chain rotation of a point

Let $n$ be a positive integer number and $P$ be a point in a plane. Let $A_1$, $A_2$, $\cdots$, $A_m$ be $m$ points in the plane, we take modulo $m$ for $A_j$ (it is mean $A_{m+i}=A_{i}$ for $i=1, 2, \...
3
votes
1answer
186 views

Formal complex manifold without dd^c

Is there an example of compact complex manifold, which is formal, but does not admit complex structure satisfying $dd^c$-lemma?
4
votes
0answers
188 views

What is the Jarlskog invariant, conceptually?

Let $U$ be a $3\times 3$ unitary matrix, and call $(u_{ij})$ its coefficients. For $i,j,k,\ell$ in $\{1,2,3\}$ with $i\neq j$ and $k\neq\ell$, consider the quantity: $$J_{ij,k\ell} := \operatorname{...
7
votes
4answers
265 views

Lattices of PU(n,1) with large abelianization

I am interested in properly discontinuous cocompact subgroups of the group $PU(n,1)$ of automorphisms of the complex hyperbolic space $H^n_{\mathbb{C}}$, says for $n=2,3$. Is there such a lattice $G$ ...
5
votes
1answer
242 views

Is a smooth intersection of hypersurfaces equidimensional?

Let $X$ be a smooth projective complex algebraic variety. Let $V_i$, for $i=1,\dots, n$, be a collection of (smooth) connected hypersurfaces such that, for all $I\subseteq [n]$, the intersection $\...
2
votes
1answer
156 views

Why are modular curves non-trivial covers of the $j$-line

This is a very soft question. Let $n\geq 1$ and let $Y(n)$ be the (open) modular curve associated to $\Gamma(n)\subset SL_2(\mathbb{Z})$. Interpreted correctly, $Y(n)\to Y(d)$ is finite etale, ...
7
votes
1answer
279 views

How does one complexify a real $n$-dimensional Riemannian manifold $(M,g)$?

If $V$ is a real vector space, then the complexification of $V$ is formally defined as $V^{\mathbb{C}}=V\otimes_{\mathbb{R}}\mathbb{C}$. Is there an analogous complexification operation for a real $n$-...
5
votes
1answer
245 views

Fulton's deformation to the normal cone vs Verdier's

Let $X$ be a smooth variety over a field $k$, and let $Y$ be a smooth subvariety. In the literature, I've seen two versions of the deformation to the normal cone: Verdier's version: $\tilde{X}_Y^\...
6
votes
2answers
257 views

Harder Narasimhan filtration for the endomorphism bundle

Let $E$ be a vector bundle over a compact Riemann surface $X$, and let $$0=E_0\subsetneq E_1\subsetneq \ldots \subsetneq E_n=E$$ be its Harder-Narasimhan filtration: we have $V_i:=E_i/E_{i-1}$ ...
0
votes
1answer
142 views

Do line bundles with enough sections on surfaces have generic divisors which are irreducible?

Let $L$ be a line bundle on a smooth connected complete complex algebraic surface $X$. Assume that $L$ has enough sections i.e. that $H^0(L,X)$ has dimension $> 1$. A nonzero section $s$ of $L$ ...
3
votes
0answers
139 views

Algebrizing analytic quotients of algebraic spaces

Suppose that $Y$ is an algebraic space over $\mathbb{C}$ which is "nice" (say, separated and of finite type). Let $R\subset Y\times Y$ be a closed algebraic subspace which forms a categorical ...
0
votes
1answer
203 views

Exponential Sequence of Sheaves

Let $(X, \mathcal{O}_X)$ be a complex analytic space in the sense of Grauert, i.e., a $\mathbb{C}$-analytic ringed space which is locally isomorphic to a local model. We may assume that $X$ is a ...
5
votes
0answers
176 views

Asphericity of hypersurface complement in ${\mathbb C}^n$

How does one check that the following space is aspherical? $X_n=\{(x_1,x_2,\ldots , x_n)\in {(\mathbb C^*)}^n\ |\ x_i\neq x_j\ and\ x_ix_j\neq 1\ for\ i\neq j\}$. One way I can think of is to give ...
2
votes
0answers
109 views

Kähler manifold with a global potential

If $(X^{n},\omega)$ is a complete Kähler manifold with a global potential, i.e. $\omega=i\partial\bar{\partial}f$. There are many articles study the $L^{2}$-cohomology of $X$ under some conditions on $...
1
vote
0answers
134 views

The comparison of certain modules arising from the Cauchy-Riemann differential operator

Let $\Gamma=C^{\infty}(\mathbb{R}^2)$ be the space of all smooth complex valued functions on the plane. We define the following Cauchy Riemann differential operator $D$ on $\Gamma$: $$D:\Gamma \...
2
votes
1answer
191 views

Admissible global residues on smooth variety with normal crossings divisor

Let $X$ be a smooth projective complex variety, and $D=\cup_{j=1}^m D_j$ a simple normal crossings divisor on $X$. Then we have an exact sequence $$0\to \Omega_X^1\to \Omega_X^1(\log D)\to \oplus_{j=1}...
2
votes
1answer
154 views

Movable divisor with base locus on a hyperkahler variety

I'm looking for an example of the following: $X$ is a hyperkahler fourfold (deformation equivalent to $K3^{[2]}$); $D$ is a movable divisor on $X$ with $D^4=0$; and the base locus of $D$ is a ...
5
votes
0answers
455 views

a question on Hodge and Atiyah's paper “integrals of the second kind on an algebraic variety”

I have a question on Hodge and Atiyah's paper "Integrals of the second kind on an algebraic variety". It is about the exact sequence below formula (14) and above formula (15) on page 71: $$H_{2n-q}(S)...
1
vote
0answers
65 views

Numerical equivalent positive non-degenerate divisor induced projective embedding involves Veronese map?

This is a part of material I do not understand from "Analytic Theory of Abelian Varieties" by Swinnerton-Dyer. Let $A=\mathbb{C}^n/\Lambda$ be an abelian variety with positive-definite Hermitian form ...
5
votes
0answers
141 views

Dimension of linear complex-symplectic reduction

Let $(V,\omega)$ be a finite-dimensional complex-symplectic vector space and $G$ be a complex reductive group acting linearly on $V$ by preserving $\omega$. Then, there is a moment map $$\mu:V\to\...
12
votes
2answers
777 views

Algebraic vs analytic normality

Let $X$ be a complex algebraic variety. We can ask if $X$ is normal as an algebraic variety, but also, if its analytification is normal as a complex analytic space. Is there a relationship between the ...