Related papers: Normalizers in the non-pointed context: a weak cas…
The subject of features normalization plays an important central role in data representation, characterization, visualization, analysis, comparison, classification, and modeling, as it can substantially influence and be influenced by all of…
Let $G$ be a finite group and $x$ be an element of $G$. Define $\textrm{Sol}_G(x)$ as the set of all $y \in G$ such that $\langle {x,y}\rangle$ is soluble. We provide an equivalent condition for the normalizer-solubilizer conjecture, namely…
In this work, we study the existence of various classes of standing waves for a nonlinear Schr\"odinger system with quadratic interaction, along with a harmonic or partially harmonic potential. We establish the existence of ground-state…
The goal of this paper is to prove an equivalence between the $(\infty,2)$-category of cartesian factorization systems of $\infty$-categories and that of pointed cartesian fibrations of $\infty$-categories. This generalizes a similar result…
In this article, we introduce the concepts of graded $s$-prime submodules which is a generalization of graded prime submodules. We study the behavior of this notion with respect to graded homomorphisms, localization of graded modules,…
It is known that every semigroup of normal completely positive maps of a von Neumann can be ``dilated" in a particular way to an E_0-semigroup acting on a larger von Neumann algebra. The E_0-semigroup is not uniquely determined by the…
The normalizer $N_W(W_J)$ of a standard parabolic subgroup $W_J$ of a finite Coxeter group $W$ splits over the parabolic subgroup with complement $N_J$ consisting of certain minimal length coset representatives of $W_J$ in $W$. In this note…
When $(S,\mathcal{F},\mathcal{L})$ is a $p$-local finite group and $(T,\mathcal{E},\mathcal{\L}_0)$ is weakly normal in $(S,\mathcal{F},\mathcal{L})$ we show that a definition of $C_S(\mathcal{E})$ given by Aschbacher has a simple…
We develop realizability models of intensional type theory, based on groupoids, wherein realizers themselves carry non-trivial (non-discrete) homotopical structure. In the spirit of realizability, this is intended to formalize a homotopical…
We classify fibrations by integral plane projective rational quartic curves whose generic fibre is regular but admits a non-smooth point that is a canonical divisor. These fibrations can only exist in characteristic two. The geometric…
We prove that many normal subgroups of the extended mapping class group of a surface with punctures are geometric, that is, that their automorphism groups and abstract commensurator groups are isomorphic to the extended mapping class group.…
Given a Noetherian formal scheme $\hat X$ over ${\rm Spf}(R)$, where $R$ is a complete DVR, we first prove a theorem of meromorphic descent along a possibly infinite cover of $\hat{X}$. Using this we construct a specialization functor from…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
Persistence modules serve as the algebraic foundation for topological data analysis, typically studied as representations of posets over a field. This article extends the structural and decomposition theory of persistence modules to the…
We introduce the jet schemes of a holomorphic foliation, and thereby prove an alternate characterisation of simple singularities of codimension-$1$ foliations, independent of any normal form. This leads to an equivalent condition for the…
We characterise regular Goursat categories through a specific stability property of regular epimorphisms with respect to pullbacks. Under the assumption of the existence of some pushouts this property can be also expressed as a restricted…
Let $S$ be a Dedekind scheme, $X$ a connected $S$-scheme locally of finite type and $x\in X(S)$ a section. The aim of the present paper is to establish the existence of the fundamental group scheme of $X$, when $X$ has reduced fibers or…
The paper provides two versions of nonlocal Poincar\'e-type inequalities for integral operators with a convolution-type structure and functions satisfying a zero-Dirichlet like condition. The inequalities extend existing results to a large…
Normalization fails in type theory with an impredicative universe of propositions and a proof-irrelevant propositional equality. The counterexample to normalization is adapted from Girard's counterexample against normalization of System F…
Let S be a closed surface with nonzero Euler characteristic. We prove the existence of an open neighborhood V of the identity map of S in the C^1-topology with the following property: if G is an abelian subgroup of Diff^1(S) generated by…