Related papers: An inductive analytic criterion for flatness

We give a sufficient condition for a metric (homology) manifold to be locally bi-Lipschitz equivalent to an open subset in $\rn$. The condition is a Sobolev condition for a measurable coframe of flat 1-forms. In combination with an earlier…

We introduce a flexible framework for making inferences about general linear forms of a large matrix based on noisy observations of a subset of its entries. In particular, under mild regularity conditions, we develop a universal procedure…

We give a purely algebraic construction of the continuous closure of any finitely generated torsion free module; a concept first studied by H.~Brenner and M.~Hochster. The construction implies that, at least in characteristic 0, taking…

The focus of this article is the study of a certain type of singularities and their transfer properties in a universally equidimensional morphism (i.e. an open morphism with constant pure-dimensional fibers). The singularities of interest…

For every metric space $X$ we introduce two cardinal characteristics $\mathrm{cov}^\flat(X)$ and $\mathrm{cov}^\sharp(X)$ describing the capacity of balls in $X$. We prove that these cardinal characteristics are invariant under coarse…

We give an introduction to logic tailored for algebraists, explaining how proofs in linear logic can be viewed as algorithms for constructing morphisms in symmetric closed monoidal categories with additional structure. This is made explicit…

A general criterion in terms of the Schwarzian derivative is given for global univalence of the Weierstrass--Enneper lift of a planar harmonic mapping. Results on distortion and boundary regularity are also deduced. Examples are given to…

In this note we compare two ways of measuring the $n$-dimensional "flatness" of a set $S\subset \mathbb{R}^d$, where $n\in \mathbb{N}$ and $d>n$. The first one is to consider the classical Reifenberg-flat numbers $\alpha(x,r)$ ($x \in S$,…

We provide a criterion for a vertex operator superalgebra homomorphism from an affine vertex algebra to another vertex superalgebra to be conformal, and an additional criterion that guarantees that this homomorphism is surjective. This…

We use the machinery of relative homological algebra to study modules of finite Gorenstein flat dimension.

For an arbitrary rational polyhedron we consider its decompositions into Minkowski summands and, dual to this, the free extensions of the associated pair of semigroups. Being free for the pair of semigroups is equivalent to flatness for the…

The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…

We provide an enhancement of Shipley's algebraicization theorem which behaves better in the context of commutative algebras. This involves defining flat model structures as in Shipley and Pavlov-Scholbach, and showing that the functors…

The rigidity matrix is a fundamental tool for studying the infinitesimal rigidity properties of Euclidean bar-joint frameworks. In this paper we generalize this tool and introduce a rigidity matrix for bar-joint frameworks in arbitrary…

The main result of the paper is a flat extension theorem for positive linear functionals on *-algebras. The theorem is applied to truncated moment problems on cylinder sets, on matrices of polynomials and on enveloping algebras of Lie…

Let $X$ be a variety. In this survey, we study (decompositions of) the motivic class, in the Grothendieck ring of stacks, of the stack $\mathscr{C}oh^n(X)$ of $0$-dimensional coherent sheaves of length $n$ on $X$. To do so, we review the…

We give a general criterion for conformal embeddings of vertex operator algebras associated to affine Lie algebras at arbitrary levels. Using that criterion, we construct new conformal embeddings at admissible rational and negative integer…

In this work, we propose a convenient framework for infinite-dimensional analysis (including both real and complex analysis in infinite dimensions), in which differentiation (in some weak sense) and integration operations can be easily…

Let $K[x,y]$ be the polynomial algebra in two variables over an algebraically closed field $K$. We generalize to the case of any characteristic the result of Furter that over a field of characteristic zero the set of automorphisms $(f,g)$…

We use the theory of cubic structures to give a fixed point Riemann-Roch formula for the equivariant Euler characteristics of coherent sheaves on projective flat schemes over Z with a tame action of a finite abelian group. This formula…