Envelopes created by circle families in the plane

Yongqiao Wang,Takashi Nishimura

DOI: https://doi.org/10.48550/arXiv.2301.04478

2023-05-09

Abstract:In this paper, on envelopes created by circle families in the plane, all four basic problems (existence problem, representation problem, problem on the number of envelopes, problem on relationships of definitions) are solved.

Differential Geometry

What problem does this paper attempt to address?

Envelopes created by pseudo-circle families in the Minkowski plane

Yongqiao Wang,Lin Yang,Yuan Chang,Pengcheng Li

2024-07-10

Abstract:In this paper, we address the topic of envelopes created by pseudo-circle families in the Minkowski plane, which exhibit some different properties when compared with the Euclidean case. We provide solutions to all four basic problems associated with these envelopes, namely the existence problem, representation problem, problem on the number of envelopes, and problem on the relationships of definitions.

Differential Geometry
On envelopes of circle families in the plane

Yongqiao Wang,Takashi Nishimura

2023-09-06

Abstract:In this paper we investigate the relationships between envelopes of circle families and some special curves in the plane, such as evolutes, pedals, evolutoids and pedaloids.

Differential Geometry
Envelopes of straight line families in the plane

Takashi Nishimura

2024-05-07

Abstract:There is a widespread method to represent the envelope when a given hyperplane family creates an envelope. However, one sometimes encounters cases when the widespread method fails to represent the desired envelope precisely, and is confused. At the same time, one wants to find a correct method to draw the envelope precisely. In this article, focused on straight line families in the plane, an easy to understand explanation is given on the recently discovered correct method to represent the envelope precisely. Moreover, it is explained when and why the widespread method fails to represent the precise shape of envelope as well.

Differential Geometry
Applications of Envelopes

Kelly Bickel,Pamela Gorkin,Trung Tran

DOI: https://doi.org/10.48550/arXiv.1810.11678

2018-10-28

Abstract:Intuitively, an envelope of a family of curves is a curve that is tangent to a member of the family at each point. Here we use envelopes of families of circles to study objects from matrix theory and hyperbolic geometry. First we explore relationships between numerical ranges of $2\times 2$ matrices and families of circles to study the elliptical range theorem. Then we deduce a relationship between envelopes and the boundaries of families of intersecting circles and use it to find the boundaries of various families of pseudohyperbolic disks.

Functional Analysis,Complex Variables
Circle Action and Some Vanishing Results on Manifolds

Ping Li,Kefeng Liu

DOI: https://doi.org/10.1142/s0129167x11007380

2011-01-01

International Journal of Mathematics

Abstract:Kawakubo and Uchida showed that, if a closed oriented 4k-dimensional manifold M admits a semi-free circle action such that the dimension of the fixed point set is less than 2k, then the signature of M vanishes. In this note, by using G-signature theorem and the rigidity of the signature operator, we generalize this result to more general circle actions. Combining the same idea with the remarkable Witten-Taubes-Bott rigidity theorem, we explore more vanishing results on spin manifolds admitting such circle actions. Our results are closely related to some earlier results of Conner-Floyd, Landweber-Stong and Hirzebruch-Slodowy.
RELATIVELY FLAT ENVELOPES

NQ DING

1994-01-01

Abstract:The aim of this paper is to investigate relatively flat envelopes. A necessary and sufficient condition is given for a relatively-finitely presented module to have a (monomorphic or epic) relatively flat envelope. Then those rings are characterized whose every relatively-finitely presented module has a relatively flat envelope which coincides with its injective envelope. Some known results are obtained as corollaries.
A Note On Existence Of Envelopes And Covers

Jl Chen,Nq Ding

DOI: https://doi.org/10.1017/S0004972700021791

1996-01-01

Bulletin of the Australian Mathematical Society

Abstract:We prove the following results for a ring R. (a) If C is a class of right R-modules closed under direct summands and isomorphisms, then every right R-module has an epic C-envelope if and only if C is closed under direct products and submodules. (b) If R is left T-coherent and pure injective as a right R-module, then every T-finitely presented right R-module has a T-flat envelope. (c) Let R be a left T-coherent ring and injective right R-modules be T-flat. If every finitely presented left R-module has a flat envelope, then every T-finitely presented right R-module has a projective cover.
On tau-flat envelopes

JL Chen,NQ Ding

1999-01-01

Algebra Colloquium

Abstract:We investigate two kinds of tau-flat envelopes: tau-flat envelopes with the unique mapping property and tau-flat envelopes which are monomorphisms. Several known results are obtained as corollaries of the main results of this paper.
On Envelopes With The Unique Mapping Property

Nanqing Ding

DOI: https://doi.org/10.1080/00927879608825646

1996-01-01

Communications in Algebra

