The Normality of Products Under Perfect Preimages

Lucas D. O'Brien

2023-11-15

Abstract:A proof of the following theorem is given, answering an open problem attributed to Kunen: suppose that $T$ is compact and that $Y$ is the image of $X$ under a perfect map, $X$ is normal, and $Y\times T$ is normal. Then $X \times T$ is normal.

General Topology

What problem does this paper attempt to address?

The normality of products under perfect preimages

Lucas D. O'Brien

DOI: https://doi.org/10.1016/j.topol.2024.108834

IF: 0.583

2024-01-24

Topology and its Applications

Abstract:A proof of the following theorem is given, answering an open problem attributed to Kunen: suppose that T is compact and that Y is the image of X under a perfect map, X is normal, and Y×T is normal. Then X×T is normal.

mathematics, applied
Poorly separated infinite normal products

N. Noble

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

2020-02-07

Abstract:A product of compact normal spaces is normal; the product of a countably infinite collection of non-trivial spaces is normal if and only if it is countably paracompact and each of its finite sub-products is normal; if all powers of a space X are normal then X is compact: provided in each case that the spaces involved are T1. Here I examine the situation for infinite products not required to be T1 (or regular), extending or generalizing each of these facts. In addition, I prove some related results, give a number of examples, explore some alternative proofs, and close with some speculation regarding potential applications of these findings to category theory and lattice theory.

General Topology
Generalized Normal Product Adjacency in Digital Topology

Laurence Boxer

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

2017-06-25

Abstract:We study properties of Cartesian products of digital images for which adjacencies based on the normal product adjacency are used. We show that the use of such adjacencies lets us obtain many "product properties" for which the analogous statement is either unknown or invalid if, instead, we were to use $c_u$-adjacencies.

General Topology
Essential Normality of Cyclic Submodule Generated by any Polynomial

Ronald G. Douglas,Kai Wang

2011-01-01

Abstract:In \cite{GW} Guo and the second author showed that the closure $[I]$ in the Drury-Arveson space of a homogeneous principal ideal $I$ in $\mathbb{C}[z_1,...,z_n]$ is essentially normal. The proof exploited combinatorial relations between the weights of the shift operators on the space. One can show that their result extends to the Bergman space for the ball $\mathbb{B}_n$ and closely related spaces, but thus far no one has been able to extend the result to other ideals in pursuit of the conjecture of Arveson \cite{Ar2}. In this note, the authors use techniques from harmonic analysis involving the radial derivative and the complex tangential derivative \cite{Gr} to extend the result to the closure of any principal polynomial ideal in the Bergman space. In particular, the commutators and cross-commutators of the restrictions of the multiplication operators are shown to be in the Schatten $p $-class for $p>n$. The same is true for polynomials with vector-valued coefficients. Moreover, the maximal ideal space $X_I$ of the resulting $C^\ast$-algebra for the quotient module is shown to be contained in $Z(I)\cap \partial\mathbb{B}_n$, where $Z(I)$ is the zero variety for $I$, and to contain all points in $\partial\mathbb{B}_n$ that are limit points of $Z(I)\cap \mathbb{B}_n$. As a consequence, $X_I=Z(I)\cap \partial\mathbb{B}_n$ in the case that $I$ is quasi-homogeneous. Finally, the techniques introduced enable one to study a certain class of weight Bergman spaces on the ball.
On preimages question

Yohsuke Matsuzawa,Kaoru Sano

2023-11-06

Abstract:For a surjective self-morphism on a projective variety defined over a number field, we study the preimages question, which asks if the set of rational points on the iterated preimages of an invariant closed subscheme eventually stabilize. We prove the answer is positive for self-morphisms on $\mathbb{P}^1 \times \mathbb{P}^1$. We also prove that the answer is positive even if we allow finite extension of the number field by a bounded degree if the morphism is étale or the invariant subscheme is $0$-dimensional. We prove certain uniformity of the stabilization for self-morphisms on abelian varieties. When the subscheme is not invariant, we provide counterexamples and a result in a positive direction for products of polynomial maps on $\mathbb{P}^1 \times \mathbb{P}^1$.

Algebraic Geometry,Dynamical Systems,Number Theory
Normal Products and Zimmermann Identities in Configuration Space BPHZ Renormalization

Steffen Pottel

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

2019-07-02

Abstract:The notion of normal products, a generalization of Wick products, is derived with respect to BPHZ renormalization formulated entirely in configuration space. Inserted into time-ordered products, normal products admit the limit of coinciding field operators, which constitute the product. The derivation requires the introduction of Zimmermann identities, which relate field monomials or renormalization parts with differing subtraction degree. Furthermore, we calculate the action of wave operators on elementary fields inserted into time-ordered products, exploiting the properties of normal products.

Mathematical Physics,High Energy Physics - Theory
On Normality of Projective Hypersurfaces with an Additive Action

Ivan Arzhantsev,Ivan Beldiev,Yulia Zaitseva

2024-04-29

