Related papers: On computing the eventual behavior of an FI-module…
It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…
We solve an elementary number theory problem on sums of fractional parts, using methods from group theory. We apply our result to deduce the finiteness of certain monodromy representations.
We report a rigorous theory to show the origin of the unexpected periodic behavior seen in the consecutive differences between prime numbers. We also check numerically our findings to ensure that they hold for finite sequences of primes,…
Recently Brian Hartwig and the second author found a presentation for the three-point $sl_2$ loop algebra by generators and relations. To obtain this presentation they defined a Lie algebra $\boxtimes$ by generators and relations, and…
A multiplication on persistence diagrams is introduced by means of Schubert calculus. The key observation behind this multiplication comes from the fact that the representation space of persistence modules has the structure of the Schubert…
Let $k$ be a field and let $E$ be a finite quiver. We study the structure of the finitely presented modules of finite length over the Leavitt path algebra $L_k (E)$ and show its close relationship with the finite-dimensional representations…
We obtain a decomposition formula of a representation of Sp(p,q) and SO^\ast(2n) unitarily induced from a derived functor module, which enables us to reduce the problem of irreducible decompositions to the study of derived functor modules.…
We study a many-valued generalization of Propositional Dynamic Logic where formulas in states and accessibility relations between states of a Kripke model are evaluated in a finite FL-algebra. One natural interpretation of this framework is…
In this paper we obtain explicit estimates and existence results on the number of $\mathbb{F}_q$-rational solutions of certain systems defined by families of diagonal equations over finite fields. Our approach relies on the study of the…
A theory of modules over posets is developed to define computationally feasible, topologically interpretable data structures, in terms of birth and death of homology classes, for persistent homology with multiple real parameters. To replace…
We prove a new formula for the generating function of polynomials counting absolutely stable representations of quivers over finite fields. The case of irreducible representations is studied in more detail.
We compute all fusion algebras with symmetric rational $S$-matrix up to dimension 12. Only two of them may be used as $S$-matrices in a modular datum: the $S$-matrices of the quantum doubles of $\mathbb{Z}/2\mathbb{Z}$ and $S_3$. Almost all…
We show that the values of entropies of multidimensional shifts of finite type (SFTs) are characterized by a certain computation-theoretic property: a real number $h\geq 0$ is the entropy of such an SFT if and only if it is right…
We generalize the notion of semi-universality in the classical deformation problems to the context of derived deformation theories. A criterion for a formal moduli problem to be semi-prorepresentable is produced. This can be seen as an…
We show that the Hilbert-Kunz multiplicity is a rational number for an R_+-primary homogeneous ideal I=(f_1, ..., f_n) in a two-dimensional graded domain R of finite type over an algebraically closed field of positive characteristic.…
We study elementary modal logics, i.e. modal logic considered over first-order definable classes of frames. The classical semantics of modal logic allows infinite structures, but often practical applications require to restrict our…
Our aim is to transfer several foundational results from the modular representation theory of finite groups to the wider context of profinite groups. We are thus interested in profinite modules over the completed group algebra k[[G]] of a…
We consider applications of a finitary version of the Affine Representability theorem, which follows from recent work of Belov-Kanel, Rowen, and Vishne. Using this result we are able to show that when given a finite set of polynomial…
Let $\mathrm{F}$ be a local non-archimedean field of residue characteristic $p$ and $\overline{\mathbb{F}}_\ell$ an algebraic closure of a finite field of characteristic $\ell \neq p$. We extend the results of Lapid and M\'inguez concerning…
We consider one of the most natural extended affine Lie lagebras, the algebra $sl_2({\mathbb C}_q)$ and begin a theory of its representations. In particular, we study a class of imaginary Verma modules, obtain a criterion of irreducibility…