Questions tagged [intersection-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers
51 views

Three annulus intersection problem [migrated]

Recently I faced a problem about intersection of three annuli. Imagine having three annuli same dimensions and you put them next to each other into triangular shape like putting together three circles....
2 votes
0 answers
128 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 ...
3 votes
0 answers
131 views

Simple Grothendieck-Riemann-Roch computation with relative Todd class

$\DeclareMathOperator\Tot{Tot}\DeclareMathOperator\ch{ch}\DeclareMathOperator\td{td}\DeclareMathOperator\ker{ker}\DeclareMathOperator\rk{rk}$I was wondering if the following is correct: Let $X=\Tot(L)$...
1 vote
0 answers
168 views

Todd class of blow-up

Let $i:X\hookrightarrow Y$ be an embedding of two non-singular projective varieties over $\mathbb{C}$. Consider the blow-up $f:Y' = Bl_XY \to Y$, and the corresponding embedding $j:E\hookrightarrow Y'$...
2 votes
1 answer
89 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 ...
1 vote
1 answer
60 views

Number of intersection points of a system of quartic polynomials induced by the projected matrix commutator

Let $A, B \in \mathbb{R}^{d \times d}$ denote two symmetric positive definite matrices. I am interested in solutions $V_r \in \mathbb{R}^{d \times r}, 1 < r < d$ to the system of quartic ...
0 votes
0 answers
217 views

Excision in "3264 and all that" by Eisenbud-Harris

In Proposition 1.14, page 25 in the book "3264 and all that Intersection Theory in Algebraic Geometry" the authors define a right exact sequence: $$ Z(\mathbb{P}^1 \times X) \rightarrow Z(X) ...
1 vote
1 answer
250 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) ...
1 vote
1 answer
513 views

Hilbert polynomial as function of the Segre classes

Let $X\subset\mathbb{P} ^ N$ be a smooth irreducible complex projective variety of dimension 3 (or better yet, dimension $n$). Is it possible to express the Hilbert polynomial of $X$ as a function of ...
2 votes
1 answer
587 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 ...
3 votes
2 answers
348 views

Negative intersection number between curve and effective divisor

Let X be a complex projective variety and E be an irreducible effective divisor on it. Then, I want to know whether the following set is finite: {C | C be an irreducible curve and C.E<0}. I know ...
2 votes
0 answers
104 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 ...
1 vote
1 answer
111 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 ...
1 vote
0 answers
141 views

Multiplicity and the perfect projective line

Let $\mathbf{F}_p$ be the field with $p$ elements, and $X = (\mathbf{P}^1_{\overline{\mathbf{F}}_p})^\text{perf}$ the inverse perfection of the projective line over $\mathbf{F}_p$. Let $\Gamma$ be the ...
1 vote
1 answer
290 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 ...
1 vote
0 answers
195 views

Pull and push formula for degree for non-flat morphism

Let $\varphi\colon X_1\to X_2$ be dominant proper morphism of finite degree (in particular $\dim X_1=\dim X_2$) between varieties. Let $D \subset X_2$ be a Cartier divisor. Is it true that $$\varphi_*...
3 votes
0 answers
355 views

Why is the "wrong" definition of intersection of varieties the "right" one for generalized Bézout?

For ease of notation, define the degree of a variety to be the sum of the degrees of its irreducible components. The generalized Bézout theorem (due to Fulton and Macpherson) states that, for $V_1$, $...
5 votes
0 answers
131 views

Geometric interpretation of pairing between bordism and cobordism

In page 448 of these notes, a pairing between bordism and cobordism $$\langle \ ,\ \rangle: U^m(X)\otimes U_n(X)\rightarrow \Omega^U_{n-m}$$ is defined as follows. Assume $x\in U^m$ is represented by $...
1 vote
1 answer
120 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)= ...
17 votes
2 answers
2k 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
231 views

Is there some relations between derived category and intersection theory?

After learning the traditional intersection theory (W. Fulton's Intersection Theory and D. Eisenbud & J. Harris's 3264 and all that), I have some biased thinking about what I have learned in this ...
1 vote
0 answers
99 views

Is $K_F\cdot C\leq K_X\cdot C$ for a fibre $F\subseteq X$ containing the curve $C$?

This is a question that I originally posted on Math Stack Exchange. After a couple of days I have not received any comments or answers, and after thinking about it more I realize that this question is ...
3 votes
0 answers
165 views

Intersection of two modules (and sub-modules) under tensors

