Endomorphism algebras and Igusa–Todorov algebras

Let A be an Artin algebra. If $V\in \operatorname{mod} A$ such that the global dimension of  $\operatorname{End}_{A}V$ is at most 3, then for any ${M\in \operatorname{add}_{A}V}$ , both B and B ^op are 2-Igusa–Todorov algebras, where ${B=\operatorname{End}_{A}M}$ . Let ${P\in \operatorname{mod} A}$ be projective and ${B=\operatorname{End}_{A}P}$ such that the projective dimension of P as a right B-module is at most n(<∞). If A is an m-syzygy-finite algebra (resp. an m-Igusa–Todorov algebra), then B is an (m+n)-syzygy-finite algebra (resp. an (m+n)-Igusa–Todorov algebra); in particular, the finitistic dimension of B is finite in both cases. Some applications of these results are given.     

On the Dirichlet and Neumann Evolution Operators in ℝ d +

We prove some uniform and pointwise gradient estimates for the Dirichlet and the Neumann evolution operators \(G_{\mathcal {D}}(t,s)\) and \(G_{\mathcal {N}}(t,s)\) associated with a class of nonautonomous elliptic operators (t) with unbounded coefficients defined in I× \(\mathbb{R}_{+}\) (where I is a right-halfline or I=?). We also prove the existence and the uniqueness of a tight evolution system of measures \(\left \{\mu _{t}^{\mathcal {N}}\right \}_{t \in I}\) associated with \(G_{\mathcal {N}}(t,s)\) , which turns out to be sub-invariant for \(G_{\mathcal {D}}(t,s)\) , and we study the asymptotic behaviour of the evolution operators \(G_{\mathcal {D}}(t,s)\) and \(G_{\mathcal {N}}(t,s)\) in the L ^p -spaces related to the system \(\left \{\mu _{t}^{\mathcal {N}}\right \}_{t \in I}\) .     

On semigroups of endomorphisms of a chain with restricted range

Let X be a finite or infinite chain and let \({\mathcal{O}}(X)\) be the monoid of all endomorphisms of X. In this paper, we describe the largest regular subsemigroup of \({\mathcal{O}}(X)\) and Green’s relations on \({\mathcal{O}}(X)\) . In fact, more generally, if Y is a nonempty subset of X and \({\mathcal{O}}(X,Y)\) is the subsemigroup of \({\mathcal{O}}(X)\) of all elements with range contained in Y, we characterize the largest regular subsemigroup of \({\mathcal{O}}(X,Y)\) and Green’s relations on \({\mathcal{O}}(X,Y)\) . Moreover, for finite chains, we determine when two semigroups of the type \({\mathcal {O}}(X,Y)\) are isomorphic and calculate their ranks.     

Lower bounds on Ricci curvature and quantitative behavior of singular sets

Let Y ⁿ denote the Gromov-Hausdorff limit $M^{n}_{i}\stackrel{d_{\mathrm{GH}}}{\longrightarrow} Y^{n}$ of v-noncollapsed Riemannian manifolds with ${\mathrm{Ric}}_{M^{n}_{i}}\geq-(n-1)$ . The singular set $\mathcal {S}\subset Y$ has a stratification $\mathcal {S}^{0}\subset \mathcal {S}^{1}\subset\cdots\subset \mathcal {S}$ , where $y\in \mathcal {S}^{k}$ if no tangent cone at y splits off a factor ? ^k+1 isometrically. Here, we define for all η>0, 0<r≤1, the k-th effective singular stratum $\mathcal {S}^{k}_{\eta,r}$ satisfying $\bigcup_{\eta}\bigcap_{r} \,\mathcal {S}^{k}_{\eta,r}= \mathcal {S}^{k}$ . Sharpening the known Hausdorff dimension bound $\dim\, \mathcal {S}^{k}\leq k$ , we prove that for all y, the volume of the r-tubular neighborhood of $\mathcal {S}^{k}_{\eta,r}$ satisfies ${\mathrm {Vol}}(T_{r}(\mathcal {S}^{k}_{\eta,r})\cap B_{\frac{1}{2}}(y))\leq c(n,{\mathrm {v}},\eta)r^{n-k-\eta}$ . The proof involves a quantitative differentiation argument. This result has applications to Einstein manifolds. Let $\mathcal {B}_{r}$ denote the set of points at which the C ²-harmonic radius is ≤r. If also the $M^{n}_{i}$ are Kähler-Einstein with L ₂ curvature bound, $\| Rm\|_{L_{2}}\leq C$ , then ${\mathrm {Vol}}( \mathcal {B}_{r}\cap B_{\frac{1}{2}}(y))\leq c(n,{\mathrm {v}},C)r^{4}$ for all y. In the Kähler-Einstein case, without assuming any integral curvature bound on the $M^{n}_{i}$ , we obtain a slightly weaker volume bound on $\mathcal {B}_{r}$ which yields an a priori L _p curvature bound for all p<2. The methodology developed in this paper is new and is applicable in many other contexts. These include harmonic maps, minimal hypersurfaces, mean curvature flow and critical sets of solutions to elliptic equations.     

