Showing 1–50 of 70 results for author: Fischer, V

Some geometric and spectral aspects of restriction problems

Authors: Hajer Bahouri, Veronique Fischer

Abstract: This texts commemorates the memory of Haim Brezis and explores some aspects of the restriction problem, particularly its connections to spectral and geometric analysis. Our choice of subject is motivated by Brezis' significant contributions to various domains related to this problem, including harmonic analysis, partial differential equations, spectral theory, representation theory, number theory,… ▽ More This texts commemorates the memory of Haim Brezis and explores some aspects of the restriction problem, particularly its connections to spectral and geometric analysis. Our choice of subject is motivated by Brezis' significant contributions to various domains related to this problem, including harmonic analysis, partial differential equations, spectral theory, representation theory, number theory, and many others. △ Less

Submitted 30 June, 2025; originally announced July 2025.

Comments: 37 pages, to appear in a volume to commemorate the memory of Haim Brezis, also published on HAL https://hal.science/hal-05127012v1/document

MSC Class: 43A30; 43A80; 53C17; 30C40

A microlocal calculus on filtered manifolds

Authors: Clotilde Fermanian Kammerer, Véronique Fischer, Steven Flynn

Abstract: In this article, we develop a pseudodifferential calculus on a general filtered manifold M . The symbols are fields of operators $σ$(x, $π$) parametrised by x $\in$ M and the unitary dual G x M of the osculating Lie group G x M . We define classes of symbols and a local quantization formula associated to a local frame adapted to the filtration. We prove that the collection of operators on M coinci… ▽ More In this article, we develop a pseudodifferential calculus on a general filtered manifold M . The symbols are fields of operators $σ$(x, $π$) parametrised by x $\in$ M and the unitary dual G x M of the osculating Lie group G x M . We define classes of symbols and a local quantization formula associated to a local frame adapted to the filtration. We prove that the collection of operators on M coinciding locally with the quantization of symbols enjoys the essential properties of a pseudodifferential calculus: composition, adjoint, parametrices, continuity on adapted Sobolev spaces. Moreover, we show that the polyhomogeneous subcalculus coincides with the calculus constructed by van Erp and Yuncken via groupoids.</p></div> △ Less

Submitted 23 December, 2024; originally announced December 2024.

Semiclassical functional calculus on nilpotent Lie groups and their compact nilmanifolds

Authors: Véronique Fischer, Søren Mikkelsen

Abstract: In this paper, we show that the semiclassical calculus recently developed on nilpotent Lie groups and nilmanifolds include the functional calculus of suitable subelliptic operators. Moreover, we obtain Weyl laws for these operators. Amongst these operators are sub-Laplacians in horizontal divergence form perturbed with a potential and their generalisations. In this paper, we show that the semiclassical calculus recently developed on nilpotent Lie groups and nilmanifolds include the functional calculus of suitable subelliptic operators. Moreover, we obtain Weyl laws for these operators. Amongst these operators are sub-Laplacians in horizontal divergence form perturbed with a potential and their generalisations. △ Less

Submitted 9 September, 2024; originally announced September 2024.

MSC Class: 43A85; 43A32; 22E30; 35H20; 35P20; 81Q10

Cofinitary groups and projective well-orders

Authors: Vera Fischer, Lukas Schembecker, David Schrittesser

Abstract: We introduce the notion of a tight cofinitary group, which captures forcing indestructibility of maximal cofinitary groups for a long list of partial orders, including Cohen, Sacks, Miller, Miller partition forcing and Shelah's poset for diagonalizing maximal ideal. Introducing a new robust coding technique, we establish the relative consistency of… ▽ More We introduce the notion of a tight cofinitary group, which captures forcing indestructibility of maximal cofinitary groups for a long list of partial orders, including Cohen, Sacks, Miller, Miller partition forcing and Shelah's poset for diagonalizing maximal ideal. Introducing a new robust coding technique, we establish the relative consistency of $\mathfrak{a}_g=\mathfrak{d}<\mathfrak{c}=\aleph_2$ alongside the existence of a $Δ^1_3$-wellorder of the reals and a co-analytic witness for $\mathfrak{a}_g$. △ Less

Submitted 7 May, 2025; v1 submitted 27 December, 2023; originally announced December 2023.

Comments: 21 pages, revision

Realizing arbitrarily large spectra of $\mathfrak{a}_{\text{T}}$

Authors: Vera Fischer, Lukas Schembecker

Abstract: We improve the state-of-the-art proof techniques for realizing various spectra of $\mathfrak{a}_{\text{T}}$ in order to realize arbitrarily large spectra. Thus, we make significant progress in addressing a question posed by Brian in his recent work. As a by-product, we obtain many complete subforcings and an algebraic analysis of the automorphisms of the forcing which adds a witness for the spectr… ▽ More We improve the state-of-the-art proof techniques for realizing various spectra of $\mathfrak{a}_{\text{T}}$ in order to realize arbitrarily large spectra. Thus, we make significant progress in addressing a question posed by Brian in his recent work. As a by-product, we obtain many complete subforcings and an algebraic analysis of the automorphisms of the forcing which adds a witness for the spectrum of $\mathfrak{a}_{\text{T}}$ of desired size. △ Less

Submitted 15 December, 2023; originally announced December 2023.

Comments: 41 pages, submitted

Universally Sacks-indestructible combinatorial families of reals

Authors: Vera Fischer, Lukas Schembecker

Abstract: We introduce the notion of an arithmetical type of combinatorial family of reals, which serves to generalize different types of families such as mad families, maximal cofinitary groups, ultrafilter bases, splitting families and other similar types of families commonly studied in combinatorial set theory. We then prove that every combinatorial family of reals of arithmetical type, which is indestru… ▽ More We introduce the notion of an arithmetical type of combinatorial family of reals, which serves to generalize different types of families such as mad families, maximal cofinitary groups, ultrafilter bases, splitting families and other similar types of families commonly studied in combinatorial set theory. We then prove that every combinatorial family of reals of arithmetical type, which is indestructible by the product of Sacks forcing $\mathbb{S}^{\aleph_0}$, is in fact universally Sacks-indestructible, i.e. it is indestructible by any countably supported iteration or product of Sacks-forcing of any length. Further, under $\text{CH}$ we present a unified construction of universally Sacks-indestructible families for various arithmetical types of families. In particular we prove the existence of a universally Sacks-indestructible maximal cofinitary group under $\text{CH}$. △ Less

Submitted 15 December, 2023; originally announced December 2023.

Comments: 33 pages, submitted

Partitions of Baire space into compact sets

Authors: Vera Fischer, Lukas Schembecker

Abstract: Under $\text{CH}$ we construct a partition of Baire space into compact sets, which is indestructible by countably supported iteration and product of Sacks forcing of any length, answering a question of Newelski. Further, we present an in-depth isomorphism-of-names argument for $\text{spec}(\mathfrak{a}_\text{T}) = \{\aleph_1, \mathfrak{c}\}$ in the product-Sacks model. Finally, we prove that Shela… ▽ More Under $\text{CH}$ we construct a partition of Baire space into compact sets, which is indestructible by countably supported iteration and product of Sacks forcing of any length, answering a question of Newelski. Further, we present an in-depth isomorphism-of-names argument for $\text{spec}(\mathfrak{a}_\text{T}) = \{\aleph_1, \mathfrak{c}\}$ in the product-Sacks model. Finally, we prove that Shelah's ultrapower model for the consistency of $\mathfrak{d} < \mathfrak{a}$ also satisfies $\mathfrak{a} = \mathfrak{a}_\text{T}$. Thus, consistently $\aleph_1 < \mathfrak{d} < \mathfrak{a} = \mathfrak{a}_\text{T}$ holds relative to a measurable. △ Less

Submitted 7 May, 2025; v1 submitted 15 December, 2023; originally announced December 2023.

Comments: 22 pages, revision

Subcomplexes on filtered Riemannian manifolds

