Related papers: A generalized logarithmic module and duality of Co…
These notes are an extended version of the authors' lectures at the 2013 CMI Workshop "Mixed Hodge Modules and Their Applications". We give an overview, with an emphasis on applications, of recent developments on the interaction between…
This paper studies the algebraic structure of a new class of hyperplane arrangement $A$ obtained by deleting two hyperplanes from a free arrangement. We provide information on the minimal free resolutions of the logarithmic derivation…
In the present paper, we derive formulas of complex and $\ell$-adic multiple polylogarithms, which have two aspects: a duality in terms of indexes and a reflection in terms of variables. We provide an algebraic proof of these formulas by…
We study properties of the module of vector fields tangent to a given germ of curve in the complex plane $\mathbb{C}^{2}$. As a consequence, we obtain a conjectural algorithm to compute the generic dimension of its moduli space. For some…
A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…
A new homological symmetry condition is exhibited that extends and unifies several recently defined and widely used concepts. Applications include general constructions of tilting modules and derived equivalences, and characterisations of…
Let $A$ be a Banach algebra and $M$ be a Banach right $A$-module. A linear map $\delta : M\to M$ is called a generalized derivation if there exists a derivation $d : A \to A$ such that $$\delta(xa)=\delta(x)a + x d(a) \quad (a \in A, x \in…
We introduce residuated ortholattices as a generalization of -- and environment for the investigation of -- orthomodular lattices. We establish a number of basic algebraic facts regarding these structures, characterize orthomodular lattices…
We present an algebraic characterization of the complexity classes Logspace and NLogspace, using an algebra with a composition law based on unification. This new bridge between unification and complexity classes is inspired from proof…
We investigate a class of non-quasi-homogeneous free divisors in the sense of Saito. These divisors are defined by equations of the form $D:= \{h=0\}$ on $\mathbb{C}^p$, where the polynomial $h$ is specific linear combination of monomials…
By using Cauchy integral formula in the theory of complex functions, the authors establish some integral representations for the principal branches of several complex functions involving the logarithmic function, find some properties, such…
We develop novel tools for computing the likelihood correspondence of an arrangement of hypersurfaces in a projective space. This uses the module of logarithmic derivations. This object is well-studied in the linear case, when the…
In [5] (=Terao, H.: Multiderivations of Coxeter arrangements. Inventiones math., 148 (2002) 659--674), we constructed a basis for the contact-order filtration of the module of derivations on the orbit space of a finite real reflection group…
Even though modularity has been studied extensively in conventional logic programming, there are few approaches on how to incorporate modularity into Answer Set Programming, a prominent rule-based declarative programming paradigm. A major…
Algebras defined over fields of characteristic zero and positive characteristic usually do not behave the same way. However, for certain algebras, for example the group algebras, they behave the same way as the characteristic zero case at…
In this paper, we recover the characteristic polynomial of an arrangement of hyperplanes by computing the rational equivalence class of the variety defined by the logarithmic ideal of the arrangement. The logarithmic ideal was introduced in…
We present an algebraic characterization of the complexity classes Logspace and Nlogspace, using an algebra with a composition law based on unification. This new bridge between unification and complexity classes is rooted in proof theory…
For a split reductive algebraic group, this paper observes a homological interpretation for Weyl module multiplicities in Jantzen's sum formula. This interpretation involves an Euler characteristic built from Ext groups between integral…
In this article we describe the construction of logarithmic models in both real and complex cases. A logarithmic model is a germ of closed meromorphic 1-form with simple poles - and the analytic foliation defined by it - produced upon some…
We show the smoothness over the affine line of the Hodge moduli space of logarithmic t-connections of coprime rank and degree on a smooth projective curve with geometrically integral fibers over an arbitrary Noetherian base. When the base…