Related papers: Relative subanalytic sheaves II
We establish basic properties of a sheaf of graded algebras canonically associated to every relative affine scheme $f : X \rightarrow S$ endowed with an action of the additive group scheme $\mathbb{G}_{ a,S}$ over a base scheme or algebraic…
We show that for any constructible sheaf F on a smooth algebraic variety X over a field of arbitrary characteristic its singular support SS(F) is equidimensional of dimension dim X. Here SS(F) is the minimal closed subset of the cotangent…
A suite of relational notions of shape are presented at the level of configuration space geometry, with corresponding new theories of shape mechanics and shape statistics. These further generalize two quite well known examples: --1)…
This paper completes a fundamental construction in Alexandrov geometry. Previously we gave a new construction of metric spaces with curvature bounds either above or below, namely warped products with intrinsic metric space base and fiber,…
On a smooth algebraic variety over $\mathbb{C}$, we build the tempered subanalytic and Stein tempered subanalytic sites. We construct the sheaf of holomorphic functions tempered at infinity over these sites and study their relations with…
In this paper we study fundamental directional properties of sets under the assumption of condition (SSP) (introduced in a previous paper). We show several transversality theorems in the singular case and an (SSP)-structure preserving…
Many examples of rank two bundles on ${\bf P}^4$ are constructed in positive characteristic. Construction depends on constructing certain special bundles on ${\bf P}^3$ which is shown to be equivalent to constructing bundles on ${\bf P}^4$…
In the first part of this investigation, [Ha], we generalized a weighted distance function of [Li] and found necessary and sufficient conditions for it being a metric. In this paper some properties of this so-called M-relative metric are…
We develop the theory of relative regular holonomic D-modules with a smooth complex manifold S of arbitrary dimension as parameter space, together with their main functorial properties. In particular, we establish in this general setting…
We construct field theories in $2+1$ dimensions with multiple conformal symmetries acting on only one of the spatial directions. These can be considered a conformal extension to "subsystem scale invariances", borrowing the language often…
Three-dimensional protein structures usually contain regions of local order, called secondary structure, such as $\alpha$-helices and $\beta$-sheets. Secondary structure is characterized by the local rotational state of the protein…
Sheaves of structures are useful to give constructions in universal algebra and model theory. We can describe their logical behavior in terms of Heyting-valued structures. In this paper, we first provide a systematic treatment of sheaves of…
The essential elements in the construction of the couplings of vector multiplets to supergravity using the conformal approach are repeated. This approach leads automatically to the basic quantities on which the symplectic transformations,…
We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…
We present a nearby cycle sheaf construction in the context of symmetric spaces. This construction can be regarded as a replacement for the Grothendieck-Springer resolution in classical Springer theory.
The area of research called \textquotedblleft Lineability\textquotedblright% \ looks for linear structures inside exotic subsets of vector spaces. In the last decade lineability/spaceability has been investigated in rather general settings;…
There have recently been several developments in synthetic mathematics using extensions of dependent type theory with univalence and higher inductive types: simplicial homotopy type theory, synthetic algebraic geometry and synthetic Stone…
We systematically investigate the functors between sites which induce morphisms of relative toposes. In particualar, we establish a relative version of Diaconescu's theorem, characterizing the relative geometric morphisms towards a relative…
Adapting pre-trained foundation models for various downstream tasks has been prevalent in artificial intelligence. Due to the vast number of tasks and high costs, adjusting all parameters becomes unfeasible. To mitigate this, several…
Eficient, physically-inspired descriptors of the structure and composition of molecules and materials play a key role in the application of machine-learning techniques to atomistic simulations. The proliferation of approaches, as well as…