I have a (hopefully quick) question regarding an intersection of two tensor modules. Let $K$ be a field and $A, B$ finitely-generated modules over the Laurent series $K((X))$. Let $\tilde{A}$ be a (...
2 votes
1 answer
202 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$ ...
2 votes
0 answers
73 views

Arf invariant for characteristic surfaces in closed 4-manifolds depends on homeomorphism type

Let $X$ be a closed smooth oriented 4-manifold with $H_1(X;\Bbb Z)=0$. Then for a smoothly embedded orientable surface $F\subset X$ which is characteristic, there is a well-defined invariant $\text{...
2 votes
1 answer
442 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 ...
0 votes
0 answers
107 views

Intersection product of $\mathbb{Q}$-Cartier divisors with irreducible complete curves is well-defined

I am learning the notion of intersection product of a $\mathbb{Q}$-Cartier divisor with an irreducible complete curve on a normal variety. The definition I learned is that if $D$ is a $\mathbb{Q}$-...
1 vote
0 answers
70 views

Prescribed intersection of varieties

Every variety here is complex analytic, or complex algebraic if it solves anything. Given a germ of a (possibly singular, nor necessarily irreducible) hypersurface $(H,0)\subset(\mathbb{C}^{n+1},0)$ ...
3 votes
0 answers
164 views

Intersection theory on schemes with Gorenstein singularities

Is there a good reference/book on Intersection theory on schemes with Gorenstein singularities? Does the construction of the intersection of cycles discussed in Fulton's book also hold for schemes ...
1 vote
0 answers
93 views

Intersection of schubert varieties

Let $L_1$ and $L_2$ $\in$ $\mathbb{P}^4$ be two planes that intersect in exactly one point $Q$. Let $P_1 \in L_1$, $P_2 \in L_2$ points, such that $P_1 \neq Q \neq P_2$. Using the duality theorem, ...
11 votes
2 answers
519 views

Hypersurface of singular plane cubics

In the projective space $\mathbb{P}^9 = \mathbb{P}(\mathbb{C}[x,y,z]_3)$, parametrizing plane cubics, consider the hypersurface $X\subset\mathbb{P}^9$ whose points corresponds to singular cubics. The ...
10 votes
4 answers
3k views

Question on Kähler/ample cone, cone of curves....

Assume $X$ is smooth "simply connected" complex projective variety and $Y\subset X$ a smooth hyperplane section. ( $Y= X\cap H$, $H\subset \mathbb{P}^n$). Let's $NE(X)$ be the cone of effective 1-...
2 votes
0 answers
81 views

Positivity of the intersection form [closed]

Let $M^4$ be a closed orientable smooth manifold and $$ I: H_2(M,\mathbb Z) \times H_2(M,\mathbb Z) \to \mathbb Z $$ its intersection form. If $b^+ \ge 1$, where $b^+$ denotes the number of positive ...
1 vote
1 answer
286 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 ...
2 votes
1 answer
111 views

Hausdorff dimension and non-empty intersections with lines

Let $A\subseteq [0,1]^d$, $d\geq 2$, a set with Hausdorff dimension $\operatorname{dim}_{\mathcal{H}}A=s$. What is the minimum $s$ (if any) which guarantee that $A$ has non-empty intersections with a ...
15 votes
3 answers
2k views

A nontrivial surface on which any two curves intersect

One interesting property of the projective plane is that any two plane curves intersect. (More generally, if $V$ and $W$ are subvarieties of any projective space, and codim $V$ + codim $W \geq 0$, ...
2 votes
1 answer
217 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 ...
4 votes
2 answers
306 views

Is the sum of a radical ideal and the ideal of a generic linear space intersecting that ideal radical?

Let $X \subseteq \mathbb{C}^n$ be an irreducible algebraic set that forms a cone, and let $I=I(X) \subseteq \mathbb{C}[x_1,...,x_n]$. Let $m < n$ and $k\leq m$ be positive integers. Is it true that ...
2 votes
0 answers
168 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 ...
6 votes
2 answers
253 views

If Serre's intersection multiplicity $\chi(R/I, R/J)$ equals $\operatorname{length}_R (R/(I+J))$, then are $R/I, R/J$ Cohen-Macaulay?

Let $(R,\mathfrak m)$ be a regular local ring. Let $I,J$ be proper ideals of $R$ such that $R/(I+J)$ has finite length i.e. $\sqrt{I+J}=\mathfrak m.$ Since $I+J$ annihilates $\text{Tor}_n^R(R/I, R/J)$ ...
4 votes
1 answer
193 views

About Fulton's Intersection theory Appendix Lemma A 4.1

The assumption for Lemma A.4.1 is $A \to B$ is flat. The second assumption is that $A$ and $B$ are Artinian rings. From this Lemma A.4.1 states that $l_B(B) = l_A(A) \cdot l_B(B/mB)$ where $m$ is the ...
9 votes
1 answer
384 views

To whom is Bézout's theorem for varieties due?

The following is a modern, fairly general form of Bézout's theorem. (There are forms that are more general and/or more precise; bear with me.) Define the degree of a reducible variety to be the sum of ...
1 vote
0 answers
65 views

Comparison between residual intersection in Fulton's intersection theory and Aluffi's result on Milnor class

$\textbf{Question}$ I deduced that $m(A \cup B, V) = 0 $ for nonsingular variety $V$ and nonsingular hyper surfaces $A$ and $B$ whose intersection is also nonsingular. But I do not think it is true ...
4 votes
1 answer
130 views

Isomorphism outside of negative curves against the canonical

Let $X$ be a smooth projective complex variety and let us suppose that the closure of the union of curves $C$ on $X$ that are non-positive against the canonical divisor is a closed subset $F\subsetneq ...
1 vote
0 answers
76 views

How to calculate the divisor given by closure of subscheme

Let $X \subset \mathbb{P}^N$ be a nonsingular projective variety over algebraically closed field which is embedded by very ample line bundle $\mathcal{L}$. Let $Y = \mathbb{P}(\mathcal{L}^{\oplus 3})$...
3 votes
1 answer
192 views

Varieties connected by curves in projective spaces of small dimension

Let $X\subset\mathbb{P}^N$ be an irreducible complex variety. Fix an integer $a\geq 2$ and call $P_a$ the following property: given $x_1,\dots,x_a\in X$ general points there exists an irreducible ...
2 votes
1 answer
188 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.
2 votes
1 answer
236 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 ...
1 vote
0 answers
245 views

A question on the Chow group on stacks

Let $X$ be a separated Deligne-Mumford stack finite type over the ground field. Then there is a Chow group $A_*(X)$ of $X$ which is well-behaved under flat pull-back, defined as follows. Let $\...
6 votes
1 answer
456 views

Mordell conjecture over function fields

So I've read (for instance in the introduction to R.S de Jong's thesis ) that the naive adaptation of the proof of the Mordell conjecture over function fields fails, even using Arakelov intersection ...

1
2 3 4 5
8