Related papers: Alexander Duality and Rational Associahedra
For a local system on a compact hyperbolic threefold, under a cohomological assumption, we will show that the order of its twisted Alexander polynomial and of the Ruelle L function at $s=0$ coincide. Moreover we will show that their leading…
The classical bar-cobar adjunction between dg algebras and dg coalgebras goes back to the origins of differential homological algebra as developed by Cartan, Eilenberg, Moore, and many others, and is part of the broader framework of Koszul…
We review the close relationship between abstract machines for (call-by-name or call-by-value) lambda-calculi (extended with Felleisen's C) and sequent calculus, reintroducing on the way Curien-Herbelin's syntactic kit expressing the…
There are many contexts in algebraic geometry, algebraic topology, and homological algebra where one encounters a functor that has both a left and right adjoint, with the right adjoint being isomorphic to a shift of the left adjoint…
The Alexander polynomial (1928) is the first polynomial invariant of links devised to help distinguish links up to isotopy. Fox's conjecture (1962) -- stating that the absolute values of the coefficients of the Alexander polynomial for any…
This work deals with the notion of Newton complementary duality as raised originally in the work of the second author and B. Costa. A conceptual revision of the main steps of the notion is accomplished which then leads to a vast…
We prove a generalization of a result by Dong and Santos-Sturmfels about the homotopy type of the Alexander dual of balls and spheres. Our results involve NH-manifolds, which were recently introduced as the non-homogeneous (or non-pure)…
In this paper, we exploit the combinatorics and geometry of triangulations of products of simplices to derive new results in the context of Catalan combinatorics of $\nu$-Tamari lattices. In our framework, the main role of "Catalan objects"…
Let ${\bf A}$ be the ring of adeles of a number field $F$. Given a self-dual irreducible, automorphic, cuspidal representation $\tau$ of $\GL_n(\BA)$, with trivial central characters, we construct its full inverse image under the weak…
To test a possible relation between the topological entropy and the Arnold complexity, and to provide a non trivial example of a rational dynamical zeta function, we introduce a two-parameter family of two-dimensional discrete rational…
The cohomology of the affine flag variety of a complex reductive group is a comodule over the cohomology of the affine Grassmannian. We give positive formulae for the coproduct of an affine Schubert class in terms of affine Stanley classes…
We study the dependence of a cluster algebra on the choice of coefficients. We write general formulas expressing the cluster variables in any cluster algebra in terms of the initial data; these formulas involve a family of polynomials…
We study the notion of formal duality introduced by Cohn, Kumar, and Sch\"urmann in their computational study of energy-minimizing particle configurations in Euclidean space. In particular, using the Poisson summation formula we reformulate…
For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the…
Logical bilateralism challenges traditional concepts of logic by treating assertion and denial as independent yet opposed acts. While initially devised to justify classical logic, its constructive variants show that both acts admit…
Smith normal form evaluations found by Bessenrodt and Stanley for some Hankel matrices of q-Catalan numbers are proven in two ways. One argument generalizes the Bessenrodt-Stanley results for the Smith normal form of a certain multivariate…
We give explicit, uniform formulas for the graded characters and total ranks of the Lie algebra homology of finite-dimensional representations in all classical types. In many cases, these compute the Tor groups of finite length modules over…
We show a counterexample to a conjecture of de Bobadilla, Luengo, Melle-Hern\'{a}ndez and N\'{e}methi on rational cuspidal projective plane curves. The counterexample is a tricuspidal curve of degree 8. On the other hand, we show that if…
The paper is a contribution both to the theoretical foundations and to the actual construction of efficient automatizable proof procedures for non-classical logics. We focus here on the case of finite-valued logics, and exhibit: (i) a…
We present a level raising result for families of p-adic automorphic forms for a definite quaternion algebra D over the rational numbers. The main theorem is an analogue of a theorem for classical automorphic forms due to Diamond and…