Questions tagged [descent]

The tag has no usage guidance.

49 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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)$, ...
Zhaoting Wei's user avatar
  • 8,657
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" $...
Mike Shulman's user avatar
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$ ...
Anonymous Coward's user avatar
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 ...
Michael's user avatar
  • 71
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 $\...
Martin Ortiz's user avatar
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 [...]". ...
Gabriel's user avatar
  • 943
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-...
Saal Hardali's user avatar
  • 7,549
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 ...
Arrow's user avatar
  • 10.3k
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))$, ...
Ashvin Swaminathan's user avatar
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 ...
user avatar
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 ...
Jonathan Beardsley's user avatar
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 ...
Michael Barz's user avatar
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 ...
user237334's user avatar
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,...
user avatar
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 ...
Jonathan Beardsley's user avatar
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$...
Nicolás's user avatar
  • 2,802
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)$, ...
unknown's user avatar
  • 251
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 ...
Haowen Zhang's user avatar
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_\...
Leo Herr's user avatar
  • 1,084
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, -- ...
AlexIvanov's user avatar
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^{\...
user267839's user avatar
  • 5,948
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 ...
user127776's user avatar
  • 5,831
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 ...
Tri's user avatar
  • 1,366
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$ ...
Shubhodip Mondal's user avatar
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 ...
Zhaoting Wei's user avatar
  • 8,657
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 ...
D. Stefani's user avatar
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$. ...
user127776's user avatar
  • 5,831
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 $...
Andy Sanders's user avatar
  • 2,890
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? ...
Ronald J. Zallman's user avatar
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....
Praphulla Koushik's user avatar
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 ...
Arrow's user avatar
  • 10.3k
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 ...
Arrow's user avatar
  • 10.3k
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 ...
Jonathan Beardsley's user avatar
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{...
js21's user avatar
  • 7,199
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 ...
Heer's user avatar
  • 1,007
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 ...
Mikhail Bondarko's user avatar
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$...
Hajime_Saito's user avatar
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 $\...
curious math guy's user avatar
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, ...
oleout's user avatar
  • 865
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 ...
Carot's user avatar
  • 121
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}}...
Ron's user avatar
  • 2,116
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 ...
Ricardo's user avatar
  • 19
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 ...
Arrow's user avatar
  • 10.3k
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 ...
Arrow's user avatar
  • 10.3k
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. ...
popo's user avatar
  • 11
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 ...
Mikhail Bondarko's user avatar
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 ...
lime's user avatar
  • 85
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{...
prochet's user avatar
  • 3,432
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 ...
Mikhail Bondarko's user avatar