Related papers: A candidate for a solution to Wall's D(2) problem

For a finite relational structure A, let CSP(A) denote the CSP instances whose constraint relations are taken from A. The resulting family of problems CSP(A) has been considered heavily in a variety of computational contexts. In this…

We generalize results of Hattori on the topology of complements of hyperplane arrangements, from the class of generic arrangements, to the much broader class of hypersolvable arrangements. We show that the higher homotopy groups of the…

The Donald--Flanigan problem for a finite group H and coefficient ring k asks for a deformation of the group algebra kH to a separable algebra. It is solved here for dihedral groups and for the classical Weyl groups (whose rational group…

We adapt tools from the algebraic approach to constraint satisfaction problems to answer descriptive set theoretic questions about Borel CSPs. We show that if a structure $\mathcal D$ does not have a Taylor polymorphism, then the…

A natural construction of the logarithmic extension of the M(2,p) minimal models is presented, which generalises our previous model [0708.0802] of percolation (p=3). Its key aspect is the replacement of the minimal model irreducible modules…

Groups $\Pi_k(X;\sigma)$ of "flagged homotopies" are introduced of which the usual (abelian for $k>1$) homotopy groups $\pi_k(X;p)$ is the limit case for flags $\sigma$ contracted to a point $p$. Calculus of exterior forms with values in…

We prove a complexity dichotomy theorem for all non-negative weighted counting Constraint Satisfaction Problems (CSP). This caps a long series of important results on counting problems including unweighted and weighted graph homomorphisms…

Schaefer's dichotomy theorem [Schaefer, STOC'78] states that a boolean constraint satisfaction problem (CSP) is polynomial-time solvable if one of six given conditions holds for every type of constraint allowed in its instances. Otherwise,…

Let kappa be an uncountable regular cardinal. Call an equivalence relation on functions from kappa into 2 Sigma_1^1-definable over H(kappa) if there is a first order sentence F and a parameter R subseteq H(kappa) such that functions…

The Constraint Satisfaction Problem (CSP) is ubiquitous in various areas of mathematics and computer science. Many of its variations have been studied including the Counting CSP, where the goal is to find the number of solutions to a CSP…

We prove the $C^0$ estimate for the $L_p$ $q$th dual Minkowski problem on $S^2$ under fairly general conditions; namely, when $p$ lies in [0,1) and $q>2+p$, and the $L_p$ $q$th dual curvarture is bounded and bounded away from zero. We note…

In this paper, we prove by means of a counterexample that there exist pair of integers (n,p) with $n\geq 3$, $2\leq p\leq n-1$, and open sets $D$ in $C^{n}$ which are cohomologically $p$-complete with respect to the structure sheaf of $D$…

It is well known that the constraint satisfaction problem over general relational structures can be reduced in polynomial time to digraphs. We present a simple variant of such a reduction and use it to show that the algebraic dichotomy…

For a commutative ring $R$ with a unit, an $R$-homology rose is a topological space whose homology groups with $R$-coefficients agree with those of a bouquet of cirlces. In this paper, we study some special properties of covering spaces and…

We consider area minimizing $m$-dimensional currents $\mathrm{mod}(p)$ in complete $C^2$ Riemannian manifolds $\Sigma$ of dimension $m+1$. For odd moduli we prove that, away from a closed rectifiable set of codimension $2$, the current in…

We obtain inequalities of the form $$\int_C |f(z)|^p |dz| \leq A(p) \int_{\mathbb{T}} |f(z)|^p |dz|, \quad (p>1)$$ where $f$ is harmonic in the unit disk $\mathbb{D}$, $\mathbb{T}$ is the unit circle, and $C$ is any convex curve in…

Let $p$ be a prime. We define the deficiency of a finitely-generated pro-$p$ group $G$ to be $r(G)-d(G)$ where $d(G)$ is the minimal number of generators of $G$ and $r(G)$ is its minimal number of relations. For a number field $K$, let…

We study homogeneous solutions to the Alt-Phillips problem when the exponent $\gamma$ is close to 1. In dimension $d\ge3$, we show that the radial cone is minimizing when $\gamma$ is close to 1. In dimension $d \ge 4$, we construct an…

Using a result of M. Hochster and C. Huneke on $F$-rational rings a criterion for complete intersection rings of characteristic $p>0$ is presented. As an application, we give a completely different proof for an algebraic result of G.…

A conjecture of Kalai asserts that for $d\geq 4$, the affine type of a prime simplicial $d$-polytope $P$ can be reconstructed from the space of affine $2$-stresses of $P$. We prove this conjecture for all $d\geq 5$. We also prove the…