Related papers: The excess formula in functorial form
Nori's Eisenstein cohomology classes and their integral refinements due to Beilinson, Kings and Levin can be used to obtain simple proofs of the rationality and integrality properties of special values of abelian $L$-functions of totally…
Refinement types turn typechecking into lightweight verification. The classic form of refinement type is the datasort refinement, in which datasorts identify subclasses of inductive datatypes. Existing type systems for datasort refinements…
We show that the ordinary cohomology functor from the category of augmented $k$-algebras to itself exchanges coproducts and products, and that Hochschild cohomology is close to sending coproducts to products if the factors are…
This is a mathematical commentary on Teichm{\"u}ller's paper ``Bestimmung der extremalen quasikonformen Abbildungen bei geschlossenen orientierten Riemannschen Fl{\"a}chen'' (Determination of extremal quasiconformal maps of closed oriented…
We construct a canonical element, called the refined analytic torsion, of the determinant line of the cohomology of a closed oriented odd-dimensional manifold M with coefficients in a flat complex vector bundle E. We compute the Ray-Singer…
An envelope in a category is a construction that generalizes the operations of "exterior completion", like completion of a locally convex space, or Stone-\v{C}ech compactification of a topological space, or universal enveloping algebra of a…
In accordance with P. Vogel, a set of algebra structures in Chern-Simons theory can be made universal, independent of a particular family of simple Lie algebras. In particular, this means that various quantities in the adjoint…
We consider three classes of linear differential equations on distribution functions, with a fractional order $\alpha\in [0,1].$ The integer case $\alpha =1$ corresponds to the three classical extreme families. In general, we show that…
We introduce a real-parameter refinement of the classical integer hierarchies underlying Schmidt number, block-positivity, and $k$-positivity for maps between matrix algebras. Starting from a compact family of $\alpha$-admissible unit…
In this paper we give a new foundational, categorical formulation for operations and relations and objects parameterizing them. This generalizes and unifies the theory of operads and all their cousins including but not limited to PROPs,…
In this paper we study higher level Deligne--Lusztig representations of reductive groups over discrete valuation rings, with finite residue field $\mathbb{F}_q$. In previous work we proved that, at even levels, these geometrically…
Functors with an instance of the Traversable type class can be thought of as data structures which permit a traversal of their elements. This has been made precise by the correspondence between traversable functors and finitary containers…
To obtain the highest confidence on the correction of numerical simulation programs implementing the finite element method, one has to formalize the mathematical notions and results that allow to establish the soundness of the method. The…
An infinite class of relations between modular forms is constructed that generalizes evaluations of the Dirichlet beta function at odd positive integers. The work is motivated by a base case appearing in Ramanujan's Notebooks and a parallel…
The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory $T$ in which all partially recursive functions are representable, yet $T$…
The paper is a part of our program to build up a theory of couting immersed nodal curve on algebraic surfaces, as an enumerative Riemann-Roch theory (outlined in math.AG/0405113). In this paper, we discuss the excess intersection theory of…
We initiate the study of derived functors in the setting of extriangulated categories. By using coends, we adapt Yoneda's theory of higher extensions to this framework. We show that, when there are enough projectives or enough injectives,…
In this paper, we define the cohomology of a modified Rota-Baxter Leibniz algebra with coefficients in a suitable representation. As applications of our cohomology, we study formal one-parameter deformations and abelian extensions of…
In the theory of algebraic function fields and their applications to the information theory, the Riemann-Roch theorem plays a fundamental role. But its use, delicate in general, is efficient and practical for applications especially in the…
Given a bounding class $B$, we construct a bounded refinement $BK(-)$ of Quillen's $K$-theory functor from rings to spaces. $BK(-)$ is a functor from weighted rings to spaces, and is equipped with a comparison map $BK \to K$ induced by…