The tag has no wiki summary.

learn more… | top users | synonyms

12
votes
1answer
799 views

Bezout's Theorem for weighted homogeneous polynomials

Bezout's Theorem states that for two homogeneous polynomials $f(x,y,z), g(x,y,z)$ over an algebraically closed field of degrees $m,n$ respectively, such that the two polynomials do not share a common ...
0
votes
1answer
338 views

Degree of a real algebraic variety and regular morphisms

I'm reading Fulton's "Intersection theory", which i need for some applied needs. And i have two questions on general definition of degree used in Fulton. 1)Let us we have a real algebraic variety ...
14
votes
1answer
1k views

Geometric examples of the Serre intersection formula

The Serre intersection formula, as an alternating sum of contributions from Tor-groups, is something that combines a lot of ingredients that I'm interested in, but I've never really felt that I have a ...
0
votes
2answers
693 views

Dimension of affine variety

Assume that I have $k$ polynomials $f_1(x_1,\ldots x_n),f_2(x_1,\ldots x_n),\ldots f_k(x_1,\ldots x_n)$ in $n>k$ variables. Is it possible to calculate, ,i.e., does there exist a fast algorithm, ...
1
vote
1answer
181 views

Intersection positivity for curves and surfaces

Let $X$ be a smooth complete variety over an algebraically closed field of dimension $\geq3$. Given a divisor $D_1$ on $X$ with $D_1 \cdot C>0$ for every curve $C \subset X$, and a divisor $D_2$ ...
0
votes
1answer
364 views

Intersection of curves

Let $f(x,y)=0$ and $g(x,y)=0$ be curves in $\mathbb R^2$. Assume that the origin $(0,0)\in \mathbb R^2$ is a $d$-fold point of $f$ and an $e$-fold point of $g$, respectively. Let $f_d(x,y)$ be the sum ...
1
vote
2answers
530 views

if f is birational, is the pushforward map on the numerical groups surjective?

this question was asked on mathunderflow but no one gave a satisfactory answer (perhaps here it will receive more attention?) Say that one has a morphism of projective algebraic varieties $f: X \to ...
0
votes
0answers
190 views

Lower bound for intersection number

The base scheme is an algebraically closed field. Let $X\to \mathbf{P}^1$ be an arithmetic surface over $\mathbf{P}^1$ and let $P$ be a section of $X\to \mathbf{P}^1$. Let $D$ be an effective ...
4
votes
1answer
630 views

Is there a section disjoint from 0, 1 and infinity on the projective line

Let $K$ be a number field with ring of integers $O_K$. Is there a section of $\mathbf{P}^1_{O_K}$ over $O_K$ whose image is disjoint from $0$, $1$ and $\infty$? If $K=\mathbf{Q}$ this is not possible ...
4
votes
1answer
412 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 ...
0
votes
0answers
116 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 ...
2
votes
2answers
1k views

Self-intersection of exceptional divisor

