Questions tagged [intersection-theory]
The intersection-theory tag has no usage guidance.
376 questions
2
votes
1
answer
388
views
Are "transverse" hyperplane sections of nondegenerate irreducible projectice varieties always nondegenerate
Let $X \subseteq \mathbb{P}^n$ be a irreducible complex projective variety. It is called nondegenerate if it is not contained in a hyperplane in $\mathbb{P}^n$.
Assuming $X$ is nondegenerate and ...
- 1,141
2
votes
1
answer
328
views
Lefschetz standard conjecture under specialization/generization
Let $S$ be a smooth connected noetherian scheme (not necessarily over a field) with residue fields that are all of finite type over their prime field.
Let $f: \mathcal{X}\to S$ be a smooth projective ...
user92332
2
votes
1
answer
295
views
Chow groups modulo homological equivalence for abelian varieties
Let $X$ be an abelian variety over a field $k$.
Let $A^p_{\rm hom}(X)$ be the $p$-th Chow group of cycles modulo homological equivalence ($\ell$-adic, if $k$ is of char $p$).
Do we have $$A^p_{\rm ...
user97068
2
votes
1
answer
615
views
Rational normal curves as set-theoretic complete intersections
Let $C\subset\mathbb{P}^n$ be a rational normal curve of degree $n$. It is know that $C$ is a set-theoretic complete intersection and that, if $n\geq 3$, is a not a scheme-theoretic complete ...
user49214
2
votes
1
answer
605
views
Chern and Segre classes
I've recently started to learn about Chern and Segre classes, and it seems to me that they are very similar, sharing the same important properties and having closely related definitions.
Fulton's ...
- 23
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
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
484
views
Join of two intersecting varieties
Suppose I have two smooth projective varieties $X$ and $Y$ in $\mathbb{P}^n$, that intersect along a smooth subvariety $Z$. Is there a formula to compute the degree of the join variety $J(X,Y)$ of $X$ ...
- 3,779
2
votes
1
answer
104
views
Which actions preserve non-complete intersections?
Let $X$ be a smooth projective variety and $Z$ is a closed subscheme in $X$ which is not a complete intersection in $X$. Assume the dimension of $X$ (resp. $Z$) is greater than $3$ (resp. $1$). Then,
...
- 2,032
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
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
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
1
answer
249
views
Vector bundles on henselian schemes
Let $X$ be a smooth and projective scheme over $\mathbf{Z}_p$.
We call $\mathfrak{X}$ the ringed space whose topological space is the topological space of the special fiber of $X$, and whose ...
- 181
2
votes
1
answer
141
views
Depth of Schubert cycles
For $a:a_1\geq \cdots\geq a_c$, let $\sigma_a$ be the corresponding Schubert cycle over $Gr(c,\infty)$. We say $a$ is of depth $k$ if $a_1-a_c=k$ ($c>1$). Let $a$ and $b$ be of depth $k_1$ and $k_2$...
2
votes
1
answer
307
views
F-curves and divisors on $\overline{\mathcal{M}}_{g,n}$
It is conjectured that a divisor on $\overline{\mathcal{M}}_{g,n}$ would be ample if $D\cdot C >0$ for all F-curves $C\subset \overline{\mathcal{M}}_{g,n}$. Does the intersection degree with all F-...
- 3,779
2
votes
1
answer
457
views
Intersection powers of the exceptional divisor (and the transform of a hyperplane)
In light of my previous question, I am interested in the following scenario: Let $\tilde Y$ be the blow-up of $Y=\mathbb{P}^n$ along a linear subvariety $X\subseteq Y$ of codimension $d$, i.e. $X\cong\...
- 4,902
2
votes
1
answer
543
views
Minimal resolution of Log del Pezzo surfaces
Suppose $X$ is a log del pezzo projective surface of index $l$. As far as I understand it will have a finite number of singular points all of which can be resolved by sucessive blow-ups.
Let $E_i$ be ...
- 2,215
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
2
votes
1
answer
124
views
Curves sharing points over finite fields, and their mutual divisibility
Consider in $\mathbb{A}^2(\mathbb{F}_q)$ two $\mathbb{F}_q$-rational curves $\mathcal{X}:f(x,y)=0$ and $\mathcal{Y}:g(x,y)=0$, and let $\mathcal{Y}$ be absolutely irreducible. Suppose also that $\...
- 21
2
votes
1
answer
330
views
Upper semi-continuity of intersection numbers
Consider a smooth projective morphism of schemes $X \rightarrow S$ with relative dimension $n$ (the application I have in mind is with $S$ = an open subset of $\text{Spec } \mathbb{Z}$) and assume ...
- 100
2
votes
1
answer
358
views
Self-intersection and generic point
The Wikipedia entry on intersection theory contains the following statement:
[for C a curve, on a surface] "the self-intersection points of C is the generic point of C, taken with multiplicity C · C."...
- 3,212
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
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
2
votes
1
answer
121
views
Cycle of non-equidimensional scheme
In Fulton's intersection theory, example 1.7.1, he mentioned an example that contradicts to the splitting of cycles with respect to irreducible components. Consider the subscheme $X$ in $\mathbb{A}^3$ ...
- 263
2
votes
1
answer
324
views
Exact sequence of normal cones
Suppose that we have a sequence $i: X \hookrightarrow Y$, $j: Y \hookrightarrow Z$ of closed embeddings of varieties such that $i$ is regular. In this case, do we have an exact sequence of cones of ...
- 2,197
2
votes
1
answer
236
views
Linear sections of $Gr(V,2)$
Let $V$ be a vector space, and consider $G=Gr(V,2)\subset \mathbb{P}^N$ embedded via the Plucker embedding. Let $W\subset \mathbb{P}^N$ be a linear subspace. I want to find the class $[W\cap G]\in A(G)...
- 2,788
2
votes
1
answer
352
views
Deformation of transversal intersection
Fix a positive integer $n \ge 2$. Let $\pi:\mathcal{X} \to B$ be a family (flat, projective and surjective morphism) of projective subschemes of $\mathbb{P}^n$.
Assume $B$ is reduced, irreducible.
...
- 2,323
2
votes
1
answer
240
views
Are there polynomials (almost) all of whose intersection numbers are divisible by some integer?
I've been playing around with some basic intersection theory, and I've wondered the following:
For every two integers $n$ and $m$, and complex numbers $a_1,...,a_n$, are there polynomials $f_1(x),...,...
- 5,929
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
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
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
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
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
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
2
votes
0
answers
130
views
Intersection of plane with Segre
$\newcommand{\complex}{\mathbb{C}}$ Let $Seg \subseteq \complex^M \otimes \complex^N$ be the set of elements of the form $v \otimes w$. It is well-known that a general linear subspace of dimension $(M-...
- 980
2
votes
0
answers
245
views
On intersections of exceptional divisors
Let $X$ be a smooth, projective variety of dimension $n \ge 2$, $L$ a very ample line bundle on $X$ and $\pi: \widetilde{X} \to X$ be the blow-up along a closed subvariety of codimension at least $2$. ...
- 2,032
2
votes
0
answers
95
views
Comparing the Segre classes of a cone with its abelian hull
Let $X$ be a smooth scheme, with a sheaf of graded quasi-coherent algebras $\mathcal{A}^*$, that yields a cone $C$ (in the sense of Fulton's intersection theory). Suppose that $\mathcal{A}^1$ is a ...
- 121
2
votes
0
answers
206
views
Rank of the top Chow group
Let $X$ be a regular integal scheme of finite type over $\mathbb Z$ and assume that $X$ has dimension $d$. In general it is not known if the Chow groups $CH^q(X)$ ($q$ is the codimension) are finitely ...
- 1,237
2
votes
0
answers
239
views
Localization of Chow groups and flat base change
For any flat morphism $f:X\rightarrow Y$, we have a flat pullback of Chow groups
$$Ch^i(Y)\rightarrow Ch^i(X).$$
A particular example of this is of course an open immersion $U\rightarrow X$. In that ...
- 4,418
2
votes
0
answers
327
views
Analytic and algebraic definitions of intersection multiplicity of two complex algebraic curves coincide
There are two definitions of intersection multiplicity of two complex algebraic plane curves. One of them is given in An introduction to algebraic curves by Griffiths. Let $t \mapsto (t^k, y(t) )$ be ...
- 1,168
2
votes
0
answers
321
views
Surjectivity of pushforward on Chow rings for stacks
Let $f:X\rightarrow Y$ be a proper morphism of smooth Deligne-Mumford stacks of finite type over $\mathbb{C}$ that is birational, but not flat. The coarse spaces of $X$ and $Y$ are both not smooth. Is ...
- 776
2
votes
0
answers
334
views
Functoriality of Chern-Fulton's class
Let $X$ be a, possibly singular, algebraic variety embedded as a closed subvariety of a manifold $M$ with map $i : X \rightarrow M$, and $\pi : \tilde{M} \rightarrow M$ be a proper birational map with ...
- 151
2
votes
0
answers
170
views
Triple link in a 5-sphere -- Proposal
In this post I would like to propose a triple 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
2
votes
0
answers
186
views
Splittings in the difference bundle construction of Atiyah-Hirzebruch
I'm reading the construction of difference bundle(generalized) in the paper of Atiyah-Hirzebruch(Analytic cycles on complex manifolds)
There is one thing I cannot understand. The followings are in ...
- 421
2
votes
1
answer
663
views
A "boundary map" for the algebraic equivalence relation of cycles
In what follows by projective variety I will mean the zero locus of homegeneous polynomials in some projective space. Anyway, feel free to deal with a sufficiently good scheme if you want.
Let $X$ be ...
- 1,252
2
votes
0
answers
219
views
Liftability of varieties, after fpqc base change
Let $X$ be a smooth projective variety over a finite field, with a closed immersion to some other smooth projective variety $S$, with $S$ liftable.
Suppose there exists an fpqc cover $S'\to S$, such ...
user124171
2
votes
0
answers
136
views
Explanation of proposition 6.7 (a) of Fulton's Intersetion Theory
Suppose $X$ is a smooth variety over a field $k$ of characteristic zero, and $Z$ is a smooth subvariety of codimension d. Now let $\tilde{X}$ be the blow-up of $X$ at $Z$, and let the exceptional ...
- 2,971
2
votes
0
answers
256
views
Neron Severi under specialization
Let $X$ be a smooth projective variety over $\mathbf{Q}$, and $\mathcal{X}$ a smooth projective model over $\mathbf{Z}[1/N]$ for $N$ large enough.
Call $\eta$ the generic point $\text{Spec}(\mathbf{Q}...
user95222
2
votes
0
answers
656
views
Specialization maps for Chow groups
Let $S$ be a finite type regular integral affine scheme of finite type over $\text{Spec}(\mathbf{Z})$, and $\mathcal{X}\to S$ a smooth projective morphism. Let $\eta$ be the generic point of $S$, $s\...
user119470
2
votes
0
answers
239
views
Group completion of Chow varieties
Let $X$ be a quasi-projective variety over a perfect field $k$.
Given a projective embedding $j : X\to \mathbf{P}(\mathscr{E})$, the Chow variety $\text{Chow}_r(X, j)$ is a quasi-projective variety ...
user113393