# Questions tagged [representable-functors]

The representable-functors tag has no usage guidance.

84
questions

1
vote

0
answers

68
views

### Representablility of maps between classifying spaces

Assume that $G,H$ are two sheaves of groups (say in fpqc topology on the scheme $X$) and there is a map $G\to H$ which is representable by a closed immersion. under what condition we can prove the ...

5
votes

1
answer

327
views

### Yoneda map for a composition of a representable functor and an arbitrary functor

Let $\mathcal{C}$ and $\mathcal{D}$ be categories and let $T : \mathcal{C} \rightarrow \mathcal{D}$ be a functor. Suppose that $F : \mathcal{D}^\mathrm{op} \rightarrow \mathrm{Set}$ is a functor. (So ...

0
votes

0
answers

214
views

### Reference request: Détailed explanation why the Grassmannian scheme represents the Grassmannian functor

Similar questions have been asked on this site, including by myself, but none of these have been given a satisfying answer.
The question is: Why does the Grassmannian scheme represent the Grassmannian ...

7
votes

0
answers

199
views

### Moduli stacks and representability of diagonal by schemes

The answer to my question might very well be standard, but I have had trouble finding the right keywords to search for it, so I apologize if this is something well-known to the experts.
I am learning ...

4
votes

0
answers

159
views

### Does Fpqc sheaf over category of rings imply representability

I am trying to read the article "Algebrization and Tannaka duality" by Bharghav Bhatt. In Corollary 1.2, he says that given a qcqs algebraic space $X$ (I am interested in the case when $X=\...

10
votes

1
answer

541
views

### Reference for the Brown representability theorem in the case of locally presentable (∞,1)-categories

The abstract Brown representability theorem,
proved by Brown in 1964 (a missing assumption of a cogroup structure on generators was added later), states that a contravariant functor F from a category ...

2
votes

0
answers

114
views

### Local existence of (quasi)-universal family of sheaves

Let $p : X \to S$ be a projective morphism between two Noetherian $\mathbb{C}$-schemes of finite type with connected fibres. Let $O_X(1)$ be a very ample line bundle on $X$ relative to $S$. Given a ...

2
votes

0
answers

383
views

### Is the Kolmogorov-Arnold representation theorem an example of the Yoneda lemma?

From Wikipedia:
https://en.wikipedia.org/wiki/Kolmogorov%E2%80%93Arnold_representation_theorem
In real analysis and approximation theory, the Kolmogorov–Arnold representation theorem (or ...

2
votes

0
answers

53
views

### A small lemma in Schlessinger's criterion paper

In the construction of a hull in Schlessinger's paper, one small lemma used is not clear in my opinion. That should be stated as follows:
Let $(R,m)$ be a Noetherian complete local ring, $I_1\supset ...

5
votes

0
answers

203
views

### Reference for Grothendieck's theorem on representation of unramified functors

In the Exposé 294 of the Bourbaki Seminar of the year 1964-1965, Murre gives an outline of proof of a theorem of Grothendieck giving necessary and sufficient conditions of representability by a scheme ...

6
votes

1
answer

254
views

### (Pro-)representable functors and full subcategories in homotopy theory

$\DeclareMathOperator\Ab{Ab}\DeclareMathOperator\Ho{Ho}\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\Hotc{Hotc}\DeclareMathOperator\Sm{Sm}$Let $\mathcal{C}\overset{\iota}{\longrightarrow} \mathcal{...

2
votes

0
answers

270
views

### Algebraic groups as functors of points vs maximal points over algebraically closed field

So I only started learning about group schemes this summer, and I found two approaches. For the record I am interested in affine group schemes $G$ of finite type over a field $k$ (algebraic groups).
...

2
votes

0
answers

95
views

### Representability result

Let $X$ and $S$ be schemes over a field $k$.
Reading this paper, there is a result on the representability of a morphism (proposition 3.1, page 4).
Which result or reference on representability is ...

2
votes

0
answers

85
views

### Grassmannian of vector bundles with determinant being a square

I want to find a classfying space of vector bundles of rank $n$ generated by its global sections with determinant being a square of a line bundle. Stating in a formal way, suppose $X$ is a scheme, ...

7
votes

1
answer

408
views

### Any exact faithful functor is represented by a unique projective generator

In the book 'Tensor Categories' by Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych and Victor Ostrik on page 10 it says:
'Conversely, it is well known (and easy to show) that any exact faithful functor ...

1
vote

0
answers

55
views

### Representable functors and symplectic co-tangent bundles

I've been banging my head against something that I feel should follow from abstract non-sense, and I hope someone here can set me straight.
Let $\mathcal{M}$ be the category of smooth manifolds, with ...

1
vote

0
answers

281
views

### Constructions that can be seen as objects representing a functor

Some constructions can be seen as objects representing a functor.
For example,
Consider a topological group $G$ and a functor $\mathcal{F}:\text{Top}\rightarrow \text{Gpd}$ defined as $M\mapsto \...

6
votes

1
answer

323
views

### Why does every chain complex have a map into its cone?

In Weibel's An introduction to homological algebra he defines a cone as an explicit chain complex associated to the given one -i.e. for a chain $C=(C_i, d)$ he defines $Cone(C)=\left(C_{i-1} \oplus ...

5
votes

1
answer

219
views

### Does every functor between Grothendieck categories have adjoints?

Let $F:\mathcal C\longrightarrow \mathcal D$ be an additive functor that preserves colimits.
Suppose that $\mathcal C$ and $\mathcal D$ are Grothendieck categories.
Does $F$ have a right adjoint? ...

4
votes

0
answers

84
views

### Finding a cover of the Hilbert functor, that corresponds to a cover of the Grassmannian

Let $\mathrm{Grass}_{k+1,n+1}:\mathrm{Sch}^{\circ}\rightarrow\mathrm{Set}$ be the Grassmann functor, which maps a scheme $S$ to the set:
$$\left\{\mathscr{U}\subseteq\mathscr{O}_S^{n+1}:\,\,\mathscr{...

6
votes

0
answers

153
views

### Open subfunctor of Quot Functor induced by open immersion

Let $f: X \rightarrow S$ be a morphism of noetherian schemes and $\mathfrak{Q}uot_{\mathcal{E}/X/S}$ be the functor parametrizing families of quotients of $\mathcal{E}$ in the category of locally ...

3
votes

1
answer

453
views

### Representability of Grassmannian functor by a scheme

I am having some trouble following a proof that the Grassmannian functor is representable by a scheme. I am following the proof in EGA 9.7.4. It is only a small step that I am stuck on. For reference, ...

2
votes

1
answer

527
views

### Proving the representability of a functor that is covered by open subfunctors

I already posted this on math.stackexchange some while ago, but haven't received any answers yet. (https://math.stackexchange.com/questions/3221006/proving-the-representability-of-a-functor-that-is-...

0
votes

0
answers

112
views

### Induced map between Grassmannian

Definition : Let $S$ be a scheme, $\mathcal E$ a quasi coherent $\mathscr O_S$-module, and $e \geq 0$ an integer. For every $S$- scheme $h : T\longrightarrow S$ denote by $$ \operatorname{Grass}^e(\...

4
votes

0
answers

267
views

### EGA I (Springer), Proposition 0.4.5.4 [closed]

I do not understand one argument in the proof of Proposition 0.4.5.4. in the new version by Springer of EGA I.
When proving that the functor $F$ is representable by $(X, \xi)$, where we obtained $X$ ...

3
votes

0
answers

117
views

### is the functor of finite order elements in grp representable

My question is whether the functor F:Grp->Set that sends a Group to its Set of elements with finite order is representable.
I have the sense that it shouldn't be but I've so far failed to prove it in ...

1
vote

0
answers

100
views

### Explicit description of the scheme obtained by relative gluing data over a base scheme

I have recently been trying to get a better understanding of the projective space bundle of a quasi-coherent sheaf of graded algebras over a scheme $X$. The key idea is the following construction ...

6
votes

0
answers

169
views

### representability of $\mathrm{R}^1f_{*,\mathrm{fppf}}\mathscr{A}$

Let $f: X' \to X$ be a finite flat morphism of (nice) schemes and $\mathscr{A}/X'$ be a smooth commutative group scheme such that the Weil restriction $f_*\mathscr{A}/X$ is representable by a ...

3
votes

0
answers

245
views

### Quotient of a sheaf by group action and representabillity

Let $X$ be a scheme and $S$ be a sheaf of sets over the fppf topology of $X$. Let $G$ be a group scheme over $X$ and there is an action of $G$ on $S$. Now, I want to look at the quotient $G \setminus ...

3
votes

0
answers

165
views

### Representability of Flattening stratification functor

Let $f:X \to Y$ be a projective morphism between noetherian scheme. Is there any know condition under which there exists a functorial stratification of $Y$ i.e., there exists a filtration by locally ...

1
vote

0
answers

168
views

### Internal Mor of schemes

Let $S$ be a Noetherian scheme and $X,Y$ be $S$-schemes of finite type. Consider the functor $X^Y$ given by $T \mapsto Mor_S(Y \times_S T,X)$. When is this functor representable by an $S$-scheme of ...

4
votes

0
answers

222
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

271
views

### Is the relative moduli space of semi-stable sheaves on families of curves fine

Let $\pi:X \to B$ be a family of smooth, projective curves. Fix coprime integers $r,d$. Denote by $\mathcal{M}(r,d)$ the relative moduli functor corresponding to rank $r$, degree $d$, semi-stable ...

10
votes

1
answer

1k
views

### Algebraic cycles, Chow spaces and Hilbert-Chow morphisms

In the sequel, let $S$ be a scheme, and $X$ a locally of finite type algebraic space over $S$.
In his thesis ([R1-R4]), David Rydh introduces, among several others, the notion of relative cycles on $...

4
votes

3
answers

349
views

### About the Yoneda objects of a locally presentable category

This question is a follow-up of Extending functors defined on dense subcategories.
Let $\mathcal{K}$ be a locally presentable category. An object $X$ of
$\mathcal{K}$ is called a Yoneda object if ...

7
votes

0
answers

304
views

### When is the character group scheme of a group scheme representable? (Affine Case)

While reading Tate's article on Finite Flat Group Schemes in "Modular Forms and Fermat's Last Theorem" I was lead to this question. Let $S$ be a scheme, $G$ a group scheme over $S$, and $T$ an $S$-...

3
votes

1
answer

96
views

### Why does the variety of ideals in this quaternion type algebra have a non-reduced structure?

Let $A$ be the $\mathbb{C}$-algebra generated by elements $i,j$ with relations $i^2=j^2=0$ and $ij=-ji$, i.e. we have $A=\mathbb{C}\oplus\mathbb{C}i\oplus\mathbb{C}j\oplus\mathbb{C}ij$.
Let $\mathcal{...

3
votes

0
answers

120
views

### How to describe the closure of a sub-group functor of a group scheme

Let $G$ be a group scheme over a field $k$, assume it has all the good conditions one may need (smooth, affine, algebraic, you name it).
Let now $H:Aff/k\to Gp$ be a group functor and $i:H\to G$ be a ...

2
votes

0
answers

174
views

### Infinite iterates of the contravariant hom endofunctors on sets

My recent answer to Is it possible to define higher cardinal arithmetics (about defining infinite tetrations) requires something I don't know. Here is the simplest case.
Take a set $S$ and consider
$$...

0
votes

1
answer

82
views

### representing base changes of the unit section

Let $S$ be a scheme and $G$ be a sheaf in groups on the big étale site over $S$. Let $e:S\rightarrow G$ be the unit section. Is it true that given an algebraic space in groups $H$, étale over $S$, and ...

8
votes

0
answers

186
views

### Yoneda embedding and Horn sentences

The following is taken from Borceux and Bourn's Mal'cev, Protomodular, Homological, and Semi-Abelian Categories.
Metatheorem 0.1.3. Let $\mathcal P$ be a statement of the form $\varphi\implies \psi$, ...

1
vote

0
answers

129
views

### A question on uniformly corepresented functor

Let $\mathcal{F}$ be a functor from the category of $k$-schemes to sets, uniformly corepresented by $M$. Suppose $U$ is an open subscheme of $M$. I could not find a good reference for uniformly ...

2
votes

1
answer

767
views

### Is a left-exact limit-preserving functor $Ab \to Ab$ necessarily representable?

Let $Ab$ be the category of abelian groups, and let $F: Ab \to Ab$ be a covariant functor which is left-exact and limit-preserving. Is $F$ necessarily naturally equivalent to a functor of the form $\...

18
votes

0
answers

1k
views

### History of the functor of points

Until now, I thought the functor of points approach was introduced by Grothendieck at the 1973 Buffalo seminar.
However, in this note by Lawvere the author writes:
"I myself had learned the ...

0
votes

1
answer

773
views

### Representable functors and direct limits

Let $\mathcal{F}:\mathrm{Sch}/S \to \{\mathrm{Sets}\}$ be a representable functor. Denote by $X$ the scheme representing $\mathcal{F}$. The question is whether the natural tranformation $\mathcal{F}(-)...

1
vote

1
answer

209
views

### On functors which are generically representable

Let $F$ be a set-valued (contravariant) functor on the category of schemes. Let $F_{\mathbb Q}$ be the associated functor on the category of schemes over $\mathbb Q$.
Suppose that $F_{\mathbb Q}$ is ...

2
votes

1
answer

491
views

### When is the Hom-scheme connected?

Suppose that $A$ and $B$ are two algebras finite over a field $K$ (which may be assumed to be separably closed, if that helps), then we know that the functor $\mathrm{Hom}_K(\mathrm{Spec}(A),\mathrm{...

3
votes

1
answer

426
views

### What if the base change of an algebraic space is representable

Let $k\subset L$ be an extension of fields of characteristic zero.
Suppose that $X/k$ is an algebraic space such that $X\otimes_k L$ is representable by a finite type $L$-scheme.
I am sure there are ...

2
votes

0
answers

168
views

### How to determine a functor (natrually arising from geometry or homological algebra) to be locally of finite presentation?

How to determine a functor (natrually arising from geometry or homological algebra) to be locally of finite presentation?
Is there any reference for such staff?
My example of functors underlying this ...

9
votes

1
answer

277
views

### Are Brown representable functors determined by restriction to finite complexes?

Assume two $CW$ complexes $X,Y$ give two functors $h_X=[-,X], h_Y=[-,Y]$ on the homotopy category of $CW$ complexes whose restrictions to the full subcategory of finite $CW$ complexes are naturally ...