All Questions
Tagged with intersection-theory ag.algebraic-geometry
329 questions
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
4
votes
1
answer
286
views
Known cases of Tate conjecture for varieties which are smooth over a curve
What are some examples of smooth projective varieties $X$ over a finite field for which the Tate conjecture for divisors is known, and which admit a smooth morphism to a smooth projective curve? I am ...
- 658
1
vote
0
answers
80
views
Computing Chow groups of affine, simplicial toric varieties
Let $k$ be an algebraically closed field. Let $X$ be an $n$-dimensional affine, simplicial toric variety over $k$. There exists an $n$-dimensional simplicial cone $\sigma$ in $\mathbb{R}^n$ such that $...
- 639
1
vote
1
answer
141
views
Why is $2A_0(X)=0$ for a cubic threefold $X$ containing a line, over an arbitrary field $k$
I can't quite follow Proposition $2.1$ of "UNIVERSAL UNRAMIFIED COHOMOLOGY OF CUBIC FOURFOLDS CONTAINING A PLANE". I posted this on Math stackexchange but got no answer.
Let $X$ be a smooth ...
- 679
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
0
answers
149
views
Non-proper intersection between divisors on $\mathbb{P}^1$-bundle of Hirzebruch surfaces
We are working on algebraic closed field $k$. Let $\mathbb{F}_1$ be the Hirzebruch surface $\mathbb{P}(\mathcal{O}\oplus\mathcal{O}(-1))$, $C_0$ and $C_{\infty}$ are its zero and infinity sections ...
- 41
2
votes
1
answer
114
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
0
votes
0
answers
110
views
How to prove that a specific quadric intersection is complete and irreducible?
Let's borrow the quadric intersection $I$ from another question. More precisely, let $k$ be an algebraically closed field of characteristic $\neq 2$ and $a_1, a_2, \cdots, a_n \in k^*$ be some ...
- 1,833
4
votes
0
answers
167
views
Is the group of homologically trivial cycles in a variety over a finite field torsion?
Let $X$ be a smooth projective variety over $\mathbb{F}_q$. Is any cycle in the Chow group $CH^i(X)$ which is trivial in $\ell$-adic cohomology automatically torsion? For abelian varieties I believe ...
- 531
2
votes
1
answer
183
views
Intersection in toric variety
In a toric variety $T$ of dimension $11$ I have a subvariety $W$ of which I would like to compute the dimension.
On $T$ there is a nef but not ample divisor $D$ whose space of sections has dimension $...
- 193
1
vote
0
answers
104
views
Calculation of intersection multiplicity after the restricting to a fiber
Let $X\to\operatorname{Spec} \mathbb Z$ be an arithmetic surface which is projective, regular and integral. Let $D$ and $E$ two divisors intersecting at a point $x\in X$ that lies over the prime $p$. ...
- 321
4
votes
0
answers
137
views
Inverse direction of Hodge index theorem
The Hodge index theorem states that the intersection matrix associated to curves on a smooth algebraic surface has a specified signature---namely, if the intersection matrix has size $n \times n$ then ...
- 2,175
3
votes
1
answer
255
views
About the contractability
Let $X\subset \mathbb{P}^3$ be the surface defined by the equation $xy-zw=0$, and consider the curve $E \subset X$ defined by the equation $x=z=0$.
Question. Can $E$ be contracted to a point?
- 328
3
votes
1
answer
370
views
Bloch–Beilinson conjecture for varieties over function fields of positive characteristic
Is there a version of the Bloch–Beilinson conjecture for smooth projective varieties over global fields of positive characteristic? The conjecture I’m referring to is the “recurring fantasy” on page 1 ...
- 531
2
votes
0
answers
145
views
Is there a name for a normal, projective variety where every effective divisor is ample?
Is there a name for a normal, projective variety such that every effective divisor is ample? Examples of such varieties are projective space, weighted projective spaces, and simple Abelian varieties ...
- 912
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
1
vote
0
answers
207
views
Todd class of blow-up
Let $i:X\hookrightarrow Y$ be an embedding of two non-singular projective varieties over $\mathbb{C}$. Consider the blow-up $f:Y' = Bl_XY \to Y$, and the corresponding embedding $j:E\hookrightarrow Y'$...
- 91
0
votes
0
answers
239
views
Excision in "3264 and all that" by Eisenbud-Harris
In Proposition 1.14, page 25 in the book "3264 and all that Intersection Theory in Algebraic Geometry" the authors define a right exact sequence:
$$ Z(\mathbb{P}^1 \times X) \rightarrow Z(X) ...
- 109
1
vote
1
answer
501
views
Very ample + effective = ample?
Sorry if this question is not appropriate for this site, but I haven't got an answer on stackexchange. It's well known that there are divisors (on a normal projective variety over the complex numbers) ...
- 143
3
votes
2
answers
436
views
Negative intersection number between curve and effective divisor
Let X be a complex projective variety and E be an irreducible effective divisor on it. Then, I want to know whether the following set is finite:
{C | C be an irreducible curve and C.E<0}.
I know ...
- 31
2
votes
0
answers
109
views
Reference for numerically non-negative polynomials for nef vector bundles
Let $K$ be a field. A polynomial $F \in \mathbb{Q}[X_1, \dots, X_r]$ which is weighted homogeneous of degree $n$ with respect to the grading $\deg(X_k) = k$ is called numerically non-negative for nef ...
user513306
1
vote
1
answer
121
views
On the situation of intersections along a proper morphism
The short question is: Say $p:\bar{X}\rightarrow S$ is a proper and normal morphism with the following properties:
S is integral and smooth over a certain base field $k$,
$\bar{X}$ has a smooth and ...
- 13
1
vote
0
answers
145
views
Multiplicity and the perfect projective line
Let $\mathbf{F}_p$ be the field with $p$ elements, and $X = (\mathbf{P}^1_{\overline{\mathbf{F}}_p})^\text{perf}$ the inverse perfection of the projective line over $\mathbf{F}_p$.
Let $\Gamma$ be the ...
- 85
1
vote
1
answer
370
views
Self-intersection of the diagonal on a surface
Let $X$ be a smooth projective curve over the complex numbers, and take $\Delta$ the diagonal divisor on $X\times X$. Using the adjunction formula, one computes $\Delta\cdot\Delta =2-2g$ for $g$ the ...
- 85
1
vote
0
answers
243
views
Pull and push formula for degree for non-flat morphism
Let $\varphi\colon X_1\to X_2$ be dominant proper morphism of finite degree (in particular $\dim X_1=\dim X_2$) between varieties.
Let $D \subset X_2$ be a Cartier divisor.
Is it true that $$\varphi_*...
- 219
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
2
votes
1
answer
116
views
Sufficient condition for pair of real quadrics to have real intersection
In the following, when I talk about the zero of a homogeneous polynomial I always mean a projective zero.
Let $ q $ be a real quadric. Then $ q $ has a real zero if and only if $ q $ has indefinite ...
- 4,081
1
vote
1
answer
141
views
Are horizontal divisors on abelian fibered hyperkähler manifolds proportional in $NS(X)$ up to vertical divisors?
Oguiso writes[1]
Theorem 1.1 Let $f: X \to \mathbf P^n$ be an abelian fibered HK [hyperkähler] manifold. Let $K = \mathbf C(\mathbf P^n)$ and let $A_k$ be the generic fiber of $f$. Then, $\rho(A_K)= ...
- 1,286
1
vote
0
answers
291
views
Is there some relations between derived category and intersection theory?
After learning the traditional intersection theory (W. Fulton's Intersection Theory and D. Eisenbud & J. Harris's 3264 and all that), I have some biased thinking about what I have learned in this ...
- 249
1
vote
0
answers
103
views
Is $K_F\cdot C\leq K_X\cdot C$ for a fibre $F\subseteq X$ containing the curve $C$?
This is a question that I originally posted on Math Stack Exchange. After a couple of days I have not received any comments or answers, and after thinking about it more I realize that this question is ...
- 131
2
votes
1
answer
243
views
Finite flat pullback of the diagonal
Let $X, Y$ be smooth projective connected complex varieties of the same pure dimension $d$ and $f : X\to Y$ a finite flat surjective morphism.
Let $\Delta_X$ be the closed subscheme of $X\times X$ ...
user497064
2
votes
1
answer
642
views
How to show that the intersection of two certain affine varieties is reduced?
$\DeclareMathOperator\codim{codim}$Let $X=V(I)$, $Y=V(J)$ be two affine varieties. I'd like to know possibile strategies to understand when their schematic intersection, i.e. $X\cap Y=V(I+J)$, is ...
- 165
0
votes
0
answers
137
views
Intersection product of $\mathbb{Q}$-Cartier divisors with irreducible complete curves is well-defined
I am learning the notion of intersection product of a $\mathbb{Q}$-Cartier divisor with an irreducible complete curve on a normal variety. The definition I learned is that if $D$ is a $\mathbb{Q}$-...
- 639
1
vote
0
answers
70
views
Prescribed intersection of varieties
Every variety here is complex analytic, or complex algebraic if it solves anything.
Given a germ of a (possibly singular, nor necessarily irreducible) hypersurface $(H,0)\subset(\mathbb{C}^{n+1},0)$ ...
- 333
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
11
votes
2
answers
558
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
1
answer
431
views
Blow-up of a pencil of cubic curves (from Miranda's basic theory of elliptic surfaces)
Rick Miranda's "The basic theory of elliptic surfaces" the Example (I.5.1) see page 7 on a pencil of plane curves contains an argument that I do not understand yet.
Let $C_1$ be a smooth ...
- 5,966
2
votes
0
answers
172
views
Intersection theory on normal crossing algebraic surfaces
Let $X$ be an algebraic surface with normal crossing singularities. Suppose the singular locus of $X$ is a smooth curve. Let us denote it by $C$. Suppose $D$ is another smooth curve in $X$ which ...
- 494
4
votes
1
answer
221
views
About Fulton's Intersection theory Appendix Lemma A 4.1
The assumption for Lemma A.4.1 is $A \to B$ is flat. The second assumption is that $A$ and $B$ are Artinian rings. From this Lemma A.4.1 states that $l_B(B) = l_A(A) \cdot l_B(B/mB)$ where $m$ is the ...
- 121
2
votes
1
answer
243
views
Intersection of translate of divisors on abelian variety
Setup. Let $K$ be an algebraically closed field of characteristic zero, and let $A/K$ be a simple abelian variety of dimension $n$. Let $\{ x_1,x_2,\dots,x_{m^{2n}}\}$ denote the $m$-torsion points of ...
- 998
10
votes
1
answer
425
views
To whom is Bézout's theorem for varieties due?
The following is a modern, fairly general form of Bézout's theorem. (There are forms that are more general and/or more precise; bear with me.)
Define the degree of a reducible variety to be the sum of ...
- 20.2k
1
vote
0
answers
71
views
Comparison between residual intersection in Fulton's intersection theory and Aluffi's result on Milnor class
$\textbf{Question}$ I deduced that $m(A \cup B, V) = 0 $ for nonsingular variety $V$ and nonsingular hyper surfaces $A$ and $B$ whose intersection is also nonsingular. But I do not think it is true ...
- 121
4
votes
1
answer
134
views
Isomorphism outside of negative curves against the canonical
Let $X$ be a smooth projective complex variety and let us suppose that the closure of the union of curves $C$ on $X$ that are non-positive against the canonical divisor is a closed subset $F\subsetneq ...
- 7,722
1
vote
0
answers
81
views
How to calculate the divisor given by closure of subscheme
Let $X \subset \mathbb{P}^N$ be a nonsingular projective variety over algebraically closed field which is embedded by very ample line bundle $\mathcal{L}$. Let $Y = \mathbb{P}(\mathcal{L}^{\oplus 3})$...
- 121
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
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
262
views
Algebraic and homological equivalence relations for $0$-cycles
Let $X$ be a connected smooth projective variety. Let $Z_0(X)_{alg}$ be the group of $0$-cycles algebraically equivalent to $0$ and $Z_0(X)_{\hom}$ be the group of $0$-cycles homologically equivalent ...
- 519
1
vote
0
answers
254
views
A question on the Chow group on stacks
Let $X$ be a separated Deligne-Mumford stack finite type over the ground field. Then there is a Chow group $A_*(X)$ of $X$ which is well-behaved under flat pull-back, defined as follows.
Let $\...
- 565
6
votes
1
answer
512
views
Mordell conjecture over function fields
So I've read (for instance in the introduction to R.S de Jong's thesis ) that the naive adaptation of the proof of the Mordell conjecture over function fields fails, even using Arakelov intersection ...
- 4,418