共找到 20 条结果
Let $G$ be a compact Lie group. We study a class of Hamiltonian $(G \times S^{1})$-manifolds decorated with a function $s$ with certain equivariance properties, under conditions on the $G$-action which we call of (semi-)linear type. In this context, a close analogue of hyperkähler reduction is defined, and our main result establishes surjectivity of an appropriate analogue of Kirwan's map. As a particular case, our setting includes a class of hyperkähler manifolds with trihamiltonian torus actions, to which our surjectivity result applies.
We construct complete Calabi-Yau metrics on non-compact manifolds that are smoothings of an initial complete intersection $V_0$ that is a Calabi-Yau cone, extending the work of Székelyhidi (2019). The constructed Calabi-Yau manifold has tangent cone at infinity given by $\mathbb{C} \times V_0$. This construction produces Calabi-Yau metrics with fibers having varying complex structures and possibly isolated singularities.
Median spaces are spaces in which for every three points the three intervals between them intersect at a single point. It is well known that rank-1 affine buildings are median spaces, but by a result of Haettel, higher rank buildings are not even coarse median. We define the notion of ``2-median space'', which roughly says that for every four points the minimal discs filling the four geodesic triangles they span intersect in a point or a geodesic segment. We show that CAT(0) Euclidean polygonal complexes, and in particular rank-2 affine buildings, are 2-median. In the appendix, we recover a special case of a result of Stadler of a Fary-Milnor type theorem and show in elementary tools that a minimal disc filling a geodesic triangle is injective.
Let G=SL(2,C) and F_r be a rank r free group. Given an admissible weight in N^{3r-3}, there exists a class function defined on Hom(F_r,G) called a central function. We show that these functions admit a combinatorial description in terms of graphs called trace diagrams. We then describe two algorithms (implemented in Mathematica) to compute these functions.
Let K be a field of characteristic zero. We describe an algorithm which requires a homogeneous polynomial F of degree three in K[x_0,x_1,x_2,x_3] and a zero A of F in P^3_K and ensures a linear pfaffian representation of V(F) with entries in K[x_0,x_1,x_2,x_3], under mild assumptions on F and A. We use this result to give an explicit construction of (and to prove the existence of) a linear pfaffian representation of V(F), with entries in K'[x_0,x_1,x_2,x_3], being K' an algebraic extension of K of degree at most six. An explicit example of such a construction is given.
For any finite group G, we define a bivariant functor from the Dress category of finite G-sets to the conjugation biset category, whose objects are subgroups of G, and whose morphisms are generated by certain bifree bisets. Any additive functor from the conjugation biset category to abelian groups yields a Mackey functor by composition. We characterize the Mackey functors which arise in this way.
The Veech group of a translation surface is the group of Jacobians of orientation-preserving affine automorphisms of the surface. We present an algorithm which constructs all translation surfaces with a given lattice Veech group in any given stratum. In developing this algorithm, we give a new proof of a finiteness result of Smillie and Weiss, namely that there are only finitely many unit-area translation surfaces in any stratum with the same lattice Veech group. Our methods can be applied to obtain obstructions of lattices being realized as Veech groups in certain strata; in particular, we show that the square torus is the only translation surface in any minimal stratum whose Veech group is all of $\mathrm{SL}_2\mathbb{Z}$.
For a fixed compact Riemann surface X, of genus at least 2, we count the number of connected components of the moduli space of maximal Higgs bundles over X for the hermitian groups $PSp(2n,R)$, $PSO^*(2n)$, $PSO_0(2,n)$ and $E_6^{-14}$. Hence the same result follows for the number of connected components of the moduli space of maximal representations of $π_1X$ in these groups. We use the Cayley correspondence proved in [3] as our main tool.
We study linear series on a general curve of genus g, whose images are exceptional with respect to their secant planes. Each such exceptional secant plane is algebraically encoded by an included linear series, whose number of base points computes the incidence degree of the corresponding secant plane. With enumerative applications in mind, we construct a moduli scheme of inclusions of limit linear series with base points over families of nodal curves of compact type, which we then use to compute combinatorial formulas for the number of secant-exceptional linear series when the spaces of linear series and of inclusions are finite.
Maryam Mirzakhani (in her doctoral dissertation) has proved the author's conjecture that the number of simple curves of length bounded by L on a hyperbolic surface S is assymptotic to a constant times L to the power d, where d is the dimension of the Teichmuller space of S. In this note we clarify and simplify Mirzakhani's argument.
A long-standing conjecture asserts that any Anosov diffeomorphism of a closed manifold is finitely covered by a diffeomorphism which is topologically conjugate to a hyperbolic automorphism of a nilpotent manifold. In this paper, we show that any closed 4-manifold that carries a Thurston geometry and is not finitely covered by a product of two aspherical surfaces does not support (transitive) Anosov diffeomorphisms.
The twin group $T_n$ is a Coxeter group generated by $n-1$ involutions and the pure twin group $PT_n$ is the kernel of the natural surjection of $T_n$ onto the symmetric group on $n$ letters. In this paper, we investigate structural aspects of twin and pure twin groups. We prove that the twin group $T_n$ decomposes into a free product with amalgamation for $n>4$. It is shown that the pure twin group $PT_n$ is free for $n=3,4$, and not free for $n\ge 6$. We determine a generating set for $PT_n$, and give an upper bound for its rank. We also construct a natural faithful representation of $T_4$ into $\operatorname{Aut}(F_7)$. In the end, we propose virtual and welded analogues of these groups and some directions for future work.
Let $H^n$ be the hyperbolic n-space with $n\geq 2$. Suppose that $Γ<Isom H^n$ is a discrete, torsion free subgroup and $a$ is a point in the domain of discontinuity $Ω(Γ)$. Let $p$ be the projection map from $H^n$ to the quotient manifold $M=H^n/Γ$. In this paper we prove that there exists an open neighborhood $U$ of $a$ in $H^n\cupΩ(Γ)$ such that $p$ is an isometry on $U\cap H^n$.
We characterize which permutational wreath products W^(X)\rtimes G are finitely presented. This occurs if and only if G and W are finitely presented, G acts on X with finitely generated stabilizers, and with finitely many orbits on the cartesian square X^2. On the one hand, this extends a result of G. Baumslag about standard wreath products; on the other hand, this provides nontrivial examples of finitely presented groups. For instance, we obtain two quasi-isometric finitely presented groups, one of which is torsion-free and the other has an infinite torsion subgroup. Motivated by the characterization above, we discuss the following question: which finitely generated groups can have a finitely generated subgroup with finitely many double cosets? The discussion involves properties related to the structure of maximal subgroups, and to the profinite topology.
We introduce and study the space of \emph{subset currents} on the free group $F_N$. A subset current on $F_N$ is a positive $F_N$-invariant locally finite Borel measure on the space $\mathfrak C_N$ of all closed subsets of $\partial F_N$ consisting of at least two points. While ordinary geodesic currents generalize conjugacy classes of nontrivial group elements, a subset current is a measure-theoretic generalization of the conjugacy class of a nontrivial finitely generated subgroup in $F_N$, and, more generally, in a word-hyperbolic group. The concept of a subset current is related to the notion of an "invariant random subgroup" with respect to some conjugacy-invariant probability measure on the space of closed subgroups of a topological group. If we fix a free basis $A$ of $F_N$, a subset current may also be viewed as an $F_N$-invariant measure on a "branching" analog of the geodesic flow space for $F_N$, whose elements are infinite subtrees (rather than just geodesic lines) of the Cayley graph of $F_N$ with respect to $A$.
We obtain a generalization of the Kodaira-Morrow stability theorem for cosymplectic structures. We investigate cosymplectic geometry on Lie groups and on their compact quotients by uniform discrete subgroups. In this way we show that a compact solvmanifold admits a cosymplectic structure if and only if it is a finite quotient of a torus.
We construct new examples of embedded, complete minimal hypersurfaces in quaternionc hyperbolic space and also some minimal foliations. We introduce fans an construct analytic deformations of bisectors.
We prove that simply connected open Riemannian manifolds of bounded geometry, linear growth and sublinear filling growth (e.g. finite filling area) are simply connected at infinity.
We construct a distance on the moduli space of symplectic toric manifolds of dimension four. Then we study some basic topological properties of this space, in particular, path-connectedness, compactness, and completeness. The construction of the distance is related to the Duistermaat-Heckman measure and the Hausdorff metric. While the moduli space, its topology and metric, may be constructed in any dimension, the tools we use in the proofs are four-dimensional, and hence so is our main result.
The tangent bundle to the $n$--dimensional sphere is the space of oriented lines in $\R^{n+1}$. We characterise the smooth sections of $TS^n\to S^n$ which correspond to points in $\R^{n+1}$ as gradients of eigenfunctions of the Laplacian on $S^n$ with eigenvalue $n$. The special case of $n=6$ and its connection with almost complex geometry is discussed.