English
Related papers

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

200 papers

To do homological algebra with unbounded chain complexes one needs to first find a way of constructing resolutions. Spaltenstein solved this problem for chain complexes of R-modules by truncating further and further to the left, resolving…

Algebraic Topology · Mathematics 2017-02-20 Wojciech Chacholski , Amnon Neeman , Wolfgang Pitsch , Jerome Scherer

The paper constructs an `exotic' algebraic 2-complex over the generalized quaternion group of order 28, with the boundary maps given by explicit matrices over the group ring. This result depends on showing that a certain ideal of the group…

Rings and Algebras · Mathematics 2014-10-01 F. Rudolf Beyl , Nancy Waller

Inspired by computational complexity results for the quantified constraint satisfaction problem, we study the clones of idempotent polymorphisms of certain digraph classes. Our first results are two algebraic dichotomy, even "gap",…

Computational Complexity · Computer Science 2015-05-13 Catarina Carvalho , Florent Madelaine , Barnaby Martin

We study the interplay among Wall's $D(2)$ problem, normal generation conjecture (the Wiegold Conjecture) of perfect groups and Swan's problem on partial Euler characteristic and deficiency of groups. In particular, for a 3-dimensional…

Algebraic Topology · Mathematics 2018-01-17 Feng Ji , Shengkui Ye

The objective of this work is to reconsider the schematization problem of [6], with a particular focus on the global case over Z. For this, we prove the conjecture [Conj. 2.3.6][15] which gives a formula for the homotopy groups of the…

Algebraic Geometry · Mathematics 2024-04-17 Bertrand Toën

We establish a bridge between homotopy groups of spheres and commutator calculus in groups, and solve in this manner the "dimension problem" by providing a converse to Sjogren's theorem: every abelian group of bounded exponent can be…

Group Theory · Mathematics 2021-01-14 Laurent Bartholdi , Roman Mikhailov

We present new, unified proofs for the cell-like, $\mathbb{Z}/p$-, and $\mathbb{Q}$-resolution theorems. Our arguments employ extensions that are much simpler then those used by our predecessors. The techniques allow us to solve problems…

Geometric Topology · Mathematics 2021-10-07 Leonard R. Rubin , Vera Tonić

We develop a unified framework to characterize the power of higher-level algorithms for the constraint satisfaction problem (CSP), such as $k$-consistency, the Sherali-Adams LP hierarchy, and the affine IP hierarchy. As a result,…

Logic in Computer Science · Computer Science 2026-04-09 Libor Barto , Maximilian Hadek , Dmitriy Zhuk

To any fixed, finite relational structure, $\mathbb{D}$, there is an associated decision problem, CSP$(\mathbb{D})$, which is a restricted version of the constraint satisfaction problem. In [8], the so called "algebraic approach" to the…

Logic · Mathematics 2016-09-14 Ian Payne

Let $D$ be a digraph on $p\geq 5$ vertices with minimum degree at least $p-1$ and with minimum semi-degree at least $p/2-1$. For $D$ (unless some extremal cases) we present a detailed proof of the following results [12]: (i) $D$ contains…

Combinatorics · Mathematics 2011-11-09 S. Kh. Darbinyan

The main result of [4] is that all finitely presented groups of p-deficiency greater than one are p-large. Here we prove that groups with a finite presentation of p-deficiency one possess a finite index subgroup that surjects onto . This…

Group Theory · Mathematics 2011-08-02 Anitha Thillaisundaram

Contents: Rational functions with given monodromy on generic curves (I. Bouw & S. Wewers); Can deformation rings of group representations not be local complete intersections? (T. Chinburg); Lifting an automorphism group to finite…

Algebraic Geometry · Mathematics 2007-05-23 I. Bouw , T. Chinburg , G. Cornelissen , C. Gasbarri , D. Glass , C. Lehr , M. Matignon , F. Oort , R. Pries , S. Wewers

The D2 problem of C. T. C. Wall asks whether every finite cohomologically 2-dimensional CW-complex is homotopy equivalent to a finite 2-complex. Several potential counterexamples have been proposed, the longest standing of which is a…

Group Theory · Mathematics 2025-07-23 Tommy Hofmann , John Nicholson

Given a $T_0$ paratopological group $G$ and a class $\mathcal C$ of continuous homomorphisms of paratopological groups, we define the $\mathcal C$-$semicompletion$ $\mathcal C[G)$ and $\mathcal C$-$completion$ $\mathcal C[G]$ of the group…

Group Theory · Mathematics 2022-02-08 Taras Banakh , Mikhail Tkachenko

We consider N-body problems with homogeneous potential $1/r^{2\kappa}$ where $\kappa\in(0,1)$, including the Newtonian case ($\kappa=1/2$). Given $R>0$ and $T>0$, we find a uniform upper bound for the minimal action of paths binding in time…

Dynamical Systems · Mathematics 2015-02-24 Ezequiel Maderna

We consider the problem of linear regression where the $\ell_2^n$ norm loss (i.e., the usual least squares loss) is replaced by the $\ell_p^n$ norm. We show how to solve such problems up to machine precision in $O^*(n^{|1/2 - 1/p|})$…

Optimization and Control · Mathematics 2018-06-26 Sébastien Bubeck , Michael B. Cohen , Yin Tat Lee , Yuanzhi Li

If $G$ has $4$-periodic cohomology, then D2 complexes over $G$ are determined up to polarised homotopy by their Euler characteristic if and only if $G$ has at most two one-dimensional quaternionic representations. We use this to solve…

Algebraic Topology · Mathematics 2021-10-05 John Nicholson

We study Constraint Satisfaction Problems (CSPs) in an infinite context. We show that the dichotomy between easy and hard problems -- established already in the finite case -- presents itself as the strength of the corresponding De…

Logic · Mathematics 2024-10-30 Tamás Kátay , László Márton Tóth , Zoltán Vidnyánszky

We initiate a systematic study of the computational complexity of the Constraint Satisfaction Problem (CSP) over finite structures that may contain both relations and operations. We show the close connection between this problem and a…

Logic in Computer Science · Computer Science 2021-12-02 Libor Barto , William DeMeo , Antoine Mottet

Let $G$ be a connected reductive group over a totally real field $F$ which is compact modulo center at archimedean places. We find congruences modulo an arbitrary power of p between the space of arbitrary automorphic forms on $G(\mathbb…

Number Theory · Mathematics 2021-07-01 Jessica Fintzen , Sug Woo Shin