Related papers: Families of cellular resolutions, their syzygies, …
We prove a result of cohomology and base change for families of coherent systems over a curve. We use that in order to prove the existence of (non-split, non-degenerate) universal families of extensions for families of coherent systems (in…
A finitely generated module over a commutative noetherian ring of finite Krull dimension can be built from the prime ideals in the singular locus by iteration of three procedures: taking extensions, direct summands, and cosyzygies. In 2003…
With the motivation to study the Selmer group af an elliptic curve, we improve the theory of Kolyvagin systems to describe the Fitting ideals of a Selmer group in the core rank zero situation. By relaxing a Selmer structure of rank zero at…
Many cellular processes involve information processing and decision making. We can probe these processes at increasing molecular detail. The analysis of heterogeneous data remains a challenge that requires new ways of thinking about cells…
A finitely generated quadratic module or preordering in the real polynomial ring is called stable, if it admits a certain degree bound on the sums of squares in the representation of polynomials. Stability, first defined explicitly by…
For modules over an artin algebra a linear stability condition is given by a "central charge" and a nonlinear stability condition is given by the wall-crossing sequence of a "green path". Finite Harder-Narasimhan stratifications of the…
This work is dedicated to the results were got in the model theory of the regular polygons. We give the characterization of the monoids with axiomatizable and model complete class of regular polygons. We describe the monoids with complete…
We use group schemes to construct optimal packings of lines through the origin. In this setting, optimal line packings are naturally characterized using representation theory, which in turn leads to a necessary integrality condition for the…
In this paper we propose new sufficient conditions for stability of solutions of systems of Volterra linear integral equations and systems of linear integro-differential Volterra equations. Solution stability conditions for systems of…
We prove a representation stability result for the sequence of spaces $\overline M_{g, n}^A$ of pointed admissible $A$-covers of stable $n$-pointed genus-$g$ curves, for an abelian group $A$. For fixed genus $g$ and homology degree $i$, we…
When $R$ is a Noetherian ring and we have a family of ideals in which every ideal contains at least one nonzero divisor, then it is already known that the defining ideal of the multi-Rees algebra of these ideals is equal to a saturated…
It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…
We prove new homological stability results for general linear groups over finite fields. These results are obtained by constructing CW approximations to the classifying spaces of these groups, in the category of $E_\infty$-algebras, guided…
A global representation is a compatible collection of representations of the outer automorphism groups of the finite groups belonging to a family $\mathscr{U}$. These arise in classical representation theory, in the study of representation…
We study moduli spaces of solutions of nonlinear Partial Differential Equations on manifolds in the framework of derived $C^{\infty}$-geometry. For an arbitrary smooth stack $S$, we define $S$-families of nonlinear PDEs acting between…
At present, practical application and theoretical discussion of rough sets are two hot problems in computer science. The core concepts of rough set theory are upper and lower approximation operators based on equivalence relations. Matroid,…
Consensus is a well-studied problem in distributed sensing, computation and control, yet deriving useful and easily computable bounds on the rate of convergence to consensus remains a challenge. This paper discusses the use of seminorms for…
We define a basic class of algebras which we call homotopy path algebras. We find that such algebras always admit a cellular resolution and detail the intimate relationship between these algebras, stratifications of topological spaces, and…
Consider an ideal $I\subset K[x_1,..., x_n]$, with $K$ an arbitrary field, generated by monomials of degree two. Assuming that $I$ does not have a linear resolution, we determine the step $s$ of the minimal graded free resolution of $I$…
We study in optimal control the important relation between invariance of the problem under a family of transformations, and the existence of preserved quantities along the Pontryagin extremals. Several extensions of Noether theorem are…