Related papers: Algebraic and Geometric intersection numbers for f…
A group $G$ is said to satisfy the finitely generated intersection property (f.g.i.p.) if the intersection of any two finitely generated subgroups of $G$ is again finitely generated. The aim of this article is to understand when the…
Let $\mathcal{T}$ be a set of $n$ flat (planar) semi-algebraic regions in $\mathbb{R}^3$ of constant complexity (e.g., triangles, disks), which we call plates. We wish to preprocess $\mathcal{T}$ into a data structure so that for a query…
The author has already proven that the space $\Delta(\Pi_n)/G$ is homotopy equivalent to a wedge of spheres of dimension $n-3$ for all natural numbers $n\geq 3$ and all subgroups $G\subset S_1\times S_{n-1}$. We construct an $S_1\times…
We prove a symmetric version of B\'ezout's theorem. More precisely, we show that the symmetric orbit type of a transverse intersection of complex symmetric hypersurfaces in projective space is determined by the degrees. In the projective…
In recent work of T. Cassidy and the author, a notion of complete intersection was defined for (non-commutative) regular skew polynomial rings, defining it using both algebraic and geometric tools, where the commutative definition is a…
Delorme suggested that the set of all complete intersection numerical semigroups can be computed recursively. We have implemented this algorithm, and particularized it to several subfamilies of this class of numerical semigroups: free and…
We present a SageMath package for calculating elliptic genera of homogeneous spaces and their complete intersections. This includes the calculation of the basis of weak Jacobi forms, Chern numbers of homogeneous spaces and their complete…
We construct a finite subgroup of Brauer-Manin obstruction for detecting the existence of integral points on integral models of homogeneous spaces of linear algebraic groups of multiplicative type. As application, the strong approximation…
We present a simple and efficient algorithm to compute the sum of the algebraic conjugates of a point on an elliptic curve.
We compute the number of orbit types for simply connected simple algebraic groups over algebraically closed fields as well as for compact simply connected simple Lie groups. We also compute the number of orbit types for the adjoint action…
In this paper, we provide the upper bound and the lower bound of the sum of the number of spherical face-partition pair of simple spherical polytope $P$ with $p$ facets.
Given a cycle module M with a ring structure we show that the cycle complex with coefficients in M of a smooth scheme of finite type over a field has a A-infinity algebra structure. In the case of Milnor K-theory this gives a homotopy model…
Mirkovic and Vilonen discovered a canonical basis of algebraic cycles for the intersection homology of (the closures of the strata of) the loop Grassmannian. The moment map images of these varieties are a collection of polytopes, and they…
We study the interplay between Steinberg algebras and partial skew rings: For a partial action of a group in a Hausdorff, locally compact, totally disconnected topological space, we realize the associated partial skew group ring as a…
We construct chain maps between the bar and Koszul resolutions for a quantum symmetric algebra (skew polynomial ring). This construction uses a recursive technique involving explicit formulae for contracting homotopies. We use these chain…
Let $k$ be an algebraically closed field. Let $C$ be an irreducible smooth projective curve over $k$. Let $E$ be a locally free sheaf on $C$ of rank $\geq 2$. Fix an integer $d \geq 2$. Let $\mathcal{Q}$ denote the Quot scheme…
We consider the intersection map on the family of non-empty $\omega$-Scott-open sets of the lattice of opens of a topological space. We prove that in a certain class of topological spaces the intersection map forms a continuous retraction…
Let $k$ be an algebraically closed field of prime characteristic $p$ and $P$ a finite $p$-group. We compute the Scott $kG$-module with vertex $P$ when $\mathcal{F}$ is a constrained fusion system on $P$ and $G$ is Park's group for…
We introduce an algebra given by quadratic relations in an algebra of polynomials in an infinite number of variables. Using this algebra, we prove some explicit formulas for the Sturm sequence of a polynomial.
We prove several positive results regarding representation of homotopy classes of spheres and algebraic groups by regular mappings. Most importantly we show that every mapping from a sphere to an orthogonal or a unitary group is homotopic…