Related papers: Addendum to "Termination of 4-fold canonical flips…
We claim that if by a choice of the couplings the theory can be made conformally invariant (vanishing of the beta functions) it is automatically finite and vice versa. This is demonstrated by explicit example in supersymmetric gauge theory.…
We present an exact formula for the number of distinct crease patterns in a square shaped region of a given size that appear in the 2 dimensional paperfolding structure.
We prove that termination of lower dimensional flips for generalized klt pairs implies termination of flips for log canonical generalized pairs with a weak Zariski decomposition. Moreover, we prove that the existence of weak Zariski…
We look for a parallel to the notion of ``proper forcing'' among lambda-complete forcing notions not collapsing lambda^+ . We suggest such a definition and prove that it is preserved by suitable iterations.
Let X be a complex projective n-dimensional manifold of general type, whose canonical system is composite with a pencil. If the Albanese map is generically finite, but not surjective, or if the irregularity is strictly larger than n and the…
Finite-order invariants of knots in arbitrary 3-manifolds (including non-orientable ones) are constructed and studied by methods of the topology of discriminant sets. Obstructions to the integrability of admissible weight systems to…
We give the multiplicity of terminal singularities on threefolds by simple calculation. Then we obtain the best inequalities for the multiplicity and the index. By using this, we can improve the boundedness number of terminal weak Q-Fano…
We show that a positive braid knot has maximal topological 4-genus exactly if it has maximal signature invariant. As an application, we determine all positive braid knots with maximal topological 4-genus and compute the topological 4-genus…
We use Furuta's result, usually referred to as ``10/8-conjecture'', to show that for any compact 3-manifold $M$ the open manifold $M\times\r$ has infinitely many different smooth structures. Another consequence of Furuta's result is…
In this paper, we prove two results. First, there is a family of sequences of embedded quarters of the hyperbolic plane such that any sequence converges to a limit which is an end of the hyperbolic plane. Second, there is no algorithm which…
We extend a result of M. Katz on conformal systoles to all four-manifolds with b^+=1 which have odd intersection form. The same result holds for all four-manifolds with b^+=1 with even intersection form and which are symplectic or satisfy…
We classify four-dimensional compact solvmanifolds up to diffeomorphism, while determining which of them have complex analytic structures. In particular, we shall see that a four-dimensional compact solvmanifold S can be written, up to…
We study the reconfiguration of odd matchings of combinatorial graphs. Odd matchings are matchings that cover all but one vertex of a graph. A reconfiguration step, or flip, is an operation that matches the isolated vertex and,…
The canonical extension of a lattice is in an essential way a two-sided completion. Domain theory, on the contrary, is primarily concerned with one-sided completeness. In this paper, we show two things. Firstly, that the canonical extension…
We give a complexity dichotomy theorem for the counting Constraint Satisfaction Problem (#CSP in short) with complex weights. To this end, we give three conditions for its tractability. Let F be any finite set of complex-valued functions,…
We apply the theory of weighted bicategorical colimits to study the problem of existence and computation of such colimits of birepresentations of finitary bicategories. The main application of our results is the complete classification of…
We analyze the problem of quadrangulating a $n$-sided patch, each side at its boundary subdivided into a given number of edges, using a single irregular vertex (or none, when $n = 4$) that breaks the otherwise fully regular lattice. We…
We shall investigate flipping contractions from a semi-stable 4-fold $X$ whose degenerate fiber is a union of Cartier divisors which are terminal factorial 3-folds. Especially we shall prove that $X$ is smooth along the flipping locus, and…
We argue that some supersymmetric multiplets can naturally be equipped with the structure of an open-closed homotopy algebra. This structure is readily described through the pure spinor superfield formalism, which in particular associates a…
We introduce a fixed point iteration process built on optimization of a linear function over a compact domain. We prove the process always converges to a fixed point and explore the set of fixed points in various convex sets. In particular,…