Related papers: Small object arguments, plus-construction, and lef…
We generalize the notion of a small sheaf of sets over a topological space or manifold to define the notion of a small stack of groupoids over an \'etale topological or differentiable stack. We then provide a construction analogous to the…
We have recently begun a project to develop a more effective and efficient way to marshal inferences from background knowledge to facilitate deep natural language understanding. The meaning of a word is taken to be the entities,…
In this article we use our constructions from "Enlargements of Categories" (Theory and Applications of Categories, 14:357-398) to lay down some foundations for the application of A. Robinson's nonstandard methods to modern Algebraic…
We present a simple proof of a precise version of the localization theorem in equivariant cohomology. As an application, we describe the cohomology algebra of any compact symplectic variety with a multiplicity-free action of a compact Lie…
In this work we discuss a new type of factorisation systems for \textbf{Ord}-enriched categories. We start by defining the new notion of lax weak orthogonality, which involves the existence of lax diagonal morphisms for lax squares. Using…
We develop a correspondence between presentations of compactly generated triangulated categories as localizations of derived categories of ring spectra and proxy-small objects, and explore some consequences. In addition, we give a…
We investigate the notions of \emph{localization} and \emph{filtration} in the context of extended affine Lie algebras. Our primary objective is to develop a localization theory that facilitates the construction of meaningful local…
We construct examples of localizations in the category of groups which take the Mathieu group $M_{11}$ to groups of arbitrarily large cardinality which are ``abelian up to finitely many generators''. The paper is part of a broader study on…
In this paper, we investigate a sheaf-theoretic interpretation of stratification learning from geometric and topological perspectives. Our main result is the construction of stratification learning algorithms framed in terms of a sheaf on a…
We present a new algorithm for constructing a Chevalley basis for any Chevalley Lie algebra over a finite field. This is a necessary component for some constructive recognition algorithms of exceptional quasisimple groups of Lie type. When…
We derive extensions of the monomialization theorems for morphisms of varieties in our earlier work. In this note we show that a local monomialization can be found which satisfies stronger local conditions. Some comments are made about how…
Let $f:X \to S$ be a projective morphism of noetherian schemes and let $L$ be an invertible sheaf on $X$. We show that the relative augmented base locus of $L$ coincides with the relative exceptional locus of $L$. We also prove a…
We discuss existence of factorizations with linear factors for (left) polynomials over certain associative real involutive algebras, most notably over Clifford algebras. Because of their relevance to kinematics and mechanism science, we put…
This article is first in a series of papers where we reprove the statements in constructing the Enhanced Operation Map and the abstract six-functor formalism developed by Liu-Zheng. In this paper, we prove a theorem regarding constructing…
Factorization-based models have gained popularity since the Netflix challenge {(2007)}. Since that, various factorization-based models have been developed and these models have been proven to be efficient in predicting users' ratings…
Based on transformation optics (TO), this paper uses geometric divisions and linear coordinate transformations to design shrinking-shifting - and reshaping, and amplifying-shifting - and reshaping devices. The proposed devices can reshape…
This article provides a geometric bridge between two entirely different character formulas for reductive Lie groups and answers the question posed by W.Schmid in [Sch]. A corresponding problem in the compact group setting was solved by…
Let X in V be a closed embedding, with V - X nonsingular. We define a constructible function on X, agreeing with Verdier's specialization of the constant function 1 when X is the zero-locus of a function on V. Our definition is given in…
We define a new geometric object--the stack of local systems with restricted variation. We formulate a version of the categorical geometric Langlands conjecture that makes sense for any constructible sheaf theory (such as l-adic sheaves).…
We give a proof of local strong factorization of a birational extension of regular local rings (of equicharacteristic zero) along a valuation of rank 1 and maximal rational rank. This gives an alternate proof to the geometric proof of this…