Related papers: Projective Space in Synthetic Algebraic Geometry
For each connected complex reductive group G, we find a family of new examples of complex quasi-Hamiltonian G-spaces with G-valued moment maps. These spaces arise naturally as moduli spaces of (suitably framed) meromorphic connections on…
Motivated by strong desire to understand the natural geometry of moduli spaces of hyperbolic monopoles, we introduce and study a new type of geometry: pluricomplex geometry. It is a generalisation of hypercomplex geometry: we still have a…
We show that the isomorphism between the moduli space of certain parabolic Higgs bundles over an elliptic curve and the Hilbert scheme of n points of the cotangent bundle of the elliptic curve is a symplectomorphism with respect to their…
We investigate reductions of the two-dimensional Dirac equation imposed by the requirement of the existence of a differential operator $D_n$ of order $n$ mapping its eigenfunctions to adjoint eigenfunctions. For first order operators these…
The purpose of this paper is to describe the projective linear supergroup, its relation with the automorphisms of the projective superspace and to determine the supergroup of SUSY preserving automorphisms of ${\mathbf P}^{1|1}$
A biased graph is a graph with a class of selected circles ("cycles", "circuits"), called balanced, such that no theta subgraph contains exactly two balanced circles. A biased graph $\Omega$ has two natural matroids, the frame matroid…
This article is about the formalization of synthetic differential geometry with the Lean proof assistant and the mathematical library mathlib. The main result we prove and formalize is a Taylor theorem for functions of several variables,…
We wish to draw attention to an interesting and promising interaction of two theories. On the one hand, it is the theory of \textbf{pseudo-triangulations} which was useful for implicit solution of thecarpenter's rule problem and proved…
In this paper, we introduce a new kind of Siegel upper half space and consider the symplectic geometry on it explicitly under the action of the group of all holomorphic transformations of it. The results and methods will form a basis for…
The graph of a real symplectic linear transformation is an R-Lagrangian subspace of a complex symplectic vector space. The restriction of the complex symplectic form is thus purely imaginary and may be expressed in terms of the generating…
Syzygies capture intricate geometric properties of a subvariety in projective space. However, when the ambient space is a product of projective spaces or a more general smooth projective toric variety, minimal free resolutions over the Cox…
The main aim of this paper is to develop general algebraic and cohomological tools for the study of the local geometry of moduli and parameter spaces in Algebraic Geometry, culminating in the so-called Hitchin (or KZ) (projective)…
This is an extended version of a communication made at the international conference ``Noncommutative Geometry and Physics'' held at Orsay in april 2007. In this proceeding, we make a review of some noncommutative constructions connected to…
We consider principal fibre bundles with a given connection and construct almost complex structures on the total space if the adjoint bundle is isomorphic to the tangent bundle of the base. We derive the integrability condition. If the…
We introduce the notion of algebraic higher symmetry, which generalizes higher symmetry and is beyond higher group. We show that an algebraic higher symmetry in a bosonic system in $n$-dimensional space is characterized and classified by a…
We determine the automorphism group for a large class of affine quadric hypersurfaces over a field, viewed as affine algebraic varieties. In particular, we find that the group of real polynomial automorphisms of the n-sphere is just the…
We use the theory of Berezin-Toeplitz operators of Ma and Marinescu to study the spaces of holomorphic sections of a prequantizing line bundle over compact K\"ahler manifolds under deformations of the complex structure. We show that the…
What is the best representation for doing euclidean geometry on computers? These notes from a SIGGRAPH 2019 short course entitled "Geometric algebra for computer graphics" introduce projective geometric algebra (PGA) as a modern framework…
The $n$-dimensional affine group over the integers is the group $\mathcal G_n$ of all affinities on $\mathbb R^{n}$ which leave the lattice $ \mathbb Z^{n}$ invariant. $\mathcal G_n$ yields a geometry in the classical sense of the Erlangen…
We show that the description of the holomorphic $\mathbb C \mathrm P^1$-bundle associated to a holomorphic projective structure on a Riemann surface in terms of the principal bundle of projective $2$-frames extends very well to the setting…