Related papers: Tame distillation and desingularization by $p$-alt…
A finite \'etale map between irreducible, normal varieties is called tame, if it is tamely ramified with respect to all partial compactifications whose boundary is the support of a strict normal crossings divisor. We prove that if the…
Let $(R,\mathfrak{m}, k)$ be a strictly local normal $k$-domain of positive characteristic and $P$ be a prime divisor on $X=\text{Spec } R$. We study the Galois category of finite covers over $X$ that are at worst tamely ramified over $P$…
A tame filtration of an algebra is defined by the growth of its terms, which has to be majorated by an exponential function. A particular case is the degree filtration used in the definition of the growth of finitely generated algebras. The…
Fix a positive integer $g$ and rational prime $p$. We prove the existence of a genus $g$ curve $C/\mathbb{Q}$ such that the mod $p$ representation of its Jacobian is tame by imposing conditions on the endomorphism ring. As an application,…
We extend the notion of a tame covering of a pair (X,D) where X is a regular scheme and D is a normal crossing divisor (cf. SGA1), to pairs (X,Y) where X is an arbitrary scheme and Y is a closed subset in X. We show that the abelianized…
Let $k$ be a finitely generated field of characteristic $p>0$ and $X$ a smooth and proper scheme over $k$. Recent works of Cadoret, Hui and Tamagawa show that, if $X$ satisfies the $\ell$-adic Tate conjecture for divisors for every prime…
We prove a modularity lifting theorem for minimally ramified deformations of two-dimensional odd Galois representations, over an arbitrary number field. The main ingredient is a generalization of the Taylor-Wiles method in which we patch…
Let X be a smooth and tame stack with finite inertia. We prove that there is a functorial sequence of blow-ups with smooth centers after which the stabilizers of X become abelian. Using this result, we can extend the destackification…
Let $X$ be a closed subscheme embedded in a scheme $W$ smooth over a field ${\bf k}$ of characteristic zero, and let ${\mathcal I}(X)$ be the sheaf of ideals defining $X$. Assume that the set of regular points of $X$ is dense in $X$. We…
Let K be a finite extension of Q_p and X a smooth projective variety over K. We define the notion of totally degenerate reduction of such an X and the associated Chow complexes of the special fibre of a suitable regular proper model of X…
We establish a "matrix simultaneous diagonalization theorem" for disconnected reductive groups which relaxes both the semisimplicity condition and the commutativity condition. As an application, we prove the following basic results…
We prove that all inseparable Gaussian states of two modes can be distilled into maximally entangled pure states by local operations. Using this result we show that a bipartite Gaussian state of arbitrarily many modes can be distilled if…
Let $X$ be a $\mathbb Q$-Fano variety admitting a K\"ahler-Einstein metric. We prove that up to a finite quasi-\'etale cover, $X$ splits isometrically as a product of K\"ahler-Einstein $\mathbb Q$-Fano varieties whose tangent sheaf is…
Let ${\mathcal L}/{\mathcal K}$ be a finite Galois extension and let $X$ be an affine algebraic variety defined over ${\mathcal L}$. Weil's Galois descent theorem provides necessary and sufficient conditions for $X$ to be definable over…
We extend the results of Deligne and Illusie on liftings modulo $p^2$ and decompositions of the de Rham complex in several ways. We show that for a smooth scheme $X$ over a perfect field $k$ of characteristic $p>0$, the truncations of the…
A new proof of the decomposition theorem is established using a relation with a version of the local purity theorem of Deligne and Gabber adapted to complex algebraic varieties.
Let X be a separated scheme of finite type over an algebraically closed field k and let m be a natural number. By an explicit geometric construction using torsors we construct a pairing between the first mod m Suslin homology and the first…
For a number field $K$, we consider $K^{\rm ta}$ the maximal tamely ramified algebraic extension of~$K$, and its Galois group $G^{\rm ta}_K= Gal(K^{ta}/K)$. Choose a prime $p$ such that $\mu_p \not \subset K$. Our guiding aim is to…
We prove three theorems concerning the Hopf-Galois module structure of fractional ideals in a finite tamely ramified extension of $ p $-adic fields or number fields which is $ H $-Galois for a commutative Hopf algebra $ H $. Firstly, we…
Let $n>1$, $e\geq 0$ and a prime number $p\geq 2^{n+2+2e}+3$, such that the index of regularity of $p$ is $\leq e$. We show that there are infinitely many irreducible Galois representations $\rho: Gal(\bar{\mathbb{Q}}/\mathbb{Q})\rightarrow…