Authors: Veronique Fischer, Francesca Tripaldi

Abstract: In this paper, we present a general construction to extract subcomplexes from two distinct complexes on filtered Riemannian manifolds. The first subcomplex computes the de Rham cohomology of the underlying manifold. On regular subRiemannian manifold equipped with a compatible Riemannian metric, it aligns locally with the so-called Rumin complex. The second complex instead generalises the Chevalley… ▽ More In this paper, we present a general construction to extract subcomplexes from two distinct complexes on filtered Riemannian manifolds. The first subcomplex computes the de Rham cohomology of the underlying manifold. On regular subRiemannian manifold equipped with a compatible Riemannian metric, it aligns locally with the so-called Rumin complex. The second complex instead generalises the Chevalley-Eilenberg complex computing Lie algebra cohomology of a nilpotent Lie group. Our approach offers key insights on the role of the Riemannian metric when extracting subcomplexes, opening up potential new applications in more general geometric settings, such as singular subRiemannian manifolds. △ Less

Submitted 11 October, 2024; v1 submitted 4 December, 2023; originally announced December 2023.

Comments: 40 pages

MSC Class: 58A10; 58J10; 58H99; 53C17; 43A80; 22E25

Quantization on Groups and Garding inequality

Authors: Lino Benedetto, Clotilde Fermanian Kammerer, Véronique Fischer

Abstract: In this paper, we introduce Wick's quantization on groups and discuss its links with Kohn-Nirenberg's. By quantization, we mean an operation that associates an operator to a symbol. The notion of symbols for both quantizations is based on representation theory via the group Fourier transform and the Plancherel theorem. As an application, we give a simple proof of Garding inequalities for three… ▽ More In this paper, we introduce Wick's quantization on groups and discuss its links with Kohn-Nirenberg's. By quantization, we mean an operation that associates an operator to a symbol. The notion of symbols for both quantizations is based on representation theory via the group Fourier transform and the Plancherel theorem. As an application, we give a simple proof of Garding inequalities for three globally symbolic pseudo-differential calculi on groups. △ Less

Submitted 12 February, 2024; v1 submitted 28 July, 2023; originally announced July 2023.

Generic Selective Independent Families

Authors: Vera Fischer, Corey Bacal Switzer

Abstract: We prove that the generic maximal independent family obtained by iteratively forcing with the Mathias forcing relative to diagonalization filters is densely maximal. Moreover, by choosing the filters with some care one can ensure the family is selective and hence forcing indestructible in a strong sense. Using this we prove that under $\mathfrak{p} = 2^{\aleph_0}$ there are selective independent f… ▽ More We prove that the generic maximal independent family obtained by iteratively forcing with the Mathias forcing relative to diagonalization filters is densely maximal. Moreover, by choosing the filters with some care one can ensure the family is selective and hence forcing indestructible in a strong sense. Using this we prove that under $\mathfrak{p} = 2^{\aleph_0}$ there are selective independent families and also we show how to add selective independent families of any desired size. △ Less

Submitted 16 June, 2023; originally announced June 2023.

Comments: 12 pages, submitted

Filters, ideal independence and ideal Mrówka spaces

Authors: Serhii Bardyla, Jonathan Cancino-Manríquez, Vera Fischer, Corey Bacal Switzer

Abstract: A family $\mathcal{A} \subseteq [ω]^ω$ such that for all finite $\{X_i\}_{i\in n}\subseteq \mathcal A$ and $A \in \mathcal{A} \setminus \{X_i\}_{i\in n}$, the set $A \setminus \bigcup_{i \in n} X_i$ is infinite, is said to be ideal independent. We prove that an ideal independent family $\mathcal{A}$ is maximal if and only if $\mathcal A$ is $\mathcal J$-completely separable and maximal… ▽ More A family $\mathcal{A} \subseteq [ω]^ω$ such that for all finite $\{X_i\}_{i\in n}\subseteq \mathcal A$ and $A \in \mathcal{A} \setminus \{X_i\}_{i\in n}$, the set $A \setminus \bigcup_{i \in n} X_i$ is infinite, is said to be ideal independent. We prove that an ideal independent family $\mathcal{A}$ is maximal if and only if $\mathcal A$ is $\mathcal J$-completely separable and maximal $\mathcal J$-almost disjoint for a particular ideal $\mathcal J$ on $ω$. We show that $\mathfrak{u}\leq\mathfrak{s}_{mm}$, where $\mathfrak{s}_{mm}$ is the minimal cardinality of maximal ideal independent family. This, in particular, establishes the independence of $\mathfrak{s}_{mm}$ and $\mathfrak{i}$. Given an arbitrary set $C$ of uncountable cardinals, we show how to simultaneously adjoin via forcing maximal ideal independent families of cardinality $λ$ for each $λ\in C$, thus establishing the consistency of $C\subseteq \hbox{spec}(\mathfrak{s}_{mm})$. Assuming $\mathsf{CH}$, we construct a maximal ideal independent family, which remains maximal after forcing with any proper, $^ωω$-bounding, $p$-point preserving forcing notion and evaluate $\mathfrak{s}_{mm}$ in several well studied forcing extensions. We also study natural filters associated with ideal independence and introduce an analog of Mrówka spaces for ideal independent families. △ Less

Submitted 10 April, 2023; originally announced April 2023.

Comments: 18 Pages, subsumes arXiv:2206.14019

Some remarks on semi-classical analysis on two-step Nilmanifolds

Authors: Clotilde Fermanian Kammerer, Véronique Fischer, Steven Flynn

Abstract: In this paper, we present recent results about the developement of a semiclassical approach in the setting of nilpotent Lie groups and nilmanifolds. We focus on two-step nilmanifolds and exhibit some properties of the weak limits of sequence of densities associated with eigenfunctions of a sub-Laplacian. We emphasize the influence of the geometry on these properties. In this paper, we present recent results about the developement of a semiclassical approach in the setting of nilpotent Lie groups and nilmanifolds. We focus on two-step nilmanifolds and exhibit some properties of the weak limits of sequence of densities associated with eigenfunctions of a sub-Laplacian. We emphasize the influence of the geometry on these properties. △ Less

Submitted 25 November, 2022; originally announced November 2022.

A capacitated multi-vehicle covering tour problem on a road network and its application to waste collection

Authors: V. Fischer, M. Pacheco Paneque, A. Legrain, R. Bürgy

Abstract: In most Swiss municipalities, a curbside system consisting of heavy trucks stopping at almost each household is used for non-recoverable waste collection. Due to the many stops of the trucks, this strategy causes high fuel consumption, emissions and noise. These effects can be alleviated by reducing the number of stops performed by collection vehicles. One possibility consists of locating collecti… ▽ More In most Swiss municipalities, a curbside system consisting of heavy trucks stopping at almost each household is used for non-recoverable waste collection. Due to the many stops of the trucks, this strategy causes high fuel consumption, emissions and noise. These effects can be alleviated by reducing the number of stops performed by collection vehicles. One possibility consists of locating collection points throughout the municipality such that residents bring their waste to their most preferred location. The optimization problem consists of selecting a subset of candidate locations to place the points such that each household disposes the waste at the most preferred location. Provided that the underlying road network is available, we refer to this optimization problem as the capacitated multi-vehicle covering tour problem on a road network (Cm-CTP-R). We introduce two mixed-integer linear programming (MILP) formulations: a road-network-based formulation that exploits the sparsity of the network and a customer-based formulation typically used in vehicle routing problems (VRP). To solve large instances, we propose a two-phased heuristic approach that addresses the two subproblems the Cm-CTP-R is built on: a set covering problem to select the locations and a split-delivery VRP to determine the routes. Computational experiments on both small and real-life instances show that the road-network-based formulation is better suited. Furthermore, the proposed heuristic provides good solutions with optimality gaps below 0.5% and 3.5% for 75% of the small and real-life instances respectively and is able to find better solutions than the exact method for many real-life instances. △ Less

