相关论文: Conjecture de l'inertie mod\'{e}r\'{e}e de Serre

While intersection cohomology is stable under small resolutions, both ordinary and intersection cohomology are unstable under smooth deformation of singularities. For complex projective algebraic hypersurfaces with an isolated singularity,…

We present a semicontinuity result, proven in recent joint work with Morrow and Scholze, relating the mod $p$ singular cohomology of a smooth projective complex algebraic variety X to the de Rham cohomology of a smooth characteristic $p$…

Let $\sigma$ be the involution of the Roe algebra $\Roe{\RR}$ which is induced from the reflection $\RR\to\RR; x\mapsto -x$. A graded Fredholm module over a separable $C^*$-algebra $A$ gives rise to a homomorphism…

We construct well-behaved extensions of the motivic spectra representing generalized motivic cohomology and connective Balmer--Witt K-theory (among others) to mixed characteristic Dedekind schemes on which 2 is invertible. As a consequence…

Let k be an algebraically closed field of arbitrary characteristic,let K/k be a finitely generated field extension and let X be a separated scheme of finite type over K. For each prime ell, the absolute Galois group of K acts on the…

Let $k$ be a finite field, a $p$-adic field or a number field. Let $K$ be a finite extension of the Laurent series field in $m$ variables $k((x_1,...,x_m))$ or, more generally, a finite extension of the field of rational functions…

We prove the (generalized) coherence conjecture of Pappas and Rapoport. As a corollary, one theorem of Pappas an Rapoport, which describes the geometry of the special fibers of the local models for ramified unitary groups, holds…

If A is a homotopy cartesian square of ring spectra satisfying connectivity hypotheses, then the cube induced by Goodwillie's integral cyclotomic trace from K(A) to TC(A) is homotopy cartesian. In other words, the homotopy fiber of the…

We prove that algebraic de Rham cohomology as a functor defined on smooth $\mathbb{F}_p$-algebras is formally \'etale in a precise sense. This result shows that given de Rham cohomology, one automatically obtains the theory of crystalline…

We present a proof of the algorithm for computing line bundle valued cohomology classes over toric varieties conjectured by R.~Blumenhagen, B.~Jurke and the authors (arXiv:1003.5217) and suggest a kind of Serre duality for combinatorial…

Let k be an infinite perfect field. We provide a general criterion for a spectrum in the stable homotopy category over k to be effective, i.e. to be in the localizing subcategory generated by the suspension spectra of smooth schemes. As a…

We use techniques of Alper-Hall-Rydh to prove a local structure theorem for smooth morphisms between smooth stacks around points with linearly reductive stabilizers. This implies that the good moduli space of a smooth stack over a base has…

Making use of topological periodic cyclic homology, we extend Grothendieck's standard conjectures of type C and D (with respect to crystalline cohomology theory) from smooth projective schemes to smooth proper dg categories in the sense of…

We study the question for which commutative ring spectra $A$ the tensor of a simplicial set $X$ with $A$, $X \otimes A$, is a stable invariant in the sense that it depends only on the homotopy type of $\Sigma X$. We prove several structural…

Let $X$ be a smooth projective geometrically connected variety defined over a number field $K$. We prove that the geometric \'etale cohomology of $X$ with $\mathbb{Q}/\mathbb{Z}$-coefficients has finitely many classes invariant under the…

We give the geometric version of a construction of Colmez-Niziol which establishes a comparison theorem between arithmetic p-adic nearby cycles and syntomic sheaves. The local construction of the period isomorphism uses…

We show that the Gersten complex for the (improved) Milnor K-sheaf on a smooth scheme over an excellent discrete valuation ring is exact except at the first place and that exactness at the first place may be checked at the discrete…

Let $X_\Sigma$ be a smooth, not necessarily compact toric variety. We show that a certain complex, defined in terms of the fan $\Sigma$, computes the integral cohomology of $X_\Sigma$, including the module structure over the homology of the…

Let K be the field of fractions of a Henselian discrete valuation ring O_K. Let X_K/K be a smooth proper geometrically connected scheme admitting a regular model X/O_K. We show that the index \delta(X_K/K) of X_K/K can be explicitly…

In this paper, we give an approach to the zeta values of a (proper regular) arithmetic scheme X at the integers r>=d:=dim(X), using \'etale cohomology of X with Q_p(r) and Z_p(r)-coefficients.