Abstract:We study projective hypersurfaces $X$ admitting an induced additive action, i.e., an effective action ${\mathbb G_a^m\times X\to X}$ of the vector group $\mathbb G_a^m$ with an open orbit that can be extended to an action on the ambient projective space. A criterion for normality of such a hypersurface $X$ is given. Also, we prove that for any projective hypersurface $Z$ there exists a hypersurface $X$ with an induced additive action such that the complement to the open $\mathbb G_a^m$-orbit in $X$ is a projective cone over $Z$. We introduce a construction that produces non-degenerate hypersurfaces with induced additive action from Young diagrams and study the properties of the hypersurfaces obtained in this way.

Algebraic Geometry
Seminormal Rings (following Thierry Coquand)

Henri Lombardi,Claude Quitté

DOI: https://doi.org/10.1016/j.tcs.2007.10.007

2023-10-15

Abstract:The Traverso-Swan theorem says that a reduced ring A is seminormal if and only if the natural morphism from Pic(A) to Pic(A[X]) is an isomorphism. We give here all the details needed to understand the elementary constructive proof for this result given by Thierry Coquand in the paper: On seminormality. J. Algebra 305, no. 1-3, 577-584, (2006).

Commutative Algebra
Inverse Limits and Infimite Tychonoff Products about Collectionwise Subnormal Spaces

朱培勇

DOI: https://doi.org/10.3969/j.issn.1003-2843.2002.02.001

2002-01-01

Abstract:This paper mainly proves the results:(1)Let X=and every π_σ. be open andonto mapping, if X is norma|Σ|-paracompact and every X_σ is collectionwise subnormal, then X iscollectionwise subnormal;(2)Let X=Π_(αeA)X-α is normal|A|-paracompact,X is collectionwise subnormalif Π_(αeσ)X-α is collectionwise subnormal for every σ∈[A]]. Next, we point out that there exist thesimilar results to hereditarily collectionwise subnormal spaces.
Semi-proximal spaces and normality

Khulod Almontashery,Paul Szeptycki

2024-01-20

Abstract:We consider the relationship between normality and semi-proximality. We give a consistent example of a first countable locally compact Dowker space that is not semi-proximal, and two ZFC examples of semi-proximal non-normal spaces. This answers a question of Nyikos. One of the examples is a subspace of $(\omega+1) \times \omega_1$. In contrast, we show that every normal subspace of a finite power of $\omega_1$ is semi-proximal.

General Topology,Logic
Characterizations of Relative Paracompactness by Relative Normality of Product Spaces

Guo-Fang Zhang,Wei-Xue Shi

2007-01-01

Houston journal of mathematics

Abstract:In this paper, we mainly study the relative version of Tamano Theorem and give some characterizations of relative paracompactness in terms of relative normality of products of paracompact spaces and compact spaces, which gives an answer to a problem posed by Arhangel'skii in 2002.
Essential Normality - a Unified Approach in Terms of Local Decompositions

Yi Wang

DOI: https://doi.org/10.1112/plms.12272

2018-12-08

Abstract:In this paper, we define the asymptotic stable division property for submodules of the Bergman module. We show that under a mild condition, a submodule with the asymptotic stable division property is p-essentially normal for all p>n. A new technique is developed to show that certain submodules have the asymptotic stable division property. This leads to a unified proof of most known results on essential normality of submodules as well as new results. In particular, we show that an ideal defines a p-essentially normal submodule of the Bergman module, for all p>n, if its associated primary ideals are powers of prime ideals whose zero loci satisfy standard regularity conditions near the sphere.

Functional Analysis,Operator Algebras
Preservation of normality by non-oblivious group selection

Olivier Carton,Joseph Vandehey

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

2019-05-03

Abstract:We give two different proofs of the fact that non-oblivious selection via regular group sets preserves normality. Non-oblivious here means that whether or not a symbol is selected can depend on the symbol itself. One proof relies on the incompressibility of normal sequences, the other on the use of augmented dynamical systems.

Formal Languages and Automata Theory,Logic in Computer Science,Combinatorics
Irreducibility criteria for the preimages of a transverse variety under endomorphisms of products of elliptic curves

Riccardo Pengo,Evelina Viada

2024-09-19

Abstract:We provide two different proofs of an irreducibility criterion for the preimages of a transverse subvariety of a product of elliptic curves under a diagonal endomorphism of sufficiently large degree.For curves, we present an arithmetic proof of the aforementioned irreducibility result, which enlightens connections to methods used in the context of the Torsion Anomalous Conjecture. On the other hand, we generalize the result for higher dimensional varieties using a more geometric approach. Finally, we give some applications of these results. More precisely, we establish the irreducibility of some explicit families of polynomials, we provide new estimates for the normalized heights of certain intersections and images, and we give new lower bounds for the essential minima of images.

Algebraic Geometry,Number Theory
Normalizer Quotients of Symmetric Groups and Inner Holomorphs

Alexei Entin,Cindy Tsang

