Showing 1–14 of 14 results for author: Nitsche, M

Corrected Trapezoidal Rules for Near-Singular Surface Integrals Applied to 3D Interfacial Stokes Flow

Authors: Monika Nitsche, Bowei Wu, Ling Xu

Abstract: Interfacial Stokes flow can be efficiently computed using the Boundary Integral Equation method. In 3D, the fluid velocity at a target point is given by a 2D surface integral over all interfaces, thus reducing the dimension of the problem. A core challenge is that for target points near, but not on, an interface, the surface integral is near-singular and standard quadratures lose accuracy. This pa… ▽ More Interfacial Stokes flow can be efficiently computed using the Boundary Integral Equation method. In 3D, the fluid velocity at a target point is given by a 2D surface integral over all interfaces, thus reducing the dimension of the problem. A core challenge is that for target points near, but not on, an interface, the surface integral is near-singular and standard quadratures lose accuracy. This paper presents a method to accurately compute the near-singular integrals arising in elliptic boundary value problems in 3D. It is based on a local series approximation of the integrand about a base point on the surface, obtained by orthogonal projection of the target point onto the surface. The elementary functions in the resulting series approximation can be integrated to high accuracy in a neighborhood of the base point using a recursive algorithm. The remaining integral is evaluated numerically using a standard quadrature rule, chosen here to be the 4th order Trapezoidal rule. The method is reduced to the standard quadrature plus a correction, and is uniformly of 4th order. The method is applied to resolve Stokes flow past several ellipsoidal rigid bodies. We compare the error in the velocity near the bodies, and in the time and displacement of particles traveling around the bodies, computed with and without the corrections. △ Less

Submitted 1 April, 2025; originally announced April 2025.

Comments: 31 pages, 18 figures

MSC Class: 31B10; 65D30

A human property (T) proof for high-rank $Aut(F_n)$

Authors: Martin Nitsche

Abstract: Existing property (T) proofs for $Aut(F_n)$, $n\geq 4$, rely crucially on extensive computer calculations. We give a new proof that $Aut(F_n)$ has property (T) for all but finitely many $n$ that is inspired by the semidefinite programming approach but does not use the computer in any step. More specifically, we prove property (T) for a certain extension $Γ_n$ of $SAut(F_n)$ as $n\to\infty$. Existing property (T) proofs for $Aut(F_n)$, $n\geq 4$, rely crucially on extensive computer calculations. We give a new proof that $Aut(F_n)$ has property (T) for all but finitely many $n$ that is inspired by the semidefinite programming approach but does not use the computer in any step. More specifically, we prove property (T) for a certain extension $Γ_n$ of $SAut(F_n)$ as $n\to\infty$. △ Less

Submitted 19 January, 2024; v1 submitted 21 December, 2023; originally announced December 2023.

Comments: 12 pages, 1 figure; v2: fixed a bad typo in main theorem statement

MSC Class: 22D55 (Primary) 20F28 (Secondary)

Arithmetic Monodromy in Sp(2n)

Authors: Jitendra Bajpai, Daniele Dona, Martin Nitsche

Abstract: Based on a result of Singh--Venkataramana, Bajpai--Dona--Singh--Singh gave a criterion for a discrete Zariski-dense subgroup of Sp(2n,Z) to be a lattice. We adapt this criterion so that it can be used in some situations that were previously excluded. We apply the adapted method to subgroups of Sp(6,Z) and Sp(4,Z) that arise as the monodromy groups of hypergeometric differential equations. In parti… ▽ More Based on a result of Singh--Venkataramana, Bajpai--Dona--Singh--Singh gave a criterion for a discrete Zariski-dense subgroup of Sp(2n,Z) to be a lattice. We adapt this criterion so that it can be used in some situations that were previously excluded. We apply the adapted method to subgroups of Sp(6,Z) and Sp(4,Z) that arise as the monodromy groups of hypergeometric differential equations. In particular, we show that out of the 40 maximally unipotent Sp(6) hypergeometric groups more than half are arithmetic, answering a question of Katz in the negative. △ Less

Submitted 15 September, 2022; originally announced September 2022.

Comments: 6 pages. Contains some results that were previously part of arXiv:2112.12111v2

Report number: MPIM-Bonn-2022 MSC Class: 22E40; 32S40; 33C80

Thin monodromy in O(5)

Authors: Jitendra Bajpai, Martin Nitsche

