相关论文: Ramification theory from homotopical point of view…
An equivariant topological field theory is defined on a cobordism category of manifolds with principal fiber bundles for a fixed (finite) structure group. We provide a geometric construction which for any given morphism $G \to H$ of finite…
Following an idea of Totaro, we prove that the classical integral cycle class map from algebraic cycles to \'etale cohomology factors through a quotient of $\ell$-adic \'etale cobordism over an algebraically closed field of positive…
Localic and realizability toposes are two central classes of toposes in categorical logic, both arising through the Hyland-Johnstone-Pitts tripos-to-topos construction. We investigate their shared geometric features by providing an…
Let $F$ be a totally real field in which $p$ is unramified. Let $\overline{r}: G_F \rightarrow \mathrm{GL}_2(\overline{\mathbb{F}}_p)$ be a modular Galois representation which satisfies the Taylor-Wiles hypotheses and is generic at a place…
We show that conically smooth stratified spaces embed fully faithfully into $\infty$-categories. This articulates a stratified generalization of the homotopy hypothesis proposed by Grothendieck. As such, each $\infty$-category defines a…
Let X be a noetherian scheme defined over an algebraically closed field of positive characteristic p, and G be a finite group, of order divisible by p, acting on X. We introduce a refinement of the equivariant K-theory of X to take into…
We explain a version of the Riemann-Hilbert correspondence for $p$-torsion \'etale sheaves on an arbitrary $\mathbf{F}_p$-scheme.
Motivated by the definition of homotopy $L_\infty$ spaces, we develop a new theory of Kuranishi manifolds, closely related to Joyce's recent theory. We prove that Kuranishi manifolds form a $2$-category with invertible $2$-morphisms, and…
We show that compatible systems of $\ell$-adic sheaves on a scheme of finite type over the ring of integers of a local field are compatible along the boundary up to stratification. This extends a theorem of Deligne on curves over a finite…
We introduce a sheaf-theoretic approach to tropical homology, especially for tropical homology with potentially non-compact supports. Our setup is suited to study the functorial properties of tropical homology, and we show that it behaves…
We prove a duality theorem for the $p$-adic etale motivic cohomology of a variety $U$ which is the complement of a divisor on a smooth projective variety over $\F_p$. This extends the duality theorems of Milne and Jannsen-Saito-Zhao. The…
We initiate a systematic study on the cohomology rings of the moduli stack $\mathfrak{M}_{d,\chi}$ of semistable one-dimensional sheaves on the projective plane. We introduce a set of tautological relations of geometric origin, including…
We provide a full classification of all attainable term structure shapes in the two-factor Vasicek model of interest rates. In particular, we show that the shapes normal, inverse, humped, dipped and hump-dip are always attainable. In…
In this paper, we extend the structure theorem for smooth projective varieties with nef tangent bundle to projective klt varieties whose tangent sheaf is either positively curved or almost nef. Specifically, we show that such a variety $X$,…
Given a period map defined over a quasi-projective variety, we construct a completion with rich geometric and Hodge-theoretic meaning. This result may be regarded as an analog of Mumford's toroidal compactification for locally symmetric…
The state spaces of machines admit the structure of time. A homotopy theory respecting this additional structure can detect machine behavior unseen by classical homotopy theory. In an attempt to bootstrap classical tools into the world of…
We prove an A'Campo type formula for the tame monodromy zeta function of a smooth and proper variety over a discretely valued field $K$. As a first application, we relate the orders of the tame monodromy eigenvalues on the $\ell$-adic…
We give a group-theoretic description of the parity of a pull-back of a theta characteristic under a branched covering. It involves lifting monodromy of the covering to the semidirect product of the symmetric and Clifford groups, known as…
Building on Beilinson's work, ``constructible sheaves are holonomic,'' we introduce the notion of holonomicity for \'etale sheaves, without assuming a priori constructibility. Over a perfect base field, we establish the converse of…
We construct a derived pushforward of the r-th root of the universal line bundle over the Picard stack of genus g prestable curves carrying a line bundle. We prove a number of basic properties, and give a formula in terms of standard…