Related papers: Log motivic Gysin isomorphisms

The log-aesthetic curves include the logarithmic (equiangular) spiral, clothoid, and involute curves. Although most of them are expressed only by an integral form of the tangent vector, it is possible to interactively generate and deform…

In this article we establish the arithmetic purity of strong approximation for certain semi-simple simply connected $k$-simple linear algebraic groups and their homogeneous spaces over a number field $k$. For instance, for any such group…

Let $G$ be a linear connected complex reductive Lie group. The purpose of this paper is to give explicit symplectic isomorphisms from twisted cotangent bundles of the complex generalized flag varieties, whose transition functions are given…

Suppose that $f: Y\to X$ is a proper, dominant, tamely ramified morphism of algebraic surfaces, over a perfect field. We show that it is possible to perform sequences of monoidal transforms $Y'\to Y$ and $X'\to X$ to obtain an induced…

This paper establishes a necessary and sufficient condition for the coincidence of non-commutative $\log$-algebras constructed from different exact normal semifinite traces. Consequently, we provide a criterion for the isomorphism of…

In this short note, we prove a purity result for crystalline local systems on a smooth $p$-adic affine formal scheme. Our method is based on the prismatic description of crystalline local systems.

We investigate Cousin (bi-)complexes in the setting of motives. Over essentially smooth local schemes, the columns of the Cousin bicomplex with coefficients in any stable motivic homotopy type are shown to be acyclic. On the other hand, we…

We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative…

We prove that any smooth rational projective surface over the field of complex numbers has an open covering consisting of 3 subsets isomorphic to affine planes.

Let $X$ and $Y$ be nonsingular projective varieties over an algebraically closed field $k$ of positive characteristic. If $X$ and $Y$ are birational, we show their $S$-fundamental group schemes are isomorphic.

The log-aesthetic curve has a significant factor in the field of aesthetic design to meet the high industrial requirements. It has much exceptional property and a large number of research papers are published, since its introduction. It can…

We define the categories of log motives and log mixed motives. The latter gives a new formulation for the category of mixed motives. We prove that the former is a semisimple abelian category if and only if the numerical equivalence and…

The goal of this paper is to study non-$\mathbb{A}^1$-invariant motivic cohomology, recently defined by Elmanto, Morrow, and the first-named author, for smooth schemes over possibly non-discrete valuation rings. We establish that the cycle…

We exhibit a smooth complex rational affine surface with uncountably many nonisomorphic real forms.

In various provers and deductive verification tools, logical transformations are used extensively in order to reduce a proof task into a number of simpler tasks. Logical transformations are often part of the trusted base of such tools. In…

Let X be a smooth variety and Y a closed subscheme of X. By comparing motivic integrals on X and on a log resolution of (X,Y), we prove the following formula for the log canonical threshold of (X,Y): c(X,Y)=dim X-sup_m{(dim Y_m}/(m+1)},…

We consider tilings of Euclidean spaces by polygons or polyhedra, in particular, tilings made by a substitution process, such as the Penrose tilings of the plane. We define an isomorphism invariant related to a subgroup of rotations and…

We investigate several interrelated foundational questions pertaining to the study of motivic dga's of Dan-Cohen--Schlank [8] and Iwanari [13]. In particular, we note that morphisms of motivic dga's can reasonably be thought of as a…

We discuss the isomorphism problem of projective schemes; given two projective schemes, can we algorithmically decide whether they are isomorphic? We give affirmative answers in the case of one-dimensional projective schemes, the case of…

Let $k$ be an uncountable algebraically closed field of positive characteristic and let $S$ be a smooth projective connected surface over $k$. We extend the theorem on the Gysin kernel from [20, Theorem 5.1] to also be true over $k$, where…