We define a notion of tracial $\mathcal {Z}$-absorption for simple not necessarily unital C*-algebras, study it systematically and prove its permanence properties. This extends the notion defined by Hirshberg and Orovitz for unital C*-algebras. The Razak-Jacelon algebra, simple nonelementary C*-algebras with tracial rank zero, and simple purely infinite C*-algebras are tracially $\mathcal {Z}$-absorbing. We obtain the first purely infinite examples of tracially $\mathcal {Z}$-absorbing C*-algebras which are not $\mathcal {Z}$-absorbing. We use techniques from reduced free products of von Neumann algebras to construct these examples. A stably finite example was given by Z. Niu and Q. Wang in 2021. We study the Cuntz semigroup of a simple tracially $\mathcal {Z}$-absorbing C*-algebra and prove that it is almost unperforated and the algebra is weakly almost divisible.

In this paper, we study discrepancy questions for spanning subgraphs of $k$-uniform hypergraphs. Our main result is that, for any integers $k \ge 3$ and $r \ge 2$, any $r$-colouring of the edges of a $k$-uniform $n$-vertex hypergraph $G$ with minimum $(k-1)$-degree $\delta (G) \ge (1/2+o(1))n$ contains a tight Hamilton cycle with high discrepancy, that is, with at least $n/r+\Omega (n)$ edges of one colour. The minimum degree condition is asymptotically best possible and our theorem also implies a corresponding result for perfect matchings. Our tools combine various structural techniques such as Turán-type problems and hypergraph shadows with probabilistic techniques such as random walks and the nibble method. We also propose several intriguing problems for future research.

Let X be a smooth threefold over an algebraically closed field of positive characteristic. We prove that an arbitrary flop of X is smooth. To this end, we study Gorenstein curves of genus one and two-dimensional elliptic singularities defined over imperfect fields.

We present a novel multiscale mathematical model of espresso brewing. The model captures liquid infiltration and flow through a packed bed of ground coffee, as well as coffee solubles transport (both in the grains and in the liquid) and solubles dissolution. During infiltration, a sharp interface separates the dry and wet regions of the bed. A matched asymptotic analysis (based on fast dissolution rates) reveals that the bed can be described by four asymptotic regions: a dry region yet to be infiltrated by the liquid, a region in which the liquid is saturated with solubles and very little dissolution occurs, a slender region in which solubles are rapidly extracted from the smallest grains, and region in which slower extraction occurs from larger grains. The position and extent of each of these regions move with time (one being an intrinsic moving internal boundary layer) making the asymptotic analysis intriguing in its own right. The analysis yields a reduced model that elucidates the rate-limiting physical processes. Numerical solutions of the reduced model are compared to those to the full model, demonstrating that the reduced model is both accurate and significantly cheaper to solve.

We consider local and nonlocal Cahn–Hilliard equations with constant mobility and singular potentials including, e.g., the Flory–Huggins potential, subject to no-flux (or periodic) boundary conditions. The main goal is to show that the presence of a suitable class of reaction terms allows to establish the existence of a weak solution to the corresponding initial and boundary value problem even though the initial condition is a pure state. This fact was already observed by the authors in a previous contribution devoted to a specific biological model. In this context, we examine the essential assumptions required for the reaction term to ensure the existence of a weak solution. Also, we explore the scenario involving the nonlocal Cahn–Hilliard equation and provide some illustrative examples that contextualize within our abstract framework.

We give a crystal structure on the set of Gelfand–Tsetlin patterns (GTPs), which parametrize bases for finite-dimensional irreducible representations of the general linear Lie algebra. The crystal data are given in closed form and are expressed using tropical polynomial functions of the entries of the patterns. We prove that with this crystal structure, the natural bijection between GTPs and semistandard Young tableaux is a crystal isomorphism.

This paper is a continuation of a project to determine which skew polynomial algebras $S = R[\theta; \alpha]$ satisfy property $(\diamond)$, namely that the injective hull of every simple S-module is locally Artinian, where k is a field, R is a commutative Noetherian k-algebra and α is a k-algebra automorphism of R. Earlier work (which we review) and further analysis done here lead us to focus on the case where S is a primitive domain and R has Krull dimension 1 and contains an uncountable field. Then we show first that if $|\mathrm{Spec}(R)|$ is infinite then S does not satisfy $(\diamond)$. Secondly, we show that when $R = k[X]_{ \lt X \gt }$ and $\alpha (X) = qX$ where $q \in k \setminus \{0\}$ is not a root of unity then S does not satisfy $(\diamond)$. This is in complete contrast to our earlier result that, when $R = k[[X]]$ and α is an arbitrary k-algebra automorphism of infinite order, S satisfies $(\diamond)$. A number of open questions are stated.

