Questions tagged [intersection-theory]
The intersection-theory tag has no usage guidance.
376 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
0
answers
110
views
Euler factors from bad primes and the Beilinson-Bloch vanishing conjecture
The vanishing part of the Beilinson-Bloch conjecture asserts that for a smooth projective variety $X$ over a number field $K$, $\dim_{\mathbb{Q}} \operatorname{CH}^i(X) \otimes_{\mathbb{Z}} \mathbb{Q} ...
- 531
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
4
votes
0
answers
184
views
Obstruction to finding a Whitney disk
Let $p,q\geq 3$ be integers. Let $M$ be a compact oriented smooth $(p+q)$-manifold and $P$ and $Q$ compact submanifolds of dimensions $p$ and $q$ intersecting transversely. Assume that $M,P$ and $Q$ ...
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
500
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
1
vote
1
answer
75
views
Number of intersection points of a system of quartic polynomials induced by the projected matrix commutator
Let $A, B \in \mathbb{R}^{d \times d}$ denote two symmetric positive definite matrices. I am interested in solutions $V_r \in \mathbb{R}^{d \times r}, 1 < r < d$ to the system of quartic ...
- 11
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
5
votes
0
answers
135
views
Geometric interpretation of pairing between bordism and cobordism
In page 448 of these notes, a pairing between bordism and cobordism
$$\langle \ ,\ \rangle: U^m(X)\otimes U_n(X)\rightarrow \Omega^U_{n-m}$$
is defined as follows. Assume $x\in U^m$ is represented by $...
- 171
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
290
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
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
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
0
answers
96
views
Arf invariant for characteristic surfaces in closed 4-manifolds depends on homeomorphism type
Let $X$ be a closed smooth oriented 4-manifold with $H_1(X;\Bbb Z)=0$. Then for a smoothly embedded orientable surface $F\subset X$ which is characteristic, there is a well-defined invariant $\text{...
- 213
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
1
vote
0
answers
98
views
Intersection of schubert varieties
Let $L_1$ and $L_2$ $\in$ $\mathbb{P}^4$ be two planes that intersect in exactly one point $Q$. Let $P_1 \in L_1$, $P_2 \in L_2$ points, such that $P_1 \neq Q \neq P_2$. Using the duality theorem, ...
- 11
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
2
votes
0
answers
87
views
Positivity of the intersection form [closed]
Let $M^4$ be a closed orientable smooth manifold and
$$
I: H_2(M,\mathbb Z) \times H_2(M,\mathbb Z) \to \mathbb Z
$$
its intersection form. If $b^+ \ge 1$, where $b^+$ denotes the number of positive ...
- 1,441
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
1
answer
127
views
Hausdorff dimension and non-empty intersections with lines
Let $A\subseteq [0,1]^d$, $d\geq 2$, a set with Hausdorff dimension $\operatorname{dim}_{\mathcal{H}}A=s$. What is the minimum $s$ (if any) which guarantee that $A$ has non-empty intersections with a ...
- 282
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
6
votes
2
answers
302
views
If Serre's intersection multiplicity $\chi(R/I, R/J)$ equals $\operatorname{length}_R (R/(I+J))$, then are $R/I, R/J$ Cohen-Macaulay?
Let $(R,\mathfrak m)$ be a regular local ring. Let $I,J$ be proper ideals of $R$ such that $R/(I+J)$ has finite length i.e. $\sqrt{I+J}=\mathfrak m.$ Since $I+J$ annihilates $\text{Tor}_n^R(R/I, R/J)$ ...
- 480
4
votes
1
answer
220
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