Related papers: Exactness, integrality, and log modifications
To, say, a proper algebraic or holomorphic space $X/S$, and a coherent sheaf ${\mathcal F}$ on $X$ we identify a functorial ideal, the fitted flatifier, blowing up sequentially in which leads to a flattening of the proper transform of…
We construct a functor from the category of manifolds with generalized corners to the category of complexes of toric monoids, and for every `refinement' of the complex associated to a manifold, we show there is a unique `blow-up', i.e., a…
Recent developments in local quantum physics have led to revolutionary conceptual changes in the thinking about a more intrinsic formulation and in particular about unexpected aspects of localized degrees of freedom. This paradigmatic…
For a map f: X -> Y of quasi-compact quasi-separated schemes, we discuss quasi-perfection, that is, the right adjoint f^\times of the derived functor Rf_* respects small direct sums. This is equivalent to the existence of a functorial…
In this article, we prove that the blow-up of a locally irreducible lcK space $X$ along a subspace $Z$ which verifies certain conditions is lcK if and only if $X$ is induced gcK, generalizing a theorem of Ornea-Verbitsky-Vuletescu to…
One of the remarkable properties of cluster algebras is that any cluster, obtained from a sequence of mutations from an initial cluster, can be written as a Laurent polynomial in the initial cluster (known as the "Laurent phenomenon").…
In this work we develop a theory of motives for logarithmic schemes over fields in the sense of Fontaine, Illusie, and Kato. Our construction is based on the notion of finite log correspondences, the dividing Nisnevich topology on log…
We study a class of universal Feynman integrals which appear in four-dimensional holomorphic theories. We recast the integrals as the Fourier transform of a certain polytope in the space of loop momenta (aka the ``Operatope''). We derive a…
The Nash blowing-up (or modification) of an algebraic variety $X$ is a canonical process that produces a proper, birational morphism $\pi : X' \to X$ of varieties. It is expected that the singularities of $X'$ will be better than those of…
We define the big crystalline site for a log scheme and prove the basic properties. In particular, we show the boundedness, base change, and perfectness theorems for the crystalline higher direct image of quasi-coherent crystals between…
The idea in the title is to blow up a finite structure, replacing each 'colour or atom' by infinitely many, using blurs to represent the resulting term algebra, but the blurs are not enough to blur the structure of the finite structure in…
This paper is devoted to an integrable two-component Camassa-Holm system with cubic nonlinearity, which includes the cubic Camassa-Holm equation (also called the Fokas-Olver-Rosenau-Qiao equation) as a special case. The one peaked solitons…
We introduce rigid syntomic cohomology for strictly semistable log schemes over a complete discrete valuation ring of mixed characteristic (0,p). In case a good compactification exists, we compare this cohomology theory to…
A semialgebraic map $f:X\to Y$ between two real algebraic sets is called blow-Nash if it can be made Nash (i.e. semialgebraic and real analytic) by composing with finitely many blowings-up with non-singular centers. We prove that if a…
We introduce the concept of morphism of pseudogroups generalizing the \'etal\'e morphisms of Haefliger. With our definition, any continuous foliated map induces a morphism between the corresponding holonomy pseudogroups. The main theorem…
We complete the program, initiated in [6], to compare the many different possible definitions of the underlying homotopy type of a log scheme. We show that, up to profinite completion, they all yield the same result, and thus arrive at an…
We globalize the derived version of the McKay correspondence of Bridgeland-King-Reid, proven by Kawamata in the case of abelian quotient singularities, to certain log algebraic stacks with locally free log structure. The two sides of the…
The famous Jacobian Conjecture asks if a morphism $f:K[x,y]\to K[x,y]$ with invertible Jacobian, is invertible ($K$ is a characteristic zero field). A known result says that if $K[f(x),f(y)] \subseteq K[x,y]$ is an integral extension, then…
The categories of almost modules and almost algebras are introduced as a convenient setting for the development of Faltings' method of almost etale extensions. After some preliminaries of general "almost homological algebra" we construct…
We solve time-sliced path integrals of one-dimensional Coulomb system in an exact manner. In formulating path integrals, we make use of the Duru-Kleinert transformation with Fujikawa's gauge theoretical technique. Feynman kernels in the…