In this paper, we consider a conilpotent coalgebra $C$ over a field $k$. Let $\Upsilon :\ C{{-\mathsf{Comod}}}\longrightarrow C^*{{-\mathsf{Mod}}}$ be the natural functor of inclusion of the category of $C$-comodules into the category of $C^*$-modules, and let $\Theta :\ C{{-\mathsf{Contra}}}\longrightarrow C^*{{-\mathsf{Mod}}}$ be the natural forgetful functor. We prove that the functor $\Upsilon$ induces a fully faithful triangulated functor on bounded (below) derived categories if and only if the functor $\Theta$ induces a fully faithful triangulated functor on bounded (above) derived categories, and if and only if the $k$-vector space $\textrm {Ext}_C^n(k,k)$ is finite-dimensional for all $n\ge 0$. We call such coalgebras “weakly finitely Koszul”.

We study the distribution of consecutive sums of two squares in arithmetic progressions. We show that for any odd squarefree modulus q, any two reduced congruence classes $a_1$ and $a_2$ mod q, and any $r_1,r_2 \ge 1$, a positive density of sums of two squares begin a chain of $r_1$ consecutive sums of two squares, all of which are $a_1$ mod q, followed immediately by a chain of $r_2$ consecutive sums of two squares, all of which are $a_2$ mod q. This is an analog of the result of Maynard for the sequence of primes, showing that for any reduced congruence class a mod q and for any $r \ge 1$, a positive density of primes begin a sequence of r consecutive primes, all of which are a mod q.

We present a short and simple proof of the celebrated hypergraph container theorem of Balogh–Morris–Samotij and Saxton–Thomason. On a high level, our argument utilises the idea of iteratively taking vertices of largest degree from an independent set and constructing a hypergraph of lower uniformity which preserves independent sets and inherits edge distribution. The original algorithms for constructing containers also remove in each step vertices of high degree, which are not in the independent set. Our modified algorithm postpones this until the end, which surprisingly results in a significantly simplified analysis.

This article is the second in a series investigating cartesian closed varieties. In first of these, we showed that every non-degenerate finitary cartesian variety is a variety of sets equipped with an action by a Boolean algebra B and a monoid M which interact to form what we call a matched pair ${\left[\smash{{B} \mathbin{\mid}{M} }\right]}$. In this article, we show that such pairs ${\left[\smash{{B} \mathbin{\mid}{M} }\right]}$ are equivalent to Boolean restriction monoids and also to ample source-étale topological categories; these are generalizations of the Boolean inverse monoids and ample étale topological groupoids used to encode self-similar structures such as Cuntz and Cuntz–Krieger $C^\ast$-algebras, Leavitt path algebras, and the $C^\ast$-algebras associated with self-similar group actions. We explain and illustrate these links and begin the programme of understanding how topological and algebraic properties of such groupoids can be understood from the logical perspective of the associated varieties.

We determine the list of automorphism groups for smooth plane septic curves over an algebraically closed field $K$ of characteristic $0$, as well as their signatures. For each group, we also provide a geometrically complete family over $K$, which consists of a generic defining polynomial equation describing each locus up to $K$-projective equivalence. Notably, we present two distinct examples of what we refer to as final strata of smooth plane curves.

In the present work, we investigate the Lie algebra of the Formanek-Procesi group $\textrm {FP}(A_{\Gamma })$ with base group $A_{\Gamma }$ a right-angled Artin group. We show that the Lie algebra $\textrm {gr}(\textrm {FP}(A_{\Gamma }))$ has a presentation that is dictated by the group presentation. Moreover, we show that if the base group $G$ is a finitely generated residually finite $p$-group, then $\textrm { FP}(G)$ is residually nilpotent. We also show that $\textrm {FP}(A_{\Gamma })$ is a residually torsion-free nilpotent group.

We prove that the class of separably algebraically closed valued fields equipped with a distinguished Frobenius endomorphism $x \mapsto x^q$ is decidable, uniformly in q. The result is a simultaneous generalization of the work of Chatzidakis and Hrushovski (in the case of the trivial valuation) and the work of the first author and Hrushovski (in the case where the fields are algebraically closed).

