Patrick Elliott's user avatar
Patrick Elliott's user avatar
Patrick Elliott's user avatar
Patrick Elliott
  • Member for 6 years, 1 month
  • 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
856 views

What is classified by generalised Eilenberg MacLane spaces?

8 votes
2 answers
805 views

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

9 votes
1 answer
774 views

Interesting examples of pro-algebraic completions of groups

3 votes
0 answers
493 views

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

5 votes
1 answer
476 views

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

9 votes
1 answer
446 views

$\ell$-adic schematic homotopy type

6 votes
0 answers
405 views

Simple motivation for mixed characteristic algebraic geometry?

14 votes
0 answers
366 views

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

8 votes
0 answers
357 views

Cohomology of constructible sheaves via exit paths

6 votes
2 answers
308 views

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

6 votes
0 answers
290 views

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

8 votes
0 answers
276 views

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

5 votes
0 answers
249 views

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

3 votes
1 answer
207 views

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

4 votes
0 answers
206 views

Universal property for derived category of coherent sheaves

5 votes
0 answers
194 views

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

2 votes
0 answers
152 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?

4 votes
0 answers
96 views

When are extensions of algebraically good groups algebraically good?

1 vote
0 answers
74 views

Effaceability conditions in the derived category

3 votes
0 answers
67 views

Standard terminology for "observable" subgroups of discrete groups

3 votes
0 answers
46 views

Effaceing group cohomology of restricted representations