Related papers: Recoller pour s\'eparer

A closed symmetric differential of the 1st kind is a differential that locally is the product of closed holomorphic 1-forms. We show that closed symmetric 2-differentials of the 1st kind on a projective manifold $X$ come from maps of $X$ to…

As left adjoint to the dual algebra functor, Sweedler's finite dual construction is an important tool in the theory of Hopf algebras over a field. We show in this note that the left adjoint to the dual algebra functor, which exists over…

A singular foliation $\mathcal F$ gives a partition of a manifold $M$ into leaves whose dimension may vary. Associated to a singular foliation are two complexes, that of the diffeological differential forms on the leaf space $M / \mathcal…

This paper extends the result from Amnon Neeman regarding strong generators in Dperf(X), from X being a quasicompact, separated scheme to X being quasicompact, quasiseparated scheme that admits a separator. Neeman's result states a…

Grothendieck duality theory assigns to essentially-finite-type maps f of noetherian schemes a pseudofunctor f^\times right-adjoint to Rf_*, and a pseudofunctor f^! agreeing with f^\times when f is proper, but equal to the usual inverse…

We consider an arbitrary linear elliptic first--order differential operator A with smooth coefficients acting between sections of complex vector bundles E,F over a compact smooth manifold M with smooth boundary N. We describe the analytic…

In this article, we prove that if $R\to S$ is a homomorphism of Noetherian rings that splits, then for every $i\geq 0$ and ideal $I\subset R$, $\Ass_R H^i_I(R)$ is finite when $\Ass_S H^i_{IS}(S)$ is finite. In addition, if $S$ is a…

In this article, we introduce the idempotentization process, which bears some philosophical and mathematical similarities with modern analytification and tropicalization. Idempotentization associates to any affine scheme an idempotent…

We show that for an arbitrarily given closed Riemannian manifold $M$ admitting a point $p \in M$ with a single cut point, every closed Riemannian manifold $N$ admitting a point $q \in N$ with a single cut point is diffeomorphic to $M$ if…

Let $R$ be a commutative Noetherian ring such that $X=Spec R$ is connected. We prove that the category $D^b(coh X)$ contains no proper full triangulated subcategories which are regular. We also bound from below the dimension of a regular…

Several known constructions relate initial degenerations of projective toric varieties and Grassmannians to regular subdivisions of appropriate point configurations. We define a general framework which allows for partial generalizations of…

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…

Given a ring homomorphism $B \to A$, consider its centralizer $R = A^B$, bimodule endomorphism ring $S = \End {}_BA_B$ and sub-tensor-square ring $T = (A \o_B A)^B$. Nonassociative tensoring by the cyclic modules $R_T$ or ${}_SR$ leads to…

We use techniques from relative algebraic geometry and homotopical algebraic geometry in order to construct several categories of schemes defined "under Spec Z". We define this way the categories of N-schemes, F_1-schemes, S-schemes,…

Let M be a totally orientable graph manifold with characteristic submanifold T and let M = V cup_S W be a Heegaard splitting. We prove that S is standard. In particular, S is the amalgamation of strongly irreducible Heegaard splittings. The…

We prove that for any measurable mapping $T$ into the space of matrices with positive determinant, there is a diffeomorphism whose derivative equals $T$ outside a set of measure less than $\varepsilon$. We use this fact to prove that for…

Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…

The goal of this papers is to extending to the complex analytic framework the relative Kleiman duality for quasi coherent sheaves. Precisely, he show that for any flat,locally projectivea and finitely presented morphism of schemes…

We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…

Using the finite Fourier transform, we introduce a generalization of Pauli-spin matrices for $d$-dimensional spaces, and the resulting set of unitary matrices $S(d) $ is a basis for $d\times d$ matrices. If $N=d_{1}\times…