English
Related papers

Related papers: Generalizing Serre's Splitting Theorem and Bass's …

200 papers

Self-similar group actions may be encoded by a class of left cancellative monoids called left Rees monoids, a result obtained by combining pioneering work by Perrot with later work by the first author. Left Rees monoids that are also right…

Category Theory · Mathematics 2014-11-11 M. V. Lawson , A. R. Wallis

Let $A$ be a regular ring of dimension $\le 2$. Let $G$ be a reductive group over $A$ such that its derived group is a split, i.e. a Chevalley--Demazure, semisimple group. We prove that every Zariski-locally trivial principal $G$-bundle…

Algebraic Geometry · Mathematics 2025-12-23 Anastasia Stavrova

We show that the free module of infinite rank $R^{(\kappa)}$ purely embeds every $\kappa$-generated flat left $R$-module iff $R$ is left perfect. Using a Bass module corresponding to a descending chain of principal right ideals, we…

Rings and Algebras · Mathematics 2025-01-09 Anand Pillay , Philipp Rothmaler

We generalize the van Kampen theorem for unions of non-connected spaces, due to R. Brown and A. R. Salleh, to the context where families of subspaces of a space B are replaced by a locally sectionable map to B.

Algebraic Topology · Mathematics 2024-12-05 Ronald Brown , George Janelidze , George Peschke

We prove a structure theorem for multiplicative functions which states that an arbitrary bounded multiplicative function can be decomposed into two terms, one that is approximately periodic and another that has small Gowers uniformity norm…

Number Theory · Mathematics 2016-01-27 Nikos Frantzikinakis , Bernard Host

This paper builds model-theoretic tools to detect changes in complexity among the simple theories. We develop a generalization of dividing, called shearing, which depends on a so-called context c. This leads to defining c-superstability, a…

Logic · Mathematics 2021-07-06 M. Malliaris , S. Shelah

The module theorem by Janhunen et al. demonstrates how to provide a modular structure in answer set programming, where each module has a well-defined input/output interface which can be used to establish the compositionality of answer sets.…

Artificial Intelligence · Computer Science 2012-10-19 Joseph Babb , Joohyung Lee

We mechanize, in the proof assistant Isabelle, a proof of the axiom-scheme of Separation in generic extensions of models of set theory by using the fundamental theorems of forcing. We also formalize the satisfaction of the axioms of…

Logic in Computer Science · Computer Science 2019-01-11 Emmanuel Gunther , Miguel Pagano , Pedro Sánchez Terraf

Slicing a module into semisimple ones is useful to study modules. Loewy structures provide a means of doing so. To establish the Loewy structures of projective modules over a finite dimensional symmetric algebra over a field $F$, the…

Rings and Algebras · Mathematics 2020-08-11 Taro Sakurai

We consider Wave Maps into the sphere and give a new proof of small data global well-posedness and scattering in the critical Besov space, in any space dimension $n \geq 2$. We use an adapted version of the atomic space $U^2$ as the single…

Analysis of PDEs · Mathematics 2018-12-06 Timothy Candy , Sebastian Herr

We introduce a broader class of nonassociative Ore extensions that unifies and generalizes several earlier constructions. We prove generalizations of Hilbert's Basis Theorem for this class, showing that they arise immediately from the…

Rings and Algebras · Mathematics 2025-12-03 Per Bäck , Masood Aryapoor

Motivated by Andrews' recent work related to Euler's partition theorem, we consider the set of partitions of an integer $n$ where the set of even parts has exactly $j$ elements, versus the set of partitions of $n$ where the set of repeated…

Combinatorics · Mathematics 2017-05-16 Shishuo Fu , Dazhao Tang

In this paper we prove using quite elementary methods, with a combinatorial nature, two general results related to Marstrand's projection theorem in a quite general formulation over metric spaces under a suitable transversality condition…

Metric Geometry · Mathematics 2024-10-07 Carlos Gustavo Moreira , Sergio Augusto Romaña Ibarra , Waliston Luiz Silva

We establish the Kodaira vanishing theorem and the Kawamata-Viehweg vanishing theorem for lc generalized pairs. As a consequence, we provide a new proof of the base-point-freeness theorem for lc generalized pairs. This new approach allows…

Algebraic Geometry · Mathematics 2023-05-23 Bingyi Chen , Jihao Liu , Lingyao Xie

We give a short proof of an improved version of the Effros Open Mapping Principle via a shift-compactness theorem (also with a short proof), involving `sequential analysis' rather than separability, deducing it from the Baire property in a…

General Topology · Mathematics 2016-06-15 A. J. Ostaszewski

We derive a generalized Stokes' theorem, valid in any dimension and for arbitrary loops, even if self intersecting or knotted. The generalized theorem does not involve an auxiliary surface, but inherits a higher rank gauge symmetry from the…

High Energy Physics - Theory · Physics 2008-02-03 N. Bralic

We give a simple proof of the splitting lemma in singularity theory, also known as generalized Morse lemma, for formal power series over arbitrary fields. Our proof for the uniqueness of the residual part in any characteristic is new and…

Algebraic Geometry · Mathematics 2025-11-18 Gert-Martin Greuel , Gerhard Pfister

We establish a genericity property in the representation theory of a flat family of finite-dimensional algebras in the sense of Cline-Parshal-Scott. More precisely, we show that the decomposition matrices as introduced by Geck and Rouquier…

Representation Theory · Mathematics 2016-04-13 Ulrich Thiel

We introduce the notion of halfspaces associated to a group splitting, and investigate the relationship between the coarse geometry of the halfspaces and the coarse geometry of the group. Roughly speaking, the halfspaces of a group…

Group Theory · Mathematics 2025-10-10 Michael Mihalik , Sam Shepherd

In this article, for generalized projective spaces with any weights, we prove four main theorems in three different contexts where the Unital Set Condition USC (Definition $2.8$) on ideals is further examined. In the first context we prove,…

Number Theory · Mathematics 2022-12-20 C P Anil Kumar