Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 7878

Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.

4 votes

Uniqueness/motivation for the Suslin-Voevodsky theory of relative cycles.

I will just sum up the situation as I see it (too big for the comment box). One important goal is to set up a good intersection theory for cycles without quotienting by rational equivalence, and usin …
Simon Pepin Lehalleur's user avatar
2 votes

Kernels of homomorphisms of group schemes

If I'm not mistaken, the kernel of $\alpha$ is necessarily flat, and indeed either equal to $\mu_p$ or $0$ if $S$ is connected. The key is that $\mu_p$ is of multiplicative type, and we have the follo …
Simon Pepin Lehalleur's user avatar
6 votes

Reference request: the geometry of vanishing cycle

Luc Illusie has written two great expository texts on étale vanishing cycles and other topics in SGA7, one in English (with an associated set of slides) and one in French (unfortunately). Illusie has …
Simon Pepin Lehalleur's user avatar
7 votes

What should be learned in a first serious schemes course?

A small suggestion : the deformation to the normal cone is a nice construction that I would have liked to see in a first course. It illustrate the use of blow-ups, the degeneration of a family with co …
6 votes

Picard groups of non-projective varieties

The first thing to consider is the case of affine curves : let $k$ be an algebraically closed field, $C/k$ a smooth affine curve, $\bar{C}/k$ its smooth projective compactification, $\bar{C}=C\cup{p_0 …
Simon Pepin Lehalleur's user avatar
5 votes

Algebraic geometry examples

A small but illuminating exemple : isolated singularities consisting of affine $k$ lines meeting at the origin in $\mathbb{A}^n$. One can show easily that the analytic type of the singularity depends …
26 votes
Accepted

Reasons for the use of Nisnevich topology in motivic homotopy theory

Here are some comments about the use of topologies in motivic homotopy theory. This is based on the discussion in Morel-Voevodsky's "A^1-homotopy theory of schemes" p.94-95 (MV below), I only add some …
Simon Pepin Lehalleur's user avatar
19 votes

Relation between motivic homotopy category and the derived category of motives

The short answer is that they are very different, but become quite similar if you 1) stabilize, i.e invert smash product by $\mathbb{P}^1_k$ on the homotopy side and invert tensor product by the Tate …
Simon Pepin Lehalleur's user avatar
4 votes
1 answer
866 views

Weil restriction of abelian schemes along finite étale (resp. finite locally free) morphisms

Q: Is there a simple proof of the fact that the Weil restriction of an abelian scheme along a finite étale morphism is an abelian scheme ? Details: Let $S$ be a scheme and $f:S'\rightarrow S$ a finit …
Simon Pepin Lehalleur's user avatar
4 votes

Grothendieck's Galois Theory today

I don't know much about this topic, but I was recently recommended the paper An extension of the Grothendieck Galois theory of Grothendieck by Joyal and Tierney as an enlightening abstract generalisat …
Simon Pepin Lehalleur's user avatar
11 votes
0 answers
350 views

Purity for abelian schemes up to $p$-isogenies

Let $S$ be a noetherian excellent regular scheme and $U\subset S$ an everywhere dense open of codimension $\geq 2$. For some fibered categories of geometric objects, it makes sense to ask whether the …
Simon Pepin Lehalleur's user avatar
9 votes
0 answers
579 views

Kernels and cokernels for morphisms of abelian schemes up to isogenies

For $S$ a noetherian scheme, let $\mathcal{A}(S)$ be the additive category of abelian schemes over $S$ and $\mathcal{A}_{\mathbb{Q}}(S)$ be the category of abelian schemes up to isogenies, i.e. obtain …
Simon Pepin Lehalleur's user avatar