Related papers: Methods in complete intersections in corank one

We introduce a new algebraic construction, {\em monop}, that combines monoids (with respect to the product of species), and operads (monoids with respect to the substitution of species) in the same algebraic structure. By the use of…

Ends and end cohomology are powerful invariants for the study of noncompact spaces. We present a self-contained exposition of the topological theory of ends and prove novel extensions including the existence of an exhaustion of a proper…

We study the set of common F_q-rational zeros of systems of multivariate symmetric polynomials with coefficients in a finite field F_q. We establish certain properties on these polynomials which imply that the corresponding set of zeros…

We establish radiative stability of generalized Proca effective field theories. While standard powercounting arguments would conclude otherwise, we find non-trivial cancellations of leading order corrections by explicit computation of…

Let $K$ be a field and $P=K[x_1,\dots,x_n]$. The technique of elimination by substitution is based on discovering a coherently $Z=(z_1,\dots,z_s)$-separating tuple of polynomials $(f_1,\dots,f_s)$ in an ideal $I$, i.e., on finding…

We give a general criterion for conformal embeddings of vertex operator algebras associated to affine Lie algebras at arbitrary levels. Using that criterion, we construct new conformal embeddings at admissible rational and negative integer…

We prove several results about zeros of paraorthogonal polynomials using the theory of rank one perturbations of unitary operators. In particular, we obtain new details on the interlacing of zeros for successive POPUC.

Combining a standard proof search method, such as resolution or tableaux, and rewriting is a powerful way to cut off search space in automated theorem proving, but proving the completeness of such combined methods may be challenging. It may…

We work in the setting of Zermelo-Fraenkel set theory without assuming the Axiom of Choice. We consider sets with the Boolean operations together with the additional structure of comparing cardinality (in the Cantorian sense of injections).…

We extend the light-front coupled-cluster (LFCC) method to include zero modes explicitly, in order to be able to compute vacuum structure in theories with symmetry breaking. Applications to phi^3 and phi^4 theories are discussed as…

Theory for open curves over a local field. After introducing the reciprocity map, we determine the kernel and the cokernel of this map. In addition to this, the Pontrjagin dual of the reciprocity map is also investigated. This gives the one…

In this paper the author provides a generalization of classical linkage, i.e. linkage by a complete intersection of dim. 0 or 1 on arithmetically Cohen-Macaulay schemes of any dimension. Namely she looks at residuals in the scheme theoretic…

We prove that, on a smooth projective variety over an algebraically closed field of characteristic 0, the semiregularity map annihilates every obstruction to embedded deformations of a local complete intersection subvariety with extendable…

We find the model completion of the theory modules over $A$, where $A$ is a finitely generated commutative algebra over a field $K$. This is done in a context where the field $K$ and the module are represented by sorts in the theory, so…

Given a set $\mathcal A = \{a_1,\ldots,a_n\} \subset \mathbb{N}^m$ of nonzero vectors defining a simplicial toric ideal $I_{\mathcal A} \subset k[x_1,...,x_n]$, where $k$ is an arbitrary field, we provide an algorithm for checking whether…

This is an expository paper on the subject of the title. It assumes basic scheme theory, commutative and homological algebra.

We construct virtual fundamental classes in all intersection theories including Chow theory, K-theory and algebraic cobordism for quasi-projective Deligne-Mumford stacks with perfect obstruction theories and prove the virtual pullback…

Let $V$ be a complete discrete valuation ring with residue field $\mathbb{F}$. We define a cyclic homology theory for algebras over $\mathbb{F}$, by lifting them to free algebras over $V$, which we enlarge to tube algebras and complete…

We prove an analogue of the Affine Horrocks' Theorem for local complete intersection ideals of height $n$ in $R[T]$, where $R$ is a regular domain of dimension $d$, which is essentially of finite type over an infinite perfect field of…

We give a cohomological classification of vector bundles of rank $2$ on a smooth affine threefold over an algebraically closed field having characteristic unequal to $2$. As a consequence we deduce that cancellation holds for rank $2$…