Related papers: On the higher Riemann-Roch without denominators

Given a smooth proper morphism $f\colon X\rightarrow S$, we introduce a certain derived category where morphisms are permitted to be $\mathcal{O}_S$-linear differential operators. We then prove a generalisation of Serre duality that applies…

We prove that Riemann's xi function is strictly increasing (respectively, strictly decreasing) in modulus along every horizontal half-line in any zero-free, open right (respectively, left) half-plane. A corollary is a reformulation of the…

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…

Hartman-Grobman theorem states that there is a homeomorphism H sending the solutions of the nonlinear system onto those of its linearization under suitable assumptions. Many mathematicians have made contributions to prove H\"older…

We describe some of the connections between the Bieri-Neumann-Strebel-Renz invariants, the Dwyer-Fried invariants, and the cohomology support loci of a space X. Under suitable hypotheses, the geometric and homological finiteness properties…

The goal of this paper is to prove a version of the non-abelian localization theorem for the rational equivariant K-theory of a smooth variety $X$ with the action of a linear algebraic group $G$. We then use this to prove a Riemann-Roch…

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 this paper we study the strict refinement property for connected partial ordersalso known as Hashimoto's Theorem. This property implies that any isomorphismbetween products of irreducible structures is determined is uniquely determinedas…

Let $M$ be a connected, non-compact $m$-dimensional Riemannian manifold. In this paper we consider smooth maps $\phi: M \to \mathbb{R}^n$ with images inside a non-degenerate cone. Under quite general assumptions on $M$, we provide a lower…

We give a new proof of the existence of nontrivial quasimeromorphic mappings on a smooth Riemannian manifold, using solely the intrinsic geometry of the manifold.

We introduce the concept of morphism of pseudogroups generalizing the \'etal\'e morphisms of Haefliger. With our definition, any continuous foliated map induces a morphism between the corresponding holonomy pseudogroups. The main theorem…

Non notherian Formal schemes of perfectoid type (for example $\mathbb{Z}_p[p^{1/p^\infty}]\langle X^{1/p^\infty} \rangle$ along with its multivariate version) with rational degree are constructed and are shown to be admissible. These formal…

We disprove Hitchin's conjecture to the effect that for a generic complex structure on a simply connected spin complex surface the square root of the canonical bundle has no more cohomology then is predicted by the Riemann--Roch theorem.…

Conformal fundamental forms populate a minimal generating set for low differential order invariants of conformal hypersurface embeddings. In this work we complete the characterization of conformal fundamental forms by proving the general…

We analyse second order (in Riemann curvature) geometric flows (un-normalised) on locally homogeneous three manifolds and look for specific features through the solutions (analytic whereever possible, otherwise numerical) of the evolution…

We give a necessary and sufficient condition for the smooth extension of a diffeomorphism between smooth strictly pseudoconvex domains in four real dimensional almost complex manifolds. The proof is mainly based on a reflection principle…

Let $R$ be a commutative noetherian ring and $f: X \to \mathrm{Spec} R$ a proper smooth morphism, of relative dimension $n$. From Hartshorne, Residues and Duality, Springer, 1966, one knows that the trace map $\mathrm{Tr}_f :…

We show that given a dominant morphism between two smooth varieties of the same dimension, the induced morphism between the formal neighborhoods of two arcs on these varieties is a closed embedding, of codimension given by the order of…

Let K be an algebraically closed field. For a finitely generated graded K algebra R, let cmdef R := dim R - depth R denote the Cohen-Macaulay-defect of R. Let G be a linear algebraic group over K that is reductive but not linearly…

For fixed large genus, we construct families of complete immersed minimal surfaces in R3 with four ends and dihedral symmetries. The families exist for all large genus and at an appropriate scale degenerate to the plane.