# Tagged Questions

**0**

votes

**1**answer

100 views

### Hilbert scheme of a closed subscheme

Let $X$ be a complex algebraic variety. Its Hilbert scheme represents the functor $G$ from schemes to sets given by $$G(S)=\{Z\subset X\times S|\, Z \mbox{ is a closed subscheme, flat and proper over ...

**1**

vote

**1**answer

109 views

### Hilbert scheme of an infinitesimal neighborhood of a subvariety

Let $X$ be a complex algebraic variety. Let $C\subset X$ be a compact (reduced) subvariety. Let $C^{(n)}$ denote the $n$th infinitesimal neighborhood of $C$ inside $X$. Let $Hilb(X)$ denote the ...

**2**

votes

**2**answers

241 views

### Basic questions on the Hilbert scheme/ Douady space

Let $X$ be a complex projective scheme (resp. complex analytic space). The Hilbert scheme (resp. Douady space) parameterizes closed subschemes (resp. complex analytic subspaces) of $X$. More ...

**3**

votes

**1**answer

136 views

### Flat family with special fiber $\mathbb{C}\mathbb{P}^1$

Let $C=Spec \mathbb{C}[t]/(t^{n+1})$. Let $X$ be an algebraic (or complex analytic) scheme, flat over $C$ with the structure morphism $f\colon X\to C$. Assume that the special fiber is isomorphic to ...

**1**

vote

**1**answer

280 views

### When flatness of a morphism implies smoothness?

EDIT: Let $f\colon X\to C$ be a flat proper morphism of complex algebraic (or analytic) varieties. Assume the special fiber over a point $p\in C$ is smooth.
Is it true that there exists a ...

**0**

votes

**0**answers

67 views

### A question related to the Grauert semi-continuity theorem

Let $f\colon X\to Y$ be a proper holomorphic map of complex analytic manifolds. Assume $f$ to be submersive for simplicity, but probably it is not important. Let $\mathcal{F}$ be a coherent sheaf on ...

**1**

vote

**1**answer

217 views

### A generalization of the Grauert direct image theorem

EDIT: Let $f\colon X\to Y$ be proper holomorphic submersive map of complex analytic manifolds. Let $\mathcal{F}$ be the sheaf of holomorphic sections of a holomorphic vector bundle over $X$. Assume ...

**5**

votes

**1**answer

478 views

### Kodaira-Spencer theory of deformation done right

I thought in asking this question on Math StackExchange, but by my experience I don' t think anyone will notice me. Recently, I started studying deformation of complex manifolds in the sense of ...

**2**

votes

**1**answer

295 views

### Definition of a complex space

In the definition of a complex space (in the sense of Grauert), one defines a model space (one to which we require a complex space to be locally isomorphic) to be the support of the quotient sheaf ...

**0**

votes

**1**answer

152 views

### Do versions of the Nakai-Moishezon and Kleiman criteria hold for Moishezon manifolds, or other 'nice' spaces?

As I understand it, the Nakai-Moishezon criterion gives conditions for the existence of an ample divisor class on an arbitrary proper scheme, and Kleiman's criterion does the same for arbitrary ...

**4**

votes

**2**answers

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

**1**answer

300 views

### Stokes theorem for Grassmanians

This question is extensively rewritten by David Speyer; the original version is below.
The Grassmannian $G(k,n)$ is the quotient $SU(n)/S[U(k) \times U(n-k)]$. Let's write $\pi$ for the map $SU(n) ...

**4**

votes

**2**answers

261 views

### Cohomology of submanifold complements

Let $X$ be a finite-dimensional complex manifold (possibly non-compact). Let $\mathcal{H}$ be a union of codimension-$1$ submanifolds such that the local picture is that of intersecting hyperplanes. I ...

**5**

votes

**1**answer

465 views

### Kodaira Spencer map and versal deformation

First I want to clarify what I mean by the Kodaira-Spencer map.
Let's have a family of deformations $\pi:\mathcal{X}\rightarrow B$ of a complex manifold $X=\mathcal{X}_0:=f^{-1}(0)$ (by that I mean ...

**0**

votes

**0**answers

65 views

### Another fibration with a given singular fiber class.

Let $f:X\rightarrow C$ be a fibration of complex manifold over a smooth curve $C$. Let $D$ be an irreducible component of singular fibers. How can one prove that $X$ does not admit any fibration with ...

**1**

vote

**1**answer

303 views

### Toroidal embedding

Its known ( see " The birational geometry of degenerations") that there exist a smooth one parameter family (i.e. total space is smooth) of two dimensional complex toris over unit disk whose central ...

**9**

votes

**1**answer

320 views

### Betti numbers of Proper nonprojective varieties

This is a question about pathologies.
Let $X/\mathbb{C}$ be an irreducible projective variety smooth over $\mathbb{C}$. Then, the singular cohomology groups $H^i(X, \mathbb{C})$ have a hodge ...

**5**

votes

**3**answers

436 views

### Two questions on complex geometry

I have two questions on complex geometry.
First one is that why the existence of almost complex structure on tangent bundle on real 2n-dimensional manifold is a topological question?
Wikipedia ...

**1**

vote

**0**answers

80 views

### ${\bar{\partial}}$-geometrically formal ?

A compact Riemannian manifold is called geometrically formal if the wedge product of two $d$-harmonic forms is $d$-harmonic. Are there any known results for when a non-Kahler compact complex ...

**10**

votes

**6**answers

584 views

### When does $Aut(X)=Bir(X)$ hold?

Let $X$ be a projective complex manifold. Under what condition do we have the equality $Aut(X)=Bir(X)$? Here $Aut(X)$ denotes the group of holomorphic automorphisms of $X$ and $Bir(X)$ the group of ...

**8**

votes

**3**answers

816 views

### Primitive Cohomology Useful?

In her book, after proving the hodge decomposition, Voisin spends time discussing primitive cohomology $H^r(X, \mathbb{C})_{prim} = \ker L^{n-r+1} \subset H^r(X, \mathbb{C})$ (where $L$ is the ...

**0**

votes

**0**answers

80 views

### Divisors, factorisations of matrix valued functions, and the Lorentz group

How to construct a complex projective variety with several classes of non-intersecting divisors? How to keep the answer concrete and simple, so that explicit calculations can be done? And the problem ...

**8**

votes

**2**answers

728 views

### Torsion in cohomology of smooth manifolds

I've been interested in the possible (singular) cohomology groups of complex projective algebraic varieties, and there are lots of theorems that give various restrictions on these (Hodge ...

**2**

votes

**0**answers

160 views

### Basis for hodge decomposition of Elliptic K3 Surfaces

We know the hodge numbers of K3 Surfaces. To work out some ideas, I'd like to know an explicit basis for the hodge decomposition $H^{p,q}$ of a smooth Elliptic K3 Surface over $\mathbb{C}$ (for all ...

**14**

votes

**0**answers

606 views

### Horrible sets and blowups in Hubbard's Teichmuller theory

Edit: I can rephrase this question this way: When blowing up every point in the $x$-axis in $\mathbb{C}^2$ by means of an inverse limit of finite blowups, how can anything be 'left over'? The horrible ...

**5**

votes

**1**answer

985 views

### Self-intersection and the normal bundle

Let $X/k$ be a surface nonsingular and proper over an algebraically closed field $k$. Let $C \subset X$ be a nonsingular curve. Then it is clear that the self-intersection $(C \cdot C)_X$ is ...

**3**

votes

**2**answers

626 views

### Tangent bundle and normal bundle in self-product

$\newcommand{\I}{\mathcal{I}}$ Let $X$ a variety smooth over the complex numbers. Then we know that $\Omega_{X/\mathbb{C}}$ is the (usual) pullback of the conormal sheaf $\I/\I^2$ where $\I$ the sheaf ...

**3**

votes

**1**answer

393 views

### Are complex varieties Kahler? - Algebraic, non-projective complex manifolds

Let $X/\mathbb{C}$ a nonsingular proper variety and $X_{an}$ it's associated analytic space. Is $X_{an}$ necessarily Kahler? Certainly we know this if $X$ is projective.
A complex torus is algebraic ...

**1**

vote

**1**answer

232 views

### Inclusion of logarithmic de-Rham complex into differentials

Let $X$ be a complex manifold and $D$ a normal crossing divisor. Let $U = X - D$ and $j: U \rightarrow X$ the natural map. Voisen observes that there is a natural inclusion $$\Omega^k_X(\log D) ...

**2**

votes

**1**answer

242 views

### On the jacobian origin of CM abelian varieties

Let $K$ be a CM field of degree $2n$ over $\mathbf{Q}$ and let $\mathcal{O}_K$ be its ring of integers. Let $\Phi=(\phi_1,\ldots,\phi_n)$ be a CM type of K. Then it is known that complex torus ...

**16**

votes

**2**answers

579 views

### Moishezon manifolds with vanishing first Chern class

Suppose $M$ is a Moishezon manifold with $c_1(M)=0$ in $H^2(M,\mathbb{R})$. Does it follow that $K_M$ is torsion in $\mathrm{Pic}(M)$?
This is true whenever $M$ is Kähler (and therefore ...

**15**

votes

**1**answer

1k views

### Almost Complex Structure approach to Deformation of Compact Complex Manifolds

I don't know much about the deformation of compact complex manifolds, I've only read chapter 6 of Huybrechts' book Complex Geometry: An Introduction. There are two parts to this chapter. The second ...

**1**

vote

**2**answers

688 views

### On the algberaicity of the universal elliptic curve associated to a torsion free subgroup

So let $\Gamma\subseteq SL_2(\mathbf{Z})$ be a finite index subgroup (not necessarily a congruence subgroup). Recall that we have an action of $SL_2(\mathbf{R})$ on
...

**1**

vote

**1**answer

385 views

### How to study the nonregular part of a finite branched holomorphic covering?

A finite branched holomorphic covering is a holomorphic map $f : V \to W$
between holomorphic varieties $V$ and $W$ such that
$f$ is a finite branched covering (in the topological sense)
There is a ...

**2**

votes

**1**answer

367 views

### Are Lefschetz thimbles holomorphic manifolds?

I have a Lefschetz thimble defined by the stable flow of the gradient a holomorphic function
toward a critical point (as defined e.g. in Witten arXiv:1001.2933 and F.Pham "Vanishing homologies and the ...

**26**

votes

**2**answers

854 views

### Can the holomorphic image of $(\mathbb{C}^*)^n$ be open but not dense

Let $M$ be a compact complex connected [but not necessarily kähler] $n$-manifold, and suppose we have a holomorphic map $$(\mathbb{C}^*)^n \to M$$ such that the image is open. Is the image ...

**3**

votes

**1**answer

712 views

### Algebraic De Rham cup product versus Betti cup product

Let $X$ be a smooth projective variety over $\mathbf{C}$ of complex dimension $2n$. Let
$C_1,C_2\subseteq X$ be two closed subvarieties of complex dimension $n$.
Then we get two Betti homology ...

**1**

vote

**2**answers

202 views

### Analytic isomorphisms above two etale maps

Le $X_1$, $X_2$ and $Z$ be smooth quasi-projective connected varieties defined over $\mathbf{C}$. Let $p_1:X_1\rightarrow Z$ and $p_2:X_2\rightarrow Z$ be finite etale maps. Assume that ...

**18**

votes

**2**answers

1k views

### Non-compact complex surfaces which are not Kähler

Not every complex manifold is a Kähler manifold (i.e. a manifold which can be equipped with a Kähler metric). All Riemann surfaces are Kähler, but in dimension two and above, at least for compact ...

**7**

votes

**2**answers

322 views

### Non-bimeromorphic compactifications

Let $X$ be a (smooth, non-compact) complex space. By a compactification of $X$ we mean a compact complex space $\overline X$ which contains a dense open subset biholomorphic to $X$ (we shall identify ...

**7**

votes

**1**answer

590 views

### Geometric interpretation of Simpson's correspondence

What is the exact geometric meaning of the Simpson's correspondence between Higgs bundles and local systems ? I know that it should have a rich geometric content but don't know an explicit geometric ...

**5**

votes

**1**answer

523 views

### On sufficient conditions on an analytic map to be algebraic(=regular)

Let $X$ and $Y$ be smooth quasi-projective varieties defined over $\mathbf{C}$ and let
$$
f:X(\mathbf{C})\rightarrow Y(\mathbf{C})
$$
be a holomorphic map (not necessarily regular=algebraic). Then it ...

**4**

votes

**1**answer

275 views

### Rosenlicht theorem about uniruledeness and zeroes of holomorphic vector field on complex projective manifold

I heard that there is a theorem due to Rosenlicht which says the following:
Theorem. Let $X$ be a complex projective manifold and $V$ a non-trivial holomorphic vector field on $X$. Then $X$ is ...

**1**

vote

**1**answer

416 views

### Almost Complex Integrability and Algebraic Varieties

Let $J$ be an almost complex structure on an algebraic variety $V$. As we all know, $J$ comes from a complex structure if the Nijenhuis tensor of $J$ vanishes. What I would like to know is if there ...

**3**

votes

**0**answers

439 views

### What is the nature of the zero locus of a section of a coherent sheaf?

Suppose that $X$ is a reduced rigid space and $\scr{F}$ is a coherent sheaf on $X$. For a section $f\in {\scr F}(X)$, the zero locus of $f$ is the set of points $x\in X$ at which $f$ vanishes in the ...

**3**

votes

**2**answers

517 views

### Torsion in the Betti cohomology of complex surfaces

Q1. So what is the "simplest example" of a compact complex manifold of dimenension $2$, say $X$, for which $H_B^2(X,\mathbb{Z})$ has non-trivial torsion.
Q2. How do we think about these torsion ...

**5**

votes

**2**answers

495 views

### On the fundamental group of hypersurfaces

Let $H$ be a smooth projective hypersurface in $\mathbb{P}^n(\mathbb{C})$ where $n\geq 3$. Then by the Lefschetz hyperplane theorem we have that $H^1(H,\mathbb{C})=
...

**6**

votes

**2**answers

868 views

### Finite unramified analytic coverings vs finite etale coverings

Let $X$ be a smooth quasi-projective variety (so irreducible) over $\mathbf{C}$. We may think of $X$ as a complex manifold which we denote by $X^{an}$. Of course the topology on $X^{an}$ is finer ...

**22**

votes

**3**answers

2k views

### Topologically distinct Calabi-Yau threefolds

In dimensions 1 and 2 there is only one, respectively 2, compact Kaehler manifolds with zero first Chern class, up to diffeomorphism. However, it is an open problem whether or not the number of ...