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 5101

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

2 votes
Accepted

meaning of $k$-rational for closed subschemes

I think there is some confusion in your question; I agree with René that probably the correct analogue of rational point in general is something like a geometrically integral subscheme. I will howeve …
Daniel Loughran's user avatar
3 votes

Quadratic twist of an elliptic curve given by Weierstrass model

Let $k$ be a field of characteristic not equal to $2$ and let $$C: y^2 = f(x)$$ be an elliptic curve over $k$. Then a quadratic twist of $k$ is a curve of the form $$C_d: dy^2 = f(x)$$ for $d \in k^*$ …
Daniel Loughran's user avatar
11 votes
1 answer
615 views

Non-separated étale algebraic spaces

Let $f: X \to S$ be a morphism of algebraic spaces, where $S$ is a scheme. If $f$ is separated and étale then Knutson's criterion says that $X$ is actually a scheme. I have a some closely related que …
Daniel Loughran's user avatar
4 votes
1 answer
303 views

Generic singular hypersurface

I've heard in informal conversations before the claim that: "a generic singular hypersurface has a single singularity of type $\mathbf{A}_1$". What is the precise statement of this result? Where can …
Daniel Loughran's user avatar
2 votes
Accepted

Canonical divisor for conic bundles

Here is a method which should give you what you want, but I leave the details to you as I don't have time to work them out now. Without loss of generality we may work over an algebraically closed fie …
Daniel Loughran's user avatar
2 votes

Torelli type theorem for sextic threefolds

For the cases which you are interested in there appears to be only partial results available in the literature. Namely, as special cases of more general results. For quartic threefolds and cubic five …
Daniel Loughran's user avatar
3 votes

Automorphisms of anticanonical rational surfaces

Yes to your first question. See the paper Koitabashi - Automorphism groups of generic rational surfaces. As for your second question, whilst Kotabashi uses some standard techniques on the geometry …
Daniel Loughran's user avatar
6 votes

Grothendieck group of curves

The degree map gives a short exact sequence $$ 0 \to J(C) \to Pic(C) \to \mathbb{Z} \to 0,$$ where $J(C)$ denotes the Jacobian of $C$. This is an abelian variety of dimension $g$, where $g$ is the gen …
Daniel Loughran's user avatar
3 votes

What are the general techniques for proving a variety is not toric?

Here is another way to see why this is true (though as already noted you need $s >3$). Note that if $X$ is a toric variety with respect to an algebraic torus $T$, then by definition $T$ acts faithful …
Daniel Loughran's user avatar
5 votes

Degree of canonical bundle?

Im not sure if this counts as a full answer, but it is a nice example which will hopefully shed light on some of your questions. The canonical bundle $\omega_X$ of an Enriques surface $X$ satisfies $ …
Daniel Loughran's user avatar
5 votes
2 answers
337 views

centre and automorphism groups of finite group schemes

Let $G$ be a group scheme over a scheme $X$ with centre $Z(G)$, automorphism group $\mathrm{Aut}(G)$ and outer automorphism group $\mathrm{Out}(G)$ (viewed as group schemes on $X$). If $G$ is f …
Daniel Loughran's user avatar
2 votes

centre and automorphism groups of finite group schemes

The answer to 2. is yes. A sketch of a proof is as follows: $G$, being finite étale, is étale locally on $X$ isomorphic to a constant finite group scheme. Therefore, by a standard descent argument, i …
Daniel Loughran's user avatar
5 votes
Accepted

Intersection of a line and a conic in a surface

Yes. This holds for any cubic surface over an algebraically closed field $k$. Let $S$ be such a surface. Let $L'$ be a line. The pencil of hyperplanes containing $L'$ forms a conic bundle $\pi: S \to …
Daniel Loughran's user avatar
10 votes

Geometrically irreducible variety

Note that there is some small ambiguity here, as to talk about the reduction of $X/\mathbb{Q}$ modulo a prime $p$, one needs to choose a model $X$. i.e., a scheme $\mathcal{X} \to \mathbb{Z}$ whose ge …
Daniel Loughran's user avatar
4 votes

Variety with two different $\mathrm{mod}\:p$ fibers

The answer to question 1 is yes. Examples almost like what you are after can be found here: Does isomorphic generic fibre imply isomorphic special fibre for smooth morphisms? Though admittedly the exa …
Daniel Loughran's user avatar

1
2 3 4 5
12
15 30 50 per page