2024-08-14

Abstract:We show that every finite group $T$ is isomorphic to a normalizer quotient $N_{S_n}(H)/H$ for some $n$ and a subgroup $H\leq S_n$. We show that this holds for all large enough $n\ge n_0(T)$ and also with $S_n$ replaced by $A_n$. The two main ingredients in the proof are a recent construction due to Cornulier and Sambale of a finite group $G$ with $\mathrm{Out}(G)\cong T$ (for any given finite group $T$) and the determination of the normalizer in $\mathrm{Sym(G)}$ of the inner holomorph $\mathrm{InHol}(G)\leq\mathrm{Sym}(G)$ for any centerless indecomposable finite group $G$, which may be of independent interest.

Group Theory
A remark on normal closures in free products of groups

Dali Zangurashvili

2023-11-14

Abstract:It is shown that a nontrivial normal subgroup $N$ of a group $G$ is a free factor of the $N$'s normal closure in the $G$'s free product with arbitrary nontrivial groups.

Group Theory
A harmonic analysis approach to essential normality of principal submodules

Ronald George Douglas,Kai Wang

DOI: https://doi.org/10.1016/j.jfa.2011.07.021

IF: 1.891

2011-01-01

Journal of Functional Analysis

Abstract:Guo and the second author have shown that the closure [I] in the Drury–Arveson space of a homogeneous principal ideal I in C[z1,…,zn] is essentially normal. In this note, the authors extend this result to the closure of any principal polynomial ideal in the Bergman space. In particular, the commutators and cross-commutators of the restrictions of the multiplication operators are shown to be in the Schatten p-class for p>n. The same is true for modules generated by polynomials with vector-valued coefficients. Further, the maximal ideal space XI of the resulting C⁎-algebra for the quotient module is shown to be contained in Z(I)∩∂Bn, where Z(I) is the zero variety for I, and to contain all points in ∂Bn that are limit points of Z(I)∩Bn. Finally, the techniques introduced enable one to study a certain class of weight Bergman spaces on the ball.
Normalité projective des varétés magnifiques de rang 1

Alexis Tchoudjem

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

2011-05-26

Abstract:Let $L$ and $L'$ be two invertible sheaves over a projective variety $X$. We suppose that $L$ and $L'$ are generated by their global section spaces $\Gamma(L)$ and $\Gamma(L')$. We prove in this article that the morphism : \[\Gamma(L) \otimes \Gamma(L') \to \Gamma(L \otimes L')\] is surjective, in the case where $X$ is a rank one wonderful variety. In particular, the cone over a rank one wonderful variety defined by a very ample invertible sheaf is always normal. Soient $L$ et $L'$ deux faisceaux inversibles sur une variété projective $X$. On suppose que $L$ et $L'$ sont engendrés par leurs espaces de sections globales $\Gamma(L)$ et $\Gamma(L')$. On démontre dans cet article que le morphisme : \[\Gamma(L) \otimes \Gamma(L') \to \Gamma(L \otimes L')\] est surjectif, dans le cas où $X$ est une variété magnifique de rang 1. En particulier, le cône au-dessus d'une variété magnifique $X$ de rang 1 défini par un faisceau inversible très ample est toujours normal.

Algebraic Geometry,Representation Theory
A Geometric Approach to the Theory of Normal Families

Steven G. Krantz

DOI: https://doi.org/10.1007/s11785-022-01195-x

2022-01-30

Complex Analysis and Operator Theory

Abstract:We treat normal families of holomorphic mappings from the point of view of invariant geometry. We relate these ideas to the concept of normal function.

mathematics, applied
Products in Fusion Systems

Ellen Henke

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

2012-11-06

Abstract:We revisit the notion of a product of a normal subsystem with a $p$-subgroup as defined by Aschbacher. In particular, we give a previously unknown, more transparent construction.

Group Theory

The Normality of Products Under Perfect Preimages

The normality of products under perfect preimages

Poorly separated infinite normal products

Generalized Normal Product Adjacency in Digital Topology

Essential Normality of Cyclic Submodule Generated by any Polynomial

On preimages question

Normal Products and Zimmermann Identities in Configuration Space BPHZ Renormalization

On Normality of Projective Hypersurfaces with an Additive Action

Seminormal Rings (following Thierry Coquand)

Inverse Limits and Infimite Tychonoff Products about Collectionwise Subnormal Spaces

Semi-proximal spaces and normality

Characterizations of Relative Paracompactness by Relative Normality of Product Spaces

Essential Normality - a Unified Approach in Terms of Local Decompositions

Preservation of normality by non-oblivious group selection

Irreducibility criteria for the preimages of a transverse variety under endomorphisms of products of elliptic curves

Normalizer Quotients of Symmetric Groups and Inner Holomorphs

A remark on normal closures in free products of groups

A harmonic analysis approach to essential normality of principal submodules

Normalité projective des varétés magnifiques de rang 1

A Geometric Approach to the Theory of Normal Families

Products in Fusion Systems