Submitted 8 September, 2022; originally announced September 2022.

An alternative construction of the Rumin complex on homogeneous nilpotent Lie groups

Authors: Veronique Fischer, Francesca Tripaldi

Abstract: In this paper, we consider the Rumin complex on homogenenous nilpotent Lie groups. We present an alternative construction to the classical one on Carnot groups using ideas from parabolic geometry. We also give the explicit computations for the Engel group with this approach. In this paper, we consider the Rumin complex on homogenenous nilpotent Lie groups. We present an alternative construction to the classical one on Carnot groups using ideas from parabolic geometry. We also give the explicit computations for the Engel group with this approach. △ Less

Submitted 23 August, 2022; originally announced August 2022.

Comments: 28 pages

MSC Class: 58J10; 53C17; 22E25

Cohen Preservation and Independence

Authors: Vera Fischer, Corey Bacal Switzer

Abstract: We provide a general preservation theorem for preserving selective independent families along countable support iterations. The theorem gives a general framework for a number of results in the literature concerning models in which the independence number $\mathfrak{i}$ is strictly below $\mathfrak{c}$, including iterations of Sacks forcing, Miller partition forcing, $h$-perfect tree forcings, codi… ▽ More We provide a general preservation theorem for preserving selective independent families along countable support iterations. The theorem gives a general framework for a number of results in the literature concerning models in which the independence number $\mathfrak{i}$ is strictly below $\mathfrak{c}$, including iterations of Sacks forcing, Miller partition forcing, $h$-perfect tree forcings, coding with perfect trees. Moreover, applying the theorem, we show that $\mathfrak{i} = \aleph_1$ in the Miller Lite model. An important aspect of the preservation theorem is the notion of "Cohen preservation", which we discuss in detail. △ Less

Submitted 21 August, 2022; originally announced August 2022.

Comments: 11 pages, submitted. arXiv admin note: text overlap with arXiv:2202.12046

MSC Class: 03E17; 03E35; 03E50

Filters and Ideal Independence

Authors: Jonathan Cancino-Manríquez, Vera Fischer, Corey Bacal Switzer

Abstract: A family $\mathscr{I} \subseteq [ω]^ω$ such that for all finite $\{X_i\}_{i\in n}\subseteq \mathcal I$ and $A \in \mathscr{I} \setminus \{X_i\}_{i\in n}$, the set $A \setminus \bigcup_{i < n} X_i$ is infinite, is said to be ideal independent. An ideal independent family which is maximal under inclusion is said to be a maximal ideal independent family and the least cardinality of such family is den… ▽ More A family $\mathscr{I} \subseteq [ω]^ω$ such that for all finite $\{X_i\}_{i\in n}\subseteq \mathcal I$ and $A \in \mathscr{I} \setminus \{X_i\}_{i\in n}$, the set $A \setminus \bigcup_{i < n} X_i$ is infinite, is said to be ideal independent. An ideal independent family which is maximal under inclusion is said to be a maximal ideal independent family and the least cardinality of such family is denoted $\mathfrak{s}_{mm}$. We show that $\mathfrak{u}\leq\mathfrak{s}_{mm}$, which in particular establishes the independence of $\mathfrak{s}_{mm}$ and $\mathfrak{i}$. Given an arbitrary set $C$ of uncountable cardinals, we show how to simultaneously adjoin via forcing maximal ideal independent families of cardinality $λ$ for each $λ\in C$, thus establishing the consistency of $C\subseteq \hbox{spec}(\mathfrak{s}_{mm})$. Assuming $\mathsf{CH}$, we construct a maximal ideal independent family, which remains maximal after forcing with any proper, $^ωω$-bounding, $p$-point preserving forcing notion and evaluate $\mathfrak{s}_{mm}$ in several well studied forcing extensions. △ Less

Submitted 28 June, 2022; originally announced June 2022.

Comments: 12 pages, submitted

MSC Class: 03E35; 03E17

Games on base matrices

Authors: Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky

Abstract: Using a game characterization of distributivity, we show that base matrices for $\mathcal{P}(ω)/\text{fin}$ of regular height larger than $\mathfrak{h}$ necessarily have maximal branches which are not cofinal. Using a game characterization of distributivity, we show that base matrices for $\mathcal{P}(ω)/\text{fin}$ of regular height larger than $\mathfrak{h}$ necessarily have maximal branches which are not cofinal. △ Less

Submitted 4 March, 2022; originally announced March 2022.

Comments: 4 pages

MSC Class: 03E05 (Primary) 03E17 (Secondary)

On heights of distributivity matrices

Authors: Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky

Abstract: We construct a model in which there exists a distributivity matrix of regular height $λ$ larger than $\mathfrak{h}$; both $λ= \mathfrak{c}$ and $λ< \mathfrak{c}$ are possible. A distributivity matrix is a refining system of mad families without common refinement. Of particular interest in our proof is the preservation of $\mathcal{B}$-Canjarness. We construct a model in which there exists a distributivity matrix of regular height $λ$ larger than $\mathfrak{h}$; both $λ= \mathfrak{c}$ and $λ< \mathfrak{c}$ are possible. A distributivity matrix is a refining system of mad families without common refinement. Of particular interest in our proof is the preservation of $\mathcal{B}$-Canjarness. △ Less

Submitted 18 February, 2022; originally announced February 2022.

Comments: 40 pages

MSC Class: 03E35 (Primary) 03E17 (Secondary)

Geometric invariance of the semi-classical calculus on nilpotent graded Lie groups

Authors: Clotilde Fermanian Kammerer, Veronique Fischer, Steven Flynn

Abstract: In this paper, we consider the semi-classical setting constructed on nilpotent graded Lie groups by means of representation theory. We analyze the effects of the pull-back by diffeomorphisms on pseudodifferential operators. We restrict to diffeomorphisms that preserve the filtration and prove that they are Pansu differentiable. We show that the pull-back of a semi-classical pseudodifferential oper… ▽ More In this paper, we consider the semi-classical setting constructed on nilpotent graded Lie groups by means of representation theory. We analyze the effects of the pull-back by diffeomorphisms on pseudodifferential operators. We restrict to diffeomorphisms that preserve the filtration and prove that they are Pansu differentiable. We show that the pull-back of a semi-classical pseudodifferential operator by such a diffeomorphism has a semi-classical symbol that is expressed at leading order in terms of the Pansu differential. We interpret the geometric meaning of this invariance in the setting of filtered manifolds. △ Less

Submitted 3 April, 2023; v1 submitted 21 December, 2021; originally announced December 2021.

Comments: 25 pages

MSC Class: 43A80; 47G30; 58J40

Journal ref: Journal of Geometric Analysis, vol. 33 (2023), no. 4

Asymptotics and zeta functions on compact nilmanifolds

Authors: Veronique Fischer

Abstract: In this paper, we obtain asymptotic formulae on nilmanifolds $Γ\backslash G$, wher $G$ is any stratified (or even graded) nilpotent Lie group equipped with a co-compact discrete subgroup $Γ$. We study especially the asymptotics related to the sub-Laplacians naturally coming from the stratified structure of the group $G$ (and more generally any positive Rockland operators when $G$ is graded). We sh… ▽ More In this paper, we obtain asymptotic formulae on nilmanifolds $Γ\backslash G$, wher $G$ is any stratified (or even graded) nilpotent Lie group equipped with a co-compact discrete subgroup $Γ$. We study especially the asymptotics related to the sub-Laplacians naturally coming from the stratified structure of the group $G$ (and more generally any positive Rockland operators when $G$ is graded). We show that the short-time asymptotic on the diagonal of the kernels of spectral multipliers contains only a single non-trivial term. We also study the associated zeta functions. △ Less

Submitted 18 November, 2021; originally announced December 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:2101.07027

MSC Class: 58J50; 58J35; 35K08; 35P05; 53C17; 43A85

Towards semi-classical analysis for sub-elliptic operators

Authors: Veronique Fischer

