English
Related papers

Related papers: Abstract decomposition theorem and applications

200 papers

The geometric and algebraic theory of monomial ideals and multigraded modules is initiated over real-exponent polynomial rings and, more generally, monoid algebras for real polyhedral cones. The main results include the generalization of…

Commutative Algebra · Mathematics 2025-11-11 Ezra Miller

A known fundamental Theorem for braided pointed Hopf algebras states that for each coideal subalgebra, that fulfils a few properties, there is an associated quotient coalgebra right module such that the braided Hopf algebra can be…

Quantum Algebra · Mathematics 2023-06-27 Istvan Heckenberger , Katharina Schäfer

The main result asserts: Let $G$ be a reductive, affine algebraic group and let $(\rho ,V)$ be a regular representation of $G$. Let $X$ be an irreducible $\mathbb{C}^{ \times } G$ invariant Zariski closed subset such that $G$ has a closed…

Algebraic Geometry · Mathematics 2018-11-20 Nolan R. Wallach

Let $H \subseteq G$ be connected reductive linear algebraic groups defined over an algebraically closed field of characteristic $p> 0$. In our first main theorem we show that if a closed subgroup $K$ of $H$ is $H$-completely reducible, then…

Representation Theory · Mathematics 2025-04-28 Michael Bate , Sören Böhm , Alastair Litterick , Benjamin Martin , Gerhard Roehrle

A. Vistoli proved a decomposition theorem for the rational equivariant algebraic K-theory of a variety under the action of a finite group $G$. We generalize his result to more general algebraic (co)homology theories having the Mackey…

Algebraic Geometry · Mathematics 2025-05-21 Francesco Sala

A theorem of Elekes and Szab\'{o} recognizes algebraic groups among certain complex algebraic varieties with maximal size intersections with finite grids. We establish a generalization to relations of any arity and dimension, definable in:…

Logic · Mathematics 2023-03-07 Artem Chernikov , Ya'acov Peterzil , Sergei Starchenko

We give new decomposition theorems for classes of graphs that can be transduced in first-order logic from classes of sparse graphs -- more precisely, from classes of bounded expansion and from nowhere dense classes. In both cases, the…

Logic in Computer Science · Computer Science 2022-01-27 Jan Dreier , Jakub Gajarský , Sandra Kiefer , Michał Pilipczuk , Szymon Toruńczyk

This paper describes a quantum algorithm for efficiently decomposing finite Abelian groups. Such a decomposition is needed in order to apply the Abelian hidden subgroup algorithm. Such a decomposition (assuming the Generalized Riemann…

Data Structures and Algorithms · Computer Science 2007-05-23 Kevin K. H. Cheung , Michele Mosca

We investigate categoricity of abstract elementary classes without any remnants of compactness (like non-definability of well ordering, existence of E.M. models or existence of large cardinals). We prove (assuming a weak version of GCH…

Logic · Mathematics 2016-09-07 Saharon Shelah

In its simplest form the Decomposition Theorem asserts that the rational intersection cohomology of a complex projective variety occurs as a summand of the cohomology of any resolution. This deep theorem has found important applications in…

Algebraic Geometry · Mathematics 2016-03-31 Geordie Williamson

We construct a class of positive linear maps on matrix algebras. We find conditions when these maps are atomic, decomposable and completely positive. We obtain a large class of atomic positive linear maps. As applications in quantum…

Operator Algebras · Mathematics 2017-04-25 Xin Li , Wei Wu

The problem of classification of decomposable (in the sense of Stormer) positive maps between matrix algebras is presented. We propose the new notion of "finite" version of decomposability ($k$-decomposabilty). The characterisation of…

Quantum Physics · Physics 2007-05-23 Wladyslaw A. Majewski , Marcin Marciniak

The class of abelian $p$-groups are an example of some very interesting phenomena in computable structure theory. We will give an elementary first-order theory $T_p$ whose models are each bi-interpretable with the disjoint union of an…

Logic · Mathematics 2017-02-23 Matthew Harrison-Trainor

The classical Arazy's decomposition theorem provides a powerful tool in the study of sequences in (and isomorphisms on) a separable operator ideal $\mathcal C_E$ of the algebra $\mathcal B(H)$ of all bounded linear operators on the…

Functional Analysis · Mathematics 2026-02-11 Jinghao Huang , Fedor Sukochev , Zhizheng Yu

Aiming for a revival of the theory of crystallographic complex reflection groups, we compute (minimal) Coxeter-like reflection presentations for the infinite families of those non-genuine groups which satisfy Steinberg's fixed point…

Group Theory · Mathematics 2025-10-10 Davide Dal Martello

The main purpose of this paper is to present a decomposition theorem for nonnegative sesquilinear forms. The key notion is the short of a form to a linear subspace. This is a generalization of the well-known operator short defined by M. G.…

Functional Analysis · Mathematics 2014-06-26 Zoltán Sebestyén , Zsigmond Tarcsay , Tamás Titkos

We exhibit an equivalence between the model-theoretic framework of universal classes and the category-theoretic framework of locally multipresentable categories. We similarly give an equivalence between abstract elementary classes (AECs)…

Logic · Mathematics 2019-01-25 Michael Lieberman , Jiří Rosický , Sebastien Vasey

We provide the main results of a deformation theory of smooth formal schemes. First we deal with the case of global lifting of smooth morphisms. We prove that the obstruction to the existence of a global lifting lies in a Ext^1 group. Then…

Algebraic Geometry · Mathematics 2008-01-21 Marta Perez

The celebrated Stallings' decomposition theorem states that the splitting of a finite index subgroup $H$ of a finitely generated group $G$ as an amalgamated free product or an HNN-extension over a finite group implies the same for $G$. We…

Group Theory · Mathematics 2021-10-12 Mattheus Aguiar , Pavel Zalesski

Let G be a discrete group. We give methods to compute for a generalized (co-)homology theory its values on the Borel construction (EG x X)/G of a proper G-CW-complex X satisfying certain finiteness conditions. In particular we give formulas…

K-Theory and Homology · Mathematics 2012-01-24 Michael Joachim , Wolfgang Lueck