The intersection-theory tag has no usage guidance.

**3**

votes

**0**answers

60 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 \...

**1**

vote

**0**answers

31 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 $...

**4**

votes

**0**answers

75 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 $...

**3**

votes

**0**answers

115 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$)....

**0**

votes

**0**answers

143 views

### Is sum $(E_i, E_j)$ non-positive, with $E_i$'s the exceptional components of a desingularization

Let $Y$ be an integral normal 2-dimensional scheme and let $X\longrightarrow S$ be a flat projective morphism, where $S$ is a Dedekind scheme.
Let $f:X\longrightarrow Y$ be a minimal resolution of ...

**6**

votes

**0**answers

179 views

### Semi-continuity of intersection numbers

I always trusted the following quite vague statement:
If you have a family of effective divisors $D_1(t),\dots , D_k(t)$ on a $k$-dimensional projective variety $X_t$, where $t$ is a paramater say ...

**1**

vote

**0**answers

107 views

### A strong form of Bezout theorem

Let $X$ be a smooth projective variety of dimension $n$, $U \subset X$, non-empty open set. For any integer $k>0$, does there exist $n$-hypersurface sections $Z_1,...,Z_n \in |\mathcal{O}_X(k)|$ ...

**4**

votes

**1**answer

96 views

### The volume around a singular isolated root when equalities are loosened

Suppose I have a system of polynomial equations in $n$ real variables $f_i(x_1,\ldots,x_n)=0$, $i=1,\ldots,m$, such that $0$ is an isolated solution. Now I replace each of the equations with a double-...

**29**

votes

**1**answer

632 views

### $8$-ary operation $(\mathbb{P}^2)^8 \text{ }-\to \mathbb{P}^2$, can we say anything about what this formula would look like?

My friend, who is currently taking an algebraic geometry course from an unnamed prolific poster on MO, told me about the following bonus question on one of his problem sets a few weeks ago.
...

**1**

vote

**0**answers

29 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 ...

**3**

votes

**0**answers

168 views

### Computing intersection number of two arithmetic line bundles

I have some questions in Arithmetic Arakelov geometry
Let $\mathcal X\to Spec(\mathcal O_K)=C$ be an arithmetric projective variety over $C$ , where $\mathcal O_K$, ring of number filed $K$ and $\...

**2**

votes

**2**answers

158 views

### Intersection of Subspaces with $O(3)$

Sorry for the confusion from earlier. I tried to fix the thread. The old version can be found below.
For $6$-dimensional subspaces $V$ of the space $\mathbb{R}^{3\times 3}$ of real three-times-three ...

**0**

votes

**0**answers

101 views

### Chern classes of a family and Chern classes of a member

Let $X$ be a smooth projective variety over an algebraically closed field $k$ and $\mathcal E$ a family on torsion free coherent sheaves on $X$ parametrized by a smooth curve (over $k$) i.e. a ...

**1**

vote

**1**answer

83 views

### Intersection product of pull back under projection

Let $X$ be a surface and $Y$ be a curve over $\mathbb{C}$. Let $L$ and $L'$ be ample line bundles on $X$ and $Y$ respectively. Consider the product $X\times Y$. Let $p$ and $q$ be the projection from $...

**2**

votes

**1**answer

93 views

### Calculating the distinguished varieties of intersection product

In Fulton's Intersection theory Example 6.1.2，one considers two divisors on $\mathbf{P}^2$ given by $D_1=A+2B,D_2=2A+B$, where $A,B$ are lines meeting at a point.
Let $X=D_1\times D_2,Y=\mathbf{P}^2\...

**11**

votes

**3**answers

1k views

### Can a curve intersect a given curve only at given points?

Clearly the question in the title has a positive answer for analytic (or smooth, or continuous ...) curves, but what about the algebraic category? More specifically, given an irreducible polynomial ...

**0**

votes

**0**answers

95 views

### Showing that closure of all lines through a projective variety $Y$ has degree strictly less than $Y$

Let $Y$ be a variety of dimension $r$ and degree $d>1$ in $\mathbf{P}^n$. Let $P\in Y$ be a nonsingular point. Define $X$ to be the closure of the union of all lines $PQ$, where $Q\in Y$, $Q\ne P$. ...

**2**

votes

**0**answers

