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 15505

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

5 votes

equivalence of Grothendieck-style versus Cech-style sheaf cohomology

Here are some positive results and counterexamples for etale cohomology. Definition: Let $X$ be a scheme. Say that $X$ has property "$AF_{n}$" if for every collection $x_{1},\dotsc,x_{n} \in X$ of $n$ …
Matthieu Romagny's user avatar
2 votes
Accepted

How the automorphism group of an elliptic curve acts at the localization of the stack $\math...

From Section 3 of the paper, we see that the moduli stack of elliptic curves (over a ring $A$) has a quotient stack presentation $$ \mathcal{M}_{1,1,A} \simeq [U/G] $$ where $U = \operatorname{Spec} A …
Minseon Shin's user avatar
  • 2,017
6 votes
Accepted

$\mathbf{A}^1$-invariance of Brauer groups and $H^2_{\mathrm{et}}(-;\mathbb{G}_m)$

(For $i=0$, the map $H_{\mathrm{et}}^{0}(\operatorname{Spec} A,\mathbb{G}_{m}) \to H_{\mathrm{et}}^{0}(\operatorname{Spec} A[t],\mathbb{G}_{m})$ is an isomorphism if and only if $A$ is reduced.) For $ …
Minseon Shin's user avatar
  • 2,017
5 votes
1 answer
325 views

Descent for the "localizations at all primes" ring map

Let $A$ be a ring. Is the sequence \begin{align} \textstyle A \to \prod_{\mathfrak{p}} A_{\mathfrak{p}} \rightrightarrows \prod_{\mathfrak{p}_{1},\mathfrak{p}_{2}} A_{\mathfrak{p}_{1}} \otimes_{A} A_{ …
2 votes

Splitting a trivial bundle over punctured $\mathbb C^n$

Let $S$ be a normal Noetherian scheme, let $U$ be an open subset whose complement has codimension at least $2$, and let $j : U \to S$ be the inclusion. By e.g. SP Tag 0EBJ, the restriction and pushfor …
Minseon Shin's user avatar
  • 2,017
3 votes
Accepted

About an argument in Olsson's book

For completeness, the spectral sequence (2.3.14.1) mentioned is \begin{align*} E_{2}^{s,t} = \check{H}^{s}(\mathscr{X},\underline{\mathscr{H}}^{t}(F)) \implies H^{s+t}(C/X,F) \end{align*} By minimalit …
Minseon Shin's user avatar
  • 2,017
1 vote

Cancellation and splitting theorems for vector bundles etc over schemes

Part (i) of Gabber's "Lemma K" was generalized to quasi-compact quasi-separated schemes by Tabuada, van den Bergh in Theorem 2.3 of Noncommutative motives of Azumaya algebras: Let $X$ be a quasi-comp …
Minseon Shin's user avatar
  • 2,017
4 votes
1 answer
348 views

A noneffective descent datum: isomorphism not satisfying the cocycle condition

Let $S,S'$ be schemes, let $\pi : S' \to S$ be a morphism which is faithfully flat and locally of finite presentation, set $S'' := S' \times_{S} S'$ and $S''' := S' \times_{S} S' \times_{S} S'$ with p …
5 votes
0 answers
543 views

Brauer groups of a local ring and of its residue field

This is a question of DeMeyer (see the last paragraph of [1]): What's an example of a local ring $A$ with residue field $k$ such that the restriction map on Brauer groups $\varphi : \operatorname{ …
6 votes

vector bundles over projective line over an affine line

Yes, the point is that $\mathbb{P}_{k}^{1} \times \mathbb{P}_{k}^{1}$ is regular of dimension at most 2. Extend $E$ to a coherent sheaf $E'$ on $\mathbb{P}_{k}^{1} \times \mathbb{P}_{k}^{1}$, then tak …
Minseon Shin's user avatar
  • 2,017
5 votes
Accepted

When does glueing affine schemes produce affine/separated schemes?

Here are some thoughts in the case of gluing a DVR along an automorphism of its fraction field: Setup: Let $A$ be a DVR with uniformizer $\pi$ and fraction field $K$, and let $\varphi : K \to K$ be a …
Minseon Shin's user avatar
  • 2,017
1 vote

Factorize a morphism into a morphism locally of finite type and a quasi-compact morphism

The following is a special case of Example 3 in Laurent Moret-Bailly's answer here. Let $P$ be the set of primes of $\mathbb{Z}$ and let $S \subseteq P$ be an infinite subset, let $X$ be the gluing o …
Minseon Shin's user avatar
  • 2,017
2 votes
1 answer
266 views

Is there a "minimal" center of a blowup?

Let $X$ be a scheme, let $i : Z \to X$ be a closed subscheme, let $Y := \mathrm{Bl}_{Z}(X)$ be the blowup of $X$ at $Z$ with projection $\pi : Y \to X$. Suppose $U \supseteq X \setminus Z$ is an op …
3 votes
1 answer
268 views

Are local fields $C_{2}$?

We say that a field $K$ is $C_{m}$ if it satisfies the following property: for every positive integer $n$ and every sequence of positive integers $(d_{1},\dotsc,d_{r})$ satisfying $d_{1}^{m} + \dotsb …
5 votes
0 answers
451 views

Fraction fields of strict henselizations of DVRs

Let $A_{1},A_{2}$ be discrete valuation rings whose fraction fields are isomorphic. Let $A_{i}^{\mathrm{sh}}$ be the strict henselization of $A_{i}$, and let $K_{i}$ be the fraction field of $A_{i}^{\ …

15 30 50 per page