Questions tagged [descent]
The descent tag has no usage guidance.
98
questions
2
votes
0answers
134 views
Descent and co/ends
The bicategorical analogue of a coend, namely a universal extrapseudonatural transformation, is called a bicodescent object. As noted in arXiv:1709.01332 [math.CT], this notion goes back to Ross ...
6
votes
1answer
199 views
Descent for $K(1)$-local spectra
For odd primes, we have an equalizer diagram for the $K(1)$- local sphere given by
$$L_{K(1)}S \rightarrow K{{ \xrightarrow{\Psi^g}}\atop{\xrightarrow[i_K ] {}}} K$$
where $g$ is a topological ...
2
votes
0answers
47 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 ...
4
votes
2answers
243 views
Projective after fpqc base change
Let $S$ be a Noetherian affine scheme. Let $S'\to S$ be a flat surjective morphism of affine schemes. Let $X\to S$ be a morphism such that $X_{S'}\to S'$ is projective. Is $X\to S$ projective? It is ...
1
vote
1answer
198 views
Fundamental group of a smooth projective curve of char $0$
In this note of Akhil MATHEW, when he proves the fundamental group of a smooth projective curve over a algebraic closed field $k$ of characteristic $0$ admits $2g$ topological generators, there are ...
4
votes
1answer
356 views
Reducing the stack condition (descent condition) over an fpqc site to the case of single coverings
This is the lemma 4.25 of Vistoli's note
Let $S$ be a scheme, $\mathscr{F} \to \mathscr{S}ch/S$ a fibred category.
Then $\mathscr{F}$ is a stack over the fpqc site on $S$ iff
(1) $\mathscr{F}$ ...
3
votes
1answer
188 views
Descent a representation over finite field
Let $p$ be a prime integer, and $q$ a power of $p$. Let $\mathbb{F}_p$ and $\mathbb{F}_q$ be the corresponding finite fields. Suppose
\begin{equation}
\rho: G\longrightarrow GL_2(\mathbb{F}_q)
\end{...
1
vote
0answers
92 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 ...
2
votes
1answer
222 views
Local question and descent category for a quasi-coherent sheaf on $\mathbb{G}_m$-gerbe
Update: I removed what I thought was unecessary and tried to be more straightforward in the hope to get an answer.
Context:
Suppose I have a $\mathbb{G}_m$-gerbe $\mathcal{G}$ over a scheme $X$ with ...
2
votes
0answers
206 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
1answer
43 views
Descending central extensions to homogeneous spaces
Let $G$ be a Lie group (finite dimensional or Banach), and let $H$ be a Lie subgroup (in the Banach case we assume that $H$ is a submanifold which is also a Lie group). Let $\text{U}(1) \rightarrow \...
1
vote
0answers
95 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}}...
4
votes
1answer
298 views
Number Rings and (Galois) Descent
In algebraic number theory, one chooses for each finite étale $\mathbb{Q}$-algebra $K$ a finite $\mathbb{Z}$-algebra $\mathcal{O}_K$. Usually one simply speaks of the finite $\mathbb{Q}$-algebras ...
4
votes
0answers
146 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
1answer
157 views
When can a scheme be recovered from its descent groupoid?
Suppose that $ Y $ is a scheme and $ f\colon X\to Y $ a covering of $ Y $ in some Grothendieck topology on the category of schemes (i.e. if $\{ U_i\to Y\}$ is a covering in the topological sense, then ...
7
votes
3answers
319 views
Infinite Galois descent for finitely generated commutative algebras over a field
Let $k_0$ be a field of characteristic 0, and let $k$ is a fixed algebraic closure of $k_0$.
Write $G={\rm Gal}(k/k_0)$.
Let $A_0$ be a finitely generated commutative $k_0$-algebra with a unit.
Then ...
3
votes
1answer
182 views
Stack descent to sheaf descent via Grothendieck construction?
Let S be a Grothendieck site, the (either left or right adjoint to the) Grothendieck construction assigns to each groupoid fibration over S a presheaf valued in groupoids. The following feels it might ...
4
votes
1answer
184 views
Descent of isomorphisms between irreducible closed subschemes
Let $S$ be an affine scheme, $X$ be a projective $S$-scheme, $W,Z\to X$ two reduced, irreducible closed $S$-subschemes, flat over $S$. Let $S'\to S$ be a faithfully flat map, with $S'$ affine.
Assume ...
4
votes
0answers
191 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,...
5
votes
0answers
159 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 ...
3
votes
0answers
296 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$ ...
1
vote
0answers
109 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 ...
6
votes
0answers
170 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-...
1
vote
0answers
155 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 ...
8
votes
4answers
494 views
English Reference for the Bénabou-Roubaud theorem
The Bénabou-Roubaud theorem links fibrational descent theory with monadicity. Particularly, it says that given a bifibration satisfying the Beck-Chevalley condition w.r.t some arrow $p$ in the base ...
8
votes
0answers
734 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$ ...
9
votes
2answers
351 views
Pushouts of commutative pseudomonoids
Let $(\mathcal{C},\otimes)$ be a symmetric monoidal bicategory. Assume that $\mathcal{C}$ has bicategorical coequalizers which are preserved by $\otimes$ in each variable. My question is if then the ...
2
votes
0answers
351 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
0answers
117 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 ...
4
votes
1answer
371 views
Descent theory, fibrations, and bundles
In the very last page of Janelidze and Tholen's paper Beyond Barr Exactness: Effective Descent Morphisms, the authors relate the theory of fiber bundles (and covering spaces in particular) to descent ...
2
votes
0answers
113 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 ...
1
vote
0answers
56 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 ...
6
votes
1answer
545 views
Geometric intuition for the condition of Galois descent
Continuing in my attempts to understand bits and pieces of Borceux and Janelidze's Galois Theories, I've just realized that I don't have any geometric intuition for the most convenient ...
2
votes
2answers
374 views
For a universal covering morphism $p:E\rightarrow B$, how to prove $E$ connected implies $B$ connected?
Definition. An arrow $\alpha:A\rightarrow B$ in $\mathsf C=\mathsf{Fam}(\mathsf A)$ is said to be a covering morphism if there exists an effective descent morphism $p:E\rightarrow B$ that splits it, i....
5
votes
1answer
315 views
Categorification of covering morphisms
Given a category $\mathsf{A}$, let $\mathsf{Fam}(\mathsf{A})$ be its free coproduct cocompletion (which is always extensive). This means every object has a unique up to iso presentation as a coproduct ...
2
votes
0answers
126 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{...
5
votes
0answers
97 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 ...
1
vote
0answers
172 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.
...
12
votes
2answers
339 views
Which simplicial objects are Čech nerves?
In 1-categories, a regular epimorphism is a coequalizer of some parallel pair. An effective epimorphism is one which coequalizes its kernel pair. In the presence of kernel pairs, regular and ...
13
votes
1answer
853 views
Difficulties with descent data as homotopy limit of image of Čech nerve
Apologies if this question is inappropriate for MO. It is not a research level question in any of the topics it addresses, I just don't see how a novice can go about answering it alone (I've tried ...
15
votes
1answer
305 views
Descent of Higher categorical structures along geometric morphisms
Let $f: \mathcal{E} \rightarrow \mathcal{T}$ be a geometric morphism between two (Grothendieck) toposes (or maybe more generally a bounded geometric morphism between elementary toposes).
It is well ...
5
votes
0answers
176 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 ...
0
votes
2answers
254 views
Existence of $B$-reduction of a $G$-torsor on a curve
Let $k$ be an algebraically closed field, $X$ a connected smooth curve over $k$, $G$ a connected reductive group over $k$, and $B \subset G$ a Borel subgroup.
Given a $G$-torsor $E$ on $X$ in the ...
9
votes
1answer
434 views
Descent of sheaves under galois covering
Let $\pi: Y\rightarrow X$ be a finite Galois covering between normal projective varieties with Galois group $G$. Let $E$ be a coherent sheaf on $Y$ with a $G$-linearisation, i.e., there are ...
26
votes
2answers
2k views
Why are monadicity and descent related?
This question is probably too vague for experts, but I really don't know how to avoid it.
I've read in several places that under mild conditions, a morphism is an effective descent morphism iff the ...
3
votes
0answers
360 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 ...
9
votes
1answer
537 views
Reinterpreting Galois descent over finite fields
This question is indirectly related to my previous question Is an elliptic curve that is isomorphic to its Frobenius conjugate defined over $\mathbb{F}_p$?
Let $\mathbb{F}_{q^n}/\mathbb{F}_q$ be an ...
9
votes
2answers
1k views
What is descent data (of higher categories), conceptually?
First consider a scheme $X$ with an open cover $\mathcal{U}=\{U_i\}$. An object with descent data on $\mathcal{U}$ is a collection $(\mathcal{E}_i,\phi_{ij})$ where $\mathcal{E}_i$ is a quasi-...
4
votes
0answers
330 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 ...
2
votes
0answers
347 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 ...
