Related papers: The Lawvere condition

This paper provides a short introduction to the notion of regular category and its use in categorical algebra. We first prove some of its basic properties, and consider some fundamental algebraic examples. We then analyse the algebraic…

Let $f:V\times V\to F$ be a totally arbitrary bilinear form defined on a finite dimensional vector space $V$ over a a field $F$, and let $L(f)$ be the subalgebra of $\gl(V)$ of all skew-adjoint endomorphisms relative to $f$. Provided $F$ is…

Motivated by his studies in knot theory V. Vassiliev introduced $X$-graphs as regular 4-valent graph with a structure of pairs of opposite edges at each vertex. He conjectured the conditions under which $X$-graph can be embedded into a…

In his survey "Beyond graph energy: Norms of graphs and matrices" (2016), Nikiforov proposed two problems concerning characterizing the graphs that attain equality in a lower bound and in a upper bound for the energy of a graph,…

We introduce a tensor compatibility condition for t-structures. For any Noetherian scheme $X$, we prove that there is a one-to-one correspondence between the set of filtrations of Thomason subsets and the set of aisles of compactly…

In a previous paper, the author and his collaborators studied the phenomenon of isotropy in the context of single-sorted equational theories, and showed that the isotropy group of the category of models of any such theory encodes a notion…

Let $\Gamma =(V,E)$ be a point-symmetric reflexive relation and let $v\in V$ such that $|\Gamma (v)|$ is finite (and hence $|\Gamma (x)|$ is finite for all $x$, by the transitive action of the group of automorphisms). Let $j\in \N$ be an…

The main aim of this note is to show that, in the regular context, every matrix property in the sense of Z. Janelidze either implies the Mal'tsev property, or is implied by the majority property. When the regular category is arithmetical,…

The present paper is devoted to provide conditions for the Levi--Malcev theorem to hold or not to hold (i.e. for two Levi subalgebras to be or not conjugate by an inner automorphism) in the context of finite-dimensional Leibniz algebras…

We obtain regularity conditions of a new type of problems of the calculus of variations with second-order derivatives. As a corollary, we get non-occurrence of the Lavrentiev phenomenon. Our main result asserts that autonomous integral…

In this paper we propose a geometric approach to study Painlev\'e equations appearing as constrained systems of three first-order ordinary differential equations. We illustrate this approach on a system of three first-order differential…

A groupoid correspondence on an etale, locally compact groupoid induces a C*-correspondence on its groupoid C*-algebra. We show that the Cuntz-Pimsner algebra for this C*-correspondence relative to an ideal associated to an open invariant…

Universality theorems (in the sense of N. Mn\"{e}v) claim that the realization space of a combinatorial object (a point configuration, a hyperplane arrangement, a convex polytope, etc.) can be arbitrarily complicated. In the paper, we prove…

Let $\Gamma$ be the infinite cyclic group on a generator $x.$ To avoid confusion when working with $\mathbb Z$-modules which also have an additional $\mathbb Z$-action, we consider the $\mathbb Z$-action to be a $\Gamma$-action instead.…

A famous theorem of Dixmier-Malliavin asserts that every smooth, compactly-supported function on a Lie group can be expressed as a finite sum in which each term is the convolution, with respect to Haar measure, of two such functions. We…

After having established elementary results on the relationship between a finite complex (pseudo-)reflection group W < GL(V) and its reflection arrangement A, we prove that the action of W on A is canonically related with other natural…

Although the local information of the $L$-spectra is well understood, the problem of whether this local information can be identified with the geometric data for bundles remains open for decades, which was originally raised in the 1960s and…

We prove that, on a smooth, connected variety in characteristic zero admitting a rational point, local systems of geometric origin are stable under extension in the category of all local systems. As a consequence of this, we obtain a (Nori)…

Given a closed two dimensional manifold, we prove a general existence result for a class of elliptic PDEs with exponential nonlinearities and negative Dirac deltas on the right-hand side, extending a theory recently obtained for the regular…

Given a supercuspidal representation $\sigma$ of a parabolic subgroup $P$ of reductive group $G$, we discover a universal hierarchical structure of reducibility of the parabolic induction $Ind^G_P(\sigma)$, i.e. always irreducible from some…