Related papers: Type $\theta$ Stokes' Theorem for Chains
Over the past thirty-seven years, the study of linear and quadratic skein modules has produced a rich and far-reaching skein theory, intricately connected to diverse areas of mathematics and physics, including algebraic geometry, hyperbolic…
We introduce new foundations for relative topos theory based on stacks. One of the central results in our theory is an adjunction between the category of toposes over the topos of sheaves on a given site $({\mathcal{C}}, J)$ and that of…
We examine the theory of connective algebraic K-theory, CK, defined by taking the -1 connective cover of algebraic K-theory with respect to Voevodsky's slice tower in the motivic stable homotopy category. We extend CK to a bi-graded…
In this paper we prove an extension of the Blaschke-Lebesgue theorem for a family of convex domains called disk-polygons. Also, this provides yet another new proof of the Blaschke-Lebesgue theorem.
We prove basic statements about the Hermitian K-theory of exact form categories with weak equivalences. Notably, we extend a quadratic functor with values in abelian groups from an exact category to its category of bounded chain complexes…
The theorem of Mather on generic projections of smooth algebraic varieties is also proved for the singular ones.
We use orthogonality calculus to prove a downward transfer from categoricity in a successor in abstract elementary classes (AECs) that have a good frame (a forking-like notion for types of singletons) on an interval of cardinals:…
We define a $K$-theory for pointed right derivators and show that it agrees with Waldhausen $K$-theory in the case where the derivator arises from a good Waldhausen category. This $K$-theory is not invariant under general equivalences of…
Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongoing search in pure mathematics for feasible approaches to…
In this paper we obtain new infinite sets of $\zeta$-equivalents of the Fermat-Wiles theorem based on the elementary Fourier orthogonal system, Riemann's zeta-function and Jacob's ladders.
Foundational cases of the generalized Stokes' theorem are visualized using geometric algebra. From considering bivector valued fields, two seldom used instances of the theorem are obtained. Graphical representations are given, showing a…
One of the two basic theorems in [5] on the existence of solutions of PDEs is improved with the use of a group analysis type argument.
An elementary proof is given for a theorem showing that certain birth-death chains show martingale-like behavior at large stopping times. This is a generalization of and new proof for a theorem from a earlier paper by the author.
In this note we extend White's deformation theorem for G-flat chains to the setting of G-flat tensor chains. As a corollary we obtain that the groups of normal tensor chains identify with some subgroups of normal chains. Moreover the…
In this paper, we propose a gradient type term for the $k$-Hessian equation that extends for $k>1$ the classical quadratic gradient term associated with the Laplace equation. We prove that such as gradient term is invariant by the…
For an additive Waldhausen category linear over a ring $k$, the corresponding $K$-theory spectrum is a module spectrum over the $K$-theory spectrum of $k$. Thus if $k$ is a finite field of characteristic $p$, then after localization at $p$,…
The partition function of complex Chern-Simons theory on a 3-manifold with torus boundary reduces to a finite dimensional state-integral which is a holomorphic function of a complexified Planck's constant $\tau$ in the complex cut plane and…
This is the fourth installment of a series. The main point of the entire series is the following: given a triangulated category T, it is possible to attach to it a K-theory space.
The theory of $\Theta$-stratifications generalizes a classical stratification of the moduli of vector bundles on a smooth curve, the Harder-Narasimhan-Shatz stratification, to any moduli problem that can be represented by an algebraic…
We give a Pieri-type formula for the sum of $K$-$k$-Schur functions $\sum_{\mu\le\lambda} g^{(k)}_{\mu}$ over a principal order ideal of the poset of $k$-bounded partitions under the strong Bruhat order, which sum we denote by…