We study when the derived intersection of two smooth subvarieties of a smooth variety is formal. As a consequence we obtain a derived base change theorem for non-transversal intersections. We also obtain applications to the study of the derived fixed locus of a finite group action and argue that for a global quotient orbifold the exponential map is an isomorphism between the Lie algebra of the free loop space and the loop space itself. This allows us to give new proofs of the HKR decomposition of orbifold Hochschild (co)homology into twisted sectors.
The recently developed 3D graphic statics (3DGS) lacks a rigorous mathematical definition relating the geometrical and topological properties of the reciprocal polyhedral diagrams as well as a precise method for the geometric construction of these diagrams. This paper provides a fundamental algebraic formulation for 3DGS by developing equilibrium equations around the edges of the primal diagram and satisfying the equations by the closeness of the polygons constructed by the edges of the corresponding faces in the dual/reciprocal diagram. The research provides multiple numerical methods for solving the equilibrium equations and explains the advantage of using each technique. The approach of this paper can be used for compression-and-tension combined form-finding and analysis as it allows constructing both the form and force diagram based on the interpretation of the input diagram. Besides, the paper expands on the geometric/static degrees of (in)determinacies of the diagrams using the algebraic formulation and shows how these properties can be used for the constrained manipulation of the polyhedrons in an interactive environment without breaking the reciprocity between the two. Keywords: Algebraic three-dimensional graphic statics, polyhedral reciprocal diagrams, geometric degrees of freedom, static degrees of indeterminacies, tension and compression combined polyhedra, constraint manipulation of polyhedral diagrams.
In this note we generalize a recent theorem of Guth and Katz on incidences between points and lines in 3-space from characteristic 0 to characteristic p, and we explain how some of the special features of algebraic geometry in characteristic p manifest themselves in problems of incidence geometry.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.