A general scheme for separably reducible properties

M. Fabian,A. Ioffe,J. P. Revalski,J.P. Revalski

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

2022-05-03

Functional Analysis

Abstract:We propose a general scheme for studying separably reducible properties in metric spaces and then apply it to obtain separable determinacy of Lipschitz property and the separable determinacy of slopes

What problem does this paper attempt to address?

The separativity problem in terms of varieties and diagonal reduction

Pere Ara,Ken Goodearl,Pace P. Nielsen,Enrique Pardo,Francesc Perera

2024-03-18

Abstract:We provide two new formulations of the separativity problem.

Rings and Algebras
Dependence Space of Matroids and Its Application to Attribute Reduction

Aiping Huang,William Zhu

DOI: https://doi.org/10.48550/arxiv.1312.4231

2013-01-01

Abstract:Attribute reduction is a basic issue in knowledge representation and data mining. Rough sets provide a theoretical foundation for the issue. Matroids generalized from matrices have been widely used in many fields, particularly greedy algorithm design, which plays an important role in attribute reduction. Therefore, it is meaningful to combine matroids with rough sets to solve the optimization problems. In this paper, we introduce an existing algebraic structure called dependence space to study the reduction problem in terms of matroids. First, a dependence space of matroids is constructed. Second, the characterizations for the space such as consistent sets and reducts are studied through matroids. Finally, we investigate matroids by the means of the space and present two expressions for their bases. In a word, this paper provides new approaches to study attribute reduction.
Lipschitz Equivalence of Cantor Sets and Irreducibility of Polynomials

Jun Jason Luo,Huo-Jun Ruan,Yi-Lin Wang

DOI: https://doi.org/10.1112/s0025579318000232

2018-01-01

Mathematika

Abstract:In the paper, we provide an effective criterion for the Lipschitz equivalence of two-branch Cantor sets and three-branch Cantor sets by studying the irreducibility of polynomials. We also find that any two Cantor sets are Lipschitz equivalent if and only if their contraction vectors are equivalent provided one of the contraction vectors is homogeneous.
Separating properties for normal ultrafilters

Shimon Garti

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

2012-12-07

Logic

Abstract:We define separating properties for normal ultrafilters. We prove that compactness and supercompactness are separable, yet compactness and measurability are not. We describe how to use separating properties in order to elicit distinct normal ultrafilters which do not contain the measurables.
Local Separability Property for Reifenberg Sets in Parabolic Space

Guanghao Hong

DOI: https://doi.org/10.1515/anly-2012-1239

2014-01-01

Analysis

Abstract:In this paper we extend the local separability property for 1-codimension Reifenberg sets to parabolic space.
Generic separable metric structures

Alexander Usvyatsov

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

2008-02-02

Abstract:We compare three notions of genericity of separable metric structures. Our analysis provides a general model theoretic technique of showing that structures are generic in descriptive set theoretic (topological) sense and in measure theoretic sense. In particular, it gives a new perspective on Vershik's theorems on genericity and randomness of Urysohn's space among separable metric spaces.

Logic,General Topology
A note on nonseparable Lipschitz-free spaces

Ramón J. Aliaga,Guillaume Grelier,Antonín Procházka

2024-04-05

Abstract:We prove that several classical Banach space properties are equivalent to separability for the class of Lipschitz-free spaces, including Corson's property ($\mathcal{C}$), Talponen's Countable Separation Property, or being a Gâteaux differentiability space. On the other hand, we single out more general properties where this equivalence fails. In particular, the question whether the duals of non-separable Lipschitz-free spaces have a weak$^*$ sequentially compact ball is undecidable in ZFC. Finally, we provide an example of a nonseparable dual Lipschitz-free space that fails the Radon-Nikodým property.

Mathematics
Generalized Separation Theorems and the Farkas’ Lemma

Jinyan Fan

DOI: https://doi.org/10.1016/j.aml.2004.07.025

IF: 4.294

2005-01-01

Applied Mathematics Letters

