Related papers: An Injectivity Theorem

Any refinement system (= functor) has a fully faithful representation in the refinement system of presheaves, by interpreting types as relative slice categories, and refinement types as presheaves over those categories. Motivated by an…

We prove that a perverse sheaf on a connected commutatitve algebraic group over a finite is generically unramified. This implies an equidistribution theorem for Tannakian monodromy groups in previously unavailable generality. We also prove…

This note is a short introduction to the Julia-Wolff-Carath\'eodory theorem, and its generalizations in several complex variables, up to very recent results for infinitesimal generators of semigroups.

We prove that every quasi-projective semi log canonical pair has a quasi-log structure with several good properties. It implies that various vanishing theorems, torsion-free theorem, and the cone and contraction theorem hold for semi log…

A constructive version of the Frobenius integrability theorem -- that can be programmed effectively -- is given. This is used in computing invariants of groups of low ranks and recover examples from a recent paper of Boyko, Patera and…

In this paper we give two theorems from the Propositional Calculus of the Boolean Logic with their consequences and applications and we prove them axiomatically.

Using recent advances in integration theory, we give a proof of the fundamental theorem of geometric calculus. We assume only that the tangential derivative $\nabla_VF$ exists and is Lebesgue integrable. We also give sufficient conditions…

The analysis of observable phenomena (for instance, in biology or physics) allows the detection of dynamical behaviors and, conversely, starting from a desired behavior allows the design of objects exhibiting that behavior in engineering.…

In this work, it is shown that the category XMod/P of crossed modules over fixed group P is an exact category and the complete proof of the embedding theorem of XMod/P into a set valued functor category is given.

We use the Nash embedding theorem to construct generators for the space of algebraic covariant derivative curvature tensors.

An introduction is given to the logic of sheaves of structures and to set theoretic forcing constructions based on this logic. Using these tools, it is presented an alternative proof of the independence of the Continuum Hypothesis; which…

We discuss the cone theorem for quasi-log schemes and the Mori hyperbolicity. In particular, we establish that the log canonical divisor of a Mori hyperbolic projective normal pair is nef if it is nef when restricted to the non-lc locus.…

This paper presents preliminary work on a general system for integrating dependent types into substructural type systems such as linear logic and linear type theory. Prior work on this front has generally managed to deliver type systems…

This is a survey article on the recent developments of semipositivity, injectivity, and vanishing theorems for higher-dimensional complex projective varieties.

In the special case of S^1 invariant metrics on S^2, we find necessary and sufficient conditions for the existence of isometric embeddings into the canonical R^3, in other words: a Weyl type theorem with converse.

The injective polynomial modules for a general linear group $G$ of degree $n$ are labelled by the partitions with at most $n$ parts. Working over an algebraically closed field of characteristic $p$, we consider the question of which…

We introduce a relativization of the secant sheaves used by Ein, Green and Lazarsfeld and apply this construction to the study of syzygies of canonical curves. As a first application, we give a simpler proof of Voisin's Theorem for general…

In a first part, we give a new proof of Koenigs theorem and, in a second part, we determine the local form of all the superintegrable Riemannian Liouville metrics as well as their global geometries.

A general theorem on factorization of matrices with polynomial entries is proven and it is used to reduce polynomial Darboux matrices to linear ones. Some new examples of linear Darboux matrices are discussed.

We introduce the concept of a viable generically Gorenstein toroidal crossing (ggtc) space $Y$. This generalizes the concept of Gorenstein toroidal crossing scheme, which in turn generalizes that of a simple normal crossing scheme. On such…