-
Asymptotic Uncertainty in the Estimation of Frequency Domain Causal Effects for Linear Processes
Authors:
Nicolas-Domenic Reiter,
Jonas Wahl,
Gabriele C. Hegerl,
Jakob Runge
Abstract:
Structural vector autoregressive (SVAR) processes are commonly used time series models to identify and quantify causal interactions between dynamically interacting processes from observational data. The causal relationships between these processes can be effectively represented by a finite directed process graph - a graph that connects two processes whenever there is a direct delayed or simultaneo…
▽ More
Structural vector autoregressive (SVAR) processes are commonly used time series models to identify and quantify causal interactions between dynamically interacting processes from observational data. The causal relationships between these processes can be effectively represented by a finite directed process graph - a graph that connects two processes whenever there is a direct delayed or simultaneous effect between them. Recent research has introduced a framework for quantifying frequency domain causal effects along paths on the process graph. This framework allows to identify how the spectral density of one process is contributing to the spectral density of another. In the current work, we characterise the asymptotic distribution of causal effect and spectral contribution estimators in terms of algebraic relations dictated by the process graph. Based on the asymptotic distribution we construct approximate confidence intervals and Wald type hypothesis tests for the estimated effects and spectral contributions. Under the assumption of causal sufficiency, we consider the class of differentiable estimators for frequency domain causal quantities, and within this class we identify the asymptotically optimal estimator. We illustrate the frequency domain Wald tests and uncertainty approximation on synthetic data, and apply them to analyse the impact of the 10 to 11 year solar cycle on the North Atlantic Oscillation (NAO). Our results confirm a significant effect of the solar cycle on the NAO at the 10 to 11 year time scale.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Causal Inference on Process Graphs, Part II: Causal Structure and Effect Identification
Authors:
Nicolas-Domenic Reiter,
Jonas Wahl,
Andreas Gerhardus,
Jakob Runge
Abstract:
A structural vector autoregressive (SVAR) process is a linear causal model for variables that evolve over a discrete set of time points and between which there may be lagged and instantaneous effects. The qualitative causal structure of an SVAR process can be represented by its finite and directed process graph, in which a directed link connects two processes whenever there is a lagged or instanta…
▽ More
A structural vector autoregressive (SVAR) process is a linear causal model for variables that evolve over a discrete set of time points and between which there may be lagged and instantaneous effects. The qualitative causal structure of an SVAR process can be represented by its finite and directed process graph, in which a directed link connects two processes whenever there is a lagged or instantaneous effect between them. At the process graph level, the causal structure of SVAR processes is compactly parameterised in the frequency domain. In this paper, we consider the problem of causal discovery and causal effect estimation from the spectral density, the frequency domain analogue of the auto covariance, of the SVAR process. Causal discovery concerns the recovery of the process graph and causal effect estimation concerns the identification and estimation of causal effects in the frequency domain.
We show that information about the process graph, in terms of $d$- and $t$-separation statements, can be identified by verifying algebraic constraints on the spectral density. Furthermore, we introduce a notion of rational identifiability for frequency causal effects that may be confounded by exogenous latent processes, and show that the recent graphical latent factor half-trek criterion can be used on the process graph to assess whether a given (confounded) effect can be identified by rational operations on the entries of the spectral density.
△ Less
Submitted 16 August, 2024; v1 submitted 25 June, 2024;
originally announced June 2024.
-
The Volume of a Surface or Orbifold Pair
Authors:
Jonathan Wahl
Abstract:
A surface pair $(X,C)$ is a germ of a normal surface singularity $(X,0)$ and a sum $C=\sum c_iC_i$ of curves on $X$, with $c_i\in [0,1]$. An orbifold pair has $c_i=1/n_i$, as intersecting with a small sphere gives a $3$-dimensional orbifold $(Σ, γ_i,n_i)$. There are natural notions of morphism and log cover of surface pairs. We introduce a volume $Vol(X,C)$ in $\mathbb Q_{\geq 0}$, computable from…
▽ More
A surface pair $(X,C)$ is a germ of a normal surface singularity $(X,0)$ and a sum $C=\sum c_iC_i$ of curves on $X$, with $c_i\in [0,1]$. An orbifold pair has $c_i=1/n_i$, as intersecting with a small sphere gives a $3$-dimensional orbifold $(Σ, γ_i,n_i)$. There are natural notions of morphism and log cover of surface pairs. We introduce a volume $Vol(X,C)$ in $\mathbb Q_{\geq 0}$, computable from any log resolution, analogous to that in our 1990 JAMS paper when $C=0$. Denoting $\bar{C}=\sum (1-c_i)C_i$, one has $(X,C)$ log canonical iff $Vol(X,\bar{C})=0$. The main theorem (5.4-5.6) is that $Vol(X,C)$ is ``characteristic'': if $f:(X',C')\rightarrow (X,C)$ is a morphism of degree $d$, then $Vol(X',C')\geq d\cdot Vol(X,C)$, with equality if $f$ is a log cover. We prove (6.7) that $Vol(X,\sum (1/n_i)C_i)=0$ iff the associated orbifold has finite or solvable orbifold fundamental group, and these are classified. In (8.2) is proved a key case of the DCC Volumes Conjecture: The set $\{Vol(X,\sum (1/n_i)C_i)|\ X\ \text{RDP}\}$ satisfies the DCC, with minimum non-$0$ volume 1/3528.
△ Less
Submitted 21 December, 2023;
originally announced December 2023.
-
Identifying Linearly-Mixed Causal Representations from Multi-Node Interventions
Authors:
Simon Bing,
Urmi Ninad,
Jonas Wahl,
Jakob Runge
Abstract:
The task of inferring high-level causal variables from low-level observations, commonly referred to as causal representation learning, is fundamentally underconstrained. As such, recent works to address this problem focus on various assumptions that lead to identifiability of the underlying latent causal variables. A large corpus of these preceding approaches consider multi-environment data collec…
▽ More
The task of inferring high-level causal variables from low-level observations, commonly referred to as causal representation learning, is fundamentally underconstrained. As such, recent works to address this problem focus on various assumptions that lead to identifiability of the underlying latent causal variables. A large corpus of these preceding approaches consider multi-environment data collected under different interventions on the causal model. What is common to virtually all of these works is the restrictive assumption that in each environment, only a single variable is intervened on. In this work, we relax this assumption and provide the first identifiability result for causal representation learning that allows for multiple variables to be targeted by an intervention within one environment. Our approach hinges on a general assumption on the coverage and diversity of interventions across environments, which also includes the shared assumption of single-node interventions of previous works. The main idea behind our approach is to exploit the trace that interventions leave on the variance of the ground truth causal variables and regularizing for a specific notion of sparsity with respect to this trace. In addition to and inspired by our theoretical contributions, we present a practical algorithm to learn causal representations from multi-node interventional data and provide empirical evidence that validates our identifiability results.
△ Less
Submitted 22 March, 2024; v1 submitted 5 November, 2023;
originally announced November 2023.
-
Projecting infinite time series graphs to finite marginal graphs using number theory
Authors:
Andreas Gerhardus,
Jonas Wahl,
Sofia Faltenbacher,
Urmi Ninad,
Jakob Runge
Abstract:
In recent years, a growing number of method and application works have adapted and applied the causal-graphical-model framework to time series data. Many of these works employ time-resolved causal graphs that extend infinitely into the past and future and whose edges are repetitive in time, thereby reflecting the assumption of stationary causal relationships. However, most results and algorithms f…
▽ More
In recent years, a growing number of method and application works have adapted and applied the causal-graphical-model framework to time series data. Many of these works employ time-resolved causal graphs that extend infinitely into the past and future and whose edges are repetitive in time, thereby reflecting the assumption of stationary causal relationships. However, most results and algorithms from the causal-graphical-model framework are not designed for infinite graphs. In this work, we develop a method for projecting infinite time series graphs with repetitive edges to marginal graphical models on a finite time window. These finite marginal graphs provide the answers to $m$-separation queries with respect to the infinite graph, a task that was previously unresolved. Moreover, we argue that these marginal graphs are useful for causal discovery and causal effect estimation in time series, effectively enabling to apply results developed for finite graphs to the infinite graphs. The projection procedure relies on finding common ancestors in the to-be-projected graph and is, by itself, not new. However, the projection procedure has not yet been algorithmically implemented for time series graphs since in these infinite graphs there can be infinite sets of paths that might give rise to common ancestors. We solve the search over these possibly infinite sets of paths by an intriguing combination of path-finding techniques for finite directed graphs and solution theory for linear Diophantine equations. By providing an algorithm that carries out the projection, our paper makes an important step towards a theoretically-grounded and method-agnostic generalization of a range of causal inference methods and results to time series.
△ Less
Submitted 9 October, 2023;
originally announced October 2023.
-
Foundations of Causal Discovery on Groups of Variables
Authors:
Jonas Wahl,
Urmi Ninad,
Jakob Runge
Abstract:
Discovering causal relationships from observational data is a challenging task that relies on assumptions connecting statistical quantities to graphical or algebraic causal models. In this work, we focus on widely employed assumptions for causal discovery when objects of interest are (multivariate) groups of random variables rather than individual (univariate) random variables, as is the case in a…
▽ More
Discovering causal relationships from observational data is a challenging task that relies on assumptions connecting statistical quantities to graphical or algebraic causal models. In this work, we focus on widely employed assumptions for causal discovery when objects of interest are (multivariate) groups of random variables rather than individual (univariate) random variables, as is the case in a variety of problems in scientific domains such as climate science or neuroscience. If the group-level causal models are derived from partitioning a micro-level model into groups, we explore the relationship between micro and group-level causal discovery assumptions. We investigate the conditions under which assumptions like Causal Faithfulness hold or fail to hold. Our analysis encompasses graphical causal models that contain cycles and bidirected edges. We also discuss grouped time series causal graphs and variants thereof as special cases of our general theoretical framework. Thereby, we aim to provide researchers with a solid theoretical foundation for the development and application of causal discovery methods for variable groups.
△ Less
Submitted 19 March, 2024; v1 submitted 12 June, 2023;
originally announced June 2023.
-
Causal Inference on Process Graphs, Part I: The Structural Equation Process Representation
Authors:
Nicolas-Domenic Reiter,
Andreas Gerhardus,
Jonas Wahl,
Jakob Runge
Abstract:
When dealing with time series data, causal inference methods often employ structural vector autoregressive (SVAR) processes to model time-evolving random systems. In this work, we rephrase recursive SVAR processes with possible latent component processes as a linear Structural Causal Model (SCM) of stochastic processes on a simple causal graph, the process graph, that models every process as a sin…
▽ More
When dealing with time series data, causal inference methods often employ structural vector autoregressive (SVAR) processes to model time-evolving random systems. In this work, we rephrase recursive SVAR processes with possible latent component processes as a linear Structural Causal Model (SCM) of stochastic processes on a simple causal graph, the process graph, that models every process as a single node. Using this reformulation, we generalise Wright's well-known path-rule for linear Gaussian SCMs to the newly introduced process SCMs and we express the auto-covariance sequence of an SVAR process by means of a generalised trek-rule. Employing the Fourier-Transformation, we derive compact expressions for causal effects in the frequency domain that allow us to efficiently visualise the causal interactions in a multivariate SVAR process. Finally, we observe that the process graph can be used to formulate graphical criteria for identifying causal effects and to derive algebraic relations with which these frequency domain causal effects can be recovered from the observed spectral density.
△ Less
Submitted 16 August, 2024; v1 submitted 19 May, 2023;
originally announced May 2023.
-
Splice diagrams and splice-quotient surface singularities
Authors:
Jonathan Wahl
Abstract:
The current work will appear in a Celebratio Mathematica volume in honor of Walter Neumann. We summarize results and methods from our long-time collaboration with Neumann, especially the motivation for the introduction of splice diagrams to define singularities of splice type and splice-quotient singularities. The Casson Invariant Conjecture and Milnor Fiber Conjectures are discussed, as well as s…
▽ More
The current work will appear in a Celebratio Mathematica volume in honor of Walter Neumann. We summarize results and methods from our long-time collaboration with Neumann, especially the motivation for the introduction of splice diagrams to define singularities of splice type and splice-quotient singularities. The Casson Invariant Conjecture and Milnor Fiber Conjectures are discussed, as well as some open questions about hypersurface and complete intersection singularities with integral homology sphere link.
△ Less
Submitted 1 February, 2022;
originally announced February 2022.
-
Rational homology disk smoothings of surface singularities; the exceptional cases
Authors:
Enrique Artal Bartolo,
Jonathan Wahl
Abstract:
It is known (Stipsicz-Szabó-Wahl) that there are exactly three triply-infinite and seven singly-infinite families of weighted homogeneous normal surface singularities admitting a rational homology disk ($\mathbb{Q}$HD) smoothing, i.e., having a Milnor fibre with Milnor number zero. Some examples are found by an explicit "quotient construction", while others require the "Pinkham method". The fundam…
▽ More
It is known (Stipsicz-Szabó-Wahl) that there are exactly three triply-infinite and seven singly-infinite families of weighted homogeneous normal surface singularities admitting a rational homology disk ($\mathbb{Q}$HD) smoothing, i.e., having a Milnor fibre with Milnor number zero. Some examples are found by an explicit "quotient construction", while others require the "Pinkham method". The fundamental group of the Milnor fibre has been known for all except the three exceptional families $\mathcal B_2^3(p), \mathcal C^3_2(p),$ and $\mathcal C^3_3(p)$. In this paper, we settle these cases. We present a new explicit construction for the $\mathcal B_2^3(p)$ family, showing the fundamental group is non-abelian (as occurred previously only for the $\mathcal A^4(p), \mathcal B^4(p)$ and $\mathcal C^4(p)$ cases). We show that the fundamental groups for $ \mathcal C^3_2(p)$ and $\mathcal C^3_3(p)$ are abelian, hence easily computed; using the Pinkham method here requires precise calculations for the fundamental group of the complement of a plane curve.
△ Less
Submitted 18 July, 2022; v1 submitted 20 August, 2021;
originally announced August 2021.
-
Orbifold splice quotients and log covers of surface pairs
Authors:
Walter D. Neumann,
Jonathan Wahl
Abstract:
A three-dimensional orbifold $(Σ, γ_i, n_i)$, where $Σ$ is a rational homology sphere, has a universal abelian orbifold covering, whose covering group is the first orbifold homology. A singular pair $(X,C)$, where $X$ is a normal surface singularity with $\mathbb Q$HS link and $C$ is a Weil divisor, gives rise on its boundary to an orbifold. One studies the preceding orbifold notions in the algebr…
▽ More
A three-dimensional orbifold $(Σ, γ_i, n_i)$, where $Σ$ is a rational homology sphere, has a universal abelian orbifold covering, whose covering group is the first orbifold homology. A singular pair $(X,C)$, where $X$ is a normal surface singularity with $\mathbb Q$HS link and $C$ is a Weil divisor, gives rise on its boundary to an orbifold. One studies the preceding orbifold notions in the algebro-geometric setting, in particular defining the universal abelian log cover of a pair. A first key theorem computes the orbifold homology from an appropriate resolution of the pair. In analogy with the case where $C$ is empty and one considers the universal abelian cover, under certain conditions on a resolution graph one can construct pairs and their universal abelian log covers. Such pairs are called orbifold splice quotients.
△ Less
Submitted 7 October, 2021; v1 submitted 17 November, 2020;
originally announced November 2020.
-
Traces on diagram algebras II: Centralizer algebras of easy groups and new variations of the Young graph
Authors:
Jonas Wahl
Abstract:
In continuation of our recent work arXiv:2006.07312, we classify the extremal traces on infinite diagram algebras that appear in the context of Schur-Weyl duality for Banica and Speicher's easy groups. We show that the branching graphs of these algebras describe walks on new variations of the Young graph which describe curious ways of growing Young diagrams. As a consequence, we prove that the ext…
▽ More
In continuation of our recent work arXiv:2006.07312, we classify the extremal traces on infinite diagram algebras that appear in the context of Schur-Weyl duality for Banica and Speicher's easy groups. We show that the branching graphs of these algebras describe walks on new variations of the Young graph which describe curious ways of growing Young diagrams. As a consequence, we prove that the extremal traces on generic rook-Brauer algebras are always extensions of extremal traces on the group algebra $\mathbb{C}[S_{\infty}]$ of the infinite symmetric group. Moreover, we conjecture that the same is true for generic parameter deformations of the centralizers of the hyperoctahedral group and we reduce this conjecture to a conceptually much simpler numerical statement. Lastly, we address the trace classification problem for the Schur-Weyl dual of the halfliberated orthogonal group $O_N^*$, in which case extremal traces are always extensions of extremal traces on $\mathbb{C}[S_{\infty} \times S_{\infty}]$. Our approach relies on methods developed by Vershik and Nikitin.
△ Less
Submitted 17 September, 2020;
originally announced September 2020.
-
Complex surface singularities with rational homology disk smoothings
Authors:
Jonathan Wahl
Abstract:
A cyclic quotient singularity of type $p^2/pq-1$ ($0<q<p, (p,q)=1$) has a smoothing whose Milnor fibre is a $\mathbb Q$HD, or rational homology disk (i.e., the Milnor number is $0$) ([9], 5.9.1). In the 1980's, we discovered additional examples of such singularities: three triply-infinite and six singly-infinite families, all weighted homogeneous. Later work of Stipsicz, Szabó, Bhupal, and the aut…
▽ More
A cyclic quotient singularity of type $p^2/pq-1$ ($0<q<p, (p,q)=1$) has a smoothing whose Milnor fibre is a $\mathbb Q$HD, or rational homology disk (i.e., the Milnor number is $0$) ([9], 5.9.1). In the 1980's, we discovered additional examples of such singularities: three triply-infinite and six singly-infinite families, all weighted homogeneous. Later work of Stipsicz, Szabó, Bhupal, and the author ([7], [1]) proved that these were the only weighted homogeneous examples. In his UNC PhD thesis (unpublished but available at [2]), our student Jacob Fowler completed the analytic classification of these singularities, and counted the number of smoothings in each case, except for types $\mathcal W$, $\mathcal N$, and $\mathcal M$. In this paper, we describe his results, and settle these remaining cases; there is a unique $\mathbb Q$HD smoothing component except in the cases of an obvious symmetry of the resolution dual graph. The method involves study of configurations of rational curves on projective rational surfaces.
△ Less
Submitted 25 June, 2020;
originally announced June 2020.
-
Traces On Diagram Algebras I: Free Partition Quantum Groups, Random Lattice Paths And Random Walks On Trees
Authors:
Jonas Wahl
Abstract:
We classify extremal traces on the seven direct limit algebras of noncrossing partitions arising from the classification of free partition quantum groups of Banica-Speicher (arXiv:0808.2628) and Weber (arXiv:1201.4723). For the infinite-dimensional Temperley-Lieb-algebra (corresponding to the quantum group $O^+_N$) and the Motzkin algebra ($B^+_N$), the classification of extremal traces implies a…
▽ More
We classify extremal traces on the seven direct limit algebras of noncrossing partitions arising from the classification of free partition quantum groups of Banica-Speicher (arXiv:0808.2628) and Weber (arXiv:1201.4723). For the infinite-dimensional Temperley-Lieb-algebra (corresponding to the quantum group $O^+_N$) and the Motzkin algebra ($B^+_N$), the classification of extremal traces implies a classification result for well-known types of central random lattice paths. For the $2$-Fuss-Catalan algebra ($H_N^+$) we solve the classification problem by computing the \emph{minimal or exit boundary} (also known as the \emph{absolute}) for central random walks on the Fibonacci tree, thereby solving a probabilistic problem of independent interest, and to our knowledge the first such result for a nonhomogeneous tree. In the course of this article, we also discuss the branching graphs for all seven examples of free partition quantum groups, compute those that were not already known, and provide new formulas for the dimensions of their irreducible representations.
△ Less
Submitted 2 July, 2021; v1 submitted 12 June, 2020;
originally announced June 2020.
-
The Fourier algebra of a rigid $C^{\ast}$-tensor category
Authors:
Yuki Arano,
Tim de Laat,
Jonas Wahl
Abstract:
Completely positive and completely bounded mutlipliers on rigid $C^{\ast}$-tensor categories were introduced by Popa and Vaes. Using these notions, we define and study the Fourier-Stieltjes algebra, the Fourier algebra and the algebra of completely bounded multipliers of a rigid $C^{\ast}$-tensor category. The rich structure that these algebras have in the setting of locally compact groups is stil…
▽ More
Completely positive and completely bounded mutlipliers on rigid $C^{\ast}$-tensor categories were introduced by Popa and Vaes. Using these notions, we define and study the Fourier-Stieltjes algebra, the Fourier algebra and the algebra of completely bounded multipliers of a rigid $C^{\ast}$-tensor category. The rich structure that these algebras have in the setting of locally compact groups is still present in the setting of rigid $C^{\ast}$-tensor categories. We also prove that Leptin's characterization of amenability still holds in this setting, and we collect some natural observations on property (T).
△ Less
Submitted 1 March, 2018; v1 submitted 6 July, 2017;
originally announced July 2017.
-
Bernoulli actions of type III_1 and L^2-cohomology
Authors:
Stefaan Vaes,
Jonas Wahl
Abstract:
We conjecture that a countable group $G$ admits a nonsingular Bernoulli action of type III$_1$ if and only if the first $L^2$-cohomology of $G$ is nonzero. We prove this conjecture for all groups that admit at least one element of infinite order. We also give numerous explicit examples of type III$_1$ Bernoulli actions of the group of integers and the free groups, with different degrees of ergodic…
▽ More
We conjecture that a countable group $G$ admits a nonsingular Bernoulli action of type III$_1$ if and only if the first $L^2$-cohomology of $G$ is nonzero. We prove this conjecture for all groups that admit at least one element of infinite order. We also give numerous explicit examples of type III$_1$ Bernoulli actions of the group of integers and the free groups, with different degrees of ergodicity.
△ Less
Submitted 8 January, 2018; v1 submitted 1 May, 2017;
originally announced May 2017.
-
Free wreath product quantum groups and standard invariants of subfactors
Authors:
Pierre Tarrago,
Jonas Wahl
Abstract:
By a construction of Vaughan Jones, the bipartite graph $Γ(A)$ associated with the natural inclusion of $\mathbb C$ inside a finite-dimensional $C^*$-algebra $A$ gives rise to a planar algebra $\mathcal P^{Γ(A)}$. We prove that every subfactor planar subalgebra of $\mathcal P^{Γ(A)}$ is the fixed point planar algebra of a uniquely determined action of a compact quantum group $\mathbb G$ on $A$. We…
▽ More
By a construction of Vaughan Jones, the bipartite graph $Γ(A)$ associated with the natural inclusion of $\mathbb C$ inside a finite-dimensional $C^*$-algebra $A$ gives rise to a planar algebra $\mathcal P^{Γ(A)}$. We prove that every subfactor planar subalgebra of $\mathcal P^{Γ(A)}$ is the fixed point planar algebra of a uniquely determined action of a compact quantum group $\mathbb G$ on $A$. We use this result to introduce a conceptual framework for the free wreath product operation on compact quantum groups in the language of planar algebras/standard invariants of subfactors. Our approach unifies both previous definitions of the free wreath product due to Bichon and Fima-Pittau and extends them to a considerably larger class of compact quantum groups. In addition, we observe that the central Haagerup property for discrete quantum groups is stable under the free wreath product operation (on their duals) and we deduce a positive answer to a conjecture of Banica and Bichon on the distribution of the character of a free wreath product.
△ Less
Submitted 3 November, 2016; v1 submitted 7 September, 2016;
originally announced September 2016.
-
Howe-Moore type theorems for quantum groups and rigid C*-tensor categories
Authors:
Yuki Arano,
Tim de Laat,
Jonas Wahl
Abstract:
We formulate and study Howe-Moore type properties in the setting of quantum groups and in the setting of rigid $C^{\ast}$-tensor categories. We say that a rigid $C^{\ast}$-tensor category $\mathcal{C}$ has the Howe-Moore property if every completely positive multiplier on $\mathcal{C}$ has a limit at infinity. We prove that the representation categories of $q$-deformations of connected compact sim…
▽ More
We formulate and study Howe-Moore type properties in the setting of quantum groups and in the setting of rigid $C^{\ast}$-tensor categories. We say that a rigid $C^{\ast}$-tensor category $\mathcal{C}$ has the Howe-Moore property if every completely positive multiplier on $\mathcal{C}$ has a limit at infinity. We prove that the representation categories of $q$-deformations of connected compact simple Lie groups with trivial center satisfy the Howe-Moore property. As an immediate consequence, we deduce the Howe-Moore property for Temperley-Lieb-Jones standard invariants with principal graph $A_{\infty}$. These results form a special case of a more general result on the convergence of completely bounded multipliers on the aforementioned categories. This more general result also holds for the representation categories of the free orthogonal quantum groups and for the Kazhdan-Wenzl categories. Additionally, in the specific case of the quantum groups $\mathrm{SU}_q(N)$, we are able, using a result of the first-named author, to give an explicit characterization of the central states on the quantum coordinate algebra of $\mathrm{SU}_q(N)$, which coincide with the completely positive multipliers on the representation category of $\mathrm{SU}_q(N)$.
△ Less
Submitted 27 June, 2017; v1 submitted 27 May, 2016;
originally announced May 2016.
-
The number of equisingular moduli of a rational surface singularity
Authors:
Jonathan Wahl
Abstract:
We consider a conjectured topological inequality for the number of equisingular moduli of a rational surface singularity, and prove it in some natural special cases. When the resolution dual graph is "sufficiently negative" (in a precise sense), we verify the inequality via an easy cohomological vanishing theorem, which implies that this number is computed simply from the graph (Theorem 3.10). To…
▽ More
We consider a conjectured topological inequality for the number of equisingular moduli of a rational surface singularity, and prove it in some natural special cases. When the resolution dual graph is "sufficiently negative" (in a precise sense), we verify the inequality via an easy cohomological vanishing theorem, which implies that this number is computed simply from the graph (Theorem 3.10). To consider an important and less restrictive meaning of "sufficiently negative" requires a much more difficult "hard vanishing theorem" (Theorem 4.5), which is false in characteristic p. Theorem 7.9 verifies the conjectured inequality in this more general situation. As a corollary, we classify in characteristic p all taut singularities with reduced fundamental cycle (Theorem 9.2).
△ Less
Submitted 25 March, 2016;
originally announced March 2016.
-
A note on reduced and von Neumann algebraic free wreath products
Authors:
Jonas Wahl
Abstract:
In this paper, we study operator algebraic properties of the reduced and von Neumann algebraic versions of the free wreath products $\mathbb G \wr_* S_N^+$, where $\mathbb G$ is a compact matrix quantum group. Based on recent result on their corepresentation theory by Lemeux and Tarrago, we prove that $\mathbb G \wr_* S_N^+$ is of Kac type whenever $\mathbb G$ is, and that the reduced version of…
▽ More
In this paper, we study operator algebraic properties of the reduced and von Neumann algebraic versions of the free wreath products $\mathbb G \wr_* S_N^+$, where $\mathbb G$ is a compact matrix quantum group. Based on recent result on their corepresentation theory by Lemeux and Tarrago, we prove that $\mathbb G \wr_* S_N^+$ is of Kac type whenever $\mathbb G$ is, and that the reduced version of $\mathbb G \wr_* S_N^+$ is simple with unique trace state whenever $N \geq 8$. Moreover, we prove that the reduced von Neumann algebra of $\mathbb G \wr_* S_N^+$ does not have property $Γ$.
△ Less
Submitted 18 November, 2014;
originally announced November 2014.
-
Subcanonical Graded Rings Which Are Not Cohen-Macaulay, with Appendix: A non-Q-Gorenstein Cohen-Macaulay cone X with K_X Q-Cartier
Authors:
Fabrizio Catanese,
Appendix by Jonathan Wahl
Abstract:
The paper answers a question by Jonathan Wahl,giving examples of regular surfaces S (so their canonical ring is a Gorenstein graded ring) having the following properties:
1) their canonical divisor K_S = rL is a positive multiple of an ample divisor L
2) the graded ring R := R (X,L ) associated to L is not Cohen-Macaulay.
In the appendix Wahl shows how these examples lead to the existence of…
▽ More
The paper answers a question by Jonathan Wahl,giving examples of regular surfaces S (so their canonical ring is a Gorenstein graded ring) having the following properties:
1) their canonical divisor K_S = rL is a positive multiple of an ample divisor L
2) the graded ring R := R (X,L ) associated to L is not Cohen-Macaulay.
In the appendix Wahl shows how these examples lead to the existence of Cohen-Macaulay singularities with K_X Q -Cartier which are not Q -Gorenstein, since their index one cover is not Cohen- Macaulay.
△ Less
Submitted 16 February, 2014;
originally announced February 2014.
-
Milnor and Tjurina numbers for smoothings of surface singularities
Authors:
Jonathan Wahl
Abstract:
For an isolated hypersurface singularity $f=0$, the Milnor number $μ$ is greater than or equal to the Tjurina number $τ$ (the dimension of the base of the semi-universal deformation), with equality if $f$ is quasi-homogeneous. K. Saito proved the converse. The same result is true for complete intersections, but is much harder. For a Gorenstein surface singularity $(V,0)$, the difference $μ- τ$ can…
▽ More
For an isolated hypersurface singularity $f=0$, the Milnor number $μ$ is greater than or equal to the Tjurina number $τ$ (the dimension of the base of the semi-universal deformation), with equality if $f$ is quasi-homogeneous. K. Saito proved the converse. The same result is true for complete intersections, but is much harder. For a Gorenstein surface singularity $(V,0)$, the difference $μ- τ$ can be defined whether or not $V$ is smoothable; it was proved in [23] that it is non-negative, and equal to 0 iff $(V,0)$ is quasi-homogeneous. We conjecture a similar result for non-Gorenstein surface singularities. Here, $μ- τ$ must be modified so that it is independent of any smoothing. This expression, involving cohomology of exterior powers of the bundle of logarithmic derivations on the minimal good resolution, is conjecturally non-negative, and equal to 0 iff one has quasi-homogeneity. We prove the "if" part; identify special cases where the conjecture is particularly interesting; verify it in some non-trivial cases; and prove it for a $\Q$Gorenstein smoothing when the index one cover is a hypersurface. This conjecture is of interest regarding the classification of surface singularities with rational homology disk smoothings, as in [1], [18], [24].
△ Less
Submitted 25 March, 2016; v1 submitted 24 July, 2013;
originally announced July 2013.
-
Log-terminal smoothings of graded normal surface singularities
Authors:
Jonathan Wahl
Abstract:
Recent work ([18], [1]) has produced a complete list of weighted homogeneous surface singularities admitting smoothings whose Milnor fibre has only trivial rational homology (a "rational homology disk"). Though these special singularities form an unfamiliar class and are rarely even log-canonical, we prove the
Theorem. A rational homology disk smoothing of a weighted homogeneous surface singular…
▽ More
Recent work ([18], [1]) has produced a complete list of weighted homogeneous surface singularities admitting smoothings whose Milnor fibre has only trivial rational homology (a "rational homology disk"). Though these special singularities form an unfamiliar class and are rarely even log-canonical, we prove the
Theorem. A rational homology disk smoothing of a weighted homogeneous surface singularity can always be chosen so that the total space is log-terminal. In particular, this smoothing is $\Q$-Gorenstein.
The key idea is to define a finite "graded discrepancy" of a normal graded domain with $\Q$-Cartier canonical divisor, and to study its behavior for a smoothing.
△ Less
Submitted 17 May, 2013; v1 submitted 13 October, 2011;
originally announced October 2011.
-
On rational homology disk smoothings of valency 4 surface singularities
Authors:
Jonathan Wahl
Abstract:
Thanks to the recent work of Bhupal, Stipsicz, Szabo, and the author, one has a complete list of resolution graphs of weighted homogeneous complex surface singularities admitting a rational homology disk ("QHD") smoothing, i.e., one with Milnor number 0. They fall into several classes, the most interesting of which are the three classes whose resolution dual graph has central vertex with valency 4…
▽ More
Thanks to the recent work of Bhupal, Stipsicz, Szabo, and the author, one has a complete list of resolution graphs of weighted homogeneous complex surface singularities admitting a rational homology disk ("QHD") smoothing, i.e., one with Milnor number 0. They fall into several classes, the most interesting of which are the three classes whose resolution dual graph has central vertex with valency 4. We give a uniform "quotient construction" of the QHD smoothings for these classes; it is an explicit Q-Gorenstein smoothing, yielding a precise description of the Milnor fibre and its non-abelian fundamental group. This had already been done for two of these classes in a previous paper; what is new here is the construction of the third class, which is far more difficult. In addition, we explain the existence of two different QHD smoothings for the first class.
We also prove a general formula for the dimension of a QHD smoothing component for a rational surface singularity. A corollary is that for the valency 4 cases, such a component has dimension 1 and is smooth. Another corollary is that "most" H-shaped resolution graphs cannot be the graph of a singularity with a QHD smoothing. This result, plus recent work of Bhupal-Stipsicz, is evidence for a general
Conjecture: The only complex surface singularities with a QHD smoothing are the (known) weighted homogeneous examples.
△ Less
Submitted 29 June, 2011; v1 submitted 12 May, 2010;
originally announced May 2010.
-
The End Curve Theorem for normal complex surface singularities
Authors:
Walter D Neumann,
Jonathan Wahl
Abstract:
We prove the "End Curve Theorem," which states that a normal surface singularity $(X,o)$ with rational homology sphere link $Σ$ is a splice-quotient singularity if and only if it has an end curve function for each leaf of a good resolution tree.
An "end-curve function" is an analytic function $(X,o)\to (\C,0)$ whose zero set intersects $Σ$ in the knot given by a meridian curve of the exception…
▽ More
We prove the "End Curve Theorem," which states that a normal surface singularity $(X,o)$ with rational homology sphere link $Σ$ is a splice-quotient singularity if and only if it has an end curve function for each leaf of a good resolution tree.
An "end-curve function" is an analytic function $(X,o)\to (\C,0)$ whose zero set intersects $Σ$ in the knot given by a meridian curve of the exceptional curve corresponding to the given leaf.
A "splice-quotient singularity" $(X,o)$ is described by giving an explicit set of equations describing its universal abelian cover as a complete intersection in $\C^t$, where $t$ is the number of leaves in the resolution graph for $(X,o)$, together with an explicit description of the covering transformation group.
Among the immediate consequences of the End Curve Theorem are the previously known results: $(X,o)$ is a splice quotient if it is weighted homogeneous (Neumann 1981), or rational or minimally elliptic (Okuma 2005).
△ Less
Submitted 29 April, 2008;
originally announced April 2008.
-
Rational blow-downs and smoothings of surface singularities
Authors:
Andras I. Stipsicz,
Zoltan Szabo,
Jonathan Wahl
Abstract:
In this paper we give a necessary combinatorial condition for a negative--definite plumbing tree to be suitable for rational blow--down, or to be the graph of a complex surface singularity which admits a rational homology disk smoothing. New examples of surface singularities with rational homology disk smoothings are also presented; these include singularities with resolution graph having valenc…
▽ More
In this paper we give a necessary combinatorial condition for a negative--definite plumbing tree to be suitable for rational blow--down, or to be the graph of a complex surface singularity which admits a rational homology disk smoothing. New examples of surface singularities with rational homology disk smoothings are also presented; these include singularities with resolution graph having valency four nodes.
△ Less
Submitted 13 March, 2008; v1 submitted 6 November, 2006;
originally announced November 2006.
-
Topology, geometry, and equations of normal surface singularities
Authors:
Jonathan Wahl
Abstract:
This expository talk is an expanded version of a lecture at G.-M. Greuel's 60th Birthday Conference in Kaiserslautern in October, 2004. We survey recent work of Neumann-Wahl and others on the relation between topology and geometry of normal surface singularities, especially how to write explicit equations of a singularity with given topology, in case the link is a rational homology sphere (i.e.,…
▽ More
This expository talk is an expanded version of a lecture at G.-M. Greuel's 60th Birthday Conference in Kaiserslautern in October, 2004. We survey recent work of Neumann-Wahl and others on the relation between topology and geometry of normal surface singularities, especially how to write explicit equations of a singularity with given topology, in case the link is a rational homology sphere (i.e., the resolution graph is a tree of rational curves). Specifically, under some reasonable conditions on the link, there is an explicit "complete intersection of splice type" whose link is the universal abelian cover of the original one, and for which the action of the covering group can be explicitly described. Recent work of T. Okuma shows every rational surface singularity can be described in this way. Full details are found in papers in Geometry and Topology, math.AG/0301165 and math.AG/0407287.
△ Less
Submitted 4 September, 2005;
originally announced September 2005.
-
Complete intersection singularities of splice type as universal abelian covers
Authors:
Walter D Neumann,
Jonathan Wahl
Abstract:
It has long been known that every quasi-homogeneous normal complex surface singularity with Q-homology sphere link has universal abelian cover a Brieskorn complete intersection singularity. We describe a broad generalization: First, one has a class of complete intersection normal complex surface singularities called "splice type singularities", which generalize Brieskorn complete intersections.…
▽ More
It has long been known that every quasi-homogeneous normal complex surface singularity with Q-homology sphere link has universal abelian cover a Brieskorn complete intersection singularity. We describe a broad generalization: First, one has a class of complete intersection normal complex surface singularities called "splice type singularities", which generalize Brieskorn complete intersections. Second, these arise as universal abelian covers of a class of normal surface singularities with Q-homology sphere links, called "splice-quotient singularities". According to the Main Theorem, splice-quotients realize a large portion of the possible topologies of singularities with Q-homology sphere links. As quotients of complete intersections, they are necessarily Q-Gorenstein, and many Q-Gorenstein singularities with Q-homology sphere links are of this type. We conjecture that rational singularities and minimally elliptic singularities with Q-homology sphere links are splice-quotients. A recent preprint of T Okuma presents confirmation of this conjecture.
△ Less
Submitted 2 May, 2005; v1 submitted 16 July, 2004;
originally announced July 2004.
-
Complex surface singularities with integral homology sphere links
Authors:
Walter D. Neumann,
Jonathan Wahl
Abstract:
While the topological types of {normal} surface singularities with homology sphere link have been classified, forming a rich class, until recently little was known about the possible analytic structures. We proved in [Geom. Topol. 9(2005) 699-755] that many of them can be realized as complete intersection singularities of "splice type", generalizing Brieskorn type.
We show that a normal singul…
▽ More
While the topological types of {normal} surface singularities with homology sphere link have been classified, forming a rich class, until recently little was known about the possible analytic structures. We proved in [Geom. Topol. 9(2005) 699-755] that many of them can be realized as complete intersection singularities of "splice type", generalizing Brieskorn type.
We show that a normal singularity with homology sphere link is of splice type if and only if some naturally occurring knots in the singularity link are themselves links of hypersurface sections of the singular point.
The Casson Invariant Conjecture (CIC) asserts that for a complete intersection surface singularity whose link is an integral homology sphere, the Casson invariant of that link is one-eighth the signature of the Milnor fiber. In this paper we prove CIC for a large class of splice type singularities.
The CIC suggests (and is motivated by the idea) that the Milnor fiber of a complete intersection singularity with homology sphere link Sigma should be a 4-manifold canonically associated to Sigma. We propose, and verify in a non-trivial case, a stronger conjecture than the CIC for splice type complete intersections: a precise topological description of the Milnor fiber. We also point out recent counterexamples to some overly optimistic earlier conjectures in [Trends in Singularities, Birkhauser (2002) 181--190 and Math. Ann. 326(2003) 75--93].
△ Less
Submitted 2 May, 2005; v1 submitted 15 January, 2003;
originally announced January 2003.
-
Universal abelian covers of surface singularities
Authors:
Walter D. Neumann,
Jonathan Wahl
Abstract:
We discuss the evidence for and implications of a conjecture that the universal abelian cover of a Q-Gorenstein surface singularity with finite local homology (i.e., the singularity link is a Q-homology sphere) is a complete intersection singularity.
We discuss the evidence for and implications of a conjecture that the universal abelian cover of a Q-Gorenstein surface singularity with finite local homology (i.e., the singularity link is a Q-homology sphere) is a complete intersection singularity.
△ Less
Submitted 16 October, 2001;
originally announced October 2001.
-
Hyperplane sections of Calabi-Yau varieties
Authors:
Jonathan Wahl
Abstract:
Theorem: If W is a smooth complex projective variety with h^1 (O-script_W) = 0, then a sufficiently ample smooth divisor X on W cannot be a hyperplane section of a Calabi-Yau variety, unless W is itself a Calabi-Yau.
Corollary: A smooth hypersurface of degree d in P^n (n >= 2) is a hyperplane section of a Calabi-Yau variety iff n+2 <= d <= 2n+2.
The method is to construct out of the variety…
▽ More
Theorem: If W is a smooth complex projective variety with h^1 (O-script_W) = 0, then a sufficiently ample smooth divisor X on W cannot be a hyperplane section of a Calabi-Yau variety, unless W is itself a Calabi-Yau.
Corollary: A smooth hypersurface of degree d in P^n (n >= 2) is a hyperplane section of a Calabi-Yau variety iff n+2 <= d <= 2n+2.
The method is to construct out of the variety W a universal family of all varieties Z for which X is a hyperplane section with normal bundle K_X, and examine the "bad" singularities of such Z. A motivation is to show many curves cannot be divisors on a K-3 surface.
△ Less
Submitted 17 April, 2001;
originally announced April 2001.
-
Universal abelian covers of quotient-cusps
Authors:
Walter D. Neumann,
Jonathan Wahl
Abstract:
The quotient-cusp singularities are isolated complex surface singularities that are double-covered by cusp singularities. We show that the universal abelian cover of such a singularity, branched only at the singular point, is a complete intersection cusp singularity of embedding dimension 4. This supports a general conjecture that we make about the universal abelian cover of a $\Q$-Gorenstein si…
▽ More
The quotient-cusp singularities are isolated complex surface singularities that are double-covered by cusp singularities. We show that the universal abelian cover of such a singularity, branched only at the singular point, is a complete intersection cusp singularity of embedding dimension 4. This supports a general conjecture that we make about the universal abelian cover of a $\Q$-Gorenstein singularity.
△ Less
Submitted 30 January, 2001;
originally announced January 2001.
-
On Cohomology of the Square of an Ideal Sheaf
Authors:
Jonathan Wahl
Abstract:
For a smooth subvariety $X\subset\Bbb P^N$, consider (analogously to projective normality) the vanishing condition $H^1(\Bbb P^N,\Cal I^2_X(k))=0$, $k\ge3$. This condition is shown to be satisfied for all sufficiently large embeddings of a given $X$, and for a Veronese embedding of $\Bbb P^n$. For $C\subset\Bbb P^{g-1}$, the canonical embedding of a non-hyperelliptic curve, this condition guarant…
▽ More
For a smooth subvariety $X\subset\Bbb P^N$, consider (analogously to projective normality) the vanishing condition $H^1(\Bbb P^N,\Cal I^2_X(k))=0$, $k\ge3$. This condition is shown to be satisfied for all sufficiently large embeddings of a given $X$, and for a Veronese embedding of $\Bbb P^n$. For $C\subset\Bbb P^{g-1}$, the canonical embedding of a non-hyperelliptic curve, this condition guarantees the vanishing of some obstruction groups to deformations of the cone. Recall that the tangents to deformations are dual to the cokernel of the Gaussian-Wahl map.
\proclaim{Theorem} Suppose the Gaussian-Wahl map of $C$ is not surjective and the vanishing condition is fulfilled. Then $C$ is {\bf extendable}: it is a hyperplane section of a surface in $\Bbb P^g$ not the cone over $C$.\endproclaim
Such a surface is a K3 if smooth, but it could have serious singularities.
\proclaim{Theorem} For a general curve of genus $\ge3$, this vanishing holds. \endproclaim
\proclaim{Conjecture} If the Clifford index is $\ge3$, this vanishing holds. \endproclaim
△ Less
Submitted 21 March, 1996; v1 submitted 29 January, 1996;
originally announced January 1996.
