Related papers: Higher Kiss Terms

We present and discuss an algorithm and its implementation that is capable of directly determining Fourier expansions of any vector-valued modular form of weight at least $2$ associated with representations whose kernel is a congruence…

We give a relational description of higher commutator operators, which were introduced by Bulatov, in varieties with a Mal'cev term. Furthermore, we use this result to prove that for every algebra with a Mal'cev term there exists a largest…

We define a type of modulus $\operatorname{dMod}_p$ for Lipschitz surfaces based on $L^p$-integrable measurable differential forms, generalizing the vector modulus of Aikawa and Ohtsuka. We show that this modulus satisfies a homological…

Higher-dimensional automata, i.e., pointed labeled precubical sets, are a powerful combinatorial-topological model for concurrent systems. In this paper, we show that for every (nonempty) connected polyhedron there exists a shared-variable…

This paper provides upper and lower bounds on the kissing number of congruent radius $r > 0$ spheres in hyperbolic $\mathbb{H}^n$ and spherical $\mathbb{S}^n$ spaces, for $n\geq 2$. For that purpose, the kissing number is replaced by the…

We formalize, at the level of D-modules, the notion that A-hypergeometric systems are equivariant versions of the classical hypergeometric equations. For this purpose, we construct a functor on a suitable category of torus equivariant…

In this short note, we present a persistence module approach to directed cohomology, dual to the directed homology introduced by the author in a previous article. We lay out the first properties of directed cohomology and in particular of…

In the first half of the present paper, we study higher-level generalizations of differential modules in positive characteristic. These objects may be regarded as ring-theoretic counterparts of vector bundles on a curve equipped with an…

We develop the Wells derivation for extensions realizing affine datum in arbitrary varieties; in particular, we show there is an exact sequence connecting the group of compatible automorphisms determined by the datum and the subgroup of…

Let $K$ be a field and let $S = K[X_1, \ldots, X_n]$. Let $I$ be a graded ideal in $S$ and let $M$ be a finitely generated graded $S$-module. We give upper bounds on the regularity of Koszul homology modules $H_i(I, M)$ for several classes…

We address the (pointed) homotopy of crossed module morphisms in modified categories of interest; which generalizes the groups and various algebraic structures. We prove that, the homotopy relation gives rise to an equivalence relation;…

Determining when a finite dimensional algebra satisfies the finiteness property known as the $(\textbf{Fg})$-condition is of fundamental importance in the celebrated and influential theory of support varieties. We give an answer to this…

For a relational Horn theory $\mathbb{T}$, we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}$ of $\mathbb{T}$-models; well-known examples of such…

To describe highly heterogeneous systems using the Cahn-Hilliard equation, the standard form of the thermodynamic potential with a constant coefficient in the gradient term and a polynomial of the fourth degree may not be sufficient. The…

We analyze Sz\"oll\H{o}si's recent construction of a conjecturally optimal five-dimensional kissing configuration and produce a new such configuration, the fourth to be discovered. We construct five-dimensional sphere packings from these…

J. Milnor introduced a specific class of codimension-$1$ submanifolds in the product of projective spaces, known as Milnor manifolds. This paper establishes precise bounds on the higher topological complexity of these manifolds and provides…

We prove a general congruence result for bisimilarity in higher-order languages, which generalises previous work to languages specified by a labelled transition system in which programs may occur as labels, and which may rely on operations…

In Monstrous moonshine, genus 0 property and the notion of replicability are strongly connected. With regards to recent developments of moonshine, we investigate a higher genus generalization of replicability for a general automorphic form.…

We study the space of period polynomials associated with modular forms of integral weight for finite index subgroups of the modular group. For the modular group, this space is endowed with a pairing, corresponding to the Petersson inner…

We present a simple resolution proof system for higher-order constrained Horn clauses (HoCHC) - a system of higher-order logic modulo theories - and prove its soundness and refutational completeness w.r.t. the standard semantics. As…