Patrick Elliott's user avatar
Patrick Elliott's user avatar
Patrick Elliott's user avatar
Patrick Elliott
  • Member for 5 years, 11 months
  • Last seen more than a month ago
19 votes
4 answers
1k views

Are there prominent examples of operads in schemes?

19 votes
1 answer
840 views

What is classified by generalised Eilenberg MacLane spaces?

14 votes
0 answers
366 views

When is a map of topological spaces homotopy equivalent to an algebraic map?

9 votes
1 answer
764 views

Interesting examples of pro-algebraic completions of groups

9 votes
1 answer
444 views

$\ell$-adic schematic homotopy type

8 votes
0 answers
351 views

Cohomology of constructible sheaves via exit paths

8 votes
2 answers
777 views

Is the derived category of local systems equivalent to the derived category of sheaves of vector spaces with local system cohomology?

8 votes
0 answers
275 views

Are the braid groups good in the sense of Toën?

6 votes
0 answers
288 views

When does a group and its pro-algebraic completion have equivalent categories of arbitrary representations?

6 votes
2 answers
306 views

Relation between finite dimensional representations of an affine group scheme and quasicoherent sheaves on the classifying stack

6 votes
0 answers
396 views

Simple motivation for mixed characteristic algebraic geometry?

5 votes
1 answer
476 views

Understanding the proof of Proposition 1.2.13.8 in Lurie's Higher Topos Theory

5 votes
0 answers
249 views

How can one concretely approximate a homotopy type by a scheme or (higher/derived) stack?

5 votes
0 answers
192 views

To what extent is the derived category of coherent sheaves on a scheme a "homotopy type" of the scheme?

4 votes
0 answers
96 views

When are extensions of algebraically good groups algebraically good?

4 votes
0 answers
204 views

Universal property for derived category of coherent sheaves

3 votes
1 answer
203 views

When does cohomology of a pro-algebraic group commute with filtered colimits of coefficients?

3 votes
0 answers
483 views

Is there such a field as applied $\infty$-category theory?

3 votes
0 answers
46 views

Effaceing group cohomology of restricted representations

3 votes
0 answers
67 views

Standard terminology for "observable" subgroups of discrete groups

2 votes
0 answers
151 views

Is there a definition of an unpointed schematic homotopy type?

2 votes
0 answers
117 views

Adjoining data about singularities to "correct" the category of pure motives?

1 vote
0 answers
74 views

Effaceability conditions in the derived category