On the infimum attained by the reflected fractional Brownian motion

Let {B _H (t):t≥0} be a fractional Brownian motion with Hurst parameter \(H\in (\frac {1}{2},1)\) . For the storage process \(Q_{B_{H}}(t)=\sup _{-\infty \le s\le t}\) \(\left (B_{H}(t)-B_{H}(s)-c(t-s)\right )\) we show that, for any T(u)>0 such that \(T(u)=o(u^{\frac {2H-1}{H}})\) , $$\mathbb P (\inf_{s\in[0,T(u)]} Q_{B_{H}}(s)>u)\sim\mathbb P(Q_{B_{H}}(0)>u),$$ as \(u\to \infty \) . This finding, known in the literature as the strong Piterbarg property, goes in line with previously observed properties of storage processes with self-similar and infinitely divisible input without Gaussian component.     

A Sequence to Compute the Brauer Group of Certain Quasi-Triangular Hopf Algebras

A deeper understanding of recent computations of the Brauer group of Hopf algebras is attained by explaining why a direct product decomposition for this group holds and describing the non-interpreted factor occurring in it. For a Hopf algebra B in a braided monoidal category ${{\mathcal C}}$ , and under certain assumptions on the braiding (fulfilled if ${{\mathcal C}}$ is symmetric), we construct a sequence for the Brauer group ${{\rm{BM}}}({{\mathcal C}};B)$ of B-module algebras, generalizing Beattie’s one. It allows one to prove that ${{\rm{BM}}}({{\mathcal C}};B) \cong {{\rm{Br}}}({{\mathcal C}}) \times {\operatorname{Gal}}({{\mathcal C}};B)$ , where ${{\rm{Br}}}({{\mathcal C}})$ is the Brauer group of ${{\mathcal C}}$ and ${\operatorname{Gal}}({{\mathcal C}};B)$ the group of B-Galois objects. We also show that ${{\rm{BM}}}({{\mathcal C}};B)$ contains a subgroup isomorphic to ${{\rm{Br}}}({{\mathcal C}}) \times {\operatorname{H^2}}({{\mathcal C}};B,I),$ where ${\operatorname{H^2}}({{\mathcal C}};B,I)$ is the second Sweedler cohomology group of B with values in the unit object I of ${{\mathcal C}}$ . These results are applied to the Brauer group ${{\rm{BM}}}(K,B \times H,{{\mathcal R}})$ of a quasi-triangular Hopf algebra that is a Radford biproduct B × H, where H is a usual Hopf algebra over a field K, the Hopf subalgebra generated by the quasi-triangular structure ${{\mathcal R}}$ is contained in H and B is a Hopf algebra in the category ${}_H{{\mathcal M}}$ of left H-modules. The Hopf algebras whose Brauer group was recently computed fit this framework. We finally show that ${{\rm{BM}}}(K,H,{{\mathcal R}}) \times {\operatorname{H^2}}({}_H{{\mathcal M}};B,K)$ is a subgroup of ${{\rm{BM}}}(K,B \times H,{{\mathcal R}})$ , confirming the suspicion that a certain cohomology group of B × H (second lazy cohomology group was conjectured) embeds into it. New examples of Brauer groups of quasi-triangular Hopf algebras are computed using this sequence.     

