The tag has no usage guidance.

learn more… | top users | synonyms

0
votes
0answers
140 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
0answers
164 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
0answers
105 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
1answer
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 ...
1
vote
0answers
69 views

When is a collection of toric subvarieties in $\mathbb P^r$ generic?

Suppose $Z_1,\dots,Z_n \subset \mathbb P^r$ are toric sub-varieties. By this I mean, there is a fixed co-ordinate system $\mathbb P^r=\{[z_0:\dots:z_r]\}$ and each subvariety is defined by the ...
29
votes
1answer
616 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
0answers
27 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
0answers
162 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
2answers
157 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
0answers
96 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
1answer
80 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
1answer
90 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 ...
11
votes
3answers
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
0answers
82 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 ...
2
votes
0answers
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 ...
1
vote
0answers
70 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 ...
14
votes
2answers
449 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
0answers
72 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 + ...
4
votes
0answers
155 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
1answer
529 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
0answers
171 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
0answers
75 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
0answers
115 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
0answers
288 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
0answers
261 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
1answer
212 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
1answer
159 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
1answer
183 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
0answers
136 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 ...
0
votes
0answers
83 views

A question about Segre class

Suppose $C$ is a cone over $X$.(i.e.$C=\operatorname{Spec}S$, where $S$ is a sheaf of $O_X$ algebras.) The Segre class $s(C)$of $C$ is the class in $A_*(X)$ defined by ...
2
votes
1answer
273 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 ...
3
votes
0answers
138 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
0answers
169 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) = ...
3
votes
0answers
97 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
1answer
112 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
1answer
129 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
0answers
138 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
1answer
359 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 ...
0
votes
1answer
97 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 ...
2
votes
1answer
229 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 · ...
2
votes
1answer
335 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
1answer
134 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
1answer
651 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
0answers
184 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
0answers
152 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\} ...
1
vote
0answers
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
1answer
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
0answers
91 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 ...
4
votes
0answers
122 views

Strategy to prove formula for top chern class from knowlege of chern character

I am trying to prove a conjecture that involves an enumerative problem. In the course of doing so, the following situation came up. I have a sequence of (smooth, complex, rationally connected) ...
3
votes
1answer
451 views

Genus of non-complete intersections

Suppose $X\subset \mathbb{P}_k^N$ a nonsingular curve is a complete intersection of hypersurfaces $F_1, \cdots, F_{N-1}$ (of degrees $d_1, \cdots, d_{N-1}$ resp). Then, we know that the canonical ...