Related papers: Rigidity theorem for presheaves with Witt-transfer…

We prove a global topological rigidity theorem for locally $C^2$-non-discrete subgroups of the group of real analytic diffeomorphisms of the circle.

In order to study $p$-adic \'etale cohomology of an open subvariety $U$ of a smooth proper variety $X$ over a perfect field of characteristic $p>0$, we introduce new $p$-primary torsion sheaves. It is a modification of the logarithmic de…

Let $\mathbb{D}$ be the category of pro-sets (or abelian pro-groups). It is proved that for any Grothendieck site $X$, there exists a reflector from the category of precosheaves on $X$ with values in $\mathbb{D}$ to the full subcategory of…

Let p be an odd regular prime, and assume that the Lichtenbaum-Quillen conjecture holds for K(Z[1/p]) at p. Then the p-primary homotopy type of the smooth Whitehead spectrum Wh(*) is described. A suspended copy of the cokernel-of-J spectrum…

We show that Voevodsky's univalence axiom for intensional type theory is valid in categories of simplicial presheaves on elegant Reedy categories. In addition to diagrams on inverse categories, as considered in previous work of the author,…

We study the homotopy fixed points under the Frobenius endomorphism on the stable $\mathbb A^1$-homotopy category of schemes in characteristic $p>0$ and prove a rigidity result for cellular objects in these categories after inverting $p$.…

We prove that for any field k of characteristic p>0, any separated scheme X of finite type over k, and any overconvergent F-isocrystal E over X, the rigid cohomology H^i(X, E) and rigid cohomology with compact supports H^i_c(X,E) are finite…

We give a simple proof for the rigidity of a complex in the bounded derived category of sheaves with constructible cohomology on an abelian variety.

We give a short and self-contained proof of the Decomposition Theorem for the non-small resolution of a Special Schubert variety. We also provide an explicit description of the perverse cohomology sheaves. As a by-product of our approach,…

In this paper, we discuss a rigidity property for holomorphic disks in Teichm\"uller space. In fact, we give a refinement of Tanigawa's rigidity theorem. We will also treat the rigidity property of holomorphic disks for complex manifolds.…

The category of finite Milnor-Witt correspondences, introduced by Calm\`es and Fasel, provides a new type of correspondences closer to the motivic homotopy theoretic framework than Suslin-Voevodsky's correspondences. A fundamental result of…

For a $G$-variety $X$ with an open orbit, we define its boundary $\partial X$ as the complement of the open orbit. The action sheaf $S_X$ is the subsheaf of the tangent sheaf made of vector fields tangent to $\partial X$. We prove, for a…

We establish a ramified class field theory for smooth projective curves over local fields. As key steps in the proof, we obtain new results in the class field theory for 2-dimensional local fields of positive characteristic, and prove a…

Let k be a field. We show that all homogeneous noncommutative curves of genus zero over k are noncommutative P^1-bundles over a (possibly) noncommutative base. Using this result, we compute complete isomorphism invariants of homogeneous…

The Farrell-Jones Fibered Isomorphism Conjecture for the stable topological pseudoisotopy theory has been proved for several classes of groups. For example for discrete subgroups of Lie groups, virtually poly-infinite cyclic groups, Artin…

We prove rigidity of various types of holomorphic parabolic geometry on smooth complex projective varieties.

We show that the strong cohomological rigidity conjecture for Bott manifolds is true. Namely, any graded cohomology ring isomorphism between two Bott manifolds is induced by a diffeomorphism.

We show a Lefschetz theorem for irreducible overconvergent $F$-isocrystals on smooth varieties defined over a finite field. We derive several consequences from it.

We prove a connexity theorem for abelian varieties in characteristic $0$: if $X$ is an abelian variety and $V\rightarrow X$ and $W\rightarrow X$ two morphisms, then, under certain hypotheses, the fiber product of $V$ and $W$ over $X$ is…

In the paper we use the theory of framed correpondences to construct Milnor-Witt transfers on homotopy modules. As a consequence we identify the zeroth stable $\mathbb{A}^1$-homotopy sheaves of smooth varieties with the zeroth homology of…