The logical setting for the proof is a model completeness result for valued fields equipped with an endomorphism $\sigma $ which is locally infinitely contracting and fails to be onto. Namely, we prove the existence of a model complete theory $\widetilde {\mathrm {VFE}}$ amalgamating the theories $\mathrm {SCFE}$ and $\widetilde {\mathrm {VFA}}$ introduced in [5] and [11], respectively. In characteristic zero, we also prove that $\widetilde {\mathrm {VFE}}$ is NTP$_2$ and classify the stationary types: they are precisely those orthogonal to the fixed field and the value group.

Étant donnée une suite $A = (a_n)_{n\geqslant 0}$ d’entiers naturels tous au moins égaux à 2, on pose $q_0 = 1$ et, pour tout entier naturel n, $q_{n+1} = a_n q_n$. Tout nombre entier naturel $n\geqslant 1$ admet une unique représentation dans la base A, dite de Cantor, de la forme

$$ \begin{align*} m = \sum_{j\geqslant 0}\varepsilon_j(m)q_j\quad \text{avec} \quad 0\leqslant \varepsilon_j(m) < a_j = \frac{q_{j+1}}{q_j}. \end{align*} $$

$$ \begin{align*} S = \sum_{n \leqslant x}\Lambda(n) f(n) \end{align*} $$

$\Lambda $

$(a_n)_{n\geqslant 0}$

Nous étudions plusieurs exemples dans la base $A = (j+2)_{j\geqslant 0}$, dite factorielle. En particulier, si $s_A$ désigne la fonction somme de chiffres dans cette base et p parcourt la suite des nombres premiers, nous montrons que la suite $(s_A(p))_{p\in \mathcal {P}}$ est bien répartie dans les progressions arithmétiques, et que la suite $(\alpha s_A(p))_{p\in \mathcal {P}}$ est équirépartie modulo $1$ pour tout nombre irrationnel $\alpha $.

In this paper, we investigate hypersurfaces of $\mathbb{S}^2\times \mathbb{S}^2$ and $\mathbb{H}^2\times \mathbb{H}^2$ with recurrent Ricci tensor. As the main result, we prove that a hypersurface in $\mathbb{S}^2\times \mathbb{S}^2$ (resp. $\mathbb{H}^2\times \mathbb{H}^2$) with recurrent Ricci tensor is either an open part of $\Gamma \times \mathbb{S}^2$ (resp. $\Gamma \times \mathbb{H}^2$) for a curve $\Gamma$ in $\mathbb{S}^2$ (resp. $\mathbb{H}^2$), or a hypersurface with constant sectional curvature. The latter has been classified by H. Li, L. Vrancken, X. Wang, and Z. Yao very recently.

An element of a group is called strongly reversible or strongly real if it can be expressed as a product of two involutions. We provide necessary and sufficient conditions for an element of $\mathrm{SL}(n,\mathbb{C})$ to be a product of two involutions. In particular, we classify the strongly reversible conjugacy classes in $\mathrm{SL}(n,\mathbb{C})$.

We study several basic problems about colouring the $p$-random subgraph $G_p$ of an arbitrary graph $G$, focusing primarily on the chromatic number and colouring number of $G_p$. In particular, we show that there exist infinitely many $k$-regular graphs $G$ for which the colouring number (i.e., degeneracy) of $G_{1/2}$ is at most $k/3 + o(k)$ with high probability, thus disproving the natural prediction that such random graphs must have colouring number at least $k/2 - o(k)$.

In this article, we deal with non-existence results, i.e., Liouville type results, for positive radial solutions of quasilinear elliptic equations with weights both in the entire $\mathbb R^N$ and in a ball, in the latter case under Dirichlet boundary conditions. The presence of weights, possibly singular or degenerate, makes the study fairly delicate. The proofs use a Pohozaev type identity combined with an accurate qualitative analysis of solutions. In the last part of the article, a non-existence theorem is proved for a Dirichlet problem with a convection term.

We provide a characterization of equivariant Fock covariant injective representations for product systems. We show that this characterization coincides with Nica covariance for compactly aligned product systems over right least common multiple semigroups of Kwaśniewski and Larsen and with the Toeplitz representations of a discrete monoid of Laca and Sehnem. By combining with the framework established by Katsoulis and Ramsey, we resolve the reduced Hao–Ng isomorphism problem for generalized gauge actions by discrete groups.