Related papers: On long increasing chains modulo flat ideals

Let $G$ be a finite group, and let $r_{3}(G)$ represent the size of the largest subset of $G$ without non-trivial three-term progressions. In a recent breakthrough, Croot, Lev and Pach proved that $r_{3}(C_{4}^{n}) \leqslant (3.61)^{n}$,…

We introduce families of four-regular graphs consisting of chains of hourglasses which are attached to a finite kernel. We prove a formula for the $c_2$ invariant of these hourglass chains which only depends on the kernel. For different…

We introduce a new family of monoids, which we call gap absorbing monoids. Every gap absorbing monoid is an ideal extension of a free commutative monoid. For a gap absorbing monoid $S$ we study its set of atoms and Betti elements, which…

We disprove a long-standing open conjecture due to Simon stating that all skeleta of simplices are extendably shellable. In particular, for every $d \geq 3$ we provide a pure $d$-dimensional shellable simplicial complex which is not…

We show that the ring of difference polynomials over a difference field does not satisfy the ascending chain condition for mixed difference ideals. This result solves an open problem of difference algebra stated by E. Hrushovski in…

It is shown that if $\{H_n\}_{n \in \omega}$ is a sequence of groups without involutions, with $1 < |H_n| \leq 2^{\aleph_0}$, then the topologist's product modulo the finite words is (up to isomorphism) independent of the choice of…

The existence of a maximal ideal in a general nontrivial commutative ring is tied together with the axiom of choice. Following Berardi, Valentini and thus Krivine but using the relative interpretation of negation (that is, as "implies 0 =…

We use high girth, high chromatic number hypergraphs to show that there are finite models of the equational theory of the semiring of nonnegative integers whose equational theory has no finite axiomatisation, and show this also holds if…

We treat two different topics on the log minimal model program, especially for four-dimensional log canonical pairs. (a) Finite generation of the log canonical ring in dimension four. (b) Abundance theorem for irregular fourfolds. We obtain…

We show that there exist linear $3$-uniform hypergraphs with $n$ vertices and $\Omega(n^2)$ edges which contain no copy of the $3 \times 3$ grid. This makes significant progress on a conjecture of F\"{u}redi and Ruszink\'{o}. We also…

We study fixed points with N scalar fields in $4 - \varepsilon$ dimensions to leading order in $\varepsilon$ using a bottom-up approach. We do so by analyzing O(N) invariants of the quartic coupling $\lambda_{ijkl}$ that describes such…

We show that there is no analogue of characterising slopes for multi-component links. Concretely, we show that for any ordered link L in S3 with n>1 components and any rational slopes r_1, ..., r_n, there are infinitely many links L_i with…

For any $\epsilon>0$, there exists $q_0(\epsilon)$ such for any $q\ge q_0(\epsilon)$ and any invertible residue class $a$ modulo $q$, there exists a natural number that is congruent to $a$ modulo $q$ and that is the product of exactly three…

Determining the matrix multiplication exponent $\omega$ is one of the greatest open problems in theoretical computer science. We show that it is impossible to prove $\omega = 2$ by starting with structure tensors of modules of fixed degree…

We investigate infinite dimensional modules for an affine group scheme $\mathbb G$ of finite type over a field of positive characteristic $p$. For any subspace $X \subset \mathcal O(\mathbb G)$ of the coordinate algebra of $\mathbb G$, we…

In this paper we study rigid modules over commutative Noetherian local rings, establish new freeness criteria for certain periodic rigid modules, and extend several results from the literature. Along the way, we prove general Ext vanishing…

Mittag-Leffler modules occur naturally in algebra, algebraic geometry, and model theory, [18], [12], [17]. If $R$ is a non-right perfect ring, then it is known that in contrast with the classes of all projective and flat modules, the class…

We show there exist no nontrivial semidualizing modules for nonmodular rings of invariants of order $p^n$ with $p$ a prime.

In this paper we examine the commutativity of ideal extensions. We introduce methods of constructing such extensions, in particular we construct a noncommutative ring T which contains a central and idempotent ideal I such that T/I is a…

The categories of almost modules and almost algebras are introduced as a convenient setting for the development of Faltings' method of almost etale extensions. After some preliminaries of general "almost homological algebra" we construct…