Related papers: Absorption and directed J\'{o}nsson terms

Every CSP(B) for a finite structure B is either in P or it is NP-complete but the proofs of the finite-domain CSP dichotomy by Andrei Bulatov and Dimitryi Zhuk not only show the computational complexity separation but also confirm the…

We extend the validity of Kiss's characterization of the commutator from congruence modular varieties to varieties with a difference term. This fixes a recently discovered gap in our paper [A finite basis theorem for difference-term…

In~\cite{CS04}, Calegari and Stein studied the congruences between classical cusp forms $S_k(\Gamma_0(p))$ of prime level and made several conjectures about them. In~\cite{AB07} (resp., ~\cite{BP11}) the authors proved one of those…

A necessary and sufficient condition is provided for the solvability of a binomial congruence with a composite modulus, circumventing its prime factorization. This is a generalization of Euler's Criterion through that of Euler's Theorem,…

We give a generalization of the classical Bombieri--Schneider--Lang criterion in transcendence theory. We give a local notion of $LG$--germ, which is similar to the notion of $E$-- function and Gevrey condition, and which generalize (and…

We show that an earlier conjecture of the author, on diophantine approximation of rational points on varieties, implies the ``abc conjecture'' of Masser and Oesterl'e. In fact, a weak form of the former conjecture is sufficient, involving…

The theory of support varieties gives a rich supply of examples of thick subcategories of the stable module category of a finite group algebra. We study direct sum decompositions of such categories. We give examples where there are finer…

Let $A\to C$ be a proper surjective morphism from a smooth connected quasi-projective commutative group scheme of dimension 2 to a smooth curve. The construction of generalized Kummer varieties gives a proper morphism $A^{[[n]]}\to…

Based on the notions of conciseness and semiconciseness, we show that these properties are not equivalent by proving that a word originally presented by Ol'shanskii is semiconcise but not concise. We further establish that every…

The Pappas-Rapoport coherence conjecture, proved by Zhu, states that the dimensions of spaces of sections of certain line bundles coincide. The two sides of the equality correspond to the line bundles on spherical Schubert varieties in the…

We give evidence for a uniformization-type conjecture, that any algebraic variety can be altered into a variety endowed with a tower of smooth fibrations of relative dimension one.

In this paper, we develop a general study of contributions at infinity of Bochner-Weitzenb\"ock-type formulas on asymptotically flat manifolds, inspired by Witten's proof of the positive mass theorem. As an application, we show that similar…

In the first part, in the local non archimedean case, we consider distributions on GL(n+1) which are invariant under the adjoint action of GL(n). We conjecture that such distributions are invariant by transposition. This would imply…

We prove a classification theorem for conformal maps with respect to the control distance generated by a system of diagonal vector fields. It turns out that all such maps can be obtained as compositions of suitable dilations, inversions and…

The two main approaches to the study of irreducible representations of orders (via traces and Poisson orders) have so far been applied in a completely independent fashion. We define and study a natural compatibility relation between the two…

A projected Gromov-Witten variety is the union of all rational curves of fixed degree that meet two opposite Schubert varieties in a homogeneous space X = G/P. When X is cominuscule we prove that the map from a related Gromov-Witten variety…

In this article we introduce the notion of cubical $(\omega,p)$-categories, for $p \in \mathbb N \cup \{\omega\}$. We show that the equivalence between globular and groupoid $\omega$-categories proven by Al-Agl, Brown and Steiner induces an…

In the paper we consider images of finite simple projective special linear and unitary groups under power words. In particular, we show that if $G\simeq \PSL_n^\varepsilon (q)$, then for every power words of type $x^M$ there exist constant…

We prove several cases of Zimmer's conjecture for actions of higher-rank cocompact lattices on low dimensional manifolds. For example, if $\Gamma$ is a cocompact lattice in $\mathrm{Sl}(n, \mathbb R)$, $M$ is a compact manifold, and…

We prove that every many-sorted $\omega$-categorical theory is completely interpretable in a one-sorted $\omega$-categorical theory. As an application, we give a short proof of the existence of non $G$--compact $\omega$-categorical…