Related papers: Cancellativization of dimer models

A planar set $P$ is said to be cover-decomposable if there is a constant $k=k(P)$ such that every $k$-fold covering of the plane with translates of $P$ can be decomposed into two coverings. It is known that open convex polygons are…

We prove the Kawamata-Viehweg vanishing theorem for a large class of divisors on surfaces in positive characteristic. By using this vanishing theorem, Reider-type theorems and extension theorems of morphisms for normal surfaces are…

We obtain a partial classification of the finite groups $G$ for which the integral group ring $\mathbb{Z} G$ has projective cancellation, i.e. for which $P \oplus \mathbb{Z} G \cong Q \oplus \mathbb{Z} G$ implies $P \cong Q$ for projective…

We show how decimated Gibbs measures which have an unbroken continuous symmetry due to the Mermin-Wagner theorem, although their discrete equivalents have a phase transition, still can become non-Gibbsian. The mechanism rests on the…

We show that the category of motivic spaces with transfers along finite flat morphisms, over a perfect field, satisfies all the properties we have come to expect of good categories of motives. In particular we establish the analog of…

Let $X$ and $X'$ be affine algebraic varieties over a field $\mathbb{k}$. The celebrated Zariski Cancellation Problem asks as to when the existence of an isomorphism $X\times\mathbb{A}^n\cong X'\times\mathbb{A}^n$ implies $X\cong X'$. In…

Let $K$ be an imaginary quadratic field where $p$ splits. We study signed Selmer groups for non-ordinary modular forms over the anticyclotomic $\mathbf{Z}_p$-extension of $K$, showing that their $\mu$-invariants vanish. This generalizes and…

We consider cylindrical algebraic decomposition (CAD) and the key concept of delineability which underpins CAD theory. We introduce the novel concept of projective delineability which is easier to guarantee computationally. We prove results…

The monopole-dimer model is a signed variant of the monomer-dimer model which has determinantal structure. We extend the monopole-dimer model for planar graphs (Math. Phys. Anal. Geom., 2015) to Cartesian products thereof and show that the…

We study a model of colored multiwebs, which generalizes the dimer model to allow each vertex to be adjacent to \(n_v\) edges. These objects can be formulated as a random tiling of a graph with partial dimer covers. We examine the case of a…

In Coulomb gauge QCD in the Lagrangian formalism, energy divergences arise in individual diagrams. We give a proof on cancellation of these divergences to all orders of perturbation theory without obstructing the algebraic renormalizability…

We establish a new, fairly general cancellativity criterion for a presented monoid that properly extends the previously known related criteria. It is based on a new version of the word transformation called factor reversing, and its…

We completely determine all commutative epigroup varieties that are cancellable elements of the lattice EPI of all epigroup varieties. In particular, we verify that a commutative epigroup variety is a cancellable element of the lattice EPI…

Let Q_0 denote the rational numbers expanded to a "meadow", that is, after taking its zero-totalized form (0^{-1}=0) as the preferred interpretation. In this paper we consider "cancellation meadows", i.e., meadows without proper zero…

I discuss and extend several results concerning the cancellation of discrete gauge anomalies. I show how heavy fermions do not decouple in the presence of discrete gauge anomalies. As a consequence, in general, cancellation of discrete…

In [7], Liu and Wang generalized the Han-Liu-Zhang cancellation formulas to the (a, b) type cancellation formulas. In this note, we prove some another (a, b) type cancellation formulas for even-dimensional Riemannian manifolds. And by…

By studying modular invariance properties of some characteristic forms, we prove some new anomaly cancellation formulas which generalize the Han-Zhang and Han-Liu-Zhang anomaly cancellation formulas

We explain and generalise a construction due to Gromov to realise geometric small cancellation groups over graphs of groups as fundamental groups of non-positively curved 2-dimensional complexes of groups. We then give conditions so that…

Dimer models are a combinatorial tool to describe certain algebras that appear as noncommutative crepant resolutions of toric Gorenstein singularities. Unfortunately, not every dimer model gives rise to a noncommutative crepant resolution.…

We completely determine all cancellable elements in the lattice OC of overcommutative semigroup varieties. In particular, we prove that an overcommutative semigroup variety is a cancellable element of the lattice OC if and only if it is a…