Abstract: We discuss the recent developments of semi-classical and micro-local analysis in the context of nilpotent Lie groups and for sub-elliptic operators. In particular, we give an overview of pseudo-differential calculi recently defined on nilpotent Lie groups as well as of the notion of quantum limits in the Euclidean and nilpotent cases. We discuss the recent developments of semi-classical and micro-local analysis in the context of nilpotent Lie groups and for sub-elliptic operators. In particular, we give an overview of pseudo-differential calculi recently defined on nilpotent Lie groups as well as of the notion of quantum limits in the Euclidean and nilpotent cases. △ Less

Submitted 18 November, 2021; originally announced November 2021.

Comments: This paper summarises the main ideas discussed by the author to the Bruno Pini Mathematical Analysis Seminar of the University of Bologna in May 2021

Report number: Vol. 12 No. 1 (2021): Seminars 2021, pp 31-52 MSC Class: 43A80; 58J45; 35Q40

Journal ref: Bruni Pini Mathematical Analysis Seminar 2021

Projective well-orders and coanalytic witnesses

Authors: Jeffrey Bergfalk, Vera Fischer, Corey Bacal Switzer

Abstract: We further develop a forcing notion known as Coding with Perfect Trees and show that this poset preserves, in a strong sense, definable $P$-points, definable tight MAD families and definable selective independent families. As a result, we obtain a model in which $\mathfrak{a}=\mathfrak{u}=\mathfrak{i}=\aleph_1<2^{\aleph_0}=\aleph_2$, each of $\mathfrak{a}$, $\mathfrak{u}$, $\mathfrak{i}$ has a… ▽ More We further develop a forcing notion known as Coding with Perfect Trees and show that this poset preserves, in a strong sense, definable $P$-points, definable tight MAD families and definable selective independent families. As a result, we obtain a model in which $\mathfrak{a}=\mathfrak{u}=\mathfrak{i}=\aleph_1<2^{\aleph_0}=\aleph_2$, each of $\mathfrak{a}$, $\mathfrak{u}$, $\mathfrak{i}$ has a $Π^1_1$ witness and there is a $Δ^1_3$ well-order of the reals. Note that both the complexity of the witnesses of the above combinatorial cardinal characteristics, as well as the complexity of the well-order are optimal. In addition, we show that the existence of a $Δ^1_3$ well-order of the reals is consistent with $\mathfrak{c}=\aleph_2$ and each of the following: $\mathfrak{a}=\mathfrak{u}<\mathfrak{i}$, $\mathfrak{a}=\mathfrak{i}<\mathfrak{u}$, $\mathfrak{a}<\mathfrak{u}=\mathfrak{i}$, where the smaller cardinal characteristics have co-analytic witnesses. Our methods allow the preservation of only sufficiently definable witnesses, which significantly differs from other preservation results of this type. △ Less

Submitted 23 February, 2022; v1 submitted 29 June, 2021; originally announced June 2021.

Comments: 19 pages

MSC Class: 03E17 (primary); 03E35; 03E50

Tight Eventually Different Families

Authors: Vera Fischer, Corey Bacal Switzer

Abstract: Generalizing the notion of a tight almost disjoint family, we introduce the notions of a {\em tight eventually different} family of functions in Baire space and a {\em tight eventually different set of permutations} of $ω$. Such sets strengthen maximality, exist under $\mathsf{MA} (σ{\rm -linked})$ and come with a properness preservation theorem. The notion of tightness also generalizes earlier wo… ▽ More Generalizing the notion of a tight almost disjoint family, we introduce the notions of a {\em tight eventually different} family of functions in Baire space and a {\em tight eventually different set of permutations} of $ω$. Such sets strengthen maximality, exist under $\mathsf{MA} (σ{\rm -linked})$ and come with a properness preservation theorem. The notion of tightness also generalizes earlier work on the forcing indestructibility of maximality of families of functions. As a result we compute the cardinals $\mathfrak{a}_e$ and $\mathfrak{a}_p$ in many known models by giving explicit witnesses and therefore obtain the consistency of several constellations of cardinal characteristics of the continuum including $\mathfrak{a}_e = \mathfrak{a}_p = \mathfrak{d} < \mathfrak{a}_T$, $\mathfrak{a}_e = \mathfrak{a}_p < \mathfrak{d} = \mathfrak{a}_T$, $\mathfrak{a}_e = \mathfrak{a}_p = \mathfrak{u} < non(\mathcal N) = cof(\mathcal N)$ and $\mathfrak{a}_e = \mathfrak{a}_p =\mathfrak{i} < \mathfrak{u}$. We also show that there are $Π^1_1$ tight eventually different families and tight eventually different sets of permutations in $L$ thus obtaining the above inequalities alongside $Π^1_1$ witnesses for $\mathfrak{a}_e = \mathfrak{a}_p = \aleph_1$. Moreover, we prove that tight eventually different families are Cohen indestructible and are never analytic. △ Less

Submitted 18 February, 2022; v1 submitted 22 April, 2021; originally announced April 2021.

Comments: 25 pages, submitted. Fifth draft includes numerous updates suggested by an anonymous referee. In particular the proof of Theorem 9.6 has been rewritten to clarify some ambiguities in the previous draft

MSC Class: 03E17; 03E35; 03E50

Journal ref: J. symb. log. 89 (2024) 697-723

The Structure of $κ$-Maximal Cofinitary Groups

Authors: Vera Fischer, Corey Bacal Switzer

Abstract: We study $κ$-maximal cofinitary groups for $κ$ regular uncountable, $κ= κ^{<κ}$. Revisiting earlier work of Kastermans and building upon a recently obtained higher analogue of Bell's theorem, we show that: 1. Any $κ$-maximal cofinitary group has ${<}κ$ many orbits under the natural group action of $S(κ)$ on $κ$. 2. If $\mathfrak{p}(κ) = 2^κ$ then any partition of $κ$ into less than $κ$ many se… ▽ More We study $κ$-maximal cofinitary groups for $κ$ regular uncountable, $κ= κ^{<κ}$. Revisiting earlier work of Kastermans and building upon a recently obtained higher analogue of Bell's theorem, we show that: 1. Any $κ$-maximal cofinitary group has ${<}κ$ many orbits under the natural group action of $S(κ)$ on $κ$. 2. If $\mathfrak{p}(κ) = 2^κ$ then any partition of $κ$ into less than $κ$ many sets can be realized as the orbits of a $κ$-maximal cofinitary group. 3. For any regular $λ> κ$ it is consistent that there is a $κ$-maximal cofinitary group which is universal for groups of size ${<}2^κ= λ$. If we only require the group to be universal for groups of size $κ$ then this follows from $\mathfrak{p}(κ) = 2^κ$. △ Less

Submitted 8 April, 2021; originally announced April 2021.

Comments: 12 pages

MSC Class: 03E17; 03E35

Strong independence and its spectrum

Authors: Monroe Eskew, Vera Fischer