Abstract:The main purpose of this paper is to extend the conventional separation theorems concerning the convex subset of Rm to generalized separation theorems concerning the convex subset of Rm×Sn. This is accomplished by the introduction of the generalized inner product in Rm×Sn. Then we derive the famous Farkas’ lemma in nonlinear semidefinite programming, which may be very important for the analysis of the dual theory and optimality conditions of nonlinear semidefinite programming.
Category-Theoretic Reconstruction of Schemes from Categories of Reduced Schemes

Tomoki Yuji

2024-01-20

Abstract:Let $S$ be a locally Noetherian normal scheme and $\blacklozenge/S$ a set of properties of $S$-schemes. Then we shall write Sch$_{\blacklozenge/S}$ for the full subcategory of the category of $S$-schemes Sch$_{/S}$ determined by the objects $X\in {\rm Sch}_{\blacklozenge/S}$ that satisfy every property of $\blacklozenge/S$. In the present paper, we shall mainly be concerned with the properties "reduced", "quasi-compact over $S$", "quasi-separated over $S$", and "separated over $S$". We give a functorial category-theoretic algorithm for reconstructing $S$ from the intrinsic structure of the abstract category Sch$_{\blacklozenge/S}$. This result is analogous to a result of Mochizuki \cite{Mzk04} and may be regarded as a partial generalization of a result of de Bruyn \cite{deBr19} in the case where $S$ is a locally Noetherian normal scheme.

Algebraic Geometry
On the structure of Completely Reducible States

Daniel Cariello

2024-03-20

Abstract:The complete reducibility property for bipartite states reduced the separability problem to a proper subset of positive under partial transpose states and was used to prove several theorems inside and outside entanglement theory. So far only three types of bipartite states were proved to possess this property. In this work, we provide some procedures to create states with this property, we call these states by the name of completely reducible states. The convex combination of such states is the first procedure, showing that the set of completely reducible states is a convex cone. We also provide a complete description of the extreme rays of this set. Then we show that powers, roots and partial traces of completely reducible states result in states of the same type. Finally, we consider a shuffle of states that preserves this property. This shuffle allows us to construct states with the complete reducibility property avoiding the only three conditions known to date that imply this property.

Quantum Physics
Scheme-theoretic coisotropic reduction

Peter Crooks,Maxence Mayrand

2024-08-22

Abstract:We develop an affine scheme-theoretic version of Hamiltonian reduction by symplectic groupoids. It works over $\Bbbk=\mathbb{R}$ or $\Bbbk=\mathbb{C}$, and is formulated for an affine symplectic groupoid $\mathcal{G}\rightrightarrows X$, an affine Hamiltonian $\mathcal{G}$-scheme $\mu:M\longrightarrow X$, a coisotropic subvariety $S\subseteq X$, and a stabilizer subgroupoid $\mathcal{H}\rightrightarrows S$. Our first main result is that the Poisson bracket on $\Bbbk[M]$ induces a Poisson bracket on the subquotient $\Bbbk[\mu^{-1}(S)]^{\mathcal{H}}$. The Poisson scheme $\mathrm{Spec}(\Bbbk[\mu^{-1}(S)]^{\mathcal{H}})$ is then declared to be a Hamiltonian reduction of $M$. Other main results include sufficient conditions for $\mathrm{Spec}(\Bbbk[\mu^{-1}(S)]^{\mathcal{H}})$ to inherit a residual Hamiltonian scheme structure. Our main results are best viewed as affine scheme-theoretic counterparts to an earlier paper, where we simultaneously generalize several Hamiltonian reduction processes. In this way, the present work yields scheme-theoretic analogues of Marsden-Ratiu reduction, Mikami-Weinstein reduction, Śniatycki-Weinstein reduction, and symplectic reduction along general coisotropic submanifolds. The initial impetus for this work was its utility in formulating and proving generalizations of the Moore-Tachikawa conjecture.

Symplectic Geometry,Algebraic Geometry
Separablilty of metric measure spaces and choice axioms

Paul Howard

DOI: https://doi.org/10.1007/s00153-024-00931-8

2024-05-22

