Related papers: Proof of Weierstrass gap theorem

We determine the Weierstrass semigroup $H(P_{\infty}, P_{1}, \ldots , P_{m})$ at several points on the $GK$ curve. In addition, we present conditions to find pure gaps on the set of gaps $G(P_{\infty}, P_{1}, \ldots , P_{m})$. Finally, we…

We introduce a cohomology theory for a class of projective varieties over a finite field coming from the canonical trace on a C*-algebra attached to the variety. Using the cohomology, we prove the rationality, functional equation and the…

We prove a general form of the statement that the cohomology of a quotient stack can be computed by the Borel construction. It also applies to the lisse extensions of generalized cohomology theories like motivic cohomology and algebraic…

We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…

We give continuity properties of bitraces on (possibly non-commutative) Banach *-algebras based on the Closed Graph Theorem, leading to a simplified proof of the Theorem of Varopoulos in the commutative case.

We give a sheaf-theoretic version of the universal coefficient theorem.

We prove some injectivity theorems. Our proof depends on the theory of mixed Hodge structures on cohomology groups with compact support. Our injectivity theorems would play crucial roles in the minimal model theory for higher-dimensional…

In this short note we prove a theorem of the Stone-Weierstrass sort for subsets of the cone of non-decreasing continuous functions on compact partially ordered sets.

We present an algorithm for reliably and systematically proving the existence of spectral gaps in Hamiltonians with quasicrystalline order, based on numerical calculations on finite domains. We apply this algorithm to prove that the…

In the theory of configuration spaces, "splitting" usually refers to the phenomenon that the configuration spaces on a manifold and those on its punctured version are closely related cohomologically. We prove a splitting theorem that is…

We define a category whose objects are finite etale coverings of an algebraic stack and prove that it is a Galois category and that it allows one to compute the fundamental group of the stack. We then prove a Van Kampen theorem for…

In this paper, by employing the results over Kummer extensions, we give an arithmetic characterization of pure gaps at many totally ramified places over the quotients of Hermitian curves, including the well-studied Hermitian curves as…

Cohomology of a topological space with coefficients in stacks of abelian 2-groups is considered. A 2-categorical analog of the theorem of Grothendieck is proved, relating cohomology of the space with coefficients in a 2-stage spectrum and…

We give new proofs of some well-known results from Invariant Theorey using the Kempf-Ness theorem.

We prove the Strengthened Hanna Neumann Conjecture. We give a more direct cohomological interpretation of the conjecture in terms of "typical" covering maps, and use graph Galois theory to "symmetrize" the conjecture. The conjecture is then…

We prove a duality theorem for certain graded algebras and show by various examples different kinds of failure of tameness of local cohomology.

We show that there exists a Lie a bracket on the cohomology of any type of (bi)algebras over an operad or a PROP, induced by a strongly homotopy Lie structure on the defining cochain complex, such that the associated "quantum" master…

We give an proof on the Weinstein conjecture on the cotangent bundles of open manifolds. Its proof is based on Gromov's nonlinear Fredholm alternative.

We study cohomology groups of the Lie algebra of vector fields on the complex line, $W_1$, with values in the tensor fields in several variables. From a generalization by Scheja of the second Riemann (Hartogs) continuation theorem, we…

We prove a coherence theorem for braided monoidal bicategories and relate it to the coherence theorem for monoidal bicategories. We show how coherence for these structures can be interpretted topologically using up-to-homotopy operad…