Suppose that $X$ is a smooth threefold, and $C \subset X$ a smooth curve. Let $Y$ be the blowup of $X$ along $C$, with exceptional divisor $E$. What is the intersection number $E^3$ on $Y$? (in ...
2
votes
1answer
408 views

Minimal resolution of Log del Pezzo surfaces

Suppose $X$ is a log del pezzo projective surface of index $l$. As far as I understand it will have a finite number of singular points all of which can be resolved by sucessive blow-ups. Let $E_i$ be ...
1
vote
0answers
151 views

Is -(E,E) greater or equal to 2 for a minimal resolution

I'm quite confused by the terminology minimal resolution and minimal model. Let $f:X\longrightarrow Y$ be a minimal resolution of singularities, where $Y$ is a normal surface. Let $E$ be an ...
4
votes
1answer
719 views

intersection number

I vaguely recall the following fact that I'd like to use in my research. It should be easy to see that this holds (if it does) but I can't seem to prove it. Let $p:X\longrightarrow S$ be a (regular) ...
11
votes
2answers
884 views

Is there a Serre Tor formula for nonproper intersections?

Background: Let $X$ be a smooth complex projective algebraic variety, and let $V$ and $W$ be closed subvarieties. For simplicity, let's assume that $\dim V+\dim W=\dim X$. Now Serre's famous Tor ...
10
votes
1answer
522 views

Are Chow groups generated by local complete intersections?

Let $X$ be a smooth projective variety over an algebraically closed field. The Chow group $\mathbb Q\mathrm{CH}^d(X)$ is $\mathbb Q$--linearly generated by irreducible subvarieties $Z \subseteq X$ of ...
2
votes
0answers
302 views

intersection theory

Assume that $X$ is a smooth 3-fold (over $\mathbb C$). Let $V$ be a smooth divisor on $X$ and let $S_1,S_2$ be prime divisors on $X$. Assume that given a curve $C$ on $X$ not contained in $V$, then ...
13
votes
1answer
1k views

Deformation to the normal cone

Deformation to the normal cone appears in several places including Intersection theory and Verdier specialisation of construtible sheaves or D-modules. I'd like to understand what happens when we ...
7
votes
4answers
901 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 ...
14
votes
3answers
4k views

Survey article on Intersection Theory

Does anybody knows about good overview on intersection theory. The book of Fulton has very hard language. Does there exist simple overview on this topic with many examples?
1
vote
1answer
731 views

A Theorem in Intersection theory.

Fulton's Book on intersection theory (Pg.223, theorem 12.3) asserts the following result: For r pure dimensional schemes in P^n, whose co-dimensions add to at most n, the product of their degrees is ...
5
votes
1answer
633 views

Simple description of a Chow ring of blow-ups.

Is there a simple description of a Chow ring of a blow-up of a point on a smooth projective variety? Or at least of successive blow-ups of $\mathbb{P}^n$? Maybe something like ...
1
vote
1answer
734 views

How I calculate degree of the algebraic curve?

Let F be algebraically closed field. Let C be a curve in F^n defined as zeroes of polynomials $p_1(x_1,\ldots,x_n),..,p_{n-1}(x_1,\ldots x_n)$. Let us define degree of the curve as $\max_S \{ S\cap C ...
4
votes
1answer
783 views

Chern classes of pushforwards

Let $f:X\to Y$ be a proper morphism of normal varieties (smooth as DM stacks, but I only care about the coarse spaces). The map $f$ is generically finite, but not flat (so no hope of smoothness and ...
5
votes
0answers
349 views

intersection theory on proper algebraic spaces

I have a question about the second example in Hartshorne's Algebraic Geometry, Appendix B, section 3 (given by Hironaka?). It is an example of a compact complex Moishezon 3-fold $X$ which is not an ...
10
votes
2answers
955 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 ...
7
votes
1answer
722 views

Reference for the Hodge Bundle

For the purposes of this question, let the Hodge bundle $\lambda$ be the bundle on a fibration of abelian varieties $X\to B$ with fiber over $b\in B$ the space of 1-forms on $X_b$, or the pullback to ...
1
vote
1answer
316 views

A composition of a finite morphisms with the transpose correspondence: is it the multiplication by the degree?

Let $X,Y$ be smooth varieties over a field $k$ (which in my case is perfect of finite characteristic $p$; we may also assume that $X,Y$ are connected); $s:Y\to X$ is a finite morphism of degree $d$. ...
0
votes
1answer
134 views

Upper bound on the number of intersections of algebraic manifolds with affine planes

Given an algebraic map $f: B^d \to \mathbb{R}$, from the unit ball of dimension $d$ to the real, let $Y = f^{-1}(0)$. Then it is always possible to find a smaller ball $B_r \subset B^d$ not ...
11
votes
1answer
371 views

Intersection of subvarieties versus ranks of Chow groups modulo numerical equivalences

A nice property of $\mathbb P^n$ is: Property 1: Two subvarieties $U,V$ such that $\operatorname{dim} U +\operatorname{dim} V \geq n$ always intersect. (for example, any 2 curves in $\mathbb ...
5
votes
0answers
688 views

Riemann-Roch and Grothendieck duality: general case of Fulton's example 18.3.19

Fulton's "Intersection theory" book contains the following fact (example 18.3.19): Let $X$ be a Cohen-Macaulay scheme over a field. Assume $X$ can be imbedded in a smooth scheme (so it has a ...
12
votes
3answers
1k 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$, ...
4
votes
2answers
468 views

Graphs as cycles and intersection theory

I'm guessing that the answer to this question is well-known, but I'm struggling to find anything to help me. Let $X,Y$ be compact manifolds of dimension $n,m$ respectively. Let $f:X \to Y$ be a ...
10
votes
4answers
1k views

Context for intersection theory

This is a pretty basic question. Hartshorne defines "intersection multiplicity" for any two divisors on a surface. Fulton has an impressive framework of generalizing this in his book (my understanding ...
6
votes
1answer
694 views

Chow Ring of Moduli Space of Abelian Varieties

Is there a good reference for the structure of the Chow ring of $\mathcal{A}_g$, the moduli space of complex principally polarized abelian varieties? More generally, references for the intersection ...
2
votes
1answer
488 views

On finite endomorphisms of $\mathbf{P}^r$

This question is basically on applying the Grothendieck-Riemann-Roch theorem to finding a formula for the push-forward of a line bundle on $\mathbf{P}^r$ under a certain morphism. Since I have a lot ...
3
votes
2answers
352 views

Family of Enriques surfaces and GRR, Part 2

As I mentioned in my previous post, I am studying the article Moduli of Enriques surfaces and Grothendieck-Riemann-Roch. The Grothendieck-Riemann-Roch theorem is applied there to show that, for any ...
14
votes
1answer
614 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 ...
32
votes
3answers
3k views

What do higher Chow groups mean?

Let $z^i(X, m)$ be the free abelian group generated by all codimension $i$ subvarieties on $X \times \Delta^m$ which intersect all faces $X \times \Delta^j$ properly for all j < m. Then, for each ...
13
votes
6answers
2k views

Curves with negative self intersection in the product of two curves

I wonder if the following is known: Are there two compact curves C1 and C2 of genus>1 defined over complex numbers, such that their product contains infinite number of irreducible curves of negative ...