Skip to main content
spelling, grammar, formatting
Source Link
Ben McKay
  • 26.3k
  • 7
  • 67
  • 102

Is every algebraic spaces arespace a 1-geometric stack?

In many references (Toen, 'ToenHigher and derived stacks: a global overview, Highera nd derived stacks:a global overview'Toen, 'Toen-VezzosiVezzosi, Homotopical algebraic geometry II'Homotopical algebraic geometry II,... and so on), the definition of n$n$-geometric stack appears.

In 'Not' derivedthe non-derived case, the definition starts atby declaring affine schemes as a (-1)$(-1)$-geometric stacks and inductively defines n$n$-geometric stacks by some procedure.

Toen-Vezzosi, HAG II, Remark 2.1.1.5 says that algebraic spaces and schemes are automatically 1-geometric stacks. I can check that schemes are 1-geometric. (It does not depend on whether a scheme is separated or not).) But I can't check it easily that algebraic spaces are 1-geometric stacks.

Is algebraic spaces are 1-geometric stack?

In many references, 'Toen, Highera nd derived stacks:a global overview', 'Toen-Vezzosi, Homotopical algebraic geometry II',... the definition of n-geometric stack appears.

In 'Not' derived case, the definition starts at declaring affine schemes as a (-1)-geometric stacks and inductively defines n-geometric stacks by some procedure.

Toen-Vezzosi, HAG II, Remark 2.1.1.5 says that algebraic spaces and schemes are automatically 1-geometric stacks. I can check that schemes are 1-geometric(It does not depend on whether a scheme is separated or not). But I can't check it easily that algebraic spaces are 1-geometric stacks.

Is every algebraic space a 1-geometric stack?

In many references (Toen, Higher and derived stacks: a global overview, Toen, Vezzosi, Homotopical algebraic geometry II, and so on), the definition of $n$-geometric stack appears.

In the non-derived case, the definition starts by declaring affine schemes as $(-1)$-geometric stacks and inductively defines $n$-geometric stacks by some procedure.

Toen-Vezzosi, HAG II, Remark 2.1.1.5 says that algebraic spaces and schemes are automatically 1-geometric stacks. I can check that schemes are 1-geometric. (It does not depend on whether a scheme is separated or not.) But I can't check easily that algebraic spaces are 1-geometric stacks.

added 41 characters in body
Source Link
keaton
  • 421
  • 2
  • 4

In many references, 'Toen, Highera nd derived stacks:a global overview', 'Toen-Vezzosi, Homotopical algebraic geometry II',... the definition of n-geometric stack appears.

In 'Not' derived case, the definition starts at declaring affine schemes as a (-1)-geometric stacks and inductively defines n-geometric stacks by some procedure.

Toen-Vezzosi, HAG II, Remark 2.1.1.5 says that algebraic spaces and schemes are automatically 1-geometric stacks. I can check that schemes are 1-geometric(It does not depend on whether a scheme is separated or not). But I can't check it easily that algebraic spaces are 1-geometric stacks.

In many references, 'Toen, Highera nd derived stacks:a global overview', 'Toen-Vezzosi, Homotopical algebraic geometry II',... the definition of n-geometric stack appears.

In 'Not' derived case, the definition starts at declaring affine schemes as a (-1)-geometric stacks and inductively defines n-geometric stacks by some procedure.

Toen-Vezzosi, HAG II, Remark 2.1.1.5 says that algebraic spaces and schemes are automatically 1-geometric stacks. I can check that schemes are 1-geometric(It does not depend on whether a scheme is separated or not). But I can't check it easily that

In many references, 'Toen, Highera nd derived stacks:a global overview', 'Toen-Vezzosi, Homotopical algebraic geometry II',... the definition of n-geometric stack appears.

In 'Not' derived case, the definition starts at declaring affine schemes as a (-1)-geometric stacks and inductively defines n-geometric stacks by some procedure.

Toen-Vezzosi, HAG II, Remark 2.1.1.5 says that algebraic spaces and schemes are automatically 1-geometric stacks. I can check that schemes are 1-geometric(It does not depend on whether a scheme is separated or not). But I can't check it easily that algebraic spaces are 1-geometric stacks.

Source Link
keaton
  • 421
  • 2
  • 4

Is algebraic spaces are 1-geometric stack?

In many references, 'Toen, Highera nd derived stacks:a global overview', 'Toen-Vezzosi, Homotopical algebraic geometry II',... the definition of n-geometric stack appears.

In 'Not' derived case, the definition starts at declaring affine schemes as a (-1)-geometric stacks and inductively defines n-geometric stacks by some procedure.

Toen-Vezzosi, HAG II, Remark 2.1.1.5 says that algebraic spaces and schemes are automatically 1-geometric stacks. I can check that schemes are 1-geometric(It does not depend on whether a scheme is separated or not). But I can't check it easily that