The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
0answers
127 views

Coherence of $\mathcal O_X[T]$

Let $X$ a complex manifold, and $\mathcal O_X$ the sheaf of holomorphic functions. Oka Coherence Theorem states that $\mathcal O_X$ is coherent (as $\mathcal O_X$-module). How to prove that also the ...
7
votes
1answer
168 views

A question on the twistor space of a manifold

Let $M$ be either (a) self-dual conformal 4-manifold, or (b) hypercomplex $4n$-manifold. In either case one can construct the twistor space $Z$ (in the case (b) $Z=\mathbb{C}\mathbb{P}^1\times M$ as a ...
2
votes
1answer
120 views

Flatness of a morphism of complex analytic spaces

Let $f\colon X\to D$ be a morphism of a complex analytic space $X$ into the 1-dimensional disk $D$. Assume for simplicity that $X$ has a single irreducible component which may not be reduced. ...
3
votes
1answer
147 views

A weak analytic version of the valuative criterion of properness

EDIT: Let $f\colon X\to Y$ be a morphism of complex analytic spaces (not necessarily smooth or reduced). Assume that (a) $f$ is injective on points; (b) $f$ is local imbedding near each point $x\in ...
1
vote
1answer
116 views

Relation between Milnor fiber and its restriction via vanishing cycles

I am reading these notes on nearby and vanishing cycles, where an initial assumption is made: the author talks about a complex analytic function $f:X\to \mathbb C$, assuming $X$ is closed in an open ...
0
votes
0answers
93 views

Ricci flow on non-compact manifold

Suppose $\omega$ defines a Kähler metric on a non-compact complex manifold. Does the Kähler-Ricci flow equation always have a solution (for small $t$)?
3
votes
0answers
107 views

Toroidal compactifications

Does anyone know if there is an intrinsic definition of a toroidal compactification (over $\mathbb{C}$)? Something like: Let $X$ be an algebraic variety over $\mathbb{C}$. Then $X \subset \bar{X}$ ...
0
votes
1answer
203 views

Moment map coordinates in tours action

I am trying to understand the proof of lemma 3.1, in this paper In proof, they say that $g(dz_i,d\tau_k)=dz_i(\nabla\tau_k)=0$ I don't understand first and second equality.In second they say, ...
0
votes
1answer
143 views

When a proper morphism of schemes is a closed imbedding?

Let $X$ and $Y$ be finitely presented schemes over $\mathbb{C}$. Let $f\colon X\to Y$ be a proper morphism. Let us assume that for any finitely presented scheme $S$ the induced map $$Mor_{Sch}(S,X)\to ...
3
votes
1answer
106 views

Connection between Strebel differentials, ribbon graphs, and Belyi maps

In this paper, a nice story is woven regarding the connection between quadratic differentials on Riemann surfaces, so-called 'ribbon graphs' drawn on those surfaces, and Belyi maps. However, I am ...
8
votes
1answer
223 views

Different notions of convergence of complex subvarieties

Let $X$ be a smooth complex algebraic variety (or, better, complex analytic manifold). Let $\{C_i\}$ be a sequence of compact algebraic subvarieties (resp. analytic reduced subspaces) which converges ...
1
vote
0answers
115 views

Exactness of the relative de Rham complex restricted to subschemes

I think that the statement below about relative de Rham complex is true (am I wrong?) If it is the case, a reference would be very helpful. (I admit that the statement sounds somewhat technical and ...
0
votes
1answer
126 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
1answer
130 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
2answers
277 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
1answer
151 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
1answer
293 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
0answers
88 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
1answer
246 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 ...
6
votes
1answer
567 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 ...
4
votes
2answers
598 views

Why Cech cohomology does not compute sheaf cohomology on an open annulus

Let $A=\{z\in\mathbf{C}:1/2<|z|<1\}$ be an open annulus. Let us cover $A$ by 3 open sets: $U_0,U_1$ and $U_2$ which we assume to be all homeomorphic to a 2 dimensional open disc. Moreover, we ...
2
votes
1answer
138 views

What are the known examples of compact complex $n$-folds that do not have a strongly Gauduchon metric for $n >2$?

Gauduchon showed that every conformal hermitian structure on a compact complex $n$-fold contains an hermitian metric such that the associated 1,1-form $\omega$ satisfies $\partial ...
4
votes
0answers
240 views

Hirzebruch's ICM talk

Is there an English translation of Hirzebruch's 1958 ICM lecture note: KOMPLEXE MANNIGFALTIGKEITEN Thank you very much!
0
votes
0answers
57 views

Complex analytic set in infinite dimension

Let $E$ and $F$ be (infinite dimensional) complex Banach spaces and $f : E \rightarrow F$ a holomorphic map. Set $M = f^{-1}(\{0\})$. I have found the following results in the literature : 1) if no ...
2
votes
1answer
317 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 ...
2
votes
3answers
285 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
119 views

Existence of a map between automorphism group of universal covers

Let $f:X\to Y$ be a holomorphic map of holomorphic manifolds. You can assume that $dimY=1$. Let $\tilde X$ and $\tilde Y$ be universal covers of $X$ and $Y$ with group of holomorphic automorphisms ...
2
votes
1answer
128 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 ...
0
votes
1answer
199 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
2answers
414 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 ...
10
votes
3answers
504 views

Foliations by holomorphic curves on complex surfaces

On a complex surface, does there exist a non-singular foliation by holomorphic curves that is NOT a holomorphic foliation, i.e. transversally holomorphic foliation? The surface should be compact and ...
1
vote
1answer
306 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
2answers
263 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
1answer
582 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 ...
2
votes
0answers
236 views

Least area minimal hypersurface of $\mathbb C P^{n+1}$

After a few lectures on min-max for minimal hypersurfaces and isoperimetric problems, and seeing in several instances that the least area minimal hypersurface of the round sphere is an equator, I was ...
2
votes
1answer
141 views

Holomorphic separation and the existence of strictly plurisubharmonic functions

Recall that a complex manifold is Stein if it is holomorphically convex and separable. If we assume holomorphically convex alone, then there is Cartan-Remmert reduction to say how far it is from being ...
2
votes
0answers
151 views

complex Morse function on a four-manifold

If we have a complex Morse function on a complex four-manifold, $f: X\to \mathbb{C} $, can we tell from the function how the genus of inverse images $f^{-1}(z)$ (for regular values) may change? under ...
0
votes
1answer
180 views

Holomorphic objects associated with a compact complex manifold?

Good morning, I'm just curious about the following. With a compact Kahler manifold, we can associate an Albanese torus. This helps us a lot study the manifold. My question: Are there other ...
0
votes
0answers
69 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
1answer
375 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 ...
2
votes
2answers
489 views

On a Hirzebruch surface.

I am trying to solve exercise in Huybrechts's book 'Complex geometry' While solving problems, one problem kept me from going forward. That is, The surface $\Sigma_n=\mathbb{P}$ $(\mathcal{O}_ ...
9
votes
1answer
352 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
3answers
449 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 ...
2
votes
2answers
439 views

When a Riemannian manifold is of Hessian Typ

When a Riemannian manifold is of Hessian Type (i.e., a Riemannian manifold which its metric is Hessian)
9
votes
1answer
308 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
6answers
615 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
1answer
413 views

necessary and sufficient condition for existence of $SU(3)$-structure on 6-manifolds

Is there any necessary and sufficient condition for existence of $SU(3)$-structure on 6-manifolds $M$?
9
votes
3answers
920 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
0answers
85 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
2answers
897 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 ...