Related papers: Quotients by complex conjugation for real complete…
The mixing operation for abstract polytopes gives a natural way to construct the minimal common cover of two polytopes. In this paper, we apply this construction to the regular convex polytopes, determining when the mix is again a polytope,…
A digraph is semicomplete if any two vertices are connected by at least one arc and is locally semicomplete if the out-neighbourhood and the in-neighbourhood of any vertex induce a semicomplete digraph. In this paper we study various…
We show that the components, appearing in the decomposition theorem for contraction maps of torus actions of complexity one, are intersection cohomology complexes of even codimensional subvarieties. As a consequence, we obtain the vanishing…
This paper constructs (with challenging obstacles) on the three torus with its cubical decomposition: Firstly, a combinatorial graded intersection algebra (graded by the codimension) which is commutative and associative defined by…
Let $X_{2k}$ be a set of $2k$ labeled points in convex position in the plane. We consider geometric non-intersecting straight-line perfect matchings of $X_{2k}$. Two such matchings, $M$ and $M'$, are disjoint compatible if they do not have…
We give a new perspective of Heegaard splittings in terms square complexes and Guirardel's notion of a \textit{core} which allows for combinatorial measurement of the obstruction to being a connect sum of Heegaard diagrams. A Heegaard…
We show how for every integer n one can explicitly construct n distinct plane quartics and one hyperelliptic curve over the complex numbers all of whose Jacobians are isomorphic to one another as abelian varieties without polarization. When…
Associated to a simple undirected graph $G$ is a simplicial complex $\Delta_G$ whose faces correspond to the independent sets of $G$. A graph $G$ is called vertex decomposable if $\Delta_G$ is a vertex decomposable simplicial complex. We…
Let G be a simple algebraic group over an algebraically closed field of characteristic zero and X be a spherical conjugacy class of G. We determine the decomposition of the coordinate ring of X into simple G-modules.
The_commuting variety_ is the pairs of NxN matrices (X,Y) such that XY = YX. We introduce the_diagonal commutator scheme_, {(X,Y) : XY-YX is diagonal}, which we prove to be a reduced complete intersection, one component of which is the…
We prove that a generic complete intersection Calabi-Yau 3-fold defined by sections of ample line bundles on a product of projective spaces admits a conifold transition to a connected sum of S^{3} \times S^{3}. In this manner, we obtain…
We prove that every connected component of an intersection of tropical hypersurfaces contains a point of their stable intersection unless their stable intersection is empty. This is done by studying algebraic hypersurfaces that tropicalize…
In this paper, we develop a new approach to the discrimi-nant of a complete intersection curve in the 3-dimensional projective space. By relying on the resultant theory, we first prove a new formula that allows us to define this…
We study the relation between a complex projective set C in CP^n and the set R in RP^(2n+1) defined by viewing each equation of C as a pair of real equations. Once C is presented by quadratic equations, we can apply a spectral sequence to…
We provided two explicit formulas for the intersection cohomology (as a graded vector space with pairing) of the symplectic quotient by a circle in terms of the $S^1$ equivariant cohomology of the original symplectic manifold and the fixed…
We determine which connected surfaces can be partitioned into topological circles. There are exactly seven such surfaces up to homeomorphism: those of finite type, of Euler characteristic zero, and with compact boundary components. As a…
For a smoothing Y of a 2-dimensional cyclic quotient singularity X, we construct a simple handle decomposition of Y by using a particular birational map from Y to the projective plane. The manifold Y is built up from the product of an…
Polytope complexes are the generalisation of polygon meshes in geo-information systems (GIS) to arbitrary dimension, and a natural concept for accessing spatio-temporal information. Complexes of each dimension have a straight-forward…
Let X be a Hausdorff quotient of a standard space (that is of a locally compact separable metric space). It is shown that the following are equivalent: (i) X is the image of an irreducible quotient map from a standard space; (ii) X has a…
A method to define the complex structure and separate the conformal mode is proposed for a surface constructed by two-dimensional dynamical triangulation. Applications are made for surfaces coupled to matter fields such as $n$ scalar fields…