Related papers: Proper local complete intersection morphisms prese…
We provide a structure theorem for all almost complete intersection ideals of depth three in any Noetherian local ring. In particular, we find that the minimal generators are the pfaffians of suitable submatrices of an alternating matrix.…
The category of coherent sheaves over a noetherian scheme is very important for studying the properties of a given scheme. For noetherian schemes it is a well-known fact that the topology can be fully recovered from the corresponding…
We study the topology of toric maps. We show that if $f\colon X\to Y$ is a proper toric morphism, with $X$ simplicial, then the cohomology of every fiber of $f$ is pure and of Hodge-Tate type. When the map is a fibration, we give an…
We prove various finiteness and representability results for cohomology of finite flat abelian group schemes. In particular, we show that if $f\colon X\rightarrow \mathrm{Spec}(k)$ is a projective scheme over a field $k$ and $G$ is a finite…
On non-K\"ahler manifolds the notion of harmonic maps is modified to that of Hermitian harmonic maps in order to be compatible with the complex structure. The resulting semilinear elliptic system is {\it not} in divergence form. The case of…
We prove that finite sets of mutual neighbor points in an affine scheme admit affine combinations, preserved by any map. Furthermore, such combination has a value which is neighbor point of all the original points.
We propose a new notion called \emph{infinity-harmonic maps}between Riemannain manifolds. These are natural generalizations of the well known notion of infinity harmonic functions and are also the limiting case of $p$% -harmonic maps as…
This paper investigates the expressiveness of a fragment of first-order sentences in Gaifman normal form, namely the positive Boolean combinations of basic local sentences. We show that they match exactly the first-order sentences preserved…
Let X be a complex algebraic variety, and L(X) be the scheme of formal arcs in X. Let f be an arc whose image is not contained in the singularities of X. We show that the formal neighborhood of f in L(X) admits a decomposition into a…
Let $M$ and $N$ be arbitrary von Neumann algebras. For any $a$ in $M$ or in $N$, let $\Delta_{\lambda}(a)$ denote the $\lambda$-Aluthge transform of $a$. Suppose that $M$ has no abelian direct summand. We prove that every bijective map…
We give several related versions of global Grothendieck Duality for unbounded complexes on noetherian formal schemes. The proofs, based on a non-trivial adaptation of Deligne's method for the special case of ordinary schemes, are reasonably…
By studying cohomology classes that are related with $n$-harmonic morphisms and $F$-harmonic maps, we augment and extend several results on $F$-harmonic maps, harmonic maps in [1, 3, 14], $p$-harmonic morphisms in [17], and also revisit our…
This work studies conditions under which integral transforms induce exact functors on singularity categories between schemes that are proper over a Noetherian base scheme. A complete characterization for this behavior is provided, which…
Necessary and sufficient conditions for the exactness (in the algebraic sense) of certain sequences of continuous group homomorphisms are established.
We prove that if f is an orientation-preserving homeomorphism of a closed orientable surface M whose singular set is totally disconnected, then f is topologically conjugate to a conformal transformation.
We provide a novel proof of the homological excess intersection formula for local complete intersections. The novelty is that the proof makes use of global morphisms comparing the intersections to a self intersection.
Let S be a Noetherian scheme, f:X->Y a surjective S-morphism of S-schemes, with X of finite type over S. We discuss what makes Y of finite type. First, we prove that if S is excellent, Y is reduced, and f is universally open, then Y is of…
It is shown that max-preserving maps (or join-morphisms) on the positive orthant in Euclidean $n$-space endowed with the component-wise partial order give rise to a semiring. This semiring admits a closure operation for maps that generate…
Let $D, \Omega_1, ..., \Omega_m$ be irreducible bounded symmetric domains. We study local holomorphic maps from $D$ into $\Omega_1 \times... \Omega_m$ preserving the invariant $(p, p)$-forms induced from the normalized Bergman metrics up to…
Computing a morph between two drawings of a graph is a classical problem in computational geometry and graph drawing. While this problem has been widely studied in the context of planar graphs, very little is known about the existence of…