All Questions
Tagged with intersection-theory ag.algebraic-geometry
329 questions
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
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,428
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
323
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
335
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
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
2
votes
0
answers
261
views
Codimension restrictions on intersections
This is a question I stumbled across earlier this week. I see a similar one has been asked here.
Suppose I have a smooth quasi projective variety $X$ over a field $K$, and I call $\text{Chow}^r(X\...
user113452
2
votes
0
answers
228
views
On a class of loci in Chow varieties
Let $k$ be a field, $i:X\hookrightarrow \mathbf{P}(\mathscr{E})$ be a fixed projective embedding of a smooth projective $k$-variety $X$, whose dimension is pure and equals $d\ge 0$.
For $0\le p\le d$,...
user95222
2
votes
0
answers
200
views
Top intersections on the Hilbert scheme of points on a surface
The Picard group of $S^{[n]}$ is generated by the Picard group of $S$ (via a map $L \mapsto L_n$) and $E$, where $E = -\frac{B}{2}$, where $B$ is the exceptional divisor of the Hilbert Chow morphism.
...
- 1,509
2
votes
0
answers
250
views
Computing higher dimensional intersection numbers for complete intersections of $\mathbb P^n$
Let $X_1,X_2$ be two smooth hypersurfaces of degree $d$ in $\mathbb P^{n}$. Let $B=X_1\cap X_2$. Assume $B$ is smooth. Let $\mathcal N_{B/\mathbb P^n}$ be the normal bundle to $B$. Let $H$ be the ...
- 2,215
2
votes
0
answers
99
views
Class of the locus where two sections are proportional
Let $X$ be a smooth (complex) projective $n$-dimensional variety ($n\geq 3$) and $\mathcal E$ a vector bundle of rank $r<n$ generated by its global sections on $X$. Let $\sigma\in H^0(\mathcal E)$ ...
- 1,463
2
votes
1
answer
139
views
Intersection multiplicity of limit linear spaces
Let $X\subset\mathbb{P}^N$ be a smooth projective variety. Let us fix a general point $q \in X$, and let $C\subseteq X$ be a smooth curve passing through $q$.
Now let $\Lambda_{\xi, q}$, with $\xi \...
user91659
2
votes
0
answers
94
views
Tropical self intersection number of boundary divisor on toroidal embedding
Let $X_0 \subset X$ a toroidal embedding without self intersections and denote by $\overline{\Sigma}$ its corresponding (weakly embedded) extended conical simplicial complex. Let $D$ be a divisor on $...
- 357
2
votes
0
answers
132
views
Common Point of Intersection of n-dimensional ellipsoids [closed]
Suppose we have two ellipses in 2-dimensions centered at the origin. It is easy to visualize that (unless one is contained in the other) they will have 4 points of intersection. Can we say that in ...
- 21
2
votes
0
answers
288
views
Is the Gysin pullback of an effective cycle effective?
Suppose $E$ is a rank $r$ vector bundle over a projective variety $X$, denote the zero section by $i\colon X\to E$. Given an effective cycle $a\in A_{k+r}(E)$, the Gysin pullback gives us a class $i^
- 73
2
votes
0
answers
187
views
bijection of moduli space of equivariant holomorphic embeddings
Consider the moduli space $\mathcal{M}$ of equivariant holomorphic embeddings of closed oriented Riemann surfaces into a generic quintic three-fold $X$ in $\mathbb{P}^4,$ of given degree $d \in H_2(X,...
- 533
2
votes
0
answers
333
views
Negative self intersection and section of the conormal sheaf for a singular complex curve
Let $M$ be a complex $2$-dimensional manifold and $C$ be a compact complex curve in $M$ (possibly singular).
Let us suppose that there exists a holomorphic function $f\in\mathcal{O}(M)$ such that
$f$ ...
- 1,205
2
votes
0
answers
245
views
Segre class of cones and Base change of projective cones
I'm trying to work out a result in Fulton's intersection theory and I think I need the following basic result about base change of projective cones (whose support may not be the entire base scheme).
...
- 3,555
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
1
vote
1
answer
988
views
A Theorem in Intersection theory.
Fulton's Book on intersection theory (Pg.223, theorem 12.3) asserts the following result:
For r pure dimensional schemes in P^n, whose co-dimensions add to at most n, the product of their degrees is ...
- 55
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
1
answer
435
views
Properties of codimension under pull back
If I pull back a cycle of codimension $c$ along a morphism of schemes I can easily see that the codimension can stay the same or the codimension can drop to all the way to $0$. But intuitively it ...
- 3,968
1
vote
1
answer
2k
views
Intersection number of divisors with its pull back and its push forward
I am in an ideal situation but I would appreciate a hint. First here is the scenario.
Let $\mathcal{J}$ be an the abelian variety obtained from the Jacobian of a genus $2$ curve $\mathcal{H}/k$ ...
1
vote
1
answer
457
views
Non-proper intersection of surfaces
I'm interested in the first basic case of excess intersection in intersection theory:
Let $X$ be a smooth projective 4-fold and let $S,T$ be two surfaces in $X$. Assume that the intersection $S\cap T$...
- 597
1
vote
1
answer
375
views
Nef classes on abelian varieties in positive characteristic
Thomas Bauer shows in http://arxiv.org/pdf/alg-geom/9712019v1.pdf that for a complex abelian variety a nef line bundle is numerically equivalent to an effective divisor (this is shown in Lemma 1.1). ...
- 663
1
vote
1
answer
212
views
Putting two complete varieties in a family over the projective line
Let $X$ and $Y$ be two proper varieties of dimension $n$ over a field $k$. I'm looking for "reasonable" conditions, under which, there exists a proper and dominant morphism $f:V\to \mathbb{P}^1_k$, ...
- 137
1
vote
1
answer
711
views
Degree of a real algebraic variety and regular morphisms
I'm reading Fulton's "Intersection theory", which i need for some applied needs.
And i have two questions on general definition of degree used in Fulton.
1)Let us we have a real algebraic variety ...
- 413
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
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
1
answer
387
views
Tor-amplitude [0, 1] in the setting of intersection theory on a regular surface?
The question is coming from Definition 1.5 in Deligne's Expose X in SGA 7 on intersection theory.
Let $X$ be a connected regular scheme of dimension $2$ and $Y \subset X$ a reduced divisor that ...
- 825
1
vote
1
answer
377
views
Deformation space form the point of view of intersection theory
I'm interested in deformations of subvarieties of a toric variety $X$.
Suppose we know a subvariety $V$ in the Chow group of $X$, for example, $V$ is a linear combination of powers of hypersurfaces. ...
- 5,063
1
vote
1
answer
519
views
Does every ample divisor "span" a hyperplane?
Let $X\subset\mathbb{P}^n$ be a smooth projective variety of dimension $\geq 2$ and assume that it is not contained in any hyperplane. Now, take some hyperplane $H\subset\mathbb{P}^n$ and consider the ...
- 267
1
vote
1
answer
297
views
Intersection positivity for curves and surfaces
Let $X$ be a smooth complete variety over an algebraically closed field of dimension $\geq3$. Given a divisor $D_1$ on $X$ with $D_1 \cdot C>0$ for every curve $C \subset X$, and a divisor $D_2$ ...
- 631
1
vote
1
answer
2k
views
How I calculate degree of the algebraic curve?
Let F be algebraically closed field. Let C be a curve in F^n defined as zeroes of polynomials $p_1(x_1,\ldots,x_n),..,p_{n-1}(x_1,\ldots x_n)$.
Let us define degree of the curve as $\max_S \{ S\cap C ...
- 2,179
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 ...
- 6,006
1
vote
1
answer
301
views
Schubert cycles that intersect generically transversely
Let $\mathcal{V}= 0 \subset V_1 \subset \cdots \subset V_{n-1}\subset V_n=V$, $\mathcal{W}=0 \subset W_1 \subset \cdots \subset W_{n-1} \subset W_n=W$ be two flags. We say that $\mathcal{V}$ and $\...
- 115