Related papers: Connectedness Bertini Theorem via numerical equiva…
We study the structure of the asymptotic expansion of the probability that a combinatorial object is connected. We show that the coefficients appearing in those asymptotics are integers and can be interpreted as the counting sequences of…
We prove a conjecture of Penrose about the standard random geometric graph process, in which n vertices are placed at random on the unit square and edges are sequentially added in increasing order of lengths taken in the l_p norm. We show…
In this paper we extend recent results of Fiorini et al. on the extension complexity of the cut polytope and related polyhedra. We first describe a lifting argument to show exponential extension complexity for a number of NP-complete…
Let $k$ be an algebraically closed field of characteristic $p > 0$. We show that if $X\subseteq\mathbb{P}^n_k$ is an equidimensional subscheme with Hilbert--Kunz multiplicity less than $\lambda$ at all points $x\in X$, then for a general…
Using deformation theory of rational curves, we prove a conjecture of Sommese on the extendability of morphisms from ample subvarieties when the morphism is a smooth (or mildly singular) fibration with rationally connected fibers. We apply…
In this paper we introduce a generalisation of the notion of holonomy for connections over a bundle map on a principal fibre bundle. We prove that, as in the standard theory on principal connections, the holonomy groups are Lie subgroups of…
Let $E^*$ be a finite complex of locally free sheaves on a complex manifold $X$. We prove that to every connection of type $(1,0)$ on $E^*$ it is canonically associated an $L_{\infty}$ morphism $g\colon A^{0,…
Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…
We prove an analogue of the classical Bateman-Horn conjecture on prime values of polynomials for the ring of polynomials over a large finite field. Namely, given non-associate, irreducible, separable and monic (in the variable $x$)…
Let $G_1,\dots, G_m$ be independent Bernoulli random subgraphs of the complete graph ${\cal K}_n$ having variable sizes $X_1,\dots, X_m\in \{0,1,2,\dots\}$ and densities $Q_1,\dots, Q_m\in [0,1]$. Letting $n,m\to+\infty$ we establish the…
We prove `twisted' versions of Kirchhoff's network theorem and Kirchhoff's matrix-tree theorem on connected finite graphs. Twisting here refers to chains with coefficients in a flat unitary line bundle.
In homotopy type theory we can define the join of maps as a binary operation on maps with a common co-domain. This operation is commutative, associative, and the unique map from the empty type into the common codomain is a neutral element.…
We study the connectedness property of the spectrum of forcing algebras over a noetherian ring. In particular we present for an integral base ring a geometric criterion for connectedness in terms of horizontal and vertical components of the…
The generalized $k$-connectivity $\kappa_k(G)$ of a graph $G$, introduced by Chartrand et al., is a natural and nice generalization of the concept of (vertex-)connectivity. In this paper, we prove that for any two connected graphs $G$ and…
We study matching-removability under the degree/connectivity regime of Halin's theorem, which asserts that every $k$-connected graph $G$ with minimum degree $\delta(G)\ge k+1$ contains an edge $e$ such that $G-e$ remains $k$-connected. For…
Invoking the density argument of Dundas-Goodwillie-McCarthy, we extend the Fundamental Theorem of $K$-theory from the category of simplicial rings to the category of $\mathbb{S}$-algebras. As an intermediate step, we prove the Fundamental…
Let $F$ be a field, let $D$ be a local subring of $F$, and let Val$_F(D)$ be the space of valuation rings of $F$ that dominate $D$. We lift Zariski's connectedness theorem for fibers of a projective morphism to the Zariski-Riemann space of…
Let k be an algebraically closed subfield of the complex numbers, and X a variety defined over k. One version of the Beilinson-Hodge conjecture that seems to survive scrutiny is the statement that the Betti cycle class map cl_{r,m} :…
We prove a structural result for geometrically non-reduced varieties and give applications to Fano varieties. For example, we show that if $X$ is the generic fibre of a Mori fibre space of relative dimension $n$, and the characteristic is…
We prove that the graph of a discontinuous $n$-monomial function $f:\mathbb{R}\to\mathbb{R}$ is either connected or totally disconnected. Furthermore, the discontinuous monomial functions with connected graph are characterized as those…