Abstract: For $μ, κ$ infinite, say $\mathcal{A}\subseteq [κ]^κ$ is a $(μ,κ)$-maximal independent family if whenever $\mathcal{A}_0$ and $\mathcal{A}_1$ are pairwise disjoint non-empty in $[\mathcal{A}]^{<μ}$ then $\bigcap\mathcal{A}_0\backslash\bigcup\mathcal{A}_1 \not= \emptyset$, $\mathcal{A}$ is maximal under inclusion among families with this property, and moreover all such Booelan combinations have siz… ▽ More For $μ, κ$ infinite, say $\mathcal{A}\subseteq [κ]^κ$ is a $(μ,κ)$-maximal independent family if whenever $\mathcal{A}_0$ and $\mathcal{A}_1$ are pairwise disjoint non-empty in $[\mathcal{A}]^{<μ}$ then $\bigcap\mathcal{A}_0\backslash\bigcup\mathcal{A}_1 \not= \emptyset$, $\mathcal{A}$ is maximal under inclusion among families with this property, and moreover all such Booelan combinations have size $κ$. We denote by $\mathfrak{sp}_{\mathfrak i}(μ,κ)$ the set of all cardinalities of such families, and if non-empty, we let $\mathfrak{i}_μ(κ)$ be its minimal element. Thus, $\mathfrak{i}_μ(κ)$ (if defined) is a natural higher analogue of the independence number on $ω$ for the higher Baire spaces. In this paper, we study $\mathfrak{sp}_{\mathfrak i}(μ,κ)$ for $μ,κ$ uncountable. Among others, we show that: (1) The property $\mathfrak{sp}_{\mathfrak i}(μ,κ)\neq\emptyset$ cannot be decided on the basis of ZFC plus large cardinals. (2) Relative to a measurable, it is consistent that: (a) $(\exists κ{>}ω) \, \mathfrak{i}_κ(κ)<2^κ$; (b) $(\exists κ{>}ω)\,κ^+<\mathfrak{i}_{ω_1}(κ)<2^κ$. To the best knowledge of the authors, this is the first example of a $(μ,κ)$-maximal independent family of size strictly between $κ^+$ and $2^κ$, for uncountable $κ$. (3) $\mathfrak{sp}_{\mathfrak i}(μ,κ)$ cannot be quite arbitrary. △ Less

Submitted 6 March, 2021; originally announced March 2021.

Semiclassical analysis on compact nilmanifolds

Authors: Veronique Fischer

Abstract: In this paper, we define and study semi-classical analysis and semi-classical limits on compact nil-manifolds. As an application, we obtain properties of quantum limits for sub-Laplacians in this context, and more generally for positive Rockland operators. In this paper, we define and study semi-classical analysis and semi-classical limits on compact nil-manifolds. As an application, we obtain properties of quantum limits for sub-Laplacians in this context, and more generally for positive Rockland operators. △ Less

Submitted 22 April, 2025; v1 submitted 18 January, 2021; originally announced January 2021.

Comments: 33 pages

MSC Class: 43A85; 43A32; 22E30; 35H20; 35P20; 81Q10

Non-linear iterations and higher splitting

Authors: Ömer Faruk Bağ, Vera Fischer

Abstract: We show that generalized eventually narrow sequences on a strongly inaccessible cardinal $κ$ are preserved under the Cummings-Shaleh non-linear iterations of the higher Hechler forcing on $κ$. Moreover assuming GCH, $κ^{<κ}=κ$, we show that: (1) if $κ$ is strongly unfoldable, $κ^+\leqβ=\hbox{cf}(β)\leq \hbox{cf}(δ)\leqδ\leqμ$ and $\hbox{cf}(μ)>κ$,then there is a cardinal preserving generic exten… ▽ More We show that generalized eventually narrow sequences on a strongly inaccessible cardinal $κ$ are preserved under the Cummings-Shaleh non-linear iterations of the higher Hechler forcing on $κ$. Moreover assuming GCH, $κ^{<κ}=κ$, we show that: (1) if $κ$ is strongly unfoldable, $κ^+\leqβ=\hbox{cf}(β)\leq \hbox{cf}(δ)\leqδ\leqμ$ and $\hbox{cf}(μ)>κ$,then there is a cardinal preserving generic extension in which $$\mathfrak{s}(κ)=κ^+\leq\mathfrak{b}(κ)=β\leq\mathfrak{d}(κ)=δ\leq 2^κ=μ.$$ (2) if $κ$ is strongly inaccessible, $λ>κ^+$, then in the generic extension obtained as the $<κ$-support iteration of $κ$-Hechler forcing of length $λ$ there are no $κ$-towers of length $λ$. △ Less

Submitted 22 May, 2020; originally announced May 2020.

Parallel non-linear iterations

Authors: Ömer Faruk Bağ, Vera Fischer

Abstract: Developing a system of parallel non-linear iterations, we establish the consistency of $\mathfrak{b}<\mathfrak{s}<\mathfrak{d}<\mathfrak{c}$ where $\mathfrak{b}, \mathfrak{d}, \mathfrak{c}$ are arbitrary subject to the known ZFC restrictions and $\mathfrak{s}$ is regular. By evaluating other invariants we achieve also the constellations $\mathfrak{b}<\mathfrak{r}<\mathfrak{d}<\mathfrak{c}$,… ▽ More Developing a system of parallel non-linear iterations, we establish the consistency of $\mathfrak{b}<\mathfrak{s}<\mathfrak{d}<\mathfrak{c}$ where $\mathfrak{b}, \mathfrak{d}, \mathfrak{c}$ are arbitrary subject to the known ZFC restrictions and $\mathfrak{s}$ is regular. By evaluating other invariants we achieve also the constellations $\mathfrak{b}<\mathfrak{r}<\mathfrak{d}<\mathfrak{c}$, $\mathfrak{b}<\mathfrak{e}<\mathfrak{d}<\mathfrak{c}$ and $\mathfrak{b}<\mathfrak{u}<\mathfrak{d}<\mathfrak{c}$. △ Less

Submitted 22 May, 2020; originally announced May 2020.

Definable MAD families and forcing axioms

Authors: Vera Fischer, David Schrittesser, Thilo Weinert

Abstract: We show that under the Bounded Proper Forcing Axiom and an anti-large cardinal assumption, there is a $\mathbfΠ^1_2$ MAD family. We show that under the Bounded Proper Forcing Axiom and an anti-large cardinal assumption, there is a $\mathbfΠ^1_2$ MAD family. △ Less

Submitted 30 December, 2019; originally announced December 2019.

Comments: 13 pages

MSC Class: 03E15; 03E57; 03E55

Journal ref: Annals of Pure and Applied Logic Volume 172, Issue 5, May 2021, 102909

Selective independence

Authors: Vera Fischer

Abstract: Let $\mathfrak{i}$ denote the minimal cardinality of a maximal independent family and let $\mathfrak{a}_T$ denote the minimal cardinality of a maximal family of pairwise almost disjoint subtrees of $2^{<ω}$. Using a countable support iteration of proper, $^ωω$-bounding posets of length $ω_2$ over a model of CH, we show that consistently $\mathfrak{i}<\mathfrak{a}_T$. Moreover, we show that the ine… ▽ More Let $\mathfrak{i}$ denote the minimal cardinality of a maximal independent family and let $\mathfrak{a}_T$ denote the minimal cardinality of a maximal family of pairwise almost disjoint subtrees of $2^{<ω}$. Using a countable support iteration of proper, $^ωω$-bounding posets of length $ω_2$ over a model of CH, we show that consistently $\mathfrak{i}<\mathfrak{a}_T$. Moreover, we show that the inequality can be witnessed by a co-analytic maximal independent family of size $\aleph_1$ in the presence of a $Δ^1_3$ definable well-order of the reals. The main result of the paper can be viewed as a partial answer towards the well-known open problem of the consistency of $\mathfrak{i}<\mathfrak{a}$. △ Less

Submitted 21 December, 2019; originally announced December 2019.

Comments: 8 pages

MSC Class: 03E17; 03E35; 03E15

Quantum Evolution And Sub-laplacian Operators On Groups Of Heisenberg Type

Authors: Clotilde Fermanian-Kammerer, Véronique Fischer

Abstract: In this paper we analyze the evolution of the time averaged energy densities associated with a family of solutions to a Schr{ö}dinger equation on a Lie group of Heisenberg type. We use a semi-classical approach adapted to the stratified structure of the group and describe the semi-classical measures (also called quantum limits) that are associated with this family. This allows us to prove an Egoro… ▽ More In this paper we analyze the evolution of the time averaged energy densities associated with a family of solutions to a Schr{ö}dinger equation on a Lie group of Heisenberg type. We use a semi-classical approach adapted to the stratified structure of the group and describe the semi-classical measures (also called quantum limits) that are associated with this family. This allows us to prove an Egorov's type Theorem describing the quantum evolution of a pseudodifferential semi-classical operator through the semi-group generated by a sub-Laplacian. △ Less

