Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
1 answer
322 views

Pairing on arithmetic surfaces

Let $f: X \to S$ be an arithmetic surface, where $S=\operatorname{Spec } O_K$ for a number field $K$. It is well known that if we want to introduce a reasonable intersection theory on $X$ we have to ...
manifold's user avatar
  • 321
2 votes
1 answer
330 views

Upper semi-continuity of intersection numbers

Consider a smooth projective morphism of schemes $X \rightarrow S$ with relative dimension $n$ (the application I have in mind is with $S$ = an open subset of $\text{Spec } \mathbb{Z}$) and assume ...
user158892's user avatar
2 votes
0 answers
206 views

Rank of the top Chow group

Let $X$ be a regular integal scheme of finite type over $\mathbb Z$ and assume that $X$ has dimension $d$. In general it is not known if the Chow groups $CH^q(X)$ ($q$ is the codimension) are finitely ...
Dubious's user avatar
  • 1,237
2 votes
0 answers
245 views

Segre class of cones and Base change of projective cones

I'm trying to work out a result in Fulton's intersection theory and I think I need the following basic result about base change of projective cones (whose support may not be the entire base scheme). ...
LMN's user avatar
  • 3,555
1 vote
1 answer
212 views

Putting two complete varieties in a family over the projective line

Let $X$ and $Y$ be two proper varieties of dimension $n$ over a field $k$. I'm looking for "reasonable" conditions, under which, there exists a proper and dominant morphism $f:V\to \mathbb{P}^1_k$, ...
hadimath's user avatar
  • 137
1 vote
0 answers
104 views

Calculation of intersection multiplicity after the restricting to a fiber

Let $X\to\operatorname{Spec} \mathbb Z$ be an arithmetic surface which is projective, regular and integral. Let $D$ and $E$ two divisors intersecting at a point $x\in X$ that lies over the prime $p$. ...
manifold's user avatar
  • 321
1 vote
0 answers
149 views

Formula for fibre square (from Fulton's Intersection Theory)

I have a question about argumentation used in the proof of Proposition 1.7 in Fulton's book on Intersection Theory on page 18: Proposition 1.7 Let $\require{AMScd}$ \begin{CD} X' @>{g'}>> ...
user267839's user avatar
  • 5,986
1 vote
0 answers
91 views

Factorizations of closed embeddings of smooth schemes

All schemes will be of finite type over a field $k$. Say I have a closed embedding $\iota: X \hookrightarrow Y$ of smooth $S$-schemes for some scheme $S$ (in particular it is a regular embedding). ...
Anette's user avatar
  • 595
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