Related papers: Toroidal varieties and the weak Factorization Theo…

We prove functorial weak factorization of projective birational morphisms of regular quasi-excellent schemes in characteristic 0 broadly based on the existing line of proof for varieties. From this general functorial statement we deduce…

We give a short proof of W{\lodarczyk's theorem that any birational map between smooth projective varieties in characteristic zero is a composition of weighted blowups and blowdowns.

In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application…

In this article we describe the equivariant and ordinary topological $K$-ring of a toric bundle with fiber a $T$-{\it cellular} toric variety. This generalizes the results in \cite{su} on $K$-theory of smooth projective toric bundles. We…

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…

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…

The inclusion of the unit in a braided tensor category $\mathcal{V}$ induces a 1-morphism in the Morita 4-category of braided tensor categories $BrTens$. We give criteria for the dualizability of this morphism. When $\mathcal{V}$ is a…

We axiomatize the algebraic properties of toroidal compactifications of (mixed) Shimura varieties and their automorphic vector bundles. A notion of generalized automorphic sheaf is proposed which includes sheaves of (meromorphic) sections…

Non-unique factorizations theory, which started in algebraic number theory, over the years has expanded into several areas of mathematics. Here, we propose yet another branching. We show that some concepts of factorizations theory, such as…

Dans cet expos\'e, nous expliquons le r\'esultat suivant d\'emontr\'e r\'ecemment par Abramovich, Karu, Matsuki et W{\l}odarczyk : toute application birationnelle entre deux vari\'et\'es alg\'ebriques compl\`etes et lisses sur un corps…

In this article we describe the $G_{comp}\times G_{comp}$-equivariant topological $K$-ring of a {\em cellular} toroidal embedding $\mathbb{X}$ of a complex connected reductive algebraic group $G$. In particular, our results extend the…

This paper introduces the notion of twisted toric manifolds which is a generalization of one of symplectic toric manifolds, and proves the weak Delzant type classification theorem for them. The computation methods for their fundamental…

We give a new proof of an index theorem for fiber bundles of compact topological manifolds due to Dwyer, Weiss, and Williams, which asserts that the parametrized $A$-theory characteristic of such a fiber bundle factors canonically through…

In this article we use existing machinery to define connective $K$-theory spectra associated to topological ringoids. Algebraic $K$-theory of discrete ringoids, and the analytic $K$-theory of Banach categories are obtained as special cases.…

We give a characterization of toroidal (resp., semi-toric) compactifications due to Ash-Mumford-Rapoport-Tai (resp., Looijenga) as log minimal models and apply it to study weak K-moduli compactifications, giving a different proof to a…

We show that a toroidal morphism can be reduced to a weakly semistable one in a universal way if we allow families to be modified to Deligne-Mumford stacks instead of schemes.

Gambino and Garner proved that the syntactic category of a dependent type theory with identity types can be endowed with a weak factorization system structure, called identity type weak factorization system. In this paper we consider an…

We introduce type-theoretic algebraic weak factorisation systems and show how they give rise to homotopy-theoretic models of Martin-L\"of type theory. This is done by showing that the comprehension category associated to a type-theoretic…

We prove a basic property of continuous multilinear mappings between topological vector spaces, from which we derive an easy proof of the fact that a multilinear mapping (and a polynomial) between topological vector spaces is weakly…

I. Panin proved in the nineties that the algebraic K-theory of twisted projective homogeneous varieties can be expressed in terms of central simple algebras. Later, Merkurjev and Panin described the algebraic K-theory of toric varieties as…