On a property of Abelian groups related to direct sums and products

Let T be an infinite set of prime numbers, $ \mathcal{M} $ be a set of groups $ \left\{ {\left. {\mathbb{Z}(p)} \right|p \in T} \right\} $ . An Abelian group A is said to be $ \mathcal{M} $ -large if $$ {\text{Hom}}\left( {A,\;\mathop { \bigoplus }\limits_{p \in T} \mathbb{Z}(p)} \right) = {\text{Hom}}\left( {A,\;\prod\limits_{p \in T} {\mathbb{Z}(p)} } \right). $$ This paper presents a characterization of $ \mathcal{M} $ -large torsion-free and mixed groups.     

Value-sets of polynomials at p-adic integers

In this paper we are concerned with the classification of the subsets A of ${\mathbb{Z}_p}$ which occur as images ${f(\mathbb{Z}_p^r)}$ of polynomial functions ${f:\mathbb{Z}_p^r\to \mathbb{Z}_p}$ , limiting ourselves to compact-open subsets (i.e. finite unions of open balls). We shall prove three main results: (i) Every compact-open ${A\subset \mathbb{Z}_p}$ is of the shape ${A=f(\mathbb{Z}_p^r)}$ for suitable r and ${f\in\mathbb{Z}_p[X_1,\ldots ,X_r]}$ . (ii) For each r ₀ there is a compact-open A such that in (i) we cannot take r < r ₀. (iii) For any compact-open set ${A\subset \mathbb{Z}_p}$ there exists a polynomial ${f\in\mathbb{Q}_p[X]}$ such that ${f(\mathbb{Z}_p)=A}$ . We shall also discuss in more detail which sets A can be represented as ${f(\mathbb{Z}_p)}$ for a polynomial ${f\in\mathbb{Z}_p[X]}$ in a single variable.     

Walker groups

