Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 4164

Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.

14 votes
Accepted

Tangent space in Algebraic geometry and Differential geometry

If p is a nonsingular point, then we can define a tangent vector as an equivalence class of (nonsingular) curves, just as in the differentiable case. In fact, being nonsingular is equivalent to every …
Barbara's user avatar
  • 976
12 votes

Why are people interested in defining GW invariant in algebraic geometry category

The first complete definition of GWI in algebraic geometry is more or less contemporary to the first complete definition in symplectic geometry. In algebraic geometry you can, e.g., use virtual locali …
Barbara's user avatar
  • 976
10 votes

Tangent space of the stack $\overline{\mathcal{M}}_{g,n}(X,\beta)$.

The classical reference is Illusie's PhD thesis "complexe cotangent et deformations".There the result without the marked points is proven in a very, very general context using the cotangent complex; t …
Barbara's user avatar
  • 976
10 votes

Hilbert schemes of points on a Fano variety

The Hilbert scheme $S^{[n]}$ of $n$ points on a smooth surface $S$ is smooth for any $n$, but it is never Fano if $n>1$ since the canonical divisor is trivial on the fibers of the morphism to $S^{(n)} …
Barbara's user avatar
  • 976
10 votes

Quantum cohomology rings as invariants

Quantum cohomology, and more generally Gromov Witten invariants, are invariants under deformation. Given a family $X$ of compact symplectic manifolds over a base $B$, to a path in $B$ one can associa …
Barbara's user avatar
  • 976
9 votes
Accepted

When is a morphism proper?

Assume $V$ and $W$ are quasiprojective. Let $i:V\to X$ be a locally closed embedding with $X$ projective (for instance $X$ could be $P^n$). Consider the induced map $g:V\to X\times W$; this is also a …
Barbara's user avatar
  • 976
6 votes

Siegel modular forms as sections of line bundles over the period domain

In the case $g=1$ modular forms are sections of a line bundle on a (geometrically meaningful) compactification of the stack obtained by quotienting the upper half plane by $SL_2(\mathbb Z)$ (usually d …
Barbara's user avatar
  • 976
6 votes

Proving that a map is a morphism

Emerton has already answered, but let me summarize all the steps: 1) to a perfect torsion complex in the derived category associate a Cartier divisor; 2) to every sequence of morphisms $C\to X\to S$ …
Barbara's user avatar
  • 976
5 votes

Twisted curves, admissible covers, and an algebraic analogue of a specific monodromy computa...

What naturally associates to each ramification point (or more generally, irreducible divisor in the ramification locus) is a pair $(H,\psi)$ where $H$ is a cyclic subgroup of $G$ (with $\ge 2$ element …
Barbara's user avatar
  • 976
5 votes

There are many varieties with ample canonical bundle

If $X$ is a surface, then the Hilbert polynomial of the canonical divisor determines $d:=1-\chi(T_X)$ which is a lower bound for the dimension of any component of the moduli at the point $[X]$. Hence …
Barbara's user avatar
  • 976