Complex geometry is the study of complex manifolds and complex algebraic varieties. It is a part of both differential geometry and algebraic geometry.

learn more… | top users | synonyms

1
vote
2answers
26 views

A question on certain elliptic PDE

Consider the elliptic PDE "CR" $$\begin{cases} U_{xx}=V_{yy}\\U_{yy}=-V_{xx} \end{cases}$$ And its consequence "LAP" $$U_{xxxx}+U_{yyyy}=0$$. Somehow, these equations are similar to the Cauchi ...
0
votes
0answers
77 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 ...
1
vote
0answers
67 views

DEF vs DIFF for projective bundles over $\mathbb{P}^3$

In this MO-question I asked about deformations of vector bundles, and from the answer given by Mohan it appears that there are several deformation classes of rank two bundles with trivial Chern ...
0
votes
0answers
7 views

Minimum height of convex area, with minimum area dependant on number of fixed length sides [migrated]

I've come across a problem while coding that can be solved simply, to an adequate standard, but I'm sure has a very interesting perfect solution. The problem is as follows: Given N lines of ...
0
votes
1answer
69 views

Can we always solve this equation in the space of Hermitian structures on a complex vector bundle?

Let $E,F$ and $G$ be three complex $C^{\infty}$-vector bundles of rank $r,s$ and $rs$. (I am using the notation from Kobayashi - Differential geometry of complex vector bundles, VI §2) Assume we ...
1
vote
1answer
60 views

holomorphic vector fields on CP^2 blow ups

On $X=CP^2\#k{(-CP^2)}$ in $k$ generic points, Let $h^i=dim H^i(T^{1,0}X)$, for $i\ge 0$. First we know $h^i=0$ for $i\ge 2$. By Riemann-Roch formula, I obtain that $h^0-h^1=8-2k$. Would some one be ...
0
votes
0answers
146 views

Hermitian metric on $f_*(\Omega_{X/X_{can}}^{n-k})$

Let $X$ be an n- dimensional algebraic manifold . Suppose that its canonical line bundle $K_X$ is semi-positive and $0<k=Kod(X)<n $ . Let $f: X\to X_{can}\subset \mathbb CP^N$ Here $X_{can}$ ...
0
votes
1answer
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
1answer
209 views

Deformations of holomorphic/algebraic vector bundles over $\mathbb{P}^3$

I would like to know what can be said about (global) deformations of holomorphic/algebraic rank two vector bundles on $\mathbb{P}^3$. I am particularly interested in the case of topologically trivial ...
1
vote
1answer
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 ...
0
votes
0answers
55 views

Characterization of certain analytic vector fields on $S^{2}$

Let $X$ be a real analytic vector field on $S^{2}$ which satisfies: $X$ has a finite number of singularities on $S^{2}$ The equator is invariant under flow of $X$ 3.$g_{*}X=X\; ...
1
vote
1answer
141 views

Does the “Ohsawa-Takegoshi theorem without bounds” have a name?

There are many theorems which now could be called "The Ohsawa-Takegoshi" theorem. Of these, the most basic is roughly the following: Let $\Omega \subset \subset \mathbb{C}^n$ be a psuedoconvex ...
3
votes
0answers
143 views

Uniruled degenerations of abelian varieties

Suppose I have a smooth projective variety $X$ over $\mathbb{C}$ with $K_X$ semiample, and consider the fiber space $f:X\to Y$ given by $|\ell K_X|$, for some $\ell>0$ large, where $Y$ is a normal ...
2
votes
2answers
297 views

All Kähler metrics on a complex manifold?

Let $M$ be a complex manifold of complex dimension 2. What do we know about the set all Kähler metrics on $M$ in general and in the case of 4-torus $C^2/Z^4$? For the case of surfaces ($dim_C=1$), ...
0
votes
0answers
61 views

Determinant of an action and characters

In the paper of Ramanathan "Stable Principal Bundles on a Compact Riemann Surface", I read: ...where $\mu$ is the determinant of the (adjoint) action of $P$ on ...
0
votes
0answers
90 views

The type of a Riemann surface arising from a polynomial vector field

Consider the planar polynomial vector field $$\begin{cases} \dot x=P(x,y)\\ \dot y=Q(x,y)\end{cases}$$ It defines a singular foliation on $\mathbb{C}P^{2}$. Assume that a complex leaf contains ...
4
votes
1answer
156 views

