Questions tagged [representable-functors]
The representable-functors tag has no usage guidance.
95
questions
18
votes
0
answers
2k
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 ...
- 10.3k
14
votes
3
answers
3k
views
What functor does Grassmannian represent?
As we know, the projective space $\mathbb{P}^n$ represents the functor sending $X$ to the set of line bundles $L$ on $X$ together with a surjection from the trivial vector bundle to $L$.
My question ...
- 4,982
13
votes
1
answer
946
views
Representing cohomology of a sheaf à la Eilenberg-Maclane
Suppose that we are given a nice space $X$ and a sheaf of abelian groups $F$ on $X$. Fix an integer $n$. Then We have a contravariant functor from nice spaces over $X$ to abelian groups; Namely, to a ...
- 5,492
12
votes
1
answer
2k
views
Picard groups of non-projective varieties
As far as I know, the main representability result for the relative Picard functor $Pic_{X/k}$, for a noeth. sep. scheme of finite type over a field $k$ is:
If $X$ is proper then $Pic_{X/k}$ is ...
- 4,400
12
votes
0
answers
440
views
Where is the representability of the moduli of curves with framed points proved?
There is a variant of the Knudsen-Mumford moduli problem $\mathcal{M}_{g,n}$ of pointed curves, where one endows the $n$ marked points with non-zero tangent vectors. It shows up in the theory of ...
- 45.1k
11
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 $...
user87684
11
votes
1
answer
1k
views
What functor does a Schubert variety represent?
I'm inspired by Yuhao's question. The functor that takes a scheme S to the set of k-dimensional vector subbundles of C^n x S (understanding "subbundle" to mean that the quotient by it is another ...
- 4,849
10
votes
2
answers
599
views
Why is Maps(X,Y) an open subfunctor of Hilb(X x Y)?
Let $X$ and $Y$ be projective schemes. Then we can define the mapping scheme between them, $\rm{Maps}(X,Y)$ as follows:
To any map $f:X\rightarrow Y$ we consider the graph $\Gamma_f$ as a closed ...
- 5,448
10
votes
2
answers
651
views
Do coarse moduli spaces respect Galois actions?
To explain, I will use the following concrete example: Let $\mathcal{M}_g$ be the functor for the moduli problem of classifying genus $g$ smooth projective curves (taking a scheme $S$ to the set of ...
- 5,819
10
votes
2
answers
601
views
When is tensoring with a module representable by a scheme?
Consider the following: Let $A$ be a commutative ring, let $M$ be an $A$-module. When is the functor from $A$-algebras to Sets given by $R \mapsto R \otimes M$ representable by an $A$-scheme?
Unless ...
- 5,448
9
votes
3
answers
941
views
Reference for the Brown representability theorem in the case of locally presentable (∞,1)-categories
Various generalizations of the Brown representability theorem
found in the literature identify additional conditions one can impose on a category $C$ so that functors $\def\op{{\sf op}}\def\Set{{\sf ...
- 36.3k
9
votes
1
answer
291
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 ...
- 153
8
votes
2
answers
1k
views
Relationship between Hilbert schemes and deformation spaces
Hi, I'm just starting to learn about deformation theory (via Hartshorne's Deformation theory, as well as Fantechi's section of FGA explained), and I feel like I'm confused about fundamental concepts. ...
- 371
8
votes
2
answers
425
views
Condition for an equivalence of functor categories to imply an equivalence of categories
Given small categories $\mathcal{C}$ and $\mathcal{D}$, we have that $[\mathcal{C}^\text{op},\textbf{Set}]\simeq[\mathcal{D}^\text{op},\textbf{Set}]$ if and only if the Cauchy-completions of $\...
- 91
8
votes
1
answer
573
views
Comparing colimits in schemes with colimits in sheaves of sets
Suppose I have a diagram of schemes, and I know that the colimit exists in the category of schemes. How does this colimit compare with the colimit of the corresponding sheaves (I'm being nonspecific ...
- 5,448
8
votes
1
answer
911
views
When is a stack (NOT) geometric?
Following the terminology of $n$-Lab, a geometric stack $\mathcal{X}$ on a site $\mathcal{(C,J)}$ is a stack for which there exists a representable epimorphism $X \to \mathcal{X}$ from an object $X$ ...
- 15.3k
8
votes
0
answers
191
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$, ...
- 10.3k
7
votes
2
answers
773
views
Is an algebraic space over a DVR, whose special fibre and generic fibre are schemes, actually a scheme?
Is an algebraic space over a DVR, whose special fibre (and all its infinitesimal neighborhood) and generic fibre are schemes, actually a scheme?
- 997
7
votes
2
answers
709
views
Is the functor of open subschemes representable?
First some simple observations in order to motivate the question:
The functor $Set^{op} \to Set, X \to \{\text{subsets of }X\}, f \to (U \to f^{-1}(U))$ is representable. The representing object is $\...
- 61.5k
7
votes
4
answers
680
views
An explicit description of Lawvere's segment in the category of simplicial sets
In any presheaf topos, there exists an object called Lawvere's segment, which can be described as the presheaf $L:A^{op}\to Set$ such that for each object $a\in A$, $L(a)=\{x\hookrightarrow\ h_a: x\in ...
- 19.4k
7
votes
1
answer
1k
views
formally smooth functor
Let $p$ be a prime number, $\mathcal{O}$ the integers of a finite extension of $\mathbb{Q}_p$ with residue field $k$. Let $\mathcal{C}$ be the category of complete, local, noetherian $\mathcal{O}$-...
- 657
7
votes
1
answer
217
views
Can every weighted colimit in a $\mathbf{Pos}$-enriched category be rephrased as a conical colimit?
For ordinary category theory, we have the following fact.
A weighted colimit of a functor can always be equivalently expressed as a colimit of a different functor.
Specifically, the weighted colimit ...
- 161
7
votes
1
answer
553
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 ...
- 275
7
votes
1
answer
1k
views
construction of the Jacobian of a curve
I am trying to understand the construction of the Jacobian of a curve following the notes of J. S. Milne
The question is going to be about a particular step in the proof of Proposition 4.2b in ...
- 4,060
7
votes
0
answers
278
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 ...
- 27.4k
7
votes
0
answers
179
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 ...
- 171
7
votes
0
answers
360
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$-...
- 171
6
votes
1
answer
409
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 ...
- 10.8k
6
votes
1
answer
401
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 ...
- 475
6
votes
1
answer
418
views
Representability of sheaf of Ext^1 of a Néron model by $\mathbb{G}_m$
Let's work over a trait $S=\mathrm{Spec}R$, where $R$ is a dvr with fraction field $K$, residue field $k$. Given an abelian variety $A_K$ with semi-stable reduction, let $A$ over $S$ be its Néron ...
- 997
6
votes
1
answer
2k
views
When does a "representable functor" into a category other than Set preserve limits?
This might be a dumb question. If $C$ is an ordinary category, then for any $c \in C$ the covariant representable functor $\text{Hom}(c, -) : C \to \text{Set}$ preserves limits. However, it can ...
- 115k
6
votes
2
answers
760
views
Do quotients of representable sheaves represent quotients?
Here's the context for the question: Proposition 4.6 of Freitag and Kiehl's book on etale cohomology shows that a sheaf (of sets) $\mathcal{F}$ (on the site Et(X)) is constructible if and only if it ...
- 1,988
6
votes
1
answer
270
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? ...
- 131
6
votes
1
answer
302
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{...
- 4,246
6
votes
4
answers
407
views
Is tensoring with a module representable iff it is locally free of finite rank?
Motivation:
It's nice when you can think of the elements of an $A$-module $M$ as sections some $A$-scheme $Y\to Spec(A)$. That is, maps $Spec(A)\to Y$ such that $Spec(A)\to Y \to Spec(A)$ is the ...
- 11.1k
6
votes
0
answers
171
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 ...
user19475
5
votes
2
answers
673
views
Is a group scheme determined by its category of representations?
More precisely, let $G$ be an affine group scheme over a field $k$, $Rep_k(G)$ be the category of finite dimensional representations of G, and $\omega_0$ be the forgetful functor from $Rep_k(G)$ to ...
- 299
5
votes
1
answer
998
views
When is a sheaf on a scheme extendable to a representable functor?
I'll start with example:
Let $X$ be a scheme, and $O_X$ be its structure sheaf. It is defined at the moment on open sets of $X$, and it takes them to $Sets$. However, it is extendable to a sheaf on ...
- 5,819
5
votes
1
answer
688
views
Sheaf condition and representability in the category Top
This is a rather nice question I got from this user via private communication.
Let $\mathcal{C} = Top$ the category of topological spaces. Let $\mathcal{C}^\prime$ be the category $Funct(\mathcal{C}^{...
- 7,272
5
votes
1
answer
663
views
Can the functor of the points of a scheme be characterized by its values on subcategories of the affine schemes?
A scheme is equivalent to a functor $\mathcal{F}:\textbf{AffSchemes} \rightarrow \textbf{Set}$ such that it admits a cover of affine schemes and is a sheaf of rings on the Zariski site.
Suppose $\...
- 1,105
5
votes
0
answers
262
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 ...
- 4,382
4
votes
3
answers
398
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 ...
- 3,759
4
votes
2
answers
1k
views
Representability of sheaves of groups
There are lots of natural functors (that define sheaves in the fppf topology) that are not representable by schemes. For example, hilbert schemes of proper non-projective schemes in general need ...
- 3,505
4
votes
1
answer
162
views
Why can I take the quotient of a relative elliptic curve by a finite locally free subgroup?
I am currently reading Katz and Mazur’s Arithmetic moduli of elliptic curves and I am puzzled by a statement in the discussion of the $[\Gamma_0(N)]$ moduli problem in Chapter 3.
The authors define a $...
- 330
4
votes
1
answer
323
views
Construct morphisms of schemes on level of associated functors
I have a general question about techniques used in @Emerton's proof, sketched below, in the answer to $\mathbb{P}^n$ is simply connected.
Given a finite étale map $\pi: Y \to \mathbb P^n$ (we regard ...
- 6,000
4
votes
0
answers
194
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=\...
- 2,195
4
votes
0
answers
94
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{...
- 205
4
votes
0
answers
288
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$ ...
- 365
4
votes
0
answers
286
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,...
user119470
4
votes
0
answers
339
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 ...
- 2,126