Related papers: An inductive analytic criterion for flatness
What does it mean for an algorithm to be fair? Different papers use different notions of algorithmic fairness, and although these appear internally consistent, they also seem mutually incompatible. We present a mathematical setting in which…
Let $X$ be a quasiprojective scheme. In this expository note we collect a series of useful structural results on the stack $\mathscr{C}oh^n(X)$ parametrising $0$-dimensional coherent sheaves of length $n$ over $X$. For instance, we discuss…
All spaces are assumed to be separable and metrizable. We give a complete classification of the zero-dimensional homogeneous spaces, under the Axiom of Determinacy. This classification is expressed in terms of topological complexity (in the…
A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…
In this paper we suggest new effective criteria for the density property. This enables us to give a trivial proof of the original Anders\'en-Lempert result and to establish (almost free of charge) the algebraic density property for all…
In this note, we extend the theory of Chern-Cheeger-Simons to construct canonical invariants for a one-parameter family of flat connections on a smooth manifold. These invariants lie in degrees $(2p-2)$-cohomology with $\C/\Z$-cohomology,…
Many economic theory models incorporate finiteness assumptions that, while introduced for simplicity, play a real role in the analysis. We provide a principled framework for scaling results from such models by removing these finiteness…
We use gauge theoretic and algebraic methods to examine sufficient conditions for smooth points on the moduli space of flat connections on a compact manifold and on the character variety of a finitely generated and presented group. We give…
We introduce a supporting combinatorial framework for the Flat Wall Theorem. In particular, we suggest two variants of the theorem and we introduce a new, more versatile, concept of wall homogeneity as well as the notion of regularity in…
Let R be a ring (associative, with 1). A non-zero module M is said to be a Pruefer module provided there exists a surjective, locally nilpotent endomorphism with kernel of finite length. The aim of this note is construct Pruefer modules…
Unlike the Gorenstein projective and injective dimensions, the majority of results on the Gorenstein flat dimension have been established only over Noetherian (or coherent) rings. Naturally, one would like to generalize these results to any…
Let $u:A\to B$ be a morphism of noetherian local rings. We obtain smoothness criteria for algebras with differential bases, in the case of rings containing a field of characteristic $p>0.$ We also give smoothness criteria for reduced…
We unify Linear Algebra by proposing a definition of determinants via one equation that implies all known properties of them:\\ 1. Cramer's Rule,\\ 2. Cofactor expansion,\\ 3. Antisymmetry of determinants,\\ 4. Linearity of determinants,\\…
In this contribution we discuss flat discrete-time nonlinear systems in a general setting including two special subclasses, namely, forward- and backward-flat systems. We relate rank conditions for certain submatrices of the Jacobian of the…
We establish a criterion for the flatness of a principal circle bundle in terms of the intrinsically harmonic form problem. It states that the flatness is equivalent to the intrinsic harmonicity of a certain natural associated form.
We give two sufficient criteria for schlichtness of envelopes of holomorphy in terms of topology. These are weakened converses of results of Kerner and Royden. Our first criterion generalizes a result of Hammond in dimension 2. Along the…
A flat connection on a Riemann surface with values in an infinite dimensional Lie algebra provides a systematic and effective tool for generating an infinite family of polylogarithms via iterated integrals. The recent literature offers…
To a homology theory one can associate an additive site and a new homological functor with values in the category of additive sheaves on that site. If this category of sheaves can be shown to be equivalent to a category of comodules of a…
Given a monoidal $\infty$-category $C$ equipped with a monoidal recollement, we give a simple criterion for an object in $C$ to be dualizable in terms of the dualizability of each of its factors and a projection formula relating them.…
Metrics obtained by integrating within the generalised invariant formalism are structured around their intrinsic coordinates, and this considerably simplifies their invariant classification and symmetry analysis. We illustrate this by…