Explicit formula for the Poincare dual of a CM endomorphism of an elliptic curve

Let $E/\mathbf{C}$ be an elliptic curve with CM by the maximal order $\mathcal{O}_K$ of $K=\mathbf{Q}(\sqrt{-D})$ where $D$ is positive and square-free integer. To make it even more precise, let us ...
2
votes
1answer
88 views

Deformation of Canonical singularities

Let $p: X \rightarrow T$ be a flat family of normal projective varieties over a variety $T$. Assume that $X_{t_{0}}=p^{-1}(t_{0})$, for a $t_{0}\in T$, has only canonical singularities of index $1$. ...
4
votes
1answer
135 views

Examples of hyperelliptic curves with hyperelliptic quotients that have more automorphisms

Does there exist a hyperelliptic curve $X$ of genus $g\geq 2$ over the complex numbers such that $X$ has a hyperelliptic quotient $X\to Y$ (in the sense that $Y$ is hyperelliptic and the morphism ...
1
vote
0answers
42 views

extending to bimeromorphic maps

A meromorphic map of complex spaces (in the sense of Remmert) f:X→Y is a multivalued map such that its graph Γ is an analytic subset of X×Y and off some analytic subset Z⊂Γ, the projection on the ...
2
votes
0answers
106 views

Are open immersions in analytic geometry transverse?

lately I have been interested in functional analysis, especially with a view towards its applications in the world of (complex) analytic geometry. I have been using R. Taylor's book Several complex ...
2
votes
1answer
209 views

Reference request for instantons

I've been researching instantons lately and I'd like to learn more about them but would like some help finding what to read. I have read about the ADHM equations and their noncommutative analogues. ...
2
votes
2answers
213 views

Extending vector bundles from subvarieties

Let $X$ be a smooth projective variety and let $Y\subset X$ be a smooth subvariety. Given a vector bundle $E$ on $Y$, when can $E$ be extended to a vector bundle $\tilde E$ on $X$? I.e., are there ...
2
votes
2answers
109 views

Where can I find a translation of Caspar Wessel's “Om directionens analytiske betegning?”

I found a listing on Google books for a book containing the desired English translation, together with some biographical information on Wessel, and entitled On the Analytical Representation of ...
1
vote
0answers
74 views

Complex structure on the set of prequantization line bundles

For geometric quantization, the set of equivalence classes of prequantization line bundles of a quantizable symplectic manifold $(M, ω)$ is parametrized by $H^1(M, S^1)$ which represents the ...
-1
votes
1answer
82 views

Is there some lattice not rigid

I heard that in complex hyperbolic space setting for example CH2, there is some deformation of lattice nontrivial. What confused me is it seems contradicting Mostow Rigidity. Could someone explain ...
2
votes
0answers
98 views

If a compact real submanifold of $\mathbb{CP}^n$ is approximable by complex algebraic curves, is it algebraic?

To make this into a separate question: If the supports of a sequence of complex algebraic curves in $\mathbb{CP}^n$ (images of non-constant holomorphic maps from compact Riemann surfaces) converge to ...
1
vote
0answers
186 views

Complex structures on Riemann surfaces

This is cross posted from math.SE: http://math.stackexchange.com/q/876432/9 Let $M$ be a Riemann surface and $[\alpha] \in H^{0,1}(M; T^{1,0} M) \simeq (H^0(M;K^2))^*$. Considering $\alpha$ as a map ...
1
vote
0answers
86 views

A topological criterion for connectedness of a semi-ample divisor

I have a half page long proof of the following statement, and I would like to know if this is (a corollary of) a well known statement. Maybe there is a reference or a three lines proof? Statement. ...
0
votes
0answers
44 views

Embedding dimension: local finiteness & intuition for more general spaces

Can every complex analytic space be covered by Stein spaces of finite embedding dimension? I am almost sure that ought to be true. Here the definition of embedding dimension I have in mind is $$ ...
16
votes
2answers
656 views

History of the connection between Riemann surfaces and complex algebraic curves

As noted in the question "Links between Riemann surfaces and algebraic geometry", there are strong connections between Riemann surfaces and algebraic geometry - for example, compact Riemann surfaces ...
2
votes
0answers
131 views

Universal cover of elliptic curve without a point

This is something that I perhaps would be expected to know, but don't. Let $E_\tau$ be the elliptic curve ${\mathbb C}/({\mathbb Z +\mathbb Z} \tau)$. Consider the complement of a point in $E_\tau$, ...
16
votes
0answers
414 views

function field analogy and global/absolute geometry

The "function field analogy" seems to be a topic that is considerably bigger than any one existing writeup conveys. There are several old question on MO and and MathSE that ask for details. One of the ...
2
votes
2answers
243 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 ...
6
votes
1answer
321 views

Complex geometry text/research introduction for the analyst

To give some background, I am mainly an analyst trained in harmonic/functional and do work on geometric pde's and spectral multipliers. Of late, I am trying to learn more about (research level) ...
3
votes
1answer
212 views

Second betti number of compact analytic spaces

Let $V$ be a proper singular complex algebraic variety, possibly nonprojective ($dim(V)=n>0$). I would like to know: 1) if its second Betti number is non zero, 2) same question but now $V$ is a ...
2
votes
0answers
137 views

