相关论文: Ramification theory from homotopical point of view…
For an $\ell$-adic sheaf on a variety of arbitrary dimension over a perfect field, we define the Swan class measuring the wild ramification as a 0-cycle class supported on the ramification locus. We prove a Lefschetz trace formula for open…
After surveying higher K-theory of toric varieties, we present Totaro's old (c. 1997) unpublished result on expressing the corresponding homotopy theory via singular cohomology. It is a higher analog of the rational Chern character…
We prove a version of J.P. May's theorem on the additivity of traces, in symmetric monoidal stable $\infty$-categories. Our proof proceeds via a categorification, namely we use the additivity of topological Hochschild homology as an…
In this paper, we present an explicit cyclic minimal $A_\infty$ model for the category of matrix factorizations $\MF(W)$ of an isolated hypersurface singularity. The key observation is to use Kontsevich's deformation quantization technique.…
The one-term distributive homology was introduced by J.H.Przytycki as an atomic replacement of rack and quandle homology, which was first introduced and developed by R.Fenn, C.Rourke and B.Sanderson, and J.S.Carter, S.Kamada and M.Saito.…
We show that the characteristic cycle of the exterior product of constructible complexes is the exterior product of the characteristic cycles of factors. This implies the compatibility of characteristic cycles with smooth pull-back which is…
We present a formula for computing proper pushforwards of classes in the Chow ring of a projective bundle under the projection $\pi:\Pbb(\Escr)\rightarrow B$, for $B$ a non-singular compact complex algebraic variety of any dimension. Our…
In this work we shall introduce a new model structure on the category of pro-simplicial sheaves, which is very convenient for the study of \'etale homotopy. Using this model structure we define a pro-space associated to a topos, as a result…
In the first part, we further advance the study of category theory in a strong balanced factorization category C [Pisani, 2008], a finitely complete category endowed with two reciprocally stable factorization systems such that X \to 1 is in…
Transitive Lie algebroids have specific properties that allow to look at the transitive Lie algebroid as an element of the object of a homotopy functor. Roughly speaking each transitive Lie algebroids can be described as a vector bundle…
For a simple, normal and finite extension of a valued field, we prove that we can related the order of the ramification group of the field extension and the set of key polynomials associated to the extension of the valuation. More…
Isham's topos-theoretic perspective on the logic of the consistent-histories theory is extended in two ways. First, the presheaves of consistent sets of history propositions in the topos proposed by Isham are endowed with a Vietoris-type of…
We prove an extension of the Kato-Saito class field theory for smooth projective schemes over a finite field to schemes with singularities. As an application, we obtain Bloch's formula for the Chow groups of 0-cycles on such schemes. We…
We give a characterization of genuinely ramified maps of formal orbifolds in the Tannakian framework. In particular we show that a morphism is genuinely ramified if and only if the pullback of every stable bundle remains stable in the…
We develop a homotopy theory for additive categories endowed with endofunctors, analogous to the concept of a model structure. We use it to construct the homotopy theory of a Hovey triple (which consists of two compatible complete cotorsion…
We present a cocycle model for elliptic cohomology with complex coefficients in which methods from 2-dimensional quantum field theory can be used to rigorously construct cocycles. For example, quantizing a theory of vector bundle-valued…
Let $f:X\rightarrow Y$ be a generically smooth morphism between irreducible smooth projective curves over an algebraically closed field of arbitrary characteristic. We prove that the vector bundle $((f_*{\mathcal O}_X)/{\mathcal O}_Y)^*$ is…
Since the seminal work of Wan, Poonen, and Sheats in the 1990's, we have been searching for the correct general statement of the Riemann Hypothesis ("RH") which appears implicit in their results. Recently, upon viewing the extension $\C/\R$…
We introduce a notion of compatibility for families $(\mathcal{F}_{\ell})_{\ell}$ of bounded constructible $\ell$-adic complexes of \'etale sheaves on schemes. For schemes of finite type over a field, this notion is preserved by the usual…
The algebraic notion of a pivotal module category was developed by Schaumann and Shimizu and is central to the description of boundary conditions in conformal field theory according to a proposal by Fuchs and Schweigert. In this paper, we…