User Patrick Elliott

19 votes

4 answers

1k views

Are there prominent examples of operads in schemes?

asked Dec 21, 2018 at 12:50

19 votes

1 answer

861 views

What is classified by generalised Eilenberg MacLane spaces?

asked May 20, 2019 at 7:03

14 votes

0 answers

366 views

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

asked Mar 14, 2019 at 23:52

9 votes

1 answer

784 views

Interesting examples of pro-algebraic completions of groups

asked Mar 5, 2018 at 11:22

9 votes

1 answer

448 views

$\ell$-adic schematic homotopy type

asked Apr 13, 2020 at 7:33

8 votes

0 answers

365 views

Cohomology of constructible sheaves via exit paths

asked Apr 14, 2020 at 8:01

8 votes

2 answers

813 views

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

asked May 19, 2020 at 1:51

8 votes

0 answers

278 views

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

asked Jul 9, 2019 at 0:39

6 votes

0 answers

294 views

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

asked Aug 6, 2020 at 4:21

6 votes

2 answers

310 views

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

asked Jan 26, 2021 at 8:37

6 votes

0 answers

415 views

Simple motivation for mixed characteristic algebraic geometry?

asked Jun 25, 2023 at 13:51

5 votes

1 answer

476 views

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

asked Mar 8, 2019 at 1:29

5 votes

0 answers

250 views

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

asked Mar 2, 2018 at 23:43

5 votes

0 answers

207 views

Universal property for derived category of coherent sheaves

asked Apr 25, 2020 at 18:21

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?

asked Apr 12, 2020 at 18:24

4 votes

0 answers

96 views

When are extensions of algebraically good groups algebraically good?

asked Sep 24, 2019 at 4:53

3 votes

1 answer

208 views

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

asked Jul 23, 2020 at 8:45

3 votes

0 answers

497 views

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

asked Jul 27, 2019 at 17:53

3 votes

0 answers

46 views

Effaceing group cohomology of restricted representations

asked Jan 26, 2021 at 8:55

3 votes

0 answers

67 views

Standard terminology for "observable" subgroups of discrete groups

asked Mar 3, 2021 at 13:07

2 votes

0 answers

152 views

Is there a definition of an unpointed schematic homotopy type?

asked Dec 23, 2018 at 18:21

2 votes

0 answers

117 views

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

asked Apr 13, 2020 at 7:19

1 vote

0 answers

75 views

Effaceability conditions in the derived category

asked Mar 25, 2020 at 11:04

Stack Exchange Network

23 Questions

Are there prominent examples of operads in schemes?

What is classified by generalised Eilenberg MacLane spaces?

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

Interesting examples of pro-algebraic completions of groups

$\ell$-adic schematic homotopy type

Cohomology of constructible sheaves via exit paths

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

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

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

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

Simple motivation for mixed characteristic algebraic geometry?

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

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

Universal property for derived category of coherent sheaves

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

When are extensions of algebraically good groups algebraically good?

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

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

Effaceing group cohomology of restricted representations

Standard terminology for "observable" subgroups of discrete groups

Is there a definition of an unpointed schematic homotopy type?

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

Effaceability conditions in the derived category