Source author record

Weizhe Zheng

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.CT

Catalog footprint

Research overview

7works

2topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

Gluing pseudo functors via $n$ -fold categories

Gluing of two pseudo functors has been studied by Deligne, Ayoub, and others in the construction of extraordinary direct image functors in étale cohomology, stable homotopy, and mixed motives of schemes. In this article, we study more generally the gluing of finitely many pseudo functors. Given pseudo functors $F_i\colon \mathcal{A}_i\to \mathcal{D}$ defined on sub- $2$ -categories $\mathcal{A}_i$ of a $2$ -category $\mathcal{C}$ , we are concerned with the problem of finding pseudo functors $\mathcal{C}\to \mathcal{D}$ extending $F_i$ up to pseudo natural equivalences. With the help of $n$ -fold categories, we organize gluing data for $n$ pseudo functors into $2$ -categories. We establish general criteria for equivalence between such $2$ -categories for $n$ pseudo functors and for $n-1$ pseudo functors, which can be applied inductively to the gluing problem. Results of this article are used in arXiv:1006.3810 to construct extraordinary direct image functors in étale cohomology of Deligne-Mumford stacks.

preprint2016arXiv

Quotient stacks and equivariant étale cohomology algebras: Quillen's theory revisited

Let $k$ be an algebraically closed field. Let $Λ$ be a noetherian commutative ring annihilated by an integer invertible in $k$ and let $\ell$ be a prime number different from the characteristic of $k$ . We prove that if $X$ is a separated algebraic space of finite type over $k$ endowed with an action of a $k$ -algebraic group $G$ , the equivariant étale cohomology algebra $H^*([X/G],Λ)$ , where $[X/G]$ is the quotient stack of $X$ by $G$ , is finitely generated over $Λ$ . Moreover, for coefficients $K \in D^+_c([X/G],\mathbb{F}_{\ell})$ endowed with a commutative multiplicative structure, we establish a structure theorem for $H^*([X/G],K)$ , involving fixed points of elementary abelian $\ell$ -subgroups of $G$ , which is similar to Quillen's theorem in the case $K = \mathbb{F}_{\ell}$ . One key ingredient in our proof of the structure theorem is an analysis of specialization of points of the quotient stack. We also discuss variants and generalizations for certain Artin stacks.

preprint2016arXiv

Théorème de Gabber d'indépendance de $l$

We present Gabber's theorem of independence of $l$ for the intersection cohomology of a proper equidimensional scheme over the spectrum of a finite field. We follow [Fuji] very closely. ----- On expose ici le théorème de Gabber d'indépendance de $l$ pour la cohomologie d'intersection d'un schéma propre équidimensionnel sur le spectre d'un corps fini. On suit [Fuji] à très peu près.

preprint2015arXiv

Gluing restricted nerves of $\infty$ -categories

In this article, we develop a general technique for gluing subcategories of $\infty$ -categories. We obtain categorical equivalences between simplicial sets associated to certain multisimplicial sets. Such equivalences can be used to construct functors in different contexts. One of our results generalizes Deligne's gluing theory developed in the construction of the extraordinary pushforward operation in étale cohomology of schemes. Our results are applied in subsequent articles to construct Grothendieck's six operations in étale cohomology of Artin stacks.

preprint2014arXiv

Six operations and Lefschetz-Verdier formula for Deligne-Mumford stacks

Laszlo and Olsson constructed Grothendieck's six operations for constructible complexes on Artin stacks in étale cohomology under an assumption of finite cohomological dimension, with base change established on the level of sheaves. In this article we give a more direct construction of the six operations for complexes on Deligne-Mumford stacks without the finiteness assumption and establish base change theorems in derived categories. One key tool in our construction is the theory of gluing finitely many pseudofunctors developed in arXiv:1211.1877. As an application, we prove a Lefschetz-Verdier formula for Deligne-Mumford stacks. We include both torsion and $\ell$ -adic coefficients.

preprint2011arXiv

Odds and ends on finite group actions and traces

In this article, we study several problems related to virtual traces for finite group actions on schemes of finite type over an algebraically closed field. We also discuss applications to fixed point sets. Our results generalize previous results obtained by Deligne, Laumon, Serre and others.

preprint2009arXiv

Sur l'indépendance de l en cohomologie l-adique sur les corps locaux

Gabber deduced his theorem of independence of $l$ of intersection cohomology from a general stability result over finite fields. In this article, we prove an analogue of this general result over local fields. More precisely, we introduce a notion of independence of $l$ for systems of complexes of $l$ -adic sheaves on schemes of finite type over a local field, equivariant under finite groups. We establish its stability by Grothendieck's six operations and the nearby cycle functor. Our method leads to a new proof of Gabber's theorem. We also give a generalization to algebraic stacks. ----- Gabber a déduit son théorème d'indépendance de $l$ de la cohomologie l'intersection d'un résultat général de stabilité sur les corps finis. Dans cet article, nous démontrons un analogue sur les corps locaux de ce résultat général. Plus précisément, nous introduisons une notion d'indépendance de $l$ pour les systèmes de complexes de faisceaux $l$ -adiques sur les schémas de type fini sur un corps local équivariants sous des groupes finis et nous établissons sa stabilité par les six opérations de Grothendieck et le foncteur des cycles proches. Notre méthode permet d'obtenir une nouvelle démonstration du théorème de Gabber. Nous donnons aussi une généralisation aux champs algébriques.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Weizhe Zheng

Research overview

Is this your work?

7 publications

Gluing pseudo functors via $n$ -fold categories

Quotient stacks and equivariant étale cohomology algebras: Quillen's theory revisited

Théorème de Gabber d'indépendance de $l$

Gluing restricted nerves of $\infty$ -categories

Six operations and Lefschetz-Verdier formula for Deligne-Mumford stacks

Odds and ends on finite group actions and traces

Sur l'indépendance de l en cohomologie l-adique sur les corps locaux

See the researcher in context

Building this map preview

Weizhe Zheng

Research overview

Is this your work?

7 publications

Gluing pseudo functors via nnn-fold categories

Quotient stacks and equivariant étale cohomology algebras: Quillen's theory revisited

Théorème de Gabber d'indépendance de lll

Gluing restricted nerves of ∞\infty∞-categories

Six operations and Lefschetz-Verdier formula for Deligne-Mumford stacks

Odds and ends on finite group actions and traces

Sur l'indépendance de l en cohomologie l-adique sur les corps locaux

See the researcher in context

Building this map preview

Gluing pseudo functors via $n$ -fold categories

Théorème de Gabber d'indépendance de $l$

Gluing restricted nerves of $\infty$ -categories