Related papers: Rigid Dualizing Complexes on Schemes
Let \pi : X -> S be a finite type morphism of noetherian schemes. A smooth formal embedding of X (over S) is a bijective closed immersion X -> \frak{X}, where \frak{X} is a noetherian formal scheme, formally smooth over S. An example of…
In this paper, we present a captivating construction by Grothendieck, originally formulated for algebraic varieties, and adapt it to the realm of C*-algebras. Our main objective is to investigate the conditions under which this particular…
In this survey, symmetry provides a framework for classification of manifolds with differential-geometric structures. We highlight pseudo-Riemannian metrics, conformal structures, and projective structures. A range of techniques have been…
A dual approach to defining the triangle sequence (a type of multidimensional continued fraction algorithm, initially developed in NT/9906016) for a pair of real numbers is presented, providing a new, clean geometric interpretation of the…
We introduce the notion of mixed Hodge complex on an algebraic variety, improving Du Bois' filtered complex, and relate Deligne's theory of mixed Hodge structure with the theory of mixed Hodge module. This was supposed to be true, but is…
Hexahedral meshes are an ubiquitous domain for the numerical resolution of partial differential equations. Computing a pure hexahedral mesh from an adaptively refined grid is a prominent approach to automatic hexmeshing, and requires the…
A fundamental feature of quantum groups is that many come in pairs of mutually dual objects, like finite-dimensional Hopf algebras and their duals, or quantisations of function algebras and of universal enveloping algebras of Poisson-Lie…
We study consequences and applications of the folklore statement that every double complex over a field decomposes into so-called squares and zigzags. This result makes questions about the associated cohomology groups and spectral sequences…
We develop a rigidity theory for frameworks in $\mathbb{R}^3$ which have two coincident points but are otherwise generic and only infinitesimal motions which are tangential to a family of cylinders induced by the realisation are considered.…
This is the second of series of papers on the study of foliations in the setting of derived algebraic geometry based on the central notion of derived foliation. We introduce sheaf-like coefficients for derived foliations, called…
We set up the geometric background necessary to extend rigid cohomology from the case of algebraic varieties to the case of general locally noetherian formal schemes. In particular, we generalize Berthelot's strong fibration theorem to adic…
We study the properties of tilting modules in the context of properly stratified algebras. In particular, we answer the question when the Ringel dual of a properly stratified algebra is properly stratified itself, and show that the class of…
Differential complexes such as the de Rham complex have recently come to play an important role in the design and analysis of numerical methods for partial differential equations. The design of stable discretizations of systems of partial…
The paper is dedicated to the study of strong duality for a problem of linear copositive programming. Based on the recently introduced concept of the set of normalized immobile indices, an extended dual problem is deduced. The dual problem…
After a brief survey of the basic definitions of the Grothendieck--Verdier categories and dualities, I consider in this context introduced earlier dualities in the categories of quadratic algebras and operads, largely motivated by the…
A rigidity theory is developed for frameworks in a metric space with two types of distance constraints. Mixed sparsity graph characterisations are obtained for the infinitesimal and continuous rigidity of completely regular bar-joint…
Let $R$ be a general ring. Duality pairs of $R$-modules were introduced by Holm-Jorgensen. Most examples satisfy further properties making them what we call semi-complete duality pairs in this paper. We attach a relative theory of…
We give a new complexity bound for calculating the complex dimension of an algebraic set. Our algorithm is completely deterministic and approaches the best recent randomized complexity bounds. We also present some new, significantly sharper…
We introduce a notion of proper morphism for schematic finite spaces and prove the analogue of Grothendieck's finiteness theorem for it by means of the classic result for schemes and general descent arguments. This result also generalizes…
We design new tools to study variants of Total Dual Integrality. As an application, we obtain a geometric characterization of Total Dual Integrality for the case where the associated polyhedron is non-degenerate. We also give sufficient…