Related papers: Pfaffian Subschemes

Let f : Y -> X be a morphism of complex projective manifolds, and let F be a subsheaf of the tangent bundle which is closed under the Lie bracket, but not necessarily a foliation. This short paper contains an elementary and very geometric…

We show that if $X\subset\mathbb P^N_k$ is a normal variety of dimension $\geq 3$ and $H\subset\mathbb P^N_k$ a very general hypersurface of degree $d=4$ or $\geq 6$, then the restriction map $\mathrm{Cl}(X)\to\mathrm{Cl}(X\cap H)$ is an…

Scheme-theoretic methods are used to classify ternary quadratic forms with values in line bundles over arbitrary schemes and to canonically determine the isomorphisms between them. The association of a quadratic bundle to its even Clifford…

In this article, we prove that if $\Pi: X\rightarrow \Omega$ is an unbranched Riemann domain with $\Omega$ Stein of dimension $n$ and $\Pi$ a locally $q$-complete morphism, then $X$ is cohomologically $q$-complete if $n\geq 3$ and $1\leq…

We extend some results on almost Gorenstein affine monomial curves to the nearly Gorenstein case. In particular, we prove that the Cohen-Macaulay type of a nearly Gorenstein monomial curve in $\mathbb{A}^4$ is at most $3$, answering a…

A \emph{locally irregular graph} is a graph whose adjacent vertices have distinct degrees. We say that a graph $G$ can be decomposed into $k$ locally irregular subgraphs if its edge set may be partitioned into $k$ subsets each of which…

We use pseudodeformation theory to study the analogue of Mazur's Eisenstein ideal with certain squarefree levels. Given a prime number $p>3$ and a squarefree number $N$ satisfying certain conditions, we study the Eisenstein part of the…

Let K be a field of characteristic zero. We describe an algorithm which requires a homogeneous polynomial F of degree three in K[x_0,x_1,x_2,x_3] and a zero A of F in P^3_K and ensures a linear pfaffian representation of V(F) with entries…

In this article we develop a new way of systematically constructing infinitely many families of smooth subvarieties $X$ of any given dimension $m$, $m \geq 3$, and any given codimension in $\mathbb P^N$, embedded by complete subcanonical…

We prove a sheaf-theoretic derived-category generalization of Greenlees-May duality (a far-reaching generalization of Grothendieck's local duality theorem): for a quasi-compact separated scheme X and a "proregular" subscheme Z---for…

A finite length graded $R$-module $M$ has the Weak Lefschetz Property if there is a linear element $\ell$ in $R$ such that the multiplication map $\times\ell: M_i\to M_{i+1}$ has maximal rank. The set of linear forms with this property form…

The link between (super)-affine Lie algebras as Poisson brackets structures and integrable hierarchies provides both a classification and a tool for obtaining superintegrable hierarchies. The lack of a fully systematic procedure for…

We prove embeddings of adelic groups on an excellent scheme of special type and a flat quasicoherent sheaf on it. For a normal excellent scheme of special type we establish the equality…

We study a closed differential form on the symmetric space of positive definite matrices, which is defined using the Pfaffian and is $\mathsf{GL}_{2n}(\mathbb{Z})$ invariant up to a sign. It gives rise to an infinite family of unstable…

In this paper we study singularities defined by the action of Frobenius in characteristic $p > 0$. We prove results analogous to inversion of adjunction along a center of log canonicity. For example, we show that if $X$ is a Gorenstein…

We show that for each fixed non-constant complex polynomial $P$ of the plane there exists a homeomorphism $h$ such that $P\circ h$ is a Lipschitz quotient mapping. This corrects errors in the construction given earlier by Johnson et. al.…

We show that the SO(3) monopole cobordism formula from Feehan and Leness (2002) implies that all smooth, closed, oriented four-manifolds with $b^1=0$ and $b^+\geq 3$ and odd with Seiberg-Witten simple type satisfy the superconformal simple…

We study Q-factorial terminal Fano 3-folds whose equations are modelled on those of the Segre embedding of P^2 x P^2. These lie in codimension 4 in their total anticanonical embedding and have Picard rank 2. They fit into the current state…

Fix a noetherian scheme S. For any flat map f: X->Y of separated essentially-finite-type perfect S-schemes we define a canonical derived-category map c(f):\H(X)->f^!\H(Y), the fundamental class of f, where \H(Z) is the (pre-)Hochschild…

The well-known Reifenberg theorem states that if a subset of $\mathbb{R}^n$ can be well approximated by $k$-planes at every point and every scale, then it is biH\"older homeomorphic to a $k$-disk. This article concerns a subset $S$ of…