BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Weizhe Zheng

Weizhe Zheng contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.CT

Trust snapshot

Quick read

Trust 21 - Emerging
7works
0followers
2topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

7 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access