Submitted 31 October, 2019; originally announced October 2019.

Higher Independence

Authors: Vera Fischer, Diana Carolina Montoya

Abstract: We study higher analogues of the classical independence number on $ω$. For $κ$ regular uncountable, we denote by $i(κ)$ the minimal size of a maximal $κ$-independent family. We establish ZFC relations between $i(κ)$ and the standard higher analogues of some of the classical cardinal characteristics, e.g. $\mathfrak{r}(κ)\leq\mathfrak{i}(κ)$ and $\mathfrak{d}(κ)\leq\mathfrak{i}(κ)$. For $κ$ measu… ▽ More We study higher analogues of the classical independence number on $ω$. For $κ$ regular uncountable, we denote by $i(κ)$ the minimal size of a maximal $κ$-independent family. We establish ZFC relations between $i(κ)$ and the standard higher analogues of some of the classical cardinal characteristics, e.g. $\mathfrak{r}(κ)\leq\mathfrak{i}(κ)$ and $\mathfrak{d}(κ)\leq\mathfrak{i}(κ)$. For $κ$ measurable, assuming that $2^κ=κ^+$ we construct a maximal $κ$-independent family which remains maximal after the $κ$-support product of $λ$ many copies of $κ$-Sacks forcing. Thus, we show the consistency of $κ^+=\mathfrak{d}(κ)=\mathfrak{i}(κ)<2^κ$. We conclude the paper with interesting open questions and discuss difficulties regarding other natural approaches to higher independence. △ Less

Submitted 9 June, 2022; v1 submitted 25 September, 2019; originally announced September 2019.

MSC Class: 03E17; 03E35

Towers and gaps at uncountable cardinals

Authors: Vera Fischer, Diana Carolina Montoya, Jonathan Schilhan, Dániel T. Soukup

Abstract: Our goal is to study the pseudo-intersection and tower numbers on uncountable regular cardinals, whether these two cardinal characteristics are necessarily equal, and related problems on the existence of gaps. First, we prove that either $\mathfrak p(κ)=\mathfrak t(κ)$ or there is a $(\mathfrak p(κ),λ)$-gap of club-supported slaloms for some $λ< \mathfrak p(κ)$. While the existence of such gaps is… ▽ More Our goal is to study the pseudo-intersection and tower numbers on uncountable regular cardinals, whether these two cardinal characteristics are necessarily equal, and related problems on the existence of gaps. First, we prove that either $\mathfrak p(κ)=\mathfrak t(κ)$ or there is a $(\mathfrak p(κ),λ)$-gap of club-supported slaloms for some $λ< \mathfrak p(κ)$. While the existence of such gaps is unclear, this is a promising step to lift Malliaris and Shelah's proof of $\mathfrak p=\mathfrak t$ to uncountable cardinals. We do analyze gaps of slaloms and, in particular, show that $\mathfrak p(κ)$ is always regular; the latter extends results of Garti. Finally, we turn to club variants of $\mathfrak p(κ)$ and present a new model for the inequality $\mathfrak{p}(κ) = κ^+ < \mathfrak{p}_{cl}(κ) = 2^κ$. In contrast to earlier arguments by Shelah and Spasojevic, we achieve this by adding $κ$-Cohen reals and then successively diagonalising the club-filter; the latter is shown to preserve a Cohen witness to $\mathfrak{p}(κ) = κ^+$. △ Less

Submitted 3 June, 2019; originally announced June 2019.

Comments: 24 pages

MSC Class: 03E05; 03E17

Definable Maximal Independent Families

Authors: Jörg Brendle, Vera Fischer, Yurii Khomskii

Abstract: We study maximal independent families (m.i.f.) in the projective hierarchy. We show that (a) the existence of a $\boldsymbolΣ^1_2$ m.i.f. is equivalent to the existence of a $\boldsymbolΠ^1_1$ m.i.f., (b) in the Cohen model, there are no projective maximal independent families, and (c) in the Sacks model, there is a $\boldsymbolΠ^1_1$ m.i.f. We also consider a new cardinal invariant related to the… ▽ More We study maximal independent families (m.i.f.) in the projective hierarchy. We show that (a) the existence of a $\boldsymbolΣ^1_2$ m.i.f. is equivalent to the existence of a $\boldsymbolΠ^1_1$ m.i.f., (b) in the Cohen model, there are no projective maximal independent families, and (c) in the Sacks model, there is a $\boldsymbolΠ^1_1$ m.i.f. We also consider a new cardinal invariant related to the question of destroying or preserving maximal independent families. △ Less

Submitted 12 May, 2019; originally announced May 2019.

Comments: Accepted for publication, 2019

MSC Class: 03E15; 03E17; 03E35

Journal ref: Proceedings of the AMS, 2019

Good projective witnesses

Authors: Vera Fischer, Sy David Friedman, David Schrittesser, Asger Törnquist

Abstract: We develop a new forcing notion for adjoining self-coding cofinitary permutations and use it to show that consistently, the minimal cardinality $\mathfrak a_{\text{g}}$ of a maximal cofinitary group (MCG) is strictly between $\aleph_1$ and $\mathfrak{c}$, and there is a $Π^1_2$-definable MCG of this cardinality. Here $Π^1_2$ is optimal, making this result a natural counterpart to the Borel MCG of… ▽ More We develop a new forcing notion for adjoining self-coding cofinitary permutations and use it to show that consistently, the minimal cardinality $\mathfrak a_{\text{g}}$ of a maximal cofinitary group (MCG) is strictly between $\aleph_1$ and $\mathfrak{c}$, and there is a $Π^1_2$-definable MCG of this cardinality. Here $Π^1_2$ is optimal, making this result a natural counterpart to the Borel MCG of Horowitz and Shelah. Our theorem has its analogue in the realm of maximal almost disjoint (MAD) families, extending a line of results regarding the definability properties of MAD families in models with large continuum. △ Less

Submitted 29 April, 2025; v1 submitted 11 April, 2019; originally announced April 2019.

Comments: 33 pages

Report number: CPH-SYM-DNRF92 MSC Class: 03E17; 03E35

Heisenberg-Modulation Spaces at the Crossroads of Coorbit Theory and Decomposition Space Theory

Authors: Véronique Fischer, David Rottensteiner, Michael Ruzhansky

Abstract: We show that generalised time-frequency shifts on the Heisenberg group $\mathbf{H}_n \cong \mathbb{R}^{2n+1}$, realised as a unitary irreducible representation of a nilpotent Lie group acting on $L^{2}(\mathbf{H}_n)$, give rise to a novel type of function spaces on $\mathbb{R}^{2n+1}$. The representation we employ is the generic unitary irreducible representation of the $3$-step nilpotent Dynin-Fo… ▽ More We show that generalised time-frequency shifts on the Heisenberg group $\mathbf{H}_n \cong \mathbb{R}^{2n+1}$, realised as a unitary irreducible representation of a nilpotent Lie group acting on $L^{2}(\mathbf{H}_n)$, give rise to a novel type of function spaces on $\mathbb{R}^{2n+1}$. The representation we employ is the generic unitary irreducible representation of the $3$-step nilpotent Dynin-Folland group. In doing so, we answer the question whether representations of nilpotent Lie groups ever yield coorbit spaces distinct from the classical modulation spaces $M^{\mathbf{p}, \mathbf{q}}_{\mathbf{v}}(\mathbb{R}^{2n+1}), n \in \mathbb{N}$, and also introduce a new member to the zoo of decomposition spaces. As our analysis and proof of novelty make heavy use of coorbit theory and decomposition space theory, in particular Voigtlaender's recent contributions to the latter, we give a complete classification of the unitary irreducible representations of the Dynin-Folland group and also characterise the coorbit spaces related to the non-generic unitary irreducible representations. △ Less

Submitted 19 December, 2018; originally announced December 2018.

MSC Class: 42B35; 22E25; 22E27