What is the relation between Beilinson's conjectures and Standard conjectures of algebraic cycles?

Do Standard conjectures on the K-theory of varieties over finite field have implications in the motivic cohomology of Z where exist the correct formalism of Beilinson's conjectures? What is the ...
2
votes
1answer
179 views

How does one show that slope stability of a vector bundle is an open condition with respect to the polarisation?

I would like a source for the following result, which I expect to be true (probably well known): Let $X$ be a complex projective variety, $L$ an ample line bundle and $E$ a slope stable vector bundle ...
0
votes
1answer
80 views

A semi-ampleness criterion for homogeneous bundles on homogeneous spaces?

Let $X$ be a (compact) homogeneous space and $V$ be a homogeneous vector bundle on $X$ of rank $n$, and such that $\operatorname{dim}X\ge n$. Suppose $V$ has a section $s$, whose zeros $s=0$ form a ...
3
votes
1answer
137 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 ...
3
votes
1answer
143 views

Holomorphic Foliations having transverse sections

In the introduction to the paper "On the Geometry of Holomorphic Flows and Foliations Having Transverse Sections" by Ito and Scardua, one reads the following "a holomorphic codimension one foliation ...
1
vote
1answer
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 ...
5
votes
0answers
65 views

Density of rational functions in open Stein

I repost here, after I tried here. Lately I have been wondering on this problem: if $U \subset \mathbb C^n$ is an open Stein and I denote by $\mathcal R(U)$ the set of rational functions on $\mathbb ...
0
votes
1answer
155 views

is grassmannian rational connected or not [closed]

I wan to know if Grassmannians are rational connected? Any reference describe how to tell if a variety is rational connected or not?
3
votes
1answer
126 views

Can someone tell me properties of Douady space?

I want to know the parallel properties of Douady space with respect to Hilbert scheme. For example I want to know what is the irreducible component of Douady space, what if I consider a family of ...
0
votes
0answers
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 ...
0
votes
0answers
35 views

quotient singularities and direct images of resolution map

We are working in the complex case, so over $\mathbb{C}$ : $W\rightarrow W_{1} \rightarrow Z \rightarrow Y$, map $g$ between $Y$ and $Z$ is a semistable family (normal crosings and reduced fibers) ...
2
votes
1answer
204 views

Generalizations of de Franchis and function field Mordell

The classical de Franchis theorem, as generalized by S. Kobayashi and T. Ochiai ("Meromorphic mappings onto compact complex spaces of general type," Inventiones, 1975), states that if $X$ is a complex ...
1
vote
0answers
81 views

Quotient singularities and higher direct images

$W\rightarrow W_{1} \rightarrow Z \rightarrow Y$, map $g$ between $Y$ and $Z$ is a semistable family (normal crosings and reduced fibers) of n-folds over a smooth curve Y, then the map between ...
7
votes
1answer
135 views

Non projective hyperbolic compact complex space

A famous conjecture by Kobayashi (perhaps slightly revisited subsequently) states that every compact hyperbolic Kähler manifold $X$ has ample canonical bundle. This implies in particular that $X$ is ...