Related papers: Trace Maps on Rigid Stein Spaces
For a smooth map between noetherian schemes, Verdier relates the top relative differentials of the map with the twisted inverse image functor `upper shriek'. We show that the associated traces for smooth proper maps can be rendered concrete…
In the study of holomorphic maps, the term "rigidity" refers to certain types of results that give us very specific information about a general class of holomorphic maps owing to the geometry of their domains or target spaces. Under this…
Let X be a Stein manifold, A a closed complex subvariety of X, and f a continuous map from X to a complex manifold Y whose restriction to A is holomorphic. After a homotopic deformation of the Stein structure outside a neighborhood of A in…
We introduce and study the notion of a locally proper map between topological spaces. We show that fundamental constructions of sheaf theory, more precisely proper base change, projection formula, and Verdier duality, can be extended from…
We develop a theory of residues for arithmetic surfaces, establish the reciprocity law around a point, and use the residue maps to explicitly construct the dualizing sheaf of the surface. These are generalisations of known results for…
We construct a trace map on the chiral homology of chiral Weyl algebra for any smooth Riemann surface. Our trace map can be viewed as a chiral version of the deformed HKR quasi-isomorphism. This also provides a mathematical rigorous…
In this article we explain the theory of rigid residue complexes in commutative algebra and algebraic geometry, summarizing the background, recent results and anticipated future results. Unlike all previous approaches to Grothendiec…
We investigate the relationship between affine and Stein varieties in the context of rigid geometry. We show that the two concepts are much more closely related than in complex geometry, e.g. they are equivalent for surfaces. This rests on…
We prove that a meromorphic map defined on the complement of a compact subset of a three-dimensional Stein manifold M and with values in a compact complex three-fold X extends to the complement of a finite set of points. If X is simply…
We prove that any closed map between metrizable spaces can be extended to a closed map between completely metrizable spaces with the same extensional dimension.
We prove basic facts about reflexivity in derived categories over noetherian schemes; and about related notions such as semidualizing complexes, invertible complexes, and Gorenstein-perfect maps. Also, we study a notion of rigidity with…
Let X be an irreducible reduced complex space on which a connected compact Lie group K acts by holomorphic automorphisms. Let G be the complexification of K and g the Lie algebra of G. Following the theory of algebraic transformation…
The traces of gauge-covariant Sobolev spaces on a Riemannian vector bundle for some connection are characterised as some gauge-covariant fractional Sobolev spaces when the curvature of the connection is bounded. The constants in the trace…
A stable pair on a projective variety consists of a sheaf and a global section subject to stability conditions parameterized by rational polynomials. We will show that for a smooth projective threefold and a class of a rank 2 sheaf, there…
We describe how the canonical and variation maps between the shifted nearby and vanishing cycles interact with Verdier dualizing.
We show that Verdier duality for certain sheaves on the moduli spaces of graphs associated to Koszul operads corresponds to Koszul duality of operads. This in particular gives a conceptual explanation of the appearance of graph cohomology…
Given a finite ring $A$ which is a free left module over a subring $R$ of $A$, two types of $R$-bases, pseudo-self-dual bases (similar to trace orthogonal bases) and symmetric bases, are defined which in turn are used to define duality…
The notion of degree begins in field theory as the dimension of a field extension. In algebraic geometry, this idea reappears as the degree of a finite morphism, defined using the induced extension of function fields. For proper morphisms…
Given $X$ a smooth projective toric variety, we construct a morphism from a closed substack of the moduli space of stable maps to $X$ to the moduli space of quasimaps to $X$. If $X$ is Fano, we show that this morphism is surjective. The…
Applications of tangles of connectivity systems suggest a duality between these, in which for two sets $X$ and $Y\!$ the elements $x$ of $X$ map to subsets $Y_x$ of $Y\!$, and the elements $y$ of $Y\!$ map to subsets $X_y$ of $X$, so that…