Related papers: Derived Kodaira Spencer map, Cosection lemma, and …
Let S be a smooth affine algebraic curve, and let S' be the Riemann surface obtained by removing a point from S. We provide evidence for the congruence subgroup property of the mapping class group Mod(S') by showing that its congruence…
Energy-minimizing constraint maps are a natural extension of the obstacle problem within a vectorial framework. Due to inherent topological constraints, these maps manifest a diverse structure that includes singularities similar to harmonic…
Spencer cohomology theory studies the cohomology of chain complexes of modules over the ring of differential operators $\mathscr{D}$ of a smooth analytic space. In this paper we give a generalisation of Spencer cohomology suitable for…
We show that a continuous additive positively homogeneous map from a closed not necessarily proper cone in a Banach space onto a Banach space is an open map precisely when it is surjective. This generalization of the usual Open Mapping…
We give a short new computation of the quantum cohomology of an arbitrary smooth toric variety $X$, by showing directly that the Kodaira-Spencer map of Fukaya-Oh-Ohta-Ono defines an isomorphism onto a suitable Jacobian ring. The proof is…
In this paper we introduce and study the concept of nonlocal ordered curvature. In the classical (differential) setting, the problem was introduced by Nirenberg and Li, where they conjectured that if a bounded, smooth surface has its mean…
Let {\Lambda}\subsetR^{n}\timesR^{m} and k be a positive integer. Let f:R^{n}\rightarrowR^{m} be a locally bounded map such that for each ({\xi},{\eta})\in{\Lambda}, the derivatives D_{{\xi}}^{j}f(x):=|((d^{j})/(dt^{j}))f(x+t{\xi})|_{t=0},…
Building on early work by Stevo Todorcevic, we describe a theory of stationary subtrees of trees of successor-cardinal height. We define the diagonal union of subsets of a tree, as well as normal ideals on a tree, and we characterize…
We prove a weak fundamental principle for $\lambda$-homogeneous solutions of homogeneous constant-coefficient systems on open pointed convex cones. Starting with the solution family $S_{\mathcal B}$ arising in the Ehrenpreis--Palamodov…
In this expository article, we outline the theory of harmonic differential forms and its consequences. We provide self-contained proofs of the following important results in differential geometry: (1) Hodge theorem, which states that for a…
We prove that a holomorphic line bundle on a projective manifold is pseudo-effective if and only if its degree on any member of a covering family of curves is non-negative. This is a consequence of a duality statement between the cone of…
The recent proof of the Boij-Soederberg conjectures reveals new structure about Betti diagrams of modules, giving a complete description of the cone of Betti diagrams. We begin to expand on this new structure by investigating the semigroup…
This paper deals with $\varepsilon$-efficient and $\varepsilon$-properly efficient points with respect to a co-radiant set in vector optimization problems. In the first part of the paper, we establish a new nonlinear separation theorem for…
In machine learning or statistics, it is often desirable to reduce the dimensionality of a sample of data points in a high dimensional space $\mathbb{R}^d$. This paper introduces a dimensionality reduction method where the embedding…
We present a polyhedral description of kernels in orientations of line multigraphs. Given a digraph $D$, let $FK(D)$ denote the fractional kernel polytope defined on $D$, and let ${\sigma}(D)$ denote the linear system defining $FK(D)$. A…
A cornerstone of the theory of cohomology jump loci is the Tangent Cone theorem, which relates the behavior around the origin of the characteristic and resonance varieties of a space. We revisit this theorem, in both the algebraic setting…
In this paper, we prove the following differential analog of the Noether normalization lemma: for every $d$-dimensional differential algebraic variety over differentially closed field of zero characteristic there exists a surjective map…
Kernel theorems, in general, provide a convenient representation of bounded linear operators. For the operator acting on a concrete function space, this means that its action on any element of the space can be expressed as a generalised…
The \begin{it} Invariance Theorem \end{it} of M. Gerstenhaber and S. D. Schack states that if $\mathbb{A}$ is a diagram of algebras then the subdivision functor induces a natural isomorphism between the Yoneda cohomologies of the category…
Cut-elimination theorems constitute one of the most important classes of theorems of proof theory. Since Gentzen's proof of the cut-elimination theorem for the system $\mathbf{LK}$, several other proofs have been proposed. Even though the…