Skip to main content

All Questions

Filter by
Sorted by
Tagged with
13 votes
1 answer
1k views

Schemes with no nonconstant maps to lower dimensional schemes

Fix an algebraically closed field $k$ (arbitrary characteristic), all schemes will be of finite type over $k$. (Property *): I'm interested in (classes of) examples of schemes $X$ (irreducible, of ...
LMN's user avatar
  • 3,555
15 votes
3 answers
2k 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 ...
pinaki's user avatar
  • 5,359
2 votes
0 answers
228 views

On a class of loci in Chow varieties

Let $k$ be a field, $i:X\hookrightarrow \mathbf{P}(\mathscr{E})$ be a fixed projective embedding of a smooth projective $k$-variety $X$, whose dimension is pure and equals $d\ge 0$. For $0\le p\le d$,...
user avatar
39 votes
3 answers
6k 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 i,...
Peter Arndt's user avatar
  • 12.3k
15 votes
2 answers
2k 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 ...
John Pardon's user avatar
  • 18.7k
8 votes
2 answers
5k 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 ...
cluelessgrad's user avatar
7 votes
0 answers
551 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 ...
Giulio's user avatar
  • 2,384
6 votes
0 answers
426 views

Relationship between virtual cohomological dimension and tautological rings for moduli spaces of curves

Here's the short version of the question. For $M_{g,n}$, $M_{g,n}^{rt}$, $M_{g,n}^{ct}$ and $\overline M_{g,n}$ it seems that the virtual cohomological dimension is given by the complex dimension plus ...
Dan Petersen's user avatar
  • 40.3k
4 votes
2 answers
234 views

Upper bound for the product of Schubert cycles

Let $Gr(c,\infty)$ be the complex grassmannian of $c$-dimensional subspaces of the infinite dimensional complex space. Every finite dimensional grassmannian, $Gr(c,N)$, can be thought as a subspace of ...
Mohammad Farajzadeh-Tehrani's user avatar
3 votes
0 answers
375 views

Linear system on singular plane curve

Let $C \subset \mathbb{P}^2_k$ an irreducible plane curve of degree $d >1$ over algebraically closed field $k$. That is $C=V(f(x,y,z))$ where $f \in k[x,y,z]$ homogeneous of degree $d$. Let $\{...
user267839's user avatar
  • 5,966
2 votes
1 answer
642 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 ...
Utf's user avatar
  • 165
2 votes
0 answers
327 views

Analytic and algebraic definitions of intersection multiplicity of two complex algebraic curves coincide

There are two definitions of intersection multiplicity of two complex algebraic plane curves. One of them is given in An introduction to algebraic curves by Griffiths. Let $t \mapsto (t^k, y(t) )$ be ...
XT Chen's user avatar
  • 1,168
2 votes
1 answer
307 views

F-curves and divisors on $\overline{\mathcal{M}}_{g,n}$

It is conjectured that a divisor on $\overline{\mathcal{M}}_{g,n}$ would be ample if $D\cdot C >0$ for all F-curves $C\subset \overline{\mathcal{M}}_{g,n}$. Does the intersection degree with all F-...
IMeasy's user avatar
  • 3,779
2 votes
0 answers
261 views

Codimension restrictions on intersections

This is a question I stumbled across earlier this week. I see a similar one has been asked here. Suppose I have a smooth quasi projective variety $X$ over a field $K$, and I call $\text{Chow}^r(X\...
user avatar
2 votes
2 answers
627 views

Numerically negative exceptional divisor on a surface.

Suppose $S$ is an algebraic surface (possibly projective) over an algebraically closed field $k$. Suppose $D_i$ are irreducible smooth curves (rational, if you want) with negative self-intersection ...
Jesus Martinez Garcia's 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