Related papers: Hypertoric varieties and zonotopal tilings
In this paper, the concept of toric difference varieties is defined and four equivalent descriptions for toric difference varieties are presented in terms of difference rational parametrization, difference coordinate rings, toric difference…
We recall the definition of classical polar varieties, as well as those of affine and projective reciprocal polar varieties. The latter are defined with respect to a non-degenerate quadric, which gives us a notion of orthogonality. In…
A new class of full fans in an euclidean space - tight fans - is introduced. Such fans are defined using a property of local symmetry in a face of a tiling. Tight fans are related to the theory of parallelotopes in an euclidean space. A…
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…
We define a special type of hypersurface varieties inside $\mathbb{P}_k^{n-1}$ arising from connected planar graphs and then find their equivalence classes inside the Gr\"othendieck ring of projective varieties. Then we find a…
Associated to a toric variety $X$ of dimension $r$ over a field $k$ is a fan $\Delta$ on $\Bbb R^r$. The fan $\Delta$ is a finite set of cones which are in one-to-one correspondence with the orbits of the torus action on $X$. The fan…
We introduce a relative tilting theory in abelian categories and show that this work offers a unified framework of different previous notions of tilting, ranging from Auslander-Solberg relative tilting modules on Artin algebras to…
We classify the holomorphic parabolic geometries on compact complex manifolds of general type. We accomplish this by bounding the numerical dimension of any smooth projective variety in terms of geometric invariants of the flag variety…
Given a matrix Schubert variety $\overline{X_\pi}$, it can be written as $\overline{X_\pi}=Y_\pi\times \mathbb{C}^q$ (where $q$ is maximal possible). We characterize when $Y_{\pi}$ is toric (with respect to a $(\mathbb{C}^*)^{2n-1}$-action)…
We introduce a new type of aperiodic hexagonal monotile; a prototile that admits infinitely many tilings of the plane, but any such tiling lacks any translational symmetry. Adding a copy of our monotile to a patch of tiles must satisfy two…
Categories of lenses/optics and Dialectica categories are both comprised of bidirectional morphisms of basically the same form. In this work we show how they can be considered a special case of an overarching fibrational construction,…
We generalize classical results about the topology of toric varieties to the case of projective Q-factorial T-varieties of complexity one using the language of divisorial fans. We describe the Hodge-Deligne polynomial in the smooth case,…
In this note we use techniques in the topology of 2-complexes to recast some tools that have arisen in the study of planar tiling questions. With spherical pictures we show that the tile counting group associated to a set $T$ of tiles and a…
We introduce a class of combinatorial hypersurfaces in the complex projective space. They are submanifolds of codimension~2 in $\C P^n$ and are topologically "glued" out of algebraic hypersurfaces in $(\C^*)^n$. Our construction can be…
We introduce and study the number of tilings of unit height rectangles with irrational tiles. We prove that the class of sequences of these numbers coincides with the class of diagonals of N-rational generating functions and a class of…
Here are few notes on not necessarily normal toric varieties and resolution by toric blow-up. These notes are independent of, but in the same spirit as the earlier preprint arXiv:math.AG/0306221. That is, they focus on the fact that toric…
Recent advances in computational techniques for $K$-theory allow us to describe the $K$-theory of toric varieties in terms of the $K$-theory of fields and simple cohomological data.
We survey variety theory for modules of finite dimensional Hopf algebras, recalling some definitions and basic properties of support and rank varieties where they are known. We focus specifically on properties known for classes of examples…
We define a notion on preadditive categories which plays a role similar to the notion of a Grothendieck pretopology on an unenriched category. Each such additive pretopology defines an additive Grothendieck topology and suffices to define…
We use tools of mathematical logic to analyse the notion of a path on an complex algebraic variety, and are led to formulate a "rigidity" property of fundamental groups specific to algebraic varieties, as well as to define a bona fide…