Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [representable-functors]

The tag has no usage guidance.

3
votes
0answers
103 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
0answers
67 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
0answers
158 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 ...
2
votes
0answers
116 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 ...
2
votes
0answers
97 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
0answers
109 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
0answers
158 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
0answers
138 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 ...
6
votes
1answer
489 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 $...
3
votes
3answers
234 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
0answers
163 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
1answer
88 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{...
2
votes
0answers
95 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
0answers
149 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
1answer
80 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
0answers
173 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
0answers
70 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 ...
3
votes
1answer
343 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 $\...
17
votes
0answers
950 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 ...
-1
votes
1answer
494 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
1answer
200 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
1answer
342 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
1answer
293 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
0answers
158 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
1answer
231 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 ...
1
vote
1answer
635 views

Is Mumford's statement about the representability of some functor wrong?

I am having trouble proving a result in Mumfords book 'Lectures on Curves on an Algebraic surface. It is a statement about the representability of some functor. It is stated on page 108 and says the ...
2
votes
1answer
149 views

Algebraic objects and lifts of their represented functors

I've seen the following theorem around in various forms: To give an object $A \in \mathcal{C}$ the structure of a $\Omega$-algebra object in $\mathcal{C}$ is equivalent to giving a lift of the ...
2
votes
0answers
270 views

Two functorial definitions of schemes

I have been reading a bit about the "functor of points" theory for schemes. There seem to be two ways of going about defining schemes this way: Equip the category $\textbf {Psh}=\operatorname{Fun}(\...
7
votes
1answer
675 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}$-...
5
votes
2answers
557 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 ...
0
votes
1answer
333 views

Terminal object of category of elements of a representable functor

In Awodey's Category Theory (2nd edition), page 229, I read: the category of elements $J$ of a representable $yC$ has a terminal object, namely the element $1_C \in Hom_{\mathbf{C}}(C,C)$ ...
7
votes
2answers
616 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?
0
votes
1answer
202 views

Prorepresentable functors repres. by alg. spaces? Covering spaces by alg. spaces.

Let $X$ be a (reasonable) scheme. I'm curious about constructing the constructing the covering space of a scheme algebraically. The covering space functor $F$ (below) can be represented by a ...
4
votes
2answers
670 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
votes
0answers
207 views

Examples of Sheafification via Hypercovers

For a presheaf $F$ on a category equipped with a pretopology, one has the sheafification $F^{\sharp}$ of $F$. I know well the plus-construction of sheafification, which is presented in Artin's paper "...
0
votes
0answers
414 views

restriction and pullback of representable etale sheaf along closed immersion

I find that the restriction and pullback of representable etale sheaf along closed immersion are very confusing. I think they are different in general, I hope some experts can confirm my understanding ...
1
vote
1answer
254 views

quotient of ind scheme

Is I consider an ind scheme such as $G(k((t)))$ for a reductive connected group over $k=\bar{k}$ I have the conjugacy action of $G(k[[t]])$. In what category can I make the quotient $[G(k((t))/ad(G(...
6
votes
1answer
326 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 ...
2
votes
1answer
539 views

Schemes associated to vector spaces

Let $k$ be a field. Let $F$ be a covariant functor on the category of $k$-algebras to the category of sets. Assume that the opposite functor $F^{op}$ on the category of affine $k$-schemes is a sheaf. (...
2
votes
1answer
297 views

Extending smooth irreducible representations

Hi, Let $G_1, G_2$ be topological groups with $G_1 \subset G_2$ is closed. Let $\rho:G_1 \to Aut(V)$ be a smooth irreducible representation. Can anyone tell me if there is a criterion/example/idea ...
11
votes
0answers
402 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 ...
7
votes
1answer
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 ...
10
votes
2answers
543 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 ...
4
votes
1answer
698 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 ...
7
votes
2answers
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. ...
8
votes
1answer
417 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 ...
10
votes
2answers
488 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 ...
12
votes
1answer
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 ...
12
votes
1answer
676 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 ...
7
votes
4answers
565 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 ...