A reformulation of Walker’s theorem on the cancellation of \(\mathbf {Z}\) says that any two homomorphisms from an abelian group W onto \(\mathbf {Z}\) have isomorphic kernels. It does not have a constructive proof, even for W a subgroup of \(\mathbf {Z}^{3}.\) In this paper we give a constructive proof of Walker’s theorem for W a direct sum, over any discrete index set, of groups of the following two kinds: Butler groups with weakly computable heights, and finite-rank torsion-free groups B with computable relative heights (that is, all quotients of B by finite-rank pure subgroups have computable heights). Throughout, “group” means abelian group. The infinite cyclic group, and the ring of integers, is denoted by \(\mathbf {Z}.\) The nonnegative integers are denoted by \(\mathbf {N},\) the positive integers by \(\mathbf {Z}^{+},\) and the rational numbers by \(\mathbf {Q}.\) We say that a set is discrete if any two elements are either equal or different. A subset A of a set B is detachable (from B) if for each \(b\in B,\) either \(b\in A\) or \(b\notin A.\) A group is discrete if and only if its subset \(\{0\}\) is detachable. Walker, in his dissertation [7], and Cohn in [2], showed that \(\mathbf {Z}\) is cancellable in the sense that if \(\mathbf {Z}\oplus B\cong \mathbf {Z}\oplus B^{\prime },\) then \(B\cong B^{\prime }.\) It is somewhat of an oddity that \(\mathbf {Z}\) is cancellable. A rank-one torsion-free group A is cancellable if and only if \(A\cong \mathbf {Z}\) or the endomorphism ring of A has stable range one [3], [1, Theorem 8.12]. (A ring R has stable range one if whenever \(aR+bR=R,\) then \(a+bR\) contains a unit of R.) In fact, any object in an abelian category whose endomorphism ring has stable range one is cancellable. The endomorphism ring of \(\mathbf {Z}\) does not have stable range one, so \(\mathbf {Z}\) is the unique rank-one torsion-free group that is cancellable for some reason other than its endomorphism ring. Walker’s theorem can be reformulated to say that any two maps from an abelian group W onto \(\mathbf {Z}\) have isomorphic kernels. Accordingly, we define a Walker group to be such a group W. Of course, Walker’s theorem says that every abelian group is a Walker group. However, a counterexample in the (abelian) category of diagrams \(\cdot \rightarrow \cdot \rightarrow \cdot \) of abelian groups provides a Kripke model which shows that there is no constructive proof that even every subgroup of \(\mathbf {Z}^{3}\) is a Walker group [4]. Thus, from a constructive point of view, it is of interest to explore the class of Walker groups. We will say that a group is a cZ-group if every homomorphism from it into \(\mathbf {Z}\) has a cyclic image. An easy classical argument shows that every group is a cZ-group. It is an immediate (constructive) consequence of [4, Theorem 1] that every cZ-group is a Walker group. This is not a complete triviality because it provides a classical proof of Walker’s theorem! The question remains as to how extensive the class of cZ-groups is. That question motivated the current paper. Our main results along these lines are Theorem 1.3, which says that Butler groups with weakly computable heights are cZ-groups, and Theorem 1.6, which says that a finite-rank torsion-free group with computable relative heights is a cZ-group (Butler groups with computable heights have computable relative heights). The relevance of the ability to compute heights to the study of Walker groups was suggested by the fact that this was not possible for the group corresponding to the counterexample. The notions of weakly computable heights and computable heights already appeared in [5, 6], papers that are over 20 years old. The notion of computable relative heights is stronger than these and originates in the current paper, just after Theorem 1.3. Note that B is a cZ-group if and only if \(\mathbf {Z}\oplus B\) is a cZ-group. Finitely generated groups are clearly cZ-groups. Finite direct sums of cZ-groups, and quotients of cZ-groups, are cZ-groups. As any map into \(\mathbf {Z}\) kills all torsion elements, we will focus on torsion-free groups B. However, not even nonzero subgroups of \(\mathbf {Z}\) need be cZ-groups: for example, \(\{x\in \mathbf {Z}:\,x\,\mathrm{is\,even,\, or}\,P\}.\) In Sect. 2 we show that a direct sum of cZ-groups over a discrete index set is a Walker group (Corollary 2.3). This gives essentially the largest class of Walker groups that we currently know (Corollary 2.4), although in [4, Theorem 5] it was shown that if B is a torsion-free group such that every nonzero map from B into \(\mathbf {Z}\) is one-to-one, then \(\mathbf {Z}\oplus B\) is a Walker group. Rank-one torsion-free groups B have that property, as do subgroups of \(\mathbf {Z},\) and any group with no nontrivial maps into \(\mathbf {Z}.\) The question regarding a group B that is a finite direct sum of such groups was left open, and is still open as far as I know. Section 3 deals with the idea of the height of a subgroup. This idea arose in an effort to formulate a strong height condition that would imply that a group was a cZ-group. That approach failed and was replaced by the notion of computable relative heights. However, I still feel that the idea is interesting and may prove fruitful for some other purpose.     

A note on maximal regular subsemigroups of the finite transformation semigroups \mathcal{T}(n,r)

Let $\mathcal{T}_{n}$ be the semigroup of all full transformations on the finite set X _n ={1,2,…,n}. For 1≤r≤n, set $\mathcal {T}(n, r)=\{ \alpha\in\mathcal{T}_{n} | \operatorname{rank}(\alpha)\leq r\}$ . In this note we show that, for 2≤r≤n?2, any maximal regular subsemigroup of the semigroup $\mathcal{T} (n,r)$ is idempotent generated, but this may not happen in the semigroup $\mathcal{T}(n, n-1)$ .     

On definability in some lattices of semigroup varieties

