Related papers: A homotopical Skolem--Noether theorem

In this paper, we describe the Brill--Noether theory of a general smooth plane curve and a general curve $C$ on a Hirzebruch surface of fixed class. It is natural to study the line bundles on such curves according to the splitting type of…

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 extensively the homotopy theory of coalgebras. By coalgebras, we mean the full theory of coalgebras: with counits and not necessarily locally conilpotent. For example $\mathcal E_\infty$-coalgebras, $\mathcal A_\infty$-coalgebras,…

We compare the invariants of flat vector bundles defined by Atiyah et al. and Jones et al. and prove that, up to weak homotopy, they induce the same map, denoted by $e$, from the $0$-connective algebraic $K$-theory space of the complex…

We describe the singular cohomology ring, the K-ring of complex vector bundles, the Chow ring, and the Grothendieck ring of coherent sheaves of the total space of the fibre bundle with base space an irreducible nonsingular complete…

We establish a structure theorem on the arc space of a $k$-scheme of finite type. More precisely, we show that the arc space is locally for the pro-smooth toplogy a product of an infinite dimensional affine space and of a non-noetherian…

We generalize, for integral curves, a celebrated result of Max Noether on global sections of the n-dualizing sheaf of a smooth nonhyperelliptic curve. This is our main result. We also obtain an embedding of a non-Gorenstein curve in a way…

This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories…

General Lagrangian theory of even and odd fields on an arbitrary smooth manifold is considered. Its non-trivial reducible gauge symmetries and their algebra are defined in this very general setting by means of the inverse second Noether…

We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…

Let $S$ be a non-empty scheme with 2 invertible. In this paper we present a functor $F: AZ_*^{n'} \rightarrow GS_*^n$ where $AZ_*^{n'}$ and $GS_*^n$ are fibered categories over $Sch_S$ given respectively by degree-$n'$ Azumaya algebras with…

We show that every scheme/algebraic space/stack that is quasi-compact with quasi-finite diagonal can be approximated by a noetherian scheme/algebraic space/stack. More generally, we show that any stack which is etale-locally a global…

We extend Noether's theorem to the setting of multisymplectic geometry by exhibiting a correspondence between conserved quantities and continuous symmetries on a multi-Hamiltonian system. We show that a homotopy co-momentum map interacts…

For a noetherian scheme, we introduce its unbounded stable derived category. This leads to a recollement which reflects the passage from the bounded derived category of coherent sheaves to the quotient modulo the subcategory of perfect…

Let Z be an affine algebraic variety and ED(Z)= max(2 dim Z+1, dim TZ). Let X be a smooth algebraic variety isomorphic to a semi-simple linear algebraic group whose Lie algebra is a sum of special linear Lie algebras. We show that if dim X…

We use an idea of Rosenberg to prove a reconstruction theorem for abelian categories of alpha-twisted quasi-coherent sheaves on quasi-compact and quasi-separated schemes X when alpha is in the Brauer group of X. By applying the work of…

Let $M$ be a closed manifold and $\alpha : \pi_1(M)\to U_n$ a representation. We give a purely $K$-theoretic description of the associated element $[\alpha]$ in the $K$-theory of $M$ with $\R/\Z$-coefficients. To that end, it is convenient…

Max Noether's Theorem asserts that if $\omega$ is the dualizing sheaf of a nonsingular nonhyperelliptic projective curve, then the natural morphisms $\text{Sym}^nH^0(\omega)\to H^0(\omega^n)$ are surjective for all $n\geq 1$. The result was…

We show that every quasi-compact and quasi-separated algebraic stack can be approximated by a noetherian algebraic stack. We give several applications such as eliminating noetherian hypotheses in the theory of good moduli spaces.

For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…