Related papers: Improved injective stability for relative $\mathrm…
We consider a slightly modified form of the standard Rudin-Keisler order on ideals and demonstrate the existence of complete (with respect to this order) ideals in various projective classes. Using our methods, we obtain a simple proof of…
We prove a myriad of results related to the stabilizer in an algebraic group $G$ of a generic vector in a representation $V$ of $G$ over an algebraically closed field $k$. Our results are on the level of group schemes, which carries more…
We prove a version of Blattner's conjecture, for irreducible subquotients of principal series representations with integral infinitesimal character of a real reductive Lie group whose Beilinson-Bernstein D-module is supported on a K-orbit…
We study the linearized stability of n-vortex solutions of the magnetic Ginzburg-Landau (or Abelian-Higgs) equations. We prove that the fundamental vortices (n=1,-1) are stable for all values of the coupling constant, k, and we prove that…
Vorst's conjecture relates the regularity of a ring with the $\mathbb{A}^1$-homotopy invariance of its $K$-theory. We show a variant of this conjecture in positive characteristic.
We describe the mod $p^r$ pro $K$-groups $\{K_n(A/I^s)/p^r\}_s$ of a regular local $\mathbb F_p$-algebra $A$ modulo powers of a suitable ideal $I$, in terms of logarithmic Hodge-Witt groups, by proving pro analogues of the theorems of…
Let k be a regular F_p-algebra, let A = k[x,y]/(x^b - y^a) be the coordinate ring of a planar cuspical curve, and let I = (x,y) be the ideal that defines the cusp point. We give a formula for the relative K-groups K_q(A,I) in terms of the…
We prove new homological stability results for general linear groups over finite fields. These results are obtained by constructing CW approximations to the classifying spaces of these groups, in the category of $E_\infty$-algebras, guided…
We introduce a class of real algebraic varieties characterised by a simple rationality condition, which exhibit strong properties regarding approximation of continuous and smooth mappings by regular ones. They form a natural counterpart to…
Fisher [Fis75] and Baur [Bau75] showed independently in the seventies that if $T$ is a complete first-order theory extending the theory of modules, then the class of models of $T$ with pure embeddings is stable. In [Maz4, 2.12], it is asked…
We prove that the Scott-Vogelius finite elements are inf-sup stable on shape-regular meshes for piecewise quartic velocity fields and higher ($k \ge 4$).
Let $X$ be a symplectic variety equipped with an action of a torus $A$. Let $\nu \subset A$ be a finite cyclic subgroup. We show that K-theoretic stable envelope of subvarieties $X^{\nu}\subset X$ can be obtained via various limits of the…
We develop a relative version of Kostant's harmonic theory and use this to prove a relative version of Kostant's theorem on Lie algebra (co)homology. These are associated to two nested parabolic subalgebras in a semisimple Lie algebra. We…
K-polystability is, on the one hand, conjecturally equivalent to the existence of certain canonical K\"ahler metrics on polarised varieties, and, on the other hand, conjecturally gives the correct notion to form moduli. We introduce a…
We introduce a general framework to unify several variants of twisted topological $K$-theory. We focus on the role of finite dimensional real simple algebras with a product-preserving involution, showing that Grothendieck-Witt groups…
In this paper, we prove stability results about orthogonal groups over finite commutative rings where 2 is a unit. Inspired by Putman and Sam (2017), we construct a category $\mathbf{OrI}(R)$ and prove a Noetherianity theorem for the…
A countable discrete group $\Gamma$ is said to have the relative ISR-property if for every non-trivial normal subgroup $N\trianglelefteq\Gamma$ and every von Neumann subalgebra $\mathcal{M}\subseteq L(\Gamma)$ invariant under conjugation by…
We prove localization and Zariski-Mayer-Vietoris for higher Grothendieck-Witt groups, alias hermitian $K$-groups, of schemes admitting an ample family of line-bundles. No assumption on the characteristic is needed, and our schemes can be…
We construct analogues of FI-modules where the role of the symmetric group is played by the general linear groups and the symplectic groups over finite rings and prove basic structural properties such as Noetherianity. Applications include…
In this thesis we discuss various classical problems in enumerative geometry. We are focused on ideas and methods which can be used explicitly for practical computations. Our approach is based on studying the limits of elliptic stable…