Semi-classical analysis on H-type groups

Authors: Clotilde Fermanian-Kammerer, Veronique Fischer

Abstract: In this paper, we develop a semi-classical analysis on H-type groups. We define semi-classical pseudodifferential operators, prove the boundedness of their action on square integrable functions and develop a symbolic calculus. Then, we define the semi-classical measures of bounded families of square integrable functions which consists of a pair formed by a measure defined on the product of the gro… ▽ More In this paper, we develop a semi-classical analysis on H-type groups. We define semi-classical pseudodifferential operators, prove the boundedness of their action on square integrable functions and develop a symbolic calculus. Then, we define the semi-classical measures of bounded families of square integrable functions which consists of a pair formed by a measure defined on the product of the group and its unitary dual, and by a field of trace class positive operators acting on the Hilbert spaces of the representations. We illustrate the theory by analyzing examples, which show in particular that this semi-classical analysis takes into account the finite-dimensioned representations of the group, even though they are negligible with respect to the Plancherel measure. △ Less

Submitted 30 November, 2018; originally announced December 2018.

Comments: 29 pages

Definable Towers

Authors: V. Fischer, J. Schilhan

Abstract: We study the definability of maximal towers and of inextendible linearly ordered towers (ilt's), a notion that is more general than that of a maximal tower. We show that there is, in the constructible universe, a $Π^1_1$ definable maximal tower that is indestructible by any proper Suslin poset. We prove that the existence of a $Σ^1_2$ ilt implies that $ω_1 = ω_1^L$. Moreover we show that analogous… ▽ More We study the definability of maximal towers and of inextendible linearly ordered towers (ilt's), a notion that is more general than that of a maximal tower. We show that there is, in the constructible universe, a $Π^1_1$ definable maximal tower that is indestructible by any proper Suslin poset. We prove that the existence of a $Σ^1_2$ ilt implies that $ω_1 = ω_1^L$. Moreover we show that analogous results hold for other combinatorial families of reals. We prove that there is no ilt in Solovay's model. And finally we show that the existence of a $Σ^1_2$ ilt is equivalent to that of a $Π^1_1$ maximal tower. △ Less

Submitted 21 November, 2018; originally announced November 2018.

MSC Class: 03E17 (Primary); 03E15; 03E05 (Secondary)

A Sacks indestructible co-analytic maximal eventually different family

Authors: Vera Fischer, David Schrittesser

Abstract: In the constructible universe, we construct a co-analytic maximal family of pairwise eventually different functions from $\mathbb{N}$ to $\mathbb{N}$ which remains maximal after adding arbitrarily many Sacks reals (by a countably supported iteration or product). In the constructible universe, we construct a co-analytic maximal family of pairwise eventually different functions from $\mathbb{N}$ to $\mathbb{N}$ which remains maximal after adding arbitrarily many Sacks reals (by a countably supported iteration or product). △ Less

Submitted 13 November, 2018; originally announced November 2018.

Comments: 20 pages

MSC Class: 03E17; 03E35

Journal ref: Fundamenta Mathematicae 252 (2021), 179--201

Real trace expansions

Authors: Veronique Fischer

Abstract: In this paper, we show that the trace of the operators $Aη(t\mathcal{L})$ where $A$ and $\mathcal {L}$ are classical pseudo-differential operators on a compact manifold $M$ and $\mathcal {L}$ is elliptic and self-adjoint admits an expansion in powers of $t\to 0^+$. The functions $η$ being smooth and compactly supported on $\mathbb R$ have no meromorphic properties, unlike in the case of the heat t… ▽ More In this paper, we show that the trace of the operators $Aη(t\mathcal{L})$ where $A$ and $\mathcal {L}$ are classical pseudo-differential operators on a compact manifold $M$ and $\mathcal {L}$ is elliptic and self-adjoint admits an expansion in powers of $t\to 0^+$. The functions $η$ being smooth and compactly supported on $\mathbb R$ have no meromorphic properties, unlike in the case of the heat trace or zeta functions. We also show that the constant coefficients in our expansions are related to the non-commutative residue and the canonical trace of $A$. △ Less

Submitted 15 November, 2019; v1 submitted 3 October, 2018; originally announced October 2018.

Comments: 32 pages, accepted for publication at Documenta Mathematica

MSC Class: 58J40; 58J42

Free sequences in P(ω)/fin

Authors: David Chodounský, Vera Fischer, Jan Grebík

Abstract: We investigate maximal free sequences in the Boolean algebra $\mathcal{P}(ω)/\mathrm{fin}$, as defined by D. Monk. We provide some information on the general structure of these objects and we are particularly interested in the minimal cardinality of a free sequence, a cardinal characteristic of the continuum denoted $\mathfrak{f}$. Answering a question of Monk, we demonstrate the consistency of… ▽ More We investigate maximal free sequences in the Boolean algebra $\mathcal{P}(ω)/\mathrm{fin}$, as defined by D. Monk. We provide some information on the general structure of these objects and we are particularly interested in the minimal cardinality of a free sequence, a cardinal characteristic of the continuum denoted $\mathfrak{f}$. Answering a question of Monk, we demonstrate the consistency of $ω_1 = \mathfrak{i} = \mathfrak{f} < \mathfrak{u} = ω_2$. In fact, this consistency is demonstrated in the model of S. Shelah for $\mathfrak{i} < \mathfrak{u}$. Our paper provides a streamlined and mostly self contained presentation of this construction. △ Less

Submitted 26 April, 2019; v1 submitted 17 August, 2018; originally announced August 2018.

MSC Class: 03E17; 03E35; 06E05

Subelliptic Gevrey spaces

Authors: Veronique Fischer, Michael Ruzhansky, Chiara Alba Taranto

Abstract: In this paper, we define and study Gevrey spaces associated with a Hörmander family of (globally defined) vector fields and its corresponding sub-Laplacian. We show some natural relations between the various Gevrey spaces in this setting on general manifolds, and more particular properties on Lie groups with polynomial growth of the volume. In the case of the Heisenberg group and of $SU(2)$, we sh… ▽ More In this paper, we define and study Gevrey spaces associated with a Hörmander family of (globally defined) vector fields and its corresponding sub-Laplacian. We show some natural relations between the various Gevrey spaces in this setting on general manifolds, and more particular properties on Lie groups with polynomial growth of the volume. In the case of the Heisenberg group and of $SU(2)$, we show that all our descriptions coincide. △ Less

Submitted 19 August, 2020; v1 submitted 22 May, 2018; originally announced May 2018.

Comments: 23 pages

MSC Class: 43A15; 22E30

More ZFC inequalities between cardinal invariants

Authors: Vera Fischer, Daniel T. Soukup

Abstract: Motivated by recent results and questions of D. Raghavan and S. Shelah, we present ZFC theorems on the bounding and various almost disjointness numbers, as well as on reaping and dominating families on uncountable, regular cardinals. We show that if $κ=λ^+$ for some $λ\geq ω$ and $\mathfrak b(κ)=κ^+$ then $\mathfrak a_e(κ)=\mathfrak a_p(κ)=κ^+$. If, additionally, $2^{<λ}=λ$ then… ▽ More Motivated by recent results and questions of D. Raghavan and S. Shelah, we present ZFC theorems on the bounding and various almost disjointness numbers, as well as on reaping and dominating families on uncountable, regular cardinals. We show that if $κ=λ^+$ for some $λ\geq ω$ and $\mathfrak b(κ)=κ^+$ then $\mathfrak a_e(κ)=\mathfrak a_p(κ)=κ^+$. If, additionally, $2^{<λ}=λ$ then $\mathfrak a_g(κ)=κ^+$ as well. Furthermore, we prove a variety of new bounds for $\mathfrak d(κ)$ in terms of $\mathfrak r(κ)$, including $\mathfrak d(κ)\leq \mathfrak r_σ(κ)\leq \mathrm{cof}([\mathfrak r(κ)]^ω)$, and $\mathfrak d(κ)\leq \mathfrak r(κ)$ whenever $\mathfrak r(κ)<\mathfrak b(κ)^{+κ}$ or $\mathrm{cof}(\mathfrak r(κ))\leq κ$ holds. △ Less

