我需要通过忽略mongodb中的case来获得重复的名称。mongodb中的聚合如下所示：

db.users.aggregate(
  [
    {
      $group :
        {
          _id : {$toLower :"$name"},
          total: { $sum: 1 }
        }
     },
     {
       $match: { "total": { $gt: 1 } }
     }
   ]
 )

我已尝试按以下方式执行组操作： GroupOperation groupOperation = Aggregation.group("name").count().as("total"); 但是，我不知道如何添加 $toLower 在这次行动中。有人能帮我解决这个问题吗？