Related papers: On infinite order corks

This paper is the first of two steps in a project to prove finite generation of the log canonical ring without Mori theory.

We present an improved orderly algorithm for constructing all unlabelled lattices up to a given size, that is, an algorithm that constructs the minimal element of each isomorphism class relative to some total order. Our algorithm employs a…

We show that no left-ordering on a free product of (left-orderable) groups is isolated. In particular, we show that the space of left-orderings of free product of finitely generated groups is homeomorphic to the Cantor set. With the same…

We construct a tree T of maximal degree 3 with infinitely many leaves such that whenever finitely many of them are removed, the remaining tree is isomorphic to T. In this sense T resembles an infinite star.

We construct free monoids in a monoidal category with finite limits and countable colimits, in which tensoring on either side preserves reflexive coequalizers and colimits of countable chains.

We show that constructible models of arbitrary complete continuous first-order theories are unique up to isomorphism.

We study in this paper the remnants of the contact partial order on the orbits of the adjoint action of contactomorphism groups on their Lie algebras. Our main interest is a class of non-compact contact manifolds, called convex at infinity.

We consider a family of corks, denoted $W_n$, constructed by Akbulut and Yasui. Each cork gives rise to an exotic structure on a smooth 4-manifold via a twist $\tau$ on its boundary $\Sigma_n = \partial W_n$. We compute the instanton Floer…

We give a classification and complete algebraic description of groups allowing only finitely many (left multiplication invariant) circular orders. In particular, they are all solvable groups with a specific semi-direct product…

We prove that the boundaries of the corks introduced by Auckly, Kim, Melvin, and Ruberman in [AKMR14] and by Tange in [Tan16] are strong corks. Furthermore, we prove that any nontrivial linear combination of them yields a strong cork, and…

Motivated by known examples of Joyce structures on spaces of meromorphic quadratic differentials, we consider the isomonodromic deformations of particular second-order linear ODEs with rational potential. We show the infinitesimal…

Let I be a dense linear order with a left endpoint but no right endpoint. We consider the lattice L(I) of finite unions of closed intervals of I. This lattice arises naturally in the setting of o-minimality, as these are precisely the…

This article deals with the second order linear differential equations with entire coefficients. We prove some results involving conditions on coefficients so that the order of growth of every non-trivial solution is infinite.

Recently de Thanhoffer de V\"olcsey and Van den Bergh classified the Euler forms on a free abelian group of rank 4 having the properties of the Euler form of a smooth projective surface. There are two types of solutions: one corresponding…

Quantum coherence is a prime resource in quantum computing and quantum communication. Quantum coherence of an arbitrary qubit state can be created at a remote location using maximally entangled state, local operation and classical…

We obtain necessary optimality conditions for higher-order infinite horizon problems of the calculus of variations via discrete quantum operators.

We give a method to construct deep holes for elliptic curve codes. For long elliptic curve codes, we conjecture that our construction is complete in the sense that it gives all deep holes. Some evidence and heuristics on the completeness…

We construct non-isomorphic linear orders X and Y that are both left-hand and right-hand divisors of one another, answering positively a question of Sierpinski.

We produce infinite families of knots $\{K^i\}_{i\geq 1}$ for which the set of cables $\{K^i_{p,1}\}_{i,p\geq 1}$ is linearly independent in the knot concordance group. We arrange that these examples lie arbitrarily deep in the solvable and…

We use small-cancellation techniques to construct a Morse local-to-global group G with an infinite-order Morse element that is not loxodromic in any action of G on a hyperbolic space. In particular, the element cannot be WPD.