Abstract:We prove that (a) if R is a left coherent ring, then the weak global dimension wD(R) less than or equal to n (n greater than or equal to 2) if and only if every (n - 2)th F-cosyzygy of a finitely presented right R-module has a hat envelope with the unique mapping property; (b) if R is a left coherent and right perfect ring, then the right global dimension rD(R) less than or equal to n (n greater than or equal to 2) if and only if every (n - 2)th P-cosyzygy of a right R-module has a projective envelope with the unique mapping property; (c) if R is a commutative ring, then R is IT-coherent (resp. coherent) and the exactness of 0 --> K --> F-0 --> F-1 with F-0 and F-1 (finitely) projective and K finitely generated implies the projectivity of K if and only if every finitely generated (resp. finitely presented) R-module has a (finitely) projective envelope with the unique mapping property.
Existence and orthogonality of stable envelopes for bow varieties

Catharina Stroppel,Till Wehrhan

2023-12-06

Abstract:Stable envelopes, introduced by Maulik and Okounkov, provide a family of bases for the equivariant cohomology of symplectic resolutions. The theory of stable envelopes provides a fascinating interplay between geometry, combinatorics and integrable systems. In this expository article, we give a self-contained introduction to cohomological stable envelopes of type A bow varieties (an interesting class of varieties extending Nakajima quiver varieties). Our main focus is on the existence and the orthogonality properties of stable envelopes for bow varieties. The restriction to this specific class of varieties allows us to illustrate the theory combinatorially and to provide simplified proofs, both laying a basis for explicit calculations.

Algebraic Geometry,High Energy Physics - Theory,Combinatorics,Representation Theory
Diophantine Geometry over Groups IX: Envelopes and Imaginaries

Zlil Sela

2024-11-11

Abstract:This paper is the ninth in a sequence on the structure of sets of solutions to systems of equations in free and hyperbolic groups, projections of such sets (Diophantine sets), and the structure of definable sets over free and hyperbolic groups. In the ninth paper we associate a Diophantine set with a definable set, and view it as the Diophantine envelope of the definable set. We use the envelope and duo limit groups that were used in proving stability of the theory of free and torsion-free hyperbolic groups [Se9], to study definable equivalence relations, and in particular, to classify imaginaries over these groups.

Group Theory,Logic
Bow varieties: Stable envelopes and their 3d mirror symmetry

Tommaso Maria Botta,Richard Rimanyi

2023-09-09

Abstract:In this paper we study the elliptic characteristic classes known as ''stable envelopes'', which were introduced by M. Aganagic and A. Okounkov. We prove that for a rich class of holomorphic symplectic varieties$\unicode{x2013}$called Cherkis bow varieties$\unicode{x2013}$their elliptic stable envelopes exhibit a duality property inspired by mirror symmetry in $d=3$, $\mathcal N=4$ quantum field theories. A crucial step of our proof involves the process of ''resolving'' large charge branes into multiple smaller charge branes. This phenomenon turns out to be the geometric counterpart of the algebraic fusion procedure. Along the way we discover various new features in the geometry of bow varieties.

Algebraic Geometry,Mathematical Physics,Quantum Algebra,Representation Theory
Envelopes of Bisection Lines of Polygons

Joel Albertacci Marques da Silva,Marcos Craizer

2024-07-05

Abstract:A bisection line divides a convex planar curve into two parts with equal areas. It is natural to study the envelope of these lines, which in general present singularities. The polygonal case is particularly inte\-resting, since there are several different notions of a discrete envelope. In this paper, we study three different notions of discrete envelopes of bisection lines and the connections between them.

Differential Geometry
Truncated tube domains with multi-sheeted envelope

Suprokash Hazra,Egmont Porten

2023-06-01

Abstract:The present article is concerned with a group of problems raised by J. Noguchi and M. Jarnicki/P. Plug, namely whether the envelopes of holomorphy of truncated tube domains are always schlicht, i.e. subdomains of $\mathbb{C^n}$, and how to characterize schlichtness if this is not the case. By way of a counter-example homeomorphic to the 4-ball, we answer the first question in the negative. Moreover, it is possible that the envelopes have arbitrarily many sheets. The article is concluded by sufficient conditions for schlichtness in complex dimension two.

Complex Variables
Envelopes for Algebraic Patterns

Shaul Barkan,Rune Haugseng,Jan Steinebrunner

2024-11-04

Abstract:We generalize Lurie's construction of the symmetric monoidal envelope of an $\infty$-operad to the setting of algebraic patterns. This envelope becomes fully faithful when sliced over the envelope of the terminal object, and we characterize its essential image. Using this, we prove a comparison result that allows us to compare analogues of $\infty$-operads over various algebraic patterns. In particular, we show that the $G$-$\infty$-operads of Nardin-Shah are equivalent to "fibrous patterns" over the $(2, 1)$-category $\mathrm{Span}(\mathbb{F}_G)$ of spans of finite $G$-sets. When $G$ is trivial this means that Lurie's $\infty$-operads can equivalently be defined over $\mathrm{Span}(\mathbb{F})$ instead of $\mathbb{F}_*$.