95 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^![...

**1**

vote

**0**answers

73 views

### Endomorphism of Chow goup induced by a birational map

Let $\phi:X\dashrightarrow Y$ be a birational map between smooth projective $k$-varieties ($k=\bar k$) and $\Gamma$ be the closure of the graph of $\phi$. In Fulton's intersection theory example 16.1....

**14**

votes

**2**answers

461 views

### What does taking the graded algebra do to the Grothendieck group, and its relation to the Chow ring?

Let $X$ be a nonsingular variety. (Perhaps some/all of this works over more general smooth schemes, but let's stick to the simple case.)
In, e.g., Fulton's Intersection Theory chapter 15, and Soule's ...

**1**

vote

**0**answers

75 views

### Intersection of affine subspaces with specific Veronese variety

Consider the mapping
$$ \Psi: \mathbb R^2 \times \mathbb R^2 \to \mathbb R^5, \\
\Psi(x^{(1)},x^{(2)}) = \begin{pmatrix} x_1^{(1)} + x_1^{(2)} \\ x_2^{(1)} + x_2^{(2)} \\ (x_1^{(1)})^2 + (x_1^{(2)})^...

**4**

votes

**0**answers

161 views

### Pullback/pushforward of bivariant intersection classes

In chapter 17 of Fulton's Intersection Theory, he defines a bivariant intersection theory. I'm a bit puzzled by the pushforward/pullback he defines on page 322-323, though; they seem not analogous to ...

**4**

votes

**1**answer

537 views

### On a fiber square flat pullback commutes with proper pushforward

I'm working through Fulton's intersection theory book and I've been stuck on the end of Prop 1.7, i.e. that flat pullbacks commute with proper pushforwards for fibre squares. Specifically I ...

**2**

votes

**0**answers

183 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$ ...

**1**

vote

**0**answers

77 views

### What is the Segre class of a generating line of a cone

Suppose $U=\textrm{Proj}\ k[X,Y,Z,W]/(XY-Z^2)$ is the projective closure of an affine cone, let $V$ be a generating line of the cone $V=V(Y,Z)$, how do we calculate the Segre class $s(V,U)$?
(We can ...

**0**

votes

**0**answers

124 views

### Chern classes of ideal sheaf of locally complete intersection

Let $C\varsubsetneq X$ be a reducible locally complete intersection closed pure $1$-dimensional subscheme in a smooth projective variety of dimension $3$ over a algebraically closed field $k$ of ...

**4**

votes

**0**answers

311 views

### Pull-push formula?

There are many contexts in which the push-pull formula $f_*(f^*(\alpha)\cdot \beta) = \alpha \cdot f_*(\beta)$ holds. I am interesting mostly in the case of algebraic K-theory and Chow rings (under ...

**0**

votes

**0**answers

287 views

### Probability two random intervals overlap

I'm working on an algorithm for orthogonal line intersection detection and am trying to analyze some things about it. For simplicity, we can consider the problem as follows:
Given N randomly ...

**7**

votes

**1**answer

218 views

### Smooth quadric hypersurface, Hilbert scheme is blowup of Grassmannian?

Let $Q \subset \mathbb{P}^n$ be a smooth quadric hypersurface. Where can I find a proof of/can anyone supply a proof of$$\text{Hilb}_{2m + 1}(Q) \cong \text{Bl}_{OG(3, n+1)}G(3, n+1)?$$Can we conclude ...

**1**

vote

**1**answer

162 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 ...

**4**

votes

**1**answer

184 views

### Bézout's theorem for arcs in the plane

Consider two polynomials $p,q \in {\mathbb R}[x,y]$, both of degree $d$. Let $\gamma_p$ and $\gamma_q$ be the two curves in ${\mathbb R}^2$ that are defined by these polynomials, and assume that these ...

**0**

votes

**0**answers

141 views

### Transversal intersection in the moving lemma

Let $X$ be a smooth projective variety over an algebraically closed field and let $A,B$ be closed irreducible subvarieties of $X$. Chow's moving lemma which is proved in the book by Eisenbud and ...

**2**

votes

**1**answer

286 views

### What does the Chern-Schwartz-MacPherson class of a singular variety look like?

Let $A_\ast$ and $F_\ast$ be the functors $\textrm{Var}_\mathbb C\to \textrm{Ab}$ of Chow groups and constructible functions, respectively, with respect to proper maps. Then the Chern-Schwartz-...

**3**

votes

**0**answers

149 views

### On the local Euler obstruction for singular varieties

Let $X$ be a complex algebraic variety (not necessarily irreducible, nor reduced). Then the local Euler obstruction is a group isomorphism $$\textrm{Eu}: Z_\ast X\to F_\ast X,$$ where $Z_\ast X$ is ...

**4**

votes

**0**answers

174 views

### Why write GRR with the relative tangent sheaf?

The first published version of the Grothendieck-Riemann-Roch theorem, GRR for short, was written in the form
$$
\operatorname{ch}(f_!\alpha).\operatorname{Td}(Y)
=
f_*\left(\operatorname{ch}(\alpha).\...

**3**

votes

**0**answers

101 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 ...

**0**

votes

**1**answer

117 views

### Continuity of Intersection Multiplicities

I’m looking for a correct technical version (and in the best case a reference) for a statement of the following type:
Consider a complex algebraic variety $X\subset\mathbb{P}^n$ and a sequence of ...

**0**

votes

**1**answer

145 views

### Samuel multiplicity

Let $X$ be the hyper-surface defined by
$$f:=\sum_{i=1}^k x_i^n=0$$
in $\mathbb{C}^k$. Let $Y$ be the non-reduced sub-scheme of $X$ defined by the ideal
$$I=(x_1^{n-1},\dots , x_k^{n-1}) $$
What is ...

**1**

vote

**0**answers

148 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$ ...

**1**

vote

**1**answer

363 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$...

**0**

votes

**1**answer

102 views

### Intersection multiplicty and global sections

Let $X$ be a smooth projective variety, $V, W$ closed subschemes in $X$ such that $V \cap W$ is finitely many points. Let $\mathcal{L}$ be a line bundle on $X$. Is there any relation between $h^0(\...

**2**

votes

**1**answer

239 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."...

**2**

votes

**1**answer

336 views

### A question about an intersection number

Let $\pi:Y\rightarrow \mathbb{P}^3$ be the blow-up of two points $p,q\in\mathbb{P}^3$, and then of the strict transform of the line $L$ spanned by them. Now, Let $E_p,E_q, E_{p,q}$ be respectively the ...

**0**

votes

**1**answer

136 views

### Intersection Matrix of a resolution

Probably this is a very easy question. Let $f:X\rightarrow S$ be a resolution of a projective surface such that
$$K_X = f^{*}K_S+\sum_ia_iE_i$$
with $a_i>0$. By Grauert-Mumford theorem the ...

**14**

votes

**1**answer

652 views

### Link: Serre's intersection formula <-> Bloch-Quillen Thm / When only intersecting divisors, is there 'shorter' approach of proof known?

In very short:
When proving the equivalence of intersection theory constructed through (Milnor) K-sheaves and their product vs. defining the product via Serre's local multiplicity formula + moving, I ...

**2**

votes

**0**answers

186 views

### When is the intersection number well-defined?

According to 1.34 of Birational Geometry of Algebraic Varieties(J.Kollár, S.Mori),
there are at least 4 ways(classical approach, cohomological approach, general intersection theory and topological ...

**2**

votes

**0**answers

155 views

### Is complex surface in CP(3) a two handlebody?

Consider a complex surface given by homogeneous equation in $\mathbb{C}P^3$. Without loss of generality, take
\begin{equation}
S = \{[x:y:z:w] \in \mathbb{C}P^3~ |~ x^d + y^d + z^d + w^d = 0\}
\end{...

**1**

vote

**0**answers

133 views

### Sufficient conditions to get complete intersection curves

Let $H_1,H_2\cdots,H_{d-1}$ be hypersurfaces in $\mathbb{P}^d$, if the intersection $B:=H_1\cap H_2\cap \cdots \cap H_{d-1}$ is $1$-dimensional then it is called a complete intersection curve.
What ...

**1**

vote

**1**answer

221 views

### Analogy between variable substitution and the moving lemma

While reading the HoTT book, I came up with the following (very) vague analogy:
Consider $f(x) :\equiv \lambda y.x+y$ of type, say, $f: \mathbb{N} \to \mathbb{N} \to \mathbb{N}$. Also assume you ...

**0**

votes

**0**answers

93 views

### birational equivalence of linear sections of algebraic varieties

Let $X$ be an irreducible algebraic variety and suppose that $L$ is a linear space defined by the linear forms $l_1,l_2,\ldots,l_k$. I want to study $L\cap X$. I would like to know whether the ...