Abstract: This article studies the orthogonal hypergeometric groups of degree five. We establish the thinness of 12 out of the 19 hypergeometric groups of type O(3,2) from [4, Table 6]. Some of these examples are associated with Calabi-Yau 4-folds. We also establish the thinness of 9 out of the 17 hypergeometric groups of type O(4,1) from [12], where the thinness of 7 other cases was already proven. The O(4… ▽ More This article studies the orthogonal hypergeometric groups of degree five. We establish the thinness of 12 out of the 19 hypergeometric groups of type O(3,2) from [4, Table 6]. Some of these examples are associated with Calabi-Yau 4-folds. We also establish the thinness of 9 out of the 17 hypergeometric groups of type O(4,1) from [12], where the thinness of 7 other cases was already proven. The O(4,1) type groups were predicted to be all thin and our result leaves just one case open. △ Less

Submitted 17 July, 2023; v1 submitted 25 April, 2022; originally announced April 2022.

Comments: v2: new results about hypergeometric groups of type O(4,1) have been added

Report number: MPIM-Bonn-2022 MSC Class: Primary: 22E40; Secondary: 32S40; 33C80

Thin monodromy in $\mathrm{Sp}(4)$ and $\mathrm{Sp}(6)$

Authors: Jitendra Bajpai, Daniele Dona, Martin Nitsche

Abstract: We explore the thinness of hypergeometric groups of type $\mathrm{Sp}(4)$ and $\mathrm{Sp}(6)$ by applying a new approach of computer-assisted ping pong. We prove the thinness of $17$ hypergeometric groups with maximally unipotent monodromy in $\mathrm{Sp}(6)$, completing the classification of all $40$ such groups into arithmetic and thin cases. In addition, we establish the thinness of further… ▽ More We explore the thinness of hypergeometric groups of type $\mathrm{Sp}(4)$ and $\mathrm{Sp}(6)$ by applying a new approach of computer-assisted ping pong. We prove the thinness of $17$ hypergeometric groups with maximally unipotent monodromy in $\mathrm{Sp}(6)$, completing the classification of all $40$ such groups into arithmetic and thin cases. In addition, we establish the thinness of further $46$ hypergeometric groups in $\mathrm{Sp}(6)$, and of $3$ hypergeometric groups in $\mathrm{Sp}(4)$, completing the classification of all $\mathrm{Sp}(4)$ hypergeometric groups. To the best of our knowledge, this article produces the first $63$ examples in the cyclotomic family of Zariski dense non-arithmetic hypergeometric monodromy groups of real rank three. △ Less

Submitted 16 September, 2022; v1 submitted 22 December, 2021; originally announced December 2021.

Comments: 27 pages, 1 figure, 4 tables. v3: new results about Sp(4) have been incorporated. Arithmeticity results have been moved into arXiv:2209.07402

Report number: MPIM-Bonn-2022 MSC Class: 22E40; 32S40; 33C80

Journal ref: J. Algebra, 663:487--501, 2025

Higher-degree bounded cohomology of transformation groups

Authors: Martin Nitsche

Abstract: For $M$ a compact Riemannian manifold Brandenbursky and Marcinkowski constructed a transfer map $H_b^*(π_1(M))\to H_b^*(Homeo_{vol,0}(M))$ and used it to show that for certain $M$ the space $\overline{EH}_b^3(Homeo_{vol,0}(M))$ is infinite-dimensional. Kimura adapted the argument to $Diff_{vol}(D^2,\partial D^2)$. We extend both results to the higher degrees $\overline{EH}_b^{2n}$, $n\geq 1$. We a… ▽ More For $M$ a compact Riemannian manifold Brandenbursky and Marcinkowski constructed a transfer map $H_b^*(π_1(M))\to H_b^*(Homeo_{vol,0}(M))$ and used it to show that for certain $M$ the space $\overline{EH}_b^3(Homeo_{vol,0}(M))$ is infinite-dimensional. Kimura adapted the argument to $Diff_{vol}(D^2,\partial D^2)$. We extend both results to the higher degrees $\overline{EH}_b^{2n}$, $n\geq 1$. We also show that for certain $M$ the ordinary cohomology $H^*(Homeo_{vol,0}(M))$ is non-trivial in all degrees. In our computations we view the transfer map as being induced by a coupling of groups. △ Less

Submitted 18 May, 2021; originally announced May 2021.

Computer proofs for Property (T), and SDP duality

Authors: Martin Nitsche

Abstract: We show that the semidefinite programs involved in the computer proofs for Kazhdan's property (T) satisfy strong duality and that the dual programs have a geometric interpretation in terms of harmonic cocycles. By dualizing geometric arguments about cocycles, we are able to simplify the property (T) SDP in the case where it carries a symmetry by finite-order inner automorphisms. As an application,… ▽ More We show that the semidefinite programs involved in the computer proofs for Kazhdan's property (T) satisfy strong duality and that the dual programs have a geometric interpretation in terms of harmonic cocycles. By dualizing geometric arguments about cocycles, we are able to simplify the property (T) SDP in the case where it carries a symmetry by finite-order inner automorphisms. As an application, we simplify the SDP proof for $SL(n,\mathbb{Z})$ and we prove that $Aut(F_4)$ has property (T). △ Less

Submitted 26 December, 2022; v1 submitted 10 September, 2020; originally announced September 2020.

Comments: one SAGE-script attached. v3: rewrite for improved presentation in the language of harmonic cocycles and simplified verification for Aut(F_4)

Transfer maps in generalized group homology via submanifolds

Authors: Martin Nitsche, Thomas Schick, Rudolf Zeidler

Abstract: Let $N \subset M$ be a submanifold embedding of spin manifolds of some codimension $k \geq 1$. A classical result of Gromov and Lawson, refined by Hanke, Pape and Schick, states that $M$ does not admit a metric of positive scalar curvature if $k = 2$ and the Dirac operator of $N$ has non-trivial index, provided that suitable conditions are satisfied. In the cases $k=1$ and $k=2$, Zeidler and Kubot… ▽ More Let $N \subset M$ be a submanifold embedding of spin manifolds of some codimension $k \geq 1$. A classical result of Gromov and Lawson, refined by Hanke, Pape and Schick, states that $M$ does not admit a metric of positive scalar curvature if $k = 2$ and the Dirac operator of $N$ has non-trivial index, provided that suitable conditions are satisfied. In the cases $k=1$ and $k=2$, Zeidler and Kubota, respectively, established more systematic results: There exists a transfer $\mathrm{KO}_\ast(\mathrm{C}^{\ast} π_1 M)\to \mathrm{KO}_{\ast - k}(\mathrm{C}^\ast π_1 N)$ which maps the index class of $M$ to the index class of $N$. The main goal of this article is to construct analogous transfer maps $E_\ast(\mathrm{B}π_1M) \to E_{\ast-k}(\mathrm{B}π_1N)$ for different generalized homology theories $E$ and suitable submanifold embeddings. The design criterion is that it is compatible with the transfer $E_\ast(M) \to E_{\ast-k}(N)$ induced by the inclusion $N \subset M$ for a chosen orientation on the normal bundle. Under varying restrictions on homotopy groups and the normal bundle, we construct transfers in the following cases in particular: In ordinary homology, it works for all codimensions. This slightly generalizes a result of Engel and simplifies his proof. In complex K-homology, we achieve it for $k \leq 3$. For $k \leq 2$, we have a transfer on the equivariant KO-homology of the classifying space for proper actions. △ Less

Submitted 4 June, 2019; originally announced June 2019.

Comments: 28 pages

Journal ref: Doc. Math. 26, 947-979 (2021)

Universal solvability of group equations

Authors: Martin Nitsche, Andreas Thom

Abstract: We give a new criterion for solvability of group equations, providing proofs of various generalizations of the Kervaire-Laudenbach conjecture for Connes-embeddable groups. We give a new criterion for solvability of group equations, providing proofs of various generalizations of the Kervaire-Laudenbach conjecture for Connes-embeddable groups. △ Less

Submitted 23 September, 2021; v1 submitted 19 November, 2018; originally announced November 2018.

Comments: 9 pages, no figures; v2: improved presentation of the proof of the main result

Decomposition of Monomial Algebras: Applications and Algorithms

Authors: Janko Boehm, David Eisenbud, Max Joachim Nitsche

Abstract: Considering finite extensions K[A] \subseteq K[B] of positive affine semigroup rings over a field K we have developed in [1] an algorithm to decompose K[B] as a direct sum of monomial ideals in K[A]. By computing the regularity of homogeneous semigroup rings from the decomposition we have confirmed the Eisenbud-Goto conjecture in a range of new cases not tractable by standard methods. Here we firs… ▽ More Considering finite extensions K[A] \subseteq K[B] of positive affine semigroup rings over a field K we have developed in [1] an algorithm to decompose K[B] as a direct sum of monomial ideals in K[A]. By computing the regularity of homogeneous semigroup rings from the decomposition we have confirmed the Eisenbud-Goto conjecture in a range of new cases not tractable by standard methods. Here we first illustrate this technique and its implementation in our Macaulay2 package MonomialAlgebras by computing the decomposition and the regularity step by step for an explicit example. We then focus on ring-theoretic properties of simplicial semigroup rings. From the characterizations given in [1] we develop and prove explicit algorithms testing properties like Buchsbaum, Cohen-Macaulay, Gorenstein, normal, and seminormal, all of which imply the Eisenbud-Goto conjecture. All algorithms are implemented in our Macaulay2 package. △ Less

Submitted 8 June, 2012; originally announced June 2012.

Comments: 6 pages. Package may be downloaded at http://www.math.uni-sb.de/ag/schreyer/jb/Macaulay2/MonomialAlgebras/html/

MSC Class: 13D45 (Primary) 13P99; 13H10 (Secondary)

Journal ref: JSAG 5 (2013), 8-14

Decomposition of semigroup algebras

Authors: Janko Boehm, David Eisenbud, Max Joachim Nitsche

Abstract: Let A \subseteq B be cancellative abelian semigroups, and let R be an integral domain. We show that the semigroup ring R[B] can be decomposed, as an R[A]-module, into a direct sum of R[A]-submodules of the quotient ring of R[A]. In the case of a finite extension of positive affine semigroup rings we obtain an algorithm computing the decomposition. When R[A] is a polynomial ring over a field we exp… ▽ More Let A \subseteq B be cancellative abelian semigroups, and let R be an integral domain. We show that the semigroup ring R[B] can be decomposed, as an R[A]-module, into a direct sum of R[A]-submodules of the quotient ring of R[A]. In the case of a finite extension of positive affine semigroup rings we obtain an algorithm computing the decomposition. When R[A] is a polynomial ring over a field we explain how to compute many ring-theoretic properties of R[B] in terms of this decomposition. In particular we obtain a fast algorithm to compute the Castelnuovo-Mumford regularity of homogeneous semigroup rings. As an application we confirm the Eisenbud-Goto conjecture in a range of new cases. Our algorithms are implemented in the Macaulay2 package MonomialAlgebras. △ Less

Submitted 10 November, 2011; v1 submitted 17 October, 2011; originally announced October 2011.

Comments: 12 pages, 2 figures, minor revisions. Package may be downloaded at http://www.math.uni-sb.de/ag/schreyer/jb/Macaulay2/MonomialAlgebras/html/

MSC Class: 13D45 (Primary) 13P99; 13H10 (Secondary)

Journal ref: Exper. Math. 21(4) (2012), 385-394

A combinatorial proof of the Eisenbud-Goto conjecture for monomial curves and some simplicial semigroup rings

Authors: Max Joachim Nitsche

Abstract: We will give a pure combinatorial proof of the Eisenbud-Goto conjecture for arbitrary monomial curves. Moreover, we will show that the conjecture holds for certain simplicial affine semigroup rings. We will give a pure combinatorial proof of the Eisenbud-Goto conjecture for arbitrary monomial curves. Moreover, we will show that the conjecture holds for certain simplicial affine semigroup rings. △ Less

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

Comments: Minor revisions

MSC Class: 13D45

Castelnuovo-Mumford regularity of seminormal simplicial affine semigroup rings

Authors: Max Joachim Nitsche

Abstract: We show that the Eisenbud-Goto conjecture holds for (homogeneous) seminormal simplicial affine semigroup rings. Moreover, we prove an upper bound for the Castelnuovo-Mumford regularity in terms of the dimension, which is similar as in the normal case. Finally, we compute explicitly the regularity of full Veronese rings. We show that the Eisenbud-Goto conjecture holds for (homogeneous) seminormal simplicial affine semigroup rings. Moreover, we prove an upper bound for the Castelnuovo-Mumford regularity in terms of the dimension, which is similar as in the normal case. Finally, we compute explicitly the regularity of full Veronese rings. △ Less

Submitted 10 November, 2011; v1 submitted 8 August, 2011; originally announced August 2011.

Comments: Minor revisions

MSC Class: 13D45 (Primary) 13F45 (Secondary)

Natural Cohen-Macaulayfication of simplicial affine semigroup rings

Authors: Max Joachim Nitsche

Abstract: Let $K$ be a field, $B$ a simplicial affine semigroup, and $C(B)$ the corresponding cone. We will present a decomposition of $K[B]$ into a direct sum of certain monomial ideals, which generalizes a construction by Hoa and Stückrad. We will use this decomposition to construct a semigroup $\tilde B$ with $B \subseteq \tilde B \subseteq C(B)$ such that $K[\tilde B]$ is Cohen-Macaulay with the propert… ▽ More Let $K$ be a field, $B$ a simplicial affine semigroup, and $C(B)$ the corresponding cone. We will present a decomposition of $K[B]$ into a direct sum of certain monomial ideals, which generalizes a construction by Hoa and Stückrad. We will use this decomposition to construct a semigroup $\tilde B$ with $B \subseteq \tilde B \subseteq C(B)$ such that $K[\tilde B]$ is Cohen-Macaulay with the property: $\tilde B \subseteq \hat B$ for every affine semigroup $\hat B$ with $B \subseteq \hat B \subseteq C(B)$ such that $K[\hat B]$ is Cohen-Macaulay. △ Less

Submitted 7 August, 2011; v1 submitted 29 June, 2010; originally announced June 2010.

Comments: Completely rewritten version

MSC Class: 13H10