All Questions
Tagged with intersection-theory ag.algebraic-geometry
329 questions
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 $\{...
- 6,006
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
279
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
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
216
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
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
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
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
952
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
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
2
votes
1
answer
389
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
616
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
606
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
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
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
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