Questions tagged [descent]
The descent tag has no usage guidance.
49
questions with no upvoted or accepted answers
21
votes
0
answers
1k
views
Can we describe equivariant vector bundles of free group action in terms of descent theory (Barr-Beck theorem)?
It is well known that for a compact topological group $G$ acts (say, from the right) freely on a compact space $X$. Then the category of equivariant complex vector bundles on $X$, $\text{Vect}_G(X)$, ...
10
votes
0
answers
579
views
A model category for descent?
Recall that an $(\infty,1)$-category $C$ is said to have descent if for any small diagram $X:I\to M$ with (homotopy) colimit $\overline{X}$, the adjunction between $C/\overline{X}$ and "equifibered" $...
8
votes
0
answers
1k
views
Galois descent for schemes over fields
Let $K\subset L$ be a finite galois extension of fields (the case I have in mind is $K=\mathbb{R},L=\mathbb{C}$). Given a scheme $X$ over $K$ by pulling back to $L$ we get a scheme $Y=X\times _K L$ ...
7
votes
0
answers
246
views
Does a field extension define an effective descent morphism for locally ringed spaces?
Let $K'/K$ be an extension of fields and set $X=\operatorname{Spec}(K)$ and $X'=\operatorname{Spec}(K')$. As the category of locally ringed spaces has fibre products (see arXiv:1103.2139 or here) we ...
6
votes
0
answers
423
views
Quasi-syntomic descent and prismatic F-crystals
I am reading Bhatt and Scholze's paper on F-crystals, and they seem to be using the following result in the proof of Theorem 5.6:
let $X \to Y$ be a quasisyntomic cover of formal schemes over $\...
6
votes
0
answers
436
views
Examples of descent in basic algebraic geometry
I'm studying descent theory and I recall that there were multiple instances before where I heard something like "we can prove this as follows, but this is just descent applied to [...]". ...
6
votes
0
answers
183
views
Algebraic model for the abelian category of descent data for modules in the non-affine case
Let $f: X \to Y$ be a morphism of schemes. I'd like to have a completely algebraic description of the belian category of descent data for modules along $f$. Here's my attempt:
The category of quasi-...
6
votes
0
answers
134
views
Expressing the stack of sheaves with 1-limits
Zhen Lin's answer to the MSE question mentions that $\mathsf{Sh}(-)$ is a stack for the canonical topology on the site of open subsets of a space. One of the comments asks whether the stack descent ...
5
votes
0
answers
290
views
2-descent on elliptic curves, and units modulo squares of units
Setup: Let $p$ be a prime, let $f(x) \in \mathbb{Q}_p[x]$ be a separable monic cubic polynomial cutting out the maximal order $\mathcal{O}_{K_f}$ in the etale algebra $K_f := \mathbb{Q}_p[x]/(f(x))$, ...
5
votes
0
answers
269
views
Descent along purely inseparable morphisms
What properties of $\mathbf{F}_p$-algebras descent along powers of the absolute Frobenius?
What properties of morphisms of $\mathbf{F}_p$-algebras descent along powers of the absolute Frobenius?
Is ...
5
votes
0
answers
214
views
Does the Amitsur complex have a universal property?
The question is essentially the title. In other words, is there some universal property that the Amitsur complex for a morphism of rings $\phi:A\to B$ satisfies as a cosimplicial ring, or cosimplicial ...
4
votes
0
answers
303
views
Using comonadicity to prove faithfully flat descent
I have heard many times that faithfully flat descent could be reinterpreted via Beck's monadicity theorem; Deligne's paper "Catégories tannakiennes" even explains in section 4 how to do this ...
4
votes
0
answers
243
views
Homotopy colimit description of stacks
Let $F$ be an Artin stack. If $p: X \to F$ is an atlas for $F$, can we express $F$, in the $\infty$-category ${\rm Shv}^{\acute{et}}(k)$ of higher stacks, as a homotopy colimit over the simplicial ...
4
votes
0
answers
284
views
Representable $\text{Hom}$ functors
Let $X, Y, S$ be noetherian schemes, $X$ flat and quasi-projective over $S$, $Y$ projective over $S$.
Is the hom-functor $T\mapsto\text{Hom}_T(X_T, Y_T)$ representable?
If $X$ is flat and projective,...
4
votes
0
answers
353
views
Flat Connections on Ring Spectra
So first I'll try to give a really quick reminder of the classical description of these things when one is doing non-commutative descent theory. In the setting of discrete algebra, if we have a ...
4
votes
0
answers
345
views
cech cohomology in topos
Hi,
The following result seems to be well known, but I can't come up with a proof.
Suppose that $C$ is a topos and that $F\to G$ is an effective epimorphism in $C$. If $P$ is
any abelian sheaf on $C$...
4
votes
0
answers
719
views
classify \mu_n torsors
Recently I read in Milne's book "etale cohomology" that the set $H^1(X,\mu_n)$ ($X$ a scheme, $n$ a nature number, the cohomology is flat cohomology) can be described as the set of pairs $(L,\phi)$, ...
3
votes
1
answer
271
views
Unitary involutions on a simple central algebra after a scalar extension
$\DeclareMathOperator{id}{id}$
Let $L/K$ be a quadratic separable extension of fields. Let $A$ be a central simple algebra over $L$ such that its norm $N_{L/K}(A)$ splits. Then we know that there ...
3
votes
0
answers
178
views
Hypercovers with sieves
Consider a covering family $\{Y_i \to X\}$ and the induced sieve $R \subseteq X$, the subpresheaf of all maps to $X$ that factor through some $Y_i$. The family gives me an induced Cech nerve $C_\...
3
votes
0
answers
239
views
Ind-etale vs weakly etale
In this article Bhatt and Scholze consider ind-etale and weakly etale maps of affine schemes. We have two (easy) statements, proven in Prop.2.3.3(1) and (5):
-- any ind-etale map is weakly etale,
-- ...
3
votes
0
answers
557
views
fppf/ etale Cohomology calculate with Cech cohomology
Let $R$ be a commutative ring with one and $S$ commutative faithfully flat $R$-algebra (that is there is a faithfully flat ring map
let $\phi: R \to S$). Then the so called Amitsur complex
$R \to S^{\...
3
votes
0
answers
430
views
Does isomorphism on local rings imply the global isomorphism for the sheaf of spectra?
Let's assume we have a sheaf of spectra on some scheme. As an example I will assume that we are working with the $K$-theory sheaf. There are certain local to global spectral sequences, like descent ...
3
votes
0
answers
114
views
Seeking bijective proof of a recurrence for generalized Narayana numbers
Consider lattice paths in $d$ dimensions with the steps $X_1\mathrel{:=}(1,0,\dotsc,0)$, $X_2\mathrel{:=} (0,1,\dotsc,0)$,…, $X_d\mathrel{:=} (0,0,\dotsc,1)$. Let $\mathcal C(d, n)$ denote the set of ...
3
votes
0
answers
435
views
"Frobenius Descent"
The following proposition is there in Pink's lecture notes on finite group schemes.
Let $k$ be an algebraically closed field of characteristic $p$. The category of finite length $W(k)$-modules $N$ ...
3
votes
0
answers
389
views
Is Carlos Simpson's Descent available online?
I am not sure whether this question is suitable for MO. Is the paper "Descent" by Carlos Simpson in the book "Alexandre Grothendieck: A Mathematical Portrait" page 83-142 (or a similar version of that ...
3
votes
0
answers
120
views
Representable torsors on geometric groupoid
Let $(C,\tau,\mathbb P)$ be a geometric context, as defined by Toen and Vezzosi. Let $(X_1\rightrightarrows X_0)$ be a groupoid object in $C$ such that the source and target morphisms are in $\mathbb ...
2
votes
0
answers
243
views
Zariski descent of algebraic $K$-theory on formal schemes
This question is highly related to some other questions that I've previously asked, especially to this one. In this problem we have a scheme $X$ and a closed subscheme $Z$ the formal completion $X_Z$. ...
2
votes
0
answers
47
views
Complex analytic descent along G-actions
Let $G$ be a complex Lie group acting on a complex analytic space $X.$ To be clear, I don't require $X$ to be reduced. Let $f: Y\rightarrow X$ be a smooth morphism such that the $G$-action lifts to $...
2
votes
0
answers
284
views
Characterization of effective descent morphism
A faithfully flat morphism of commutative rings $A \rightarrow B$ is an effective descent morphism. So is a regular monomorphism (right?). What is a characterization of effective descent morphisms?
...
2
votes
0
answers
323
views
Notions of algebraic/differential geometry of scheme/manifolds extended to algebraic/differential stacks
Given a manifold, one can associate a stack over the category of manifolds, which is a differential geometric stack. This gives a functor $\text{Man}\rightarrow \text{D.Stacks}$. This is an embedding....
2
votes
0
answers
481
views
Neat applications of Galois descent?
I'm enjoying reading about Janelidze's categorical Galois theory, which gives as a special case the usual theorems of Galois descent (along torsors). The approach I took was just with covering space ...
2
votes
0
answers
135
views
Characterization of torsors which are locally trivial in terms of descent
Let $\mathsf C$ be a category and $G$ an internal group. Suppose $\mathsf C$ is finitely complete, so that $\pi_2:G\times B\to B$ is an internal group in $\mathsf C_{/B}$ for every $B$. A $G$-bundle ...
2
votes
0
answers
122
views
Descent for Dualizable Modules
It's known that a pure morphism of commutative rings $\phi:A\to B$ is of effective descent for the stack of modules. In other words if $\phi$ is pure one can recover $Mod(A)$ as the 2-limit of a ...
2
votes
0
answers
133
views
When does effective descent of modules hold?
Let $A$ be a commutative ring with identity. I denote by $\Delta_{\leq 1}$ the full subcategory of the simplex category $\Delta$ with objects $[0]$ and $[1]$. Let $B_{\cdot} : \Delta_{\leq 1}^{\mathrm{...
2
votes
0
answers
498
views
Reference for cdh topology
Let $f:X\rightarrow Y$ be a proper surjective morphism over some base scheme $S$ of finite type, suppose $f$ restricts to an isomorphism over some open $U$ of $X$, we also suppose both $X$ and $Y$ are ...
2
votes
0
answers
150
views
Intersections of components of 'simple' ('local") Zariski coverings
I would like to study the ordered Cech cohomology with respect to a Zariski covering of a variety. I can pass to the limit with respect to refinements; the components of the 'limit covering' will be ...
1
vote
0
answers
164
views
Question regarding Galois descent of sections of a vector bundle
Let $\pi: Y\rightarrow X$ be a finite 'etale Galois morphism between two smooth projective varieties with Galois group $G$. Let $\mathcal{E}$ be a vector bundle on $X$. Then $\pi^*\mathcal{E}$ is a $G$...
1
vote
0
answers
159
views
Category of coherent sheaves on blow-ups or resolution of singularities
Let $X$ be a scheme and $Y$ a closed subscheme. I would like to know if there is a good relation between the category of coherent sheaves on $X$ and the category of coherent sheaves on the blow-up $\...
1
vote
0
answers
70
views
Would the iterated finite abelian descent obstruction equality hold for curves?
Let $X$ be a smooth projective geometrically integral variety over a number field $k$. We begin with some established notions in the theory of descent obstruction to the local-global principle, ...
1
vote
0
answers
120
views
Is nefness preserved under base change
Let $f:X \rightarrow Y$ be a morphism between (geometrically normal) varieties over a field $k$, $\bar{k}$ be the algebraic closure of $k$ and $B$ be a Cartier divisor on $X$ which is $f$-nef, that is ...
1
vote
0
answers
124
views
Completion in the non-noetherian case
Let $A$ be a non-noetherian, commutative $\mathbb{C}$-algebra and $X, Y$ be noetherian affine $\mathbb{C}$-schemes. Denote by $X_A:=X \times_{\mathbb{C}} \mbox{Spec}(A)$ and $Y_A:=Y \times_{\mathbb{C}}...
1
vote
0
answers
152
views
Does being big for a line bundle satisfy fpqc descent
Let $k$ be a field of characteristic zero, and let $L/k$ be a field extension. [Assume $k$ and $L$ are algebraically closed if necessary.]
Let $X$ be a variety over $k$ and let $\mathcal{L}$ be a ...
1
vote
0
answers
169
views
Choice free definition of category of descent data w.r.t a fibration?
Let $\mathsf C$ be a category and consider a pseudofunctor (non-strict 2-functor) $P:\mathsf C^{\text{op}}\to\mathsf{Cat}$. Given an arrow $f:X\to Y$ in $\mathsf C$, define the category of descent ...
1
vote
0
answers
59
views
Notation for largest universal subclass and class of arrows "locally in" a given class of arrows
Let $\mathcal M$ be a class of arrows in a category $\mathsf C$. I would like suggestions for good notation for the following two classes.
The smallest universal (pullback stable) subclass $\mathcal ...
1
vote
0
answers
179
views
$\mathbb E$-descent maps in topological spaces in terms of different sites?
The paper Facets of Descent I by Janelidze and Tholen defines $\mathbb E$-descent maps as those for which $\Phi^p:\mathbb EB\longrightarrow \mathsf{Des}_\mathbb{E}(p)$ is an equivalence of categories.
...
1
vote
0
answers
170
views
Galois cohomology of generic points of formal completions (of components of a hypercovering of the subvariety): examples or general statements?
Let $Y$ be a closed smooth subvariety in a (smooth) affine variety $X$. What can one say about the etale cohomology of the generic points of the formal completion of $X$ along $Y$ i.e. about the ...
0
votes
0
answers
294
views
Descent datum for a line bundle
Let $\pi:C \to \mathbb P^1$ be a double cover branched at $r$ points. To understand the theory of descent better, I would like, if possible, to construct by hands the descent datum of a line bundle ...
0
votes
0
answers
147
views
descent of a complex of sheaves
Let X a projective variety over an algebraically closed field on which an abelian variety $A$ acts freely.
Then $X/A$ is a projective variety. Let $f:X\rightarrow X/A$
Let $K\in D_{c}^{\leq 0}(X,\bar{...
0
votes
0
answers
320
views
Ordered Cech(-like) complexes that compute etale cohomology (of fields!)
It is well known (cf. Equivalence of ordered and unordered cech cohomology. ) that for 'usual' topologies one can compute the cohomology of sheaves either using unordered Cech complexes or ordered ...