Related papers: A concise proof of the stable model structure on s…
We show that the monoidal product on the stable homotopy category of spectra is essentially unique. This strengthens work of this author with Schwede on the uniqueness of models of the stable homotopy theory of spectra. As an application we…
According to the Furstenberg-Zimmer structure theorem, every measure-preserving system has a maximal distal factor, and is weak mixing relative to that factor. Furstenberg and Katznelson used this structural analysis of measure-preserving…
In this paper, we consider real and complex algebras as well as algebras over general fields. In Section 2, we revisit and prove several results on (quadratic) algebras over general fields. As an example, we demonstrate that a quadratic…
In this paper using Sperner's lemma for modified partition of a simplex we will constructively prove Brouwer's fixed point theorem for sequentially locally non-constant and uniformly sequentially continuous functions.
Morel's stable connectivity theorems state that for any connective $S^1$-spectrum $F$ of motivic spaces (Nisnevich simplicial sheaves) over an arbitrary field, the spectrum $L_{\mathbb A^1}(F)$ is connective, and the same property for…
We study the categorical framework for the computation of persistent homology, without reliance on a particular computational algorithm. The computation of persistent homology is commonly summarized as a matrix theorem, which we call the…
The Quillen-McCord theorem (aka Quillen fiber lemma) gives a sufficient condition on a map between classifying spaces of posetal categories to be a homotopy equivalence. Jonathan Ariel Barmak in his paper [arXiv:1005.0538] gives an…
Despite recent advances in population-based structural health monitoring (PBSHM), knowledge transfer between highly-disparate structures (i.e., heterogeneous populations) remains a challenge. The current work proposes that heterogeneous…
We give a new proof of the fact that Milnor-Witt K-theory has geometric transfers. The proof yields to a simplification of Morel's conjecture about transfers on contracted homotopy sheaves.
Let $k$ be an algebraically closed field of characteristic $p>0$, let $R$ be a commutative ring and let $\mathcal{F}$ be an algebraically closed field of characteristic $0$. We introduce the category $\overline{\mathcal{F}_{Rpp_k}}$ of…
For any $\theta, \omega > 1/2$ we prove that, if any $d$-pseudotrajectory of length $\sim 1/d^{\omega}$ of a diffeomorphism $f\in C^2$ can be $d^{\theta}$-shadowed by an exact trajectory, then $f$ is structurally stable. Previously it was…
Let K be a function field and C a non-isotrivial curve of genus g >= 2 over K. In this paper, we will show that if C has a global stable model with only geometrically irreducible fibers, then Bogomolov conjecture over function fields holds.
The rigidity theorems of Llarull and Marques-Neves, which show two different ways scalar curvature can characterize the sphere, have associated stability conjectures. Here we produce the first examples related to these stability…
We study trace theoretic concurrent systems. This setting encompasses safe (1-bounded) Petri nets. We introduce a notion of irreducible concurrent system and we prove the equivalence between irreducibility and a "spectral property". The…
On a given arithmetic surface, inspired by work of Miyaoka, we consider vector bundles which are extensions of a line bundle by another one. We give sufficient conditions for their restriction to the generic fiber to be semi-stable. We then…
For an elliptic surface $q:Y \to \Sigma$, with prescribed singular fibres, Stefan Bauer proved directly via algebraic geometry that the stable bundles over $Y$, whose chern classes are pull backs from $\Sigma$, correspond to the stable…
The algebraic stability theorem for $\mathbb{R}$-persistence modules is a fundamental result in topological data analysis. We present a stability theorem for $n$-dimensional rectangle decomposable persistence modules up to a constant…
In SGA3, Demazure and Grothendieck showed that if $G$ and $H$ are smooth affine group schemes over a scheme $S$ and $G$ is reductive, then the functor of $S$-homomorphism $G \to H$ is representable. In this paper we extend this result to…
We show that given a monadically stable theory $T$, a sufficiently saturated $\mathbf M \models T$, and a coherent system of probability measures on the $\sigma$-algebras generated by parameter-definable sets of $\mathbf M$ in each…
We introduce an $N=1$ supergravity model based on the gauged shift symmetry of a single chiral multiplet, which can be identified with the string dilaton or a compactification modulus. The model allows for a tunably small and positive value…