Related papers: Monomialization of morphisms and p-adic quantifier…

We present an algorithm for obtaining the matter content of effective six-dimensional theories resulting from compactification of F-theory on elliptic Calabi-Yau threefolds which are hypersurfaces in toric varieties. The algorithm allows us…

We show how a certain limit of the nonsymmetric Macdonald polynomials appears in the representation theory of semisimple groups over p--adic fields as matrix coefficients for the unramified principal series representations. The result is…

Semistable reduction theorem for projective morphisms in the category of complex analytic spaces is established.

Let $\mathbb{A}$ be a $2$-category with suitable opcomma objects and pushouts. We give a direct proof that, provided that the codensity monad of a morphism $p$ exists and is preserved by a suitable morphism, the factorization given by the…

We prove a relative Kawamata Viehweg vanishing type theorem for birational morphisms. We use this to prove a Grauert Riemenschneider theorem over log canonical threefolds without zero dimensional log canonical centers, in residue…

We translate the equivariant decomposition theorem (in the case of a proper morphism of toric varieties) in to the language of combinatorially defined ``shifted minimal complexes''.

Suppose that f is a dominant morphism from a k-variety X to a k-variety Y, where k is a field of characteristic 0 and v is a valuation of the function field k(X). We allow v to be an arbitary valuation, so it may not be discrete. We prove…

In this note we prove that the factorization theorem for dominated polynomials previously proved by the authors is equivalent to an alternative factorization scheme that uses classical linear techniques and a linearization process. However,…

We prove an embedded local uniformization theroem for a valuation centered on a point of a quasi-excellent scheme of characteristic zero. The proof reduces to valuations of rank 1 and consists in desingularizing the ideal formed by the…

By means of the theory of strongly semistable sheaves and of the theory of the Greenberg transform, we generalize to higher dimensions a result on the sparsity of p-divisible unramified liftings which played a crucial role in Raynaud's…

We extend some classical results - such as Quillen's Theorem A, the Grothendieck construction, Thomason's Theorem and the characterisation of homotopically cofinal functors - from the homotopy theory of small categories to polynomial monads…

This paper is devoted to the factorization of multivariate polynomials into products of linear forms, a problem which has applications to differential algebra, to the resolution of systems of polynomial equations and to Waring decomposition…

Using Mujica's linearization theorem, we extend to the holomorphic setting some classical characterizations of compact (weakly compact, Rosenthal, Asplund) linear operators between Banach spaces such as the Schauder, Gantmacher and…

We prove an analogue of the main result of Buzzard and Taylor (Annals of Mathematics 149 (1999), 905-919) for totally real fields in which p is unramified. This can be used to prove certain cases of the strong Artin conjecture over totally…

We construct an algebraic weak factorization system $(L, R)$ on the cartesian cubical sets, in which the canonical path object factorization $A \to A^I \to A\times A$ induced by the 1-cube $I$ is an $L$-$R$ factorization for any $R$-object…

A sharp bound is obtained for the number of ways to express the monomial $X^n$ as a product of linear factors over $\mathbb{Z}/p^{\alpha}\mathbb{Z}$. The proof relies on an induction-on-scale procedure which is used to estimate the number…

We use the liftability of the relative Frobenius morphism of toric varieties and the strong liftability of toric varieties to prove the Bott vanishing theorem, the degeneration of the Hodge to de Rham spectral sequence and the…

We first construct an action of the extended double affine braid group $\mathcal{\ddot{B}}$ on the quantum toroidal algebra $U_{q}(\mathfrak{g}_{\mathrm{tor}})$ in untwisted and twisted types. As a crucial step in the proof, we obtain a…

Arithmetical invariants---such as sets of lengths, catenary and tame degrees---describe the non-uniqueness of factorizations in atomic monoids. We study these arithmetical invariants by the monoid of relations and by presentations of the…

The aim of this paper is to define and study the involutive and weakly involutive quantum B-algebras. We prove that any weakly involutive quantum B-algebra is a quantum B-algebra with pseudo-product. As an application, we introduce and…