Related papers: A criterion for reflectiveness of normal extension…
We characterize projective objects in the category of internal crossed modules within any semi-abelian category. When this category forms a variety of algebras, the internal crossed modules again constitute a semi-abelian variety, ensuring…
We prove analogs of faithfully flat descent and Galois descent for categories of modules over $E_{\infty}$-ring spectra using the $\infty$-categorical Barr-Beck theorem proved by Lurie. In particular, faithful $G$-Galois extensions are…
We show that for a pointed protomodular category $\mathbb{C}$ satisfying a certain condition on those Huq commutators which exist, if $X$ is a perfect object in $\mathbb{C}$ such that the split extension classifier $[X]$ exists, then the…
Let A be a polynomial algebra with complex coefficients. Let B be a finite extension ring of A which is also a polynomial algebra. We describe the factorisation of the Jacobian J of the extension into irreducibles. We also introduce the…
The purpose of this short and elementary note is to identify some classes of exact categories introduced in L. Previdi's thesis. Among other things we show: (1) An exact category is partially abelian exact if and only if it is abelian. (2)…
This paper investigates coherent-like conditions and related properties that a trivial extension might inherit from the ground ring over some classes of modules. It captures previous results dealing primarily with coherence, and also…
In this paper, we prove a new characterization theorem for Picard-Vessiot extensions whose differential Galois groups have solvable identity components.
We show that the category of internal groupoids in an exact Mal'tsev category is reflective, and in fact a Birkhoff subcategory of the category of simplicial objects. We then characterize the central extensions of the corresponding Galois…
We interpret Galois covers in terms of particular monoidal functors, extending the correspondence between torsors and fiber functors. As applications we characterize tame $G$-covers between normal varieties for finite and \'etale group…
A new criterion is developed which provides a check as to whether a chosen set of polarization observables is complete with respect to the determination of all independent $T$-matrix elements of a reaction of the type $a+b\to c+d+...$. As…
Let $R$ be a commutative ring with identity and $G$ a graph. Extending generalized splines are a further extension of generalized splines by allowing vertex labels of $G$ to lie in varying modules rather than in a fixed ring $R$.…
We catalog some simple conditions which are sufficient to guarantee that R-parity survives as an unbroken gauged discrete subgroup of the continuous gauge symmetry in certain supersymmetric extensions of the standard model.
Let A be the N\'eron model of an abelian variety A_K over the fraction field K of a discrete valuation ring R. Due to work of Mazur-Messing, there is a functorial way to prolong the universal extension of A_K by a vector group to a smooth…
We show that a direct limit of projective contramodules (over a right linear topological ring) is projective if it has a projective cover. A similar result is obtained for $\infty$-strictly flat contramodules of projective dimension not…
We extend the classical construction by Noether of crossed product algebras, defined by finite Galois field extensions, to cover the case of separable (but not necessarily finite or normal) field extensions. This leads us naturally to…
Let C be an algebraically closed field and X a projective curve over C. Consider an ordinary linear differential equation, or a linear differ- ence equation, with coefficients in the field of rational functions of X, and assume that its…
We prove that if $f:X \rightarrow A$ is a morphism from a smooth projective variety $X$ to an abelian variety $A$ over a number field $K$, and $G$ is a subgroup of automorphisms of $X$ satisfying certain properties, and if a prime $p$…
For a finite dimensional Frobenius cellular algebra, a sufficient and necessary condition for a simple cell module to be projective is given. A special case that dual bases of the cellular basis satisfying a certain condition is also…
In the context of differential fields of characteristic zero with several commuting derivations, we discuss the notion of $\#$-differential equations on parameterized D-torsors and their associated Galois extensions. Using model-theoretic…
We prove a Galois-type correspondence between compositions of purely inseparable field extensions (including infinite ones) and subalgebras of differential operators. This correspondence can be utilized to establish a connection between…