Related papers: Log motivic Gysin isomorphisms

In this article, we establish the compatibility between norms and transfers in motivic homotopy theory. More precisely, we construct norm functors for motivic spaces equipped with various flavours of transfer. This yields a norm monoidal…

Let Y be a divisor on a smooth algebraic variety X. We investigate the geometry of the Jacobian scheme of Y, homological invariants derived from logarithmic differential forms along Y, and their relationship with the property that Y is a…

A simple approach is presented to study the asymptotic behavior of some algorithms with an underlying tree structure. It is shown that some asymptotic oscillating behaviors can be precisely analyzed without resorting to complex analysis…

An involution is a bijection that is its own inverse. Given a permutation $\sigma$ of $[n],$ let $\mathsf{invol}(\sigma)$ denote the number of ways $\sigma$ can be expressed as a composition of two involutions of $[n].$ We prove that the…

Let $G$ be a linear algebraic group, over a field $F$. We show that $G$ is isomorphic to the automorphism group scheme of a smooth projective $F$-variety, defined as the blow-up of a projective space, along a suitable smooth subvariety.

We show that a smooth Moishezon space $Y$ is non-projective if and only if it contains a rational curve such that $-[C] \in \overline{\mathrm{NE}}(Y)$. More generally, this holds if $Y$ has $\mathbb{Q}$-factorial, log terminal…

Two Azumaya algebras with involutions are considered over a regular local ring. It is proved that if they are isomorphic over the quotient field, then they are isomorphic too. In particular, if two quadratic spaces over such a ring are…

We introduce a class of singular log schemes in three dimensions and conjecture that log schemes in this class admit log crepant log resolutions. We provide examples as evidence and relate this conjecture to the conjecture made in [4] and…

We construct a log algebraic version of the homotopy sequence for a quasi-projective normal crossing log variety over a log point of characteristic zero and prove some exactness properties of it. Our proofs are purely algebraic.

If two schemes are isomorphic, then their $m$-jet schemes are isomorphic for all $m$. In this paper we consider the converse problem. We prove that if an isomorphism of the $m$-jet schemes is induced from a morphism of the base schemes,…

We prove, under suitable conditions, that there exist wall-crossing and reduction morphisms for moduli spaces of stable log pairs in all dimensions as one varies the coefficients of the divisor.

We consider a rational map f:S->S of a complex projective surface together with an invariant meromorphic two form. Under a mild topological assumption on the map, we show that the zeroes of the invariant form can be eliminated by birational…

In this paper, we consider a class of plane curves called log-aesthetic curves and their generalization which are used in computer aided geometric design. We consider these curves in the framework of the similarity geometry and characterize…

We prove that Atiyah duality holds in the $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra over arbitrary derived schemes: every smooth projective scheme is dualizable with dual given by the Thom spectrum of its negative…

We prove constancy of Newton polygons of all convergent $F$-isocrystals on Abelian varieties over finite fields. Applying the constancy, we prove the isotriviality of projective smooth families of curves over Abelian varieties. We also…

This paper tackles the problem of formulating and proving the completeness of focused-like proof systems in an automated fashion. Focusing is a discipline on proofs which structures them into phases in order to reduce proof search…

We construct harmonic morphisms on the compact simple Lie group G2. The construction uses eigenfamilies in a representation theoretic scheme.

We study complex projective plane curves with a given group of automorphisms. Let $G$ be a simple primitive subgroup of $PGL(3, \mathbb{C})$, which is isomorphic to $A_{6}$, $A_{5}$ or $PSL(2, \mathbb{F}_{7})$. We obtain a necessary and…

In this paper we will introduce a certain type of morphisms of log schemes (in the sense of Fontaine, Illusie, and Kato) and investigate their moduli. Then by applying this we define a notion of toric algebraic stacks over arbitrary…

We study motivic Chern classes of cones. First we show examples of projective cones of smooth curves such that their various $K$-classes (sheaf theoretic, push-forward and motivic) are all different. Then we show connections between the…