An identity of the form x ₁?x _n ??x _1?? x _2?? ?x _n?? where ?? is a non-trivial permutation on the set {1,??,n} is called a permutation identity. If u??v is a permutation identity, then ?(u??v) [respectively r(u??v)] is the maximal length of the common prefix [suffix] of the words u and v. A variety that satisfies a permutation identity is called permutative. If $\mathcal{V}$ is a permutative variety, then $\ell=\ell(\mathcal{V})$ [respectively $r=r(\mathcal{V})$ ] is the least ? [respectively r] such that $\mathcal{V}$ satisfies a permutation identity ?? with ?(??)=? [respectively r(??)=r]. A?variety that consists of nil-semigroups is called a nil-variety. If ?? is a set of identities, then $\operatorname {var}\varSigma$ denotes the variety of semigroups defined by ??. If $\mathcal{V}$ is a variety, then $L (\mathcal{V})$ denotes the lattice of all subvarieties of $\mathcal{V}$ . For ?,r??0 and n>1 let $\mathfrak{B}_{\ell,r,n}$ denote the set that consists of n! identities of the form $$t_1\cdots t_\ell x_1x_2 \cdots x_n z_{1}\cdots z_{r}\approx t_1\cdots t_\ell x_{1\pi}x_{2\pi} \cdots x_{n\pi}z_{1}\cdots z_{r}, $$ where ?? is a permutation on the set {1,??,n}. We prove that for each permutative nil-variety $\mathcal{V}$ and each $\ell\ge\ell(\mathcal{V})$ and $r\ge r(\mathcal{V})$ there exists n>1 such that $\mathcal{V}$ is definable by a first-order formula in $L(\operatorname{var}{\mathfrak{B}}_{l,r,n})$ if ???r or $\mathcal{V}$ is definable up to duality in $L(\operatorname{var}{\mathfrak{B}}_{\ell,r,n})$ if ?=r.     

Duality and distance formulas in spaces defined by means of oscillation

For the classical space of functions with bounded mean oscillation, it is well known that $\operatorname{VMO}^{**} = \operatorname{BMO}$ and there are many characterizations of the distance from a function f in $\operatorname{BMO}$ to $\operatorname{VMO}$ . When considering the Bloch space, results in the same vein are available with respect to the little Bloch space. In this paper such duality results and distance formulas are obtained by pure functional analysis. Applications include general Möbius invariant spaces such as Q _K -spaces, weighted spaces, Lipschitz–Hölder spaces and rectangular $\operatorname{BMO}$ of several variables.     

Generalized higher order spt-functions

We give a new generalization of the spt-function of G.E. Andrews, namely $\operatorname {Spt}_{j}(n)$ , and give its combinatorial interpretation in terms of successive lower-Durfee squares. We then generalize the higher order spt-function $\operatorname {spt}_{k}(n)$ , due to F.G. Garvan, to ${}_{j\!}\operatorname {spt}_{k}(n)$ , thus providing a two-fold generalization of $\operatorname {spt}(n)$ , and give its combinatorial interpretation. Lastly, we show how the positivity of _j spt _k (n) can be used to generalize Garvan’s inequality between rank and crank moments to the moments of j-rank and (j+1)-rank.     

Note on Group Distance Magic Graphs G[C 4]

A group distance magic labeling or a ${\mathcal{G}}$ -distance magic labeling of a graph G =  (V, E) with ${|V | = n}$ is a bijection f from V to an Abelian group ${\mathcal{G}}$ of order n such that the weight ${w(x) = \sum_{y\in N_G(x)}f(y)}$ of every vertex ${x \in V}$ is equal to the same element ${\mu \in \mathcal{G}}$ , called the magic constant. In this paper we will show that if G is a graph of order n =  2 ^p (2k + 1) for some natural numbers p, k such that ${\deg(v)\equiv c \mod {2^{p+1}}}$ for some constant c for any ${v \in V(G)}$ , then there exists a ${\mathcal{G}}$ -distance magic labeling for any Abelian group ${\mathcal{G}}$ of order 4n for the composition G[C ₄]. Moreover we prove that if ${\mathcal{G}}$ is an arbitrary Abelian group of order 4n such that ${\mathcal{G} \cong \mathbb{Z}_2 \times\mathbb{Z}_2 \times \mathcal{A}}$ for some Abelian group ${\mathcal{A}}$ of order n, then there exists a ${\mathcal{G}}$ -distance magic labeling for any graph G[C ₄], where G is a graph of order n and n is an arbitrary natural number.     

