Questions tagged [intersection-theory]
The intersection-theory tag has no usage guidance.
376 questions
3
votes
1
answer
699
views
Intersection theory on singular varieties by embedding to smooth ones
Let $X$ be a normal complex projective variety over $\mathbb C$. In order to define the intersection product of the Chow ring, one usually requires $X$ to be smooth. How to weak the smoooth assumption ...
- 125
3
votes
1
answer
324
views
Calculating the distinguished varieties of intersection product
In Fulton's Intersection theory Example 6.1.2，one considers two divisors on $\mathbf{P}^2$ given by $D_1=A+2B,D_2=2A+B$, where $A,B$ are lines meeting at a point.
Let $X=D_1\times D_2,Y=\mathbf{P}^2\...
user39380
3
votes
1
answer
245
views
Intersection theory on M_{g,n}
Is there a paper\book that lists the top intersections of Hodge classes and tautological classes on $\overline{\mathcal{M}}_{g,n}$ for small $g$ and $k$, e.g. $g=2,3$ and $k=0,1,2$ ?
3
votes
1
answer
530
views
Lefschetz Fixpoint theorem for non-orientable manifolds
The classical lefschetz fixpoint theorem is stated for oriented compact manifolds $M$ and a smooth map $f:M\to M$ as follows:
the intersection number $I(\Delta, \mathrm{graph}(f))$ is equal to the ...
3
votes
1
answer
192
views
non degenerate quadratic form on the group of correspondences on an algebraic curve?
Hi,
Given two (smooth, projective) curves $X$ and $Y$ over a field $k$, define a correspondence to be a line
bundle $L$ on $X\times Y$. A trivial correspondence is a correspondence of the form $p_1^*...
- 647
3
votes
1
answer
205
views
Varieties connected by curves in projective spaces of small dimension
Let $X\subset\mathbb{P}^N$ be an irreducible complex variety. Fix an integer $a\geq 2$ and call $P_a$ the following property: given $x_1,\dots,x_a\in X$ general points there exists an irreducible ...
- 8,998
3
votes
1
answer
225
views
Extending effective Cartier divisors
Let $X$ be a non-singular, quasi-projective variety (over $\mathbb{C}$) of dimension at least $3$, $D_1, D_2$ are integral effective divisors in $X$ with $D_1 \cap D_2$ of codimension $2$ in $X$. Let $...
- 2,323
3
votes
1
answer
276
views
Polarization of an abelian variety made by the sum of two divisors
Let $X$ be an abelian variety of dimension $n$, and let $L$ be a polarization, that is, an ample line bundle on $X$, with $\chi(L)=3$.
In my specific case, I have that $L=\mathcal{O}_X(\Theta + D)$, ...
3
votes
1
answer
434
views
Intersections with a Power of an Ample Divisor on an Abelian Variety
Let $A$ be a $g$-dimensional, complex abelian variety, let $H$ be an ample divisor, let $D\in Pic^0(A)$, and let $0\leq k\leq g$.
Question 1: Does $D^k\neq 0\in CH^k(A,\mathbb{Q})$ imply that $H^{g-k}...
- 776
3
votes
0
answers
168
views
Are motives of K3 surfaces of abelian type?
I refer to the article of van Geemen https://arxiv.org/pdf/math/9903146. What van Geemen calls the Kuga-Satake-Hodge conjecture suggests that for a K3 surface $X$ over $\mathbb{C}$, the summand $h^2(X)...
- 658
3
votes
0
answers
148
views
Tate conjecture for singular varieties in terms of intersection homology
In his book “Mixed motives and algebraic K-theory”, Jannsen generalizes the Tate conjecture to a potentially singular projective variety $X$ over a finitely generated field. The statement is the same ...
- 658
3
votes
0
answers
148
views
Simple Grothendieck-Riemann-Roch computation with relative Todd class
$\DeclareMathOperator\Tot{Tot}\DeclareMathOperator\ch{ch}\DeclareMathOperator\td{td}\DeclareMathOperator\ker{ker}\DeclareMathOperator\rk{rk}$I was wondering if the following is correct: Let $X=\Tot(L)$...
- 139
3
votes
0
answers
393
views
Why is the "wrong" definition of intersection of varieties the "right" one for generalized Bézout?
For ease of notation, define the degree of a variety to be the sum of the degrees of its irreducible components. The generalized Bézout theorem (due to Fulton and Macpherson) states that, for $V_1$, $...
- 20.2k
3
votes
0
answers
225
views
Intersection of two modules (and sub-modules) under tensors
I have a (hopefully quick) question regarding an intersection of two tensor modules. Let $K$ be a field and $A, B$ finitely-generated modules over the Laurent series $K((X))$. Let $\tilde{A}$ be a (...
- 31
3
votes
0
answers
174
views
Intersection theory on schemes with Gorenstein singularities
Is there a good reference/book on Intersection theory on schemes with Gorenstein singularities? Does the construction of the intersection of cycles discussed in Fulton's book also hold for schemes ...
user497552
3
votes
0
answers
121
views
Detecting non-principal Weil divisors on normal varieties using curves
Let $X$ be a normal projective variety over an algebraically closed field $k$. Given any morphism $f:Y\to X$, there is a pullback homomorphism $f^*:\text{Cl}(X)\to\text{Cl}(Y)$, where $\text{Cl}(X)$ ...
- 1,373
3
votes
0
answers
91
views
A proper morphism restricts to a closure of a point on the generic fiber
Let $\pi:X^{e}\rightarrow Y^{d}(e\geq d)$ be a proper and dominant morphism of projective varieties over field $k$. Moreover, $Y$ is assumed to be smooth. Denote $\eta$ the generic point of $Y$, $X_\...
- 113
3
votes
0
answers
95
views
Singling out lower-dimensional components
Let $V\subset \mathbb{A}^n$ be defined by equations of degree $\leq D$. (That is, $V$ is an intersection of hypersurfaces of degree $\leq D$.) Assume $V$ is not pure-dimensional. Let $V^-$ be the ...
- 20.2k
3
votes
0
answers
224
views
algebraic vs rational equivalence
Are there classes of algebraic varieties for which algebraic and rational equivalence for algebraic cycles coincide? (references also appreciated)
- 3,779
3
votes
0
answers
291
views
Transversal intersection with linear subspaces
Let us work over an algebraically closed field $K$. If $X\subset \mathbb{P}^n$ is a closed subset of dimension $r$, then there should exist a linear subspace $L\subset \mathbb{P}^n$ of dimension $n-r$ ...
- 7,722
3
votes
0
answers
375
views
Linear system on singular plane curve
Let $C \subset \mathbb{P}^2_k$ an irreducible plane curve of degree $d >1$
over algebraically closed field $k$. That is $C=V(f(x,y,z))$ where $f \in k[x,y,z]$ homogeneous of degree $d$. Let $\{...
- 5,966
3
votes
0
answers
174
views
Automorphism group of a hypersurface and its sections
This question is moved from my StackExchange.
Assume the base field is algebraically closed. Let $X\subset \mathbb P^n$ be a fixed smooth hypersurface of degree $d$. For any hyperplane $H\subset \...
- 131
3
votes
0
answers
278
views
Noether intersection multiplicity for complete intersections
If I take two curves $C,D$ on a surface $M$ with isolated intersection point $p$, then Noether gives a formula equating the intersection multiplicity $i_p(C,D)$ of $C$ and $D$ at $p$ in terms of their ...
- 573
3
votes
0
answers
80
views
Quartic link in a 5-sphere
In this post I would like to propose a quartic link in a 5-sphere.
Let us start with the following gluing into a 5-sphere:
$$S^5=(D^2_{} \times T^3_{}) \cup_{T^4} ({S^5 \smallsetminus D^2 \times T^3})...
- 10.5k
3
votes
1
answer
774
views
Homotopy of paths at the boundary
Denote by $\Gamma$ a hypersurface in $\mathbb{C}^2$, i.e. the zero locus of a polynomial of two complex variables. Denote by $X$ the complement of $\Gamma$ in $\mathbb{C}^2$. I am trying to define a ...
- 293
3
votes
0
answers
440
views
The Chow ring of a blow-up along a badly embedded subscheme
Let $X$ be a variety and $i:Y\hookrightarrow X$ be a regularly embedded closed subvariety, and write $\tilde X$ for $Bl_Y X$ the blow-up of $X$ along $Y$. Let $A^*(X)$ refer to the Fulton-Macpherson ...
- 528
3
votes
0
answers
409
views
Non algebraizable formal abelian schemes
I'd like to collect a good number of examples of formal schemes over $\text{Spf}(\mathbf{Z}_p)$, whose special fiber is a projective variety over $\mathbf{F}_p$, but that are not algebraizable.
If ...
user97068
3
votes
0
answers
114
views
Multiplicative structure on Deligne cohomology
Let $X$ be a smooth projective variety over the complex numbers, and $\mathbf{Z}(p)_{\mathcal{D}}$ the Deligne complex on $X$:
$$\mathbf{Z}(p)_{\mathcal{D}} : \ \ \mathbf{Z}(p)\to\mathcal{O}_X\to\...
user92332
3
votes
0
answers
215
views
Is algebraic geometry related to conical intersection in potential energy surface of molecules?
I post this question here because it seems that the equations describing conical intersections in molecular potential energy surface are similar to what algebraic geometry research concerns.
...
- 157
3
votes
0
answers
138
views
Non-generic intersections of Schubert varieties?
Let $G$ be a linear algebraic group, $B$ a Borel subgroup, $P$ a parabolic subgroup containing $B$, and $W$ the Weyl group. For $w \in W$, the Schubert variety $X_w^P$ is the closure of the Schubert ...
- 191
3
votes
0
answers
119
views
Finding two hypersurfaces of the same degree that intersect $X/\mathbb{F}_q$ smoothly
Let $X$ be a smooth projective variety over a finite field.
In [Poonen - Bertini theorems over finite fields] it is shown that one can find a smooth geometrically integral hypersurface $S$ of degree $...
- 479
3
votes
0
answers
158
views
Self-intersection of sum of Eff cone generators on Picard rank 2 surfaces
Let $S$ be a smooth, projective, complex surface with Picard rank 2, whose effective cone is generated by two curves of negative self-intersection, $C_1$ and $C_2$ (i.e. $C_1^2<0$ and $C_2^2<0$)....
- 31
3
votes
0
answers
759
views
The self intersection class of exceptional divisor of 3-fold blown up along a curve
Suppose $X$ is a smooth complete variety of dimension $3$, let $\sigma\colon\widetilde{X}\to X$ the blow-up along smooth curve $C\subset X$, let $\sigma^{-1}(C)=E$ be the exceptional divisor, let $f$ ...
user39380
3
votes
0
answers
371
views
Intersection Multiplicity
Let $X$ be an hyper-surface in an affine space defined by an equation $F$. We can assume that the ground field is $\mathbb{C}$ and $X$ is normal. Take functions $f_1,\dots, f_n$ on $X$ and let $B$ ...
- 2,384
3
votes
0
answers
193
views
Is complex surface in CP(3) a two handlebody?
Consider a complex surface given by homogeneous equation in $\mathbb{C}P^3$. Without loss of generality, take
\begin{equation}
S = \{[x:y:z:w] \in \mathbb{C}P^3~ |~ x^d + y^d + z^d + w^d = 0\}
\end{...
- 367
3
votes
0
answers
194
views
Computing intersection of cycles on the product of Grassmannians/Deligne-Lusztig varieties
My collaborators and I are preparing an interesting manuscript where the computation leads to something related to what we believe to be in the area of Schubert calculus; but none of us knows much ...
- 61
3
votes
0
answers
212
views
Bounds for intersection multiplicity
Let's for simplicity work in $\mathbb{C}^n$. Suppose that $f_1,\dots, f_n$ are polynomials and $0$ is an isolated solution of the system $f_1(z)=\dots=f_n(z)=0$. I want to bound from below the ...
- 2,263
3
votes
0
answers
298
views
Chow ring of a $\mu_2$-gerbe
Suppose that $X$ is a stack, and $Y \to X$ is a $\mu_2$-gerbe. Is there any relationship between the integral Chow rings (in the sense of Edidin and Graham) of $X$ and $Y$?
(I assume they become ...
- 1,832
3
votes
0
answers
434
views
Bezout's theorem for non-proper intersections?
Is there a version of Bézout's theorem for non-proper intersections?
For my specific problem, the setup is as follows: Let $P_1,P_2,P_3,P_4\in\mathbb{C}[z_1,z_2,z_3,z_4]$, and suppose that (as a ...
- 193
3
votes
0
answers
221
views
Reference request: Samuel's multiplicity and degree
I am looking for references for the following simple facts.
Let $Y\subset \mathbb{P}^n$ be a variety (or pure-dimensional algebraic set). For $P\in Y$ denote by $e_p(Y)$ the (Samuel's) multiplicity ...
- 2,263
3
votes
0
answers
155
views
Topology of K3 as a sum of two abelian fibrations.
Let $E$ be a blow-up of $\mathbb{P}^2$ at 9-points in the bases locus of a pencil of elliptic curves (A $T^2$ fibration over $S^2$).
K3 surfaces is obtained by removing a fiber from two copies of $E$ ...
3
votes
0
answers
387
views
intersection theory
Assume that $X$ is a smooth 3-fold (over $\mathbb C$). Let $V$ be a smooth divisor on $X$ and let $S_1,S_2$ be prime divisors on $X$. Assume that given a curve $C$ on $X$ not contained in $V$, then
$...
- 31
3
votes
1
answer
951
views
Genus of non-complete intersections
Suppose $X\subset \mathbb{P}_k^N$ a nonsingular curve is a complete intersection of hypersurfaces $F_1, \cdots, F_{N-1}$ (of degrees $d_1, \cdots, d_{N-1}$ resp). Then, we know that the canonical ...
- 3,555
2
votes
2
answers
627
views
Numerically negative exceptional divisor on a surface.
Suppose $S$ is an algebraic surface (possibly projective) over an algebraically closed field $k$. Suppose $D_i$ are irreducible smooth curves (rational, if you want) with negative self-intersection ...
- 2,215
2
votes
2
answers
3k
views
Dimension of affine variety
Assume that I have $k$ polynomials $f_1(x_1,\ldots x_n),f_2(x_1,\ldots x_n),\ldots f_k(x_1,\ldots x_n)$ in $n>k$ variables. Is it possible to calculate, ,i.e., does there exist a fast algorithm, ...
- 2,179
2
votes
1
answer
735
views
Pull-back of algebraic cycles
Since today is the Chow-variety day, I'm going to ask my question here.
Suppose I have a smooth projective variety $X$ over a field of characteristic zero, and a smooth hyperplane $p: H\...
user113393
2
votes
2
answers
219
views
Intersection of Subspaces with $O(3)$
Sorry for the confusion from earlier. I tried to fix the thread. The old version can be found below.
For $6$-dimensional subspaces $V$ of the space $\mathbb{R}^{3\times 3}$ of real three-times-three ...
- 9,863
2
votes
1
answer
265
views
On intersection theory on toric varieties
Let $\Delta$ be a polytope and consider the projective toric variety $P_{\Delta}.$
Given a curve $C \subset \mathbb{P}_{\Delta},$ which is not toric, is it true that in the Chow group we have
$$ C = \...
- 55
2
votes
1
answer
243
views
Intersecton form of complete smooth Toric surface
Given a complete smooth Toric surface (over $\mathbb C$), is its intersection form well-known? Or is there an algorithm to calculate it? Thanks in advance.
- 343
2
votes
1
answer
585
views
Looking for examples of not injective maps and not surjective maps of the form $ A_{k} (X) \to H_{2k} ( X , \mathbb{Z} ) $
Here: https://www.mathematik.uni-kl.de/~gathmann/class/alggeom-2002/alggeom-2002-c9.pdf, on pages: $ 1 $ and $ 2 $, we find the following paragraph:
For any scheme of finite type over a ground field ...
- 325