相关论文: Ramification theory from homotopical point of view…

In topology, the Steenrod problem asks whether every singular homology class is the pushforward of the fundamental class of a closed oriented manifold. Here, we introduce an analogous question in algebraic geometry: is every element on the…

We prove that wild ramification of a constructible sheaf on a surface is determined by that of the restrictions to all curves. We deduce from this result that the Euler-Poincar\'e characteristic of a constructible sheaf on a variety of…

This is a quick survey on the characteristic varieties associated to rank one local systems on a smooth, irreducible, quasi-projective complex variety $M$. A key new result is Proposition 1.8, giving additional information on the…

We survey some recent results concerning the so called Categorical Torelli problem. This is to say how one can reconstruct a smooth projective variety up to isomorphism, by using the homological properties of special admissible…

We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…

In this paper, we prove a decomposition result for the Chow groups of projectivizations of coherent sheaves of homological dimension $\le 1$. In this process, we establish the decomposition of Chow groups for the cases of Cayley's trick and…

We show that Lusztig's theories of two-sided cells and non-unipotent representations of a reductive group over a finite field are compatible with the V. Lafforgue's automorphic-to-galois direction of the Langlands correspondence. To do…

We study algebraic varieties parametrized by topological spaces and enlarge the domains of Lawson homology and morphic cohomology to this category. We prove a Lawson suspension theorem and splitting theorem. A version of Friedlander-Lawson…

We construct a left semi-model structure on the category of intensional type theories (precisely, on $\mathrm{CxlCat_{Id,1,\Sigma(,\Pi_{ext})}}$). This presents an $\infty$-category of such type theories; we show moreover that there is an…

In the context of categories equipped with a structure of nullhomotopies, we introduce the notion of homotopy torsion theory. As special cases, we recover pretorsion theories as well as torsion theories in multi-pointed categories and in…

This paper gives an explicit computation of the category of constructible sheaves on a toric variety (with respect to the stratification by torus orbits). Over the complex numbers, this simplifies a description due to Braden and Lunts. The…

We develop class field theory of curves over $p$-adic fields which extends the unramified theory of S. Saito. The class groups which approximate abelian \'etale fundamental groups of such curves are introduced in the terms of algebraic…

Recently, the singular support and the characteristic cycle of an \'etale sheaf on a smooth variety over a perfect field are constructed by Beilinson and Saito, respectively. In this article, we extend the singular support to a relative…

We define (iterated) coisotropic correspondences between derived Poisson stacks, and construct symmetric monoidal higher categories of derived Poisson stacks where the $i$-morphisms are given by $i$-fold coisotropic correspondences.…

Let $P$ be a poset. We define a new homotopy theory of suitably nice $P$-stratified topological spaces with equivalences on strata and links inverted. We show that the exit-path construction of MacPherson, Treumann, and Lurie defines an…

In this paper, we investigate a sheaf-theoretic interpretation of stratification learning from geometric and topological perspectives. Our main result is the construction of stratification learning algorithms framed in terms of a sheaf on a…

We construct a pairing, which we call factorization homology, between framed manifolds and higher categories. The essential geometric notion is that of a vari-framing of a stratified manifold, which is a framing on each stratum together…

We prove a theorem of Tits type for automorphism groups of projective varieties over an algebraically closed field of arbitrary characteristic, which was first conjectured by Keum, Oguiso and Zhang for complex projective varieties.

We show that every smooth projective curve over a finite field k admits a finite tame morphism to the projective line over k. Furthermore, we construct a curve with no such map when k is an infinite perfect field of characteristic two. Our…

Category theory is the language of homological algebra, allowing us to state broadly applicable theorems and results without needing to specify the details for every instance of analogous objects. However, authors often stray from the realm…