Related papers: Dual Infinite Wedge is $\mathrm{GL}_{\infty}$-equi…

Grothendieck proved in EGA IV that if any integral scheme of finite type over a locally noetherian scheme X admits a desingularization, then X is quasi-excellent, and conjectured that the converse is probably true. We prove this conjecture…

We unify aspects of the equivariant geometry of type $D$ quiver representation varieties, double Grassmannians, and symmetric varieties $GL(a+b)/GL(a)\times GL(b)$; in particular we translate results about singularities of orbit closures,…

Let $n=2g+2$ be a positive even integer, $f(x)$ a degree $n$ complex polynomial without multiple roots and $C_f: y^2=f(x)$ the corresponding genus $g$ hyperelliptic curve over the field $\C$ of complex numbers. Let a $(g-1)$-dimensional…

It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result to the abstract setting of an infinite EI category satisfying certain combinatorial conditions.

We prove a Noether-Deuring theorem for the derived category of bounded complexes of modules over a Noetherian algebra.

We introduce the notion of integrality of Grothendieck categories as a simultaneous generalization of the primeness of noncommutative noetherian rings and the integrality of locally noetherian schemes. Two different spaces associated to a…

We prove Wilking's Conjecture about the completeness of dual leaves for the case of Riemannian foliations on nonnegatively curved symmetric spaces. Moreover, we conclude that such foliations split as a product of trivial foliations and a…

In this paper, we generalize some conclusions from the nonnegative irreducible tensor to the nonnegative weakly irreducible tensor and give more properties of eigenvalue problems.

Let $F$ be a p-adic local field and $G=GL_2(F)$. Let $\mathcal{H}^{(1)}$ be the pro-p Iwahori-Hecke algebra of $G$ with coefficients in an algebraic closure of $\mathbb{F}_p$. We show that the supersingular irreducible…

For any two nef line bundles F and G on a toric variety X represented by lattice polyhedra P respectively Q, we present the universal equivariant extension of G by F under use of the connected components of the set theoretic difference of Q…

We formulate a conjecture classifying algebraic solutions to (possibly non-linear) algebraic differential equations, in terms of the primes appearing in the denominators of the coefficients of their Taylor expansion at a non-singular point.…

We design new tools to study variants of Total Dual Integrality. As an application, we obtain a geometric characterization of Total Dual Integrality for the case where the associated polyhedron is non-degenerate. We also give sufficient…

We continue the work of [1, 2, 3] by analyzing the equivalence relation of bi-embeddability on various classes of countable planes, most notably the class of countable non-Desarguesian projective planes. We use constructions of the second…

We develop a general formalism of duality rotations for $\cal N$-extended superconformal gauge multiplets in conformally flat backgrounds as an extension of the approach given in arXiv:2107.02001. Additionally, we construct $\mathsf{U}(1)$…

Extending the results of Nardi (2015), this note establishes an existence and uniqueness result for second-order uniformly elliptic PDEs in divergence form with Neumann boundary conditions. A Schauder estimate is also derived.

We introduce the notion of a naive global 2-ring: a functor from the opposite of the $\infty$-category of global spaces to presentably symmetric monoidal stable $\infty$-categories. By passing to global sections, every naive global 2-ring…

A simple proof of Noether's first theorem involves the promotion of a constant symmetry parameter $\epsilon$ to an arbitrary function of time, the Noether charge $Q$ is then the coefficient of $\dot\epsilon$ in the variation of the action.…

We establish an Esakia duality for the categories of temporal Heyting algebras and temporal Esakia spaces. This includes a proof of contravariant equivalence and a congruence/filter/closed-upset correspondence. We then study two notions of…

The variety of bicommutative algebras consists of all nonassociative algebras satisfying the polynomial identities of right- and left-commutativity $(x_1x_2)x_3=(x_1x_3)x_2$ and $x_1(x_2x_3)=x_2(x_1x_3)$. Let $F_d$ be the free $d$-generated…

We give an alternative description of the physical content of general relativity that does not require a Lorentz invariant spacetime. Instead, we find that gravity admits a dual description in terms of a theory where local size is…