Related papers: Some remarks on formality in families
We prove a conjecture stated in a previous paper by the author about the existence of canonical filtrations for a family of vertex operator algebras in rational levels.
We study the flatness of log-pluricanonical sheaves on stable families of varieties. v2: many changes in presentation, results unchanged.
The main focus of this paper is to show that the gluing of formal schemes is also a formal scheme. The algebraic approach established here also leads us to conclude when the gluing of $k$-formal schemes is a $k$-formal scheme. In addition,…
We make explicit certain results around the Galois correspondence in the context of definable automorphism groups, and point out the relation to some recent papers dealing with the Galois theory of algebraic differential equations when the…
We identify a class of singular algebraic foliations whose leaves through singular points retain regularity. The proof consists in showing existence of residual gerbes for certain formal stacks, which do not enjoy smooth presentations. As…
We give a detailed proof of Kolchin's results on differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. We closely follow former works due to Pillay and…
We give refined bounds for the regularity of FI-modules and the stable ranges of FI-modules for various forms of their stabilization studied in the representation stability literature. We show that our bounds are sharp in several cases. We…
We study families $\mathcal{F}\subseteq 2^{[n]}$ with restricted intersections and prove a conjecture of Snevily in a stronger form for large $n$. We also obtain stability results for Kleitman's isodiametric inequality and families with…
Stability is required for real world controlled systems as it ensures that those systems can tolerate small, real world perturbations around their desired operating states. This paper shows how stability for continuous systems modeled by…
This work presents a formalized proof of modal completeness for G\"odel-L\"ob provability logic (GL) in the HOL Light theorem prover. We describe the code we developed, and discuss some details of our implementation, focusing on our choices…
We prove that the stable endomorphism algebra of a module without self-extensions over a special biserial algebra is a gentle algebra. In particular, it is again special biserial. As a consequence, any algebra which is derived equivalent to…
In this note, we establish some new results on some special types of function algebras and also give new proofs to some existing ones
We introduce a novel type of stabilization map on the configuration spaces of a graph, which increases the number of particles occupying an edge. There is an induced action on homology by the polynomial ring generated by the set of edges,…
The paper offers a mathematical formalization of the Turing test. This formalization makes it possible to establish the conditions under which some Turing machine will pass the Turing test and the conditions under which every Turing machine…
We give a self-contained treatment of the theory of persistence modules indexed over the real line. We give new proofs of the standard results. Persistence diagrams are constructed using measure theory. Linear algebra lemmas are simplified…
This note aims to give a short proof of the recent result due to Etg\"u-Lekili (2017) and Lekili-Ueda (2021): the zigzag algebra of any finite tree over a field of characteristic 0 is intrinsically formal if and only if the tree is of type…
We develop a general obstruction theory to the formality of algebraic structures over any commutative ground ring. It relies on the construction of Kaledin obstruction classes that faithfully detect the formality of differential graded…
We point out that any stable generalized complex structure on a sphere bundle over a closed surface of genus at least two must be of constant type.
In a recent paper, Chernikov and Starchenko prove that graphs defined in distal theories have strong regularity properties, generalizing previous results about graphs defined by semi-algebraic relations. We give a shorter, purely…
We study some formality criteria for differential graded algebras over differential graded operads. This unifies and generalizes other known approaches like the ones by Manetti and Kaledin. In particular, we construct general operadic…