Related papers: Grothendieck-Lefschetz Theory, Set-Theoretic Compl…

A new and extensive formalism is developed for monads and galaxies in non-standard enlargements. It is shown that monads and galaxies can be manipulated using order-preserving and order-reversing set-to-set maps, and that set properties…

We study the complexity of proving that a sparse random regular graph on an odd number of vertices does not have a perfect matching, and related problems involving each vertex being matched some pre-specified number of times. We show that…

In this article we study forbidden loci and typical ranks of forms with respect to the embeddings of $\mathbb P^1\times \mathbb P^1$ given by the line bundles $(2,2d)$. We introduce the Ranestad-Schreyer locus corresponding to supports of…

We investigate which chordal graphs have a representation as intersection graphs of pseudosegments. For positive we have a construction which shows that all chordal graphs that can be represented as intersection graph of subpaths on a tree…

Let $Z$ be a closed subscheme of a smooth complex projective variety $Y\subseteq \Ps^N$, with $\dim\,Y=2r+1\geq 3$. We describe the intermediate N\'eron-Severi group (i.e. the image of the cycle map $A_r(X)\to H_{2r}(X;\mathbb{Z})$) of a…

We continue the study of a general class of spaces of 0-cycles on a manifold defined and begun by Farb-Wolfson-Wood. Using work of Gadish on linear subspace arrangements, we obtain representation stability for the cohomology of the ordered…

For $S \subseteq \mathbb{R}$, positive integer $n$, and $d > 0$, let $G(S^n, d)$ be the graph whose vertex set is $S^n$ where any two vertices are adjacent if and only if they are Euclidean distance $d$ apart. The primary question we will…

Pach showed that every $d+1$ sets of points $Q_1,\dotsc,Q_{d+1} \subset \mathbb{R}^d$ contain linearly-sized subsets $P_i\subset Q_i$ such that all the transversal simplices that they span intersect. We show, by means of an example, that a…

For the almost complete intersection ideals $(x_1^2, \dots, x_n^2, (x_1 + \cdots + x_n)^k)$, we compute their reduced Gr\"obner basis for any term ordering, revealing a combinatorial structure linked to lattice paths, elementary symmetric…

We show that the Grothendieck ring of finite-dimensional representations of the periplectic Lie supergroup $P(n)$ is isomorphic to the ring of symmetric polynomials in $x_1^{\pm 1}, \ldots, x_n^{\pm 1}$ whose evaluation $x_1=x_2^{-1}=t$ is…

In this paper we give a new family of complete intersections which have the strong Lefschetz property. The family consists of (Artinian algebras defined by) ideals generated by power sum symmetric polynomials of consecutive degrees and of…

For a full-rank integral lattice $\mathcal{L}\subset\mathbb{R}^n$, Regev and Stephens-Davidowitz proved that \[N_{=k}(\mathcal{L}):=|\{y\in\mathcal{L}:\lVert y\rVert^2=k\}|\le 2\binom{n+2k-2}{2k-1}.\] We classify the equality cases. For…

We investigate Grothendieck topologies (in the sense of sheaf theory) on a poset $\P$ that are generated by some subset of $\P$. We show that such Grothendieck topologies exhaust all possibilities if and only if $\P$ is Artinian. If $\P$ is…

In this paper we study the ring of global sections of an open subset U=D(I) in Spec A, where A is a two-dimensional noetherian ring. The main concern is to give a geometric criterion when these rings are finitely generated, in order to…

A rational normal scroll structure on an $(n+1)$-dimensional manifold $M$ is defined as a field of rational normal scrolls of degree $n-1$ in the projectivised cotangent bundle $\mathbb{P}T^*M$. We show that geometry of this kind naturally…

Let $\langle K,\nu \rangle$ be a real closed valued field, and let $S\subseteq K^n$ be an open semi-algebraic set. Using tools from model theory, we find an algebraic characterization of rational functions which admit, on $S$, only values…

Let $W(D_n)$ denote the walk matrix of the Dynkin graph $D_n$, a tree obtained from the path of order $n-1$ by adding a pendant edge at the second vertex. We prove that $\text{rank}\,W(D_n)=n-2$ if $4\mid n$ and $\text{rank}\,W(D_n)=n-1$…

Let $W_{k,n}^{i}(m)$ denote a matrix with rows and columns indexed by the $k$-subsets and $n$-subsets, respectively, of an $m$-element set. The row $S$, column $T$ entry of $W_{k,n}^{i}(m)$ is $1$ if $|S \cap T| = i$, and is $0$ otherwise.…

We study rationality constructions for smooth complete intersections of two quadrics over nonclosed fields. Over the real numbers, we establish a criterion for rationality in dimension four.

Let A be the local ring at a point of a normal complex variety with completion R. Srinivas has asked about the possible images of the induced map from Cl A to Cl R over all geometric normal domains A with fixed completion R. We use…