Category Theory,Algebraic Topology
Circle patterns on surfaces of finite topological type

Huabin Ge,Bobo Hua,Ze Zhou

DOI: https://doi.org/10.48550/arXiv.1909.03419

2019-09-08

Abstract:This paper investigates circle patterns with obtuse exterior intersection angles on surfaces of finite topological type. We characterise the images of the curvature maps and establish several equivalent conditions regarding long time behaviors of Chow-Luo's combinatorial Ricci flows for these patterns. As consequences, several generalizations of circle pattern theorem are obtained. Moreover, our approach suggests a computational method to find the desired circle patterns.

Geometric Topology
Envelopes And Covers By Modules Of Finite Fp-Injective And Flat Dimensions

Lixin Mao,Nanqing Ding

DOI: https://doi.org/10.1080/00927870601115757

2007-01-01

Communications in Algebra

Abstract:Let R be a ring, n a fixed non-negative integer and FIn (F-n) the class of all right (left) R-modules of FP-injective (flat) dimension at most n. We prove that (FIn, FIn perpendicular to) is a perfect cotorsion theory if R is a right coherent ring with FP-id (R-R) <= n. This result was proven by Aldrich, Enochs, Jenda, and Oyonarte in Noetherian case. The modules in F-n(perpendicular to) are also studied. Some applications are given.
An infinite family of braid group representations

Wonjun Chang,Byung Chun Kim,Yongjn Song

DOI: https://doi.org/10.48550/arXiv.2003.02496

2020-03-05

Abstract:The $d$-fold ($d \geq 3$) branched coverings on a disk give an infinite family of nongeometric embeddings of braid groups into mapping class groups. We, in this paper, give new explicit expressions of these braid group representations into automorphism groups of free groups in terms of the actions on the generators of free groups. We also give a systematic way of constructing and expressing these braid group representations in terms of a new gadget, called covering groupoid. We prove that each generator $\widetilde{\beta}_i$ of braid group inside mapping class group induced by $d$-fold covering is the product of $d-1$ Dehn twists on the surface.

Geometric Topology
Relative injective envelopes and relative projective covers on ring extensions

Shufeng Guo

DOI: https://doi.org/10.1080/00927872.2024.2309525

2024-02-08

Communications in Algebra

Abstract:A ring extension is a ring homomorphism preserving identities. In this paper, we give the definitions of relative injective envelopes and relative projective covers of modules on ring extensions, and study their basic properties. In particular, we give their equivalent characterizations in terms of relative essential monomorphisms and relative superfluous epimorphisms, and prove that relative injective envelopes and relative projective covers on ring extensions are unique up to isomorphism whenever they exist. Moreover, for an extension of Artin algebras, we show that every finitely generated module has both a relative injective envelope and a relative projective cover. In addition, we compare relative injective envelopes and relative projective covers on two ring extensions linked by surjective homomorphisms of rings respectively.

mathematics
Covers and Envelopes by #-ℱ Complexes

Li Liang,Nanqing Ding,Gang Yang

DOI: https://doi.org/10.1080/00927872.2010.501774

2011-01-01

Communications in Algebra

Abstract:Let ℱ be a class of R-modules. #-ℱ complexes are introduced and investigated in this article. We say that a complex C is a #-ℱ complex if all terms C i are in ℱ for i ∈ ℤ, and we denote the class of #-ℱ complexes by . Some characterizations of #-ℱ complexes are given. The existence of -(pre)envelopes and -(pre)covers of complexes is discussed, and as a consequence, some known results are recovered. Some relations between -(pre)covers of a complex X and ℱ-(pre)covers of the R-modules X i are also studied.

Envelopes created by circle families in the plane

Envelopes created by pseudo-circle families in the Minkowski plane

On envelopes of circle families in the plane

Envelopes of straight line families in the plane

Applications of Envelopes

Circle Action and Some Vanishing Results on Manifolds

RELATIVELY FLAT ENVELOPES

A Note On Existence Of Envelopes And Covers

On tau-flat envelopes

On Envelopes With The Unique Mapping Property

Existence and orthogonality of stable envelopes for bow varieties

Diophantine Geometry over Groups IX: Envelopes and Imaginaries

Bow varieties: Stable envelopes and their 3d mirror symmetry

Envelopes of Bisection Lines of Polygons

Truncated tube domains with multi-sheeted envelope

Envelopes for Algebraic Patterns

Circle patterns on surfaces of finite topological type

Envelopes And Covers By Modules Of Finite Fp-Injective And Flat Dimensions

An infinite family of braid group representations

Relative injective envelopes and relative projective covers on ring extensions

Covers and Envelopes by #-ℱ Complexes