Related papers: On the B\'enabou-Roubaud theorem

The Main Theorem for abelian fields (often called Main Conjecture despite proofs in most cases) has a long history which has found a solution by means of "elementary arithmetic", as detailed in Washington's book from Thaine's method having…

We introduce an abstract framework of Cartesian squares beyond the context of fiber products, and use it to extend the notion of pullback from classical to compact quantum principal bundles. Based only on our abstract notion of a Cartesian…

An example of an extension of a completely simple semigroup U by a group H is given which cannot be embedded into the wreath product of U by H. On the other hand, every central extension of U by H is shown to be embeddable in the wreath…

We study ring-theoretic (in)finiteness properties -- such as \emph{Dedekind-finiteness} and \emph{proper infiniteness} -- of ultraproducts (and more generally, reduced products) of Banach algebras. Whilst we characterise when an…

We prove a discretized Product Theorem for general simple Lie groups, in the spirit of Bourgain's Discretized Sum-Product Theorem.

In this paper, we introduce a notion, called generalized Reifenberg condition, under which we prove a smooth fibration theorem for collapsed manifolds with Ricci curvature bounded below, which gives a unified proof of smooth fibration…

We prove a local $Tb$ theorem for paraproducts acting on vector valued functions, with matrix weighted averaging operators. The condition on the weight is that its square is in the $L_2$ associated matrix $A_\infty$ class. We also introduce…

Let $A$ be an additive basis. We call ``essential subset'' of $A$ any finite subset $P$ of $A$ such that $A \setminus P$ is not an additive basis and that $P$ is minimal (for the inclusion order) to have this property. A recent theorem due…

We study the necessary and sufficient conditions on Abelianizable first class constraints. The necessary condition is derived from topological considerations on the structure of gauge group. The sufficient condition is obtained by applying…

In this paper we extend Beilinson's realization formalism for triangulated categories and filtered triangulated categories to a pseudofunctorial and pseudonatural setting. As a consequence we prove an equivariant version of Beilinson's…

We prove a weak version of the cross--product conjecture: ${F}(k+1,\ell) {F}(k,\ell+1) \geq (\frac12+\varepsilon) {F}(k,\ell) {F}(k+1,\ell+1)$, where ${F}(k,\ell)$ is the number of linear extensions for which the values at fixed elements…

It is proved the optimal conditioning for the infinity norm of collocation matrices of the tensor product of normalized B-bases among the tensor product of all normalized totally positive bases of the corresponding space of functions.…

We establish adiabatic theorems with and without spectral gap condition for general operators $A(t): D(A(t)) \subset X \to X$ with possibly time-dependent domains in a Banach space $X$. We first prove adiabatic theorems with uniform and…

We show that elementary abelian direct factors can be disregarded in the study of the modular isomorphism problem. Moreover, we obtain four new series of abelian invariants of the group base in the modular group algebra of a finite…

We prove the weak relative Kawamata-Morrison movable cone conjecture for K-trivial fibrations whose very general fibre is a quotient, by a finite group of automorphisms acting freely in codimension one, of a product of certain Calabi-Yau…

In this paper, we prove a dihedral extremality and rigidity theorem for a large class of codimension zero submanifolds with polyhedral boundary in warped product manifolds. We remark that the spaces considered in this paper are not…

We prove finiteness results for sets of varieties over number fields with good reduction outside a given finite set of places using cyclic covers. We obtain a version of the Shafarevich conjecture for weighted projective surfaces, double…

It is proved that the semigroups $\mathrm{\mathbf{End}}(\boldsymbol{B}_{\omega})$ and $\mathrm{\mathbf{End}}(\boldsymbol{B}_{\mathbb{Z}})$ of the endomorphisms of the bicyclic semigroup $\boldsymbol{B}_{\omega}$ and the endomorphisms of the…

A recent result of Balandraud shows that for every subset S of an abelian group G, there exists a non trivial subgroup H such that |TS| <= |T|+|S|-2 holds only if the stabilizer of TS contains H. Notice that Kneser's Theorem says only that…

Enochs' conjecture asserts that each covering class of modules (over any fixed ring) has to be closed under direct limits. Although various special cases of the conjecture have been verified, the conjecture remains open in its full…