2
votes
2answers
191 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
133 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
276 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 ...
1
vote
1answer
210 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 ...
1
vote
2answers
627 views

Spicing up Riemann surfaces course (revised)

I am a master's student planning to write a master's thesis on Riemann surfaces. I plan to study Forster's Lectures on Riemann surfaces. What side topics could one study to spice up the thesis? I am ...
8
votes
1answer
428 views

Is there a holomorphic Morse-Bott lemma?

It asks for a generalization of the question in the post Normal form for a holomorphic Morse function Suppose $f$ is a holomorphic function on a complex manifold $M$ which has Bott type critical ...
1
vote
0answers
87 views

Algebraic set given by sequence of polynomials

When working on some problem, I have end up with a following situation. Suppose $P(z)=z^d+a_{d-1}z^{d-1}+\ldots+a_1z+a_0$ is a complex polynomial $d\geq2$ and that $\gamma$ and $\delta$ are non-zero ...
2
votes
1answer
291 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 ...
3
votes
1answer
289 views

Automorphisms of complete discrete valuation ring

Let ${\Bbb F}_2[[T]]$ be a c.d.v.r over ${\Bbb F}_2$. We consider the automorphism $\sigma$ of ${\Bbb F}_2[[T]]$ such that $\sigma \colon T \mapsto T + c_2T^2 + c_3T^3 + \cdots$ with $c_i \in {\Bbb ...
0
votes
0answers
48 views

Finding stable ideals of F_3[[X,S]] by group action.

Let k > 1 be a positive integer and define the action σ_k on F_3[[X,S]] by σ_k: X ---> X + S + X^k σ_k: S ---> S + S^3. Then, Conjecture: There exists a principal ideal (a) other than (S) such ...
2
votes
2answers
286 views

Topological information via cohomology of sheaves

On a projective smooth variety $X$ over complex numbers (or rather compact Kahler) we have a specific set of sheaves, namely sheaves of holomorphic forms ${\mathcal \Omega}^p$ of various degrees. The ...
3
votes
1answer
240 views

Normal form for a holomorphic Morse function

Similarly to Morse lemma, a holomorphic Morse function can be written, near a critical point, as $W_1^2+W_2^2+...+W_n^2+C$ , for well chosen coordinates $W_1,W_2,...,W_n$. I want to cite this result ...
3
votes
1answer
147 views

Weighted projective space with rational or real weights

The most common formulation of the weighted projective space is perhaps the global quotient $$ (\mathbb{C}^{n+1} \setminus \{(0,\ldots,0\}) / \mathbb{C}^\ast $$ with the $\mathbb{C}^\ast$ group action ...
8
votes
1answer
281 views

Local polynomial form of holomorphic functions

It is well-known that a germ of a holomorphic function of $n\geq 2$ variables, with at most an isolated singularity (i.e. the singularity of the analytic variety defined by the zero locus of the ...
4
votes
2answers
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 ...
0
votes
0answers
38 views

irreducible analytic decomposition of sets invariant under a group action

Let $U$ be a complex analytic space with an action of a finitely generated group $\Gamma$. Under what assumptions is the following true: Every $\Gamma$-invariant closed analytic subset of $U$ ...
2
votes
0answers
98 views

topology generated by irreducible componets of $\Gamma$-invariant closed sets

For an analytic space $U$ equipped with an action of a group $\Gamma$, call a subset $Z\subseteq U$ $\Gamma$-closed iff it is a closed analytic subset and each of its irreducible components is an ...
1
vote
0answers
54 views

Is it obvious that the defining conditions to obtain a particular singularity are well defined on the quotient space?

Let $~f:\mathbb{C}^2 \rightarrow \mathbb{C}$ be a holomorphic function vanishing at the origin, with the following properties: $$ f_{00}, ~f_{10}, ~f_{01}, ~f_{20}, ~f_{11} =0,~~f_{20} \neq 0 ...
0
votes
0answers
226 views

Local System and Gauss-Manin connection

Fix a complex manifold $X$. Then if we have a line bundle $L=\mathcal{O}(D)$ together with Gauss-Manin connection $\nabla: L \rightarrow L \otimes \Omega^{1}_X$, we get the locally constant sheaf $F$ ...
1
vote
1answer
70 views

Finite construction of lacunary functions using algebraic and certain analytic operations

Algebraic functions have a discrete set of singularities. Lacunary functions, e.g. $f(z)=\sum_{n=0}^\infty z^{2^n}$, have a continuum of singularities at every point of the boundary of their disk of ...
2
votes
2answers
391 views

What is the closure of space of polynomials in a dense subspace along with a marked point equal to?

EDIT Let $\mathbb{C}^{m*}$ be the space of non zero polynomials of degree at most $d$ in two variables. So an element of this space is essentially $$ f:=f_{00} + f_{10} x + f_{01} y + \ldots ...
5
votes
1answer
199 views

Zariski's main theorem in the complex analytic category

Hello, I am looking for a reference to something like that: if $f\colon X\to Y$ is a finite (i.e., proper with finite fibers) morphism of reduced and irreducible normal (or at least smooth) complex ...
0
votes
1answer
328 views

Dolbeault cohomology

Let $X=S^{2n-1} \times S^1$. I have to compute $H^{(1,0)}_{\bar{\partial}} (X)$ and $H^{(0,1)}_{\bar{\partial}}(X)$ . I don't know how to do this but if we use Kunnet formula we have that ...
3
votes
2answers
238 views

j-invariant duplication, triplication and quintuplication formulae… how?

I am interested in finding the derivation of the duplication, triplication and quintuplication formulae for Klein’s j-invariant, which are equations (13) – (24) of the corresponding page (Klein’s ...
1
vote
0answers
262 views

The relation between the weak Lefschetz theorem and the strong Lefschetz theorem

The Weak Lefschetz Theorem states that for a compact Kahler manifold, $Pic(X) \rightarrow H^{1,1}(X, \mathbb{Z})$ is surjective. The Hard Lefschetz Theorem states that for a compact Kahler manifold ...
2
votes
9answers
714 views

functions of one complex variable: geometric theory

Can someone recommend a good textbook on functions of one complex variable which have good chapters on geometric theory, in English? When I studied complex analysis, I used two textbooks: An ...
16
votes
2answers
413 views

A direct proof of the Harer-Zagier recursion enumerating the ways to paste a 2n-gon to get a genus g surface?

In a 1986 paper, Harer and Zagier proved the recursion: $$(n+1)e(g,n)=(4n-2)e(g,n-1)+(2n-1)(n-1)(2n-3)e(g-1,n-2)$$ where e(g,n) is the number of ways of grouping sides $S_1...S_{2n}$ of a 2n-gon ...
2
votes
2answers
348 views

Bolza curve admits no anticonformal fixedpointfree involution

The Bolza curve B double covers the Riemann sphere with branching at the vertices of a regular octahedron. An affine model is given by the locus of $y^2=x^5-x$. How does one show that B does not ...
1
vote
0answers
195 views

bivariate polynomial

Hello, Let $p(x,y) = \sum_{m=1}^M\sum_{n=1}^N a_{m,n}x^{m-1}y^{n-1}$ be a bivariate polynomial where $\{a_{m,n}\}$ are complex. If $(x_k, y_k), k=1,2,\cdots, MN-1$ are roots of $p(x,y)=0$ where ...
3
votes
1answer
454 views

Complete intersections in complex and algebraic geometry

I'm wondering why (and therefore also if) the notions of "a projective variety/submanifold of projective space is a complete intersection" as used in algebraic geometry and the theory of, say, Riemann ...
2
votes
1answer
121 views

on the density of hypersurfaces in complex projective spaces

Good morning, Let $H$ be a hypersurface in a complex projective space $\mathbb{CP}^N.$ Let $d$ be the distance de Fubini-Study on $\mathbb{CP}^N.$ Let $x = [x_0: \ldots :x_N]$ and ...
5
votes
0answers
198 views

Automorphisms of Compact Riemann Surfaces

I read a statement that for a compact Riemann surface $C$ with genus $g\geq 2$, one has for the Jacobian $J(C)$ of the curve $C$: $$ Aut (J(C))\sim Aut C$$ when $C$ is hyperelliptic and ...
6
votes
1answer
834 views

Poincare line bundle

I am being stuck by the proof of the existence of Poincare line bundle of complex torus in Griffiths-Harris. Here is the question: Let $M$ be a complex torus and $M'$ be the complex torus dual to ...
5
votes
0answers
135 views

Perturbations of zero-dimensional algebraic varieties

Let $P(z,w):\mathbb C^2\to\mathbb C$ be a certain polynomial, and consider $p(s,t)=P(e^{is},e^{it}):\mathbb T^2\to \mathbb C$ its restriction to the real torus. Assume generic situation, so by ...
2
votes
0answers
170 views

ALE Kähler manifolds are birational to deformations of $\mathbb{C}^n/G$.

I am reading Dominic Joyce's book 'Compact Manifolds with Special Holonomy' and I am struggling to understand a remark he makes at the end of chapter 8. The assertion is (I think) the following: ...
5
votes
0answers
152 views

Complex manifold with non-finitely generated canonical ring

P.M.H. Wilson has an example of a compact non-Kahler manifold whose canonical ring is not finitely generated; see his article and this MO question. I'm trying to understand his construction and have ...
1
vote
0answers
67 views

Does a (NOT necessarily positive) current have a decomposition formula?

It is well-known that for any positive (1,1)-current $T$, there is a decomposition formula according to [Siu74]. That is, $T$ can be written as an infinite sum of prime divisors plus an extra part. In ...
15
votes
1answer
822 views

Any algebraic substitute for Morse theory (and homology) in arbitrary characteristic?

As far as I know, Morse theory yields much information on the topology of smooth manifolds; in particular, it can be used to prove Artin's vanishing (that the singular cohomology of smooth complex ...
3
votes
1answer
210 views

Smoothness of solution to a PDE

Let $X$ be a Riemann surface and let $E$ be a smooth complex vector bundle on $X$ with a connection $D$. We can write the connection $D$ as the sum $D'+D''$ where $D'$ is the (1,0) part and $D''$ is ...
3
votes
3answers
308 views

When can Hodge filtrations (decompositions?) be described explicitly in terms of periods?

It seems that there is no chance to explain the Hodge theory (to students) in an hour or so. Yet do there exist any cases when the Hodge filtration (or the Hodge decomposition) of the cohomology of a ...
1
vote
1answer
253 views

Automorphic and modular forms for subgroups of modular group and fuchsian groups

Is there a well-understood correspondence between subgroups G of $SL_2(\mathbb{Z})$ (not necessarily of finite index) and graded algebras of modular forms invariant under G? Given an algebra of ...
11
votes
4answers
2k views

Geometric invariant theory for geometers

I am trying to learn "Geometric invariant theory" like it was introduced by Mumford. But I do not have a strong background in algebraic geometry since I work in geometric topology and geometry. So ...
5
votes
0answers
338 views

Jet differentials and hyperbolicity: possible mistake in the literature?

I was reading this note by Jingzhou Sun http://arxiv.org/abs/1109.1329 about Demailly's approach to hyperbolicity using jet differentials. The author seems to claim that there is a mistake in one of ...
12
votes
2answers
719 views

Determining rational functions by their critical points

Fix an integer $d > 1$ and $2d-2$ points $P_1, \ldots, P_{2d-2}$ in the Riemann sphere (not necessarily distinct). Thanks to the work of Eisenbud and Harris on limit linear series (Inventiones, ...
2
votes
2answers
264 views

Globally generation of $\Omega_{\mathbb{P}^n}(2H)$

I have an elementary question about globally generation of a vector bundle. I would like to see why $\Omega_{\mathbb{P}^n}(2H)$ is globally generated (it seems this is well-known among experts). Here ...
1
vote
1answer
240 views

Monodromy of covering map related to symmetric group

Let $X:=\mathbb{C}^n$, and let the symmetric group $S_n$ act by permutation of coordinates in the obvious way; let $X_n:=X/S_n$ be the quotient by the group action. Now, $X_n\simeq \mathbb{C}^n$, so ...
21
votes
1answer
543 views

Comparison map between de Rham cohomology of analytic and formal neighborhoods of singularities

Suppose that $X$ is a complex algebraic (or complex analytic) variety, and $x \in X$ is a singular point. I am interested in two types of local differential forms at $x$: analytic and formal. First, ...
0
votes
0answers
98 views

Is this set of curves discrete?

Let $\alpha_1, \dots, \alpha_n$ be complex numbers whose sum is zero and $u_1, \dots, u_{2g-2+n}$ be pariwise distinct nonzero complex numbers. Consider the the set of smooth genus g curves with n+1 ...
5
votes
1answer
417 views

Hurwitz's automorphisms theorem with deformations

Hurwitz's automorphisms theorem bounds the order of the automorphism group of a negatively curved Riemann in terms of the genus. Now suppose a finite group $G$ acts faithfully on a Riemann surface ...
1
vote
0answers
168 views

Connections between the “local parametrization theorem” and “Noether normalization theorem”

In the study of local theory for holomorphic varieties, the Local Parametrization Theorem states that in $\mathbb{C}^n$,for any irreducible germ of holomorphic variety $V$ at 0, there exist a ...