Archive for Mathematical Logic

Abstract:In set theory without the Axiom of Choice we prove that the assertion "For every metric space ( X , d ) with a Borel measure such that the measure of every open ball is positive and finite, ( X , d ) is separable.' is implied by the axiom of choice for countable collections of sets and implies the axiom of choice for countable collections of finite sets. We also show that neither implication is reversible in Zermelo–Fraenkel set theory weakend to permit the existence of atoms and that the second implication is not reversible in Zermelo–Fraenkel set theory. This gives an answer to a question of Dybowski and Górka (Arch Math Logic 62:735–749, 2023. https://doi.org/10.1007/s00153-023-00868-4).

mathematics,logic
Graded geometry and generalized reduction

Henrique Bursztyn,Alberto S. Cattaneo,Rajan Amit Mehta,Marco Zambon

2023-09-18

Abstract:We present general reduction procedures for Courant, Dirac and generalized complex structures, in particular when a group of symmetries is acting. We do so by taking the graded symplectic viewpoint on Courant algebroids and carrying out graded symplectic reduction, both in the coisotropic and hamiltonian settings. Specializing the latter to the exact case, we recover in a systematic way the reduction schemes of Bursztyn-Cavalcanti-Gualtieri.

Symplectic Geometry,High Energy Physics - Theory,Differential Geometry
Irreducible quotient maps from locally compact separable metric spaces

A.J. Lazar,D.W.B. Somerset,A.J. Lazar,D.W.B. Somerset

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

IF: 0.583

2022-08-01

Topology and its Applications

Abstract:Let X be a Hausdorff quotient of a standard space (that is of a locally compact separable metric space). It is shown that the following are equivalent: (i) X is the image of an irreducible quotient map from a standard space; (ii) X has a sequentially dense subset satisfying two technical conditions involving double sequences; (iii) whenever q:Y→X is a quotient map from a standard space Y, the restriction q⁎|V is an irreducible quotient map from V onto X (where q⁎:Y⁎→X is the pure quotient derived from q, and V is the closure of the set of singleton fibres of Y⁎). The proof uses extensions of the theorems of Whyburn and Zarikian from compact to locally compact standard spaces. The results are new even for quotients of locally compact subsets of the real line.

mathematics, applied
Complete reducibility for Lie subalgebras and semisimplification

Michael Bate,Sören Böhm,Benjamin Martin,Gerhard Roehrle,Laura Voggesberger

2023-10-26

