Is there an axiomatic intersection theory? What I expect is something like: An intersection theory is a functor from the category of schemes(or other spaces) to the category of al …

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 su …

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 (Sam …

What are situations where one can conclude that all entries of an intersection form are divisible by an integer? More precisely: $F \subset S$ is a proper connected (usually red …

I am trying to figure out something concerning the index of lattices. The question came about after reading the paper of W.Fulton and B.Sturmfels, ("Intersection theorey on toric …

Let $X, Y$ be projective varieties in $\mathbb{P}^n$ for $n>10$. Assume that dimensions of $X,Y$ are greater than $n/2$. My first question is as follows: Is there a …

Let $S$ be a compact submanifold of $X$ smooth manifold. I know that $T_X|_S=T_S\oplus N_{S/X}$ where $N_{S/X}$ is the normal bundle. I have read that the euler class $e(N_{S/X})$ …

The following baby version of virtual fundamental cycle is well known: Let $M\subset V$ be the zero locus of a section $s$ of a vector bandle $E \to V$, in general $s$ is not tran …

Situation: Let $\Bbbk$ be an algebraically closed field. Assume that $\pi:Y\to X$ is an finite, dominant, unramified morphism between nonsingular varieties of dimensions $n$. Let $ …

I was looking in Ravi Vakil's notes on Intersection Theory, Class 20, where he introduces the bivariant intersection theory, in particular the Chow ring $A^\ast (X)$. On p. 2, he …

Let $f:X \to Y$ be a flat morphism, such that each fiber is isomorphic to the affine space $\mathbb{A}^n$. Then is is true that $f$ is a Zariski affine bundle? If not, is it at lea …

The classical lefschetz fixpoint theorem is stated for oriented compact manifolds $M$ and a smooth map $f:M\to M$ as follows: the intersection number $I(\Delta, \mathrm{graph}(f))$ …

Let $X/k$ be a surface nonsingular and proper over an algebraically closed field $k$. Let $C \subset X$ be a nonsingular curve. Then it is clear that the self-intersection $(C \cdo …

Let $X$ be a smooth projective variety over a fixed field $k$ (take $k = \mathbb{C}$ if necessary). For a vector bundle $E$ on $X$, $ch(E)$ will be in the Chow ring. $\textbf{Ques …

Fix an algebraically closed field $k$ (arbitrary characteristic), all schemes will be of finite type over $k$. (Property *): I'm interested in (classes of) examples of schemes $X$ …