Related papers: Local Constancy of Intersection Numbers

The goal of this note is to show that in the case of transversal intersections the "true local terms" appearing in the Lefschetz trace formula equal to the "naive local terms". To prove the result we extend the method of [Va], where the…

We study infinite intersections of open subschemes and the corresponding intersection of Hilbert schemes. If $\{U_i\}$ is the collection of open subschemes of a variety $X$ containing a fixed point $P$, then we show that the Hilbert functor…

It is proved that a map $\varphi\colon R\to S$ of commutative noetherian rings that is essentially of finite type and flat is locally complete intersection if and only $S$ is proxy small as a bimodule. This means that the thick subcategory…

We call a family of sets intersecting, if any two sets in the family intersect. In this paper we investigate intersecting families $\mathcal{F}$ of $k$-element subsets of $[n]:=\{1,\ldots, n\},$ such that every element of $[n]$ lies in the…

There are many examples for point sets in finite geometry, which behave "almost regularly" in some (well-defined) sense, for instance they have "almost regular" line-intersection numbers. In this paper we investigate point sets of a…

We consider the concept of a local set of inference rules. A local rule set can be automatically transformed into a rule set for which bottom-up evaluation terminates in polynomial time. The local-rule-set transformation gives…

We generalise a formula of Shou-Wu Zhang, which describes local arithmetic intersection numbers of three Cartier divisors with support in the special fibre on a a self-product of a semi-stable arithmetic surface using elementary analysis.…

Let $(Q, \mathfrak{n})$ be a regular local ring and let $f_1, \ldots, f_c \in \mathfrak{n}^2$ be a $Q$-regular sequence. Set $(A, \mathfrak{m}) = (Q/(\mathbf{f}), \mathfrak{n}/(\mathbf{f}))$. Further assume that the initial forms $f_1^*,…

We generalize Fulton's Residual Intersection Theorem for the Segre class and express the Segre classes of schemes with regularly embedded components in terms of the Chern classes of the normal bundles to the components and their…

Working in a variant of the intersection type assignment system of Coppo, Dezani-Ciancaglini and Venneri [1981], we prove several facts about sets of terms having a given intersection type. Our main result is that every strongly normalizing…

We prove effective versions of Oppenheim's conjecture for generic inhomogeneous forms in the S-arithmetic setting. We prove an effective result for fixed rational shifts and generic forms and we also prove a result where both the quadratic…

In this paper, we show that there is a close relation between consistency in a constraint network and set intersection. A proof schema is provided as a generic way to obtain consistency properties from properties on set intersection. This…

We prove a theorem on the intersection theory over a Noetherian local ring $R$, which gives a new proof of a classical theorem of Rees about degree functions. To obtain this, we define an intersection product on schemes that are proper and…

A new approach to \'etale homotopy theory is presented which applies to a much broader class of objects than previously existing approaches, namely it applies not only to all schemes (without any local Noetherian hypothesis), but also to…

Classical definitions of locally complete intersection (l.c.i.) homomorphisms of commutative rings are limited to maps that are essentially of finite type, or flat. The concept introduced in this paper is meaningful for homomorphisms phi :…

Let $H$ be an open subgroup of a profinite group that can be expressed as intersection of maximal subgroups of $G.$ Given a positive real number $\eta,$ we say that $H$ is an $\eta$-intersection if there exists a family of maximal subgroups…

For a family $(A_q)_{q\in Q}$ of subsets of a semigroup, the product intersection set records those exponents $h \in \mathbb{N}$ for which the $h$-fold product set of the intersection, $(\bigcap_q A_q)^h$, is equal to $\bigcap_q A_q^h$, the…

We say that a group $G$ of local (maybe formal) biholomorphisms satisfies the uniform intersection property if the intersection multiplicity $(\phi (V), W)$ takes only finitely many values as a function of $G$ for any choice of analytic…

In this paper, we consider point sets of finite Desarguesian planes whose multisets of intersection numbers with lines is the same for all but one exceptional parallel class of lines. We call such sets regular of affine type. When the lines…

We present a construction that yields infinite families of non-isomorphic semidirect products $N \rtimes F_m$ sharing a specified profinite completion. Within each family, $m \ge 2$ is constant and $N$ is a fixed group. For $m=2$ we can…