Abstract:Let $G$ be a connected reductive linear algebraic group over a field $k$. Using ideas from geometric invariant theory, we study the notion of $G$-complete reducibility over $k$ for a Lie subalgebra $\mathfrak h$ of the Lie algebra $\mathfrak g = Lie(G)$ of $G$ and prove some results when $\mathfrak h$ is solvable or $char(k)= 0$. We introduce the concept of a $k$-semisimplification $\mathfrak h'$ of $\mathfrak h$; $\mathfrak h'$ is a Lie subalgebra of $\mathfrak g$ associated to $\mathfrak h$ which is $G$-completely reducible over $k$. This is the Lie algebra counterpart of the analogous notion for subgroups studied earlier by the first, third and fourth authors. As in the subgroup case, we show that $\mathfrak h'$ is unique up to $Ad(G(k))$-conjugacy in $\mathfrak g$. Moreover, we prove that the two concepts are compatible: for $H$ a closed subgroup of $G$ and $H'$ a $k$-semisimplification of $H$, the Lie algebra $Lie(H')$ is a $k$-semisimplification of $Lie(H)$.

Group Theory,Representation Theory
Removable Sets for Intrinsic Metric and for Holomorphic Functions

Sergei Kalmykov,Leonid V. Kovalev,Tapio Rajala

DOI: https://doi.org/10.1007/s11854-024-0076-2

2019-01-01

Journal d Analyse Mathématique

Abstract:We study the subsets of metric spaces that are negligible for the infimal length of connecting curves; such sets are called metrically removable. In particular, we show that every closed totally disconnected set with finite Hausdorff measure of codimension 1 is metrically removable, which answers a question raised by Hakobyan and Herron. The metrically removable sets are shown to be related to other classes of “thin” sets that appeared in the literature. They are also related to the removability problems for classes of holomorphic functions with restrictions on the derivative.
Irreducible Elements in Metric Lattices

Andreas Lochmann

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

2010-05-28

Abstract:We describe a natural generalization of irreducibility in order lattices with arbitrary metrics. We analyse the special cases of valuation metrics and more general metrics for lattices. This article is mainly based on a part of the author's doctoral thesis, but answers some additional questions.

Metric Geometry
$A$-analyticity of separatricies of foliations

Stéphane Druel

2024-07-01

Abstract:Let $X$ be a smooth quasi-projective surface over a number field $K$, and let $L$ be a foliation on $X$. We prove that if $L$ is closed under $p$-th powers for almost all primes $p$, then any $L$-invariant smooth formal curve is $A$-analytic. Building on prior work of Bost we obtain an algebraicity criterion for those curves.

Number Theory
Recoller pour séparer

Daniel Ferrand,Bruno Kahn

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

2015-10-22

Algebraic Geometry

Abstract:We introduce the notion of a separator for a morphism of schemes f:T\to S; in particular, it is universal among morphisms from T to separated S-schemes. A separator is a local isomorphism; this property conveys the intuition of gluing some affine covering more, in order to make the scheme separated. When f is quasi-separated, its separator exists if and only if the schematic closure of the diagonal projects on both factors by flat morphisms of finite type. In particular, f admits a separator if T is Noetherian Dedekind and S=Spec(Z), or if f is \'etale of finite presentation and S is normal. Any normal scheme of finite type over a Noetherian ring admits an open subset containing all the points of codimension 1, which has a separator. A contrario, we give several examples of morphisms f that do not admit a separator. As an application, we attach to every smooth scheme T over a normal base S a morphism to a separated \'etale S-scheme of finite presentation, which is universal (a kind of separated alternative for "scheme of connected components of the fibres"). This simultaneously generalizes the classical case where the base is a field, and the case of a smooth and proper morphism (Stein factorisation).
Reducibility in Sasakian Geometry

Charles P. Boyer,Hongnian Huang,Eveline Legendre,Christina W. Tønnesen-Friedman

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

2018-02-13

Abstract:The purpose of this paper is to study reducibility properties in Sasakian geometry. First we give the Sasaki version of the de Rham Decomposition Theorem; however, we need a mild technical assumption on the Sasaki automorphism group which includes the toric case. Next we introduce the concept of {\it cone reducible} and consider $S^3$ bundles over a smooth projective algebraic variety where we give a classification result concerning contact structures admitting the action of a 2-torus of Reeb type. In particular, we can classify all such Sasakian structures up to contact isotopy on $S^3$ bundles over a Riemann surface of genus greater than zero. Finally, we show that in the toric case an extremal Sasaki metric on a Sasaki join always splits.

Differential Geometry

A general scheme for separably reducible properties

The separativity problem in terms of varieties and diagonal reduction

Dependence Space of Matroids and Its Application to Attribute Reduction

Lipschitz Equivalence of Cantor Sets and Irreducibility of Polynomials

Separating properties for normal ultrafilters

Local Separability Property for Reifenberg Sets in Parabolic Space

Generic separable metric structures

A note on nonseparable Lipschitz-free spaces

Generalized Separation Theorems and the Farkas’ Lemma

Category-Theoretic Reconstruction of Schemes from Categories of Reduced Schemes

On the structure of Completely Reducible States

Scheme-theoretic coisotropic reduction

Separablilty of metric measure spaces and choice axioms

Graded geometry and generalized reduction

Irreducible quotient maps from locally compact separable metric spaces

Complete reducibility for Lie subalgebras and semisimplification

Removable Sets for Intrinsic Metric and for Holomorphic Functions

Irreducible Elements in Metric Lattices

$A$-analyticity of separatricies of foliations

Recoller pour séparer

Reducibility in Sasakian Geometry