Related papers: Monomialization of morphisms and p-adic quantifier…
In this paper, we introduce the monomial arrow removal operation for bound quiver algebras, and show that it is a novel reduction technique for determining the finiteness of the finitistic dimension. Our approach first develops a general…
Let $T$ be a complete strongly geometric theory of fields with quantifier elimination. We show that the theory of lovely pairs of $T$ has quantifier elimination in Delon's definitional expansion by predicates for linear independence and…
Suppose that X to Y is a generically finite map of nonsingular varieties over a field of characteristic zero, and v is a valuation of the function field of X. We prove that it is possible to perform a sequence of monoidal transforms X' to X…
In this article we extend to generic $p$-energy minimizing maps between Riemannian manifolds a regularity result which is known to hold in the case $p=2$. We first show that the set of singular points of such a map can be quantitatively…
We generalized several results for the arithmetic dynamics of monomial maps, including Silverman's conjectures on height growth, dynamical Mordell-Lang conjecture, and dynamical Manin-Mumford conjecture. These results are originally known…
In this paper we study minimal affinizations of representations of quantum groups (generalizations of Kirillov-Reshetikhin modules of quantum affine algebras introduced by Chari). We prove that all minimal affinizations in types A, B, G are…
We give an especially simple proof of a theorem in graph theory that forms the key part of the solution to a problem in commutative algebra, on how to characterize the integral closure of a polynomial ring generated by quadratic monomials.
We establish a cluster theoretical interpretation of the isomorphisms of [F.-H.-O.-O., J. Reine Angew. Math., 2022] among quantum Grothendieck rings of representations of quantum loop algebras. Consequently, we obtain a quantization of the…
We prove quantifier elimination for the theory of quasi-real closed fields with a compatible valuation. This unifies the same known results for algebraically closed valued fields and real closed valued fields.
We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable…
We give a new proof of the simultaneous embedded local uniformization Theorem in zero characteristic for essentially of finite type rings and for quasi excellent rings. The results are a consequence of the simultaneaous monomialization…
This paper provides a comprehensive overview of some of the foundational properties of categories enriched over quantaloids, along with several new results. We demonstrate that the category whose objects are quantaloid-enriched categories…
We study the notion of dp-minimality, beginning by providing several essential facts, establishing several equivalent definitions, and comparing dp-minimality to other minimality notions. The rest of the paper is dedicated to examples. We…
In this paper we develop a Morse-like theory in order to decompose birational maps and morphisms of smooth projective varieties defined over a field of characteristic zero into more elementary steps which are locally \'etale isomorphic to…
In this paper, we will show vanishing theorem of $p$ harmonic $1$ form on submanifold $M$ in $ \bar{M} $ whose BiRic curvature satisfying $ \overline{\mathrm{BiRic}}^a \geq \Phi_a(H,S) $. As an corollary, we can get the corresponding…
A notion of duality of weight systems which corresponds to Batyrev's toric mirror symmetry is given. Explicit duality on the (1,1)-cohomology of K3 surfaces which are minimal models of toric hypersurfaces is constructed using monomial…
A toric polyhedron is a reduced closed subscheme of a toric variety that are partial unions of the orbits of the torus action. We prove vanishing theorems for toric polyhedra. We also give a proof of the $E_1$-degeneration of Hodge to de…
In this article we extend the theory of lax monoidal structures, also known as multitensors, and the monads on categories of enriched graphs that they give rise to. Our first principal result -- the lifting theorem for multitensors --…
We give a new proof of the KAM theorem for analytic Hamiltonians. The proof is inspired by a quantum field theory formulation of the problem and is based on a renormalization group argument treating the small denominators inductively scale…
On smooth projective variety, for a reduced effective divisor which is weakly ample in the sense of cohomology, we introduce a Kadaira--Saito vanishing theorem for it.