Submitted 8 March, 2018; v1 submitted 8 February, 2018; originally announced February 2018.

Comments: 15 pages, significantly extended with new results and diagrams, comments are very welcome. Minor corrections

MSC Class: 03E05; 03E17

Local and global symbols on compact Lie groups

Authors: Veronique Fischer

Abstract: On the torus, it is possible to assign a global symbol to a pseudodifferential operator using Fourier series. In this paper we investigate the relations between the local and global symbols for the operators in the classical Hörmander calculus and describe the principal symbols, the non-commutative residue and the canonical trace of an operator in terms of its global symbol. We also generalise the… ▽ More On the torus, it is possible to assign a global symbol to a pseudodifferential operator using Fourier series. In this paper we investigate the relations between the local and global symbols for the operators in the classical Hörmander calculus and describe the principal symbols, the non-commutative residue and the canonical trace of an operator in terms of its global symbol. We also generalise these results to any compact Lie group. △ Less

Submitted 3 October, 2018; v1 submitted 8 November, 2017; originally announced November 2017.

Comments: 27 pages

MSC Class: 58J40; 43A77; 58J42

Defect measures on graded lie groups

Authors: Véronique Fischer, Clotilde Fermanian-Kammerer

Abstract: In this article, we define a generalisation of microlocal defect measures (also known as H-measures) to the setting of graded nilpotent Lie groups. This requires to develop the notions of homogeneous symbols and classical pseudo-differential calculus adapted to this setting and defined via the representations of the groups. Our method relies on the study of the C *-algebra of 0-homogeneous symbols… ▽ More In this article, we define a generalisation of microlocal defect measures (also known as H-measures) to the setting of graded nilpotent Lie groups. This requires to develop the notions of homogeneous symbols and classical pseudo-differential calculus adapted to this setting and defined via the representations of the groups. Our method relies on the study of the C *-algebra of 0-homogeneous symbols. Then, we compute microlocal defect measures for concentrating and oscillating sequences, which also requires to investigate the notion of oscillating sequences in graded Lie groups. Finally, we discuss compacity compactness approaches in the context of graded nilpotent Lie groups. △ Less

Submitted 13 July, 2017; originally announced July 2017.

Nilpotent gelfand pairs and Schwartz extensions of spherical transforms via quotient pairs

Authors: Veronique Fischer, Fulvio Ricci, Oksana Yakimova

Abstract: It has been shown that for several nilpotent Gelfand pairs (N,K) (i.e., with N a nilpotent Lie group, K a compact group of automorphisms of N and the algebra L^1(N)^K commutative) the spherical transform establishes a 1-to-1 correspondence between the space S(N)^K of K-invariant Schwartz functions on N and the space S(Σ) of functions on the Gelfand spectrum Σ of L^1(N)^K which extend to Schwartz f… ▽ More It has been shown that for several nilpotent Gelfand pairs (N,K) (i.e., with N a nilpotent Lie group, K a compact group of automorphisms of N and the algebra L^1(N)^K commutative) the spherical transform establishes a 1-to-1 correspondence between the space S(N)^K of K-invariant Schwartz functions on N and the space S(Σ) of functions on the Gelfand spectrum Σ of L^1(N)^K which extend to Schwartz functions on Rd, once Σ is suitably embedded in Rd. We call this property (S). We present here a general bootstrapping method which allows to establish property (S) to new nilpotent pairs (N,K), once the same property is known for a class of quotient pairs of (N,K) and a K-invariant form of Hadamard formula holds on N. We finally show how our method can be recursively applied to prove property (S) for a significant class of nilpotent Gelfand pairs. △ Less

Submitted 5 June, 2017; originally announced June 2017.

MSC Class: Primary: 43A22; Secondary: 13A50; 43A85; 43A90; 43A20

Differential structure on the dual of a compact lie group

Authors: Veronique Fischer

Abstract: In this paper we define difference operators and homogeneous Sobolev-type spaces on the dual of a compact Lie group. As an application and to show that this defines a relevant differential structure, we state and prove multiplier theorems of Hörmander, Mihlin and Marcinkiewicz types together with the sharpness in the Sobolev exponent for the one of Hörmander type. In this paper we define difference operators and homogeneous Sobolev-type spaces on the dual of a compact Lie group. As an application and to show that this defines a relevant differential structure, we state and prove multiplier theorems of Hörmander, Mihlin and Marcinkiewicz types together with the sharpness in the Sobolev exponent for the one of Hörmander type. △ Less

Submitted 11 June, 2018; v1 submitted 20 October, 2016; originally announced October 2016.

Comments: 43 pages

MSC Class: 43A22; 43A77; 22E15; 12H05

Coherent systems of finite support iterations

Authors: Vera Fischer, Sy D. Friedman, Diego A. Mejía, Diana C. Montoya

Abstract: We introduce a forcing technique to construct three-dimensional arrays of generic extensions through FS (finite support) iterations of ccc posets, which we refer to as 3D-coherent systems. We use them to produce models of new constellations in Cichoń's diagram, in particular, a model where the diagram can be separated into 7 different values. Furthermore, we show that this constellation of 7 value… ▽ More We introduce a forcing technique to construct three-dimensional arrays of generic extensions through FS (finite support) iterations of ccc posets, which we refer to as 3D-coherent systems. We use them to produce models of new constellations in Cichoń's diagram, in particular, a model where the diagram can be separated into 7 different values. Furthermore, we show that this constellation of 7 values is consistent with the existence of a $Δ^1_3$ well-order of the reals. △ Less

Submitted 29 March, 2017; v1 submitted 18 September, 2016; originally announced September 2016.

Comments: 27 pages, 3 figures. Accepted in the Journal of Symbolic Logic

MSC Class: 03E17; 03E15; 03E35; 03E40; 03E45

Definable maximal cofinitary groups

Authors: Vera Fischer, Sy David Friedman, Asger Törnquist

Abstract: Using countable support iteration of $S$-proper posets, for some appropriate stationary set $S$, we obtain a generic extension of the constructible universe, in which $\mathfrak{b}=\mathfrak{c}=\aleph_2$ and there is a maximal cofinitary group with a $Π^1_2$-definable set of generators. Using countable support iteration of $S$-proper posets, for some appropriate stationary set $S$, we obtain a generic extension of the constructible universe, in which $\mathfrak{b}=\mathfrak{c}=\aleph_2$ and there is a maximal cofinitary group with a $Π^1_2$-definable set of generators. △ Less

Submitted 9 March, 2016; originally announced March 2016.

MSC Class: 03E17; 03E35

A co-analytic Cohen indestructible maximal cofinitary group

Authors: Vera Fischer, David Schrittesser, Asger Törnquist

Abstract: Assuming that every set is constructible, we find a $Π^1_1$ maximal cofinitary group of permutations of $\mathbb N$ which is indestructible by Cohen forcing. Thus we show that the existence of such groups is consistent with arbitrarily large continuum. Our method also gives a new proof, inspired by the forcing method, of Kastermans' result that there exists a $Π^1_1$ maximal cofinitary group in… ▽ More Assuming that every set is constructible, we find a $Π^1_1$ maximal cofinitary group of permutations of $\mathbb N$ which is indestructible by Cohen forcing. Thus we show that the existence of such groups is consistent with arbitrarily large continuum. Our method also gives a new proof, inspired by the forcing method, of Kastermans' result that there exists a $Π^1_1$ maximal cofinitary group in $L$. △ Less

Submitted 7 November, 2022; v1 submitted 7 March, 2016; originally announced March 2016.

Comments: Minor corrections

MSC Class: 03E15; 03E35

Journal ref: The Journal of Symbolic Logic, 82(2), pp. 629--647 (2017)