# Questions tagged [descent]

The tag has no usage guidance.

126 questions
Filter by
Sorted by
Tagged with
56 views

• 167
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 ...
• 1,388
344 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 ...
240 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 ...
403 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}$ ...
• 1,352
268 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 \rho: G\longrightarrow GL_2(\mathbb{F}_q) \end{...
• 451
1 vote
121 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 ...
• 121
358 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 ...
• 65
330 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....
• 5,973
50 views

• 2,126
417 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 ...
245 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 ...
• 111
178 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 ...
• 295
650 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 ...
• 13.6k
328 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 ...
• 878
250 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 ...
292 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,...
272 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 ...
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$ ...
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 ...