Related papers: Computing Quot schemes via marked bases over quasi…

In this paper, we extend the characterization of $\mathbb{Z}[x]/\ < f \ >$, where $f \in \mathbb{Z}[x]$ to be a free $\mathbb{Z}$-module to multivariate polynomial rings over any commutative Noetherian ring, $A$. The characterization allows…

This is the second in a series of two papers developing a moduli-theoretic framework for differential ideal sheaves associated with formally integrable, involutive systems of algebraic partial differential equations (PDEs). Building on…

Let $\Omega \subset \mathbb{C}^m$ be an open, connected and bounded set and $\mathcal{A}(\Omega)$ be a function algebra of holomorphic functions on $\Omega$. In this article we study quotient Hilbert modules obtained from submodules,…

We study algebraicity and smoothness of fixed point stacks for flat group schemes which have a finite composition series whose factors are either reductive or proper, flat, finitely presented, acting on algebraic stacks with affine,…

In this paper we study the relationship between two different compactifications of the space of vector bundle quotients of an arbitrary vector bundle on a curve. One is Grothendieck's Quot scheme, while the other is a moduli space of stable…

In this paper we present the definition of quasi-bases for modules over a ring that is commutative but not necessarily division and discuss properties that guarantee the existence of quasi-bases. Based on this result we further prove that…

A moduli space of stable quotients of the rank n trivial sheaf on stable curves is introduced. Over nonsingular curves, the moduli space is Grothendieck's Quot scheme. Over nodal curves, a relative construction is made to keep the torsion…

We study quotients of quasi-affine schemes by unipotent groups over fields of characteristic 0. To do this, we introduce a notion of stability which allows us to characterize exactly when a principal bundle quotient exists and, together…

We construct moduli spaces of linear self-maps of projective space with marked points, up to projective equivalence. That is, we let the special linear group act simultaneously by conjugation on projective linear maps and diagonally on…

We prove a generalization of Gotzmann's persistence theorem in the case of modules with constant Hilbert polynomial. As a consequence, we show that the defining equations that give the embedding of a Quot scheme of points into a…

When a reductive group $G$ acts linearly on a complex projective scheme $X$ there is a stratification of $X$ into $G$-invariant locally closed subschemes, with an open stratum $X^{ss}$ formed by the semistable points in the sense of…

For a finite subgroup $\Gamma\subset {\mathrm{SL}}(2,\mathbb{C})$, we identify fine moduli spaces of certain cornered quiver algebras, defined in earlier work, with orbifold Quot schemes for the Kleinian orbifold $[\mathbb{C}^2/\Gamma]$. We…

Let J be a strongly stable monomial ideal in S=K[x_1,...,x_n] and let Mf(J) be the family of all homogeneous ideals I in S such that the set of all terms outside J is a K-vector basis of the quotient S/I. We show that an ideal I belongs to…

Let $\cl{M}$ be a Hilbert module of holomorphic functions over a natural function algebra $\mathcal{A}(\Omega)$, where $\Omega \subseteq \bb{C}^m$ is a bounded domain. Let $\cl{M}_0\subseteq \cl{M}$ be the submodule of functions vanishing…

We give an explicit approach to quotienting affine varieties by linear actions of linear algebraic groups with graded unipotent radical, using results from projective Non-Reductive GIT. Our quotients come with explicit projective…

We present a formalization of quasi-compact and quasi-separated schemes (qcqs-schemes) in the Cubical Agda proof assistant. We follow Grothendieck's functor of points approach, which defines schemes, the quintessential notion of modern…

Let $f:X\to Y$ be a surjective morphism of integral schemes. Then $X$ is said to be quasi-galois closed over $Y$ by $f$ if $X$ has a unique conjugate over $Y$ in an algebraically closed field. Such a notion has been applied to the…

Piecewise quasipolynomial growth of Presburger counting functions combines with tame persistent homology module theory to conclude piecewise quasipolynomial behavior of constructible families of finely graded modules over constructible…

For any open, connected and bounded set $\Omega \subseteq \mathbb C^m$, let $\mathcal A$ be a natural function algebra consisting of functions holomorphic on $\Omega$. Let $\mathcal M$ be a Hilbert module over the algebra $\mathcal A$ and…

This is a revised version of the previous version with a new appendix consisting of characteristic two case. We define quasi-quadratic modules in a commutative ring generalizing the notion of quadratic modules. The main theorem is a…