Related papers: The Pseudo-hyperresolution and Applications
The variety of skew braces contains several interesting subcategories as subvarieties, as for instance the varieties of radical rings, of groups and of abelian groups. In this article the methods of non-abelian homological algebra are…
In the last few years, Lopez-Permouth and several collaborators have introduced a new approach in the study of the classical projectivity, injectivity and flatness of modules. This way, they introduced subprojectivity domains of modules as…
Let Q be an affine semigroup generating Z^d, and fix a finitely generated Z^d-graded module M over the semigroup algebra k[Q] for a field k. We provide an algorithm to compute a minimal Z^d-graded injective resolution of M up to any desired…
In Homotopy Type Theory, cohomology theories are studied synthetically using higher inductive types and univalence. This paper extends previous developments by providing the first fully mechanized definition of cohomology rings. These rings…
For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…
We define a HOMFLY version of the category $\text{Rep}_q\text{P}$ of quantum representations of a parabolic subgroup $\text{P}\subseteq\text{GL}_{m+n}$ of block triangular matrices. Alongside this category, we construct functors that…
A spectral sequence calculating the homology groups of some spaces of maps equivariant under compact group actions is described. For the main example, we calculate the rational homology groups of spaces of even and odd maps $S^m \to S^M$,…
In this work we use Hodge theoretic methods to study homotopy types of complex projective manifolds with arbitrary fundamental groups. The main tool we use is the \textit{schematization functor} $X \mapsto (X\otimes \mathbb{C})^{sch}$,…
The following article is an application of commutative algebra to the study of multiparameter persistent homology in topological data analysis. In particular, the theory of finite free resolutions of modules over polynomial rings is applied…
We develop a holonomy reduction procedure for general Cartan geometries. We show that, given a reduction of holonomy, the underlying manifold naturally decomposes into a disjoint union of initial submanifolds. Each such submanifold…
We present a method which allows to deform extremal black hole solutions into non-extremal solutions, for a large class of supersymmetric and non-supersymmetric Einstein-Vector-Scalar type theories. The deformation is shown to be largely…
The object of this article is to compute the holonomy group of the normal connection of complex parallel submanifolds of the complex projective space. We also give a new proof of the classification of complex parallel submanifolds by using…
Solving nonlinear algebraic equations is a fundamental but challenging problem in scientific computations and also has many applications in system engineering. Though traditional iterative methods and modern optimization algorithms have…
The mod p cohomology of a space comes with an action of the Steenrod Algebra. L. Schwartz [A propos de la conjecture de non realisation due a N. Kuhn, Invent. Math. 134, No 1, (1998) 211--227] proved a conjecture due to N. Kuhn [On…
Recently, Peeva and the second author constructed irreducible projective varieties with regularity much larger than their degree, yielding counterexamples to the Eisenbud-Goto Conjecture. Their construction involved two new ideas: Rees-like…
Pseudocycles are geometric representatives for integral homology classes on smooth manifolds that have proved useful in particular for defining gauge-theoretic invariants. The Borel-Moore homology is often a more natural object to work with…
We construct standard resolutions for analytic local modules on complex hypersurfaces using standard basis methods, with extensions to complete intersections. The algebraic version over arbitrary infinite fields is also suggested.…
We study hyperbolized versions of cohomological equations that appear with cocycles by isometries of the euclidean space. These (hyperbolized versions of) equations have a unique continuous solution. We concentrate in to know whether or not…
In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of…
Singular and oscillatory functions feature in numerous applications. The high-accuracy approximation of such functions shall greatly help us develop high-order methods for solving applied mathematics problems. This paper demonstrates that…