Questions tagged [enumerative-geometry]
The enumerative-geometry tag has no usage guidance.
85 questions
2
votes
1
answer
113
views
Examples of nontrivial configurations of rational curves of degree $\leq 3$ in the projective plane
Consider the complex projective plane $P^2$. A rational curve in $P^2$ of degree $\leq 3$ is either a line, a smooth conic, a nodal cubic, or a cuspidal cubic. I am looking for some "nontrivial&...
- 335
3
votes
0
answers
165
views
Enumerative or Gromov-Witten invariants from derived category of coherent sheaves
Let $X$ be a smooth projective toric Fano surface over $\mathbb{C}$. Suppose I have a nice presentation of $D^b_{Coh}(X)$ given by a full, strong exceptional collection $\mathcal{E} = \{E_i\}_{i\in I}$...
- 511
1
vote
1
answer
203
views
Degree three, codimension one subvarieties lying on a quadratic hypersurface
Let $H$ be an irreducible hypersurface in $\mathbb P^n$ of large-ish degree, say 14. This question is about subvarieties $V$ of $H$ such that
$V$ has codimension 1 in $H$ (i.e. $V$ has dimension $n-2$...
3
votes
0
answers
118
views
Divide Euclidean space by surfaces
It is well known that $n$ hyperplanes in $\mathbb{R}^k$ can divide $\mathbb{R}^k$ into at most $p$ regions where $p$ is
\begin{equation}
1 + n + C^2_n + \cdots + C^k_n
\end{equation}
Is there similar ...
- 185
11
votes
2
answers
1k
views
Simple examples of Gromov-Witten invariants not being enumerative
I understand why Gromov-Witten invariants in general are not enumerative, so it's not necessary to explain this. However to test something I'm working on, I'm looking for examples of concrete ...
- 111
4
votes
0
answers
202
views
Cohomological methods in intersection theory and derived categories
Are there any enumerative questions akin to: “What is the number of planes containing a given line tangent to a given cubic surface in $\mathbb{P}^3$” that we can answer using derived categories? I've ...
- 511
11
votes
2
answers
557
views
Hypersurface of singular plane cubics
In the projective space $\mathbb{P}^9 = \mathbb{P}(\mathbb{C}[x,y,z]_3)$, parametrizing plane cubics, consider the hypersurface $X\subset\mathbb{P}^9$ whose points corresponds to singular cubics. The ...
- 8,998
1
vote
0
answers
127
views
Schubert calculus and the representation ring of the general linear algebra
Schubert calculus studies the structural constants of the standard basis of the cohomology ring of the quantum Grassmannians. It is well known that it is isomorphic to the fusion ring of the category ...
1
vote
0
answers
67
views
Counting pieces when an object is cut n ways
I was reading a passage from an old essay by Martin Gardner on the calculus of finite differences, and it seems to me that there is more that can and should be said about seemingly anomalous values of ...
- 19.7k
1
vote
1
answer
132
views
Rotational invariance assumed, what is the number of $r$-sided simple polygons that can be inscribed into an $n$-sided regular polygon?
When I say that an $r$-sided simple (i.e., not self-intersecting) polygon is inscribed into an $n$-sided regular polygon, I mean that every vertex of the simple $r$-gon is also a vertex of the regular ...
2
votes
1
answer
150
views
Counting maximally tangent conics relative to a cubic
Is it possible to count the number of conics in $\mathbb{P}^2$ that are fully tangent at one point to a given (generic) cubic curve using basic intersection theory calculations?
The corresponding ...
2
votes
0
answers
143
views
Enumerative geometry and restricted plane partitions
Donaldson-Thomas theory is an enumerative theory for virtual counts of ideal sheaves (with trivial determinant) of the structural sheaf $\mathcal{O}_{X}$ of some smooth projective manifold $X$.
There ...
- 502
2
votes
1
answer
210
views
Configuration of points on a plane curve
Let $C\subset\mathbb{P}^2$ be a smooth plane curve of degree six. On $C$ there are $21$ points given as the intersection points of two lines choosen among a set of seven lines. More precisely there ...
user61586
5
votes
0
answers
163
views
How to compute the class defined by intersection with a square?
$\DeclareMathOperator\Gr{Gr}$Let $\Gr(k,n+k)$ (of course, one can do also for $\Gr(k,\infty)$) be the complex Grassmannian of $k$-planes in $n+k$-dimensional linear space.
It is well-known that ...
- 719
2
votes
0
answers
179
views
Quadrics tangent to lines
I think that the following must be a basic question in enumerative geometry.
Take a line $L\subset\mathbb{P}^3$. The quadric surfaces in $\mathbb{P}^3$ that are tangent to $L$ are parametrized by a ...
user114666
10
votes
1
answer
891
views
Interpretation of "27" lines for cubic surface with rational double points
It is well known that a smooth cubic surface has $27$ distinct lines. Explicitly, if we choose a planar representation, i.e., blowup $\mathbb P^2$ at $6$ general points $p_1,...,p_6$, the $27$ lines ...
- 1,803
0
votes
0
answers
107
views
Counting quadratic curves in $\mathbb P^1 \times \mathbb P^1$ passing through seven points in general position
Let $p_1,\dots,p_7 \in \mathbb P^1 \times \mathbb P^1$ be 7 points in general position.
What is the number of maps $F=(F_0,F_1):\mathbb P^1 \to \mathbb P^1 \times \mathbb P^1$ modulo domain ...
- 778
6
votes
2
answers
1k
views
Conjectures and open problems in representation theory [closed]
Are there very famous open problems or conjectures in representation theory, or in enumerative geometry, like the volume conjecture in topology?
4
votes
2
answers
583
views
Explicitly computing Donaldson-Thomas invariants (of CY 3-folds)
I am interested in the explicit computation of generating functions of rank 1 and higher rank Donaldson-Thomas (DT) invariants. In particular, I am interested in DT invariants of K3 fibered Calabi-Yau ...
user35360
2
votes
1
answer
618
views
Reference request for Gromov-Witten Invariants of non compact manifolds
The title of my question essentially explains what I am looking for, but let elaborate a bit, to put it in a more specific context.
There are quite a few papers, where the authors compute Gromov-...
- 3,245
1
vote
0
answers
292
views
Log-canonical bundle of a smooth curve with marked points
I am not sure if this question is appropriate for this site, but here it goes. I am not a geometer, so I am not familiar with notation in the area.
I am interested in the moduli space of $r$-spin ...
user35360
2
votes
0
answers
258
views
Number of degree d curves passing through d points in the projective plane over a finite field
Let the base field be a finite field $\mathbb F_q$ and fix $d$ rational points that lie on a line in $\mathbb P^2$. Suppose $d$ is a large number (about the order of $q^{\alpha}$ for $\alpha$ some ...
- 7,736
3
votes
0
answers
90
views
Galois group for triply tangent planes of generic algebraic surface in $\mathbb{P}^3$
Background: The paper of Joe Harris asserts that for $d\geq 5$, the Galois group of $d(d-2)(d^2-9)/2$ bitangents of generic plane algebraic curve is the full symmetry group. I am wondering whether ...
- 3,337
1
vote
0
answers
29
views
Extension of definition of Holonomic closure
My question is about finding the annihilator of a series. Let me begin with what is known and then ask my question. Let $s_d(\frac{q_1}{h},\ldots )$ denote schur function for partition $\lambda =[d]$ ...
- 685
5
votes
1
answer
207
views
Curve-counting with fixed source
Suppose I fix a smooth projective curve $C$ of positive genus, and I have a smooth projective variety $X$. Do standard tools from GW theory (or any curve-counting theory for that matter) allow me to ...
- 735
2
votes
0
answers
99
views
Diagonal operator and infinite wedge space formalism
Let $\bigwedge^{\infty /2}V$ denote semiinfinte wedge space. The followin article section 2 gives a good description about the space and the operator on it.
https://arxiv.org/pdf/math/0207233.pdf
...
- 685
10
votes
1
answer
559
views
Proving Positivity for Schubert Calculus
In study of the cohomology ring of the Grassmannians, which is usually known as Schubert calculus, one usually deals with a distinguished basis known as the Schubert basis $\{\sigma_\lambda\}$. One of ...
- 643
4
votes
0
answers
212
views
How does one obtain the formula for the number of genus one curves in P^2 using Getzler's relation?
I am trying to get the formula for the number of degree $n$ genus one curves in $\mathbb{P}^2$ passing through 3n generic points, by following the procedure in Getzler's paper
https://arxiv.org/pdf/...
- 3,245
4
votes
0
answers
105
views
Closed form for integer series from enumerative geometry problem?
Is there a closed form for the following integer sequence:
$$
1,6,145,8806,830622,100317140,14342519633,2325250316950,...
$$
This is the degree of the $2n$-th power of the Schubert class $\sigma_{2,...
- 17.4k
6
votes
2
answers
506
views
Some Elementary Schubert Calculus Calculations
Here are some simple geometry problems I am unable to resolve to my satisfaction. I asked the question on Math Stack (https://math.stackexchange.com/questions/2713754/a-problem-in-elementary-...
- 953
1
vote
1
answer
290
views
Hilbert scheme of points and passing curves
It is well known that through five points on a projective plane you can pass a conic.
Q. What happens when points collide ?
More precisely: if I consider a more simple question of two points and ...
- 399
3
votes
2
answers
238
views
how many bitangents on this hypotrochoid?
After playing with spirograph, a bit I realized all these curves I'm drawing should be an algebraic curve and it's birational equivalent to a $\mathbb{P}^1$. In the example below, I have a six-sided ...
- 22.8k
23
votes
4
answers
3k
views
What is an "integrable hierarchy"? (to a mathematician)
This is one of those "what is an $X$?" questions so let me apologize in advance.
By now I have already encountered the phrase "integrable hierarchy" in mathematical contexts (in particular the so ...
- 7,789
7
votes
1
answer
293
views
Largest number of points one can pick in finite projective space without getting three on a line
Consider the projectivization $\mathbb P\mathbb F_p^n$ of $\mathbb F_p^n$. How large a set $B \subseteq \mathbb P \mathbb F_p^n$ can I pick so that no three points of $B$ lie on the same line?
- 615
2
votes
1
answer
153
views
Bounding number of $k$-nearest neighbor sets in $\mathbb{R}^d$
Suppose that $\mathcal{X} \subseteq \mathbb{R}^d$ is compact.
Let there be $n$ distinct points $X = \{ x_1,...,x_n \} \subseteq \mathcal{X}$ and $k = \lfloor n^\alpha \rfloor$ where $0 < \alpha &...
- 23
11
votes
0
answers
358
views
3264 rational conics
It's a classical fact that there are 3264 plane conics tangent to 5 general conics, over $\mathbb{C}$ [1]. It was also shown that the 3264 can be defined over the reals [2] or [3]. More precisely, ...
- 271
1
vote
0
answers
240
views
De Jonquières formula vs. Relative GW invariants
Background. Let $C$ be a smooth projective curve of genus $g$. Denote by $C^d$ its d-th symmetric product and by $G^r_d(C)$ its associated variety
of linear series of type $\mathfrak{g}^r_d$, i.e.
$$ ...
- 1,981
3
votes
0
answers
794
views
Proofs that the Plücker relations generate the ideal of the Grassmannian
Some context: The $(k,n)$-Grassmannian is the set of $k$-dimensional subspaces of an $n$-dimensional vector space $V$. It can be realized as a projective variety via the Plücker embedding, and the set ...
- 528
4
votes
0
answers
107
views
Random polyominoes containing $2\times2$ squares
The construction quoted in the question "How to sample a uniform random polyomino?" claims to produce a "uniform random polyomino". But apart from the mentioned possibility of getting stuck, it also ...
- 13.4k
2
votes
0
answers
156
views
Enumerating the number of degree d curves tangent to a planar conic
This question is based on a special case of the Coparaso Harris formula, as described in Counting curves on rational surfaces - R. Vakil.
Let $E$ be a non-singular planar conic.
Then every degree $d$...
- 91
2
votes
0
answers
200
views
Schubert Calculus for the Full Flags
Almost all introductory texts on Schubert calculus discuss the Grassmannian case only. Does there exist a nice discussion of the full flag manifold case $SU(N)/T^{N-1}$? A low dimensional example ...
- 443
2
votes
0
answers
154
views
Listing all Lattice Points in a Box
Let $B := [-1,1]^n$ be an $n$-dimensional box. Moreover, let $v_1,\ldots,v_n \in \mathbb{R}^n$ form a basis of $\mathbb{R}^n$, where the entries of the $v_i$ are explicitly irrational. We can assume ...
- 173
11
votes
1
answer
706
views
Is there a tropical geometric proof for counting genus g curves in any n dimensional projective space?
Consider the following question: Let $X$ be a compact complex manifold
and $\beta \in H_2(X, \mathbb{Z})$ a fixed homology class. Let
$\mu_1, \mu_2, \ldots, \mu_k$ denote certain generic ...
- 3,245
1
vote
0
answers
266
views
How does one define Moduli spaces in Symplectic Geometry and naively interpret higher genus GW Invariants?
This is a very basic question about the definition of Moduli space of maps.
My reason for asking this question is because I haven't actually seen this
definition explicitly given anywhere, and hence ...
- 3,245
7
votes
1
answer
705
views
Are genus zero Gromov Witten Invariants on Del-Pezzo surfaces enumerative?
Let $X_k$ be $\mathbb{P}^2$ blown up at $k$ points (where $k$ is $0$ to
$8$). Let $\beta \in H_2(X_k, \mathbb{Z})$ be the homology class given by
$$ \beta := n L + m_1 E_1 + \ldots + m_k E_k $$
...
- 3,245
4
votes
1
answer
305
views
What are the indecomposable classes on a del-Pezzo surface?
Let $X_k$ be $\mathbb{P}^2$ blown up at $k$ points (where $k$ is $0$ to $8$).
Let $\beta \in H_2(X_k, \mathbb{Z}) $ be a homology class given by
$$ \beta := n L + m_1 E_1 + \ldots + m_k E_k $$
...
- 3,245
2
votes
0
answers
162
views
Degree 2 curves on a degree d hypersurface in P^(2d+2)/3
One of the foundations of Gromov-Witten theory is the use (due to Kontsevich I think) of localization to calculate the number of degree $n$ curves on a general quintic 3-fold. When calculating the ...
- 265
2
votes
1
answer
235
views
Is there a formula for the number of rational cuspidal curves in surfaces other than P^2?
Let $M$ be a two dimensional compact complex manifold and $A \in H_2(M, \mathbb{Z})$
a fixed homology class. Define a rational curve in $M$ to be $\textit{1-cuspidal}$ if the singularities of the ...
- 3,245
7
votes
0
answers
157
views
How big can a family of pairwise intesecting affine spaces be?
I apologize if this question might seem to be a bit too elementary.
Let $\mathbb{P}^n$ be the projective space over $k$ - an algebraically closed field of characteristic 0. Let $1\leq l\leq n-1$, and ...
- 91
13
votes
1
answer
605
views
A funny factorization of the Jacobian coming from the lines on the Fermat cubic
Here is something which came up in my algebraic geometry class, and I'm wondering if it has a deeper explanation. Let $F(w,x,y,z) = w^3+x^3+y^3+z^3$ and let $X$ be the cubic surface in $\mathbb{P}^3$ ...
- 156k