Related papers: Type $\theta$ Stokes' Theorem for Chains
Using $L^2$-methods for the $\bar\partial$-equation we prove that the Ohsawa-Takegoshi extension theorem also holds for holomorphic sections of a vector bundle, over compact K\"ahler manifolds. We then proceed to show that the conditions…
Operator $k$-tone functions on an open interval of the real line, which are higher order extensions of operator monotone and convex functions, are characterized via certain inequalities for the real and imaginary parts of analytic…
We prove a Thullen type extension theorem of plurisubharmonic functions across a closed complete pluripolar set, which generalizes a theorem of Siu. Our approach depends on an Ohsawa-Takegoshi type extension theorem for a single point in a…
This paper generalizes Llarull's classical scalar curvature rigidity theorem to the setting of weighted manifolds with P-scalar curvature. More precisely, we prove the refinement of Llarull's theorem for P-scalar curvature, which is similar…
We prove Sklar's theorem in infinite dimensions via a topological argument and the notion of inverse systems.
Recent advances in computational techniques for $K$-theory allow us to describe the $K$-theory of toric varieties in terms of the $K$-theory of fields and simple cohomological data.
We extend the Bass-Quillen Fundamental Theorem of Algebraic K-theory to the Waldhausen K-theory of connective ${\bf S}$-algebras. The same technique used in this extension also yields two localization theorems for the relative K-theory of a…
Ergodicity is a fundamental issue for a stochastic process. In this paper, we refine results on ergodicity for a general type of Markov chain to a specific type or the $GI/G/1$-type Markov chain, which has many interesting and important…
We study a variant of algebraic K-theory and prove that it is stable and preserves module structures.
The Gross-Kohnen-Zagier theorem describes Heegner points on a modular curve in terms of coefficients of modular forms. We give another proof of this theorem which generalizes to higher dimensions.
We associate a Taylor tower supplied by calculus of the embedding functor to the space of long knots and study its cohomology spectral sequence. The combinatorics of the spectral sequence along the line of total degree zero leads to chord…
Let $X$ be a regular tame stack. If $X$ is locally of finite type over a field, we prove that the essential dimension of $X$ is equal to its generic essential dimension, this generalizes a previous result of P. Brosnan, Z. Reichstein and…
We generalize Rado's extension theorem to complex spaces.
We establish a tensor product theorem for slope semistable parabolic $\lambda$-connections over smooth projective varieties in arbitrary characteristic.
We have found some patterns in some triangles.
Let $R$ be a complete discrete valuation ring with fraction field $K$ and with algebraically closed residue field. Let $X$ be a faithfully flat $R$-scheme of finite type of relative dimension 1 and $G$ be any affine $K$-group scheme of…
Okounkov [Oko03] conjectured the log-concavity about the structure constants for many interesting basis from representation theory. For the cluster algebra, Gross, Hacking, Keel, Kontsevich [GHKK18] introduced the atomic theta basis. We…
Following the types-as-sets paradigm, we present a mechanized embedding of dependent function types with a hierarchy of universes into schematic first-order logic with equality, with axiom schemas of Tarski-Grothendieck set theory. We carry…
For an oriented knot $K$, we construct a functor from the category of pointed quandles to the category of quandles in three different ways. We also extend the quandle cocycle invariants of knots by using these quandle-valued invariant of…
We offer here a more direct approach to twisted K-theory, based on the notion of twisted vector bundles (of finite or infinite dimension) and of twisted principal bundles. This is closeely related to the classical notion ot torsors and…