Related papers: GIT for $\hat U$-actions on algebraic $\mathbb C$-…

We consider actions of complex algebraic groups $\mathbf{G}$ on complex algebraic varieties $\mathbf{X}$, coming from actions of real forms $G$ of $\mathbf{G}$ and $X$ of $\mathbf{X}$. We explore the links between the real points of the…

The goal of this article is to extend a theorem of Lurie \[ \mathsf{Sh}_A (X) = \mathsf{Fun}(\mathsf{Exit}_A (X), \mathsf{S}) \] representing constructible sheaves with values in $ \mathsf{S} $, the $ \infty $-category of spaces, on a…

We compactify the moduli stack of maps from curves to certain quotient stacks $\mathcal{X}=[W/G]$ with a projective good moduli space, extending previous results from quasimap theory. For doing so, we introduce a new birational…

Categorical resolution of singularities has been constructed in arXiv:1212.6170. It proceeds by alternating two steps of seemingly different nature. We show how to use the formalism of filtered derived categories to combine the two steps…

The building blocks of 6d $(1,0)$ SCFTs include certain rank one theories with gauge group $G=SU(3),SO(8),F_4,E_{6,7,8}$. In this paper, we propose a universal recursion formula for the elliptic genera of all such theories. This formula is…

Combining ideas of Pham, Sah, Sawhney, and Simkin on spread perfect matchings in super-regular bipartite graphs with an algorithmic blow-up lemma, we prove a spread version of the blow-up lemma. Intuitively, this means that there exists a…

This paper studies of a variation of the hyperbolic blow up scenario suggested by Hou and Luo's recent numerical simulation [12]. In particular, we propose a "hyperbolic" surface quasi-geostrophic equation characterized by a incompressible…

We introduce algebraic sets in the products of complex projective spaces for the mixed states in multipartite quantum systems as their invariants under local unitary operations. The algebraic sets have to be the union of the linear…

Let $\CC$ be a Hom-finite triangulated 2-Calabi-Yau category with a cluster-tilting object $T$. Under a constructibility condition we prove the existence of a set $\mathcal G^T(\CC)$ of generic values of the cluster character associated to…

Let $\A$ be a unital separable nuclear $C^*$--algebra which belongs to the bootstrap category $\N$ and $\B$ be a separable stable $C^*$--algebra. In this paper, we consider the group $\Ext_u(\A,\B)$ consisting of the unitary equivalence…

Let $P,$ $S,$ and $T$ be semigroups, $f:P\to S$ and $g:P\to T$ semigroup homomorphisms, and $X$ a generating set for $S$ (possibly infinite). Clearly, a <i>necessary</i> condition for there to exist a homomorphism $S\to T$ making a…

In our previous work, we provided an algebraic proof of the Zinger's comparison formula between genus one Gromov-Witten invariants and reduced invariants when the target space is a complete intersection of dimension two or three in a…

We show that the category of projective modules over a graded commutative ring admits a triangulation with respect to module suspension if and only if the ring is a finite product of graded fields and exterior algebras on one generator over…

In this article, we introduce the notion of uniformly S-projective (u-S-projective) relative to a module. Let S be a multiplicative subset of a ring R and M an R-module. An R-module P is said to be u-S-projective relative to M if for any…

We give conditions for the Mayer-Vietoris property to hold for the algebraic K-theory of blow-up squares of toric varieties in any characteristic, using the theory of monoid schemes. These conditions are used to relate algebraic K-theory to…

Let $\mathcal{C}$ be a small category, $\mathfrak{A}$ be a precosheaf of unital $k$-algebras on $\mathcal{C}$ and $\mathfrak{M}$ be an $\mathfrak{A}$-bimodule. We introduce two new notions, namely, the Grothendieck construction…

This paper improves the treatment of equality in guarded dependent type theory (GDTT), by combining it with cubical type theory (CTT). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of…

Let G be an algebraic group over an algebraically closed field, acting on a variety X with finitely many orbits. "Staggered sheaves" are certain complexes of G-equivariant coherent sheaves on X that seem to possess many remarkable…

We show, based on previous results, that two separable simple stably projectionless amenable ${\cal Z}$-stable $C^*$-algebras which satisfy the UCT are isomorphic if and only if they have the same Elliott invariant.

We present a proof of Thue-Siegel-Roth's Theorem (and its more recent variants, such as those of Lang for number fields and that "with moving targets" of Vojta) as an application of Geometric Invariant Theory (GIT). Roth's Theorem is…