In mathematics, intersection theory is a branch of algebraic geometry, where subvarieties are intersected on an algebraic variety, and of algebraic topology, where intersections are computed within the cohomology ring. (Ref: http://en.m.wikipedia.org/wiki/Intersection_theory)

learn more… | top users | synonyms

1
vote
2answers
48 views

Spacecurve of intersection between surfaces

Problem The spacecurve of intersection between the surfaces $opp$ & $\alpha$ (above z=3) has to be found, i.e. the intersection of the blue and green surface, above the red pane (z=3). Plots ...
0
votes
2answers
30 views

Polygon and line intersection

Does anyone help me with the fast algorithm to determine the intersection of a polygon (rotated rectangle) and a line (definite by 2 points)? The only true/false result is needed.
0
votes
0answers
28 views

Self-intersection number of fibered surface

Let $R$ be a complete discrete valuation ring with residue field $k$ (can assume algebraically closed), $f:X \to \mathrm{Spec}(R)$ a flat, proper family of projective curves (i.e., $f$ is also ...
1
vote
1answer
31 views

A fourth degree curve with four singular points is reducible

I'm trying to learn some algebraic geometry, and I would like to know if the following approach is correct. I would like to show that a fourth degree curve in $P\mathbb C^2$ with four singular ...
0
votes
1answer
36 views

Intersection product of line bundles with $\mathcal{F}$.

I am having trouble with computing the intersection number using the following definition [Ref Vakil Chapter 20]: Suppose $\mathcal{F}$ is a coherent sheaf on $X$ with proper support of ...
0
votes
1answer
20 views

Knowing two Vectors, and the distance to a 3rd, how to get the 3rd

If i know the two Vectors v1 and v2, which discripe points in a 2D space, and i also know that a vector v3 is on the line segment between v1 and v2, how can i get the x and y coodinates of v3 if the ...
2
votes
0answers
55 views

Calculating intersection with diagonal in $\mathbb{P}^2 \times \mathbb{P}^2$

The following is example 6.1.2 from Fulton, Intersection Theory. Denote projective coordinates on $\mathbb{P}^2$ by $[x,y,z]$, and on $Y=\mathbb{P}^2 \times \mathbb{P}^2$ by $([x,y,z],[u,v,w])$. ...
4
votes
0answers
69 views

Geometry of cubic 3-fold

I'm having some questions about the geometry of the cubic 3-fold. Every variety is over $\mathbb C$. Take $Y$ a smooth cubic 3-fold in $\mathbb P^4$ and $E$ a curve of degree 6 and genus 1 contained ...
1
vote
1answer
61 views

Ideal sheaf of intersection of two surfaces in $\mathbb P^3$

Let X be an intersection of 2 surfaces of degree $d_1,d_2$ in $\mathbb P^3$. Is it true that there is a short exact sequence $$ ...
3
votes
0answers
87 views

When does a homogeneous morphism have only finite fibers?

Suppose that we have a map ${\bf f}:=(f_1,f_2,\cdots ,f_n):\mathbb{C}^n\rightarrow \mathbb{C}^n$ given by $$ \mathbb{C}^n\ni {\bf z}:=(z_1,z_1,\cdots,z_n)\rightarrow \big(f_1({\bf z}),f_2({\bf ...
0
votes
0answers
49 views

Line intersection with Sphere

I'm trying to get a formula for calculating intersection points of a line with a sphere (3d space). I've been following this one: Wiki Line-sphere intersection But I'm 99% sure that this one is ...
0
votes
0answers
31 views

Intersection of two convex lattices polygons

A convex lattice polygon is a polygon whose vertices are points on the integer lattice. Let P and Q two convex lattice polygons with n ,(resp. m) vertices. Let R be the convex lattice polygon ...
2
votes
0answers
20 views

definition of cycle theoretic fibre

I am studying the definition of Chow variety on Kollar's Rational Curves on Algebraic Varieties, and I am having some trouble in understanding Definition 3.9. Here we have a proper morphism of ...
1
vote
0answers
19 views

Intersection numbers on blow ups of toric varieties

Suppose we have a smooth, complete toric varietiy $X_{\Sigma}$ of dimension $n$. Let $\sigma_k \in \Sigma(k)$ a smooth $k$-dimensional cone in $\Sigma$ and suppose we make the toric blow up at the ...
1
vote
1answer
63 views

finding discrète coordinate of Intersection of two convex polygon?

I seek for cartésien coordinate of vertex's of the intersection area between two polygons ? We have two convex polygon's P & Q such that : all vertex of P (resp. Q) are in 2D cartésien plane. I ...
1
vote
1answer
22 views

Are transverse maps in intersection theory local diffeomorphisms?

Suppose that $f: X \rightarrow Y$ and $Z$ is a submanifold of $Y$, all boundaryless. Suppose that $f$ is transverse to $Z$, so that: $$df_x T_xX + T_{f(x)}Z = T_{f(x)}Y$$ for every $x \in f^{-1}(Z)$ ...
1
vote
1answer
56 views

Lines on a singular cubic surface

How many lines the cubic surfaces $xyz=w^3 \in \mathbb P^3$ has? I found only three: $x=w=0$, $y=w=0$ and $z=w=0$. How to prove that there are no other lines? Also, this surface is singular, is it ...
1
vote
2answers
124 views

Tangential space to the rational normal curve

Exercise 15.5 (Harris, Algebraic Geometry: A First Course): Describe the tangential surface to the twisted cubic curve $C \subset \mathbb P^3$. In particular, show that it is a quartic surface. What ...
1
vote
0answers
28 views

Explicit value of $\overline{\mathcal{O}}_{\mathbb{P}^1(\mathbb{Z})}(1).\overline{\mathcal{O}}_{\mathbb{P}^1(\mathbb{Z})}(1) $

Let us consider the Fubini-Study metric on the part at infinity of the line bundle $\mathcal{O}_{\mathbb{P}^1(\mathbb{Z})}(1)$ to obtain the Hermitian line bundle ...
1
vote
1answer
34 views

Find the intersection between two lines in a polar notation

I've a polar chart in an application, which displays a curve: I would like to add a functionality when I click on the plot. When I click(at the point M here), I know the orientation and amplitude ...
1
vote
0answers
26 views

Orthogonal spaces, span-formula

I read in a book this formula: ($v_i$ are vectors of an euclidean vector space, each one $\neq$ 0) $(\cap v_i ^\bot )^\bot = \sum v_i^{\bot \bot}$, The intersection and the sum are build over a ...
6
votes
1answer
212 views

Intersection theory proof of the poincare hopf theorem.

Suppose that $M$ is a connected compact oriented smooth manifold, and $X:M\rightarrow TM$ a vector field with isolated zeros. Then if $Z$ is the zero set of $X$ (a $0$-dimensional oriented manifold), ...
0
votes
3answers
84 views

Point inside the area of two overlapped triangles

The question is as simple as that, but I have been trying to figure out an answer (and searching for it) with 0 results. I mean, given two triangles (in 2D) I want to find just a single point which ...
0
votes
1answer
18 views

Proving that the intersection over a general index is the null set

Prove that the generalized intersection of the interval $[n,n+2]$ is the empty set. I can prove this by contradiction by assuming that there there is an $x$ in the intersection such that $n+2<x.$ ...
1
vote
1answer
124 views

Intersection multiplicity , Hilbert samuel polynomials and normal cones

I'm in the process of reading some parts of Fulton's "Introduction to intersection theory" and there's a short part there which I don't quite understand where I think I'm missing something obvious. ...
0
votes
1answer
36 views

Self-intersection of the canonical sheaf of product of varieties

Let $X$ and $Y$ to be two smooth projective algebraic varieties of dimension $n$ and $m$, respectively. Then, $K_{X\times Y}=\operatorname{pr}_1^*K_X+\operatorname{pr}_2^*K_Y$. Can we can compute ...
1
vote
3answers
42 views

Size of the product of two subgroups

Let $(G, \ast)$ be a group and let $H\le G$ and $K\le G$ be subgroups of $G$. Prove that $|HK|$=$\frac{|H|\cdot|K|}{|H\cap K|}$. Intuitively this is quite obviously true, as otherwise the products of ...
2
votes
0answers
39 views

Restriction and intersection

Say $X$ is a smooth threefold, and $A$, $B$, and $C$ are three smooth divisors on $X$. Is it true that the three-way intersection $(A \cdot B \cdot C)_X$ is equal to the intersection $(A\vert_C \cdot ...
1
vote
3answers
96 views

Geometric proof: Legs intersect on CM (median of triangle)

$M$ is the midpoint of $AB$ in the triangle $\triangle ABC$. The angle $\angle ACM$ is copied and drawn on the leg $AB$ in $A$. The angle $\angle MCB$ is copied and drawn on the leg $BA$ in $B$. The ...
1
vote
1answer
57 views

Find the intersection point of a great circle arc and latitude line

In spherical geometry, I need to know at what longitude λ a great circle arc φ1,λ1-φ2,λ2 has intersected a line of latitude φ. I have found the equivalent equation for solving latitude φ for an ...
0
votes
0answers
28 views

If $f\colon X\to Y$ is nullhomotopic, then $I_2(f,Z)=0$ for closed $Z\subset Y$ of complementary dimension?

I think I have a near solution, but one doubt. Problem 2.4.4 on page 83 of Guillemin and Pollack asks If $f\colon X\to Y$ is homotopic to a constant map, show that $I_2(f,Z)=0$ for all ...
1
vote
0answers
54 views

Given the equation of a cylinder $ x^2+z^2=1,$ find the parametric and locus form of the curve of intersection with plane

Given the equation of a cylinder $x^2+z^2=1,$ describe the curve of intersection between the cylinder & the planes z=x & y=x in the parametric form & the form F(x,y,z)=0. I am so lost ...
1
vote
1answer
82 views

Calculate the intersection numbers by a plane section

This question is from the chapter A of Reid's note: Chapters on algebraic surfaces Let X = X$_d$ $\subset$ P$^3$ be a nonsingular surface of degree d and suppose that X has a plane section P ...
2
votes
1answer
43 views

Self-intersection of a cycle

If $X$ is a smooth projective variety of dimension $2n$, and $V \subset X$ is a smooth subvariety of dimension $\geq n$, then $V \cdot V$ makes sense as a class as an element of the Chow ring ...
1
vote
1answer
48 views

Trouble doing polynomial interpolation

I need to do a polynomial interpolation of a set $N$ of experimental points; the functional form I have to use to interpolate is this: $$ f(x) = a + bx^2 + cx^4,$$ as you can see the coefficient that ...
1
vote
0answers
62 views

A question about intersection number on surfaces

This question is from the Qing Liu's book: Algebraic Geometry and Arithmetic Curves, Exercise 9.1.6. Let $X\to S$ be an arithmetic surface and $X_s$ a closed fiber. Let $C_1,...,C_m$ denote the ...
0
votes
0answers
46 views

Meaning of “local equation” of a divisor.

Let $X$ be a smooth surface and moreover let $C,D$ be two effective divisors of $X$. Hartshorne says (page 357) that $C$ and $D$ meet transversally if the local equations $f,g$ of $C,D$ at $P$ ...
4
votes
1answer
114 views

Calculating canonical divisor in product of projective spaces.

Let $X$ be an intersection of two divisors of bidegree $(a,b)$ and $(c,d)$ in $\mathbb{P^2}\times \mathbb{P^2}$. Then how can I find the canonical divisor $K_X$? I'm asking because I have no ...
0
votes
0answers
76 views

Basic question: degree of normal bundle is not self-intersection number

For $C$ a (possibly singular) curve on a nonsingular projective surface $X$, let's define $C^2=deg_C(\mathcal{O}_X(C))$. Why is it not the same as $deg_C(N_{X|C})$ when $C$ is singular? Why do ...
2
votes
1answer
74 views

Questions about intersection of linear varieties in a projective space

Let $X, Y, Z$ be linear varieties of dimension $r, s, t$ respectively in $\mathbb{P}^n$. If $r+s\ge n$, then $X\cap Y\neq \varnothing$. Furthermore, if $X\cap Y\neq \varnothing$, then $X\cap Y$ is a ...
3
votes
0answers
60 views

Blowing-up of a linear sub-space is Fano?

Consider $P=\mathbb{P}^3\times \mathbb{P}^1$ with coordinates $([x_0:x_1:x_2:x_3],[u:v])$ and let $\varepsilon:X\to P$ be the blow-up of $\mathbb{P}^2\cong A=(x_3=v=0)\subseteq P$, of pure codimension ...
0
votes
3answers
89 views

Possible Intersection of Intervals

Suppose there are two intervals, where one of them is fixed. Is there a way to calculate all possible intersections of the intervals as shown in the figure? ? Notice that because $a,b$ and $c$ are ...
0
votes
0answers
19 views

antiholomorphic involution action on resolved orbifold of tori

Consider the space $\tilde X= T^2 \times T^2 \times T^2 / G$ where $T^2$ is a torus and $G=Z_2 \times Z_2$ acts as $\theta_1:(z_1,z_2) \mapsto (-z_1,-z_2)$, $\theta_2:(z_2,z_3) \mapsto (-z_2,-z_3)$ ...
7
votes
2answers
82 views

rational quartic in $\mathbb{P}^3$

According to Hartshorne (exercise IV.6.1), a rational curve of degree 4 in $\mathbb{P}^3$ is contained in a unique smooth quadric surface. If this is the case, then it must define a divisor on it. My ...
0
votes
1answer
44 views

how to calculate these intersections without having to count all combinations

We have the following sets: $X= {(a,b,c,d) ∈S: b< c < d},$ $Y= {(a,b,c,d) ∈S: a< c < d},$ $Z= {(a,b,c,d) ∈S: a< b < d},$ $F= {(a,b,c,d) ∈S: a< b < c},$ Where each of ...
0
votes
0answers
85 views

Generalization of Bezout Theorem to many-hypersurface case in Hartshorne's setting

I try to follow the ideas in Hartshorne's Chapter 1, Section 7. Suppose we have algebraic sets $Y_1,...,Y_l$, I try to define their intersection number $I(Y_1,...,Y_l)$ to be the leading term of the ...
2
votes
1answer
61 views

Dimension of moduli of lines on quadric

What is the dimension of the moduli space of lines on a general quadric hypersurface in $\mathbb{P}^n$? Maybe the question is quite trivial, but different intuitive approaches (à la Italian algebraic ...
1
vote
1answer
59 views

Intersection product of submanifolds of complex manifolds - Selfintersection

I do not understand something about the intersection product. I'm kind of new to this topic, so please consider that. I write down everything we discussed in a lecture. We defined the intersection ...
3
votes
2answers
172 views

Definition of intersection multiplicity in Hartshorne VS Fulton for plane curves

In exercise I.5.2 in Harshorne there is the following definition of intersection multiplicity for two curves in $\mathbb{A}^2$: \begin{equation} \mathrm{length}_{\mathcal{O}_P}\mathcal{O}_P / (f,g) ...
3
votes
1answer
19 views

Containment of two varieties with a lot of intersection

Given a projective variety $X\subset \mathbb P^n$ and a curve $C\subset \mathbb P^n$, when can I conclude that $C\subset X$, from the fact that $C$ and $X$ have 'many' points in common. I.e., is there ...