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

In this paper we give a simplified proof of the flat Grothendieck-Riemann-Roch theorem. The proof makes use of the local family index theorem and basic computations of the Chern-Simons form. In particular, it does not involve any adiabatic…

The main result of this paper is a bi-parameter T(b) theorem for the case that b is a tensor product of two pseudo-accretive functions. In the proof, we also discuss the L^2 boundedness of different types of the b-adapted bi-parameter…

We give a new proof of the Brawley-Carlitz theorem on irreducibility of the composed products of irreducible polynomials. Our proof shows that associativity of the binary operation for the composed product is not necessary. We then…

We explain how the Riemann-Roch theorem for divisors on an abelian variety $A$ is related to the reduced norms of the Wedderburn components of $\operatorname{End}^0(A)$ the $\mathbb{Q}$-endomorphism algebra of $A$. We then describe…

We show that if a stable variety (in the sense of Koll\'ar and Shepherd-Barron) admits a fibration with stable fibers and base, then this fibration structure deforms (uniquely) for all small deformations. During our proof we obtain also a…

We first note that a result of Gowers on product-free sets in groups has an unexpected consequence: If k is the minimal degree of a representation of the finite group G, then for every subset B of G with $|B| > |G| / k^{1/3}$ we have B^3 =…

We present a new coherence theorem for comprehension categories, providing strict models of dependent type theory with all standard constructors, including dependent products, dependent sums, identity types, and other inductive types.…

We prove a Margulis' Lemma \`a la Besson Courtois Gallot, for manifolds whose fundamental group is a nontrivial free product A*B, without 2-torsion. Moreover, if A*B is torsion-free we give a lower bound for the homotopy systole in terms of…

We present a new kind of normalization theorem: linearization theorem for skew products. The normal form is a skew product again, with the fiber maps linear. It appears, that even in the smooth case, the conjugacy is only H\"older…

In this paper, we establish a variational principle, between the fiber Bowen's topological entropy on conditional level sets of Birkhoff average and fiber measure-theoretical entropy, for the skew product transformation driven by a uniquely…

We derive a factorization theorem for the structure-dependent QED effects in the weak exclusive process $B^-\to\ell^-\bar\nu_\ell$, i.e., effects probing the internal structure of the $B$ meson. The derivation requires a careful treatment…

We study the behavior of Du~Bois singularities under base change and fiber products. For embeddable varieties in characteristic zero, we show that Du~Bois singularities descend from any field extension. We also prove that the product of a…

Herbrand's Theorem is a fundamental result in mathematical logic which provides a reduction of first-order formulas satisfied by a universal class to formulas free of existential quantifiers. In this work, a simpler and self-contained…

This is the continuation of the article by the author that proves a broader class of families admitting the theorem of restriction of sections other than Abelian varieties and gives new examples of pseudo-N\'eron models. In this work, we…

Let $\mathcal{A}$ be an abelian category and let $F$ be a subbifunctor of the additive bifunctor $\text{Ext}_{\mathcal{A}}^{1}(-,-)\colon \mathcal{A}^{\text{op}}\times \mathcal{A}\to \mathsf{Ab}$. Buan proved in [4] that $F$ is closed if,…

We prove a certain uniform version of the Shafarevich Conjecture. As a corollary, we prove the Rasmussen-Tamagawa Conjecture for a particular class of abelian varieties $A$ defined over a number $K$ of dimension $g$ having everywhere…

If a locally cartesian closed category carries a weak factorisation system, then the left maps are stable under pullback along right maps if and only if the right maps are closed under pushforward along right maps. We refer to this…

We present a proof of the Chevalley-Weil Theorem that is somewhat different from the proofs appearing in the literature and with somewhat weaker hypotheses, of purely topological type. We also provide a discussion of the assumptions, and an…

We give a short proof of Chevalley's theorem that every algebraic group is an extension of an Abelian variety by a linear algebraic group. Along the way we treat Bertini's irreducibility theorem.

We present a systematic analysis of the $B^{(*)}\to\pi\,\ell\,\nu$ weak decay form factors to order $1/m_b$ in the heavy quark effective theory, including a discussion of renormalization group effects. These processes are described by a set…