About the maximal rank of 3-tensors over the real and the complex number field

Tensor data are becoming important recently in various application fields. In this paper, we consider the maximal rank problem of 3-tensors and extend Atkinson and Stephens’ and Atkinson and Lloyd’s results over the real number field. We also prove the assertion of Atkinson and Stephens: ${{\rm max.rank}_{\mathbb{R}}(m,n,p) \leq m+\lfloor p/2\rfloor n}$ , ${{\rm max.rank}_{\mathbb{R}}(n,n,p) \leq (p+1)n/2}$ if p is even, ${{\rm max.rank}_{\mathbb{F}}(n,n,3)\leq 2n-1}$ if ${\mathbb{F}=\mathbb{C}}$ or n is odd, and ${{\rm max.rank}_{\mathbb{F}}(m,n,3)\leq m+n-1}$ if m < n where ${\mathbb{F}}$ stands for ${\mathbb{R}}$ or ${\mathbb{C}}$ .     

Unitary Equivalence of Proper Extensions of a Symmetric Operator and the Weyl Function

Let A be a densely defined simple symmetric operator in ${\mathfrak{H}}$ , let ${\Pi=\{\mathcal{H},\Gamma_0, \Gamma_1}\}$ be a boundary triplet for A ^* and let M(·) be the corresponding Weyl function. It is known that the Weyl function M(·) determines the boundary triplet Π, in particular, the pair {A, A ₀}, uniquely up to the unitary similarity. Here ${A_0 := A^* \upharpoonright \text{ker}\, \Gamma_0 ( = A^*_0)}$ . At the same time the Weyl function corresponding to a boundary triplet for a dual pair of operators defines it uniquely only up to the weak similarity. We consider a symmetric dual pair {A, A} with symmetric ${A \subset A^*}$ and a special boundary triplet ${\widetilde{\Pi}}$ for{A, A} such that the corresponding Weyl function is ${\widetilde{M}(z) = K^*(B-M(z))^{-1} K}$ , where B is a non-self-adjoint bounded operator in ${\mathcal{H}}$ . We are interested in the problem whether the result on the unitary similarity remains valid for ${\widetilde{M}(\cdot)}$ in place of M(·). We indicate some sufficient conditions in terms of the operators A ₀ and ${A_B= A^* \upharpoonright \text{ker}\, (\Gamma_1-B \Gamma_0)}$ , which guaranty an affirmative answer to this problem. Applying the abstract results to the minimal symmetric 2nth order ordinary differential operator A in ${L^2(\mathbb{R}_+)}$ , we show that ${\widetilde{M}(\cdot)}$ defined in ${\Omega_+ \subset \mathbb{C}_+}$ determines the Dirichlet and Neumann realizations uniquely up to the unitary equivalence. At the same time similar result for realizations of Dirac operator fails. We obtain also some negative abstract results demonstrating that in general the Weyl function ${\widetilde{M}(\cdot)}$ does not determine A _B even up to the similarity.     

Prolongations of valuations to finite extensions

