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

We prove that if an $n$-vertex graph $G$ is non-extremal and $T$ is a bounded degree tree on $n$ vertices, then $T\subset G$ even when the minimum degree of $G$ is less than $n/2$ by a linear term. We avoid the use of the Regularity lemma,…

The rational Chow ring A?(S[n],Q) of the Hilbert scheme S[n] parametrising the length n zero-dimensional subschemes of a toric surface S can be described with the help of equivariant techniques. In this paper, we explain the general method…

This is an expanded version of the two papers "Interpolation of Varieties of Minimal Degree" and "Interpolation Problems: Del Pezzo Surfaces." It is well known that one can find a rational normal curve in $\mathbb P^n$ through $n+3$ general…

A standard graded artinian monomial complete intersection algebra $A=\Bbbk[x_1,x_2,\ldots,x_n]/(x_1^{a_1},x_2^{a_2},\ldots,x_n^{a_n})$, with $\Bbbk$ a field of characteristic zero, has the strong Lefschetz property due to Stanley in 1980.…

The main result of this paper states that in a rooted product of a path with rooted graphs which are disposed in a somewhat mirror-symmetric fashion, there are distinct eigenvalues supported in the end vertices of the path which are too…

Although the categorical arithmetic is not effectively axiomatizable, the belief that the incompleteness Theorems can be apply to it is fairly common. Furthermore, the so-called "essential" (or "inherent") semantic incompleteness of the…

We introduce arrangements of rational sections over curves. They generalize line arrangements on P^2. Each arrangement of d sections defines a single curve in P^{d-2} through the Kapranov's construction of \bar{M}_{0,d+1}. We show a…

We show that the Specht ideal of a two-rowed partition is perfect over an arbitrary field, provided that the characteristic is either zero or bounded below by the size of the second row of the partition, and we show this lower bound is…

Multisymplectic geometry is a generalization of symplectic geometry suitable for n-dimensional field theories, in which the nondegenerate 2-form of symplectic geometry is replaced by a nondegenerate (n+1)-form. The case n = 2 is relevant to…

In the long paper "Family Blowup formula, Admissible Graphs and the Enumeration of Singular Curves (I)" (appearing in JDG), the author solved the enumeration problem of nodal (or general singular) curve counting on algebraic surfaces by…

Erd\H{o}s and West (Discrete Mathematics'85) considered the class of $n$ vertex intersection graphs which have a {\em $d$-dimensional} {\em $t$-representation}, that is, each vertex of a graph in the class has an associated set consisting…

We study irreducible subvarieties of the universal hypersurface $\mathcal{X}/B$ of degree $d$ and dimension $n$. We prove that when $d$ is sufficiently large, a degree $kd$ subvariety $Z$ which dominates $B$ comes from intersection with a…

We introduce the notion of $n$-pure geometric morphism between Grothendieck toposes, over a Grothendieck base topos $\mathcal{T}$. This is a higher-dimensional analogue of the concepts of dense and pure geometric morphism. We extend the…

We introduce a new method to construct a Grothendieck category from a given colored quiver. This is a variant of the construction used to prove that every partially ordered set arises as the atom spectrum of a Grothendieck category. Using…

In this paper we consider a generalization of a well known result by Veronese about rational normal curves. More precisely, given a collection of linear spaces in $\PP^n$ we study the existence of rational normal curves intersecting each…

For the completion B of a local geometric normal domain, V. Srinivas asked which subgroups of Cl B arise as the image of the map from Cl A to Cl B on class groups as A varies among normal geometric domains with B isomorphic to the…

Let $G$ be a simple graph on $n$ vertices. Let $L_G \text{ and } \mathcal{I}_G \: $ denote the Lov\'asz-Saks-Schrijver(LSS) ideal and parity binomial edge ideal of $G$ in the polynomial ring $S = \mathbb{K}[x_1,\ldots, x_n, y_1, \ldots,…

The subring of the Grothendieck ring of varieties generated by the graph hypersurfaces of quantum field theory maps to the monoid ring of stable birational equivalence classes of varieties. We show that the image of this map is the copy of…

Dyadic rationals are rationals whose denominator is a power of $2$. We define dyadic $n$-dimensional convex sets as the intersections with $n$-dimensional dyadic space of an $n$-dimensional real convex set. Such a dyadic convex set is said…

In this paper we extend a result of Cowsik on set-theoretic complete intersection and a result Huneke, Morales and Goto and Nishida about Noetherian symbolic Rees algebras of ideals. As applications, we show that the symbolic Rees algebras…