Related papers: Du th\'eor\'eme de d\'ecomposition \'a la Puret\'e…

We relate the theory of purity of a locally finitely presented category with products to the study of exact structures on the full subcategory of finitely presented objects. Properties in the context of purity are translated to properties…

Earlier we presented a method to decompose modal formulas for processes with the internal action $\tau$, and congruence formats for branching and $\eta$-bisimilarity were derived on the basis of this decomposition method. The idea is that a…

We introduce decomposition complexes of posets, which generalize order complexes. The main advantage of our construction is that decomposition complexes are closed under taking products. Other special instances of this theory include nested…

We prove that under suitable graded and local hypothesis, a formally unramified algebra over a field must be reduced. We detail examples, including one due to Gabber, to show that it is not possible to generalize these results further.

Let $\L_m$ be the scheme of the laws defined by the identities of Jacobi on $\K^m$. The local studies of an algebraic Lie algebra $\g=\mathrm{R}\ltimes\n$ in $\L_m$ and its nilpotent part $\n$ in the scheme $\L_n^{\mathrm{R}}$ of…

Let $(G_n(x))_{n=0}^\infty$ be a $d$-th order linear recurrence sequence having polynomial characteristic roots, one of which has degree strictly greater than the others. Moreover, let $m\geq 2$ be a given integer. We ask for…

In this work we prove the local multiplicity at most one theorem underlying the definition and theory of local $\gamma$-, $\epsilon$- and $L$-factors, defined by virtue of the generalized doubling method, over any local field of…

We introduce a certain differential graded bialgebra, neither commutative nor cocommutative, that governs perturbations of a differential on complexes supplied with an abstract Hodge decomposition. This leads to a conceptual treatment of…

We obtain some simple relations between decomposition numbers of quantized Schur algebras at an n-th root of unity (over a field of characteristic 0). These relations imply that every decomposition number for such an algebra occurs as a…

We extend the invertibility principle of J. Bourgain and L. Tzafriri to operators acting on arbitrary decompositions id = \sum x_j \otimes x_j, rather than on the coordinate one. The John's decomposition brings this result to the local…

A new approach to disintegration of measures is presented, allowing one to drop the usually taken separability assumption. The main tool is a result on fibers in the spectrum of algebra of essentially bounded functions established recently…

Let $G$ be an algebraic real reductive group and $Z$ a real spherical $G$-variety, that is, it admits an open orbit for a minimal parabolic subgroup $P$. We prove a local structure theorem for $Z$. In the simplest case where $Z$ is…

The author has previously shown that solvable Lie A-algebras and complemented solvable Lie algebras decompose as a vector space direct sum of abelian subalgebras, and their ideals relate nicely to this decomposition. However, neither of…

We give a criterion under which one can obtain a good decomposition (in the sense of Malgrange) of a formal flat connection on a complex analytic or algebraic variety of arbitrary dimension. The criterion is stated in terms of the spectral…

This paper continues the author's previous study \cite{Kura20}, showing that several weak principles inspired by non-normal modal logic suffice to derive various refined forms of the second incompleteness theorem. Among the main results of…

Consider $k\ge 2$ distinct, linearly independent, homogeneous linear recurrences of order $k$ satisfying the same recurrence relation. We prove that the recurrences are related to a decomposable form of degree $k$, and there is a very broad…

For studying the local topology of maps, one uses deformations which split the singularities into simpler ones while preserving the general fibres. We give conditions under which such conservation holds.

We introduce a class of strongly \'{e}tale difference algebras, whose role in the study of difference equations is analogous to the role of \'{e}tale algebras in the study of algebraic equations. We deduce an improved version of Babbitt's…

We systematically develop analogs of basic concepts from classical descriptive set theory in the context of pointless topology. Our starting point is to take the elements of the free complete Boolean algebra generated by the frame…

Following the work of Jean-Loup Waldspurger, we prove the epsilon dichotomy part of the local Gross-Prasad conjecture over $\mathbb{R}$ for tempered local $L$-parameters.