Pith. sign in

REVIEW 2 cited by

Lisse extensions of weaves

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2501.04114 v2 pith:LHAXTQIV submitted 2025-01-07 math.AG math.AT

Lisse extensions of weaves

classification math.AG math.AT
keywords lisseextensionstacksartinformalismschemesweavealgebraic
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

Any sheaf theory on schemes extends canonically to Artin stacks via a procedure called lisse extension. In this paper we show that lisse extension preserves the formalism of Grothendieck's six operations: more precisely, the lisse extension of a weave on schemes determines a weave on (higher) Artin stacks. The setup is general enough to apply to the stable motivic homotopy category with the six functor formalism of Voevodsky-Ayoub-Cisinski-Deglise, for instance, and is not specific to algebraic geometry: for example, it also applies to sheaves of spectra on topological stacks.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Descendability and descent in topological weaves

    math.AG 2026-07 accept novelty 7.0

    Finitely presented surjections of algebraic spaces are descendable in topological weaves, yielding v-descent for rational motivic sheaves and h-descent for étale motivic spectra under bounded cohomological dimension.

  2. Descendability and descent in topological weaves

    math.AG 2026-07 accept novelty 7.0

    A general descendability criterion for topological six-functor formalisms yields h-descent for étale motivic spectra and rational motivic cohomology, plus arc-descent in weights ≤1.