Let ${K=\mathbb{Q}(\theta)}$ be an algebraic number field with θ in the ring A _K of algebraic integers of K and f(x) be the minimal polynomial of θ over the field ${\mathbb{Q}}$ of rational numbers. For a rational prime p, let ${\bar{f}(x)\,=\,\bar{g}_{1}(x)^{e_{1}}....\bar{g}_{r}(x)^{e_{r}}}$ be the factorization of the polynomial ${\bar{f}(x)}$ obtained by reducing coefficients of f(x) modulo p into a product of powers of distinct irreducible polynomials over ${\mathbb{Z}/p\mathbb{Z}}$ with g _i (x) monic. Dedekind proved that if p does not divide [ ${A_{K}:\mathbb{Z}}$ [θ]], then ${pA_{K}=\wp_{1}^{e_{1}}\ldots\wp_{r}^{e_{r}}}$ , where ${\wp_{1},\ldots,\wp_{r}}$ are distinct prime ideals of A _K , ${\wp_{i}=pA_{K}+g_{i}(\theta)A_{K}}$ having residual degree equal to the degree of ${\bar{g}_{i}(x)}$ . He also proved that p does not divide [ ${A_{K}:\mathbb{Z}}$ [θ]] if and only if for each i, either e _i  = 1 or ${\bar{g}_{i}(x)}$ does not divide ${\bar{M}(x)}$ where ${M(x)=\frac{1}{p}(f(x)-g_{1}(x)^{e_{1}}....g_{r}(x)^{e_{r}})}$ . Our aim is to give a weaker condition than the one given by Dedekind which ensures that if the polynomial ${\bar{f}(x)}$ factors as above over ${\mathbb{Z}/p\mathbb{Z}}$ , then there are exactly r prime ideals of A _K lying over p, with respective residual degrees ${\deg \bar {g}_{1}(x),...,\deg \bar {g}_{r}(x)}$ and ramification indices e ₁, ..., e _r . In this paper, the above problem has been dealt with in a more general situation when the base field is a valued field (K, v) of arbitrary rank and K(θ) is any finite extension of K.     

An A∞-structure on the Cohomology Ring of the Symmetric Group S p with Coefficients in 𝔽 p

Let p be a prime. Let ?? _p S _p be the group algebra of the symmetric group over the finite field with p elements ?? _p . Let ?? _p be the trivial ?? _p S _p -module. We choose a projective resolution PRes?? _p of the module ?? _p and equip the Yoneda algebra \(\mathrm{Ext}^{\ast }_{\mathbb{F}_{p} S_{p}}\left( \mathbb{F}_{p}, \mathbb{F}_{p}\right)\) with an A_∞-structure such that \(\mathrm{Ext}^{\ast }_{\mathbb{F}_{p} S_{p}}\left( \mathbb{F}_{p}, \mathbb{F}_{p}\right)\) becomes a minimal model in the sense of Kadeishvili of the dg-algebra \(\mathrm{Hom}^{\ast }_{\mathbb{F}_{p} S_{p}}\left(PRes \mathbb{F}_{p}, PRes \mathbb{F}_{p}\right)\) .     

Essentially disjoint families, conflict free colorings and Shelah’s revised GCH

Using Shelah’s revised GCH theorem we prove that if μ<? _ω ≦λ are cardinals, then every μ-almost disjoint family ${\mathcal{A}}\subset {[\lambda]}^{\beth_{\omega}}$ is essentially disjoint, i.e. for each ${A\in {\mathcal{A}}}$ there is a set F(A)∈[A]^<|A| such that the family $\{{A\setminus F(A)}: {A\in {\mathcal{A}}}\}$ is disjoint. We also show that if μ≦κ≦λ are cardinals, κ≧ω, and

• every μ-almost disjoint family ${\mathcal{A}}\subset {[\lambda]}^{{\kappa}}$ is essentially disjoint,

then

• every μ-almost disjoint family ${\mathcal {B}}\subset {[\lambda]}^{\geqq {\kappa}}$ has a conflict-free coloring with κ colors, i.e. there is a coloring f:λ→κ such that for all ${B\in {\mathcal{B}}}$ there is a color ξ<κ such that |{β∈B:f(β)=ξ}|=1.

Putting together these results we obtain that if μ<? _ω ≦λ, then every μ-almost disjoint family ${{\mathcal{B}}\subset {[\lambda]}^{\geqq \beth_{\omega}}}$ has a conflict-free coloring with ? _ω colors. To yield the above mentioned results we also need to prove a certain compactness theorem concerning singular cardinals.