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

We prove that any finite-degree polynomial functor is topologically Noetherian. This theorem is motivated by the recent resolution of Stillman's conjecture and a recent Noetherianity proof for the space of cubics. Via work by…

Every Grassmannian, in its Pl\"ucker embedding, is defined by quadratic polynomials. We prove a vast, qualitative, generalisation of this fact to what we call Pl\"ucker varieties. A Pl\"ucker variety is in fact a family of varieties in…

We clarify the relationship between Grothendieck duality \`a la Neeman and the Wirthm\"uller isomorphism \`a la Fausk-Hu-May. We exhibit an interesting pattern of symmetry in the existence of adjoint functors between compactly generated…

Draisma recently proved that polynomial representations of $\mathbf{GL}_{\infty}$ are topologically noetherian. We generalize this result to algebraic representations of infinite rank classical groups.

In recent years, researchers have discovered various large algebraic structures that have surprising finiteness properties, such as FI-modules and Delta-modules. In this paper, we add another example to the growing list: we show that…

We show that the Schur multiplier of a Noetherian group need not be finitely generated. We prove that the non-abelian tensor product of a polycyclic (resp. polycyclic-by-finite) group and a Noetherian group, is a polycyclic (resp.…

We prove that the infinite half-spin representations are topologically Noetherian with respect to the infinite spin group. As a consequence we obtain that half-spin varieties, which we introduce, are defined by the pullback of equations at…

We prove Noether's direct and inverse second theorems for Lagrangian systems on fiber bundles in the case of gauge symmetries depending on derivatives of dynamic variables of an arbitrary order. The appropriate notions of reducible gauge…

We show that elliptic classes introduced in our earlier paper for spaces with infinite fundamental groups yield Novikov's type higher elliptic genera which are invariants of K-equivalence. This include, as a special case, the birational…

A major open problem in the theory of twisted commutative algebras (tca's) is proving noetherianity of finitely generated tca's. For bounded tca's this is easy, in the unbounded case, noetherianity is only known for Sym(Sym^2(C^\infty)) and…

For a given irreducible projective variety $X$, the closure of the set of all hyperplanes containing tangents to $X$ is the projectively dual variety $X^{\vee}$. We study the singular locus of projectively dual varieties of certain…

We study the category of Sp-equivariant modules over the infinite variable polynomial ring, where Sp denotes the infinite symplectic group. We establish a number of results about this category: for instance, we show that every finitely…

In this paper we treat Grothendieck Duality for noetherian rings via rigid dualizing complexes. In particular, we prove that every ring, essentially finite type over a regular base ring, has a unique rigid dualizing complex. The rigid…

The "Modularity Conjecture" is the assertion that the join of two nonmodular varieties is nonmodular. We establish the veracity of this conjecture for the case of linear idempotent varieties. We also establish analogous results concerning…

We show that for quasivarieties of p-algebras the properties of (i) having decidable first-order theory and (ii) having decidable first-order theory of the finite members, coincide. The only two quasivarieties with these properties are the…

Let $P_3(\mathbf{C}^{\infty})$ be the space of complex cubic polynomials in infinitely many variables. We show that this space is $\mathbf{GL}_{\infty}$-noetherian, meaning that any $\mathbf{GL}_{\infty}$-stable Zariski closed subset is cut…

A version of Auslander theorem is proven for the following classes of noncommutative algebras: (a) noetherian PI local (or connected graded) algebras of finite injective dimension, (b) universal enveloping algebras of finite dimensional Lie…

We examine varieties of epigroups as unary semigroups, that is semigroups equipped with an additional unary operation of pseudoinversion. The article contains two main results. The first of them indicates a countably infinite family of…

We show that equivariant tilting modules over equivariant algebras induce equivalences of derived factorization categories. As an application, we show that the derived category of a noncommutative resolution of a linear section of a…

Let Gr(2, E) be the Grassmann bundle of two-planes associated to a general bundle E over a curve X. We prove that an embedding of Gr(2, E) by a certain twist of the relative Pl\"ucker map is not secant defective. This yields a new and more…