Related papers: Methods in complete intersections in corank one
The classical as well as non commutative Korovkin-type theorems deal with convergence of positive linear maps with respect to modes of convergences such as norm convergence and weak operator convergence. In this article, Korovkin-type…
We prove completeness, interpolation, decidability and an omitting types theorem for certain multi dimensional modal logics where the states are not abstract entities but have an inner structure. The states will be sequences. Our approach…
We present a class of toric varieties $V$ which, over any algebraically closed field of characteristic zero, are defined by codim $V$+1 binomial equations.
We introduce techniques of Suslin, Voevodsky, and others into the study of singular varieties. Our approach is modeled after Goresky-MacPherson intersection homology. We provide a formulation of perversity cycle spaces leading to perversity…
We propose a unifying setting for dealing with monodromically atypical intersections that goes beyond the usual Zilber-Pink conjecture. In particular we obtain a new proof of finiteness of the maximal atypical orbit closures in each stratum…
We have proved the following Problem:{\it Let $R$ be a $\mathbb{C}$-affine domain, let $T$ be an element in $R \setminus \mathbb{C}$ and let $i : \mathbb{C}[T] \hookrightarrow R$ be the inclusion. Assume that $R/TR \cong_{\mathbb{C}}…
Given a finite dimensional algebra over a perfect field the text introduces covering functors over the mesh category of any modulated Auslander-Reiten component of the algebra. This is applied to study the composition of irreducible…
This paper is to look for bi-Frobenius algebra structures on quantum complete intersections. We find a class of comultiplications, such that if $\sqrt{-1}\in k$, then a quantum complete intersection becomes a bi-Frobenius algebra with…
We characterize those intersection-type theories which yield complete intersection-type assignment systems for lambda-calculi, with respect to the three canonical set-theoretical semantics for intersection-types: the inference semantics,…
This paper is the third in an investigation begun in arXiv:1906.05602 and arXiv:1907.07571 of extending the T1 theorem of David and Journ\'e, and optimal cancellation conditions, to more general weight pairs. The main result here is that…
We study the complete intersection property and the algebraic invariants (index of regularity, degree) of vanishing ideals on degenerate tori over finite fields. We establish a correspondence between vanishing ideals and toric ideals…
In this survey-research paper, we first introduce the theory of Smith classes of complexes with fixed-point free, periodic maps on them. These classes, when defined for the deleted product of a simplicial complex $K$, are the same as the…
The study of modules over a finite von Neumann algebra ${\mathcal A}$ can be advanced by the use of torsion theories. In this work, some torsion theories for ${\mathcal A}$ are presented, compared and studied. In particular, we prove that…
We formulate a theory of pointed manifolds, accommodating both embeddings and Pontryagin-Thom collapse maps, so as to present a common generalization of Poincar\'e duality in topology and Koszul duality in $\mathcal{E}_n$-algebra.
Developing a previous idea of Faltings, we characterize the complete intersections of codimension 2 in P^n, n>=3, over an algebraically closed field of any characteristic, among l.c.i. X, as those that are subcanonical and…
We reconsider the Adler-Bardeen theorem for the cancellation of gauge anomalies to all orders, when they vanish at one loop. Using the Batalin-Vilkovisky formalism and combining the dimensional-regularization technique with the…
Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field,…
We introduce a finite-dimensional algebra that controls the possible boundary conditions of a conformal field theory. For theories that are obtained by modding out a Z_2 symmetry (corresponding to a so-called D_odd-type, or half-integer…
The main goal of this article is to provide a proof of the Pederson-Roy-Szpirglas theorem about counting common real zeros of real polynomial equations by using basic results from Linear algebra and Commutative algebra. The main tools are…
There is a well known link from the first topic in the title to the third one. In this paper we thread that link through the second topic. The central result is a criterion for the tensor nilpotence of morphisms of perfect complexes over…