Skip to main content

Questions tagged [intersection-theory]

Filter by
Sorted by
Tagged with
0 votes
1 answer
381 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 ...
Giulio's user avatar
  • 2,384
0 votes
1 answer
184 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(\...
Kali's user avatar
  • 503
0 votes
1 answer
411 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 ...
user avatar
0 votes
1 answer
131 views

curve through a point avoiding an hypersurface

Let $H$ be a closed hypersurface in $\mathbb{A}^{n}$, $n$ big enough over $\mathbb{C}$. Let $U$ be the complementary open subset. Let $x\in H$, Is it possible to find an curve $C\subset\mathbb{A}^{...
prochet's user avatar
  • 3,472
0 votes
0 answers
110 views

How to prove that a specific quadric intersection is complete and irreducible?

Let's borrow the quadric intersection $I$ from another question. More precisely, let $k$ be an algebraically closed field of characteristic $\neq 2$ and $a_1, a_2, \cdots, a_n \in k^*$ be some ...
Dimitri Koshelev's user avatar
0 votes
0 answers
239 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) ...
Andarrkor's user avatar
  • 109
0 votes
0 answers
137 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}$-...
Boris's user avatar
  • 639
0 votes
0 answers
201 views

Intersection product when one factor is contained in the exceptional divisor

I am trying to calculate some intersection numbers and would appreciate help on the following problem: Consider two divisors $D_1$ and $D_2$. Blowing up their intersection yields $\varphi^{*}(D_i) = \...
Galathea's user avatar
0 votes
0 answers
97 views

EXACT number of intersection points of two algebraic curves

As the picture shows2(the paper's link is in 1),it seems that I can use tools including Bezout's theorem to solve the EXACT number of intersection between two algebraic curves(F(x,y) is of degree two ...
BobSS's user avatar
  • 1
0 votes
0 answers
181 views

Topological vs algebraic intersection forms

Let $X$ be a simply connected complex projective surface (hence a real $4$-manifold). Let $(H^2(X,\mathbb Z)/\mathrm{tors}, q_X)$, $(A^1(X)/\mathrm{tors},q_X')$ be the corresponding lattices in ...
Qfwfq's user avatar
  • 23.4k
0 votes
0 answers
94 views

$ch(L f^*\epsilon)$

I know the famous principle (or theorem depending on how you define) of Chern classes for locally free sheaves and a morphism $f: X'\rightarrow X$, $ch(f^* \epsilon)=f^* ch(\epsilon)$. But if $f$ ...
Mohsen Karkheiran's user avatar
0 votes
0 answers
405 views

Twisted sheaves on tower of $\mathbb{P}^n$

Take the projective space $\mathbb{P}^n$ over a ring $W$. We call $\mathcal{O}(q)$ the usual twisted line bundle. Now take the map $f: \mathbb{P}^n\to\mathbb{P}^n$ defined by $$[x_0,\ldots, x_n]\...
user avatar
0 votes
0 answers
213 views

Linear section of an algebraic variety

Let $\pi$ be a linear subspace of $\mathbb{P}^n$ and $X$ a reduced, irreducible variety of $\mathbb{P}^n$. Suppose that $\pi \cap X$ is reducible, hence $\pi \cap X=Y_1\cup Y_2 \cup \cdots Y_k$. When ...
user46071's user avatar
  • 325
0 votes
0 answers
112 views

Reducible sections of algebraic varieties

Let $X$ be an irreducible variety. Is there some necessary condition on a hyperplane $H$ such $X\cap H$ is reducible? Also, suppose that $H\cap X$ is reducible, i.e., $H\cap X=Y_1\cup Y_2 \cup \cdots \...
user46071's user avatar
  • 325
0 votes
0 answers
141 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 ...
pi_1's user avatar
  • 1,463
0 votes
0 answers
156 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$. ...
Tomo's user avatar
  • 1,217
0 votes
0 answers
2k 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 ...
Nisrak's user avatar
  • 101
0 votes
0 answers
639 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 ...
user115940's user avatar
0 votes
0 answers
161 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 ...
user46071's user avatar
  • 325
0 votes
0 answers
237 views

excess intersection theory

Can the excess intersection theory be applied to the following problem: I have a non-singular irreducible variety $X$ of dimension $k$ and degree $d$ and $k+1$ hyperplane sections of $X$, $H_1,H_2,\...
user46071's user avatar
  • 325
0 votes
0 answers
145 views

Zero Dimension Intersection

Let $M$ be smooth and purely $r$-dimensional, $E$ be a vector bundle of rank $r$ over $M$, $s$ be a regular section of $E$ and $Z$ the zero scheme of $s$. Then $[Z]$ is dual to the top Chern class $...
JYQ's user avatar
  • 105
0 votes
0 answers
219 views

Relation between the index of (the sum of) lattices in euclidean space, and their orthogonal complement.

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 varieties"). To ...
edwold's user avatar
  • 39
0 votes
0 answers
440 views

non proper intersection

Let X and Y two smooth closed subschemes of a smooth projective scheme Z over a field. Let $W:=X\cap Y$. I suppose that W is non empty and that the intersection of X and Y is non proper, i.e codim(...
prochet's user avatar
  • 3,472
0 votes
0 answers
250 views

Intersections with divisors on moduli of curves

Let $\overline{\mathcal{M}}_{g,n}$ be the moduli stack of stable curves of genus $g$ with $n$ points. Consider $0 \neq \gamma \in Pic(\overline{\mathcal{M}}_{g,n})$ the first Chern class of a ...
OldMacdonaldHadaForm's user avatar
0 votes
0 answers
148 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 ...
Frederick's user avatar
-2 votes
1 answer
282 views

Existence of divisor in the Jacobian of smooth curve of genus two whose intersection with theta divisor is 1

Let $C$ be a smooth projective curve of genus $2$ and $J$ denotes the Jacobian of $C$. Let $\theta$ be the image of $C$ under the abel Jacobi map. Is there exist a divisor $D$ in $J$ such that $D.\...
PSUN's user avatar
  • 137

1
4 5 6 7
8