Related papers: $K$-theoretic pullbacks for Lagrangians on derived…

Recently, Blasiak-Morse-Seelinger introduced symmetric functions called Katalan functions, and proved that the $K$-theoretic $k$-Schur functions due to Lam-Schilling-Shimozono form a subfamily of the Katalan functions. They conjectured that…

Kullback-Leibler divergence (KL) regularization is widely used in reinforcement learning, but it becomes infinite under support mismatch and can degenerate in low-noise limits. Utilizing a unified information-geometric framework, we…

It is a fundamental property of the Chow groups of algebraic schemes that they are contra-functorial with respect to flat morphisms between schemes. While the pullback homomorphism is easy to define at the level of algebraic cycles, the…

We show that Lusztig's theories of two-sided cells and non-unipotent representations of a reductive group over a finite field are compatible with the V. Lafforgue's automorphic-to-galois direction of the Langlands correspondence. To do…

For each positive integer $n$, we give a geometric description of the stably trivial elements of the group $\pi_n U_n/O_n$. In particular, we show that all such elements admit representatives whose tangencies with respect to a fixed…

We show that for a coconnective ring spectrum satisfying regularity and flatness assumptions, its algebraic K-theory agrees with that of its $\pi_0$. We prove this as a consequence of a more general devissage result for stable infinity…

We construct semi-orthogonal decompositions on triangulated categories of parabolic sheaves on certain kinds of logarithmic schemes. This provides a categorification of the decomposition theorems in Kummer flat K-theory due to Hagihara and…

The derived category of a hypersurface has an action by "cohomology operations" k[t], deg t=-2, underlying the 2-periodic structure on its category of singularities (as matrix factorizations). We prove a Thom-Sebastiani type Theorem,…

We constrain the viable models of Horndeski gravity, written in its equivalent Generalised Galileon version, by resorting to the Witten positive energy theorem. We find that the free function $G_3(\phi, X)$ in the Lagrangian is constrained…

We study hamiltonian actions of compact groups in the presence of compatible involutions. We show that the lagrangian fixed point set on the symplectically reduced space is isomorphic to the disjoint union of the involutively reduced spaces…

We show the existence of semiorthogonal decompositions (SOD) of Pandharipande-Thomas (PT) stable pair moduli spaces on Calabi-Yau 3-folds with irreducible curve classes, assuming relevant moduli spaces are non-singular. The above result is…

A functor on compact Hausdorf spaces is constructed as the sum of certain equivariant K-theory groups. It is shown that the functor takes values in lambda-rings and satisfies a Thom isomorphism. In the case that the space is a CW-complex…

Starting from an anti-symplectic involution on a K3 surface, one can consider a natural Lagrangian subvariety inside the moduli space of sheaves over the K3. One can also construct a Prymian integrable system following a construction of…

Using cyclotomic specializations of the equivariant $K$-theory with respect to a torus action we derive congruences for discrete invariants of exceptional objects in derived categories of coherent sheaves on a class of varieties that…

We introduce a version of algebraic $K$-theory for coefficient systems of rings which is valued in genuine $G$-spectra for a finite group $G$. We use this construction to build a genuine $G$-spectrum $K_G(\mathbb{Z}[\underline{\pi_1(X)}])$…

Given a finite unbranched covering of a nonsingular projective scheme we analyse the morphism between moduli spaces of sheaves induced by pullback. We have a closer look at cyclic coverings and, in particular, at canonical coverings of…

We construct several towers of scalar quantum field theories with an $O(N)$ symmetry which have higher derivative kinetic terms. The Lagrangians in each tower are connected by lying in the same universality class at the $d$-dimensional…

Grayson, developing ideas of Quillen, has made computations of the K-theory of "semi-linear endomorphisms". In the present text we develop a technique to compute these groups in the case of Frobenius semi-linear actions. The main idea is to…

Invoking the density argument of Dundas-Goodwillie-McCarthy, we extend the Fundamental Theorem of $K$-theory from the category of simplicial rings to the category of $\mathbb{S}$-algebras. As an intermediate step, we prove the Fundamental…

We introduce a holomorphic version of Weinstein's symplectic category, in which objects are holomorphic symplectic manifolds, and morphisms are holomorphic lagrangian correspondences. We then extend this category to log schemes, and prove…